diff options
Diffstat (limited to 'cheri/cheri_prelude_common.sail')
| -rw-r--r-- | cheri/cheri_prelude_common.sail | 12 |
1 files changed, 5 insertions, 7 deletions
diff --git a/cheri/cheri_prelude_common.sail b/cheri/cheri_prelude_common.sail index 49bc8b0c..84161e95 100644 --- a/cheri/cheri_prelude_common.sail +++ b/cheri/cheri_prelude_common.sail @@ -324,10 +324,8 @@ function (bit[64]) TranslateAddress ((bit[64]) vAddr, (MemAccessType) accessType } function unit checkCP2usable () = - { - if (~((CP0Status.CU)[2])) then - { - (CP0Cause.CE) := 0b10; - (SignalException(CpU)); - } - } + if not ((CP0Status.CU)[2]) then + { + (CP0Cause.CE) := 0b10; + (SignalException(CpU)); + } |