diff options
Diffstat (limited to 'mips/mips_prelude.sail')
| -rw-r--r-- | mips/mips_prelude.sail | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/mips/mips_prelude.sail b/mips/mips_prelude.sail index 8975193c..d2a0fc6f 100644 --- a/mips/mips_prelude.sail +++ b/mips/mips_prelude.sail @@ -1,7 +1,7 @@ (*========================================================================*) (* *) -(* Copyright (c) 2015-2016 Robert M. Norton *) -(* Copyright (c) 2015-2016 Kathyrn Gray *) +(* Copyright (c) 2015-2017 Robert M. Norton *) +(* Copyright (c) 2015-2017 Kathyrn Gray *) (* All rights reserved. *) (* *) (* This software was developed by the University of Cambridge Computer *) @@ -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) |