Moduleghc-10.0.0.20260917GHC2024

GHC.Stg.Syntax

46 types
21 values

Packageghc-10.0.0.20260917
Exports71
LanguageGHC2024
LicenceBSD-3-Clause
SourceSyntax.hs

datadata StgArg

Constructors

StgVarArg Id
StgLitArg Literal

Instances1Outputable

Outputable StgArgDefined in ghc-10.0.0.20260917 · GHC.Stg.Syntax

datadata GenStgTopBinding (pass :: StgPass)

A top-level binding.

Constructors

StgTopLifted (GenStgBinding pass)
StgTopStringLit Id ByteString

datadata GenStgBinding (pass :: StgPass)

Constructors

StgNonRec (BinderP pass) (GenStgRhs pass)
StgRec [(BinderP pass, GenStgRhs pass)]

Instances1Outputable

OutputablePass pass => Outputable (GenStgBinding pass)Defined in ghc-10.0.0.20260917 · GHC.Stg.Syntax

datadata GenStgExpr (pass :: StgPass)

Constructors

StgApp Id [StgArg]
StgLit Literal
StgConApp DataCon ConstructorNumber [StgArg] [[PrimRep]]
StgOpApp StgOp [StgArg] Type
StgCase (GenStgExpr pass) (BinderP pass) AltType [GenStgAlt pass]
StgLet (XLet pass) (GenStgBinding pass) (GenStgExpr pass)
StgLetNoEscape (XLetNoEscape pass) (GenStgBinding pass) (GenStgExpr pass)
StgTick StgTickish (GenStgExpr pass)

Instances1Outputable

OutputablePass pass => Outputable (GenStgExpr pass)Defined in ghc-10.0.0.20260917 · GHC.Stg.Syntax

datadata GenStgRhs (pass :: StgPass)

Constructors

StgRhsClosure (XRhsClosure pass) CostCentreStack !UpdateFlag [BinderP pass] (GenStgExpr pass) Type
StgRhsCon CostCentreStack DataCon ConstructorNumber [StgTickish] [StgArg] Type

Instances1Outputable

OutputablePass pass => Outputable (GenStgRhs pass)Defined in ghc-10.0.0.20260917 · GHC.Stg.Syntax

datadata GenStgAlt (pass :: StgPass)

Constructors

GenStgAlt
- alt_con :: !AltCon
- alt_bndrs :: ![BinderP pass]
- alt_rhs :: !GenStgExpr pass

datadata AltType

Constructors

PolyAlt
MultiValAlt Int
AlgAlt TyCon
PrimAlt PrimRep

Instances1Outputable

Outputable AltTypeDefined in ghc-10.0.0.20260917 · GHC.Stg.Syntax

datadata StgPass

Used as a data type index for the stgSyn AST

Constructors

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

familytype family BinderP (pass :: StgPass)

Instances5BinderP

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

familytype family XRhsClosure (pass :: StgPass)

Instances5XRhsClosure

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

familytype family XLet (pass :: StgPass)

Instances5XLet

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

familytype family XLetNoEscape (pass :: StgPass)

Instances5XLetNoEscape

type XLetNoEscape 'CodeGen = NoExtFieldSilentDefined in ghc-10.0.0.20260917 · GHC.Stg.Syntax
type XLetNoEscape 'InferTagged = NoExtFieldSilentDefined in ghc-10.0.0.20260917 · GHC.Stg.Syntax
type XLetNoEscape 'InferTaggedBinders = XLetNoEscape 'CodeGenDefined in ghc-10.0.0.20260917 · GHC.Stg.Syntax
type XLetNoEscape 'LiftLams = SkeletonDefined in ghc-10.0.0.20260917 · GHC.Stg.Syntax
type XLetNoEscape 'Vanilla = NoExtFieldSilentDefined in ghc-10.0.0.20260917 · 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-10.0.0.20260917 · GHC.Stg.Syntax
Data NoExtFieldSilentDefined in ghc-10.0.0.20260917 · GHC.Stg.Syntax
Ord NoExtFieldSilentDefined in ghc-10.0.0.20260917 · GHC.Stg.Syntax
Outputable NoExtFieldSilentDefined in ghc-10.0.0.20260917 · 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

Constructors

ReEntrant
A ReEntrant closure may be entered multiple times, but should not be updated or blackholed.
Updatable
An Updatable closure should be updated after evaluation (and may be blackholed during evaluation).
SingleEntry
A SingleEntry closure will only be entered once, and so need not be updated but may safely be blackholed.
JumpedTo
A JumpedTo (join-point) closure is entered once or multiple times but has no heap-allocated associated closure.

Instances3Eq, Show, Outputable

Eq UpdateFlagDefined in ghc-10.0.0.20260917 · GHC.Stg.Syntax
Show UpdateFlagDefined in ghc-10.0.0.20260917 · GHC.Stg.Syntax
Outputable UpdateFlagDefined in ghc-10.0.0.20260917 · 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-10.0.0.20260917 · 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-10.0.0.20260917 · GHC.Stg.Syntax

valuestgRhsArity :: StgRhs -> Int

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

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.