Safe Haskell	None
Language	Haskell2010

StgSyn

Synopsis

Documentation

data GenStgArg occ Source #

Constructors

StgVarArg occ
StgLitArg Literal

Instances

Outputable bdee => Outputable (GenStgArg bdee) #
Methods ppr :: GenStgArg bdee -> SDoc Source # pprPrec :: Rational -> GenStgArg bdee -> SDoc Source #

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) #
Methods ppr :: GenStgBinding bndr bdee -> SDoc Source # pprPrec :: Rational -> GenStgBinding bndr bdee -> SDoc Source #

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) #
Methods ppr :: GenStgExpr bndr bdee -> SDoc Source # pprPrec :: Rational -> GenStgExpr bndr bdee -> SDoc Source #

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) #
Methods ppr :: GenStgRhs bndr bdee -> SDoc Source # pprPrec :: Rational -> GenStgRhs bndr bdee -> SDoc Source #

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 #
Methods ppr :: AltType -> SDoc Source # pprPrec :: Rational -> AltType -> SDoc Source #

data UpdateFlag Source #

Constructors

ReEntrant
Updatable
SingleEntry

Instances

Outputable UpdateFlag #
Methods ppr :: UpdateFlag -> SDoc Source # pprPrec :: Rational -> UpdateFlag -> SDoc Source #

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

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 #