The largest scaled 32-bit offset is 4095 * 4; the limit is one past it.
Reusing the 64-bit limit here would let an offset up to 32767 through and
overflow imm12, encoding a different instruction instead of refusing.
532def aarch64Scaled32OffsetLimit : Nat =
533 (naturalAdd
534 (naturalMultiply (naturalSaturatingSubtract aarch64Immediate12Limit 1) aarch64Four)
535 1)The compiler supplied declaration spans and resolved links from this source snapshot. This page does not assert that this file belongs to a checked closure.