diff options
| author | Robert Norton | 2017-05-25 15:56:17 +0100 |
|---|---|---|
| committer | Robert Norton | 2017-05-26 09:27:23 +0100 |
| commit | 9062322b77dbdb27ede7b47b76fd4eff9af98d47 (patch) | |
| tree | 3d88f02ecb8869b0defc293e0ffc583d6658b791 /cheri | |
| parent | c950b7eecc36120368ce3e00f1f11ac23dd908f9 (diff) | |
in ISAv6 cjr and cjalr are permitted on local capabilities.
Diffstat (limited to 'cheri')
| -rw-r--r-- | cheri/cheri_insts.sail | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/cheri/cheri_insts.sail b/cheri/cheri_insts.sail index fe55d7aa..d63a0cc2 100644 --- a/cheri/cheri_insts.sail +++ b/cheri/cheri_insts.sail @@ -774,8 +774,6 @@ function clause execute(CJALR(cd, cb, link)) = raise_c2_exception(CapEx_SealViolation, cb) else if not (cb_val.permit_execute) then raise_c2_exception(CapEx_PermitExecuteViolation, cb) - else if not (cb_val.global) then - raise_c2_exception(CapEx_GlobalViolation, cb) else if (cb_ptr < cb_base) then raise_c2_exception(CapEx_LengthViolation, cb) else if ((cb_ptr + 4) > cb_top) then |