ghc-8.2.1: The GHC API

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 #

data GenStgTopBinding bndr occ Source #

A top-level binding.

Constructors

StgTopLifted (GenStgBinding bndr occ)
StgTopStringLit bndr ByteString

Instances

(OutputableBndr bndr, Outputable bdee, Ord bdee) => Outputable (GenStgTopBinding bndr bdee) #
Methods ppr :: GenStgTopBinding bndr bdee -> SDoc Source # pprPrec :: Rational -> GenStgTopBinding bndr bdee -> SDoc 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] [Type]
StgOpApp StgOp [GenStgArg occ] Type
StgLam [bndr] StgExpr
StgCase (GenStgExpr bndr occ) bndr AltType [GenStgAlt bndr occ]
StgLet (GenStgBinding bndr occ) (GenStgExpr bndr occ)
StgLetNoEscape (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 [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], GenStgExpr bndr occ) Source #

data AltType Source #

Constructors

PolyAlt
MultiValAlt Int
AlgAlt TyCon
PrimAlt PrimRep

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 StgTopBinding = GenStgTopBinding Id 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 #

type InStgArg = StgArg Source #

type InStgTopBinding = StgTopBinding Source #

type InStgBinding = StgBinding Source #

type InStgExpr = StgExpr Source #

type InStgRhs = StgRhs Source #

type InStgAlt = StgAlt Source #

type OutStgArg = StgArg Source #

type OutStgTopBinding = StgTopBinding Source #

type OutStgBinding = StgBinding Source #

type OutStgExpr = StgExpr Source #

type OutStgRhs = StgRhs Source #

type OutStgAlt = StgAlt Source #

data StgOp Source #

Constructors

StgPrimOp PrimOp
StgPrimCallOp PrimCall
StgFCallOp ForeignCall Unique

topStgBindHasCafRefs :: GenStgTopBinding 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 because 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 #

pprStgTopBindings :: [StgTopBinding] -> SDoc Source #