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

[Julian S. <se...@so...>]

https://sourceware.org/git/gitweb.cgi?p=valgrind.git;h=2ab8ab38a372ab1f10094588dc5ad8f299c13ca6

commit 2ab8ab38a372ab1f10094588dc5ad8f299c13ca6
Author: Julian Seward <js...@ac...>
Date:   Fri Mar 5 09:38:30 2021 +0100

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

Diff:
---
 NEWS                        | 1 +
 VEX/priv/guest_arm64_toIR.c | 3 ++-
 2 files changed, 3 insertions(+), 1 deletion(-)

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)