|
|
|---|
|
|
|
|---|
Fixtype of RISC-V feature choices for 32 or 64 bits.
This is a tagged union type, introduced by fty::deftagsum.
A major feature choice in the RISC-V ISA is the choice between 32 and 64 bits. The former corresponds to the RV32I and RV32E bases; the latter corresponds to the RV64I and RV64E bases. For now we do not cover the 128-bit option for the RV128I base [ISA:5]; note that this part of the RISC-V specification is not frozen yet.