GHC.Stg.Syntax · ghc-9.10.3 · horizon-platform

Vanilla
LiftLams
Use internally by the lambda lifting pass
InferTaggedBinders
Tag inference information on binders. See Note [Tag inference passes] in GHC.Stg.InferTags
InferTagged
Tag inference information put on relevant StgApp nodes See Note [Tag inference passes] in GHC.Stg.InferTags
CodeGen

familytype family BinderP (pass :: StgPass)

#

Instances5BinderP

type BinderP 'CodeGen = IdDefined in ghc-9.10.3 · GHC.Stg.Syntax
type BinderP 'InferTagged = IdDefined in ghc-9.10.3 · GHC.Stg.Syntax
type BinderP 'InferTaggedBinders = (Id, TagSig)Defined in ghc-9.10.3 · GHC.Stg.Syntax
type BinderP 'LiftLams = BinderInfoDefined in ghc-9.10.3 · GHC.Stg.Syntax
type BinderP 'Vanilla = IdDefined in ghc-9.10.3 · GHC.Stg.Syntax

familytype family XRhsClosure (pass :: StgPass)

#

Instances5XRhsClosure

type XRhsClosure 'CodeGen = DIdSetDefined in ghc-9.10.3 · GHC.Stg.Syntax
Code gen needs to track non-global free vars
type XRhsClosure 'InferTagged = NoExtFieldSilentDefined in ghc-9.10.3 · GHC.Stg.Syntax
type XRhsClosure 'InferTaggedBinders = XRhsClosure 'CodeGenDefined in ghc-9.10.3 · GHC.Stg.Syntax
type XRhsClosure 'LiftLams = DIdSetDefined in ghc-9.10.3 · GHC.Stg.Syntax
type XRhsClosure 'Vanilla = NoExtFieldSilentDefined in ghc-9.10.3 · GHC.Stg.Syntax

familytype family XLet (pass :: StgPass)

#

Instances5XLet

type XLet 'CodeGen = NoExtFieldSilentDefined in ghc-9.10.3 · GHC.Stg.Syntax
type XLet 'InferTagged = NoExtFieldSilentDefined in ghc-9.10.3 · GHC.Stg.Syntax
type XLet 'InferTaggedBinders = XLet 'CodeGenDefined in ghc-9.10.3 · GHC.Stg.Syntax
type XLet 'LiftLams = SkeletonDefined in ghc-9.10.3 · GHC.Stg.Syntax
type XLet 'Vanilla = NoExtFieldSilentDefined in ghc-9.10.3 · GHC.Stg.Syntax

familytype family XLetNoEscape (pass :: StgPass)

#

Instances5XLetNoEscape

type XLetNoEscape 'CodeGen = NoExtFieldSilentDefined in ghc-9.10.3 · GHC.Stg.Syntax
type XLetNoEscape 'InferTagged = NoExtFieldSilentDefined in ghc-9.10.3 · GHC.Stg.Syntax
type XLetNoEscape 'InferTaggedBinders = XLetNoEscape 'CodeGenDefined in ghc-9.10.3 · GHC.Stg.Syntax
type XLetNoEscape 'LiftLams = SkeletonDefined in ghc-9.10.3 · GHC.Stg.Syntax
type XLetNoEscape 'Vanilla = NoExtFieldSilentDefined in ghc-9.10.3 · GHC.Stg.Syntax

datadata NoExtFieldSilent

#

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

Instances4Eq, Data, Ord, Outputable

Eq NoExtFieldSilentDefined in ghc-9.10.3 · GHC.Stg.Syntax
Data NoExtFieldSilentDefined in ghc-9.10.3 · GHC.Stg.Syntax
Ord NoExtFieldSilentDefined in ghc-9.10.3 · GHC.Stg.Syntax
Outputable NoExtFieldSilentDefined in ghc-9.10.3 · GHC.Stg.Syntax

valuenoExtFieldSilent :: NoExtFieldSilent

#

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

type

type OutputablePass (pass :: StgPass) = (Outputable (XLet pass), Outputable (XLetNoEscape pass), Outputable (XRhsClosure pass), OutputableBndr (BinderP pass))

#

datadata UpdateFlag

#

ReEntrant Updatable SingleEntry

Instances1Outputable

Outputable UpdateFlagDefined in ghc-9.10.3 · GHC.Stg.Syntax

valueisUpdatable :: UpdateFlag -> Bool

#

datadata ConstructorNumber

#

When `-fdistinct-constructor-tables` is turned on then each usage of a constructor is given an unique number and an info table is generated for each different constructor.

Constructors

NoNumber
Numbered Int

Instances1Outputable

Outputable ConstructorNumberDefined in ghc-9.10.3 · GHC.Stg.Syntax

typetype StgTopBinding = GenStgTopBinding 'Vanilla

#

typetype StgBinding = GenStgBinding 'Vanilla

#

typetype StgExpr = GenStgExpr 'Vanilla

#

typetype StgRhs = GenStgRhs 'Vanilla

#

typetype StgAlt = GenStgAlt 'Vanilla

#

typetype CgStgTopBinding = GenStgTopBinding 'CodeGen

#

typetype CgStgBinding = GenStgBinding 'CodeGen

#

typetype CgStgExpr = GenStgExpr 'CodeGen

#

typetype CgStgRhs = GenStgRhs 'CodeGen

#

typetype CgStgAlt = GenStgAlt 'CodeGen

#

typetype TgStgTopBinding = GenStgTopBinding 'CodeGen

#

typetype TgStgBinding = GenStgBinding 'CodeGen

#

typetype TgStgExpr = GenStgExpr 'CodeGen

#

typetype TgStgRhs = GenStgRhs 'CodeGen

#

typetype TgStgAlt = GenStgAlt 'CodeGen

#

typetype LlStgTopBinding = GenStgTopBinding 'LiftLams

#

typetype LlStgBinding = GenStgBinding 'LiftLams

#

typetype LlStgExpr = GenStgExpr 'LiftLams

#

typetype LlStgRhs = GenStgRhs 'LiftLams

#

typetype LlStgAlt = GenStgAlt 'LiftLams

#

typetype InStgArg = StgArg

#

typetype InStgTopBinding = StgTopBinding

#

typetype InStgBinding = StgBinding

#

typetype InStgExpr = StgExpr

#

typetype InStgRhs = StgRhs

#

typetype InStgAlt = StgAlt

#

typetype OutStgArg = StgArg

#

typetype OutStgTopBinding = StgTopBinding

#

typetype OutStgBinding = StgBinding

#

typetype OutStgExpr = StgExpr

#

typetype OutStgRhs = StgRhs

#

typetype OutStgAlt = StgAlt

#

datadata StgOp

#

Constructors

Instances1Outputable

Outputable StgOpDefined in ghc-9.10.3 · GHC.Stg.Syntax

valuestgRhsArity :: StgRhs -> Int

#

valuefreeVarsOfRhs :: XRhsClosure pass ~ DIdSet => GenStgRhs pass -> DIdSet

#

valueisDllConApp :: Platform -> Bool -> Module -> DataCon -> [StgArg] -> Bool

#

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

valuestgArgType :: StgArg -> Type

#

Type of an StgArg

Very half baked because we have lost the type arguments.

This function should be avoided: in STG we aren't supposed to look at types, but only PrimReps. Use stgArgRep, stgArgRep_maybe, stgArgRep1 instaed.

valuestgArgRep :: StgArg -> [PrimRep]

#

valuestgArgRep1 :: StgArg -> PrimOrVoidRep

#

Assumes that the argument has at most one PrimRep, which holds after unarisation. See Note [Post-unarisation invariants] in GHC.Stg.Unarise. See Note [VoidRep] in GHC.Types.RepType.

valuestgArgRepU :: StgArg -> PrimRep

#

Assumes that the argument has exactly one PrimRep. See Note [VoidRep] in GHC.Types.RepType.