Safe Haskell	None
Language	Haskell2010

RiscV.RV32I

Contents

Integer Register-Immediate Instructions
Integer Register-Register Instructions
Control Transfer Instructions
Load and Store Instructions
Memory Synchronization Instructions
Control and Status Register Instructions
Environment Call and Breakpoints
Word Types

Synopsis

Documentation

data Register Source #

Register 1-31 are general-purpose registers holding integer values.

Register 0 is hardwired to the constant 0.

Constructors

X0
X1
X2
X3
X4
X5
X6
X7
X8
X9
X10
X11
X12
X13
X14
X15
X16
X17
X18
X19
X20
X21
X22
X23
X24
X25
X26
X27
X28
X29
X30
X31

Instances

Eq Register Source #
Methods (==) :: Register -> Register -> Bool # (/=) :: Register -> Register -> Bool #
Ord Register Source #
Methods compare :: Register -> Register -> Ordering # (<) :: Register -> Register -> Bool # (<=) :: Register -> Register -> Bool # (>) :: Register -> Register -> Bool # (>=) :: Register -> Register -> Bool # max :: Register -> Register -> Register # min :: Register -> Register -> Register #
Show Register Source #
Methods showsPrec :: Int -> Register -> ShowS # show :: Register -> String # showList :: [Register] -> ShowS #
Arbitrary Register Source #
Methods arbitrary :: Gen Register # shrink :: Register -> [Register] #

newtype CSRRegister Source #

Constructors

CSRRegister Word12

Instances

Eq CSRRegister Source #
Methods (==) :: CSRRegister -> CSRRegister -> Bool # (/=) :: CSRRegister -> CSRRegister -> Bool #
Ord CSRRegister Source #
Methods compare :: CSRRegister -> CSRRegister -> Ordering # (<) :: CSRRegister -> CSRRegister -> Bool # (<=) :: CSRRegister -> CSRRegister -> Bool # (>) :: CSRRegister -> CSRRegister -> Bool # (>=) :: CSRRegister -> CSRRegister -> Bool # max :: CSRRegister -> CSRRegister -> CSRRegister # min :: CSRRegister -> CSRRegister -> CSRRegister #
Show CSRRegister Source #
Methods showsPrec :: Int -> CSRRegister -> ShowS # show :: CSRRegister -> String # showList :: [CSRRegister] -> ShowS #
Arbitrary CSRRegister Source #
Methods arbitrary :: Gen CSRRegister # shrink :: CSRRegister -> [CSRRegister] #

data Instr Source #

Constructors

BranchInstr !BranchInstr
CSRInstr !CSRInstr
EnvironmentInstr !EnvironmentInstr
JumpInstr !JumpInstr
MemoryInstr !MemoryInstr
RRInstr !RegisterRegisterInstr
RIInstr !RegisterImmediateInstr
SyncInstr !SynchronizationInstr

Instances

Eq Instr Source #
Methods (==) :: Instr -> Instr -> Bool # (/=) :: Instr -> Instr -> Bool #
Ord Instr Source #
Methods compare :: Instr -> Instr -> Ordering # (<) :: Instr -> Instr -> Bool # (<=) :: Instr -> Instr -> Bool # (>) :: Instr -> Instr -> Bool # (>=) :: Instr -> Instr -> Bool # max :: Instr -> Instr -> Instr # min :: Instr -> Instr -> Instr #
Show Instr Source #
Methods showsPrec :: Int -> Instr -> ShowS # show :: Instr -> String # showList :: [Instr] -> ShowS #
Arbitrary Instr Source #
Methods arbitrary :: Gen Instr # shrink :: Instr -> [Instr] #

Integer Register-Immediate Instructions

data RegisterImmediateInstr Source #

Constructors

IInstr !IOpcode !Word12 !Register !Register
ShiftInstr !ShiftOpcode !Word5 !Register !Register
LUI !Word20 !Register
AUIPC !Word20 !Register

Instances

Eq RegisterImmediateInstr Source #
Methods (==) :: RegisterImmediateInstr -> RegisterImmediateInstr -> Bool # (/=) :: RegisterImmediateInstr -> RegisterImmediateInstr -> Bool #
Ord RegisterImmediateInstr Source #
Methods compare :: RegisterImmediateInstr -> RegisterImmediateInstr -> Ordering # (<) :: RegisterImmediateInstr -> RegisterImmediateInstr -> Bool # (<=) :: RegisterImmediateInstr -> RegisterImmediateInstr -> Bool # (>) :: RegisterImmediateInstr -> RegisterImmediateInstr -> Bool # (>=) :: RegisterImmediateInstr -> RegisterImmediateInstr -> Bool # max :: RegisterImmediateInstr -> RegisterImmediateInstr -> RegisterImmediateInstr # min :: RegisterImmediateInstr -> RegisterImmediateInstr -> RegisterImmediateInstr #
Show RegisterImmediateInstr Source #
Methods showsPrec :: Int -> RegisterImmediateInstr -> ShowS # show :: RegisterImmediateInstr -> String # showList :: [RegisterImmediateInstr] -> ShowS #
Arbitrary RegisterImmediateInstr Source #
Methods arbitrary :: Gen RegisterImmediateInstr # shrink :: RegisterImmediateInstr -> [RegisterImmediateInstr] #

data IOpcode Source #

Constructors

ADDI
SLTI
SLTIU
XORI
ORI
ANDI

Instances

Eq IOpcode Source #
Methods (==) :: IOpcode -> IOpcode -> Bool # (/=) :: IOpcode -> IOpcode -> Bool #
Ord IOpcode Source #
Methods compare :: IOpcode -> IOpcode -> Ordering # (<) :: IOpcode -> IOpcode -> Bool # (<=) :: IOpcode -> IOpcode -> Bool # (>) :: IOpcode -> IOpcode -> Bool # (>=) :: IOpcode -> IOpcode -> Bool # max :: IOpcode -> IOpcode -> IOpcode # min :: IOpcode -> IOpcode -> IOpcode #
Show IOpcode Source #
Methods showsPrec :: Int -> IOpcode -> ShowS # show :: IOpcode -> String # showList :: [IOpcode] -> ShowS #
Arbitrary IOpcode Source #
Methods arbitrary :: Gen IOpcode # shrink :: IOpcode -> [IOpcode] #

data ShiftOpcode Source #

Constructors

SLLI
SRLI
SRAI

Instances

Eq ShiftOpcode Source #
Methods (==) :: ShiftOpcode -> ShiftOpcode -> Bool # (/=) :: ShiftOpcode -> ShiftOpcode -> Bool #
Ord ShiftOpcode Source #
Methods compare :: ShiftOpcode -> ShiftOpcode -> Ordering # (<) :: ShiftOpcode -> ShiftOpcode -> Bool # (<=) :: ShiftOpcode -> ShiftOpcode -> Bool # (>) :: ShiftOpcode -> ShiftOpcode -> Bool # (>=) :: ShiftOpcode -> ShiftOpcode -> Bool # max :: ShiftOpcode -> ShiftOpcode -> ShiftOpcode # min :: ShiftOpcode -> ShiftOpcode -> ShiftOpcode #
Show ShiftOpcode Source #
Methods showsPrec :: Int -> ShiftOpcode -> ShowS # show :: ShiftOpcode -> String # showList :: [ShiftOpcode] -> ShowS #
Arbitrary ShiftOpcode Source #
Methods arbitrary :: Gen ShiftOpcode # shrink :: ShiftOpcode -> [ShiftOpcode] #

Integer Register-Register Instructions

data RegisterRegisterInstr Source #

Constructors

RInstr !ROpcode !Register !Register !Register

Instances

Eq RegisterRegisterInstr Source #
Methods (==) :: RegisterRegisterInstr -> RegisterRegisterInstr -> Bool # (/=) :: RegisterRegisterInstr -> RegisterRegisterInstr -> Bool #
Ord RegisterRegisterInstr Source #
Methods compare :: RegisterRegisterInstr -> RegisterRegisterInstr -> Ordering # (<) :: RegisterRegisterInstr -> RegisterRegisterInstr -> Bool # (<=) :: RegisterRegisterInstr -> RegisterRegisterInstr -> Bool # (>) :: RegisterRegisterInstr -> RegisterRegisterInstr -> Bool # (>=) :: RegisterRegisterInstr -> RegisterRegisterInstr -> Bool # max :: RegisterRegisterInstr -> RegisterRegisterInstr -> RegisterRegisterInstr # min :: RegisterRegisterInstr -> RegisterRegisterInstr -> RegisterRegisterInstr #
Show RegisterRegisterInstr Source #
Methods showsPrec :: Int -> RegisterRegisterInstr -> ShowS # show :: RegisterRegisterInstr -> String # showList :: [RegisterRegisterInstr] -> ShowS #
Arbitrary RegisterRegisterInstr Source #
Methods arbitrary :: Gen RegisterRegisterInstr # shrink :: RegisterRegisterInstr -> [RegisterRegisterInstr] #

data ROpcode Source #

Constructors

ADD
SLT
SLTU
AND
OR
XOR
SLL
SRL
SUB
SRA

Instances

Eq ROpcode Source #
Methods (==) :: ROpcode -> ROpcode -> Bool # (/=) :: ROpcode -> ROpcode -> Bool #
Ord ROpcode Source #
Methods compare :: ROpcode -> ROpcode -> Ordering # (<) :: ROpcode -> ROpcode -> Bool # (<=) :: ROpcode -> ROpcode -> Bool # (>) :: ROpcode -> ROpcode -> Bool # (>=) :: ROpcode -> ROpcode -> Bool # max :: ROpcode -> ROpcode -> ROpcode # min :: ROpcode -> ROpcode -> ROpcode #
Show ROpcode Source #
Methods showsPrec :: Int -> ROpcode -> ShowS # show :: ROpcode -> String # showList :: [ROpcode] -> ShowS #
Arbitrary ROpcode Source #
Methods arbitrary :: Gen ROpcode # shrink :: ROpcode -> [ROpcode] #

Control Transfer Instructions

data JumpInstr Source #

Constructors

JAL !Word20 !Register
JALR !Word12 !Register !Register

Instances

Eq JumpInstr Source #
Methods (==) :: JumpInstr -> JumpInstr -> Bool # (/=) :: JumpInstr -> JumpInstr -> Bool #
Ord JumpInstr Source #
Methods compare :: JumpInstr -> JumpInstr -> Ordering # (<) :: JumpInstr -> JumpInstr -> Bool # (<=) :: JumpInstr -> JumpInstr -> Bool # (>) :: JumpInstr -> JumpInstr -> Bool # (>=) :: JumpInstr -> JumpInstr -> Bool # max :: JumpInstr -> JumpInstr -> JumpInstr # min :: JumpInstr -> JumpInstr -> JumpInstr #
Show JumpInstr Source #
Methods showsPrec :: Int -> JumpInstr -> ShowS # show :: JumpInstr -> String # showList :: [JumpInstr] -> ShowS #
Arbitrary JumpInstr Source #
Methods arbitrary :: Gen JumpInstr # shrink :: JumpInstr -> [JumpInstr] #

data BranchInstr Source #

Constructors

Branch !Word12 !BranchCond !Register !Register

Instances

Eq BranchInstr Source #
Methods (==) :: BranchInstr -> BranchInstr -> Bool # (/=) :: BranchInstr -> BranchInstr -> Bool #
Ord BranchInstr Source #
Methods compare :: BranchInstr -> BranchInstr -> Ordering # (<) :: BranchInstr -> BranchInstr -> Bool # (<=) :: BranchInstr -> BranchInstr -> Bool # (>) :: BranchInstr -> BranchInstr -> Bool # (>=) :: BranchInstr -> BranchInstr -> Bool # max :: BranchInstr -> BranchInstr -> BranchInstr # min :: BranchInstr -> BranchInstr -> BranchInstr #
Show BranchInstr Source #
Methods showsPrec :: Int -> BranchInstr -> ShowS # show :: BranchInstr -> String # showList :: [BranchInstr] -> ShowS #
Arbitrary BranchInstr Source #
Methods arbitrary :: Gen BranchInstr # shrink :: BranchInstr -> [BranchInstr] #

data BranchCond Source #

Constructors

BEQ
BNE
BLT
BLTU
BGE
BGEU

Instances

Eq BranchCond Source #
Methods (==) :: BranchCond -> BranchCond -> Bool # (/=) :: BranchCond -> BranchCond -> Bool #
Ord BranchCond Source #
Methods compare :: BranchCond -> BranchCond -> Ordering # (<) :: BranchCond -> BranchCond -> Bool # (<=) :: BranchCond -> BranchCond -> Bool # (>) :: BranchCond -> BranchCond -> Bool # (>=) :: BranchCond -> BranchCond -> Bool # max :: BranchCond -> BranchCond -> BranchCond # min :: BranchCond -> BranchCond -> BranchCond #
Show BranchCond Source #
Methods showsPrec :: Int -> BranchCond -> ShowS # show :: BranchCond -> String # showList :: [BranchCond] -> ShowS #
Arbitrary BranchCond Source #
Methods arbitrary :: Gen BranchCond # shrink :: BranchCond -> [BranchCond] #

Load and Store Instructions

data MemoryInstr Source #

Constructors

LOAD !LoadWidth !Word12 !Register !Register
STORE !Width !Word12 !Register !Register

Instances

Eq MemoryInstr Source #
Methods (==) :: MemoryInstr -> MemoryInstr -> Bool # (/=) :: MemoryInstr -> MemoryInstr -> Bool #
Ord MemoryInstr Source #
Methods compare :: MemoryInstr -> MemoryInstr -> Ordering # (<) :: MemoryInstr -> MemoryInstr -> Bool # (<=) :: MemoryInstr -> MemoryInstr -> Bool # (>) :: MemoryInstr -> MemoryInstr -> Bool # (>=) :: MemoryInstr -> MemoryInstr -> Bool # max :: MemoryInstr -> MemoryInstr -> MemoryInstr # min :: MemoryInstr -> MemoryInstr -> MemoryInstr #
Show MemoryInstr Source #
Methods showsPrec :: Int -> MemoryInstr -> ShowS # show :: MemoryInstr -> String # showList :: [MemoryInstr] -> ShowS #
Arbitrary MemoryInstr Source #
Methods arbitrary :: Gen MemoryInstr # shrink :: MemoryInstr -> [MemoryInstr] #

data Width Source #

Constructors

Byte
Half
Word

Instances

Eq Width Source #
Methods (==) :: Width -> Width -> Bool # (/=) :: Width -> Width -> Bool #
Ord Width Source #
Methods compare :: Width -> Width -> Ordering # (<) :: Width -> Width -> Bool # (<=) :: Width -> Width -> Bool # (>) :: Width -> Width -> Bool # (>=) :: Width -> Width -> Bool # max :: Width -> Width -> Width # min :: Width -> Width -> Width #
Show Width Source #
Methods showsPrec :: Int -> Width -> ShowS # show :: Width -> String # showList :: [Width] -> ShowS #
Arbitrary Width Source #
Methods arbitrary :: Gen Width # shrink :: Width -> [Width] #

data LoadWidth Source #

Constructors

Width !Width
HalfUnsigned
ByteUnsigned

Instances

Eq LoadWidth Source #
Methods (==) :: LoadWidth -> LoadWidth -> Bool # (/=) :: LoadWidth -> LoadWidth -> Bool #
Ord LoadWidth Source #
Methods compare :: LoadWidth -> LoadWidth -> Ordering # (<) :: LoadWidth -> LoadWidth -> Bool # (<=) :: LoadWidth -> LoadWidth -> Bool # (>) :: LoadWidth -> LoadWidth -> Bool # (>=) :: LoadWidth -> LoadWidth -> Bool # max :: LoadWidth -> LoadWidth -> LoadWidth # min :: LoadWidth -> LoadWidth -> LoadWidth #
Show LoadWidth Source #
Methods showsPrec :: Int -> LoadWidth -> ShowS # show :: LoadWidth -> String # showList :: [LoadWidth] -> ShowS #
Arbitrary LoadWidth Source #
Methods arbitrary :: Gen LoadWidth # shrink :: LoadWidth -> [LoadWidth] #

Memory Synchronization Instructions

data SynchronizationInstr Source #

Constructors

FENCE !SyncOrdering !SyncOrdering
FENCEI

Instances

Eq SynchronizationInstr Source #
Methods (==) :: SynchronizationInstr -> SynchronizationInstr -> Bool # (/=) :: SynchronizationInstr -> SynchronizationInstr -> Bool #
Ord SynchronizationInstr Source #
Methods compare :: SynchronizationInstr -> SynchronizationInstr -> Ordering # (<) :: SynchronizationInstr -> SynchronizationInstr -> Bool # (<=) :: SynchronizationInstr -> SynchronizationInstr -> Bool # (>) :: SynchronizationInstr -> SynchronizationInstr -> Bool # (>=) :: SynchronizationInstr -> SynchronizationInstr -> Bool # max :: SynchronizationInstr -> SynchronizationInstr -> SynchronizationInstr # min :: SynchronizationInstr -> SynchronizationInstr -> SynchronizationInstr #
Show SynchronizationInstr Source #
Methods showsPrec :: Int -> SynchronizationInstr -> ShowS # show :: SynchronizationInstr -> String # showList :: [SynchronizationInstr] -> ShowS #
Arbitrary SynchronizationInstr Source #
Methods arbitrary :: Gen SynchronizationInstr # shrink :: SynchronizationInstr -> [SynchronizationInstr] #

data SyncOrdering Source #

Constructors

SyncOrd
Fields deviceInput :: !Bool deviceOutput :: !Bool memoryReads :: !Bool memoryWrites :: !Bool

Instances

Eq SyncOrdering Source #
Methods (==) :: SyncOrdering -> SyncOrdering -> Bool # (/=) :: SyncOrdering -> SyncOrdering -> Bool #
Ord SyncOrdering Source #
Methods compare :: SyncOrdering -> SyncOrdering -> Ordering # (<) :: SyncOrdering -> SyncOrdering -> Bool # (<=) :: SyncOrdering -> SyncOrdering -> Bool # (>) :: SyncOrdering -> SyncOrdering -> Bool # (>=) :: SyncOrdering -> SyncOrdering -> Bool # max :: SyncOrdering -> SyncOrdering -> SyncOrdering # min :: SyncOrdering -> SyncOrdering -> SyncOrdering #
Show SyncOrdering Source #
Methods showsPrec :: Int -> SyncOrdering -> ShowS # show :: SyncOrdering -> String # showList :: [SyncOrdering] -> ShowS #
Arbitrary SyncOrdering Source #
Methods arbitrary :: Gen SyncOrdering # shrink :: SyncOrdering -> [SyncOrdering] #

Control and Status Register Instructions

data CSRInstr Source #

Control and Status Register Instructions

Constructors

CSRRInstr !CSRType !CSRRegister !Register !Register
CSRIInstr !CSRType !CSRRegister !Word5 !Register

Instances

Eq CSRInstr Source #
Methods (==) :: CSRInstr -> CSRInstr -> Bool # (/=) :: CSRInstr -> CSRInstr -> Bool #
Ord CSRInstr Source #
Methods compare :: CSRInstr -> CSRInstr -> Ordering # (<) :: CSRInstr -> CSRInstr -> Bool # (<=) :: CSRInstr -> CSRInstr -> Bool # (>) :: CSRInstr -> CSRInstr -> Bool # (>=) :: CSRInstr -> CSRInstr -> Bool # max :: CSRInstr -> CSRInstr -> CSRInstr # min :: CSRInstr -> CSRInstr -> CSRInstr #
Show CSRInstr Source #
Methods showsPrec :: Int -> CSRInstr -> ShowS # show :: CSRInstr -> String # showList :: [CSRInstr] -> ShowS #
Arbitrary CSRInstr Source #
Methods arbitrary :: Gen CSRInstr # shrink :: CSRInstr -> [CSRInstr] #

data CSRType Source #

Control and status register instruction type

Constructors

ReadWrite
ReadSet
ReadClear

Instances

Eq CSRType Source #
Methods (==) :: CSRType -> CSRType -> Bool # (/=) :: CSRType -> CSRType -> Bool #
Ord CSRType Source #
Methods compare :: CSRType -> CSRType -> Ordering # (<) :: CSRType -> CSRType -> Bool # (<=) :: CSRType -> CSRType -> Bool # (>) :: CSRType -> CSRType -> Bool # (>=) :: CSRType -> CSRType -> Bool # max :: CSRType -> CSRType -> CSRType # min :: CSRType -> CSRType -> CSRType #
Show CSRType Source #
Methods showsPrec :: Int -> CSRType -> ShowS # show :: CSRType -> String # showList :: [CSRType] -> ShowS #
Arbitrary CSRType Source #
Methods arbitrary :: Gen CSRType # shrink :: CSRType -> [CSRType] #

Environment Call and Breakpoints

data EnvironmentInstr Source #

Constructors

ECALL
EBREAK

Instances

Eq EnvironmentInstr Source #
Methods (==) :: EnvironmentInstr -> EnvironmentInstr -> Bool # (/=) :: EnvironmentInstr -> EnvironmentInstr -> Bool #
Ord EnvironmentInstr Source #
Methods compare :: EnvironmentInstr -> EnvironmentInstr -> Ordering # (<) :: EnvironmentInstr -> EnvironmentInstr -> Bool # (<=) :: EnvironmentInstr -> EnvironmentInstr -> Bool # (>) :: EnvironmentInstr -> EnvironmentInstr -> Bool # (>=) :: EnvironmentInstr -> EnvironmentInstr -> Bool # max :: EnvironmentInstr -> EnvironmentInstr -> EnvironmentInstr # min :: EnvironmentInstr -> EnvironmentInstr -> EnvironmentInstr #
Show EnvironmentInstr Source #
Methods showsPrec :: Int -> EnvironmentInstr -> ShowS # show :: EnvironmentInstr -> String # showList :: [EnvironmentInstr] -> ShowS #
Arbitrary EnvironmentInstr Source #
Methods arbitrary :: Gen EnvironmentInstr # shrink :: EnvironmentInstr -> [EnvironmentInstr] #

Word Types

newtype Word5 Source #

Constructors

Word5 Word8

Instances

Eq Word5 Source #
Methods (==) :: Word5 -> Word5 -> Bool # (/=) :: Word5 -> Word5 -> Bool #
Ord Word5 Source #
Methods compare :: Word5 -> Word5 -> Ordering # (<) :: Word5 -> Word5 -> Bool # (<=) :: Word5 -> Word5 -> Bool # (>) :: Word5 -> Word5 -> Bool # (>=) :: Word5 -> Word5 -> Bool # max :: Word5 -> Word5 -> Word5 # min :: Word5 -> Word5 -> Word5 #
Show Word5 Source #
Methods showsPrec :: Int -> Word5 -> ShowS # show :: Word5 -> String # showList :: [Word5] -> ShowS #
Arbitrary Word5 Source #
Methods arbitrary :: Gen Word5 # shrink :: Word5 -> [Word5] #

newtype Word12 Source #

Constructors

Word12 Word16

Instances

Eq Word12 Source #
Methods (==) :: Word12 -> Word12 -> Bool # (/=) :: Word12 -> Word12 -> Bool #
Ord Word12 Source #
Methods compare :: Word12 -> Word12 -> Ordering # (<) :: Word12 -> Word12 -> Bool # (<=) :: Word12 -> Word12 -> Bool # (>) :: Word12 -> Word12 -> Bool # (>=) :: Word12 -> Word12 -> Bool # max :: Word12 -> Word12 -> Word12 # min :: Word12 -> Word12 -> Word12 #
Show Word12 Source #
Methods showsPrec :: Int -> Word12 -> ShowS # show :: Word12 -> String # showList :: [Word12] -> ShowS #
Arbitrary Word12 Source #
Methods arbitrary :: Gen Word12 # shrink :: Word12 -> [Word12] #

newtype Word20 Source #

Constructors

Word20 Word32

Instances

Eq Word20 Source #
Methods (==) :: Word20 -> Word20 -> Bool # (/=) :: Word20 -> Word20 -> Bool #
Ord Word20 Source #
Methods compare :: Word20 -> Word20 -> Ordering # (<) :: Word20 -> Word20 -> Bool # (<=) :: Word20 -> Word20 -> Bool # (>) :: Word20 -> Word20 -> Bool # (>=) :: Word20 -> Word20 -> Bool # max :: Word20 -> Word20 -> Word20 # min :: Word20 -> Word20 -> Word20 #
Show Word20 Source #
Methods showsPrec :: Int -> Word20 -> ShowS # show :: Word20 -> String # showList :: [Word20] -> ShowS #
Arbitrary Word20 Source #
Methods arbitrary :: Gen Word20 # shrink :: Word20 -> [Word20] #

X0
X1
X2
X3
X4
X5
X6
X7
X8
X9
X10
X11
X12
X13
X14
X15
X16
X17
X18
X19
X20
X21
X22
X23
X24
X25
X26
X27
X28
X29
X30
X31

X0
X1
X2
X3
X4
X5
X6
X7
X8
X9
X10
X11
X12
X13
X14
X15
X16
X17
X18
X19
X20
X21
X22
X23
X24
X25
X26
X27
X28
X29
X30
X31

X0
X1
X2
X3
X4
X5
X6
X7
X8
X9
X10
X11
X12
X13
X14
X15
X16
X17
X18
X19
X20
X21
X22
X23
X24
X25
X26
X27
X28
X29
X30
X31