You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
{{ message }}
Repository navigation
CSRRS/CSRRC to read-only time accepted when rs1 != x0 holds zero #293
Only the canonical rs1 = x0 read form is accepted; the two forms with rs1 = t0 (even though t0 contains zero) trap. On RVVM userland, all three forms are accepted and return the timer value. RVVM appears to use "source value == 0" as a proxy for "source register is x0", which is not correct: write-detection must be based on the register number, not the runtime value.
Why this is a real defect
The native reference is stable and reproducible; QEMU matches the same semantic shape; the witness is minimal; and this is a CSR decode / write-detection bug rather than a generic accessibility mismatch.
Existing reports
I searched the public issue tracker and found no existing report for this defect.
Activity