search

riscv-software-src / riscof

BSD 3-Clause "New" or "Revised" License
63 stars 40 forks source link

valid ISA string regex #119

Closed rtwfroody closed 1 month ago

rtwfroody commented 1 month ago

I'm writing a test for the Sdtrig extension. To run this, I updated my spike_isa.yaml to include:

  ISA: RV32IMCSdtrig_Zicsr_Zifencei

When I try to use this with riscof, I get the following error:

   ERROR | ISACheck: Error in /home/tnewsome/projects/riscv/riscof-run/spike/spike_isa.yaml.
   ERROR |  ISA:
   ERROR |   - Input ISA string does not match regex
   ERROR |   - Input ISA string : RV32IMCSdtrig_Zicsr_Zifencei does not match accepted canonical ordering

I don't know where this error comes from. I searched the riscof source for the error message and for ISACheck and nothing came up.

What is the regex that's supposed to match? Is there a document that describes the expected format?

rtwfroody commented 1 month ago

This error is generated by riscv-config.