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 F2Temp Source #

Constructors

F2Temp !Int

Instances

Instances details

Pretty F2Temp Source #
Instance details Defined in C Methods pretty :: F2Temp -> Doc ann # prettyList :: [F2Temp] -> 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 FTemp Double CE)
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 t x e Source #

Constructors

FAt ArrAcc
FBin FBin (CFE t x e) (CFE t x e)
FUn FUn (CFE t x e)
FTmp t
ConstF !x
IE e

Instances

Instances details

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

type F1E = CFE FTemp Double CE Source #

type F2E = CFE F2Temp (Double, Double) Void Source #

data PE Source #

Constructors

IRel IRel CE CE
FRel FRel (CFE FTemp Double CE) (CFE FTemp Double CE)
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]
WT
Fields lann :: a bE :: PE body :: [CS a]
MT
Fields lann :: a tDest :: Temp tSrc :: CE
MX
Fields lann :: a ftDest :: FTemp ftSrc :: CFE FTemp Double CE
MX2
Fields lann :: a f2tDest :: F2Temp f2tSrc :: CFE F2Temp (Double, Double) Void
MB
Fields lann :: a bDest :: BTemp pSrc :: PE
Wr
Fields lann :: a addr :: ArrAcc wrE :: CE
WrF
Fields lann :: a addr :: ArrAcc wrF :: CFE FTemp Double CE
Wr2F
Fields lann :: a addr :: ArrAcc wrF2 :: CFE F2Temp (Double, Double) Void
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 FTemp Double CE
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 #