Moduleghc-10.0.0.20260917GHC2024

GHC.Core.Opt.Simplify.Env

Contents

The simplifier mode
Environments
Substitution results
Simplifying Id binders
Floats
LetFloats
JoinFloats

Synopsis

data SimplMode
value updMode
value smPlatform
data SimplEnv
value pprSimplEnv
data SimplPhase
value isActive
value simplStartPhase
value simplEndPhase
value seArityOpts
value seCaseCase
value seCaseFolding
value seCaseMerge
value seCastSwizzle
value seDoEtaReduction
value seEtaExpand
value seFloatEnable
value seInline
value seNames
value seOptCoercionOpts
value sePhase
value sePlatform
value sePreInline
value seRuleOpts
value seRules
value seUnfoldingOpts
value mkSimplEnv
value extendIdSubst
value extendCvIdSubst
value extendTvSubst
value extendCvSubst
value zapSubstEnv
value setSubstEnv
value bumpCaseDepth
value getInScope
value setInScopeFromE
value setInScopeFromF
value setInScopeSet
value modifyInScope
value addNewInScopeIds
value getSimplRules
value enterRecGroupRHSs
value reSimplifying
type SimplEnvIS
value checkSimplEnvIS
value pprBadSimplEnvIS
data SimplSR
value mkContEx
value substId
value lookupRecBndr
value simplNonRecBndr
value simplNonRecJoinBndr
value simplRecBndrs
value simplRecJoinBndrs
value simplBinder
value simplBinders
value substTy
value substTyVar
value getFullSubst
value getTCvSubst
value substCo
value substCoVar
data SimplFloats
value emptyFloats
value isEmptyFloats
value mkRecFloats
value mkFloatBind
value addLetFloats
value addJoinFloats
value addFloats
value extendFloats
value wrapFloats
value isEmptyJoinFloats
value isEmptyLetFloats
value doFloatFromRhs
value getTopFloatBinds
data LetFloats
data FloatEnable
value letFloatBinds
value emptyLetFloats
value unitLetFloat
value addLetFlts
value mapLetFloats
type JoinFloat
type JoinFloats
value emptyJoinFloats
value wrapJoinFloats
value wrapJoinFloatsX
value unitJoinFloat
value addJoinFlts

Packageghc-10.0.0.20260917
Exports90
LanguageGHC2024
LicenceBSD-3-Clause
SourceEnv.hs

The simplifier mode

datadata SimplMode

Constructors

SimplMode
- sm_phase :: !SimplPhase
  The phase of the simplifier
- sm_names :: ![String]
  Name(s) of the phase
- sm_rules :: !Bool
  Whether RULES are enabled
- sm_inline :: !Bool
  Whether inlining is enabled
- sm_eta_expand :: !Bool
  Whether eta-expansion is enabled
- sm_cast_swizzle :: !Bool
  Do we swizzle casts past lambdas?
- sm_uf_opts :: !UnfoldingOpts
  Unfolding options
- sm_case_case :: !Bool
  Whether case-of-case is enabled
- sm_pre_inline :: !Bool
  Whether pre-inlining is enabled
- sm_float_enable :: !FloatEnable
  Whether to enable floating out
- sm_do_eta_reduction :: !Bool
- sm_arity_opts :: !ArityOpts
- sm_rule_opts :: !RuleOpts
- sm_case_folding :: !Bool
- sm_case_merge :: !Bool
- sm_co_opt_opts :: !OptCoercionOpts
  Coercion optimiser options

Instances1Outputable

Outputable SimplModeDefined in ghc-10.0.0.20260917 · GHC.Core.Opt.Simplify.Env

valueupdMode :: (SimplMode -> SimplMode) -> SimplEnv -> SimplEnv

valuesmPlatform :: SimplMode -> Platform

Environments

datadata SimplEnv

Constructors

SimplEnv
- seMode :: !SimplMode
- seFamEnvs :: !(FamInstEnv, FamInstEnv)
- seTvSubst :: TvSubstEnv
- seCvSubst :: CvSubstEnv
- seIdSubst :: SimplIdSubst
- seRecIds :: !UnVarSet
  Fast OutVarSet tracking which recursive RHSs we are analysing. See Note [Eta reduction in recursive RHSs] in GHC.Core.Opt.Arity.
- seInScope :: !InScopeSet
- seCaseDepth :: !Int
- seInlineDepth :: !Int

valuepprSimplEnv :: SimplEnv -> SDoc

datadata SimplPhase

Source#

See Note [SimplPhase]

Constructors

SimplPhase CompilerPhase
A simplifier phase: InitialPhase, Phase 2, Phase 1, Phase 0, FinalPhase NB: (SimplPhase p) is equivalent to (SimplPhaseRange p p)
SimplPhaseRange CompilerPhase CompilerPhase
Simplifying the RHS of a rule or of a stable unfolding: the range of phases of the activation of the rule/stable unfolding.
_Invariant:_ simplStartPhase is not a later phase than simplEndPhase. Equivalently, SimplPhaseRange is always a non-empty interval of phases.
See Note [What is active in the RHS of a RULE or unfolding?] in GHC.Core.Opt.Simplify.Utils.

Instances2Eq, Outputable

Eq SimplPhaseDefined in ghc-10.0.0.20260917 · GHC.Core.Opt.Simplify.Env
Outputable SimplPhaseDefined in ghc-10.0.0.20260917 · GHC.Core.Opt.Simplify.Env

valueisActive :: SimplPhase -> ActivationGhc -> Bool

Source#

Is this activation active in this simplifier phase?

For a phase range, isActive simpl_phase_range act is true if and only if act is active throughout the entire range, as per Note [What is active in the RHS of a RULE or unfolding?] in GHC.Core.Opt.Simplify.Utils.

See Note [SimplPhase].

valuesimplStartPhase :: SimplPhase -> CompilerPhase

valuesimplEndPhase :: SimplPhase -> CompilerPhase

valueseArityOpts :: SimplEnv -> ArityOpts

valueseCaseCase :: SimplEnv -> Bool

valueseCaseFolding :: SimplEnv -> Bool

valueseCaseMerge :: SimplEnv -> Bool

valueseCastSwizzle :: SimplEnv -> Bool

valueseDoEtaReduction :: SimplEnv -> Bool

valueseEtaExpand :: SimplEnv -> Bool

valueseFloatEnable :: SimplEnv -> FloatEnable

valueseInline :: SimplEnv -> Bool

valueseNames :: SimplEnv -> [String]

valueseOptCoercionOpts :: SimplEnv -> OptCoercionOpts

valuesePhase :: SimplEnv -> SimplPhase

valuesePlatform :: SimplEnv -> Platform

valuesePreInline :: SimplEnv -> Bool

valueseRuleOpts :: SimplEnv -> RuleOpts

valueseRules :: SimplEnv -> Bool

valueseUnfoldingOpts :: SimplEnv -> UnfoldingOpts

valuemkSimplEnv :: SimplMode -> (FamInstEnv, FamInstEnv) -> SimplEnv

valueextendIdSubst :: SimplEnv -> Id -> SimplSR -> SimplEnv

valueextendCvIdSubst :: SimplEnv -> Id -> OutExpr -> SimplEnv

valueextendTvSubst :: SimplEnv -> TyVar -> Type -> SimplEnv

valueextendCvSubst :: SimplEnv -> CoVar -> Coercion -> SimplEnv

valuezapSubstEnv :: SimplEnv -> SimplEnv

valuesetSubstEnv

:: SimplEnv
-> TvSubstEnv
-> CvSubstEnv
-> SimplIdSubst
-> SimplEnv

valuebumpCaseDepth :: SimplEnv -> SimplEnv

valuegetInScope :: SimplEnv -> InScopeSet

valuesetInScopeFromE :: SimplEnv -> SimplEnv -> SimplEnv

valuesetInScopeFromF :: SimplEnv -> SimplFloats -> SimplEnv

valuesetInScopeSet :: SimplEnv -> InScopeSet -> SimplEnv

valuemodifyInScope :: SimplEnv -> CoreBndr -> SimplEnv

valueaddNewInScopeIds :: SimplEnv -> [CoreBndr] -> SimplEnv

valuegetSimplRules :: SimplM RuleEnv

valueenterRecGroupRHSs

:: SimplEnv
-> [OutBndr]
-> SimplEnv -> SimplM (r, SimplEnv)
-> SimplM (r, SimplEnv)

valuereSimplifying :: SimplEnv -> Bool

typetype SimplEnvIS = SimplEnv

valuecheckSimplEnvIS :: SimplEnvIS -> Bool

valuepprBadSimplEnvIS :: SimplEnvIS -> SDoc

Substitution results

datadata SimplSR

Source#

A substitution result.

Constructors

DoneEx OutExpr JoinPointHood
DoneId OutId
ContEx TvSubstEnv CvSubstEnv SimplIdSubst InExpr

Instances1Outputable

Outputable SimplSRDefined in ghc-10.0.0.20260917 · GHC.Core.Opt.Simplify.Env

valuemkContEx :: SimplEnv -> InExpr -> SimplSR

valuesubstId :: SimplEnv -> InId -> SimplSR

valuelookupRecBndr :: SimplEnv -> InId -> OutId

Simplifying Id binders

valuesimplNonRecBndr :: SimplEnv -> InBndr -> SimplM (SimplEnv, OutBndr)

valuesimplNonRecJoinBndr

:: SimplEnv
-> InBndr
-> Mult
-> OutType
-> SimplM (SimplEnv, OutBndr)

valuesimplRecBndrs :: SimplEnv -> [InBndr] -> SimplM SimplEnv

valuesimplRecJoinBndrs

:: SimplEnv
-> [InBndr]
-> Mult
-> OutType
-> SimplM SimplEnv

valuesimplBinder :: SimplEnv -> InBndr -> SimplM (SimplEnv, OutBndr)

valuesimplBinders :: SimplEnv -> [InBndr] -> SimplM (SimplEnv, [OutBndr])

valuesubstTy :: HasDebugCallStack => SimplEnv -> Type -> Type

valuesubstTyVar :: SimplEnv -> TyVar -> Type

valuegetFullSubst :: InScopeSet -> SimplEnv -> Subst

valuegetTCvSubst :: SimplEnv -> Subst

valuesubstCo :: SimplEnv -> Coercion -> Coercion

valuesubstCoVar :: SimplEnv -> CoVar -> Coercion

Floats

datadata SimplFloats

Constructors

SimplFloats
- sfLetFloats :: LetFloats
- sfJoinFloats :: JoinFloats
- sfInScope :: InScopeSet

Instances1Outputable

Outputable SimplFloatsDefined in ghc-10.0.0.20260917 · GHC.Core.Opt.Simplify.Env

valueemptyFloats :: SimplEnv -> SimplFloats

valueisEmptyFloats :: SimplFloats -> Bool

valuemkRecFloats :: SimplFloats -> SimplFloats

valuemkFloatBind :: SimplEnv -> OutBind -> (SimplFloats, SimplEnv)

valueaddLetFloats :: SimplFloats -> LetFloats -> SimplFloats

valueaddJoinFloats :: SimplFloats -> JoinFloats -> SimplFloats

valueaddFloats :: SimplFloats -> SimplFloats -> SimplFloats

valueextendFloats :: SimplFloats -> OutBind -> SimplFloats

valuewrapFloats :: SimplFloats -> OutExpr -> OutExpr

valueisEmptyJoinFloats :: JoinFloats -> Bool

valueisEmptyLetFloats :: LetFloats -> Bool

valuedoFloatFromRhs

:: FloatEnable
-> TopLevelFlag
-> RecFlag
-> Bool
-> SimplFloats
-> OutExpr
-> Bool

valuegetTopFloatBinds :: SimplFloats -> [CoreBind]

LetFloats

datadata LetFloats

Instances1Outputable

Outputable LetFloatsDefined in ghc-10.0.0.20260917 · GHC.Core.Opt.Simplify.Env

datadata FloatEnable

FloatDisabled FloatNestedOnly FloatEnabled

valueletFloatBinds :: LetFloats -> [CoreBind]

valueemptyLetFloats :: LetFloats

valueunitLetFloat :: OutBind -> LetFloats

valueaddLetFlts :: LetFloats -> LetFloats -> LetFloats

valuemapLetFloats :: LetFloats -> ((Id, CoreExpr) -> (Id, CoreExpr)) -> LetFloats

JoinFloats

typetype JoinFloat = OutBind

typetype JoinFloats = OrdList JoinFloat

valueemptyJoinFloats :: JoinFloats

valuewrapJoinFloats :: JoinFloats -> OutExpr -> OutExpr

valuewrapJoinFloatsX :: SimplFloats -> OutExpr -> (SimplFloats, OutExpr)

valueunitJoinFloat :: OutBind -> JoinFloats

valueaddJoinFlts :: JoinFloats -> JoinFloats -> JoinFloats