GHC.Stg.Syntax

Documentation

data StgArg

Constructors

StgVarArg Id

StgLitArg Literal

Instances

Outputable StgArg

Defined in GHC.Stg.Syntax

Methods

ppr :: StgArg -> SDoc

pprPrec :: Rational -> StgArg -> SDoc

data GenStgTopBinding pass

A top-level binding.

Constructors

StgTopLifted (GenStgBinding pass)

StgTopStringLit Id ByteString

data GenStgBinding pass

Constructors

StgNonRec (BinderP pass) (GenStgRhs pass)

StgRec [(BinderP pass, GenStgRhs pass)]

data GenStgExpr pass

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)

data GenStgRhs pass

Constructors

StgRhsClosure

Fields

• (XRhsClosure pass)

  Extension point for non-global free var list just before CodeGen.

• CostCentreStack

  CCS to be attached (default is CurrentCCS)

• !UpdateFlag

  ReEntrant | Updatable | SingleEntry

• [BinderP pass]

  arguments; if empty, then not a function; as above, order is important.

• (GenStgExpr pass)

  body

StgRhsCon CostCentreStack DataCon [StgArg]

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

data AltType

Constructors

PolyAlt

MultiValAlt Int

AlgAlt TyCon

PrimAlt PrimRep

Instances

Outputable AltType

Defined in GHC.Stg.Syntax

Methods

ppr :: AltType -> SDoc

pprPrec :: Rational -> AltType -> SDoc

data StgPass

Used as a data type index for the stgSyn AST

Constructors

Vanilla

LiftLams

CodeGen

type family BinderP (pass :: StgPass)

Instances

type BinderP 'CodeGen

Defined in GHC.Stg.Syntax

type BinderP 'CodeGen = Id

type BinderP 'LiftLams

Defined in GHC.Stg.Lift.Analysis

type BinderP 'LiftLams = BinderInfo

type BinderP 'Vanilla

Defined in GHC.Stg.Syntax

type BinderP 'Vanilla = Id

type family XRhsClosure (pass :: StgPass)

Instances

type XRhsClosure 'CodeGen

Code gen needs to track non-global free vars

Defined in GHC.Stg.Syntax

type XRhsClosure 'CodeGen = DIdSet

type XRhsClosure 'LiftLams

Defined in GHC.Stg.Lift.Analysis

type XRhsClosure 'LiftLams = DIdSet

type XRhsClosure 'Vanilla

Defined in GHC.Stg.Syntax

type XRhsClosure 'Vanilla = NoExtFieldSilent

type family XLet (pass :: StgPass)

Instances

type XLet 'CodeGen

Defined in GHC.Stg.Syntax

type XLet 'CodeGen = NoExtFieldSilent

type XLet 'LiftLams

Defined in GHC.Stg.Lift.Analysis

type XLet 'LiftLams = Skeleton

type XLet 'Vanilla

Defined in GHC.Stg.Syntax

type XLet 'Vanilla = NoExtFieldSilent

type family XLetNoEscape (pass :: StgPass)

Instances

type XLetNoEscape 'CodeGen

Defined in GHC.Stg.Syntax

type XLetNoEscape 'CodeGen = NoExtFieldSilent

type XLetNoEscape 'LiftLams

Defined in GHC.Stg.Lift.Analysis

type XLetNoEscape 'LiftLams = Skeleton

type XLetNoEscape 'Vanilla

Defined in GHC.Stg.Syntax

type XLetNoEscape 'Vanilla = NoExtFieldSilent

data NoExtFieldSilent

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

Instances

Data NoExtFieldSilent

Defined in GHC.Stg.Syntax

Methods

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

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

toConstr :: NoExtFieldSilent -> Constr

dataTypeOf :: NoExtFieldSilent -> DataType

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

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

gmapT :: (forall b. Data b => b -> b) -> NoExtFieldSilent -> NoExtFieldSilent

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

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

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

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

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

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

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

Outputable NoExtFieldSilent

Defined in GHC.Stg.Syntax

Methods

ppr :: NoExtFieldSilent -> SDoc

pprPrec :: Rational -> NoExtFieldSilent -> SDoc

Eq NoExtFieldSilent

Defined in GHC.Stg.Syntax

Methods

(==) :: NoExtFieldSilent -> NoExtFieldSilent -> Bool

(/=) :: NoExtFieldSilent -> NoExtFieldSilent -> Bool

Ord NoExtFieldSilent

Defined in GHC.Stg.Syntax

Methods

compare :: NoExtFieldSilent -> NoExtFieldSilent -> Ordering

(<) :: NoExtFieldSilent -> NoExtFieldSilent -> Bool

(<=) :: NoExtFieldSilent -> NoExtFieldSilent -> Bool

(>) :: NoExtFieldSilent -> NoExtFieldSilent -> Bool

(>=) :: NoExtFieldSilent -> NoExtFieldSilent -> Bool

max :: NoExtFieldSilent -> NoExtFieldSilent -> NoExtFieldSilent

min :: NoExtFieldSilent -> NoExtFieldSilent -> NoExtFieldSilent

noExtFieldSilent :: NoExtFieldSilent

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))

data UpdateFlag

Constructors

ReEntrant

Updatable

SingleEntry

Instances

Outputable UpdateFlag

Defined in GHC.Stg.Syntax

Methods

ppr :: UpdateFlag -> SDoc

pprPrec :: Rational -> UpdateFlag -> SDoc

isUpdatable :: UpdateFlag -> Bool

type StgTopBinding = GenStgTopBinding 'Vanilla

type StgBinding = GenStgBinding 'Vanilla

type StgExpr = GenStgExpr 'Vanilla

type StgRhs = GenStgRhs 'Vanilla

type StgAlt = GenStgAlt 'Vanilla

type CgStgTopBinding = GenStgTopBinding 'CodeGen

type CgStgBinding = GenStgBinding 'CodeGen

type CgStgExpr = GenStgExpr 'CodeGen

type CgStgRhs = GenStgRhs 'CodeGen

type CgStgAlt = GenStgAlt 'CodeGen

type LlStgTopBinding = GenStgTopBinding 'LiftLams

type LlStgBinding = GenStgBinding 'LiftLams

type LlStgExpr = GenStgExpr 'LiftLams

type LlStgRhs = GenStgRhs 'LiftLams

type LlStgAlt = GenStgAlt 'LiftLams

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 Type

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) -> GenStgExpr p -> ([Tickish Id], GenStgExpr p)

Strip ticks of a given type from an STG expression.

stripStgTicksTopE :: (Tickish Id -> Bool) -> GenStgExpr p -> GenStgExpr p

Strip ticks of a given type from an STG expression returning only the expression.

stgCaseBndrInScope

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].

bindersOf :: BinderP a ~ Id => GenStgBinding a -> [Id]

bindersOfTop :: BinderP a ~ Id => GenStgTopBinding a -> [Id]

bindersOfTopBinds :: BinderP a ~ Id => [GenStgTopBinding a] -> [Id]

data StgPprOpts

STG pretty-printing options

Constructors

StgPprOpts

Fields

• stgSccEnabled :: !Bool

  Enable cost-centres

initStgPprOpts :: DynFlags -> StgPprOpts

Initialize STG pretty-printing options from DynFlags

panicStgPprOpts :: StgPprOpts

STG pretty-printing options used for panic messages

pprStgArg :: StgArg -> SDoc

pprStgExpr :: OutputablePass pass => StgPprOpts -> GenStgExpr pass -> SDoc

pprStgRhs :: OutputablePass pass => StgPprOpts -> GenStgRhs pass -> SDoc

pprStgBinding :: StgPprOpts -> StgBinding -> SDoc

pprGenStgTopBinding :: OutputablePass pass => StgPprOpts -> GenStgTopBinding pass -> SDoc

pprStgTopBinding :: StgPprOpts -> StgTopBinding -> SDoc

pprGenStgTopBindings :: OutputablePass pass => StgPprOpts -> [GenStgTopBinding pass] -> SDoc

pprStgTopBindings :: StgPprOpts -> [StgTopBinding] -> SDoc