diff options
| author | Dmitriy Ivanov <dimitry@google.com> | 2014-06-10 16:18:23 -0700 |
|---|---|---|
| committer | Dmitriy Ivanov <dimitry@google.com> | 2014-06-10 16:18:23 -0700 |
| commit | 9ba2aa17182ac34f6902140b9a31dca9a38724a9 (patch) | |
| tree | 6e2c49065116a32de50fe1bbee47604341f811aa | |
| parent | 95916aea677febbfee7aaed0d2e97fd7ff969674 (diff) | |
| download | valgrind-9ba2aa17182ac34f6902140b9a31dca9a38724a9.tar.gz | |
arm64: Handle dsb sy
Bug: 15145107
Change-Id: I328eda31f0a95824d00daf032b3548d90473655b
| -rw-r--r-- | main/VEX/priv/guest_arm64_toIR.c | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/main/VEX/priv/guest_arm64_toIR.c b/main/VEX/priv/guest_arm64_toIR.c index 58e775891..4732d19e5 100644 --- a/main/VEX/priv/guest_arm64_toIR.c +++ b/main/VEX/priv/guest_arm64_toIR.c @@ -4907,6 +4907,11 @@ Bool dis_ARM64_branch_etc(/*MB_OUT*/DisResult* dres, UInt insn, DIP("dsb ish\n"); return True; } + if (INSN(31,0) == 0xD5033F9F) { + stmt(IRStmt_MBE(Imbe_Fence)); + DIP("dsb sy\n"); + return True; + } /* -------------------- NOP -------------------- */ if (INSN(31,0) == 0xD503201F) { |