diff options
| -rw-r--r-- | cheri/cheri_insts.sail | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/cheri/cheri_insts.sail b/cheri/cheri_insts.sail index e044dc60..33dacd63 100644 --- a/cheri/cheri_insts.sail +++ b/cheri/cheri_insts.sail @@ -586,12 +586,6 @@ function clause execute (CCopyType(cd, cb, ct)) = cb_val := readCapReg(cb); ct_val := readCapReg(ct); cb_base := getCapBase(cb_val); - ct_base := getCapBase(ct_val); - cb_top := getCapTop(cb_val); - ct_top := getCapTop(ct_val); - cb_perms := getCapPerms(cb_val); - ct_perms := getCapPerms(ct_val); - ct_offset := getCapOffset(ct_val); if (register_inaccessible(cd)) then raise_c2_exception(CapEx_AccessSystemRegsViolation, cd) else if (register_inaccessible(cb)) then |