diff options
| -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 6fca5300..ca93d967 100644 --- a/mips/mips.sail +++ b/mips/mips.sail @@ -100,7 +100,7 @@ let (vector <0, 32, inc, (register<(bit[64])>) >) GPR = (* Check whether a given 64-bit vector is a properly sign extended 32-bit word *) val bit[64] -> bool effect pure isWordVal function bool NotWordVal (word) = - (word[31] ^^ 32) != word[63..32] + (((bit)(word[31])) ^^ 32) != word[63..32] val bit[5] -> bit[64] effect {rreg} rGPR function bit[64] rGPR idx = { |