diff options
| author | Kathy Gray | 2014-08-26 14:50:41 +0100 |
|---|---|---|
| committer | Kathy Gray | 2014-08-26 14:50:53 +0100 |
| commit | abc21e3757f96001c4a53e422aaafe2951045fd4 (patch) | |
| tree | de0d208464c759069d287f89ab73f966385cd7ad /src/test/power.sail | |
| parent | 9b89699fa5c6c6a8fb5ff2ae5bbb010853b2d5cb (diff) | |
small changes for arm
Diffstat (limited to 'src/test/power.sail')
| -rw-r--r-- | src/test/power.sail | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/src/test/power.sail b/src/test/power.sail index fd2a87fc..75238732 100644 --- a/src/test/power.sail +++ b/src/test/power.sail @@ -27,14 +27,14 @@ val forall Nat 'n, Nat 'm, 0 <= 'n, 'n <= 'm, 'm <= 63 . MASK function (bit[64]) MASK(start, stop) = { - (bit[64]) mask := 0; + (bit[64]) mask_temp := 0; if(start > stop) then { - mask[start .. 63] := bitone ^^ (64 - start); - mask[0 .. stop] := bitone ^^ (stop + 1); + mask_temp[start .. 63] := bitone ^^ (64 - start); + mask_temp[0 .. stop] := bitone ^^ (stop + 1); } else { - mask[start .. stop ] := bitone ^^ (stop - start + 1); + mask_temp[start .. stop ] := bitone ^^ (stop - start + 1); }; - mask; + mask_temp; } val forall Nat 'n, 0 <= 'n, 'n <= 63 . |