diff options
Diffstat (limited to 'aarch64')
-rw-r--r-- | aarch64/Asmexpand.ml | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/aarch64/Asmexpand.ml b/aarch64/Asmexpand.ml index 71bd0042..ab155e9c 100644 --- a/aarch64/Asmexpand.ml +++ b/aarch64/Asmexpand.ml @@ -146,7 +146,9 @@ let expand_annot_val kind txt targ args res = Temporary registers used: x15 x16 x17 x29 x30. *) let offset_in_range ofs = - let ofs = Z.to_int64 ofs in 0L <= ofs && ofs < 0x1000L + (* The 512 upper bound comes from ldp/stp. Single-register load/store + instructions support bigger offsets. *) + let ofs = Z.to_int64 ofs in 0L <= ofs && ofs < 512L let memcpy_small_arg sz arg tmp = match arg with |