diff options
Diffstat (limited to 'snug-clean/src/MIPS/MIPS32.icl')
| -rw-r--r-- | snug-clean/src/MIPS/MIPS32.icl | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/snug-clean/src/MIPS/MIPS32.icl b/snug-clean/src/MIPS/MIPS32.icl index 655219d..e8053e3 100644 --- a/snug-clean/src/MIPS/MIPS32.icl +++ b/snug-clean/src/MIPS/MIPS32.icl @@ -153,13 +153,13 @@ checkOffset offset = abort ("offset " +++ toString offset +++ " out of bounds\n") checkImmediate :: !Signedness !Immediate -> Immediate -checkImmediate Signed (Immediate imm) +checkImmediate Signed i=:(Immediate imm) | 0 <= imm && imm <= 0x7fff - = Immediate imm + = i | imm >= -0x8000 - = Immediate (imm bitand 0xffff) + = i = abort ("signed immediate " +++ toString imm +++ " out of bounds\n") -checkImmediate Unsigned (Immediate imm) +checkImmediate Unsigned i=:(Immediate imm) | 0 <= imm && imm <= 0xffff - = Immediate imm + = i = abort ("unsigned immediate " +++ toString imm +++ " out of bounds\n") |