Changeset 103778 in vbox for trunk/src/VBox/VMM/testcase

Timestamp:

Mar 11, 2024 4:54:27 PM (14 months ago)

Author:

vboxsync

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

162147

Message:

VMM/IEM: Replace IEM_MC_STORE_XREG_HI_U64() with the more versatile IEM_MC_STORE_XREG_U64 and get rid of it, enable IEM_MC_STORE_XREG_U64(), bugref:10614

File:

• trunk/src/VBox/VMM/testcase/tstIEMCheckMc.cpp (modified) (1 diff)

trunk/src/VBox/VMM/testcase/tstIEMCheckMc.cpp

@@ -820 +820 @@
 #define IEM_MC_STORE_XREG_U8( a_iXReg, a_iByte,  a_u8Value )        do { CHK_XREG_IDX(a_iXReg);    CHK_VAR(a_u8Value );  CHK_TYPE(uint8_t,    a_u8Value );  (void)fSseWrite; (void)fMcBegin; } while (0)
 #define IEM_MC_STORE_XREG_U32_ZX_U128(a_iXReg, a_u32Value)          do { CHK_XREG_IDX(a_iXReg);    CHK_VAR(a_u32Value);  CHK_TYPE(uint32_t,   a_u32Value);  (void)fSseWrite; (void)fMcBegin; } while (0)
-#define IEM_MC_STORE_XREG_HI_U64(a_iXReg, a_u64Value)               do { CHK_XREG_IDX(a_iXReg);    CHK_VAR(a_u64Value);  CHK_TYPE(uint64_t,   a_u64Value);  (void)fSseWrite; (void)fMcBegin; } while (0)
 #define IEM_MC_STORE_XREG_R32(a_iXReg, a_r32Value)                  do { CHK_XREG_IDX(a_iXReg);    CHK_VAR(a_r32Value);  CHK_TYPE(RTFLOAT32U, a_r32Value);  (void)fSseWrite; (void)fMcBegin; } while (0)
 #define IEM_MC_STORE_XREG_R64(a_iXReg, a_r64Value)                  do { CHK_XREG_IDX(a_iXReg);    CHK_VAR(a_r64Value);  CHK_TYPE(RTFLOAT64U, a_r64Value);  (void)fSseWrite; (void)fMcBegin; } while (0)