ghc-lib-8.8.1.20191204: The GHC API, decoupled from GHC versions

Safe HaskellNone
LanguageHaskell2010

StgSyn

Synopsis

Documentation

data StgArg Source #

Constructors

StgVarArg Id 
StgLitArg Literal 
Instances
Outputable StgArg Source # 
Instance details

Defined in StgSyn

Methods

ppr :: StgArg -> SDoc #

pprPrec :: Rational -> StgArg -> SDoc #

data GenStgTopBinding pass Source #

A top-level binding.

Constructors

StgTopLifted (GenStgBinding pass) 
StgTopStringLit Id ByteString 
Instances
OutputablePass pass => Outputable (GenStgTopBinding pass) Source # 
Instance details

Defined in StgSyn

Methods

ppr :: GenStgTopBinding pass -> SDoc #

pprPrec :: Rational -> GenStgTopBinding pass -> SDoc #

data GenStgBinding pass Source #

Constructors

StgNonRec (BinderP pass) (GenStgRhs pass) 
StgRec [(BinderP pass, GenStgRhs pass)] 
Instances
OutputablePass pass => Outputable (GenStgBinding pass) Source # 
Instance details

Defined in StgSyn

Methods

ppr :: GenStgBinding pass -> SDoc #

pprPrec :: Rational -> GenStgBinding pass -> SDoc #

data GenStgExpr pass Source #

Constructors

StgApp Id [StgArg] 
StgLit Literal 
StgConApp DataCon [StgArg] [Type] 
StgOpApp StgOp [StgArg] Type 
StgLam (NonEmpty (BinderP pass)) StgExpr 
StgCase (GenStgExpr pass) (BinderP pass) AltType [GenStgAlt pass] 
StgLet (XLet pass) (GenStgBinding pass) (GenStgExpr pass) 
StgLetNoEscape (XLetNoEscape pass) (GenStgBinding pass) (GenStgExpr pass) 
StgTick (Tickish Id) (GenStgExpr pass) 
Instances
OutputablePass pass => Outputable (GenStgExpr pass) Source # 
Instance details

Defined in StgSyn

Methods

ppr :: GenStgExpr pass -> SDoc #

pprPrec :: Rational -> GenStgExpr pass -> SDoc #

data GenStgRhs pass Source #

Constructors

StgRhsClosure 

Fields

StgRhsCon CostCentreStack DataCon [StgArg] 
Instances
OutputablePass pass => Outputable (GenStgRhs pass) Source # 
Instance details

Defined in StgSyn

Methods

ppr :: GenStgRhs pass -> SDoc #

pprPrec :: Rational -> GenStgRhs pass -> SDoc #

type GenStgAlt pass = (AltCon, [BinderP pass], GenStgExpr pass) Source #

data AltType Source #

Constructors

PolyAlt 
MultiValAlt Int 
AlgAlt TyCon 
PrimAlt PrimRep 
Instances
Outputable AltType Source # 
Instance details

Defined in StgSyn

Methods

ppr :: AltType -> SDoc #

pprPrec :: Rational -> AltType -> SDoc #

data StgPass Source #

Used as a data type index for the stgSyn AST

Constructors

Vanilla 
LiftLams 
CodeGen 

type family BinderP (pass :: StgPass) Source #

Instances
type BinderP Vanilla Source # 
Instance details

Defined in StgSyn

type BinderP Vanilla = Id
type BinderP LiftLams Source # 
Instance details

Defined in StgLiftLams.Analysis

type BinderP LiftLams = BinderInfo
type BinderP CodeGen Source # 
Instance details

Defined in StgSyn

type BinderP CodeGen = Id

type family XRhsClosure (pass :: StgPass) Source #

Instances
type XRhsClosure Vanilla Source # 
Instance details

Defined in StgSyn

type XRhsClosure Vanilla = NoExtSilent
type XRhsClosure LiftLams Source # 
Instance details

Defined in StgLiftLams.Analysis

type XRhsClosure LiftLams = DIdSet
type XRhsClosure CodeGen Source #

Code gen needs to track non-global free vars

Instance details

Defined in StgSyn

type XRhsClosure CodeGen = DIdSet

type family XLet (pass :: StgPass) Source #

Instances
type XLet Vanilla Source # 
Instance details

Defined in StgSyn

type XLet Vanilla = NoExtSilent
type XLet LiftLams Source # 
Instance details

Defined in StgLiftLams.Analysis

type XLet LiftLams = Skeleton
type XLet CodeGen Source # 
Instance details

Defined in StgSyn

type XLet CodeGen = NoExtSilent

type family XLetNoEscape (pass :: StgPass) Source #

Instances
type XLetNoEscape Vanilla Source # 
Instance details

Defined in StgSyn

type XLetNoEscape Vanilla = NoExtSilent
type XLetNoEscape LiftLams Source # 
Instance details

Defined in StgLiftLams.Analysis

type XLetNoEscape LiftLams = Skeleton
type XLetNoEscape CodeGen Source # 
Instance details

Defined in StgSyn

type XLetNoEscape CodeGen = NoExtSilent

data NoExtSilent Source #

Like NoExt, but with an Outputable instance that returns empty.

Instances
Eq NoExtSilent Source # 
Instance details

Defined in StgSyn

Methods

(==) :: NoExtSilent -> NoExtSilent -> Bool #

(/=) :: NoExtSilent -> NoExtSilent -> Bool #

Data NoExtSilent Source # 
Instance details

Defined in StgSyn

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> NoExtSilent -> c NoExtSilent #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c NoExtSilent #

toConstr :: NoExtSilent -> Constr #

dataTypeOf :: NoExtSilent -> DataType #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c NoExtSilent) #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c NoExtSilent) #

gmapT :: (forall b. Data b => b -> b) -> NoExtSilent -> NoExtSilent #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> NoExtSilent -> r #

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> NoExtSilent -> r #

gmapQ :: (forall d. Data d => d -> u) -> NoExtSilent -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> NoExtSilent -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> NoExtSilent -> m NoExtSilent #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> NoExtSilent -> m NoExtSilent #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> NoExtSilent -> m NoExtSilent #

Ord NoExtSilent Source # 
Instance details

Defined in StgSyn

Methods

compare :: NoExtSilent -> NoExtSilent -> Ordering #

(<) :: NoExtSilent -> NoExtSilent -> Bool #

(<=) :: NoExtSilent -> NoExtSilent -> Bool #

(>) :: NoExtSilent -> NoExtSilent -> Bool #

(>=) :: NoExtSilent -> NoExtSilent -> Bool #

max :: NoExtSilent -> NoExtSilent -> NoExtSilent #

min :: NoExtSilent -> NoExtSilent -> NoExtSilent #

Outputable NoExtSilent Source # 
Instance details

Defined in StgSyn

Methods

ppr :: NoExtSilent -> SDoc #

pprPrec :: Rational -> NoExtSilent -> SDoc #

noExtSilent :: NoExtSilent Source #

Used when constructing a term with an unused extension point that should not appear in pretty-printed output at all.

type OutputablePass pass = (Outputable (XLet pass), Outputable (XLetNoEscape pass), Outputable (XRhsClosure pass), OutputableBndr (BinderP pass)) Source #

data UpdateFlag Source #

Constructors

ReEntrant 
Updatable 
SingleEntry 
Instances
Outputable UpdateFlag Source # 
Instance details

Defined in StgSyn

Methods

ppr :: UpdateFlag -> SDoc #

pprPrec :: Rational -> UpdateFlag -> SDoc #

isUpdatable :: UpdateFlag -> Bool Source #

type StgTopBinding = GenStgTopBinding Vanilla Source #

type StgBinding = GenStgBinding Vanilla Source #

type StgExpr = GenStgExpr Vanilla Source #

type StgRhs = GenStgRhs Vanilla Source #

type StgAlt = GenStgAlt Vanilla Source #

type CgStgTopBinding = GenStgTopBinding CodeGen Source #

type CgStgBinding = GenStgBinding CodeGen Source #

type CgStgExpr = GenStgExpr CodeGen Source #

type CgStgRhs = GenStgRhs CodeGen Source #

type CgStgAlt = GenStgAlt CodeGen Source #

type LlStgTopBinding = GenStgTopBinding LiftLams Source #

type LlStgBinding = GenStgBinding LiftLams Source #

type LlStgExpr = GenStgExpr LiftLams Source #

type LlStgRhs = GenStgRhs LiftLams Source #

type LlStgAlt = GenStgAlt LiftLams 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 pass -> Bool Source #

stgArgHasCafRefs :: StgArg -> 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) -> GenStgExpr p -> ([Tickish Id], GenStgExpr p) Source #

Strip ticks of a given type from an STG expression

stgCaseBndrInScope Source #

Arguments

:: AltType 
-> Bool

unarised?

-> Bool 

Given an alt type and whether the program is unarised, return whether the case binder is in scope.

Case binders of unboxed tuple or unboxed sum type always dead after the unariser has run. See Note [Post-unarisation invariants].

pprStgBinding :: StgBinding -> SDoc Source #

pprGenStgTopBindings :: OutputablePass pass => [GenStgTopBinding pass] -> SDoc Source #

pprStgTopBindings :: [StgTopBinding] -> SDoc Source #