GHC.Core.Opt.Simplify.Env · ghc-10.0.0.20260917

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

#

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

4 declarations

datadata SimplSR

#

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

12 declarations

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

14 declarations

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

7 declarations

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

7 declarations

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

#