CoreOpt

Simple expression optimiser

simpleOptPgm :: DynFlags -> Module -> CoreProgram -> [CoreRule] -> IO (CoreProgram, [CoreRule])

simpleOptExpr :: DynFlags -> CoreExpr -> CoreExpr

simpleOptExprWith :: DynFlags -> Subst -> InExpr -> OutExpr

Join points

joinPointBinding_maybe :: InBndr -> InExpr -> Maybe (InBndr, InExpr)

Returns Just (bndr,rhs) if the binding is a join point: If it's a JoinId, just return it If it's not yet a JoinId but is always tail-called, make it into a JoinId and return it. In the latter case, eta-expand the RHS if necessary, to make the lambdas explicit, as is required for join points

Precondition: the InBndr has been occurrence-analysed, so its OccInfo is valid

joinPointBindings_maybe :: [(InBndr, InExpr)] -> Maybe [(InBndr, InExpr)]

Predicates on expressions

exprIsConApp_maybe :: InScopeEnv -> CoreExpr -> Maybe (DataCon, [Type], [CoreExpr])

Returns Just (dc, [t1..tk], [x1..xn]) if the argument expression is a *saturated* constructor application of the form dc t1..tk x1 .. xn, where t1..tk are the *universally-quantified* type args of dc

exprIsLiteral_maybe :: InScopeEnv -> CoreExpr -> Maybe Literal

exprIsLambda_maybe :: InScopeEnv -> CoreExpr -> Maybe (Var, CoreExpr, [Tickish Id])

Coercions and casts

pushCoArg :: CoercionR -> CoreArg -> Maybe (CoreArg, MCoercion)

pushCoValArg :: CoercionR -> Maybe (Coercion, MCoercion)

pushCoTyArg :: CoercionR -> Type -> Maybe (Type, MCoercionR)

collectBindersPushingCo :: CoreExpr -> ([Var], CoreExpr)