diff options
| author | Robert Norton | 2017-01-31 14:08:14 +0000 |
|---|---|---|
| committer | Robert Norton | 2017-02-03 15:41:44 +0000 |
| commit | d9a2a28287fa58e6e16a701e4fa3798c2e5ebec5 (patch) | |
| tree | 8d041e03df22af0b6ead044527736c609247ee00 | |
| parent | fb8ca50af3bb9392b66505b28ba718c90f8ab0ab (diff) | |
Now that 128-bit capabilities are supported we must be stricter about MIPS alignment
| -rw-r--r-- | mips/mips_prelude.sail | 2 |
1 files changed, 1 insertions, 1 deletions
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) |