Be a bit more paranoid about icbi.

git-svn-id: svn://svn.valgrind.org/vex/trunk@1039

diff --git a/VEX/priv/guest-ppc32/toIR.c b/VEX/priv/guest-ppc32/toIR.c
index 659a9aac6c236c27ca1b0b937ea6afb638a8d958..77400af23ac076a5f419c5fe622889775413b547 100644 (file)
--- a/VEX/priv/guest-ppc32/toIR.c
+++ b/VEX/priv/guest-ppc32/toIR.c
@@ -3057,6 +3057,9 @@ static Bool dis_cache_manage ( UInt theInstr, DisResult* whatNext )
 
       stmt( IRStmt_Put(OFFB_TILEN, mkU32(assumed_line_size) ) );
 
+      /* be paranoid ... */
+      stmt( IRStmt_MFence() );
+
       irbb->jumpkind = Ijk_TInval;
       irbb->next     = mkU32(guest_cia_curr_instr + 4);
       *whatNext      = Dis_StopHere;