One of our directed tests is failing on SPIKE. It is not detecting the half-word 0x8601 (i.e. c.srai encoded with zero shift amount) as an illegal instruction. According to the RISC-V spec, shift amount of 0 is illegal for c.slli, c.srai and c.srli instructions in RV32C.
The same test when executed on PULPino runs alright.
One of our directed tests is failing on SPIKE. It is not detecting the half-word 0x8601 (i.e. c.srai encoded with zero shift amount) as an illegal instruction. According to the RISC-V spec, shift amount of 0 is illegal for c.slli, c.srai and c.srli instructions in RV32C.
The same test when executed on PULPino runs alright.