diff options
| author | Robert Norton | 2017-02-08 10:59:18 +0000 |
|---|---|---|
| committer | Robert Norton | 2017-02-08 10:59:37 +0000 |
| commit | 1017b0d89a4a2727ac51806defe104a4cbfcaa7d (patch) | |
| tree | 27c099be7000a43a8ac80cf147c1359315aa58af | |
| parent | 10bd528bd579139d87250bfbfa0254c04f5c8a19 (diff) | |
Simplify unsigned vector comparison using <_u operator.
| -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 f97842a0..8e0e6970 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 [|-1:1|] a_top_correction((bit[20]) a_mid, (bit[20]) R, (bit[20]) bound) = - switch (unsigned(a_mid) < unsigned(R), unsigned(bound) < unsigned(R)) { + switch (a_mid <_u R, bound <_u R) { case (bitzero, bitzero) -> 0 case (bitzero, bitone) -> 1 case (bitone, bitzero) -> -1 |