Contents
Index
riscv-isa-0.1.0.0: Haskell representation of the RISC-V instruction set architecture
Index
ADD
RiscV.RV32I
ADDI
RiscV.RV32I
AND
RiscV.RV32I
ANDI
RiscV.RV32I
AUIPC
RiscV.RV32I
BEQ
RiscV.RV32I
BGE
RiscV.RV32I
BGEU
RiscV.RV32I
bitMaskFromTo
RiscV.Internal.Util
bitsFromTo
RiscV.Internal.Util
BLT
RiscV.RV32I
BLTU
RiscV.RV32I
BNE
RiscV.RV32I
Branch
RiscV.RV32I
BranchCond
RiscV.RV32I
BranchInstr
1 (Type/Class)
RiscV.RV32I
2 (Data Constructor)
RiscV.RV32I
Byte
RiscV.RV32I
ByteUnsigned
RiscV.RV32I
CSRIInstr
RiscV.RV32I
CSRInstr
1 (Type/Class)
RiscV.RV32I
2 (Data Constructor)
RiscV.RV32I
CSRRegister
1 (Type/Class)
RiscV.RV32I
2 (Data Constructor)
RiscV.RV32I
CSRRInstr
RiscV.RV32I
CSRType
RiscV.RV32I
decodeInstr
RiscV.Decode.RV32I
DecodingError
1 (Type/Class)
RiscV.Decode.RV32I
2 (Data Constructor)
RiscV.Decode.RV32I
deviceInput
RiscV.RV32I
deviceOutput
RiscV.RV32I
EBREAK
RiscV.RV32I
ECALL
RiscV.RV32I
encodeInstr
RiscV.Encode.RV32I
EnvironmentInstr
1 (Type/Class)
RiscV.RV32I
2 (Data Constructor)
RiscV.RV32I
errorMsg
RiscV.Decode.RV32I
extractBits
RiscV.Internal.Util
FENCE
RiscV.RV32I
FENCEI
RiscV.RV32I
Half
RiscV.RV32I
HalfUnsigned
RiscV.RV32I
IInstr
RiscV.RV32I
Instr
RiscV.RV32I
IOpcode
RiscV.RV32I
JAL
RiscV.RV32I
JALR
RiscV.RV32I
JumpInstr
1 (Type/Class)
RiscV.RV32I
2 (Data Constructor)
RiscV.RV32I
LOAD
RiscV.RV32I
LoadWidth
RiscV.RV32I
LUI
RiscV.RV32I
MemoryInstr
1 (Type/Class)
RiscV.RV32I
2 (Data Constructor)
RiscV.RV32I
memoryReads
RiscV.RV32I
memoryWrites
RiscV.RV32I
OR
RiscV.RV32I
ORI
RiscV.RV32I
ReadClear
RiscV.RV32I
ReadSet
RiscV.RV32I
ReadWrite
RiscV.RV32I
Register
RiscV.RV32I
RegisterImmediateInstr
RiscV.RV32I
RegisterRegisterInstr
RiscV.RV32I
RIInstr
RiscV.RV32I
RInstr
RiscV.RV32I
ROpcode
RiscV.RV32I
RRInstr
RiscV.RV32I
ShiftInstr
RiscV.RV32I
ShiftOpcode
RiscV.RV32I
SLL
RiscV.RV32I
SLLI
RiscV.RV32I
SLT
RiscV.RV32I
SLTI
RiscV.RV32I
SLTIU
RiscV.RV32I
SLTU
RiscV.RV32I
SRA
RiscV.RV32I
SRAI
RiscV.RV32I
SRL
RiscV.RV32I
SRLI
RiscV.RV32I
STORE
RiscV.RV32I
SUB
RiscV.RV32I
SynchronizationInstr
RiscV.RV32I
SyncInstr
RiscV.RV32I
SyncOrd
RiscV.RV32I
SyncOrdering
RiscV.RV32I
Width
1 (Type/Class)
RiscV.RV32I
2 (Data Constructor)
RiscV.RV32I
Word
RiscV.RV32I
Word12
1 (Type/Class)
RiscV.RV32I
2 (Data Constructor)
RiscV.RV32I
Word20
1 (Type/Class)
RiscV.RV32I
2 (Data Constructor)
RiscV.RV32I
Word5
1 (Type/Class)
RiscV.RV32I
2 (Data Constructor)
RiscV.RV32I
X0
RiscV.RV32I
X1
RiscV.RV32I
X10
RiscV.RV32I
X11
RiscV.RV32I
X12
RiscV.RV32I
X13
RiscV.RV32I
X14
RiscV.RV32I
X15
RiscV.RV32I
X16
RiscV.RV32I
X17
RiscV.RV32I
X18
RiscV.RV32I
X19
RiscV.RV32I
X2
RiscV.RV32I
X20
RiscV.RV32I
X21
RiscV.RV32I
X22
RiscV.RV32I
X23
RiscV.RV32I
X24
RiscV.RV32I
X25
RiscV.RV32I
X26
RiscV.RV32I
X27
RiscV.RV32I
X28
RiscV.RV32I
X29
RiscV.RV32I
X3
RiscV.RV32I
X30
RiscV.RV32I
X31
RiscV.RV32I
X4
RiscV.RV32I
X5
RiscV.RV32I
X6
RiscV.RV32I
X7
RiscV.RV32I
X8
RiscV.RV32I
X9
RiscV.RV32I
XOR
RiscV.RV32I
XORI
RiscV.RV32I