Safe Haskell	Safe-Inferred
Language	Haskell2010

LibRISCV

Synopsis

type Address = Word32
align :: Address -> Address
data RegIdx
- = 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

Documentation

type Address = Word32 Source #

Representation of a 32-bit addresses for RV32.

align :: Address -> Address Source #

Align an Address on the next word boundary.

data RegIdx Source #

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

Instances details

Bounded RegIdx Source #
Instance details Defined in LibRISCV Methods minBound :: RegIdx # maxBound :: RegIdx #
Enum RegIdx Source #
Instance details 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 Source #
Instance details 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 Source #
Instance details Defined in LibRISCV Methods readsPrec :: Int -> ReadS RegIdx # readList :: ReadS [RegIdx] # readPrec :: ReadPrec RegIdx # readListPrec :: ReadPrec [RegIdx] #
Show RegIdx Source #
Instance details Defined in LibRISCV Methods showsPrec :: Int -> RegIdx -> ShowS # show :: RegIdx -> String # showList :: [RegIdx] -> ShowS #
Eq RegIdx Source #
Instance details Defined in LibRISCV Methods (==) :: RegIdx -> RegIdx -> Bool # (/=) :: RegIdx -> RegIdx -> Bool #
Ord RegIdx Source #
Instance details 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 #