diff options
| author | Kathy Gray | 2016-02-23 15:13:55 +0000 |
|---|---|---|
| committer | Kathy Gray | 2016-02-23 15:19:53 +0000 |
| commit | 941cfeba96830e8716a49a6f24755f68f1de2197 (patch) | |
| tree | 1f2cf6bec99552d5ad7266c034988083a47dedfe /mips/mips.sail | |
| parent | 91cfc8b9a4d54a438f3f6dd4aa78c8a5264b90cd (diff) | |
Several fixes
Improve printing for asl to sail readability;
Add -o option for selecting the name of file generation;
Add additional initial check module for turning generated ast nodes into ready-to-type-check ast nodes
Diffstat (limited to 'mips/mips.sail')
| -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 = { |