Assert block offset is zero.

diff --git a/src/compiler/machines/aarch64/assmd.scm b/src/compiler/machines/aarch64/assmd.scm
index 7aa3ea8f25471dd97ba7f4e7be61d9e9c7e5b73c..c728befd667918feddf26971ea64b8b8629bf21d 100644 (file)
--- 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))))