diff options
| author | Robert Norton | 2017-01-26 15:33:40 +0000 |
|---|---|---|
| committer | Robert Norton | 2017-01-26 15:33:40 +0000 |
| commit | b2209e1aafe9513a90895f55eb99703dfb323a5c (patch) | |
| tree | 8132366fa938d7d519048adca8dc40ec2a7bdf9f | |
| parent | a8d781f083c6dd8eeea4069b278bb48dd196500b (diff) | |
attempted work around for apparent sail bug with matching result of comparison
| -rw-r--r-- | cheri/cheri_prelude_128.sail | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/cheri/cheri_prelude_128.sail b/cheri/cheri_prelude_128.sail index 348bfc43..221b4c0a 100644 --- a/cheri/cheri_prelude_128.sail +++ b/cheri/cheri_prelude_128.sail @@ -177,10 +177,10 @@ function (bool, CapStruct) sealCap((CapStruct) cap, (bit[24]) otype) = function int a_top_correction((bit[20]) a_mid, (bit[20]) R, (bit[20]) bound) = switch (a_mid < R, bound < R) { - case (False, False) -> 0 - case (False, True) -> 1 - case (True, False) -> -1 - case (True, True) -> 0 + case (bitzero, bitzero) -> 0 + case (bitzero, bitone) -> 1 + case (bitone, bitzero) -> -1 + case (bitone, bitone) -> 0 } function bit[64] getCapBase((CapStruct) c) = |