diff options
| author | Robert Norton | 2017-01-27 15:27:59 +0000 |
|---|---|---|
| committer | Robert Norton | 2017-01-27 15:27:59 +0000 |
| commit | 0c0cc8527eb5ee34b4faf890ed0930bc3df02f90 (patch) | |
| tree | 0808ce3e0057d8c692e867ff91861332fad8039a /cheri | |
| parent | 5abf3ae1be4eb936ff1d3291d2998fac1c746c3a (diff) | |
further attempt to work around matching bug -- seems to work.
Diffstat (limited to 'cheri')
| -rw-r--r-- | cheri/cheri_prelude_128.sail | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/cheri/cheri_prelude_128.sail b/cheri/cheri_prelude_128.sail index b864ba64..7d4eb77e 100644 --- a/cheri/cheri_prelude_128.sail +++ b/cheri/cheri_prelude_128.sail @@ -176,7 +176,7 @@ function (bool, CapStruct) sealCap((CapStruct) cap, (bit[24]) otype) = (false, undefined) function int a_top_correction((bit[20]) a_mid, (bit[20]) R, (bit[20]) bound) = - switch (a_mid < R, bound < R) { + switch (unsigned(a_mid) < unsigned(R), unsigned(bound) < unsigned(R)) { case (bitzero, bitzero) -> 0 case (bitzero, bitone) -> 1 case (bitone, bitzero) -> -1 |