diff options
| author | Robert Norton | 2018-05-01 15:33:00 +0100 |
|---|---|---|
| committer | Robert Norton | 2018-05-01 15:33:00 +0100 |
| commit | 6e9c2b9d526d81fc0fc28ea3be60ba61436407f1 (patch) | |
| tree | e41046a199cd65c236dd8b79a59845b09df77f62 | |
| parent | 4db05909b63223083b119a9890e2adc070d9db8a (diff) | |
cheri128: remove unnecessary xor of E with 48. The zeroing of E in memory is achieved by xoring with null_cap_bits so this was only affecting register representation.
| -rw-r--r-- | cheri/cheri_prelude_128.sail | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/cheri/cheri_prelude_128.sail b/cheri/cheri_prelude_128.sail index ffd986a4..263dae43 100644 --- a/cheri/cheri_prelude_128.sail +++ b/cheri/cheri_prelude_128.sail @@ -126,7 +126,7 @@ function capRegToCapStruct(c) : CapReg -> CapStruct = permit_execute = c[114], global = c[113], reserved = c[112..111], - E = c[110..105] ^ 0b110000, + E = c[110..105], sealed = s, B = Bc, T = Tc, @@ -153,7 +153,7 @@ function capStructToMemBits128(cap) : CapStruct -> bits(128) = ( cap.uperms @ getCapHardPerms(cap) @ cap.reserved - @ cap.E ^ 0b110000 + @ cap.E @ cap.sealed @ b @ t |