[Bug Report] Exception mismatch when returning from supervisor mode

[chenc6]

Hi,

Our test case shows that Spike and cva6 throw different exceptions when executing the sret instruction with a specific sip value. The Spike throws instruction_access_fault at line 87, as shown below:

The CVA6 throws Supervisor Software Interrupt and Illegal Instruction at line 87 and 88:

We have attached our mem file, rtl trace log, and spike trace log. Please check. wrongexception.zip

[MikeOpenHWGroup]

Hi @chenc6 , this issue is more than 6 months old and has not received any updates. Is this issue still valid (maybe it was fixed and not reported). Please work with @JeanRochCoulon to find the right person to move this along.