SSE2 fixes for mfence-ing.

git-svn-id: svn://svn.valgrind.org/vex/trunk@699

diff --git a/VEX/priv/guest-x86/toIR.c b/VEX/priv/guest-x86/toIR.c
index 0dc1c144e029d0db869960381083f471e739aab5..81fc2fa0ea138b9e058dc32cb40bdc6ec6179eff 100644 (file)
--- a/VEX/priv/guest-x86/toIR.c
+++ b/VEX/priv/guest-x86/toIR.c
@@ -6873,6 +6873,7 @@ DisResult disInstr ( /*IN*/  Bool       resteerOK,
    /* 2005 Jan 06: the following insns are observed to sometimes
       have a LOCK prefix:
          cmpxchgl %ecx,(%edx)
+         cmpxchgl %edx,0x278(%ebx) etc
          xchgl %eax, (%ecx)
          xaddl %eax, (%ecx)
       We need to catch any such which appear to be being used as

diff --git a/VEX/priv/host-x86/hdefs.c b/VEX/priv/host-x86/hdefs.c
index c254d17a38cb54a0216a6c4c8c009a415af02de9..90d647bbaab62004878afda43af5af64d4e01ee3 100644 (file)
--- a/VEX/priv/host-x86/hdefs.c
+++ b/VEX/priv/host-x86/hdefs.c
@@ -2354,7 +2354,6 @@ vex_printf("EMIT FENCE\n");
             *p++ = 0x24; *p++ = 0x00; *p++ = 0x00;
             goto done;
          case VexSubArchX86_sse2:
-            vassert(0); /* awaiting test case */
             /* mfence */
             *p++ = 0x0F; *p++ = 0xAE; *p++ = 0xF0;
             goto done;