diff options
| author | Robert Norton | 2017-07-20 12:02:13 +0100 |
|---|---|---|
| committer | Robert Norton | 2017-07-20 12:02:13 +0100 |
| commit | 2e1ca2e6b77b285168223263e747396ad01cb993 (patch) | |
| tree | b39c500fba5033307d4fc9e66f64d5d7c9733d00 /cheri/cheri_prelude_common.sail | |
| parent | 632b10c0d4b01dc1af8593b8ae1f088fbfd9e342 (diff) | |
add new CNEXEQ instruction.
Diffstat (limited to 'cheri/cheri_prelude_common.sail')
| -rw-r--r-- | cheri/cheri_prelude_common.sail | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/cheri/cheri_prelude_common.sail b/cheri/cheri_prelude_common.sail index 13b18ac1..dcb56d01 100644 --- a/cheri/cheri_prelude_common.sail +++ b/cheri/cheri_prelude_common.sail @@ -115,6 +115,7 @@ typedef CPtrCmpOp = enumerate { CLTU; CLEU; CEXEQ; + CNEXEQ; } typedef ClearRegSet = enumerate { |