diff options
Diffstat (limited to 'mips')
| -rw-r--r-- | mips/mips.sail | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/mips/mips.sail b/mips/mips.sail index ca93d967..75c0494c 100644 --- a/mips/mips.sail +++ b/mips/mips.sail @@ -98,9 +98,9 @@ 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 +val bit[64] -> bool effect pure NotWordVal function bool NotWordVal (word) = - (((bit)(word[31])) ^^ 32) != word[63..32] + (word[31] ^^ 32) != word[63..32] val bit[5] -> bit[64] effect {rreg} rGPR function bit[64] rGPR idx = { |