From 26b83ffd526f28fb6887ce89cb09398744db2b66 Mon Sep 17 00:00:00 2001 From: Julian Seward Date: Tue, 3 May 2011 14:57:59 +0000 Subject: [PATCH] Support DMB and DSB variants on ARM. Bug 266035 comment 3. (Jeff Brown, jeffbrown@google.com) git-svn-id: svn://svn.valgrind.org/vex/trunk@2143 --- VEX/priv/guest_arm_toIR.c | 18 ++++++++++++++++-- 1 file changed, 16 insertions(+), 2 deletions(-) diff --git a/VEX/priv/guest_arm_toIR.c b/VEX/priv/guest_arm_toIR.c index 1a3c70944d..24b260bdc0 100644 --- a/VEX/priv/guest_arm_toIR.c +++ b/VEX/priv/guest_arm_toIR.c @@ -11942,11 +11942,25 @@ static Bool decode_NV_instruction ( /*MOD*/DisResult* dres, stmt( IRStmt_MBE(Imbe_Fence) ); DIP("ISB\n"); return True; - case 0xF57FF04F: /* DSB */ + case 0xF57FF04F: /* DSB sy */ + case 0xF57FF04E: /* DSB st */ + case 0xF57FF04B: /* DSB ish */ + case 0xF57FF04A: /* DSB ishst */ + case 0xF57FF047: /* DSB nsh */ + case 0xF57FF046: /* DSB nshst */ + case 0xF57FF043: /* DSB osh */ + case 0xF57FF042: /* DSB oshst */ stmt( IRStmt_MBE(Imbe_Fence) ); DIP("DSB\n"); return True; - case 0xF57FF05F: /* DMB */ + case 0xF57FF05F: /* DMB sy */ + case 0xF57FF05E: /* DMB st */ + case 0xF57FF05B: /* DMB ish */ + case 0xF57FF05A: /* DMB ishst */ + case 0xF57FF057: /* DMB nsh */ + case 0xF57FF056: /* DMB nshst */ + case 0xF57FF053: /* DMB osh */ + case 0xF57FF052: /* DMB oshst */ stmt( IRStmt_MBE(Imbe_Fence) ); DIP("DMB\n"); return True; -- 2.47.2