From 7c4d9a6a758200f89a4659673dd43162164ddd0c Mon Sep 17 00:00:00 2001
|
From: Kevin Zhao <kevin.zhao@linaro.org>
|
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 <kevin.zhao@linaro.org>
|
---
|
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
|
