From: Julian Seward <jseward@acm.org>
Date: Mon, 30 Jun 2008 10:32:54 +0000 (+0000)
Subject: Track vex r1857 (addition of Imbe_SnoopedStoreBegin and
X-Git-Tag: svn/VALGRIND_3_4_0~407
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=c75bc57408a4aaa3810cbfee2c5a15c7deb81e67;p=thirdparty%2Fvalgrind.git

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 70e15570b6..5c598b7fa4 100644
--- 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 fff23ebf64..cd728e8e1f 100644
--- 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: