Top

Rv32im-le-states

Stat32

Fixtype of states for RV32IM little endian.

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

Fields

xregs — xregs
pc — ubyte32
memory — memory
error — booleanp

This is a specialization of riscv::stat according to riscv::stat-validp.

Subtopics

Stat32p: Recognizer for stat32 structures.
Stat32-fix: Fixing function for stat32 structures.
Stat32-equiv: Basic equivalence relation for stat32 structures.
Make-stat32: Basic constructor macro for stat32 structures.
Change-stat32: Modifying constructor for stat32 structures.
Stat32->xregs: Get the xregs field from a stat32.
Stat32->memory: Get the memory field from a stat32.
Stat32->error: Get the error field from a stat32.
Stat32->pc: Get the pc field from a stat32.