Moduleghc-10.0.0.20260917GHC2024

GHC.Stg.Syntax

Synopsis

data StgArg
data GenStgTopBinding
data GenStgBinding
data GenStgExpr
data GenStgRhs
data GenStgAlt
data AltType
data StgPass
family BinderP
family XRhsClosure
family XLet
family XLetNoEscape
data NoExtFieldSilent
value noExtFieldSilent
type OutputablePass
data UpdateFlag
value isUpdatable
data ConstructorNumber
type StgTopBinding
type StgBinding
type StgExpr
type StgRhs
type StgAlt
type CgStgTopBinding
type CgStgBinding
type CgStgExpr
type CgStgRhs
type CgStgAlt
type TgStgTopBinding
type TgStgBinding
type TgStgExpr
type TgStgRhs
type TgStgAlt
type LlStgTopBinding
type LlStgBinding
type LlStgExpr
type LlStgRhs
type LlStgAlt
type InStgArg
type InStgTopBinding
type InStgBinding
type InStgExpr
type InStgRhs
type InStgAlt
type OutStgArg
type OutStgTopBinding
type OutStgBinding
type OutStgExpr
type OutStgRhs
type OutStgAlt
data StgOp
value stgRhsArity
value freeVarsOfRhs
value stgArgType
value stgArgRep
value stgArgRep1
value stgArgRepU
value stgArgRep_maybe
value stgCaseBndrInScope
data StgPprOpts
value panicStgPprOpts
value shortStgPprOpts
value pprStgArg
value pprStgExpr
value pprStgRhs
value pprStgBinding
value pprStgAlt
value pprGenStgTopBinding
value pprStgTopBinding
value pprGenStgTopBindings
value pprStgTopBindings

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)

Source#

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

Source#

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

Source#

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

Source#

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

Source#

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

Source#

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

Source#

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

Source#

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