diff options
| author | Robert Norton | 2017-03-10 10:49:52 +0000 |
|---|---|---|
| committer | Robert Norton | 2017-03-24 16:46:31 +0000 |
| commit | c10f2738f14c1f0aa60c18b01119d544140905b5 (patch) | |
| tree | 5c7409b5a757c4a8df9df539ab6c060cb97a425d | |
| parent | dee8e5c004bc3eb13a6470f3e3c5947ca7d2be64 (diff) | |
Minor cleanup: remove unnecessary brances and use 'not' iso ~.
| -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)); + } |