ghc-8.2.2: The GHC API

Safe HaskellNone
LanguageHaskell2010

StgSyn

Synopsis

Documentation

data GenStgArg occ #

Constructors

StgVarArg occ 
StgLitArg Literal 

Instances

Outputable bdee => Outputable (GenStgArg bdee) # 

Methods

ppr :: GenStgArg bdee -> SDoc #

pprPrec :: Rational -> GenStgArg bdee -> SDoc #

data GenStgTopBinding bndr occ #

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 #

pprPrec :: Rational -> GenStgTopBinding bndr bdee -> SDoc #

data GenStgBinding bndr occ #

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 #

pprPrec :: Rational -> GenStgBinding bndr bdee -> SDoc #

data GenStgExpr bndr occ #

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 #

pprPrec :: Rational -> GenStgExpr bndr bdee -> SDoc #

data GenStgRhs bndr occ #

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 #

pprPrec :: Rational -> GenStgRhs bndr bdee -> SDoc #

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

data AltType #

Constructors

PolyAlt 
MultiValAlt Int 
AlgAlt TyCon 
PrimAlt PrimRep 

Instances

data UpdateFlag #

Constructors

ReEntrant 
Updatable 
SingleEntry 

Instances

isUpdatable :: UpdateFlag -> Bool #

data StgBinderInfo #

noBinderInfo :: StgBinderInfo #

stgSatOcc :: StgBinderInfo #

stgUnsatOcc :: StgBinderInfo #

satCallsOnly :: StgBinderInfo -> Bool #

combineStgBinderInfo :: StgBinderInfo -> StgBinderInfo -> StgBinderInfo #

type StgArg = GenStgArg Id #

type StgTopBinding = GenStgTopBinding Id Id #

type StgBinding = GenStgBinding Id Id #

type StgExpr = GenStgExpr Id Id #

type StgRhs = GenStgRhs Id Id #

type StgAlt = GenStgAlt Id Id #

type InStgArg = StgArg #

type InStgTopBinding = StgTopBinding #

type InStgBinding = StgBinding #

type InStgExpr = StgExpr #

type InStgRhs = StgRhs #

type InStgAlt = StgAlt #

type OutStgArg = StgArg #

type OutStgTopBinding = StgTopBinding #

type OutStgBinding = StgBinding #

type OutStgExpr = StgExpr #

type OutStgRhs = StgRhs #

type OutStgAlt = StgAlt #

data StgOp #

Constructors

StgPrimOp PrimOp 
StgPrimCallOp PrimCall 
StgFCallOp ForeignCall Unique 

topStgBindHasCafRefs :: GenStgTopBinding bndr Id -> Bool #

stgArgHasCafRefs :: GenStgArg Id -> Bool #

stgRhsArity :: StgRhs -> Int #

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

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

stgArgType :: StgArg -> Type #

Type of an StgArg

Very half baked because we have lost the type arguments.

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

Strip ticks of a given type from an STG expression

pprStgBinding :: StgBinding -> SDoc #

pprStgTopBindings :: [StgTopBinding] -> SDoc #