From 4a17125ee3f6766710e6e6e47d551cf0cf29cb47 Mon Sep 17 00:00:00 2001
From: Léo Gourdin <leo.gourdin@univ-grenoble-alpes.fr>
Date: Sun, 19 Sep 2021 11:41:43 +0200
Subject: fix issue 244

---
 aarch64/Asmexpand.ml | 1 +
 1 file changed, 1 insertion(+)

(limited to 'aarch64')

diff --git a/aarch64/Asmexpand.ml b/aarch64/Asmexpand.ml
index 828c96d6..68884550 100644
--- a/aarch64/Asmexpand.ml
+++ b/aarch64/Asmexpand.ml
@@ -185,6 +185,7 @@ let memcpy_small_arg sz arg tmp =
   | BA_addrstack ofs ->
       if offset_in_range ofs
       && offset_in_range (Ptrofs.add ofs (Ptrofs.repr (Z.of_uint sz)))
+      && (Z.to_int ofs) mod 8 = 0
       then (XSP, ofs)
       else begin expand_addimm64 (RR1 tmp) XSP ofs; (RR1 tmp, _0) end
   | _ ->
-- 
cgit