Safe Haskell	None
Language	GHC2021

GHC.Stg.InferTags.Types

Synopsis

argTagInfo :: Bool -> Maybe TagSig -> StgArg -> TagInfo
combineAltInfo :: TagInfo -> TagInfo -> TagInfo
extendSigEnv :: forall (p :: StgPass). TagEnv p -> [(Id, TagSig)] -> TagEnv p
getBinderId :: forall (p :: StgPass). TagEnv p -> BinderP p -> Id
initEnv :: Bool -> TagEnv 'CodeGen
isDunnoSig :: TagSig -> Bool
lookupInfo :: forall (p :: StgPass). TagEnv p -> StgArg -> TagInfo
lookupReturnInfo :: forall (p :: StgPass). TagEnv p -> Id -> Maybe TagInfo
makeTagged :: forall (p :: StgPass). TagEnv p -> TagEnv 'InferTaggedBinders
noSig :: forall (p :: StgPass). TagEnv p -> BinderP p -> (Id, TagSig)
type InferStgAlt = GenStgAlt 'InferTaggedBinders
type InferStgBinding = GenStgBinding 'InferTaggedBinders
type InferStgExpr = GenStgExpr 'InferTaggedBinders
type InferStgRhs = GenStgRhs 'InferTaggedBinders
type InferStgTopBinding = GenStgTopBinding 'InferTaggedBinders
data TagEnv (p :: StgPass) = TE {
- te_env :: TagSigEnv
- te_get :: BinderP p -> Id
- te_bytecode :: !Bool
}
type TagSigEnv = IdEnv TagSig
module GHC.Stg.InferTags.TagSig

Documentation

argTagInfo :: Bool -> Maybe TagSig -> StgArg -> TagInfo Source #

Look up a value-level tag.

If the tag info is completely determined by Id info we use that tag. If the tag info is dependent on the analysis/call site use the passed TagSig. If the passed TagSig is Nothing we fall back to safe tag info based on id properties.

combineAltInfo :: TagInfo -> TagInfo -> TagInfo Source #

Combine TagInfo from the alternatives of a case expression. Note that this operates at the value level: case alternatives return values. See Note [TagSig and TagInfo].

extendSigEnv :: forall (p :: StgPass). TagEnv p -> [(Id, TagSig)] -> TagEnv p Source #

Extend the tag environment.

getBinderId :: forall (p :: StgPass). TagEnv p -> BinderP p -> Id Source #

initEnv :: Bool -> TagEnv 'CodeGen Source #

isDunnoSig :: TagSig -> Bool Source #

lookupInfo :: forall (p :: StgPass). TagEnv p -> StgArg -> TagInfo Source #

Get tag info using the environment.

lookupReturnInfo :: forall (p :: StgPass). TagEnv p -> Id -> Maybe TagInfo Source #

Look up the return-value tag of a function for saturated call analysis. Returns 'Just retInfo' if the function binding has a TagFun signature, Nothing otherwise.

makeTagged :: forall (p :: StgPass). TagEnv p -> TagEnv 'InferTaggedBinders Source #

Simple convert env to a env of the 'InferTaggedBinders pass with no other changes.

noSig :: forall (p :: StgPass). TagEnv p -> BinderP p -> (Id, TagSig) Source #

type InferStgAlt = GenStgAlt 'InferTaggedBinders Source #

type InferStgBinding = GenStgBinding 'InferTaggedBinders Source #

type InferStgExpr = GenStgExpr 'InferTaggedBinders Source #

type InferStgRhs = GenStgRhs 'InferTaggedBinders Source #

type InferStgTopBinding = GenStgTopBinding 'InferTaggedBinders Source #

data TagEnv (p :: StgPass) Source #

Constructors

TE
Fields te_env :: TagSigEnv te_get :: BinderP p -> Id te_bytecode :: !Bool

Instances

Instances details

Outputable (TagEnv p) Source #
Instance details Defined in GHC.Stg.InferTags.Types Methods ppr :: TagEnv p -> SDoc Source #

type TagSigEnv = IdEnv TagSig Source #

module GHC.Stg.InferTags.TagSig