search

riscv / riscv-opcodes

RISC-V Opcodes
https://riscv.org/
BSD 3-Clause "New" or "Revised" License
671 stars 294 forks source link

why is there no definition for Zfhmin? #248

Open tariqkurd-repo opened 4 months ago

tariqkurd-repo commented 4 months ago

There's no definition of Zfhmin, and yet it's a valid extension.

Should Zfh imply Zfhmin, and so FLH, FSH, FMV.X.H, FMV.H.X, FCVT.S.H, FCVT.H.S etc. would be defined as Zfhmin, not as Zfh? If so that would affect the isa-spec.

The profiles (RVA22, RVA23) require Zfhmin and not Zfh, so the definition doesn't fit with RISC-V opcodes.

More generally it would be useful to have a configuration for all of the mandatory extensions for RVA22, RVA23 so that we can just read them all in one, instead of finding problems like this one at a time.

I'm anticipating the same same problem with Zvfh/Zvfhmin

aswaterman commented 4 months ago

Seems like a fine improvement if you want to pursue it.

As to why it is the way it is, I think the answer is that many downstream tools that consume output from this repo just want all of the encoding information and don't care about how it's partitioned into extensions.

staru09 commented 1 month ago

Is this open to work?