From f7992d5a99fd6cd93775482d4143a3d3a84e78a5 Mon Sep 17 00:00:00 2001 From: Julian Seward Date: Wed, 4 Jun 2014 11:44:45 +0000 Subject: [PATCH] Support the "ishst" variant of "dmb". Fixes #335263. (dimitry@google.com) git-svn-id: svn://svn.valgrind.org/vex/trunk@2867 --- VEX/priv/guest_arm64_toIR.c | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/VEX/priv/guest_arm64_toIR.c b/VEX/priv/guest_arm64_toIR.c index 7876ee11ed..d0953683d4 100644 --- a/VEX/priv/guest_arm64_toIR.c +++ b/VEX/priv/guest_arm64_toIR.c @@ -4731,6 +4731,11 @@ Bool dis_ARM64_branch_etc(/*MB_OUT*/DisResult* dres, UInt insn, DIP("dmb ish\n"); return True; } + if (INSN(31,0) == 0xD5033ABF) { + stmt(IRStmt_MBE(Imbe_Fence)); + DIP("dmb ishst\n"); + return True; + } if (INSN(31,0) == 0xD5033B9F) { stmt(IRStmt_MBE(Imbe_Fence)); DIP("dsb ish\n"); -- 2.47.2