Changeset 106113 in vbox for trunk/src/VBox/VMM/include

Timestamp:

Sep 21, 2024 12:01:43 AM (5 months ago)

Author:

vboxsync

svn:sync-xref-src-repo-rev:

164890

Message:

VMM/IEM: Added special register allocator functions for EFLAGS so we can properly assert liveness info validity. bugref:10720 bugref:10372

File:

• trunk/src/VBox/VMM/include/IEMN8veRecompiler.h (modified) (3 diffs)

trunk/src/VBox/VMM/include/IEMN8veRecompiler.h

@@ -1822 +1822 @@
                                                             IEMNATIVEGSTREGUSE enmIntendedUse = kIemNativeGstRegUse_ReadOnly,
                                                             bool fNoVolatileRegs = false, bool fSkipLivenessAssert = false);
+#if defined(IEMNATIVE_WITH_LIVENESS_ANALYSIS) && defined(VBOX_STRICT)
+DECL_HIDDEN_THROW(uint8_t)  iemNativeRegAllocTmpForGuestEFlags(PIEMRECOMPILERSTATE pReNative, uint32_t *poff,
+                                                               IEMNATIVEGSTREGUSE enmIntendedUse, uint64_t fRead,
+                                                               uint64_t fWrite = 0, uint64_t fPotentialCall = 0);
+#else
+DECL_FORCE_INLINE_THROW(uint8_t)
+iemNativeRegAllocTmpForGuestEFlags(PIEMRECOMPILERSTATE pReNative, uint32_t *poff, IEMNATIVEGSTREGUSE enmIntendedUse,
+                                   uint64_t fRead, uint64_t fWrite = 0, uint64_t fPotentialCall = 0)
+{
+    RT_NOREF(fRead, fWrite, fPotentialCall);
+    return iemNativeRegAllocTmpForGuestReg(pReNative, poff, kIemNativeGstReg_EFlags, enmIntendedUse);
+}
+#endif
+
 DECL_HIDDEN_THROW(uint8_t)  iemNativeRegAllocTmpForGuestRegIfAlreadyPresent(PIEMRECOMPILERSTATE pReNative, uint32_t *poff,
                                                                             IEMNATIVEGSTREG enmGstReg);
+#if defined(IEMNATIVE_WITH_LIVENESS_ANALYSIS) && defined(VBOX_STRICT)
+DECL_HIDDEN_THROW(uint8_t)  iemNativeRegAllocTmpForGuestEFlagsIfAlreadyPresent(PIEMRECOMPILERSTATE pReNative, uint32_t *poff,
+                                                                               uint64_t fRead, uint64_t fWrite = 0);
+#else
+DECL_FORCE_INLINE_THROW(uint8_t)
+iemNativeRegAllocTmpForGuestEFlagsIfAlreadyPresent(PIEMRECOMPILERSTATE pReNative, uint32_t *poff,
+                                                   uint64_t fRead, uint64_t fWrite = 0)
+{
+    RT_NOREF(fRead, fWrite);
+    return iemNativeRegAllocTmpForGuestRegIfAlreadyPresent(pReNative, poff, kIemNativeGstReg_EFlags);
+}
+#endif
 
 DECL_HIDDEN_THROW(uint32_t) iemNativeRegAllocArgs(PIEMRECOMPILERSTATE pReNative, uint32_t off, uint8_t cArgs);
@@ -2352 +2378 @@
 }
 
-
 # ifdef VBOX_STRICT
+
 /** For assertions only - caller checks that idxCurCall isn't zero. */
 DECL_FORCE_INLINE(uint32_t)
@@ -2360 +2386 @@
     return iemNativeLivenessGetStateByGstReg(&pReNative->paLivenessEntries[pReNative->idxCurCall - 1], enmGstReg);
 }
+
+
+/** For assertions only - caller checks that idxCurCall isn't zero. */
+DECL_FORCE_INLINE(uint32_t)
+iemNativeLivenessGetPrevStateByGstRegEx(PIEMRECOMPILERSTATE pReNative, IEMNATIVEGSTREG enmGstReg)
+{
+    return iemNativeLivenessGetStateByGstRegEx(&pReNative->paLivenessEntries[pReNative->idxCurCall - 1], enmGstReg);
+}
+
 # endif /* VBOX_STRICT */
-
 #endif /* IEMNATIVE_WITH_LIVENESS_ANALYSIS */