diff options
| author | Robert Norton | 2017-01-26 15:34:30 +0000 |
|---|---|---|
| committer | Robert Norton | 2017-01-26 15:34:30 +0000 |
| commit | 556876bc68e614d530f4ea9ed737af200f13cdd3 (patch) | |
| tree | 26ba1b8d148e41db07957e014128d3d4c9e19dcd /cheri | |
| parent | b2209e1aafe9513a90895f55eb99703dfb323a5c (diff) | |
remove dead code in getBase/getTop
Diffstat (limited to 'cheri')
| -rw-r--r-- | cheri/cheri_prelude_128.sail | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/cheri/cheri_prelude_128.sail b/cheri/cheri_prelude_128.sail index 221b4c0a..ba2d9186 100644 --- a/cheri/cheri_prelude_128.sail +++ b/cheri/cheri_prelude_128.sail @@ -185,7 +185,6 @@ function int a_top_correction((bit[20]) a_mid, (bit[20]) R, (bit[20]) bound) = function bit[64] getCapBase((CapStruct) c) = let ([|63|]) E = min(unsigned(c.E), 45) in - let (bool) s = c.sealed in let (bit[20]) B = c.B in let (bit[64]) a = c.address in let (bit[20]) R = B - 0x00100 in (* wraps *) @@ -197,7 +196,6 @@ function bit[64] getCapBase((CapStruct) c) = function bit[65] getCapTop((CapStruct) c) = let ([|63|]) E = min(unsigned(c.E), 45) in - let (bool) s = c.sealed in let (bit[20]) B = c.B in let (bit[20]) T = c.T in let (bit[64]) a = c.address in |