From 8fb6b31bdf72590018d8c837de33667248f06def Mon Sep 17 00:00:00 2001 From: Taylor R Campbell Date: Fri, 18 Jan 2019 06:22:18 +0000 Subject: [PATCH] Assert block offset is zero. --- src/compiler/machines/aarch64/assmd.scm | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/src/compiler/machines/aarch64/assmd.scm b/src/compiler/machines/aarch64/assmd.scm index 7aa3ea8f2..c728befd6 100644 --- a/src/compiler/machines/aarch64/assmd.scm +++ b/src/compiler/machines/aarch64/assmd.scm @@ -44,7 +44,8 @@ USA. ;; PC always aligned on 32-bit boundary. Use the extra bit. (- (expt 2 (1+ block-offset-width)) 4)) -(define-integrable (block-offset->bit-string offset start?) +(define (block-offset->bit-string offset start?) + (assert (zero? (remainder offset 4))) (unsigned-integer->bit-string block-offset-width (+ (shift-left (quotient offset 4) 1) (if start? 0 1)))) -- 2.25.1