Safe Haskell	None
Language	Haskell2010

Data.RiscV.I

Documentation

data Instruction Source #

Constructors

LUI Reg Word20
AUIPC Reg Word20
JAL Reg Word20
JALR Reg Reg Word12
RegImmed IMinor Reg Reg Word12
RegReg IOp Reg Reg Reg
Branch BranchCmp Reg Reg Word12
Load Reg LogNumBytes Signedness
Stor Reg LogNumBytes
Fence FenceSpec FenceSpec
IFence
Trap Bool
CsrOp CsrOp Reg Reg Csr
CsrOpI CsrOp Reg Word5 Csr

data BranchCmp Source #

Constructors

EQ
NE
LT
LTU
GE
GEU

Instances

Enum BranchCmp Source #
Instance details Defined in Data.RiscV.I Methods succ :: BranchCmp -> BranchCmp # pred :: BranchCmp -> BranchCmp # toEnum :: Int -> BranchCmp # fromEnum :: BranchCmp -> Int # enumFrom :: BranchCmp -> [BranchCmp] # enumFromThen :: BranchCmp -> BranchCmp -> [BranchCmp] # enumFromTo :: BranchCmp -> BranchCmp -> [BranchCmp] # enumFromThenTo :: BranchCmp -> BranchCmp -> BranchCmp -> [BranchCmp] #
Eq BranchCmp Source #
Instance details Defined in Data.RiscV.I Methods (==) :: BranchCmp -> BranchCmp -> Bool # (/=) :: BranchCmp -> BranchCmp -> Bool #
Show BranchCmp Source #
Instance details Defined in Data.RiscV.I Methods showsPrec :: Int -> BranchCmp -> ShowS # show :: BranchCmp -> String # showList :: [BranchCmp] -> ShowS #

newtype LogNumBytes Source #

Constructors

LogNumBytes (Fin (Succ (Succ (Succ (Succ Zero)))))

Instances

Enum LogNumBytes Source #
Instance details Defined in Data.RiscV.I Methods succ :: LogNumBytes -> LogNumBytes # pred :: LogNumBytes -> LogNumBytes # toEnum :: Int -> LogNumBytes # fromEnum :: LogNumBytes -> Int # enumFrom :: LogNumBytes -> [LogNumBytes] # enumFromThen :: LogNumBytes -> LogNumBytes -> [LogNumBytes] # enumFromTo :: LogNumBytes -> LogNumBytes -> [LogNumBytes] # enumFromThenTo :: LogNumBytes -> LogNumBytes -> LogNumBytes -> [LogNumBytes] #
Eq LogNumBytes Source #
Instance details Defined in Data.RiscV.I Methods (==) :: LogNumBytes -> LogNumBytes -> Bool # (/=) :: LogNumBytes -> LogNumBytes -> Bool #
Ord LogNumBytes Source #
Instance details Defined in Data.RiscV.I Methods compare :: LogNumBytes -> LogNumBytes -> Ordering # (<) :: LogNumBytes -> LogNumBytes -> Bool # (<=) :: LogNumBytes -> LogNumBytes -> Bool # (>) :: LogNumBytes -> LogNumBytes -> Bool # (>=) :: LogNumBytes -> LogNumBytes -> Bool # max :: LogNumBytes -> LogNumBytes -> LogNumBytes # min :: LogNumBytes -> LogNumBytes -> LogNumBytes #
Show LogNumBytes Source #
Instance details Defined in Data.RiscV.I Methods showsPrec :: Int -> LogNumBytes -> ShowS # show :: LogNumBytes -> String # showList :: [LogNumBytes] -> ShowS #

data IOp Source #

Constructors

IOp (Const (ISubminor op) op)

data IMinor Source #

Constructors

Add
Slt
Sltu
Xor
Or
And
Shl
Shr

Instances

Enum IMinor Source #
Instance details Defined in Data.RiscV.I Methods succ :: IMinor -> IMinor # pred :: IMinor -> IMinor # toEnum :: Int -> IMinor # fromEnum :: IMinor -> Int # enumFrom :: IMinor -> [IMinor] # enumFromThen :: IMinor -> IMinor -> [IMinor] # enumFromTo :: IMinor -> IMinor -> [IMinor] # enumFromThenTo :: IMinor -> IMinor -> IMinor -> [IMinor] #
Eq IMinor Source #
Instance details Defined in Data.RiscV.I Methods (==) :: IMinor -> IMinor -> Bool # (/=) :: IMinor -> IMinor -> Bool #
Show IMinor Source #
Instance details Defined in Data.RiscV.I Methods showsPrec :: Int -> IMinor -> ShowS # show :: IMinor -> String # showList :: [IMinor] -> ShowS #

type family ISubminor (op :: IMinor) where ... Source #

Equations

ISubminor Add = Signedness
ISubminor Shr = Signedness
ISubminor _ = ()

newtype Signedness Source #

Constructors

Signedness Bool

Instances

Eq Signedness Source #
Instance details Defined in Data.RiscV.I Methods (==) :: Signedness -> Signedness -> Bool # (/=) :: Signedness -> Signedness -> Bool #

data FenceSpec Source #

Constructors

FenceSpec
Fields fenceI, fenceO, fenceR, fenceW :: Bool

Instances

Eq FenceSpec Source #
Instance details Defined in Data.RiscV.I Methods (==) :: FenceSpec -> FenceSpec -> Bool # (/=) :: FenceSpec -> FenceSpec -> Bool #
Show FenceSpec Source #
Instance details Defined in Data.RiscV.I Methods showsPrec :: Int -> FenceSpec -> ShowS # show :: FenceSpec -> String # showList :: [FenceSpec] -> ShowS #

newtype Csr Source #

Constructors

Csr Word12

Instances

Eq Csr Source #
Instance details Defined in Data.RiscV.I Methods (==) :: Csr -> Csr -> Bool # (/=) :: Csr -> Csr -> Bool #
Ord Csr Source #
Instance details Defined in Data.RiscV.I Methods compare :: Csr -> Csr -> Ordering # (<) :: Csr -> Csr -> Bool # (<=) :: Csr -> Csr -> Bool # (>) :: Csr -> Csr -> Bool # (>=) :: Csr -> Csr -> Bool # max :: Csr -> Csr -> Csr # min :: Csr -> Csr -> Csr #

data CsrOp Source #

Constructors

RW
RS
RC

Instances

Enum CsrOp Source #
Instance details Defined in Data.RiscV.I Methods succ :: CsrOp -> CsrOp # pred :: CsrOp -> CsrOp # toEnum :: Int -> CsrOp # fromEnum :: CsrOp -> Int # enumFrom :: CsrOp -> [CsrOp] # enumFromThen :: CsrOp -> CsrOp -> [CsrOp] # enumFromTo :: CsrOp -> CsrOp -> [CsrOp] # enumFromThenTo :: CsrOp -> CsrOp -> CsrOp -> [CsrOp] #
Eq CsrOp Source #
Instance details Defined in Data.RiscV.I Methods (==) :: CsrOp -> CsrOp -> Bool # (/=) :: CsrOp -> CsrOp -> Bool #
Show CsrOp Source #
Instance details Defined in Data.RiscV.I Methods showsPrec :: Int -> CsrOp -> ShowS # show :: CsrOp -> String # showList :: [CsrOp] -> ShowS #

type Word5 = Word (Succ (Succ (Succ (Succ (Succ Zero))))) Source #

type Word12 = Word (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ Zero)))))))))))) Source #

type Word20 = Word (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ Zero)))))))))))))))))))) Source #