Make existing tools aware of IR instruction marks. (They ignore them,
though).
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@3381 a5019735-40e9-0310-863c-91ae7b9d1cf9
diff --git a/addrcheck/ac_main.c b/addrcheck/ac_main.c
index 5a76af4..00b35dc 100644
--- a/addrcheck/ac_main.c
+++ b/addrcheck/ac_main.c
@@ -1060,6 +1060,7 @@
}
break;
+ case Ist_IMark:
case Ist_MFence:
break;
diff --git a/memcheck/mc_translate.c b/memcheck/mc_translate.c
index 764303e..e73680b 100644
--- a/memcheck/mc_translate.c
+++ b/memcheck/mc_translate.c
@@ -2371,6 +2371,7 @@
|| isBogusAtom(st->Ist.STle.data);
case Ist_Exit:
return isBogusAtom(st->Ist.Exit.guard);
+ case Ist_IMark:
case Ist_MFence:
return False;
default:
@@ -2430,6 +2431,8 @@
VG_(printf)("\n\n");
}
+ /* Generate instrumentation code for each stmt ... */
+
switch (st->tag) {
case Ist_Tmp:
@@ -2462,6 +2465,7 @@
complainIfUndefined( &mce, st->Ist.Exit.guard );
break;
+ case Ist_IMark:
case Ist_MFence:
break;
@@ -2486,6 +2490,7 @@
VG_(printf)("\n");
}
+ /* ... and finally copy the stmt itself to the output. */
addStmtToIRBB(bb, st);
}