diff options
Diffstat (limited to 'cheri')
| -rw-r--r-- | cheri/cheri_insts.sail | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/cheri/cheri_insts.sail b/cheri/cheri_insts.sail index e9414547..1a741353 100644 --- a/cheri/cheri_insts.sail +++ b/cheri/cheri_insts.sail @@ -219,7 +219,7 @@ function clause decode (0b010010 : 0b01110 : (regno) rd : (regno) cb : (regno) c function clause execute(CPtrCmp(rd, cb, ct, op)) = { - (* START_CPtrCMP *) + (* START_CPtrCmp *) checkCP2usable(); if (register_inaccessible(cb)) then exit (raise_c2_exception_v(cb)) @@ -258,7 +258,7 @@ function clause execute(CPtrCmp(rd, cb, ct, op)) = case CEXEQ -> [cb_val == ct_val] }) } - (* END_CPtrCMP *) + (* END_CPtrCmp *) } union ast member regregreg CIncOffset |