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

The simplifier mode

4 declarations

datadata SimplMode

#

Constructors

SimplMode
- sm_phase :: !CompilerPhase
- 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-9.10.3 · GHC.Core.Opt.Simplify.Env

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

#

valuesmPedanticBottoms :: SimplMode -> Bool

#

valuesmPlatform :: SimplMode -> Platform

#

Environments

35 declarations

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

valuepprSimplEnv :: SimplEnv -> SDoc

#

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

#

valuesePedanticBottoms :: SimplEnv -> Bool

#

valuesePhase :: SimplEnv -> CompilerPhase

#

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

#

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)

#

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-9.10.3 · GHC.Core.Opt.Simplify.Env

valuemkContEx :: SimplEnv -> InExpr -> SimplSR

#

valuesubstId :: SimplEnv -> InId -> SimplSR

#

valuelookupRecBndr :: SimplEnv -> InId -> OutId

#

Simplifying Id binders

11 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

#

valuegetSubst :: 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-9.10.3 · 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-9.10.3 · 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

#