LibRISCV

Documentation

type Address = Word32

Representation of a 32-bit addresses for RV32.

align :: Address -> Address

Align an Address on the next word boundary.

data RegIdx

Type to represent an index for the register file.

>>> toEnum 12 :: RegIdx
A2
>>> toEnum 31 :: RegIdx
T6
>>> fromEnum (minBound :: RegIdx)
0

Constructors

Zero

RA

SP

GP

TP

T0

T1

T2

FP

S1

A0

A1

A2

A3

A4

A5

A6

A7

S2

S3

S4

S5

S6

S7

S8

S9

S10

S11

T3

T4

T5

T6

Instances

Bounded RegIdx

Defined in LibRISCV

Methods

minBound :: RegIdx

maxBound :: RegIdx

Enum RegIdx

Defined in LibRISCV

Methods

succ :: RegIdx -> RegIdx

pred :: RegIdx -> RegIdx

toEnum :: Int -> RegIdx

fromEnum :: RegIdx -> Int

enumFrom :: RegIdx -> [RegIdx]

enumFromThen :: RegIdx -> RegIdx -> [RegIdx]

enumFromTo :: RegIdx -> RegIdx -> [RegIdx]

enumFromThenTo :: RegIdx -> RegIdx -> RegIdx -> [RegIdx]

Ix RegIdx

Defined in LibRISCV

Methods

range :: (RegIdx, RegIdx) -> [RegIdx]

index :: (RegIdx, RegIdx) -> RegIdx -> Int

unsafeIndex :: (RegIdx, RegIdx) -> RegIdx -> Int

inRange :: (RegIdx, RegIdx) -> RegIdx -> Bool

rangeSize :: (RegIdx, RegIdx) -> Int

unsafeRangeSize :: (RegIdx, RegIdx) -> Int

Read RegIdx

Defined in LibRISCV

Methods

readsPrec :: Int -> ReadS RegIdx

readList :: ReadS [RegIdx]

readPrec :: ReadPrec RegIdx

readListPrec :: ReadPrec [RegIdx]

Show RegIdx

Defined in LibRISCV

Methods

showsPrec :: Int -> RegIdx -> ShowS

show :: RegIdx -> String

showList :: [RegIdx] -> ShowS

Eq RegIdx

Defined in LibRISCV

Methods

(==) :: RegIdx -> RegIdx -> Bool

(/=) :: RegIdx -> RegIdx -> Bool

Ord RegIdx

Defined in LibRISCV

Methods

compare :: RegIdx -> RegIdx -> Ordering

(<) :: RegIdx -> RegIdx -> Bool

(<=) :: RegIdx -> RegIdx -> Bool

(>) :: RegIdx -> RegIdx -> Bool

(>=) :: RegIdx -> RegIdx -> Bool

max :: RegIdx -> RegIdx -> RegIdx

min :: RegIdx -> RegIdx -> RegIdx