|
From: <sv...@va...> - 2008-06-30 10:32:46
|
Author: sewardj
Date: 2008-06-30 11:32:54 +0100 (Mon, 30 Jun 2008)
New Revision: 8316
Log:
Track vex r1857 (addition of Imbe_SnoopedStoreBegin and
Imbe_SnoopedStoreEnd).
Modified:
trunk/exp-drd/drd_main.c
trunk/helgrind/hg_main.c
Modified: trunk/exp-drd/drd_main.c
===================================================================
--- trunk/exp-drd/drd_main.c 2008-06-30 10:28:16 UTC (rev 8315)
+++ trunk/exp-drd/drd_main.c 2008-06-30 10:32:54 UTC (rev 8316)
@@ -1059,10 +1059,12 @@
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;
Modified: trunk/helgrind/hg_main.c
===================================================================
--- trunk/helgrind/hg_main.c 2008-06-30 10:28:16 UTC (rev 8315)
+++ trunk/helgrind/hg_main.c 2008-06-30 10:32:54 UTC (rev 8316)
@@ -7349,6 +7349,11 @@
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:
|