Changeset 106191 in vbox

Timestamp:

Oct 1, 2024 12:56:17 PM (4 months ago)

Author:

vboxsync

Message:

VMM/IEM: Liveness fix for IEM_MC_SET_EFL_BIT and IEM_MC_CLEAR_EFL_BIT - neither takes intput, they just clobber the flag. bugref:10720 bugref:10372

File:

• trunk/src/VBox/VMM/VMMAll/IEMAllN8veLiveness.h (modified) (1 diff)

trunk/src/VBox/VMM/VMMAll/IEMAllN8veLiveness.h

@@ -701 +701 @@
 
 #define IEM_MC_SET_EFL_BIT(a_fBit) do { \
-        if ((a_fBit) == X86_EFL_CF)      IEM_LIVENESS_ONE_EFLAG_INPUT(fEflCf); \
+        if ((a_fBit) == X86_EFL_CF)      IEM_LIVENESS_ONE_EFLAG_CLOBBER(fEflCf); \
         else if ((a_fBit) == X86_EFL_DF) IEM_LIVENESS_ONE_EFLAG_MODIFY(fEflOther); \
         else { AssertFailed();           IEM_LIVENESS_ALL_EFLAGS_MODIFY(); } \
     } while (0)
 #define IEM_MC_CLEAR_EFL_BIT(a_fBit) do { \
-        if ((a_fBit) == X86_EFL_CF)      IEM_LIVENESS_ONE_EFLAG_INPUT(fEflCf); \
+        if ((a_fBit) == X86_EFL_CF)      IEM_LIVENESS_ONE_EFLAG_CLOBBER(fEflCf); \
         else if ((a_fBit) == X86_EFL_DF) IEM_LIVENESS_ONE_EFLAG_MODIFY(fEflOther); \
-        else { AssertFailed();           IEM_LIVENESS_ALL_EFLAGS_INPUT(); } \
+        else { AssertFailed();           IEM_LIVENESS_ALL_EFLAGS_MODIFY(); } \
     } while (0)
 #define IEM_MC_FLIP_EFL_BIT(a_fBit) do { \