From 8fb6b31bdf72590018d8c837de33667248f06def Mon Sep 17 00:00:00 2001
From: Taylor R Campbell <campbell@mumble.net>
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