From a17d0d93ceb445800bb35f7bc558ab51a21ef01b Mon Sep 17 00:00:00 2001
From: Robert Norton
Date: Fri, 16 Jun 2017 14:02:07 +0100
Subject: remove unnecessary local variable definitions copy and pasted from
 cbuildcap.

---
 cheri/cheri_insts.sail | 6 ------
 1 file changed, 6 deletions(-)

(limited to 'cheri')

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
-- 
cgit v1.2.3