Safe Haskell	Safe-Inferred
Language	Haskell2010

C

Documentation

data Temp Source #

Constructors

ITemp !Int
ATemp !Int
C0
C1
C2
C3
C4
C5
CRet

Instances

Instances details

Show Temp Source #
Instance details Defined in C Methods showsPrec :: Int -> Temp -> ShowS # show :: Temp -> String # showList :: [Temp] -> ShowS #
Eq Temp Source #
Instance details Defined in C Methods (==) :: Temp -> Temp -> Bool # (/=) :: Temp -> Temp -> Bool #
Pretty Temp Source #
Instance details Defined in C Methods pretty :: Temp -> Doc ann # prettyList :: [Temp] -> Doc ann #

data FTemp Source #

Constructors

FTemp !Int
F0
F1
F2
F3
F4
F5
FRet0
FRet1

Instances

Instances details

Show FTemp Source #
Instance details Defined in C Methods showsPrec :: Int -> FTemp -> ShowS # show :: FTemp -> String # showList :: [FTemp] -> ShowS #
Eq FTemp Source #
Instance details Defined in C Methods (==) :: FTemp -> FTemp -> Bool # (/=) :: FTemp -> FTemp -> Bool #
Pretty FTemp Source #
Instance details Defined in C Methods pretty :: FTemp -> Doc ann # prettyList :: [FTemp] -> Doc ann #

data BTemp Source #

Constructors

BTemp !Int
CBRet

Instances

Instances details

Show BTemp Source #
Instance details Defined in C Methods showsPrec :: Int -> BTemp -> ShowS # show :: BTemp -> String # showList :: [BTemp] -> ShowS #
Eq BTemp Source #
Instance details Defined in C Methods (==) :: BTemp -> BTemp -> Bool # (/=) :: BTemp -> BTemp -> Bool #
Pretty BTemp Source #
Instance details Defined in C Methods pretty :: BTemp -> Doc ann # prettyList :: [BTemp] -> Doc ann #

data ArrAcc Source #

Constructors

AElem Temp CE CE (Maybe AL) Int64
ARnk Temp (Maybe AL)
ADim Temp CE (Maybe AL)
At Temp [CE] [CE] (Maybe AL) Int64
Raw Temp CE (Maybe AL) Int64
TupM Temp (Maybe AL)

Instances

Instances details

Show ArrAcc Source #
Instance details Defined in C Methods showsPrec :: Int -> ArrAcc -> ShowS # show :: ArrAcc -> String # showList :: [ArrAcc] -> ShowS #
Pretty ArrAcc Source #
Instance details Defined in C Methods pretty :: ArrAcc -> Doc ann # prettyList :: [ArrAcc] -> Doc ann #

data CE Source #

Constructors

EAt ArrAcc
Bin IBin CE CE
Tmp Temp
ConstI !Int64
CFloor CFE
LA !Int
DP Temp CE

Instances

Instances details

PS CE Source #
Instance details Defined in C Methods ps :: Int -> CE -> Doc ann Source #
Num CE Source #
Instance details Defined in C Methods (+) :: CE -> CE -> CE # (-) :: CE -> CE -> CE # (*) :: CE -> CE -> CE # negate :: CE -> CE # abs :: CE -> CE # signum :: CE -> CE # fromInteger :: Integer -> CE #
Show CE Source #
Instance details Defined in C Methods showsPrec :: Int -> CE -> ShowS # show :: CE -> String # showList :: [CE] -> ShowS #
Pretty CE Source #
Instance details Defined in C Methods pretty :: CE -> Doc ann # prettyList :: [CE] -> Doc ann #

data CFE Source #

Constructors

FAt ArrAcc
FBin FBin CFE CFE
FUn FUn CFE
FTmp FTemp
ConstF !Double
IE CE

Instances

Instances details

PS CFE Source #
Instance details Defined in C Methods ps :: Int -> CFE -> Doc ann Source #
Num CFE Source #
Instance details Defined in C Methods (+) :: CFE -> CFE -> CFE # (-) :: CFE -> CFE -> CFE # (*) :: CFE -> CFE -> CFE # negate :: CFE -> CFE # abs :: CFE -> CFE # signum :: CFE -> CFE # fromInteger :: Integer -> CFE #
Fractional CFE Source #
Instance details Defined in C Methods (/) :: CFE -> CFE -> CFE # recip :: CFE -> CFE # fromRational :: Rational -> CFE #
Show CFE Source #
Instance details Defined in C Methods showsPrec :: Int -> CFE -> ShowS # show :: CFE -> String # showList :: [CFE] -> ShowS #
Pretty CFE Source #
Instance details Defined in C Methods pretty :: CFE -> Doc ann # prettyList :: [CFE] -> Doc ann #

data PE Source #

Constructors

IRel IRel CE CE
FRel FRel CFE CFE
Boo BBin PE PE
BConst Bool
IUn IUn CE
Is BTemp
PAt ArrAcc
BU BUn PE

Instances

Instances details

Pretty PE Source #
Instance details Defined in C Methods pretty :: PE -> Doc ann # prettyList :: [PE] -> Doc ann #

data CS a Source #

Constructors

For
Fields lann :: a ixVar :: Temp eLow :: CE loopCond :: IRel eUpper :: CE body :: [CS a]
For1
Fields lann :: a ixVar :: Temp eLow :: CE loopCond :: IRel eUpper :: CE body :: [CS a]
While
Fields lann :: a iVar :: Temp loopCond :: IRel eDone :: CE body :: [CS a]
MT
Fields lann :: a tDest :: Temp tSrc :: CE
MX
Fields lann :: a ftDest :: FTemp ftSrc :: CFE
MB
Fields lann :: a bDest :: BTemp pSrc :: PE
Wr
Fields lann :: a addr :: ArrAcc wrE :: CE
WrF
Fields lann :: a addr :: ArrAcc wrF :: CFE
WrP
Fields lann :: a addr :: ArrAcc wrB :: PE
Ma
Fields lann :: a label :: AL temp :: Temp rank :: CE nElem :: CE elemSz :: !Int64
Free Temp
MaΠ
Fields lann :: a label :: AL temp :: Temp aBytes :: CE
RA
Fields lann :: a label :: !AL
CpyE
Fields lann :: a aDest :: ArrAcc aSrc :: ArrAcc nElem :: CE elemSz :: !Int64
CpyD
Fields lann :: a aDest :: ArrAcc aSrc :: ArrAcc nDims :: CE
Ifn't
Fields lann :: a scond :: PE branch :: [CS a]
If
Fields lann :: a scond :: PE iBranch :: [CS a] eBranch :: [CS a]
Sa
Fields lann :: a temp :: Temp allocBytes :: CE
Pop
Fields lann :: a aBytes :: CE
Cmov
Fields lann :: a scond :: PE tdest :: Temp src :: CE
Fcmov
Fields lann :: a scond :: PE fdest :: FTemp fsrc :: CFE
Cset
Fields lann :: a scond :: PE bdest :: BTemp
SZ
Fields lann :: a szDest :: Temp arr :: Temp rank :: CE mLabel :: Maybe AL
PlProd
Fields lann :: a nDest :: Temp pdims :: [CE]
Rnd
Fields lann :: a rndDest :: Temp
FRnd
Fields lann :: a frndDest :: FTemp
Def
Fields lann :: a fLabel :: Label body :: [CS a]
G
Fields lann :: a gt :: Label retLabel :: Label

Instances

Instances details

Copointed CS Source #
Instance details Defined in C Methods copoint :: CS a -> a Source #
Functor CS Source #
Instance details Defined in C Methods fmap :: (a -> b) -> CS a -> CS b # (<$) :: a -> CS b -> CS a #
Show (CS a) Source #
Instance details Defined in C Methods showsPrec :: Int -> CS a -> ShowS # show :: CS a -> String # showList :: [CS a] -> ShowS #
Pretty (CS a) Source #
Instance details Defined in C Methods pretty :: CS a -> Doc ann # prettyList :: [CS a] -> Doc ann #

(=:) :: Temp -> CE -> CS () infix 9 Source #

type Label = Word Source #

type AsmData = IntMap [Word64] Source #

data LSt Source #

Constructors

LSt
Fields clabel :: !Label ctemps :: !Int

prettyCS :: (AsmData, [CS a]) -> Doc ann Source #

pL :: (a -> Doc ann) -> CS a -> Doc ann Source #