Track vex r1857 (addition of Imbe_SnoopedStoreBegin and

Imbe_SnoopedStoreEnd).

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

diff --git a/exp-drd/drd_main.c b/exp-drd/drd_main.c
index 70e15570b694e855d96ce324c5b086fcd4e0e907..5c598b7fa41ad555c27350014800f674bdf596ba 100644 (file)
--- a/exp-drd/drd_main.c
+++ b/exp-drd/drd_main.c
@@ -1059,10 +1059,12 @@ IRSB* drd_instrument(VgCallbackClosure* const closure,
       case Imbe_Fence:
         break; /* not interesting */
       case Imbe_BusLock:
+      case Imbe_SnoopedStoreBegin:
         tl_assert(! bus_locked);
         bus_locked = True;
         break;
       case Imbe_BusUnlock:
+      case Imbe_SnoopedStoreEnd:
         tl_assert(bus_locked);
         bus_locked = False;
         break;

diff --git a/helgrind/hg_main.c b/helgrind/hg_main.c
index fff23ebf64b403c1ecccffcfdf97abbc4100c7b0..cd728e8e1f2fa283083d4485f2d0802e64d9ce23 100644 (file)
--- a/helgrind/hg_main.c
+++ b/helgrind/hg_main.c
@@ -7349,6 +7349,11 @@ static void instrument_mem_access ( IRSB*   bbOut,
 static void instrument_memory_bus_event ( IRSB* bbOut, IRMBusEvent event )
 {
    switch (event) {
+      case Imbe_SnoopedStoreBegin:
+      case Imbe_SnoopedStoreEnd:
+         /* These arise from ppc stwcx. insns.  They should perhaps be
+            handled better. */
+         break;
       case Imbe_Fence:
          break; /* not interesting */
       case Imbe_BusLock: