diff options
| author | Robert Norton | 2018-04-12 15:42:39 +0100 |
|---|---|---|
| committer | Robert Norton | 2018-04-12 15:42:39 +0100 |
| commit | c270ac9e9e947dc66f97ee03eb11f0e68efc4c99 (patch) | |
| tree | 665fdb2095d11bd7743e05d12baeb7a85004ad14 | |
| parent | e74193e1e82303186a357a4dc8a1f69818f8a9e2 (diff) | |
remove cheri128 backwards compatibility hack that extended access_system_regs perm into bits 14-11 -- it looks like spec is heading that way.
| -rw-r--r-- | cheri/cheri_prelude_128.sail | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/cheri/cheri_prelude_128.sail b/cheri/cheri_prelude_128.sail index 32393fe8..4a254019 100644 --- a/cheri/cheri_prelude_128.sail +++ b/cheri/cheri_prelude_128.sail @@ -188,7 +188,7 @@ function memBitsToCapBits(tag, b) : (bool, bits(128)) -> bits(129) = memBitsToCapBits128(tag, b ^ null_cap_bits) function getCapPerms(cap) : CapStruct -> bits(31) = - let perms : bits(15) = sign_extend(getCapHardPerms(cap)) in /* NB access_system copied into 14-11 */ + let perms : bits(15) = zero_extend(getCapHardPerms(cap)) in (0x000 /* uperms 30-19 */ @ cap.uperms @ perms) |