From 7c4d9a6a758200f89a4659673dd43162164ddd0c Mon Sep 17 00:00:00 2001 From: Kevin Zhao Date: Thu, 22 Jul 2021 16:00:21 +0800 Subject: [PATCH] arm64 front end: add support for 'dc cvac', 'dc cvap', handling it the same as 'dc cvau'. Signed-off-by: Kevin Zhao --- VEX/priv/guest_arm64_toIR.c | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/VEX/priv/guest_arm64_toIR.c b/VEX/priv/guest_arm64_toIR.c index 12a1c59..44a1c23 100644 --- a/VEX/priv/guest_arm64_toIR.c +++ b/VEX/priv/guest_arm64_toIR.c @@ -7467,9 +7467,13 @@ Bool dis_ARM64_branch_etc(/*MB_OUT*/DisResult* dres, UInt insn, /* ------------------ DC_CVAU ------------------ */ /* D5 0B 7B 001 Rt dc cvau, rT D5 0B 7E 001 Rt dc civac, rT + D5 0B 7A 001 Rt dc cvac, rT + D5 0B 7C 001 Rt dc cvap, rT */ if ( (INSN(31,0) & 0xFFFFFFE0) == 0xD50B7B20 - || (INSN(31,0) & 0xFFFFFFE0) == 0xD50B7E20) { + || (INSN(31,0) & 0xFFFFFFE0) == 0xD50B7E20 + || ((INSN(31,0) & 0xFFFFFFE0) == 0xD50B7A20) + || ((INSN(31,0) & 0xFFFFFFE0) == 0xD50B7C20)) { /* Exactly the same scheme as for IC IVAU, except we observe the dMinLine size, and request an Ijk_FlushDCache instead of Ijk_InvalICache. */ -- 2.20.1