diff options
| author | Robert Norton | 2017-04-27 16:14:21 +0100 |
|---|---|---|
| committer | Robert Norton | 2017-04-27 16:14:21 +0100 |
| commit | 334ce4ef4015b48f25e1ea9c13191a6c48230828 (patch) | |
| tree | f4bb1bb6d9d712eaf11c009c7501c4690ebec849 | |
| parent | 8a35053425ad6226bec3e6cda753ddece3141fad (diff) | |
fix incorrect vector index in cheri128 spec. Should ideally have been caught by type checker...
| -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 4c6ca486..8c76c744 100644 --- a/cheri/cheri_prelude_128.sail +++ b/cheri/cheri_prelude_128.sail @@ -127,8 +127,8 @@ function (bit[11]) getCapHardPerms((CapStruct) cap) = : [cap.global]) function (bit[128]) capStructToMemBits((CapStruct) cap) = - let (bit[20]) b = if cap.sealed then (cap.B)[23..12] : (cap.otype)[23..12] else cap.B in - let (bit[20]) t = if cap.sealed then (cap.T)[23..12] : (cap.otype)[11..0] else cap.T in + let (bit[20]) b = if cap.sealed then (cap.B)[19..12] : (cap.otype)[23..12] else cap.B in + let (bit[20]) t = if cap.sealed then (cap.T)[19..12] : (cap.otype)[11..0] else cap.T in ( cap.uperms : getCapHardPerms(cap) : cap.reserved |