Handle IRStmt_MFence in the tools.

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@3217

diff --git a/addrcheck/ac_main.c b/addrcheck/ac_main.c
index f2022766c5c81e616eb51ef704b51daf73e84ddc..73e0de41c85e71db4821edb98dd01474cd2b8e48 100644 (file)
--- a/addrcheck/ac_main.c
+++ b/addrcheck/ac_main.c
@@ -1030,6 +1030,9 @@ IRBB* TL_(instrument)(IRBB* bb_in, VexGuestLayout* layout, IRType hWordTy )
              }
              break;
 
+         case Ist_MFence:
+            break;
+
          default:
             VG_(printf)("\n");
             ppIRStmt(st);
@@ -1089,7 +1092,7 @@ IRBB* TL_(instrument)(IRBB* bb_in, VexGuestLayout* layout, IRType hWordTy )
       }
 
       /* And finally, copy the expr itself to the output. */
-      addStmtToIRBB( bb, dopyIRStmt(st));
+      addStmtToIRBB( bb, st );
    }
 
    return bb;

diff --git a/lackey/lk_main.c b/lackey/lk_main.c
index 18e6b115d96ecbe08a29d6fd540e69bf53b98535..92accc0eda16d01b7a7f8f2f49273e472191f951 100644 (file)
--- a/lackey/lk_main.c
+++ b/lackey/lk_main.c
@@ -184,7 +184,7 @@ IRBB* TL_(instrument)(IRBB* bb_in, VexGuestLayout* layout, IRType hWordTy )
             break;
 
          default:
-            addStmtToIRBB( bb, dopyIRStmt(st));
+            addStmtToIRBB( bb, st );
       }
    }
 

diff --git a/memcheck/mc_translate.c b/memcheck/mc_translate.c
index b3f5ad2508da23428858d109f32385361f0e606a..516232407889ce2b54ae94a5b741562f59bece0f 100644 (file)
--- a/memcheck/mc_translate.c
+++ b/memcheck/mc_translate.c
@@ -2230,6 +2230,8 @@ static Bool checkForBogusLiterals ( /*FLAT*/ IRStmt* st )
                 || isBogusAtom(st->Ist.STle.data);
       case Ist_Exit:
          return isBogusAtom(st->Ist.Exit.guard);
+      case Ist_MFence:
+         return False;
       default: 
       unhandled:
          ppIRStmt(st);
@@ -2319,6 +2321,9 @@ IRBB* TL_(instrument) ( IRBB* bb_in, VexGuestLayout* layout, IRType hWordTy )
             complainIfUndefined( &mce, st->Ist.Exit.guard );
             break;
 
+         case Ist_MFence:
+            break;
+
          case Ist_Dirty:
             do_shadow_Dirty( &mce, st->Ist.Dirty.details );
             break;