ghc-9.12.4.20260713: The GHC API
Safe HaskellNone
LanguageGHC2021

GHC.Core.Opt.Simplify.Utils

Synopsis

Documentation

rebuildLam :: SimplEnv -> [OutBndr] -> OutExpr -> SimplCont -> SimplM OutExpr Source #

mkCase :: SimplMode -> OutExpr -> OutId -> OutType -> [OutAlt] -> SimplM OutExpr Source #

prepareAlts :: OutExpr -> InId -> [InAlt] -> SimplM ([AltCon], [InAlt]) Source #

tryEtaExpandRhs :: SimplEnv -> BindContext -> OutId -> OutExpr -> SimplM (ArityType, OutExpr) Source #

wantEtaExpansion :: CoreExpr -> Bool Source #

preInlineUnconditionally :: SimplEnv -> TopLevelFlag -> InId -> InExpr -> StaticEnv -> Maybe SimplEnv Source #

postInlineUnconditionally :: SimplEnv -> BindContext -> InId -> OutId -> OutExpr -> Bool Source #

activeRule :: SimplMode -> Activation -> Bool Source #

getUnfoldingInRuleMatch :: SimplEnv -> InScopeEnv Source #

updModeForStableUnfoldings :: Activation -> SimplMode -> SimplMode Source #

updModeForRules :: SimplMode -> SimplMode Source #

data BindContext Source #

Constructors

BC_Let TopLevelFlag RecFlag 
BC_Join RecFlag SimplCont 

bindContextLevel :: BindContext -> TopLevelFlag Source #

data SimplCont Source #

Constructors

Stop

Stop[e] = e

Fields

  • OutType

    Type of the hole

  • CallCtxt

    Tells if there is something interesting about the syntactic context, and hence the inliner should be a bit keener (see interestingCallContext) Specifically: This is an argument of a function that has RULES Inlining the call might allow the rule to fire Never ValAppCxt (use ApplyToVal instead) or CaseCtxt (use Select instead)

  • SubDemand

    The evaluation context of e. Tells how e is evaluated. This fuels eta-expansion or eta-reduction without looking at lambda bodies, for example.

    See Note [Eta reduction based on evaluation context] The evaluation context for other SimplConts can be reconstructed with contEvalContext

CastIt 

Fields

ApplyToVal 

Fields

ApplyToTy 

Fields

Select 

Fields

StrictBind 

Fields

StrictArg 

Fields

TickIt CoreTickish SimplCont 

Instances

Instances details
Outputable SimplCont Source # 
Instance details

Defined in GHC.Core.Opt.Simplify.Utils

Methods

ppr :: SimplCont -> SDoc Source #

data DupFlag Source #

Constructors

NoDup 
Simplified 
OkToDup 

Instances

Instances details
Outputable DupFlag Source # 
Instance details

Defined in GHC.Core.Opt.Simplify.Utils

Methods

ppr :: DupFlag -> SDoc Source #

data FromWhat Source #

Constructors

FromLet 
FromBeta Levity 

type StaticEnv = SimplEnv Source #

isSimplified :: DupFlag -> Bool Source #

contIsStop :: SimplCont -> Bool Source #

contIsDupable :: SimplCont -> Bool Source #

contResultType :: SimplCont -> OutType Source #

contHoleType :: SimplCont -> OutType Source #

contHoleScaling :: SimplCont -> Mult Source #

contIsTrivial :: SimplCont -> Bool Source #

contArgs :: SimplCont -> (Bool, [ArgSummary], SimplCont) Source #

contIsRhs :: SimplCont -> Maybe RecFlag Source #

mkBottomCont :: StaticEnv -> SimplCont -> SimplCont Source #

Given a continuation cont, return a cont of the same type, looking like (case <hole> of {}).

This is used when we are going to fill in the hole with bottom. See (TC2,3) in Note [Trimming the continuation for bottoming functions]

Don't bother to trim, making a case hole of {}, if we have only an essentially-trivial continuation; e.g. (hole @ty |> co).

countArgs :: SimplCont -> Int Source #

mkBoringStop :: OutType -> SimplCont Source #

mkRhsStop :: OutType -> RecFlag -> Demand -> SimplCont Source #

mkLazyArgStop :: OutType -> ArgInfo -> SimplCont Source #

interestingCallContext :: SimplEnv -> SimplCont -> CallCtxt Source #

data ArgInfo Source #

Constructors

ArgInfo 

Fields

Instances

Instances details
Outputable ArgInfo Source # 
Instance details

Defined in GHC.Core.Opt.Simplify.Utils

Methods

ppr :: ArgInfo -> SDoc Source #

data ArgSpec Source #

Constructors

ValArg 

Fields

TyArg 

Fields

CastBy OutCoercion 

Instances

Instances details
Outputable ArgSpec Source # 
Instance details

Defined in GHC.Core.Opt.Simplify.Utils

Methods

ppr :: ArgSpec -> SDoc Source #

data RewriteCall Source #

Constructors

TryRules FullArgCount [CoreRule] 
TryInlining 
TryNothing 

mkArgInfo :: SimplEnv -> RuleEnv -> Id -> SimplCont -> ArgInfo Source #

addValArgTo :: ArgInfo -> OutExpr -> OutType -> ArgInfo Source #

addCastTo :: ArgInfo -> OutCoercion -> ArgInfo Source #

addTyArgTo :: ArgInfo -> OutType -> OutType -> ArgInfo Source #

argInfoExpr :: OutId -> [ArgSpec] -> OutExpr Source #

argInfoAppArgs :: [ArgSpec] -> [OutExpr] Source #

pushSimplifiedArgs :: SimplEnv -> [ArgSpec] -> SimplCont -> SimplCont Source #

pushSimplifiedRevArgs :: SimplEnv -> [ArgSpec] -> SimplCont -> SimplCont Source #

isStrictArgInfo :: ArgInfo -> Bool Source #

lazyArgContext :: ArgInfo -> CallCtxt Source #

abstractFloats :: UnfoldingOpts -> TopLevelFlag -> [OutTyVar] -> SimplFloats -> OutExpr -> SimplM ([OutBind], OutExpr) Source #

isExitJoinId :: Var -> Bool Source #