Safe Haskell | None |
---|---|
Language | Haskell2010 |
Synopsis
- data StgArg
- data GenStgTopBinding pass
- = StgTopLifted (GenStgBinding pass)
- | StgTopStringLit Id ByteString
- data GenStgBinding pass
- data GenStgExpr pass
- = 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
- = StgRhsClosure (XRhsClosure pass) CostCentreStack !UpdateFlag [BinderP pass] (GenStgExpr pass)
- | StgRhsCon CostCentreStack DataCon [StgArg]
- type GenStgAlt pass = (AltCon, [BinderP pass], GenStgExpr pass)
- data AltType
- data StgPass
- type family BinderP (pass :: StgPass)
- type family XRhsClosure (pass :: StgPass)
- type family XLet (pass :: StgPass)
- type family XLetNoEscape (pass :: StgPass)
- data NoExtSilent
- noExtSilent :: NoExtSilent
- type OutputablePass pass = (Outputable (XLet pass), Outputable (XLetNoEscape pass), Outputable (XRhsClosure pass), OutputableBndr (BinderP pass))
- data UpdateFlag
- 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
- topStgBindHasCafRefs :: GenStgTopBinding pass -> Bool
- stgArgHasCafRefs :: StgArg -> Bool
- stgRhsArity :: StgRhs -> Int
- isDllConApp :: DynFlags -> Module -> DataCon -> [StgArg] -> Bool
- stgArgType :: StgArg -> Type
- stripStgTicksTop :: (Tickish Id -> Bool) -> GenStgExpr p -> ([Tickish Id], GenStgExpr p)
- stgCaseBndrInScope :: AltType -> Bool -> Bool
- pprStgBinding :: StgBinding -> SDoc
- pprGenStgTopBindings :: OutputablePass pass => [GenStgTopBinding pass] -> SDoc
- pprStgTopBindings :: [StgTopBinding] -> SDoc
Documentation
data GenStgTopBinding pass Source #
A top-level binding.
Instances
OutputablePass pass => Outputable (GenStgTopBinding pass) # | |
data GenStgBinding pass Source #
Instances
OutputablePass pass => Outputable (GenStgBinding pass) # | |
data GenStgExpr pass Source #
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) # | |
StgRhsClosure | |
| |
StgRhsCon CostCentreStack DataCon [StgArg] |
type family XRhsClosure (pass :: StgPass) Source #
Instances
type XRhsClosure 'Vanilla # | |
Defined in StgSyn | |
type XRhsClosure 'LiftLams # | |
Defined in StgLiftLams.Analysis | |
type XRhsClosure 'CodeGen # | Code gen needs to track non-global free vars |
Defined in StgSyn |
type family XLetNoEscape (pass :: StgPass) Source #
Instances
type XLetNoEscape 'Vanilla # | |
Defined in StgSyn | |
type XLetNoEscape 'LiftLams # | |
Defined in StgLiftLams.Analysis | |
type XLetNoEscape 'CodeGen # | |
Defined in StgSyn |
data NoExtSilent Source #
Like NoExt
, but with an Outputable
instance that returns
empty
.
Instances
noExtSilent :: NoExtSilent Source #
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)) Source #
data UpdateFlag Source #
Instances
isUpdatable :: UpdateFlag -> Bool Source #
type StgTopBinding = GenStgTopBinding 'Vanilla Source #
type StgBinding = GenStgBinding 'Vanilla Source #
type StgExpr = GenStgExpr 'Vanilla Source #
type CgStgTopBinding = GenStgTopBinding 'CodeGen Source #
type CgStgBinding = GenStgBinding 'CodeGen Source #
type CgStgExpr = GenStgExpr 'CodeGen Source #
type LlStgTopBinding = GenStgTopBinding 'LiftLams Source #
type LlStgBinding = GenStgBinding 'LiftLams Source #
type LlStgExpr = GenStgExpr 'LiftLams Source #
type InStgTopBinding = StgTopBinding Source #
type InStgBinding = StgBinding Source #
type OutStgTopBinding = StgTopBinding Source #
type OutStgBinding = StgBinding Source #
type OutStgExpr = StgExpr Source #
topStgBindHasCafRefs :: GenStgTopBinding pass -> Bool Source #
stgArgHasCafRefs :: StgArg -> Bool Source #
stgRhsArity :: StgRhs -> Int Source #
isDllConApp :: DynFlags -> Module -> DataCon -> [StgArg] -> Bool Source #
Does this constructor application refer to anything in a different *Windows* DLL? If so, we can't allocate it statically
stgArgType :: StgArg -> Type Source #
Type of an StgArg
Very half baked because we have lost the type arguments.
stripStgTicksTop :: (Tickish Id -> Bool) -> GenStgExpr p -> ([Tickish Id], GenStgExpr p) Source #
Strip ticks of a given type from an STG expression
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 Source #
pprGenStgTopBindings :: OutputablePass pass => [GenStgTopBinding pass] -> SDoc Source #
pprStgTopBindings :: [StgTopBinding] -> SDoc Source #