From: Taylor R Campbell <campbell@mumble.net>
Date: Fri, 18 Jan 2019 06:22:18 +0000 (+0000)
Subject: Assert block offset is zero.
X-Git-Tag: mit-scheme-pucked-10.1.20~11^2~66^2~72
X-Git-Url: https://birchwood-abbey.net/git?a=commitdiff_plain;h=8fb6b31bdf72590018d8c837de33667248f06def;p=mit-scheme.git

Assert block offset is zero.
---

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))))