diff options
| author | Robert Norton | 2016-04-18 17:06:37 +0100 |
|---|---|---|
| committer | Robert Norton | 2016-04-18 17:08:18 +0100 |
| commit | 95632af49cfd8f3bd20a7d7a8a8182f36b625a63 (patch) | |
| tree | 5875a274f82a2e579c9db509b06039b5b54dec7b /cheri | |
| parent | 17c0928bb75dc44378e85351ac09bd2f3ac93774 (diff) | |
cheri: fix encoding of CSCC which was short one bit (kathy investigating why this didn't cause an error).
Diffstat (limited to 'cheri')
| -rw-r--r-- | cheri/cheri_insts.sail | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/cheri/cheri_insts.sail b/cheri/cheri_insts.sail index c6e3ca1e..7913a38b 100644 --- a/cheri/cheri_insts.sail +++ b/cheri/cheri_insts.sail @@ -596,7 +596,7 @@ function clause execute (CStore(rs, cb, rt, rd, offset, width, conditional)) = union ast member (regno, regno, regno, regno, bit[11], bool) CSC function clause decode (0b111110 : (regno) cs : (regno) cb: (regno) rt : (bit[11]) offset) = Some(CSC(cs, cb, rt, 0b00000, offset, false)) -function clause decode (0b10010 : 0b10000 : (regno) cs : (regno) cb: (regno) rd : 0b00 : 0b0111) = Some(CSC(cs, cb, 0b00000, rd, 0b00000000000, true)) +function clause decode (0b010010 : 0b10000 : (regno) cs : (regno) cb: (regno) rd : 0b00 : 0b0111) = Some(CSC(cs, cb, 0b00000, rd, 0b00000000000, true)) function clause execute (CSC(cs, cb, rt, rd, offset, conditional)) = { cs_val := readCapReg(cs); |