From: Julian Seward <jseward@acm.org>
Date: Fri, 7 Jan 2005 12:10:21 +0000 (+0000)
Subject: Handle IRStmt_MFence in the tools.
X-Git-Tag: svn/VALGRIND_3_0_0~1101
X-Git-Url: http://git.ipfire.org/gitweb.cgi?a=commitdiff_plain;h=022eef96c240094ec3a65404c5243715dcd7bfca;p=thirdparty%2Fvalgrind.git

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 f2022766c5..73e0de41c8 100644
--- 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 18e6b115d9..92accc0eda 100644
--- 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 b3f5ad2508..5162324078 100644
--- 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;