RiscV.RV32I

data Register

data Instr

Integer Register-Immediate Instructions

data RegisterImmediateInstr

data IOpcode

data ShiftOpcode

Integer Register-Register Instructions

data RegisterRegisterInstr

data ROpcode

Control Transfer Instructions

data JumpInstr

data BranchInstr

data BranchCond

Load and Store Instructions

data MemoryInstr

data Width

data LoadWidth

Memory Synchronization Instructions

data SynchronizationInstr

data SyncOrdering

Control and Status Register Instructions

data CSRInstr

data CSRIOpcode

data CSRROpcode

Environment Call and Breakpoints

data EnvironmentInstr

Word Types

data Word5

data Word12

data Word20