From: Julian Seward <jseward@acm.org>
Date: Fri, 5 Mar 2021 08:38:30 +0000 (+0100)
Subject: Bug 432552 - [AArch64] invalid error emitted for pre-decremented byte and half-word... 
X-Git-Tag: VALGRIND_3_17_0~18
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=2ab8ab38a372ab1f10094588dc5ad8f299c13ca6;p=thirdparty%2Fvalgrind.git

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

diff --git a/NEWS b/NEWS
index c8fe48f709..0a83951577 100644
--- 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 6c9762e5c6..3b4bf4ea79 100644
--- 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)