diff options
| author | Robert Norton | 2016-01-26 16:00:20 +0000 |
|---|---|---|
| committer | Robert Norton | 2016-01-26 16:00:20 +0000 |
| commit | 1f33200263203bee621d094f2b29885d18d7e801 (patch) | |
| tree | 326f4bea50da44b1bfba7369baa1c996cfc960e4 | |
| parent | 81ce4571824c5db29a2dac7b5f53fa6d95f834f3 (diff) | |
mips.sail: work around sail bug in equality comparing bit vector to integer
| -rw-r--r-- | mips/mips.sail | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/mips/mips.sail b/mips/mips.sail index b6e98d83..975ff82e 100644 --- a/mips/mips.sail +++ b/mips/mips.sail @@ -217,7 +217,7 @@ function forall Nat 'r, 'r IN {1,2,4,8}.[:'r:] wordWidthBytes((WordType) w) = function bool isAddressAligned(addr, (WordType) wordType) = switch (wordType) { case B -> true - case H -> (addr[0] == 0b0) + case H -> (addr[0] == 0) case W -> (addr[1..0] == 0b00) case D -> (addr[2..0] == 0b000) } |