Bug 432552 - [AArch64] invalid error emitted for pre-decremented byte and half-word...

diff --git a/NEWS b/NEWS
index c8fe48f709f4f4e4d9e3ff2994ffd436ef74efad..0a83951577cc717e3678ca49fffd09c4309030ed 100644 (file)
--- a/NEWS
+++ b/NEWS
@@ -155,6 +155,7 @@ where XXXXXX is the bug number as listed below.
 432102  Add support for DWARF5 as produced by GCC11
 432161  Addition of arm64 v8.2 FADDP, FNEG and FSQRT
 432381  drd: Process STACK_REGISTER client requests
+432552  [AArch64] invalid error emitted for pre-decremented byte/hword addresses
 432672  vg_regtest: test-specific environment variables not reset between tests
 432809  VEX should support REX.W + POPF
 432861  PPC modsw and modsd give incorrect results for 1 mod 12

diff --git a/VEX/priv/guest_arm64_toIR.c b/VEX/priv/guest_arm64_toIR.c
index 6c9762e5c69fedd2b5f7a785667a6f28cc101232..3b4bf4ea7942f7669a67ea06ac1c30264212ac6a 100644 (file)
--- a/VEX/priv/guest_arm64_toIR.c
+++ b/VEX/priv/guest_arm64_toIR.c
@@ -4965,7 +4965,8 @@ Bool dis_ARM64_load_store(/*MB_OUT*/DisResult* dres, UInt insn,
             address to the next page.
          */
          Bool earlyWBack
-           = wBack && simm9 < 0 && (szB == 8 || szB == 4)
+           = wBack && simm9 < 0
+             && (szB == 8 || szB == 4 || szB == 2 || szB == 1)
              && how == BITS2(1,1) && nn == 31 && !isLoad;
 
          if (wBack && earlyWBack)