Safe Haskell	None
Language	Haskell2010

StgSyn

Synopsis

Documentation

data GenStgArg occ Source

Constructors

StgVarArg occ
StgLitArg Literal

Instances

Outputable bdee => Outputable (GenStgArg bdee)

type GenStgLiveVars occ = UniqSet occ Source

data GenStgBinding bndr occ Source

Constructors

StgNonRec bndr (GenStgRhs bndr occ)
StgRec [(bndr, GenStgRhs bndr occ)]

Instances

(OutputableBndr bndr, Outputable bdee, Ord bdee) => Outputable (GenStgBinding bndr bdee)

data GenStgExpr bndr occ Source

Constructors

StgApp occ [GenStgArg occ]
StgLit Literal
StgConApp DataCon [GenStgArg occ]
StgOpApp StgOp [GenStgArg occ] Type
StgLam [bndr] StgExpr
StgCase (GenStgExpr bndr occ) (GenStgLiveVars occ) (GenStgLiveVars occ) bndr SRT AltType [GenStgAlt bndr occ]
StgLet (GenStgBinding bndr occ) (GenStgExpr bndr occ)
StgLetNoEscape (GenStgLiveVars occ) (GenStgLiveVars occ) (GenStgBinding bndr occ) (GenStgExpr bndr occ)
StgTick (Tickish bndr) (GenStgExpr bndr occ)

Instances

(OutputableBndr bndr, Outputable bdee, Ord bdee) => Outputable (GenStgExpr bndr bdee)

data GenStgRhs bndr occ Source

Constructors

StgRhsClosure CostCentreStack StgBinderInfo [occ] !UpdateFlag SRT [bndr] (GenStgExpr bndr occ)
StgRhsCon CostCentreStack DataCon [GenStgArg occ]

Instances

(OutputableBndr bndr, Outputable bdee, Ord bdee) => Outputable (GenStgRhs bndr bdee)

type GenStgAlt bndr occ = (AltCon, [bndr], [Bool], GenStgExpr bndr occ) Source

data AltType Source

Constructors

PolyAlt
UbxTupAlt Int
AlgAlt TyCon
PrimAlt TyCon

Instances

Outputable AltType

data UpdateFlag Source

Constructors

ReEntrant
Updatable
SingleEntry

Instances

Outputable UpdateFlag

isUpdatable :: UpdateFlag -> Bool Source

data StgBinderInfo Source

noBinderInfo :: StgBinderInfo Source

stgSatOcc :: StgBinderInfo Source

stgUnsatOcc :: StgBinderInfo Source

satCallsOnly :: StgBinderInfo -> Bool Source

combineStgBinderInfo :: StgBinderInfo -> StgBinderInfo -> StgBinderInfo Source

type StgArg = GenStgArg Id Source

type StgLiveVars = GenStgLiveVars Id Source

type StgBinding = GenStgBinding Id Id Source

type StgExpr = GenStgExpr Id Id Source

type StgRhs = GenStgRhs Id Id Source

type StgAlt = GenStgAlt Id Id Source

data StgOp Source

Constructors

StgPrimOp PrimOp
StgPrimCallOp PrimCall
StgFCallOp ForeignCall Unique

data SRT Source

Constructors

NoSRT
SRTEntries IdSet
SRT !Int !Int !Bitmap

stgBindHasCafRefs :: GenStgBinding bndr Id -> Bool Source

stgArgHasCafRefs :: GenStgArg Id -> Bool Source

stgRhsArity :: StgRhs -> Int Source

isDllConApp :: DynFlags -> Module -> DataCon -> [StgArg] -> Bool Source

Does this constructor application refer to anything in a different *Windows* DLL? If so, we can't allocate it statically

stgArgType :: StgArg -> Type Source

Type of an StgArg

Very half baked becase we have lost the type arguments.

stripStgTicksTop :: (Tickish Id -> Bool) -> StgExpr -> ([Tickish Id], StgExpr) Source

Strip ticks of a given type from an STG expression

pprStgBinding :: StgBinding -> SDoc Source

pprStgBindings :: [StgBinding] -> SDoc Source

pprStgLVs :: Outputable occ => GenStgLiveVars occ -> SDoc Source