From: Julian Seward <jseward@acm.org>
Date: Tue, 15 Mar 2005 18:27:40 +0000 (+0000)
Subject: Be a bit more paranoid about icbi.
X-Git-Tag: svn/VALGRIND_3_0_1^2~295
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=269f36434bc317ab912ec48eae45260317b31376;p=thirdparty%2Fvalgrind.git

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 659a9aac6c..77400af23a 100644
--- 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;