StgSyn

Documentation

data StgArg

Constructors

StgVarArg Id

StgLitArg Literal

Instances

Outputable StgArg

Defined in StgSyn

Methods

ppr :: StgArg -> SDoc

pprPrec :: Rational -> StgArg -> SDoc

data GenStgTopBinding pass

A top-level binding.

Constructors

StgTopLifted (GenStgBinding pass)

StgTopStringLit Id ByteString

Instances

OutputablePass pass => Outputable (GenStgTopBinding pass)

Defined in StgSyn

Methods

ppr :: GenStgTopBinding pass -> SDoc

pprPrec :: Rational -> GenStgTopBinding pass -> SDoc

data GenStgBinding pass

Constructors

StgNonRec (BinderP pass) (GenStgRhs pass)

StgRec [(BinderP pass, GenStgRhs pass)]

Instances

OutputablePass pass => Outputable (GenStgBinding pass)

Defined in StgSyn

Methods

ppr :: GenStgBinding pass -> SDoc

pprPrec :: Rational -> GenStgBinding pass -> SDoc

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)

Instances

OutputablePass pass => Outputable (GenStgExpr pass)

Defined in StgSyn

Methods

ppr :: GenStgExpr pass -> SDoc

pprPrec :: Rational -> GenStgExpr pass -> SDoc

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]

Instances

OutputablePass pass => Outputable (GenStgRhs pass)

Defined in StgSyn

Methods

ppr :: GenStgRhs pass -> SDoc

pprPrec :: Rational -> GenStgRhs pass -> SDoc

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

data AltType

Constructors

PolyAlt

MultiValAlt Int

AlgAlt TyCon

PrimAlt PrimRep

Instances

Outputable AltType

Defined in StgSyn

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 'Vanilla

Defined in StgSyn

type BinderP 'Vanilla = Id

type BinderP 'LiftLams

Defined in StgLiftLams.Analysis

type BinderP 'LiftLams = BinderInfo

type BinderP 'CodeGen

Defined in StgSyn

type BinderP 'CodeGen = Id

type family XRhsClosure (pass :: StgPass)

Instances

type XRhsClosure 'Vanilla

Defined in StgSyn

type XRhsClosure 'Vanilla = NoExtFieldSilent

type XRhsClosure 'LiftLams

Defined in StgLiftLams.Analysis

type XRhsClosure 'LiftLams = DIdSet

type XRhsClosure 'CodeGen

Code gen needs to track non-global free vars

Defined in StgSyn

type XRhsClosure 'CodeGen = DIdSet

type family XLet (pass :: StgPass)

Instances

type XLet 'Vanilla

Defined in StgSyn

type XLet 'Vanilla = NoExtFieldSilent

type XLet 'LiftLams

Defined in StgLiftLams.Analysis

type XLet 'LiftLams = Skeleton

type XLet 'CodeGen

Defined in StgSyn

type XLet 'CodeGen = NoExtFieldSilent

type family XLetNoEscape (pass :: StgPass)

Instances

type XLetNoEscape 'Vanilla

Defined in StgSyn

type XLetNoEscape 'Vanilla = NoExtFieldSilent

type XLetNoEscape 'LiftLams

Defined in StgLiftLams.Analysis

type XLetNoEscape 'LiftLams = Skeleton

type XLetNoEscape 'CodeGen

Defined in StgSyn

type XLetNoEscape 'CodeGen = NoExtFieldSilent

data NoExtFieldSilent

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

Instances

Eq NoExtFieldSilent

Defined in StgSyn

Methods

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

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

Data NoExtFieldSilent

Defined in StgSyn

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

Ord NoExtFieldSilent

Defined in StgSyn

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

Outputable NoExtFieldSilent

Defined in StgSyn

Methods

ppr :: NoExtFieldSilent -> SDoc

pprPrec :: Rational -> NoExtFieldSilent -> SDoc

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 StgSyn

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

topStgBindHasCafRefs :: GenStgTopBinding pass -> Bool

stgArgHasCafRefs :: StgArg -> Bool

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

pprStgBinding :: StgBinding -> SDoc

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

pprStgTopBindings :: [StgTopBinding] -> SDoc