Top

Features

Feat

Fixtype of RISC-V feature choices.

This is a product type introduced by fty::defprod.

Fields

base — feat-base
endian — feat-endian
m — booleanp

For now we only model the following choices:

The base.
The endianness.
Whether the M extension [ISA:13] is present or not.

More features will be added later.

Subtopics

Featp: Recognizer for feat structures.
Feat-fix: Fixing function for feat structures.
Make-feat: Basic constructor macro for feat structures.
Feat-equiv: Basic equivalence relation for feat structures.
Feat->endian: Get the endian field from a feat.
Change-feat: Modifying constructor for feat structures.
Feat->base: Get the base field from a feat.
Feat->m: Get the m field from a feat.