From d9a2a28287fa58e6e16a701e4fa3798c2e5ebec5 Mon Sep 17 00:00:00 2001
From: Robert Norton
Date: Tue, 31 Jan 2017 14:08:14 +0000
Subject: Now that 128-bit capabilities are supported we must be stricter about
 MIPS alignment

---
 mips/mips_prelude.sail | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/mips/mips_prelude.sail b/mips/mips_prelude.sail
index b1c6a9f1..d2a0fc6f 100644
--- a/mips/mips_prelude.sail
+++ b/mips/mips_prelude.sail
@@ -569,7 +569,7 @@ function bool isAddressAligned(addr, (WordType) wordType) =
    (4k) we don't need to worry about accesses spanning page boundaries
    either.
 *)
-let alignment_width = 32
+let alignment_width = 16
 function (bool) isAddressAligned (addr, (WordType) wordType) =
   let a = unsigned(addr) in
   ((a quot alignment_width) == (a + wordWidthBytes(wordType) - 1) quot alignment_width)
-- 
cgit v1.2.3