{-# LANGUAGE TypeFamilies #-}
{-# OPTIONS_GHC -Wno-incomplete-record-updates -Wno-incomplete-uni-patterns #-}
module GHC.Core.Opt.Simplify ( simplTopBinds, simplExpr, simplImpRules ) where
import GHC.Prelude
import GHC.Platform
import GHC.Driver.Session
import GHC.Core
import GHC.Core.Opt.Simplify.Monad
import GHC.Core.Type hiding ( substTy, substTyVar, extendTvSubst, extendCvSubst )
import GHC.Core.Opt.Simplify.Env
import GHC.Core.Opt.Simplify.Utils
import GHC.Core.Opt.OccurAnal ( occurAnalyseExpr, zapLambdaBndrs )
import GHC.Core.Make ( FloatBind, mkImpossibleExpr, castBottomExpr )
import qualified GHC.Core.Make
import GHC.Core.Coercion hiding ( substCo, substCoVar )
import GHC.Core.Reduction
import GHC.Core.Coercion.Opt ( optCoercion )
import GHC.Core.FamInstEnv ( FamInstEnv, topNormaliseType_maybe )
import GHC.Core.DataCon
( DataCon, dataConWorkId, dataConRepStrictness
, dataConRepArgTys, isUnboxedTupleDataCon
, StrictnessMark (..) )
import GHC.Core.Opt.Monad ( Tick(..), SimplMode(..) )
import GHC.Core.Ppr ( pprCoreExpr )
import GHC.Core.Unfold
import GHC.Core.Unfold.Make
import GHC.Core.Utils
import GHC.Core.Opt.Arity ( ArityType(..)
, pushCoTyArg, pushCoValArg
, etaExpandAT )
import GHC.Core.SimpleOpt ( exprIsConApp_maybe, joinPointBinding_maybe, joinPointBindings_maybe )
import GHC.Core.FVs ( mkRuleInfo )
import GHC.Core.Rules ( lookupRule, getRules, initRuleOpts )
import GHC.Core.Multiplicity
import GHC.Types.Literal ( litIsLifted )
import GHC.Types.SourceText
import GHC.Types.Id
import GHC.Types.Id.Make ( seqId )
import GHC.Types.Id.Info
import GHC.Types.Name ( mkSystemVarName, isExternalName, getOccFS )
import GHC.Types.Demand
import GHC.Types.Cpr ( mkCprSig, botCpr )
import GHC.Types.Unique ( hasKey )
import GHC.Types.Basic
import GHC.Types.Tickish
import GHC.Types.Var ( isTyCoVar )
import GHC.Builtin.PrimOps ( PrimOp (SeqOp) )
import GHC.Builtin.Types.Prim( realWorldStatePrimTy )
import GHC.Builtin.Names( runRWKey )
import GHC.Data.Maybe ( isNothing, orElse )
import GHC.Data.FastString
import GHC.Unit.Module ( moduleName, pprModuleName )
import GHC.Utils.Outputable
import GHC.Utils.Panic
import GHC.Utils.Panic.Plain
import GHC.Utils.Constants (debugIsOn)
import GHC.Utils.Trace
import GHC.Utils.Monad ( mapAccumLM, liftIO )
import GHC.Utils.Logger
import Control.Monad
simplTopBinds :: SimplEnv -> [InBind] -> SimplM (SimplFloats, SimplEnv)
simplTopBinds :: SimplEnv -> [InBind] -> SimplM (SimplFloats, SimplEnv)
simplTopBinds SimplEnv
env0 [InBind]
binds0
= do {
; !SimplEnv
env1 <- {-#SCC "simplTopBinds-simplRecBndrs" #-} SimplEnv -> [Id] -> SimplM SimplEnv
simplRecBndrs SimplEnv
env0 ([InBind] -> [Id]
forall b. [Bind b] -> [b]
bindersOfBinds [InBind]
binds0)
; (SimplFloats
floats, SimplEnv
env2) <- {-#SCC "simplTopBinds-simpl_binds" #-} SimplEnv -> [InBind] -> SimplM (SimplFloats, SimplEnv)
simpl_binds SimplEnv
env1 [InBind]
binds0
; Tick -> SimplM ()
freeTick Tick
SimplifierDone
; (SimplFloats, SimplEnv) -> SimplM (SimplFloats, SimplEnv)
forall a. a -> SimplM a
forall (m :: * -> *) a. Monad m => a -> m a
return (SimplFloats
floats, SimplEnv
env2) }
where
simpl_binds :: SimplEnv -> [InBind] -> SimplM (SimplFloats, SimplEnv)
simpl_binds :: SimplEnv -> [InBind] -> SimplM (SimplFloats, SimplEnv)
simpl_binds SimplEnv
env [] = (SimplFloats, SimplEnv) -> SimplM (SimplFloats, SimplEnv)
forall a. a -> SimplM a
forall (m :: * -> *) a. Monad m => a -> m a
return (SimplEnv -> SimplFloats
emptyFloats SimplEnv
env, SimplEnv
env)
simpl_binds SimplEnv
env (InBind
bind:[InBind]
binds) = do { (SimplFloats
float, SimplEnv
env1) <- SimplEnv -> InBind -> SimplM (SimplFloats, SimplEnv)
simpl_bind SimplEnv
env InBind
bind
; (SimplFloats
floats, SimplEnv
env2) <- SimplEnv -> [InBind] -> SimplM (SimplFloats, SimplEnv)
simpl_binds SimplEnv
env1 [InBind]
binds
; let !floats1 :: SimplFloats
floats1 = SimplFloats
float SimplFloats -> SimplFloats -> SimplFloats
`addFloats` SimplFloats
floats
; (SimplFloats, SimplEnv) -> SimplM (SimplFloats, SimplEnv)
forall a. a -> SimplM a
forall (m :: * -> *) a. Monad m => a -> m a
return (SimplFloats
floats1, SimplEnv
env2) }
simpl_bind :: SimplEnv -> InBind -> SimplM (SimplFloats, SimplEnv)
simpl_bind SimplEnv
env (Rec [(Id, CoreExpr)]
pairs)
= SimplEnv
-> BindContext
-> [(Id, CoreExpr)]
-> SimplM (SimplFloats, SimplEnv)
simplRecBind SimplEnv
env (TopLevelFlag -> RecFlag -> BindContext
BC_Let TopLevelFlag
TopLevel RecFlag
Recursive) [(Id, CoreExpr)]
pairs
simpl_bind SimplEnv
env (NonRec Id
b CoreExpr
r)
= do { let bind_cxt :: BindContext
bind_cxt = TopLevelFlag -> RecFlag -> BindContext
BC_Let TopLevelFlag
TopLevel RecFlag
NonRecursive
; (SimplEnv
env', Id
b') <- SimplEnv -> Id -> Id -> BindContext -> SimplM (SimplEnv, Id)
addBndrRules SimplEnv
env Id
b (SimplEnv -> Id -> Id
lookupRecBndr SimplEnv
env Id
b) BindContext
bind_cxt
; SimplEnv
-> BindContext
-> Id
-> Id
-> CoreExpr
-> SimplM (SimplFloats, SimplEnv)
simplRecOrTopPair SimplEnv
env' BindContext
bind_cxt Id
b Id
b' CoreExpr
r }
simplRecBind :: SimplEnv -> BindContext
-> [(InId, InExpr)]
-> SimplM (SimplFloats, SimplEnv)
simplRecBind :: SimplEnv
-> BindContext
-> [(Id, CoreExpr)]
-> SimplM (SimplFloats, SimplEnv)
simplRecBind SimplEnv
env0 BindContext
bind_cxt [(Id, CoreExpr)]
pairs0
= do { (SimplEnv
env_with_info, [(Id, Id, CoreExpr)]
triples) <- (SimplEnv
-> (Id, CoreExpr) -> SimplM (SimplEnv, (Id, Id, CoreExpr)))
-> SimplEnv
-> [(Id, CoreExpr)]
-> SimplM (SimplEnv, [(Id, Id, CoreExpr)])
forall (m :: * -> *) acc x y.
Monad m =>
(acc -> x -> m (acc, y)) -> acc -> [x] -> m (acc, [y])
mapAccumLM SimplEnv -> (Id, CoreExpr) -> SimplM (SimplEnv, (Id, Id, CoreExpr))
add_rules SimplEnv
env0 [(Id, CoreExpr)]
pairs0
; (SimplFloats
rec_floats, SimplEnv
env1) <- SimplEnv -> [(Id, Id, CoreExpr)] -> SimplM (SimplFloats, SimplEnv)
go SimplEnv
env_with_info [(Id, Id, CoreExpr)]
triples
; (SimplFloats, SimplEnv) -> SimplM (SimplFloats, SimplEnv)
forall a. a -> SimplM a
forall (m :: * -> *) a. Monad m => a -> m a
return (SimplFloats -> SimplFloats
mkRecFloats SimplFloats
rec_floats, SimplEnv
env1) }
where
add_rules :: SimplEnv -> (InBndr,InExpr) -> SimplM (SimplEnv, (InBndr, OutBndr, InExpr))
add_rules :: SimplEnv -> (Id, CoreExpr) -> SimplM (SimplEnv, (Id, Id, CoreExpr))
add_rules SimplEnv
env (Id
bndr, CoreExpr
rhs)
= do { (SimplEnv
env', Id
bndr') <- SimplEnv -> Id -> Id -> BindContext -> SimplM (SimplEnv, Id)
addBndrRules SimplEnv
env Id
bndr (SimplEnv -> Id -> Id
lookupRecBndr SimplEnv
env Id
bndr) BindContext
bind_cxt
; (SimplEnv, (Id, Id, CoreExpr))
-> SimplM (SimplEnv, (Id, Id, CoreExpr))
forall a. a -> SimplM a
forall (m :: * -> *) a. Monad m => a -> m a
return (SimplEnv
env', (Id
bndr, Id
bndr', CoreExpr
rhs)) }
go :: SimplEnv -> [(Id, Id, CoreExpr)] -> SimplM (SimplFloats, SimplEnv)
go SimplEnv
env [] = (SimplFloats, SimplEnv) -> SimplM (SimplFloats, SimplEnv)
forall a. a -> SimplM a
forall (m :: * -> *) a. Monad m => a -> m a
return (SimplEnv -> SimplFloats
emptyFloats SimplEnv
env, SimplEnv
env)
go SimplEnv
env ((Id
old_bndr, Id
new_bndr, CoreExpr
rhs) : [(Id, Id, CoreExpr)]
pairs)
= do { (SimplFloats
float, SimplEnv
env1) <- SimplEnv
-> BindContext
-> Id
-> Id
-> CoreExpr
-> SimplM (SimplFloats, SimplEnv)
simplRecOrTopPair SimplEnv
env BindContext
bind_cxt
Id
old_bndr Id
new_bndr CoreExpr
rhs
; (SimplFloats
floats, SimplEnv
env2) <- SimplEnv -> [(Id, Id, CoreExpr)] -> SimplM (SimplFloats, SimplEnv)
go SimplEnv
env1 [(Id, Id, CoreExpr)]
pairs
; (SimplFloats, SimplEnv) -> SimplM (SimplFloats, SimplEnv)
forall a. a -> SimplM a
forall (m :: * -> *) a. Monad m => a -> m a
return (SimplFloats
float SimplFloats -> SimplFloats -> SimplFloats
`addFloats` SimplFloats
floats, SimplEnv
env2) }
simplRecOrTopPair :: SimplEnv
-> BindContext
-> InId -> OutBndr -> InExpr
-> SimplM (SimplFloats, SimplEnv)
simplRecOrTopPair :: SimplEnv
-> BindContext
-> Id
-> Id
-> CoreExpr
-> SimplM (SimplFloats, SimplEnv)
simplRecOrTopPair SimplEnv
env BindContext
bind_cxt Id
old_bndr Id
new_bndr CoreExpr
rhs
| Just SimplEnv
env' <- SimplEnv
-> TopLevelFlag -> Id -> CoreExpr -> SimplEnv -> Maybe SimplEnv
preInlineUnconditionally SimplEnv
env (BindContext -> TopLevelFlag
bindContextLevel BindContext
bind_cxt)
Id
old_bndr CoreExpr
rhs SimplEnv
env
= {-#SCC "simplRecOrTopPair-pre-inline-uncond" #-}
SimplEnv
-> String
-> SDoc
-> SimplM (SimplFloats, SimplEnv)
-> SimplM (SimplFloats, SimplEnv)
forall a. SimplEnv -> String -> SDoc -> a -> a
simplTrace SimplEnv
env String
"SimplBindr:inline-uncond" (Id -> SDoc
forall a. Outputable a => a -> SDoc
ppr Id
old_bndr) (SimplM (SimplFloats, SimplEnv) -> SimplM (SimplFloats, SimplEnv))
-> SimplM (SimplFloats, SimplEnv) -> SimplM (SimplFloats, SimplEnv)
forall a b. (a -> b) -> a -> b
$
do { Tick -> SimplM ()
tick (Id -> Tick
PreInlineUnconditionally Id
old_bndr)
; (SimplFloats, SimplEnv) -> SimplM (SimplFloats, SimplEnv)
forall a. a -> SimplM a
forall (m :: * -> *) a. Monad m => a -> m a
return ( SimplEnv -> SimplFloats
emptyFloats SimplEnv
env, SimplEnv
env' ) }
| Bool
otherwise
= case BindContext
bind_cxt of
BC_Join SimplCont
cont -> SimplEnv
-> String
-> SDoc
-> SimplM (SimplFloats, SimplEnv)
-> SimplM (SimplFloats, SimplEnv)
forall a. SimplEnv -> String -> SDoc -> a -> a
simplTrace SimplEnv
env String
"SimplBind:join" (Id -> SDoc
forall a. Outputable a => a -> SDoc
ppr Id
old_bndr) (SimplM (SimplFloats, SimplEnv) -> SimplM (SimplFloats, SimplEnv))
-> SimplM (SimplFloats, SimplEnv) -> SimplM (SimplFloats, SimplEnv)
forall a b. (a -> b) -> a -> b
$
SimplEnv
-> SimplCont
-> Id
-> Id
-> CoreExpr
-> SimplEnv
-> SimplM (SimplFloats, SimplEnv)
simplJoinBind SimplEnv
env SimplCont
cont Id
old_bndr Id
new_bndr CoreExpr
rhs SimplEnv
env
BC_Let TopLevelFlag
top_lvl RecFlag
is_rec -> SimplEnv
-> String
-> SDoc
-> SimplM (SimplFloats, SimplEnv)
-> SimplM (SimplFloats, SimplEnv)
forall a. SimplEnv -> String -> SDoc -> a -> a
simplTrace SimplEnv
env String
"SimplBind:normal" (Id -> SDoc
forall a. Outputable a => a -> SDoc
ppr Id
old_bndr) (SimplM (SimplFloats, SimplEnv) -> SimplM (SimplFloats, SimplEnv))
-> SimplM (SimplFloats, SimplEnv) -> SimplM (SimplFloats, SimplEnv)
forall a b. (a -> b) -> a -> b
$
SimplEnv
-> TopLevelFlag
-> RecFlag
-> Id
-> Id
-> CoreExpr
-> SimplEnv
-> SimplM (SimplFloats, SimplEnv)
simplLazyBind SimplEnv
env TopLevelFlag
top_lvl RecFlag
is_rec Id
old_bndr Id
new_bndr CoreExpr
rhs SimplEnv
env
simplTrace :: SimplEnv -> String -> SDoc -> a -> a
simplTrace :: forall a. SimplEnv -> String -> SDoc -> a -> a
simplTrace SimplEnv
env String
herald SDoc
doc a
thing_inside
| Bool -> Bool
not (Logger -> DumpFlag -> Bool
logHasDumpFlag Logger
logger DumpFlag
Opt_D_verbose_core2core)
= a
thing_inside
| Bool
otherwise
= Logger -> String -> SDoc -> a -> a
forall a. Logger -> String -> SDoc -> a -> a
logTraceMsg Logger
logger String
herald SDoc
doc a
thing_inside
where
logger :: Logger
logger = SimplEnv -> Logger
seLogger SimplEnv
env
simplLazyBind :: SimplEnv
-> TopLevelFlag -> RecFlag
-> InId -> OutId
-> InExpr -> SimplEnv
-> SimplM (SimplFloats, SimplEnv)
simplLazyBind :: SimplEnv
-> TopLevelFlag
-> RecFlag
-> Id
-> Id
-> CoreExpr
-> SimplEnv
-> SimplM (SimplFloats, SimplEnv)
simplLazyBind SimplEnv
env TopLevelFlag
top_lvl RecFlag
is_rec Id
bndr Id
bndr1 CoreExpr
rhs SimplEnv
rhs_se
= Bool
-> (Bool
-> SDoc
-> SimplM (SimplFloats, SimplEnv)
-> SimplM (SimplFloats, SimplEnv))
-> Bool
-> SDoc
-> SimplM (SimplFloats, SimplEnv)
-> SimplM (SimplFloats, SimplEnv)
forall a. HasCallStack => Bool -> a -> a
assert (Id -> Bool
isId Id
bndr )
Bool
-> SDoc
-> SimplM (SimplFloats, SimplEnv)
-> SimplM (SimplFloats, SimplEnv)
forall a. HasCallStack => Bool -> SDoc -> a -> a
assertPpr (Bool -> Bool
not (Id -> Bool
isJoinId Id
bndr)) (Id -> SDoc
forall a. Outputable a => a -> SDoc
ppr Id
bndr) (SimplM (SimplFloats, SimplEnv) -> SimplM (SimplFloats, SimplEnv))
-> SimplM (SimplFloats, SimplEnv) -> SimplM (SimplFloats, SimplEnv)
forall a b. (a -> b) -> a -> b
$
do { let !rhs_env :: SimplEnv
rhs_env = SimplEnv
rhs_se SimplEnv -> SimplEnv -> SimplEnv
`setInScopeFromE` SimplEnv
env
([Id]
tvs, CoreExpr
body) = case CoreExpr -> ([Id], [Id], CoreExpr)
collectTyAndValBinders CoreExpr
rhs of
([Id]
tvs, [], CoreExpr
body)
| CoreExpr -> Bool
forall {b}. Expr b -> Bool
surely_not_lam CoreExpr
body -> ([Id]
tvs, CoreExpr
body)
([Id], [Id], CoreExpr)
_ -> ([], CoreExpr
rhs)
surely_not_lam :: Expr b -> Bool
surely_not_lam (Lam {}) = Bool
False
surely_not_lam (Tick CoreTickish
t Expr b
e)
| Bool -> Bool
not (CoreTickish -> Bool
forall (pass :: TickishPass). GenTickish pass -> Bool
tickishFloatable CoreTickish
t) = Expr b -> Bool
surely_not_lam Expr b
e
surely_not_lam Expr b
_ = Bool
True
; (SimplEnv
body_env, [Id]
tvs') <- {-#SCC "simplBinders" #-} SimplEnv -> [Id] -> SimplM (SimplEnv, [Id])
simplBinders SimplEnv
rhs_env [Id]
tvs
; let rhs_cont :: SimplCont
rhs_cont = Kind -> SimplCont
mkRhsStop (SimplEnv -> Kind -> Kind
substTy SimplEnv
body_env ((() :: Constraint) => CoreExpr -> Kind
CoreExpr -> Kind
exprType CoreExpr
body))
; (SimplFloats
body_floats0, CoreExpr
body0) <- {-#SCC "simplExprF" #-} SimplEnv -> CoreExpr -> SimplCont -> SimplM (SimplFloats, CoreExpr)
simplExprF SimplEnv
body_env CoreExpr
body SimplCont
rhs_cont
; (SimplFloats
body_floats2, CoreExpr
body2) <- {-#SCC "prepareBinding" #-}
SimplEnv
-> TopLevelFlag
-> RecFlag
-> Bool
-> Id
-> SimplFloats
-> CoreExpr
-> SimplM (SimplFloats, CoreExpr)
prepareBinding SimplEnv
env TopLevelFlag
top_lvl RecFlag
is_rec
Bool
False
Id
bndr1 SimplFloats
body_floats0 CoreExpr
body0
; (SimplFloats
rhs_floats, CoreExpr
body3)
<- if SimplFloats -> Bool
isEmptyFloats SimplFloats
body_floats2 Bool -> Bool -> Bool
|| [Id] -> Bool
forall a. [a] -> Bool
forall (t :: * -> *) a. Foldable t => t a -> Bool
null [Id]
tvs then
{-#SCC "simplLazyBind-simple-floating" #-}
(SimplFloats, CoreExpr) -> SimplM (SimplFloats, CoreExpr)
forall a. a -> SimplM a
forall (m :: * -> *) a. Monad m => a -> m a
return (SimplFloats
body_floats2, CoreExpr
body2)
else
{-#SCC "simplLazyBind-type-abstraction-first" #-}
do { ([InBind]
poly_binds, CoreExpr
body3) <- UnfoldingOpts
-> TopLevelFlag
-> [Id]
-> SimplFloats
-> CoreExpr
-> SimplM ([InBind], CoreExpr)
abstractFloats (SimplEnv -> UnfoldingOpts
seUnfoldingOpts SimplEnv
env) TopLevelFlag
top_lvl
[Id]
tvs' SimplFloats
body_floats2 CoreExpr
body2
; let floats :: SimplFloats
floats = (SimplFloats -> InBind -> SimplFloats)
-> SimplFloats -> [InBind] -> SimplFloats
forall b a. (b -> a -> b) -> b -> [a] -> b
forall (t :: * -> *) b a.
Foldable t =>
(b -> a -> b) -> b -> t a -> b
foldl' SimplFloats -> InBind -> SimplFloats
extendFloats (SimplEnv -> SimplFloats
emptyFloats SimplEnv
env) [InBind]
poly_binds
; (SimplFloats, CoreExpr) -> SimplM (SimplFloats, CoreExpr)
forall a. a -> SimplM a
forall (m :: * -> *) a. Monad m => a -> m a
return (SimplFloats
floats, CoreExpr
body3) }
; let env' :: SimplEnv
env' = SimplEnv
env SimplEnv -> SimplFloats -> SimplEnv
`setInScopeFromF` SimplFloats
rhs_floats
; CoreExpr
rhs' <- SimplEnv -> [Id] -> CoreExpr -> SimplCont -> SimplM CoreExpr
mkLam SimplEnv
env' [Id]
tvs' CoreExpr
body3 SimplCont
rhs_cont
; (SimplFloats
bind_float, SimplEnv
env2) <- SimplEnv
-> BindContext
-> Id
-> Id
-> CoreExpr
-> SimplM (SimplFloats, SimplEnv)
completeBind SimplEnv
env' (TopLevelFlag -> RecFlag -> BindContext
BC_Let TopLevelFlag
top_lvl RecFlag
is_rec) Id
bndr Id
bndr1 CoreExpr
rhs'
; (SimplFloats, SimplEnv) -> SimplM (SimplFloats, SimplEnv)
forall a. a -> SimplM a
forall (m :: * -> *) a. Monad m => a -> m a
return (SimplFloats
rhs_floats SimplFloats -> SimplFloats -> SimplFloats
`addFloats` SimplFloats
bind_float, SimplEnv
env2) }
simplJoinBind :: SimplEnv
-> SimplCont
-> InId -> OutId
-> InExpr -> SimplEnv
-> SimplM (SimplFloats, SimplEnv)
simplJoinBind :: SimplEnv
-> SimplCont
-> Id
-> Id
-> CoreExpr
-> SimplEnv
-> SimplM (SimplFloats, SimplEnv)
simplJoinBind SimplEnv
env SimplCont
cont Id
old_bndr Id
new_bndr CoreExpr
rhs SimplEnv
rhs_se
= do { let rhs_env :: SimplEnv
rhs_env = SimplEnv
rhs_se SimplEnv -> SimplEnv -> SimplEnv
`setInScopeFromE` SimplEnv
env
; CoreExpr
rhs' <- SimplEnv -> Id -> CoreExpr -> SimplCont -> SimplM CoreExpr
simplJoinRhs SimplEnv
rhs_env Id
old_bndr CoreExpr
rhs SimplCont
cont
; SimplEnv
-> BindContext
-> Id
-> Id
-> CoreExpr
-> SimplM (SimplFloats, SimplEnv)
completeBind SimplEnv
env (SimplCont -> BindContext
BC_Join SimplCont
cont) Id
old_bndr Id
new_bndr CoreExpr
rhs' }
simplNonRecX :: SimplEnv
-> InId
-> OutExpr
-> SimplM (SimplFloats, SimplEnv)
simplNonRecX :: SimplEnv -> Id -> CoreExpr -> SimplM (SimplFloats, SimplEnv)
simplNonRecX SimplEnv
env Id
bndr CoreExpr
new_rhs
| Bool -> SDoc -> Bool -> Bool
forall a. HasCallStack => Bool -> SDoc -> a -> a
assertPpr (Bool -> Bool
not (Id -> Bool
isJoinId Id
bndr)) (Id -> SDoc
forall a. Outputable a => a -> SDoc
ppr Id
bndr) (Bool -> Bool) -> Bool -> Bool
forall a b. (a -> b) -> a -> b
$
Id -> Bool
isDeadBinder Id
bndr
= (SimplFloats, SimplEnv) -> SimplM (SimplFloats, SimplEnv)
forall a. a -> SimplM a
forall (m :: * -> *) a. Monad m => a -> m a
return (SimplEnv -> SimplFloats
emptyFloats SimplEnv
env, SimplEnv
env)
| Coercion Coercion
co <- CoreExpr
new_rhs
= (SimplFloats, SimplEnv) -> SimplM (SimplFloats, SimplEnv)
forall a. a -> SimplM a
forall (m :: * -> *) a. Monad m => a -> m a
return (SimplEnv -> SimplFloats
emptyFloats SimplEnv
env, SimplEnv -> Id -> Coercion -> SimplEnv
extendCvSubst SimplEnv
env Id
bndr Coercion
co)
| CoreExpr -> Bool
exprIsTrivial CoreExpr
new_rhs
= (SimplFloats, SimplEnv) -> SimplM (SimplFloats, SimplEnv)
forall a. a -> SimplM a
forall (m :: * -> *) a. Monad m => a -> m a
return (SimplEnv -> SimplFloats
emptyFloats SimplEnv
env
, SimplEnv -> Id -> SimplSR -> SimplEnv
extendIdSubst SimplEnv
env Id
bndr (CoreExpr -> Maybe Int -> SimplSR
DoneEx CoreExpr
new_rhs Maybe Int
forall a. Maybe a
Nothing))
| Bool
otherwise
= do { (SimplEnv
env1, Id
new_bndr) <- SimplEnv -> Id -> SimplM (SimplEnv, Id)
simplBinder SimplEnv
env Id
bndr
; let is_strict :: Bool
is_strict = Id -> Bool
isStrictId Id
new_bndr
; (SimplFloats
rhs_floats, CoreExpr
rhs1) <- SimplEnv
-> TopLevelFlag
-> RecFlag
-> Bool
-> Id
-> SimplFloats
-> CoreExpr
-> SimplM (SimplFloats, CoreExpr)
prepareBinding SimplEnv
env TopLevelFlag
NotTopLevel RecFlag
NonRecursive Bool
is_strict
Id
new_bndr (SimplEnv -> SimplFloats
emptyFloats SimplEnv
env) CoreExpr
new_rhs
; (SimplFloats
bind_float, SimplEnv
env2) <- SimplEnv
-> BindContext
-> Id
-> Id
-> CoreExpr
-> SimplM (SimplFloats, SimplEnv)
completeBind (SimplEnv
env1 SimplEnv -> SimplFloats -> SimplEnv
`setInScopeFromF` SimplFloats
rhs_floats)
(TopLevelFlag -> RecFlag -> BindContext
BC_Let TopLevelFlag
NotTopLevel RecFlag
NonRecursive)
Id
bndr Id
new_bndr CoreExpr
rhs1
; (SimplFloats, SimplEnv) -> SimplM (SimplFloats, SimplEnv)
forall a. a -> SimplM a
forall (m :: * -> *) a. Monad m => a -> m a
return (SimplFloats
rhs_floats SimplFloats -> SimplFloats -> SimplFloats
`addFloats` SimplFloats
bind_float, SimplEnv
env2) }
tryCastWorkerWrapper :: SimplEnv -> BindContext
-> InId -> OccInfo
-> OutId -> OutExpr
-> SimplM (SimplFloats, SimplEnv)
tryCastWorkerWrapper :: SimplEnv
-> BindContext
-> Id
-> OccInfo
-> Id
-> CoreExpr
-> SimplM (SimplFloats, SimplEnv)
tryCastWorkerWrapper SimplEnv
env BindContext
bind_cxt Id
old_bndr OccInfo
occ_info Id
bndr (Cast CoreExpr
rhs Coercion
co)
| BC_Let TopLevelFlag
top_lvl RecFlag
is_rec <- BindContext
bind_cxt
, Bool -> Bool
not (Id -> Bool
isDFunId Id
bndr)
, Bool -> Bool
not (CoreExpr -> Bool
exprIsTrivial CoreExpr
rhs)
, Bool -> Bool
not (IdInfo -> Bool
hasInlineUnfolding IdInfo
info)
, Kind -> Bool
isConcrete ((() :: Constraint) => Kind -> Kind
Kind -> Kind
typeKind Kind
rhs_ty)
, Bool -> Bool
not (InlinePragma -> Bool
isOpaquePragma (Id -> InlinePragma
idInlinePragma Id
old_bndr))
= do { Unique
uniq <- SimplM Unique
forall (m :: * -> *). MonadUnique m => m Unique
getUniqueM
; let work_name :: Name
work_name = Unique -> FastString -> Name
mkSystemVarName Unique
uniq FastString
occ_fs
work_id :: Id
work_id = (() :: Constraint) => Name -> Kind -> Kind -> IdInfo -> Id
Name -> Kind -> Kind -> IdInfo -> Id
mkLocalIdWithInfo Name
work_name Kind
Many Kind
rhs_ty IdInfo
worker_info
is_strict :: Bool
is_strict = Id -> Bool
isStrictId Id
bndr
; (SimplFloats
rhs_floats, CoreExpr
work_rhs) <- SimplEnv
-> TopLevelFlag
-> RecFlag
-> Bool
-> Id
-> SimplFloats
-> CoreExpr
-> SimplM (SimplFloats, CoreExpr)
prepareBinding SimplEnv
env TopLevelFlag
top_lvl RecFlag
is_rec Bool
is_strict
Id
work_id (SimplEnv -> SimplFloats
emptyFloats SimplEnv
env) CoreExpr
rhs
; Unfolding
work_unf <- TopLevelFlag -> Id -> CoreExpr -> SimplM Unfolding
mk_worker_unfolding TopLevelFlag
top_lvl Id
work_id CoreExpr
work_rhs
; let work_id_w_unf :: Id
work_id_w_unf = Id
work_id Id -> Unfolding -> Id
`setIdUnfolding` Unfolding
work_unf
floats :: SimplFloats
floats = SimplFloats
rhs_floats SimplFloats -> LetFloats -> SimplFloats
`addLetFloats`
InBind -> LetFloats
unitLetFloat (Id -> CoreExpr -> InBind
forall b. b -> Expr b -> Bind b
NonRec Id
work_id_w_unf CoreExpr
work_rhs)
triv_rhs :: CoreExpr
triv_rhs = CoreExpr -> Coercion -> CoreExpr
forall b. Expr b -> Coercion -> Expr b
Cast (Id -> CoreExpr
forall b. Id -> Expr b
Var Id
work_id_w_unf) Coercion
co
; if SimplEnv -> BindContext -> Id -> OccInfo -> CoreExpr -> Bool
postInlineUnconditionally SimplEnv
env BindContext
bind_cxt Id
bndr OccInfo
occ_info CoreExpr
triv_rhs
then do { Tick -> SimplM ()
tick (Id -> Tick
PostInlineUnconditionally Id
bndr)
; (SimplFloats, SimplEnv) -> SimplM (SimplFloats, SimplEnv)
forall a. a -> SimplM a
forall (m :: * -> *) a. Monad m => a -> m a
return ( SimplFloats
floats
, SimplEnv -> Id -> SimplSR -> SimplEnv
extendIdSubst (SimplEnv -> SimplFloats -> SimplEnv
setInScopeFromF SimplEnv
env SimplFloats
floats) Id
old_bndr (SimplSR -> SimplEnv) -> SimplSR -> SimplEnv
forall a b. (a -> b) -> a -> b
$
CoreExpr -> Maybe Int -> SimplSR
DoneEx CoreExpr
triv_rhs Maybe Int
forall a. Maybe a
Nothing ) }
else do { Unfolding
wrap_unf <- UnfoldingOpts
-> TopLevelFlag
-> UnfoldingSource
-> Id
-> CoreExpr
-> SimplM Unfolding
mkLetUnfolding (SimplMode -> UnfoldingOpts
sm_uf_opts SimplMode
mode) TopLevelFlag
top_lvl UnfoldingSource
InlineRhs Id
bndr CoreExpr
triv_rhs
; let bndr' :: Id
bndr' = Id
bndr Id -> InlinePragma -> Id
`setInlinePragma` InlinePragma -> InlinePragma
mkCastWrapperInlinePrag (Id -> InlinePragma
idInlinePragma Id
bndr)
Id -> Unfolding -> Id
`setIdUnfolding` Unfolding
wrap_unf
floats' :: SimplFloats
floats' = SimplFloats
floats SimplFloats -> InBind -> SimplFloats
`extendFloats` Id -> CoreExpr -> InBind
forall b. b -> Expr b -> Bind b
NonRec Id
bndr' CoreExpr
triv_rhs
; (SimplFloats, SimplEnv) -> SimplM (SimplFloats, SimplEnv)
forall a. a -> SimplM a
forall (m :: * -> *) a. Monad m => a -> m a
return ( SimplFloats
floats', SimplEnv -> SimplFloats -> SimplEnv
setInScopeFromF SimplEnv
env SimplFloats
floats' ) } }
where
mode :: SimplMode
mode = SimplEnv -> SimplMode
getMode SimplEnv
env
occ_fs :: FastString
occ_fs = Id -> FastString
forall a. NamedThing a => a -> FastString
getOccFS Id
bndr
rhs_ty :: Kind
rhs_ty = Coercion -> Kind
coercionLKind Coercion
co
info :: IdInfo
info = (() :: Constraint) => Id -> IdInfo
Id -> IdInfo
idInfo Id
bndr
worker_info :: IdInfo
worker_info = IdInfo
vanillaIdInfo IdInfo -> DmdSig -> IdInfo
`setDmdSigInfo` IdInfo -> DmdSig
dmdSigInfo IdInfo
info
IdInfo -> CprSig -> IdInfo
`setCprSigInfo` IdInfo -> CprSig
cprSigInfo IdInfo
info
IdInfo -> Demand -> IdInfo
`setDemandInfo` IdInfo -> Demand
demandInfo IdInfo
info
IdInfo -> InlinePragma -> IdInfo
`setInlinePragInfo` IdInfo -> InlinePragma
inlinePragInfo IdInfo
info
IdInfo -> Int -> IdInfo
`setArityInfo` IdInfo -> Int
arityInfo IdInfo
info
mk_worker_unfolding :: TopLevelFlag -> Id -> CoreExpr -> SimplM Unfolding
mk_worker_unfolding TopLevelFlag
top_lvl Id
work_id CoreExpr
work_rhs
= case IdInfo -> Unfolding
realUnfoldingInfo IdInfo
info of
unf :: Unfolding
unf@(CoreUnfolding { uf_tmpl :: Unfolding -> CoreExpr
uf_tmpl = CoreExpr
unf_rhs, uf_src :: Unfolding -> UnfoldingSource
uf_src = UnfoldingSource
src })
| UnfoldingSource -> Bool
isStableSource UnfoldingSource
src -> Unfolding -> SimplM Unfolding
forall a. a -> SimplM a
forall (m :: * -> *) a. Monad m => a -> m a
return (Unfolding
unf { uf_tmpl :: CoreExpr
uf_tmpl = CoreExpr -> Coercion -> CoreExpr
mkCast CoreExpr
unf_rhs (Coercion -> Coercion
mkSymCo Coercion
co) })
Unfolding
_ -> UnfoldingOpts
-> TopLevelFlag
-> UnfoldingSource
-> Id
-> CoreExpr
-> SimplM Unfolding
mkLetUnfolding (SimplMode -> UnfoldingOpts
sm_uf_opts SimplMode
mode) TopLevelFlag
top_lvl UnfoldingSource
InlineRhs Id
work_id CoreExpr
work_rhs
tryCastWorkerWrapper SimplEnv
env BindContext
_ Id
_ OccInfo
_ Id
bndr CoreExpr
rhs
= (SimplFloats, SimplEnv) -> SimplM (SimplFloats, SimplEnv)
forall a. a -> SimplM a
forall (m :: * -> *) a. Monad m => a -> m a
return (SimplEnv -> InBind -> (SimplFloats, SimplEnv)
mkFloatBind SimplEnv
env (Id -> CoreExpr -> InBind
forall b. b -> Expr b -> Bind b
NonRec Id
bndr CoreExpr
rhs))
mkCastWrapperInlinePrag :: InlinePragma -> InlinePragma
mkCastWrapperInlinePrag :: InlinePragma -> InlinePragma
mkCastWrapperInlinePrag (InlinePragma { inl_act :: InlinePragma -> Activation
inl_act = Activation
act, inl_rule :: InlinePragma -> RuleMatchInfo
inl_rule = RuleMatchInfo
rule_info })
= InlinePragma { inl_src :: SourceText
inl_src = String -> SourceText
SourceText String
"{-# INLINE"
, inl_inline :: InlineSpec
inl_inline = InlineSpec
NoUserInlinePrag
, inl_sat :: Maybe Int
inl_sat = Maybe Int
forall a. Maybe a
Nothing
, inl_act :: Activation
inl_act = Activation
wrap_act
, inl_rule :: RuleMatchInfo
inl_rule = RuleMatchInfo
rule_info }
where
wrap_act :: Activation
wrap_act | Activation -> Bool
isNeverActive Activation
act = Activation
activateDuringFinal
| Bool
otherwise = Activation
act
prepareBinding :: SimplEnv -> TopLevelFlag -> RecFlag -> Bool
-> Id
-> SimplFloats -> OutExpr
-> SimplM (SimplFloats, OutExpr)
prepareBinding :: SimplEnv
-> TopLevelFlag
-> RecFlag
-> Bool
-> Id
-> SimplFloats
-> CoreExpr
-> SimplM (SimplFloats, CoreExpr)
prepareBinding SimplEnv
env TopLevelFlag
top_lvl RecFlag
is_rec Bool
strict_bind Id
bndr SimplFloats
rhs_floats CoreExpr
rhs
= do {
let (SimplFloats
rhs_floats1, CoreExpr
rhs1) = SimplFloats -> CoreExpr -> (SimplFloats, CoreExpr)
wrapJoinFloatsX SimplFloats
rhs_floats CoreExpr
rhs
; let rhs_env :: SimplEnv
rhs_env = SimplEnv
env SimplEnv -> SimplFloats -> SimplEnv
`setInScopeFromF` SimplFloats
rhs_floats1
; (LetFloats
anf_floats, CoreExpr
rhs2) <- SimplEnv
-> TopLevelFlag
-> FastString
-> CoreExpr
-> SimplM (LetFloats, CoreExpr)
prepareRhs SimplEnv
rhs_env TopLevelFlag
top_lvl (Id -> FastString
forall a. NamedThing a => a -> FastString
getOccFS Id
bndr) CoreExpr
rhs1
; let all_floats :: SimplFloats
all_floats = SimplFloats
rhs_floats1 SimplFloats -> LetFloats -> SimplFloats
`addLetFloats` LetFloats
anf_floats
; if TopLevelFlag -> RecFlag -> Bool -> SimplFloats -> CoreExpr -> Bool
doFloatFromRhs TopLevelFlag
top_lvl RecFlag
is_rec Bool
strict_bind SimplFloats
all_floats CoreExpr
rhs2
then
do { Tick -> SimplM ()
tick Tick
LetFloatFromLet
; (SimplFloats, CoreExpr) -> SimplM (SimplFloats, CoreExpr)
forall a. a -> SimplM a
forall (m :: * -> *) a. Monad m => a -> m a
return (SimplFloats
all_floats, CoreExpr
rhs2) }
else
(SimplFloats, CoreExpr) -> SimplM (SimplFloats, CoreExpr)
forall a. a -> SimplM a
forall (m :: * -> *) a. Monad m => a -> m a
return (SimplEnv -> SimplFloats
emptyFloats SimplEnv
env, SimplFloats -> CoreExpr -> CoreExpr
wrapFloats SimplFloats
rhs_floats1 CoreExpr
rhs1) }
prepareRhs :: SimplEnv -> TopLevelFlag
-> FastString
-> OutExpr
-> SimplM (LetFloats, OutExpr)
prepareRhs :: SimplEnv
-> TopLevelFlag
-> FastString
-> CoreExpr
-> SimplM (LetFloats, CoreExpr)
prepareRhs SimplEnv
env TopLevelFlag
top_lvl FastString
occ CoreExpr
rhs0
= do { (Bool
_is_exp, LetFloats
floats, CoreExpr
rhs1) <- Int -> CoreExpr -> SimplM (Bool, LetFloats, CoreExpr)
go Int
0 CoreExpr
rhs0
; (LetFloats, CoreExpr) -> SimplM (LetFloats, CoreExpr)
forall a. a -> SimplM a
forall (m :: * -> *) a. Monad m => a -> m a
return (LetFloats
floats, CoreExpr
rhs1) }
where
go :: Int -> OutExpr -> SimplM (Bool, LetFloats, OutExpr)
go :: Int -> CoreExpr -> SimplM (Bool, LetFloats, CoreExpr)
go Int
n_val_args (Cast CoreExpr
rhs Coercion
co)
= do { (Bool
is_exp, LetFloats
floats, CoreExpr
rhs') <- Int -> CoreExpr -> SimplM (Bool, LetFloats, CoreExpr)
go Int
n_val_args CoreExpr
rhs
; (Bool, LetFloats, CoreExpr) -> SimplM (Bool, LetFloats, CoreExpr)
forall a. a -> SimplM a
forall (m :: * -> *) a. Monad m => a -> m a
return (Bool
is_exp, LetFloats
floats, CoreExpr -> Coercion -> CoreExpr
forall b. Expr b -> Coercion -> Expr b
Cast CoreExpr
rhs' Coercion
co) }
go Int
n_val_args (App CoreExpr
fun (Type Kind
ty))
= do { (Bool
is_exp, LetFloats
floats, CoreExpr
rhs') <- Int -> CoreExpr -> SimplM (Bool, LetFloats, CoreExpr)
go Int
n_val_args CoreExpr
fun
; (Bool, LetFloats, CoreExpr) -> SimplM (Bool, LetFloats, CoreExpr)
forall a. a -> SimplM a
forall (m :: * -> *) a. Monad m => a -> m a
return (Bool
is_exp, LetFloats
floats, CoreExpr -> CoreExpr -> CoreExpr
forall b. Expr b -> Expr b -> Expr b
App CoreExpr
rhs' (Kind -> CoreExpr
forall b. Kind -> Expr b
Type Kind
ty)) }
go Int
n_val_args (App CoreExpr
fun CoreExpr
arg)
= do { (Bool
is_exp, LetFloats
floats1, CoreExpr
fun') <- Int -> CoreExpr -> SimplM (Bool, LetFloats, CoreExpr)
go (Int
n_val_argsInt -> Int -> Int
forall a. Num a => a -> a -> a
+Int
1) CoreExpr
fun
; case Bool
is_exp of
Bool
False -> (Bool, LetFloats, CoreExpr) -> SimplM (Bool, LetFloats, CoreExpr)
forall a. a -> SimplM a
forall (m :: * -> *) a. Monad m => a -> m a
return (Bool
False, LetFloats
emptyLetFloats, CoreExpr -> CoreExpr -> CoreExpr
forall b. Expr b -> Expr b -> Expr b
App CoreExpr
fun CoreExpr
arg)
Bool
True -> do { (LetFloats
floats2, CoreExpr
arg') <- SimplEnv
-> TopLevelFlag
-> Demand
-> FastString
-> CoreExpr
-> SimplM (LetFloats, CoreExpr)
makeTrivial SimplEnv
env TopLevelFlag
top_lvl Demand
topDmd FastString
occ CoreExpr
arg
; (Bool, LetFloats, CoreExpr) -> SimplM (Bool, LetFloats, CoreExpr)
forall a. a -> SimplM a
forall (m :: * -> *) a. Monad m => a -> m a
return (Bool
True, LetFloats
floats1 LetFloats -> LetFloats -> LetFloats
`addLetFlts` LetFloats
floats2, CoreExpr -> CoreExpr -> CoreExpr
forall b. Expr b -> Expr b -> Expr b
App CoreExpr
fun' CoreExpr
arg') } }
go Int
n_val_args (Var Id
fun)
= (Bool, LetFloats, CoreExpr) -> SimplM (Bool, LetFloats, CoreExpr)
forall a. a -> SimplM a
forall (m :: * -> *) a. Monad m => a -> m a
return (Bool
is_exp, LetFloats
emptyLetFloats, Id -> CoreExpr
forall b. Id -> Expr b
Var Id
fun)
where
is_exp :: Bool
is_exp = CheapAppFun
isExpandableApp Id
fun Int
n_val_args
go Int
n_val_args (Tick CoreTickish
t CoreExpr
rhs)
| CoreTickish -> TickishScoping
forall (pass :: TickishPass). GenTickish pass -> TickishScoping
tickishScoped CoreTickish
t TickishScoping -> TickishScoping -> Bool
forall a. Eq a => a -> a -> Bool
== TickishScoping
NoScope
= do { (Bool
is_exp, LetFloats
floats, CoreExpr
rhs') <- Int -> CoreExpr -> SimplM (Bool, LetFloats, CoreExpr)
go Int
n_val_args CoreExpr
rhs
; (Bool, LetFloats, CoreExpr) -> SimplM (Bool, LetFloats, CoreExpr)
forall a. a -> SimplM a
forall (m :: * -> *) a. Monad m => a -> m a
return (Bool
is_exp, LetFloats
floats, CoreTickish -> CoreExpr -> CoreExpr
forall b. CoreTickish -> Expr b -> Expr b
Tick CoreTickish
t CoreExpr
rhs') }
| (Bool -> Bool
not (CoreTickish -> Bool
forall (pass :: TickishPass). GenTickish pass -> Bool
tickishCounts CoreTickish
t) Bool -> Bool -> Bool
|| CoreTickish -> Bool
forall (pass :: TickishPass). GenTickish pass -> Bool
tickishCanSplit CoreTickish
t)
= do { (Bool
is_exp, LetFloats
floats, CoreExpr
rhs') <- Int -> CoreExpr -> SimplM (Bool, LetFloats, CoreExpr)
go Int
n_val_args CoreExpr
rhs
; let tickIt :: (Id, CoreExpr) -> (Id, CoreExpr)
tickIt (Id
id, CoreExpr
expr) = (Id
id, CoreTickish -> CoreExpr -> CoreExpr
mkTick (CoreTickish -> CoreTickish
forall (pass :: TickishPass). GenTickish pass -> GenTickish pass
mkNoCount CoreTickish
t) CoreExpr
expr)
floats' :: LetFloats
floats' = LetFloats -> ((Id, CoreExpr) -> (Id, CoreExpr)) -> LetFloats
mapLetFloats LetFloats
floats (Id, CoreExpr) -> (Id, CoreExpr)
tickIt
; (Bool, LetFloats, CoreExpr) -> SimplM (Bool, LetFloats, CoreExpr)
forall a. a -> SimplM a
forall (m :: * -> *) a. Monad m => a -> m a
return (Bool
is_exp, LetFloats
floats', CoreTickish -> CoreExpr -> CoreExpr
forall b. CoreTickish -> Expr b -> Expr b
Tick CoreTickish
t CoreExpr
rhs') }
go Int
_ CoreExpr
other
= (Bool, LetFloats, CoreExpr) -> SimplM (Bool, LetFloats, CoreExpr)
forall a. a -> SimplM a
forall (m :: * -> *) a. Monad m => a -> m a
return (Bool
False, LetFloats
emptyLetFloats, CoreExpr
other)
makeTrivialArg :: SimplEnv -> ArgSpec -> SimplM (LetFloats, ArgSpec)
makeTrivialArg :: SimplEnv -> ArgSpec -> SimplM (LetFloats, ArgSpec)
makeTrivialArg SimplEnv
env arg :: ArgSpec
arg@(ValArg { as_arg :: ArgSpec -> CoreExpr
as_arg = CoreExpr
e, as_dmd :: ArgSpec -> Demand
as_dmd = Demand
dmd })
= do { (LetFloats
floats, CoreExpr
e') <- SimplEnv
-> TopLevelFlag
-> Demand
-> FastString
-> CoreExpr
-> SimplM (LetFloats, CoreExpr)
makeTrivial SimplEnv
env TopLevelFlag
NotTopLevel Demand
dmd (String -> FastString
fsLit String
"arg") CoreExpr
e
; (LetFloats, ArgSpec) -> SimplM (LetFloats, ArgSpec)
forall a. a -> SimplM a
forall (m :: * -> *) a. Monad m => a -> m a
return (LetFloats
floats, ArgSpec
arg { as_arg :: CoreExpr
as_arg = CoreExpr
e' }) }
makeTrivialArg SimplEnv
_ ArgSpec
arg
= (LetFloats, ArgSpec) -> SimplM (LetFloats, ArgSpec)
forall a. a -> SimplM a
forall (m :: * -> *) a. Monad m => a -> m a
return (LetFloats
emptyLetFloats, ArgSpec
arg)
makeTrivial :: SimplEnv -> TopLevelFlag -> Demand
-> FastString
-> OutExpr
-> SimplM (LetFloats, OutExpr)
makeTrivial :: SimplEnv
-> TopLevelFlag
-> Demand
-> FastString
-> CoreExpr
-> SimplM (LetFloats, CoreExpr)
makeTrivial SimplEnv
env TopLevelFlag
top_lvl Demand
dmd FastString
occ_fs CoreExpr
expr
| CoreExpr -> Bool
exprIsTrivial CoreExpr
expr
Bool -> Bool -> Bool
|| Bool -> Bool
not (TopLevelFlag -> CoreExpr -> Kind -> Bool
bindingOk TopLevelFlag
top_lvl CoreExpr
expr Kind
expr_ty)
= (LetFloats, CoreExpr) -> SimplM (LetFloats, CoreExpr)
forall a. a -> SimplM a
forall (m :: * -> *) a. Monad m => a -> m a
return (LetFloats
emptyLetFloats, CoreExpr
expr)
| Cast CoreExpr
expr' Coercion
co <- CoreExpr
expr
= do { (LetFloats
floats, CoreExpr
triv_expr) <- SimplEnv
-> TopLevelFlag
-> Demand
-> FastString
-> CoreExpr
-> SimplM (LetFloats, CoreExpr)
makeTrivial SimplEnv
env TopLevelFlag
top_lvl Demand
dmd FastString
occ_fs CoreExpr
expr'
; (LetFloats, CoreExpr) -> SimplM (LetFloats, CoreExpr)
forall a. a -> SimplM a
forall (m :: * -> *) a. Monad m => a -> m a
return (LetFloats
floats, CoreExpr -> Coercion -> CoreExpr
forall b. Expr b -> Coercion -> Expr b
Cast CoreExpr
triv_expr Coercion
co) }
| Bool
otherwise
= do { (LetFloats
floats, Id
new_id) <- SimplEnv
-> TopLevelFlag
-> FastString
-> IdInfo
-> CoreExpr
-> Kind
-> SimplM (LetFloats, Id)
makeTrivialBinding SimplEnv
env TopLevelFlag
top_lvl FastString
occ_fs
IdInfo
id_info CoreExpr
expr Kind
expr_ty
; (LetFloats, CoreExpr) -> SimplM (LetFloats, CoreExpr)
forall a. a -> SimplM a
forall (m :: * -> *) a. Monad m => a -> m a
return (LetFloats
floats, Id -> CoreExpr
forall b. Id -> Expr b
Var Id
new_id) }
where
id_info :: IdInfo
id_info = IdInfo
vanillaIdInfo IdInfo -> Demand -> IdInfo
`setDemandInfo` Demand
dmd
expr_ty :: Kind
expr_ty = (() :: Constraint) => CoreExpr -> Kind
CoreExpr -> Kind
exprType CoreExpr
expr
makeTrivialBinding :: SimplEnv -> TopLevelFlag
-> FastString
-> IdInfo
-> OutExpr
-> OutType
-> SimplM (LetFloats, OutId)
makeTrivialBinding :: SimplEnv
-> TopLevelFlag
-> FastString
-> IdInfo
-> CoreExpr
-> Kind
-> SimplM (LetFloats, Id)
makeTrivialBinding SimplEnv
env TopLevelFlag
top_lvl FastString
occ_fs IdInfo
info CoreExpr
expr Kind
expr_ty
= do { (LetFloats
floats, CoreExpr
expr1) <- SimplEnv
-> TopLevelFlag
-> FastString
-> CoreExpr
-> SimplM (LetFloats, CoreExpr)
prepareRhs SimplEnv
env TopLevelFlag
top_lvl FastString
occ_fs CoreExpr
expr
; Unique
uniq <- SimplM Unique
forall (m :: * -> *). MonadUnique m => m Unique
getUniqueM
; let name :: Name
name = Unique -> FastString -> Name
mkSystemVarName Unique
uniq FastString
occ_fs
var :: Id
var = (() :: Constraint) => Name -> Kind -> Kind -> IdInfo -> Id
Name -> Kind -> Kind -> IdInfo -> Id
mkLocalIdWithInfo Name
name Kind
Many Kind
expr_ty IdInfo
info
; (ArityType
arity_type, CoreExpr
expr2) <- SimplEnv -> Id -> CoreExpr -> SimplM (ArityType, CoreExpr)
tryEtaExpandRhs SimplEnv
env Id
var CoreExpr
expr1
; Unfolding
unf <- UnfoldingOpts
-> TopLevelFlag
-> UnfoldingSource
-> Id
-> CoreExpr
-> SimplM Unfolding
mkLetUnfolding (SimplMode -> UnfoldingOpts
sm_uf_opts SimplMode
mode) TopLevelFlag
top_lvl UnfoldingSource
InlineRhs Id
var CoreExpr
expr2
; let final_id :: Id
final_id = Id -> ArityType -> Unfolding -> Id
addLetBndrInfo Id
var ArityType
arity_type Unfolding
unf
bind :: InBind
bind = Id -> CoreExpr -> InBind
forall b. b -> Expr b -> Bind b
NonRec Id
final_id CoreExpr
expr2
; (LetFloats, Id) -> SimplM (LetFloats, Id)
forall a. a -> SimplM a
forall (m :: * -> *) a. Monad m => a -> m a
return ( LetFloats
floats LetFloats -> LetFloats -> LetFloats
`addLetFlts` InBind -> LetFloats
unitLetFloat InBind
bind, Id
final_id ) }
where
mode :: SimplMode
mode = SimplEnv -> SimplMode
getMode SimplEnv
env
bindingOk :: TopLevelFlag -> CoreExpr -> Type -> Bool
bindingOk :: TopLevelFlag -> CoreExpr -> Kind -> Bool
bindingOk TopLevelFlag
top_lvl CoreExpr
expr Kind
expr_ty
| TopLevelFlag -> Bool
isTopLevel TopLevelFlag
top_lvl = CoreExpr -> Kind -> Bool
exprIsTopLevelBindable CoreExpr
expr Kind
expr_ty
| Bool
otherwise = Bool
True
completeBind :: SimplEnv
-> BindContext
-> InId
-> OutId
-> OutExpr
-> SimplM (SimplFloats, SimplEnv)
completeBind :: SimplEnv
-> BindContext
-> Id
-> Id
-> CoreExpr
-> SimplM (SimplFloats, SimplEnv)
completeBind SimplEnv
env BindContext
bind_cxt Id
old_bndr Id
new_bndr CoreExpr
new_rhs
| Id -> Bool
isCoVar Id
old_bndr
= case CoreExpr
new_rhs of
Coercion Coercion
co -> (SimplFloats, SimplEnv) -> SimplM (SimplFloats, SimplEnv)
forall a. a -> SimplM a
forall (m :: * -> *) a. Monad m => a -> m a
return (SimplEnv -> SimplFloats
emptyFloats SimplEnv
env, SimplEnv -> Id -> Coercion -> SimplEnv
extendCvSubst SimplEnv
env Id
old_bndr Coercion
co)
CoreExpr
_ -> (SimplFloats, SimplEnv) -> SimplM (SimplFloats, SimplEnv)
forall a. a -> SimplM a
forall (m :: * -> *) a. Monad m => a -> m a
return (SimplEnv -> InBind -> (SimplFloats, SimplEnv)
mkFloatBind SimplEnv
env (Id -> CoreExpr -> InBind
forall b. b -> Expr b -> Bind b
NonRec Id
new_bndr CoreExpr
new_rhs))
| Bool
otherwise
= Bool
-> SimplM (SimplFloats, SimplEnv) -> SimplM (SimplFloats, SimplEnv)
forall a. HasCallStack => Bool -> a -> a
assert (Id -> Bool
isId Id
new_bndr) (SimplM (SimplFloats, SimplEnv) -> SimplM (SimplFloats, SimplEnv))
-> SimplM (SimplFloats, SimplEnv) -> SimplM (SimplFloats, SimplEnv)
forall a b. (a -> b) -> a -> b
$
do { let old_info :: IdInfo
old_info = (() :: Constraint) => Id -> IdInfo
Id -> IdInfo
idInfo Id
old_bndr
old_unf :: Unfolding
old_unf = IdInfo -> Unfolding
realUnfoldingInfo IdInfo
old_info
occ_info :: OccInfo
occ_info = IdInfo -> OccInfo
occInfo IdInfo
old_info
; (ArityType
new_arity, CoreExpr
eta_rhs) <- SimplEnv -> Id -> CoreExpr -> SimplM (ArityType, CoreExpr)
tryEtaExpandRhs SimplEnv
env Id
new_bndr CoreExpr
new_rhs
; Unfolding
new_unfolding <- SimplEnv
-> BindContext
-> Id
-> CoreExpr
-> Kind
-> ArityType
-> Unfolding
-> SimplM Unfolding
simplLetUnfolding SimplEnv
env BindContext
bind_cxt Id
old_bndr
CoreExpr
eta_rhs (Id -> Kind
idType Id
new_bndr) ArityType
new_arity Unfolding
old_unf
; let new_bndr_w_info :: Id
new_bndr_w_info = Id -> ArityType -> Unfolding -> Id
addLetBndrInfo Id
new_bndr ArityType
new_arity Unfolding
new_unfolding
; if SimplEnv -> BindContext -> Id -> OccInfo -> CoreExpr -> Bool
postInlineUnconditionally SimplEnv
env BindContext
bind_cxt Id
new_bndr_w_info OccInfo
occ_info CoreExpr
eta_rhs
then
do { Tick -> SimplM ()
tick (Id -> Tick
PostInlineUnconditionally Id
old_bndr)
; let unf_rhs :: CoreExpr
unf_rhs = Unfolding -> Maybe CoreExpr
maybeUnfoldingTemplate Unfolding
new_unfolding Maybe CoreExpr -> CoreExpr -> CoreExpr
forall a. Maybe a -> a -> a
`orElse` CoreExpr
eta_rhs
; SimplEnv
-> String
-> SDoc
-> SimplM (SimplFloats, SimplEnv)
-> SimplM (SimplFloats, SimplEnv)
forall a. SimplEnv -> String -> SDoc -> a -> a
simplTrace SimplEnv
env String
"PostInlineUnconditionally" (Id -> SDoc
forall a. Outputable a => a -> SDoc
ppr Id
new_bndr SDoc -> SDoc -> SDoc
<+> CoreExpr -> SDoc
forall a. Outputable a => a -> SDoc
ppr CoreExpr
unf_rhs) (SimplM (SimplFloats, SimplEnv) -> SimplM (SimplFloats, SimplEnv))
-> SimplM (SimplFloats, SimplEnv) -> SimplM (SimplFloats, SimplEnv)
forall a b. (a -> b) -> a -> b
$
(SimplFloats, SimplEnv) -> SimplM (SimplFloats, SimplEnv)
forall a. a -> SimplM a
forall (m :: * -> *) a. Monad m => a -> m a
return ( SimplEnv -> SimplFloats
emptyFloats SimplEnv
env
, SimplEnv -> Id -> SimplSR -> SimplEnv
extendIdSubst SimplEnv
env Id
old_bndr (SimplSR -> SimplEnv) -> SimplSR -> SimplEnv
forall a b. (a -> b) -> a -> b
$
CoreExpr -> Maybe Int -> SimplSR
DoneEx CoreExpr
unf_rhs (Id -> Maybe Int
isJoinId_maybe Id
new_bndr)) }
else
SimplEnv
-> BindContext
-> Id
-> OccInfo
-> Id
-> CoreExpr
-> SimplM (SimplFloats, SimplEnv)
tryCastWorkerWrapper SimplEnv
env BindContext
bind_cxt Id
old_bndr OccInfo
occ_info Id
new_bndr_w_info CoreExpr
eta_rhs }
addLetBndrInfo :: OutId -> ArityType -> Unfolding -> OutId
addLetBndrInfo :: Id -> ArityType -> Unfolding -> Id
addLetBndrInfo Id
new_bndr ArityType
new_arity_type Unfolding
new_unf
= Id
new_bndr Id -> IdInfo -> Id
`setIdInfo` IdInfo
info5
where
AT [OneShotInfo]
oss Divergence
div = ArityType
new_arity_type
new_arity :: Int
new_arity = [OneShotInfo] -> Int
forall a. [a] -> Int
forall (t :: * -> *) a. Foldable t => t a -> Int
length [OneShotInfo]
oss
info1 :: IdInfo
info1 = (() :: Constraint) => Id -> IdInfo
Id -> IdInfo
idInfo Id
new_bndr IdInfo -> Int -> IdInfo
`setArityInfo` Int
new_arity
info2 :: IdInfo
info2 = IdInfo
info1 IdInfo -> Unfolding -> IdInfo
`setUnfoldingInfo` Unfolding
new_unf
info3 :: IdInfo
info3 | Unfolding -> Bool
isEvaldUnfolding Unfolding
new_unf
= IdInfo -> Maybe IdInfo
zapDemandInfo IdInfo
info2 Maybe IdInfo -> IdInfo -> IdInfo
forall a. Maybe a -> a -> a
`orElse` IdInfo
info2
| Bool
otherwise
= IdInfo
info2
info4 :: IdInfo
info4 | Divergence -> Bool
isDeadEndDiv Divergence
div = IdInfo
info3 IdInfo -> DmdSig -> IdInfo
`setDmdSigInfo` DmdSig
bot_sig
IdInfo -> CprSig -> IdInfo
`setCprSigInfo` CprSig
bot_cpr
| Bool
otherwise = IdInfo
info3
bot_sig :: DmdSig
bot_sig = [Demand] -> Divergence -> DmdSig
mkClosedDmdSig (Int -> Demand -> [Demand]
forall a. Int -> a -> [a]
replicate Int
new_arity Demand
topDmd) Divergence
div
bot_cpr :: CprSig
bot_cpr = Int -> Cpr -> CprSig
mkCprSig Int
new_arity Cpr
botCpr
info5 :: IdInfo
info5 = IdInfo -> IdInfo
zapCallArityInfo IdInfo
info4
simplExpr :: SimplEnv -> CoreExpr -> SimplM CoreExpr
simplExpr :: SimplEnv -> CoreExpr -> SimplM CoreExpr
simplExpr !SimplEnv
env (Type Kind
ty)
= do { Kind
ty' <- SimplEnv -> Kind -> SimplM Kind
simplType SimplEnv
env Kind
ty
; CoreExpr -> SimplM CoreExpr
forall a. a -> SimplM a
forall (m :: * -> *) a. Monad m => a -> m a
return (Kind -> CoreExpr
forall b. Kind -> Expr b
Type Kind
ty') }
simplExpr SimplEnv
env CoreExpr
expr
= SimplEnv -> CoreExpr -> SimplCont -> SimplM CoreExpr
simplExprC SimplEnv
env CoreExpr
expr (Kind -> SimplCont
mkBoringStop Kind
expr_out_ty)
where
expr_out_ty :: OutType
expr_out_ty :: Kind
expr_out_ty = SimplEnv -> Kind -> Kind
substTy SimplEnv
env ((() :: Constraint) => CoreExpr -> Kind
CoreExpr -> Kind
exprType CoreExpr
expr)
simplExprC :: SimplEnv
-> InExpr
-> SimplCont
-> SimplM OutExpr
simplExprC :: SimplEnv -> CoreExpr -> SimplCont -> SimplM CoreExpr
simplExprC SimplEnv
env CoreExpr
expr SimplCont
cont
=
do { (SimplFloats
floats, CoreExpr
expr') <- SimplEnv -> CoreExpr -> SimplCont -> SimplM (SimplFloats, CoreExpr)
simplExprF SimplEnv
env CoreExpr
expr SimplCont
cont
;
CoreExpr -> SimplM CoreExpr
forall a. a -> SimplM a
forall (m :: * -> *) a. Monad m => a -> m a
return (SimplFloats -> CoreExpr -> CoreExpr
wrapFloats SimplFloats
floats CoreExpr
expr') }
simplExprF :: SimplEnv
-> InExpr
-> SimplCont
-> SimplM (SimplFloats, OutExpr)
simplExprF :: SimplEnv -> CoreExpr -> SimplCont -> SimplM (SimplFloats, CoreExpr)
simplExprF !SimplEnv
env CoreExpr
e !SimplCont
cont
=
SimplEnv -> CoreExpr -> SimplCont -> SimplM (SimplFloats, CoreExpr)
simplExprF1 SimplEnv
env CoreExpr
e SimplCont
cont
simplExprF1 :: SimplEnv -> InExpr -> SimplCont
-> SimplM (SimplFloats, OutExpr)
simplExprF1 :: SimplEnv -> CoreExpr -> SimplCont -> SimplM (SimplFloats, CoreExpr)
simplExprF1 SimplEnv
_ (Type Kind
ty) SimplCont
cont
= String -> SDoc -> SimplM (SimplFloats, CoreExpr)
forall a. HasCallStack => String -> SDoc -> a
pprPanic String
"simplExprF: type" (Kind -> SDoc
forall a. Outputable a => a -> SDoc
ppr Kind
ty SDoc -> SDoc -> SDoc
<+> String -> SDoc
textString
"cont: " SDoc -> SDoc -> SDoc
<+> SimplCont -> SDoc
forall a. Outputable a => a -> SDoc
ppr SimplCont
cont)
simplExprF1 SimplEnv
env (Var Id
v) SimplCont
cont = {-#SCC "simplIdF" #-} SimplEnv -> Id -> SimplCont -> SimplM (SimplFloats, CoreExpr)
simplIdF SimplEnv
env Id
v SimplCont
cont
simplExprF1 SimplEnv
env (Lit Literal
lit) SimplCont
cont = {-#SCC "rebuild" #-} SimplEnv -> CoreExpr -> SimplCont -> SimplM (SimplFloats, CoreExpr)
rebuild SimplEnv
env (Literal -> CoreExpr
forall b. Literal -> Expr b
Lit Literal
lit) SimplCont
cont
simplExprF1 SimplEnv
env (Tick CoreTickish
t CoreExpr
expr) SimplCont
cont = {-#SCC "simplTick" #-} SimplEnv
-> CoreTickish
-> CoreExpr
-> SimplCont
-> SimplM (SimplFloats, CoreExpr)
simplTick SimplEnv
env CoreTickish
t CoreExpr
expr SimplCont
cont
simplExprF1 SimplEnv
env (Cast CoreExpr
body Coercion
co) SimplCont
cont = {-#SCC "simplCast" #-} SimplEnv
-> CoreExpr
-> Coercion
-> SimplCont
-> SimplM (SimplFloats, CoreExpr)
simplCast SimplEnv
env CoreExpr
body Coercion
co SimplCont
cont
simplExprF1 SimplEnv
env (Coercion Coercion
co) SimplCont
cont = {-#SCC "simplCoercionF" #-} SimplEnv -> Coercion -> SimplCont -> SimplM (SimplFloats, CoreExpr)
simplCoercionF SimplEnv
env Coercion
co SimplCont
cont
simplExprF1 SimplEnv
env (App CoreExpr
fun CoreExpr
arg) SimplCont
cont
= {-#SCC "simplExprF1-App" #-} case CoreExpr
arg of
Type Kind
ty -> do {
Kind
arg' <- SimplEnv -> Kind -> SimplM Kind
simplType SimplEnv
env Kind
ty
; let hole' :: Kind
hole' = SimplEnv -> Kind -> Kind
substTy SimplEnv
env ((() :: Constraint) => CoreExpr -> Kind
CoreExpr -> Kind
exprType CoreExpr
fun)
; SimplEnv -> CoreExpr -> SimplCont -> SimplM (SimplFloats, CoreExpr)
simplExprF SimplEnv
env CoreExpr
fun (SimplCont -> SimplM (SimplFloats, CoreExpr))
-> SimplCont -> SimplM (SimplFloats, CoreExpr)
forall a b. (a -> b) -> a -> b
$
ApplyToTy { sc_arg_ty :: Kind
sc_arg_ty = Kind
arg'
, sc_hole_ty :: Kind
sc_hole_ty = Kind
hole'
, sc_cont :: SimplCont
sc_cont = SimplCont
cont } }
CoreExpr
_ ->
SimplEnv -> CoreExpr -> SimplCont -> SimplM (SimplFloats, CoreExpr)
simplExprF SimplEnv
env CoreExpr
fun (SimplCont -> SimplM (SimplFloats, CoreExpr))
-> SimplCont -> SimplM (SimplFloats, CoreExpr)
forall a b. (a -> b) -> a -> b
$
ApplyToVal { sc_arg :: CoreExpr
sc_arg = CoreExpr
arg, sc_env :: SimplEnv
sc_env = SimplEnv
env
, sc_hole_ty :: Kind
sc_hole_ty = SimplEnv -> Kind -> Kind
substTy SimplEnv
env ((() :: Constraint) => CoreExpr -> Kind
CoreExpr -> Kind
exprType CoreExpr
fun)
, sc_dup :: DupFlag
sc_dup = DupFlag
NoDup, sc_cont :: SimplCont
sc_cont = SimplCont
cont }
simplExprF1 SimplEnv
env expr :: CoreExpr
expr@(Lam {}) SimplCont
cont
= {-#SCC "simplExprF1-Lam" #-}
SimplEnv -> CoreExpr -> SimplCont -> SimplM (SimplFloats, CoreExpr)
simplLam SimplEnv
env (CoreExpr -> Int -> CoreExpr
zapLambdaBndrs CoreExpr
expr Int
n_args) SimplCont
cont
where
n_args :: Int
n_args = SimplCont -> Int
countArgs SimplCont
cont
simplExprF1 SimplEnv
env (Case CoreExpr
scrut Id
bndr Kind
_ [Alt Id]
alts) SimplCont
cont
= {-#SCC "simplExprF1-Case" #-}
SimplEnv -> CoreExpr -> SimplCont -> SimplM (SimplFloats, CoreExpr)
simplExprF SimplEnv
env CoreExpr
scrut (Select { sc_dup :: DupFlag
sc_dup = DupFlag
NoDup, sc_bndr :: Id
sc_bndr = Id
bndr
, sc_alts :: [Alt Id]
sc_alts = [Alt Id]
alts
, sc_env :: SimplEnv
sc_env = SimplEnv
env, sc_cont :: SimplCont
sc_cont = SimplCont
cont })
simplExprF1 SimplEnv
env (Let (Rec [(Id, CoreExpr)]
pairs) CoreExpr
body) SimplCont
cont
| Just [(Id, CoreExpr)]
pairs' <- [(Id, CoreExpr)] -> Maybe [(Id, CoreExpr)]
joinPointBindings_maybe [(Id, CoreExpr)]
pairs
= {-#SCC "simplRecJoinPoin" #-} SimplEnv
-> [(Id, CoreExpr)]
-> CoreExpr
-> SimplCont
-> SimplM (SimplFloats, CoreExpr)
simplRecJoinPoint SimplEnv
env [(Id, CoreExpr)]
pairs' CoreExpr
body SimplCont
cont
| Bool
otherwise
= {-#SCC "simplRecE" #-} SimplEnv
-> [(Id, CoreExpr)]
-> CoreExpr
-> SimplCont
-> SimplM (SimplFloats, CoreExpr)
simplRecE SimplEnv
env [(Id, CoreExpr)]
pairs CoreExpr
body SimplCont
cont
simplExprF1 SimplEnv
env (Let (NonRec Id
bndr CoreExpr
rhs) CoreExpr
body) SimplCont
cont
| Type Kind
ty <- CoreExpr
rhs
= {-#SCC "simplExprF1-NonRecLet-Type" #-}
Bool
-> SimplM (SimplFloats, CoreExpr) -> SimplM (SimplFloats, CoreExpr)
forall a. HasCallStack => Bool -> a -> a
assert (Id -> Bool
isTyVar Id
bndr) (SimplM (SimplFloats, CoreExpr) -> SimplM (SimplFloats, CoreExpr))
-> SimplM (SimplFloats, CoreExpr) -> SimplM (SimplFloats, CoreExpr)
forall a b. (a -> b) -> a -> b
$
do { Kind
ty' <- SimplEnv -> Kind -> SimplM Kind
simplType SimplEnv
env Kind
ty
; SimplEnv -> CoreExpr -> SimplCont -> SimplM (SimplFloats, CoreExpr)
simplExprF (SimplEnv -> Id -> Kind -> SimplEnv
extendTvSubst SimplEnv
env Id
bndr Kind
ty') CoreExpr
body SimplCont
cont }
| Just (Id
bndr', CoreExpr
rhs') <- Id -> CoreExpr -> Maybe (Id, CoreExpr)
joinPointBinding_maybe Id
bndr CoreExpr
rhs
= {-#SCC "simplNonRecJoinPoint" #-} SimplEnv
-> Id
-> CoreExpr
-> CoreExpr
-> SimplCont
-> SimplM (SimplFloats, CoreExpr)
simplNonRecJoinPoint SimplEnv
env Id
bndr' CoreExpr
rhs' CoreExpr
body SimplCont
cont
| Bool
otherwise
= {-#SCC "simplNonRecE" #-} SimplEnv
-> Id
-> (CoreExpr, SimplEnv)
-> CoreExpr
-> SimplCont
-> SimplM (SimplFloats, CoreExpr)
simplNonRecE SimplEnv
env Id
bndr (CoreExpr
rhs, SimplEnv
env) CoreExpr
body SimplCont
cont
simplJoinRhs :: SimplEnv -> InId -> InExpr -> SimplCont
-> SimplM OutExpr
simplJoinRhs :: SimplEnv -> Id -> CoreExpr -> SimplCont -> SimplM CoreExpr
simplJoinRhs SimplEnv
env Id
bndr CoreExpr
expr SimplCont
cont
| Just Int
arity <- Id -> Maybe Int
isJoinId_maybe Id
bndr
= do { let ([Id]
join_bndrs, CoreExpr
join_body) = Int -> CoreExpr -> ([Id], CoreExpr)
forall b. Int -> Expr b -> ([b], Expr b)
collectNBinders Int
arity CoreExpr
expr
mult :: Kind
mult = SimplCont -> Kind
contHoleScaling SimplCont
cont
; (SimplEnv
env', [Id]
join_bndrs') <- SimplEnv -> [Id] -> SimplM (SimplEnv, [Id])
simplLamBndrs SimplEnv
env ((Id -> Id) -> [Id] -> [Id]
forall a b. (a -> b) -> [a] -> [b]
map (Kind -> Id -> Id
scaleVarBy Kind
mult) [Id]
join_bndrs)
; CoreExpr
join_body' <- SimplEnv -> CoreExpr -> SimplCont -> SimplM CoreExpr
simplExprC SimplEnv
env' CoreExpr
join_body SimplCont
cont
; CoreExpr -> SimplM CoreExpr
forall a. a -> SimplM a
forall (m :: * -> *) a. Monad m => a -> m a
return (CoreExpr -> SimplM CoreExpr) -> CoreExpr -> SimplM CoreExpr
forall a b. (a -> b) -> a -> b
$ [Id] -> CoreExpr -> CoreExpr
forall b. [b] -> Expr b -> Expr b
mkLams [Id]
join_bndrs' CoreExpr
join_body' }
| Bool
otherwise
= String -> SDoc -> SimplM CoreExpr
forall a. HasCallStack => String -> SDoc -> a
pprPanic String
"simplJoinRhs" (Id -> SDoc
forall a. Outputable a => a -> SDoc
ppr Id
bndr)
simplType :: SimplEnv -> InType -> SimplM OutType
simplType :: SimplEnv -> Kind -> SimplM Kind
simplType SimplEnv
env Kind
ty
=
Kind -> ()
seqType Kind
new_ty () -> SimplM Kind -> SimplM Kind
forall a b. a -> b -> b
`seq` Kind -> SimplM Kind
forall a. a -> SimplM a
forall (m :: * -> *) a. Monad m => a -> m a
return Kind
new_ty
where
new_ty :: Kind
new_ty = SimplEnv -> Kind -> Kind
substTy SimplEnv
env Kind
ty
simplCoercionF :: SimplEnv -> InCoercion -> SimplCont
-> SimplM (SimplFloats, OutExpr)
simplCoercionF :: SimplEnv -> Coercion -> SimplCont -> SimplM (SimplFloats, CoreExpr)
simplCoercionF SimplEnv
env Coercion
co SimplCont
cont
= do { Coercion
co' <- SimplEnv -> Coercion -> SimplM Coercion
simplCoercion SimplEnv
env Coercion
co
; SimplEnv -> CoreExpr -> SimplCont -> SimplM (SimplFloats, CoreExpr)
rebuild SimplEnv
env (Coercion -> CoreExpr
forall b. Coercion -> Expr b
Coercion Coercion
co') SimplCont
cont }
simplCoercion :: SimplEnv -> InCoercion -> SimplM OutCoercion
simplCoercion :: SimplEnv -> Coercion -> SimplM Coercion
simplCoercion SimplEnv
env Coercion
co
= do { OptCoercionOpts
opts <- SimplM OptCoercionOpts
getOptCoercionOpts
; let opt_co :: Coercion
opt_co = OptCoercionOpts -> TCvSubst -> Coercion -> Coercion
optCoercion OptCoercionOpts
opts (SimplEnv -> TCvSubst
getTCvSubst SimplEnv
env) Coercion
co
; Coercion -> ()
seqCo Coercion
opt_co () -> SimplM Coercion -> SimplM Coercion
forall a b. a -> b -> b
`seq` Coercion -> SimplM Coercion
forall a. a -> SimplM a
forall (m :: * -> *) a. Monad m => a -> m a
return Coercion
opt_co }
simplTick :: SimplEnv -> CoreTickish -> InExpr -> SimplCont
-> SimplM (SimplFloats, OutExpr)
simplTick :: SimplEnv
-> CoreTickish
-> CoreExpr
-> SimplCont
-> SimplM (SimplFloats, CoreExpr)
simplTick SimplEnv
env CoreTickish
tickish CoreExpr
expr SimplCont
cont
| CoreTickish
tickish CoreTickish -> TickishScoping -> Bool
forall (pass :: TickishPass).
GenTickish pass -> TickishScoping -> Bool
`tickishScopesLike` TickishScoping
SoftScope
= do { (SimplFloats
floats, CoreExpr
expr') <- SimplEnv -> CoreExpr -> SimplCont -> SimplM (SimplFloats, CoreExpr)
simplExprF SimplEnv
env CoreExpr
expr SimplCont
cont
; (SimplFloats, CoreExpr) -> SimplM (SimplFloats, CoreExpr)
forall a. a -> SimplM a
forall (m :: * -> *) a. Monad m => a -> m a
return (SimplFloats
floats, CoreTickish -> CoreExpr -> CoreExpr
mkTick CoreTickish
tickish CoreExpr
expr')
}
| Select {} <- SimplCont
cont, Just CoreExpr
expr' <- Maybe CoreExpr
push_tick_inside
= SimplEnv -> CoreExpr -> SimplCont -> SimplM (SimplFloats, CoreExpr)
simplExprF SimplEnv
env CoreExpr
expr' SimplCont
cont
| Bool
otherwise
= SimplM (SimplFloats, CoreExpr)
no_floating_past_tick
where
push_tick_inside :: Maybe CoreExpr
push_tick_inside =
case CoreExpr
expr0 of
Case CoreExpr
scrut Id
bndr Kind
ty [Alt Id]
alts
-> CoreExpr -> Maybe CoreExpr
forall a. a -> Maybe a
Just (CoreExpr -> Maybe CoreExpr) -> CoreExpr -> Maybe CoreExpr
forall a b. (a -> b) -> a -> b
$ CoreExpr -> Id -> Kind -> [Alt Id] -> CoreExpr
forall b. Expr b -> b -> Kind -> [Alt b] -> Expr b
Case (CoreExpr -> CoreExpr
tickScrut CoreExpr
scrut) Id
bndr Kind
ty ((Alt Id -> Alt Id) -> [Alt Id] -> [Alt Id]
forall a b. (a -> b) -> [a] -> [b]
map Alt Id -> Alt Id
tickAlt [Alt Id]
alts)
CoreExpr
_other -> Maybe CoreExpr
forall a. Maybe a
Nothing
where ([CoreTickish]
ticks, CoreExpr
expr0) = (CoreTickish -> Bool) -> CoreExpr -> ([CoreTickish], CoreExpr)
forall b.
(CoreTickish -> Bool) -> Expr b -> ([CoreTickish], Expr b)
stripTicksTop CoreTickish -> Bool
forall (pass :: TickishPass). GenTickish pass -> Bool
movable (CoreTickish -> CoreExpr -> CoreExpr
forall b. CoreTickish -> Expr b -> Expr b
Tick CoreTickish
tickish CoreExpr
expr)
movable :: GenTickish pass -> Bool
movable GenTickish pass
t = Bool -> Bool
not (GenTickish pass -> Bool
forall (pass :: TickishPass). GenTickish pass -> Bool
tickishCounts GenTickish pass
t) Bool -> Bool -> Bool
||
GenTickish pass
t GenTickish pass -> TickishScoping -> Bool
forall (pass :: TickishPass).
GenTickish pass -> TickishScoping -> Bool
`tickishScopesLike` TickishScoping
NoScope Bool -> Bool -> Bool
||
GenTickish pass -> Bool
forall (pass :: TickishPass). GenTickish pass -> Bool
tickishCanSplit GenTickish pass
t
tickScrut :: CoreExpr -> CoreExpr
tickScrut CoreExpr
e = (CoreTickish -> CoreExpr -> CoreExpr)
-> CoreExpr -> [CoreTickish] -> CoreExpr
forall a b. (a -> b -> b) -> b -> [a] -> b
forall (t :: * -> *) a b.
Foldable t =>
(a -> b -> b) -> b -> t a -> b
foldr CoreTickish -> CoreExpr -> CoreExpr
mkTick CoreExpr
e [CoreTickish]
ticks
tickAlt :: Alt Id -> Alt Id
tickAlt (Alt AltCon
c [Id]
bs CoreExpr
e) = AltCon -> [Id] -> CoreExpr -> Alt Id
forall b. AltCon -> [b] -> Expr b -> Alt b
Alt AltCon
c [Id]
bs ((CoreTickish -> CoreExpr -> CoreExpr)
-> CoreExpr -> [CoreTickish] -> CoreExpr
forall a b. (a -> b -> b) -> b -> [a] -> b
forall (t :: * -> *) a b.
Foldable t =>
(a -> b -> b) -> b -> t a -> b
foldr CoreTickish -> CoreExpr -> CoreExpr
mkTick CoreExpr
e [CoreTickish]
ts_scope)
ts_scope :: [CoreTickish]
ts_scope = (CoreTickish -> CoreTickish) -> [CoreTickish] -> [CoreTickish]
forall a b. (a -> b) -> [a] -> [b]
map CoreTickish -> CoreTickish
forall (pass :: TickishPass). GenTickish pass -> GenTickish pass
mkNoCount ([CoreTickish] -> [CoreTickish]) -> [CoreTickish] -> [CoreTickish]
forall a b. (a -> b) -> a -> b
$
(CoreTickish -> Bool) -> [CoreTickish] -> [CoreTickish]
forall a. (a -> Bool) -> [a] -> [a]
filter (Bool -> Bool
not (Bool -> Bool) -> (CoreTickish -> Bool) -> CoreTickish -> Bool
forall b c a. (b -> c) -> (a -> b) -> a -> c
. (CoreTickish -> TickishScoping -> Bool
forall (pass :: TickishPass).
GenTickish pass -> TickishScoping -> Bool
`tickishScopesLike` TickishScoping
NoScope)) [CoreTickish]
ticks
no_floating_past_tick :: SimplM (SimplFloats, CoreExpr)
no_floating_past_tick =
do { let (SimplCont
inc,SimplCont
outc) = SimplCont -> (SimplCont, SimplCont)
splitCont SimplCont
cont
; (SimplFloats
floats, CoreExpr
expr1) <- SimplEnv -> CoreExpr -> SimplCont -> SimplM (SimplFloats, CoreExpr)
simplExprF SimplEnv
env CoreExpr
expr SimplCont
inc
; let expr2 :: CoreExpr
expr2 = SimplFloats -> CoreExpr -> CoreExpr
wrapFloats SimplFloats
floats CoreExpr
expr1
tickish' :: CoreTickish
tickish' = SimplEnv -> CoreTickish -> CoreTickish
forall {pass :: TickishPass}.
(XTickishId pass ~ Id) =>
SimplEnv -> GenTickish pass -> GenTickish pass
simplTickish SimplEnv
env CoreTickish
tickish
; SimplEnv -> CoreExpr -> SimplCont -> SimplM (SimplFloats, CoreExpr)
rebuild SimplEnv
env (CoreTickish -> CoreExpr -> CoreExpr
mkTick CoreTickish
tickish' CoreExpr
expr2) SimplCont
outc
}
simplTickish :: SimplEnv -> GenTickish pass -> GenTickish pass
simplTickish SimplEnv
env GenTickish pass
tickish
| Breakpoint XBreakpoint pass
ext Int
n [XTickishId pass]
ids <- GenTickish pass
tickish
= XBreakpoint pass -> Int -> [XTickishId pass] -> GenTickish pass
forall (pass :: TickishPass).
XBreakpoint pass -> Int -> [XTickishId pass] -> GenTickish pass
Breakpoint XBreakpoint pass
ext Int
n ((Id -> Id) -> [Id] -> [Id]
forall a b. (a -> b) -> [a] -> [b]
map (SimplSR -> Id
getDoneId (SimplSR -> Id) -> (Id -> SimplSR) -> Id -> Id
forall b c a. (b -> c) -> (a -> b) -> a -> c
. SimplEnv -> Id -> SimplSR
substId SimplEnv
env) [Id]
[XTickishId pass]
ids)
| Bool
otherwise = GenTickish pass
tickish
splitCont :: SimplCont -> (SimplCont, SimplCont)
splitCont :: SimplCont -> (SimplCont, SimplCont)
splitCont cont :: SimplCont
cont@(ApplyToTy { sc_cont :: SimplCont -> SimplCont
sc_cont = SimplCont
tail }) = (SimplCont
cont { sc_cont :: SimplCont
sc_cont = SimplCont
inc }, SimplCont
outc)
where (SimplCont
inc,SimplCont
outc) = SimplCont -> (SimplCont, SimplCont)
splitCont SimplCont
tail
splitCont (CastIt Coercion
co SimplCont
c) = (Coercion -> SimplCont -> SimplCont
CastIt Coercion
co SimplCont
inc, SimplCont
outc)
where (SimplCont
inc,SimplCont
outc) = SimplCont -> (SimplCont, SimplCont)
splitCont SimplCont
c
splitCont SimplCont
other = (Kind -> SimplCont
mkBoringStop (SimplCont -> Kind
contHoleType SimplCont
other), SimplCont
other)
getDoneId :: SimplSR -> Id
getDoneId (DoneId Id
id) = Id
id
getDoneId (DoneEx CoreExpr
e Maybe Int
_) = (() :: Constraint) => CoreExpr -> Id
CoreExpr -> Id
getIdFromTrivialExpr CoreExpr
e
getDoneId SimplSR
other = String -> SDoc -> Id
forall a. HasCallStack => String -> SDoc -> a
pprPanic String
"getDoneId" (SimplSR -> SDoc
forall a. Outputable a => a -> SDoc
ppr SimplSR
other)
rebuild :: SimplEnv -> OutExpr -> SimplCont -> SimplM (SimplFloats, OutExpr)
rebuild :: SimplEnv -> CoreExpr -> SimplCont -> SimplM (SimplFloats, CoreExpr)
rebuild SimplEnv
env CoreExpr
expr SimplCont
cont
= case SimplCont
cont of
Stop {} -> (SimplFloats, CoreExpr) -> SimplM (SimplFloats, CoreExpr)
forall a. a -> SimplM a
forall (m :: * -> *) a. Monad m => a -> m a
return (SimplEnv -> SimplFloats
emptyFloats SimplEnv
env, CoreExpr
expr)
TickIt CoreTickish
t SimplCont
cont -> SimplEnv -> CoreExpr -> SimplCont -> SimplM (SimplFloats, CoreExpr)
rebuild SimplEnv
env (CoreTickish -> CoreExpr -> CoreExpr
mkTick CoreTickish
t CoreExpr
expr) SimplCont
cont
CastIt Coercion
co SimplCont
cont -> SimplEnv -> CoreExpr -> SimplCont -> SimplM (SimplFloats, CoreExpr)
rebuild SimplEnv
env (CoreExpr -> Coercion -> CoreExpr
mkCast CoreExpr
expr Coercion
co) SimplCont
cont
Select { sc_bndr :: SimplCont -> Id
sc_bndr = Id
bndr, sc_alts :: SimplCont -> [Alt Id]
sc_alts = [Alt Id]
alts, sc_env :: SimplCont -> SimplEnv
sc_env = SimplEnv
se, sc_cont :: SimplCont -> SimplCont
sc_cont = SimplCont
cont }
-> SimplEnv
-> CoreExpr
-> Id
-> [Alt Id]
-> SimplCont
-> SimplM (SimplFloats, CoreExpr)
rebuildCase (SimplEnv
se SimplEnv -> SimplEnv -> SimplEnv
`setInScopeFromE` SimplEnv
env) CoreExpr
expr Id
bndr [Alt Id]
alts SimplCont
cont
StrictArg { sc_fun :: SimplCont -> ArgInfo
sc_fun = ArgInfo
fun, sc_cont :: SimplCont -> SimplCont
sc_cont = SimplCont
cont, sc_fun_ty :: SimplCont -> Kind
sc_fun_ty = Kind
fun_ty }
-> SimplEnv -> ArgInfo -> SimplCont -> SimplM (SimplFloats, CoreExpr)
rebuildCall SimplEnv
env (ArgInfo -> CoreExpr -> Kind -> ArgInfo
addValArgTo ArgInfo
fun CoreExpr
expr Kind
fun_ty ) SimplCont
cont
StrictBind { sc_bndr :: SimplCont -> Id
sc_bndr = Id
b, sc_body :: SimplCont -> CoreExpr
sc_body = CoreExpr
body
, sc_env :: SimplCont -> SimplEnv
sc_env = SimplEnv
se, sc_cont :: SimplCont -> SimplCont
sc_cont = SimplCont
cont }
-> do { (SimplFloats
floats1, SimplEnv
env') <- SimplEnv -> Id -> CoreExpr -> SimplM (SimplFloats, SimplEnv)
simplNonRecX (SimplEnv
se SimplEnv -> SimplEnv -> SimplEnv
`setInScopeFromE` SimplEnv
env) Id
b CoreExpr
expr
; (SimplFloats
floats2, CoreExpr
expr') <- SimplEnv -> CoreExpr -> SimplCont -> SimplM (SimplFloats, CoreExpr)
simplLam SimplEnv
env' CoreExpr
body SimplCont
cont
; (SimplFloats, CoreExpr) -> SimplM (SimplFloats, CoreExpr)
forall a. a -> SimplM a
forall (m :: * -> *) a. Monad m => a -> m a
return (SimplFloats
floats1 SimplFloats -> SimplFloats -> SimplFloats
`addFloats` SimplFloats
floats2, CoreExpr
expr') }
ApplyToTy { sc_arg_ty :: SimplCont -> Kind
sc_arg_ty = Kind
ty, sc_cont :: SimplCont -> SimplCont
sc_cont = SimplCont
cont}
-> SimplEnv -> CoreExpr -> SimplCont -> SimplM (SimplFloats, CoreExpr)
rebuild SimplEnv
env (CoreExpr -> CoreExpr -> CoreExpr
forall b. Expr b -> Expr b -> Expr b
App CoreExpr
expr (Kind -> CoreExpr
forall b. Kind -> Expr b
Type Kind
ty)) SimplCont
cont
ApplyToVal { sc_arg :: SimplCont -> CoreExpr
sc_arg = CoreExpr
arg, sc_env :: SimplCont -> SimplEnv
sc_env = SimplEnv
se, sc_dup :: SimplCont -> DupFlag
sc_dup = DupFlag
dup_flag, sc_cont :: SimplCont -> SimplCont
sc_cont = SimplCont
cont}
-> do { (DupFlag
_, SimplEnv
_, CoreExpr
arg') <- SimplEnv
-> DupFlag
-> SimplEnv
-> CoreExpr
-> SimplM (DupFlag, SimplEnv, CoreExpr)
simplArg SimplEnv
env DupFlag
dup_flag SimplEnv
se CoreExpr
arg
; SimplEnv -> CoreExpr -> SimplCont -> SimplM (SimplFloats, CoreExpr)
rebuild SimplEnv
env (CoreExpr -> CoreExpr -> CoreExpr
forall b. Expr b -> Expr b -> Expr b
App CoreExpr
expr CoreExpr
arg') SimplCont
cont }
simplCast :: SimplEnv -> InExpr -> Coercion -> SimplCont
-> SimplM (SimplFloats, OutExpr)
simplCast :: SimplEnv
-> CoreExpr
-> Coercion
-> SimplCont
-> SimplM (SimplFloats, CoreExpr)
simplCast SimplEnv
env CoreExpr
body Coercion
co0 SimplCont
cont0
= do { Coercion
co1 <- {-#SCC "simplCast-simplCoercion" #-} SimplEnv -> Coercion -> SimplM Coercion
simplCoercion SimplEnv
env Coercion
co0
; SimplCont
cont1 <- {-#SCC "simplCast-addCoerce" #-}
if Coercion -> Bool
isReflCo Coercion
co1
then SimplCont -> SimplM SimplCont
forall a. a -> SimplM a
forall (m :: * -> *) a. Monad m => a -> m a
return SimplCont
cont0
else Coercion -> SimplCont -> SimplM SimplCont
addCoerce Coercion
co1 SimplCont
cont0
; {-#SCC "simplCast-simplExprF" #-} SimplEnv -> CoreExpr -> SimplCont -> SimplM (SimplFloats, CoreExpr)
simplExprF SimplEnv
env CoreExpr
body SimplCont
cont1 }
where
addCoerceM :: MOutCoercion -> SimplCont -> SimplM SimplCont
addCoerceM :: MOutCoercion -> SimplCont -> SimplM SimplCont
addCoerceM MOutCoercion
MRefl SimplCont
cont = SimplCont -> SimplM SimplCont
forall a. a -> SimplM a
forall (m :: * -> *) a. Monad m => a -> m a
return SimplCont
cont
addCoerceM (MCo Coercion
co) SimplCont
cont = Coercion -> SimplCont -> SimplM SimplCont
addCoerce Coercion
co SimplCont
cont
addCoerce :: OutCoercion -> SimplCont -> SimplM SimplCont
addCoerce :: Coercion -> SimplCont -> SimplM SimplCont
addCoerce Coercion
co1 (CastIt Coercion
co2 SimplCont
cont)
| Coercion -> Bool
isReflexiveCo Coercion
co' = SimplCont -> SimplM SimplCont
forall a. a -> SimplM a
forall (m :: * -> *) a. Monad m => a -> m a
return SimplCont
cont
| Bool
otherwise = Coercion -> SimplCont -> SimplM SimplCont
addCoerce Coercion
co' SimplCont
cont
where
co' :: Coercion
co' = Coercion -> Coercion -> Coercion
mkTransCo Coercion
co1 Coercion
co2
addCoerce Coercion
co (ApplyToTy { sc_arg_ty :: SimplCont -> Kind
sc_arg_ty = Kind
arg_ty, sc_cont :: SimplCont -> SimplCont
sc_cont = SimplCont
tail })
| Just (Kind
arg_ty', MOutCoercion
m_co') <- Coercion -> Kind -> Maybe (Kind, MOutCoercion)
pushCoTyArg Coercion
co Kind
arg_ty
= {-#SCC "addCoerce-pushCoTyArg" #-}
do { SimplCont
tail' <- MOutCoercion -> SimplCont -> SimplM SimplCont
addCoerceM MOutCoercion
m_co' SimplCont
tail
; SimplCont -> SimplM SimplCont
forall a. a -> SimplM a
forall (m :: * -> *) a. Monad m => a -> m a
return (ApplyToTy { sc_arg_ty :: Kind
sc_arg_ty = Kind
arg_ty'
, sc_cont :: SimplCont
sc_cont = SimplCont
tail'
, sc_hole_ty :: Kind
sc_hole_ty = Coercion -> Kind
coercionLKind Coercion
co }) }
addCoerce Coercion
co cont :: SimplCont
cont@(ApplyToVal { sc_arg :: SimplCont -> CoreExpr
sc_arg = CoreExpr
arg, sc_env :: SimplCont -> SimplEnv
sc_env = SimplEnv
arg_se
, sc_dup :: SimplCont -> DupFlag
sc_dup = DupFlag
dup, sc_cont :: SimplCont -> SimplCont
sc_cont = SimplCont
tail })
| Just (MOutCoercion
m_co1, MOutCoercion
m_co2) <- Coercion -> Maybe (MOutCoercion, MOutCoercion)
pushCoValArg Coercion
co
, MOutCoercion -> Bool
fixed_rep MOutCoercion
m_co1
= {-#SCC "addCoerce-pushCoValArg" #-}
do { SimplCont
tail' <- MOutCoercion -> SimplCont -> SimplM SimplCont
addCoerceM MOutCoercion
m_co2 SimplCont
tail
; case MOutCoercion
m_co1 of {
MOutCoercion
MRefl -> SimplCont -> SimplM SimplCont
forall a. a -> SimplM a
forall (m :: * -> *) a. Monad m => a -> m a
return (SimplCont
cont { sc_cont :: SimplCont
sc_cont = SimplCont
tail'
, sc_hole_ty :: Kind
sc_hole_ty = Coercion -> Kind
coercionLKind Coercion
co }) ;
MCo Coercion
co1 ->
do { (DupFlag
dup', SimplEnv
arg_se', CoreExpr
arg') <- SimplEnv
-> DupFlag
-> SimplEnv
-> CoreExpr
-> SimplM (DupFlag, SimplEnv, CoreExpr)
simplArg SimplEnv
env DupFlag
dup SimplEnv
arg_se CoreExpr
arg
; SimplCont -> SimplM SimplCont
forall a. a -> SimplM a
forall (m :: * -> *) a. Monad m => a -> m a
return (ApplyToVal { sc_arg :: CoreExpr
sc_arg = CoreExpr -> Coercion -> CoreExpr
mkCast CoreExpr
arg' Coercion
co1
, sc_env :: SimplEnv
sc_env = SimplEnv
arg_se'
, sc_dup :: DupFlag
sc_dup = DupFlag
dup'
, sc_cont :: SimplCont
sc_cont = SimplCont
tail'
, sc_hole_ty :: Kind
sc_hole_ty = Coercion -> Kind
coercionLKind Coercion
co }) } } }
addCoerce Coercion
co SimplCont
cont
| Coercion -> Bool
isReflexiveCo Coercion
co = SimplCont -> SimplM SimplCont
forall a. a -> SimplM a
forall (m :: * -> *) a. Monad m => a -> m a
return SimplCont
cont
| Bool
otherwise = SimplCont -> SimplM SimplCont
forall a. a -> SimplM a
forall (m :: * -> *) a. Monad m => a -> m a
return (Coercion -> SimplCont -> SimplCont
CastIt Coercion
co SimplCont
cont)
fixed_rep :: MCoercionR -> Bool
fixed_rep :: MOutCoercion -> Bool
fixed_rep MOutCoercion
MRefl = Bool
True
fixed_rep (MCo Coercion
co) = Kind -> Bool
typeHasFixedRuntimeRep (Kind -> Bool) -> Kind -> Bool
forall a b. (a -> b) -> a -> b
$ Coercion -> Kind
coercionRKind Coercion
co
simplArg :: SimplEnv -> DupFlag -> StaticEnv -> CoreExpr
-> SimplM (DupFlag, StaticEnv, OutExpr)
simplArg :: SimplEnv
-> DupFlag
-> SimplEnv
-> CoreExpr
-> SimplM (DupFlag, SimplEnv, CoreExpr)
simplArg SimplEnv
env DupFlag
dup_flag SimplEnv
arg_env CoreExpr
arg
| DupFlag -> Bool
isSimplified DupFlag
dup_flag
= (DupFlag, SimplEnv, CoreExpr)
-> SimplM (DupFlag, SimplEnv, CoreExpr)
forall a. a -> SimplM a
forall (m :: * -> *) a. Monad m => a -> m a
return (DupFlag
dup_flag, SimplEnv
arg_env, CoreExpr
arg)
| Bool
otherwise
= do { let arg_env' :: SimplEnv
arg_env' = SimplEnv
arg_env SimplEnv -> SimplEnv -> SimplEnv
`setInScopeFromE` SimplEnv
env
; CoreExpr
arg' <- SimplEnv -> CoreExpr -> SimplM CoreExpr
simplExpr SimplEnv
arg_env' CoreExpr
arg
; (DupFlag, SimplEnv, CoreExpr)
-> SimplM (DupFlag, SimplEnv, CoreExpr)
forall a. a -> SimplM a
forall (m :: * -> *) a. Monad m => a -> m a
return (DupFlag
Simplified, SimplEnv -> SimplEnv
zapSubstEnv SimplEnv
arg_env', CoreExpr
arg') }
simplLam :: SimplEnv -> InExpr -> SimplCont
-> SimplM (SimplFloats, OutExpr)
simplLam :: SimplEnv -> CoreExpr -> SimplCont -> SimplM (SimplFloats, CoreExpr)
simplLam SimplEnv
env (Lam Id
bndr CoreExpr
body) SimplCont
cont = SimplEnv
-> Id -> CoreExpr -> SimplCont -> SimplM (SimplFloats, CoreExpr)
simpl_lam SimplEnv
env Id
bndr CoreExpr
body SimplCont
cont
simplLam SimplEnv
env CoreExpr
expr SimplCont
cont = SimplEnv -> CoreExpr -> SimplCont -> SimplM (SimplFloats, CoreExpr)
simplExprF SimplEnv
env CoreExpr
expr SimplCont
cont
simpl_lam :: SimplEnv -> InBndr -> InExpr -> SimplCont
-> SimplM (SimplFloats, OutExpr)
simpl_lam :: SimplEnv
-> Id -> CoreExpr -> SimplCont -> SimplM (SimplFloats, CoreExpr)
simpl_lam SimplEnv
env Id
bndr CoreExpr
body (ApplyToTy { sc_arg_ty :: SimplCont -> Kind
sc_arg_ty = Kind
arg_ty, sc_cont :: SimplCont -> SimplCont
sc_cont = SimplCont
cont })
= do { Tick -> SimplM ()
tick (Id -> Tick
BetaReduction Id
bndr)
; SimplEnv -> CoreExpr -> SimplCont -> SimplM (SimplFloats, CoreExpr)
simplLam (SimplEnv -> Id -> Kind -> SimplEnv
extendTvSubst SimplEnv
env Id
bndr Kind
arg_ty) CoreExpr
body SimplCont
cont }
simpl_lam SimplEnv
env Id
bndr CoreExpr
body (ApplyToVal { sc_arg :: SimplCont -> CoreExpr
sc_arg = CoreExpr
arg, sc_env :: SimplCont -> SimplEnv
sc_env = SimplEnv
arg_se
, sc_cont :: SimplCont -> SimplCont
sc_cont = SimplCont
cont, sc_dup :: SimplCont -> DupFlag
sc_dup = DupFlag
dup })
| DupFlag -> Bool
isSimplified DupFlag
dup
= do { Tick -> SimplM ()
tick (Id -> Tick
BetaReduction Id
bndr)
; (SimplFloats
floats1, SimplEnv
env') <- SimplEnv -> Id -> CoreExpr -> SimplM (SimplFloats, SimplEnv)
simplNonRecX SimplEnv
env Id
bndr CoreExpr
arg
; (SimplFloats
floats2, CoreExpr
expr') <- SimplEnv -> CoreExpr -> SimplCont -> SimplM (SimplFloats, CoreExpr)
simplLam SimplEnv
env' CoreExpr
body SimplCont
cont
; (SimplFloats, CoreExpr) -> SimplM (SimplFloats, CoreExpr)
forall a. a -> SimplM a
forall (m :: * -> *) a. Monad m => a -> m a
return (SimplFloats
floats1 SimplFloats -> SimplFloats -> SimplFloats
`addFloats` SimplFloats
floats2, CoreExpr
expr') }
| Bool
otherwise
= do { Tick -> SimplM ()
tick (Id -> Tick
BetaReduction Id
bndr)
; SimplEnv
-> Id
-> (CoreExpr, SimplEnv)
-> CoreExpr
-> SimplCont
-> SimplM (SimplFloats, CoreExpr)
simplNonRecE SimplEnv
env Id
bndr (CoreExpr
arg, SimplEnv
arg_se) CoreExpr
body SimplCont
cont }
simpl_lam SimplEnv
env Id
bndr CoreExpr
body (TickIt CoreTickish
tickish SimplCont
cont)
| Bool -> Bool
not (CoreTickish -> Bool
forall (pass :: TickishPass). GenTickish pass -> Bool
tickishCounts CoreTickish
tickish)
= SimplEnv
-> Id -> CoreExpr -> SimplCont -> SimplM (SimplFloats, CoreExpr)
simpl_lam SimplEnv
env Id
bndr CoreExpr
body SimplCont
cont
simpl_lam SimplEnv
env Id
bndr CoreExpr
body SimplCont
cont
= do { let ([Id]
inner_bndrs, CoreExpr
inner_body) = CoreExpr -> ([Id], CoreExpr)
forall b. Expr b -> ([b], Expr b)
collectBinders CoreExpr
body
; (SimplEnv
env', [Id]
bndrs') <- SimplEnv -> [Id] -> SimplM (SimplEnv, [Id])
simplLamBndrs SimplEnv
env (Id
bndrId -> [Id] -> [Id]
forall a. a -> [a] -> [a]
:[Id]
inner_bndrs)
; CoreExpr
body' <- SimplEnv -> CoreExpr -> SimplM CoreExpr
simplExpr SimplEnv
env' CoreExpr
inner_body
; CoreExpr
new_lam <- SimplEnv -> [Id] -> CoreExpr -> SimplCont -> SimplM CoreExpr
mkLam SimplEnv
env' [Id]
bndrs' CoreExpr
body' SimplCont
cont
; SimplEnv -> CoreExpr -> SimplCont -> SimplM (SimplFloats, CoreExpr)
rebuild SimplEnv
env' CoreExpr
new_lam SimplCont
cont }
simplLamBndr :: SimplEnv -> InBndr -> SimplM (SimplEnv, OutBndr)
simplLamBndr :: SimplEnv -> Id -> SimplM (SimplEnv, Id)
simplLamBndr SimplEnv
env Id
bndr = SimplEnv -> Id -> SimplM (SimplEnv, Id)
simplBinder SimplEnv
env Id
bndr
simplLamBndrs :: SimplEnv -> [InBndr] -> SimplM (SimplEnv, [OutBndr])
simplLamBndrs :: SimplEnv -> [Id] -> SimplM (SimplEnv, [Id])
simplLamBndrs SimplEnv
env [Id]
bndrs = (SimplEnv -> Id -> SimplM (SimplEnv, Id))
-> SimplEnv -> [Id] -> SimplM (SimplEnv, [Id])
forall (m :: * -> *) acc x y.
Monad m =>
(acc -> x -> m (acc, y)) -> acc -> [x] -> m (acc, [y])
mapAccumLM SimplEnv -> Id -> SimplM (SimplEnv, Id)
simplLamBndr SimplEnv
env [Id]
bndrs
simplNonRecE :: SimplEnv
-> InId
-> (InExpr, SimplEnv)
-> InExpr
-> SimplCont
-> SimplM (SimplFloats, OutExpr)
simplNonRecE :: SimplEnv
-> Id
-> (CoreExpr, SimplEnv)
-> CoreExpr
-> SimplCont
-> SimplM (SimplFloats, CoreExpr)
simplNonRecE SimplEnv
env Id
bndr (CoreExpr
rhs, SimplEnv
rhs_se) CoreExpr
body SimplCont
cont
| Bool -> Bool -> Bool
forall a. HasCallStack => Bool -> a -> a
assert (Id -> Bool
isId Id
bndr Bool -> Bool -> Bool
&& Bool -> Bool
not (Id -> Bool
isJoinId Id
bndr) ) Bool
True
, Just SimplEnv
env' <- SimplEnv
-> TopLevelFlag -> Id -> CoreExpr -> SimplEnv -> Maybe SimplEnv
preInlineUnconditionally SimplEnv
env TopLevelFlag
NotTopLevel Id
bndr CoreExpr
rhs SimplEnv
rhs_se
= do { Tick -> SimplM ()
tick (Id -> Tick
PreInlineUnconditionally Id
bndr)
;
SimplEnv -> CoreExpr -> SimplCont -> SimplM (SimplFloats, CoreExpr)
simplLam SimplEnv
env' CoreExpr
body SimplCont
cont }
| Bool
otherwise
= do { (SimplEnv
env1, Id
bndr1) <- SimplEnv -> Id -> SimplM (SimplEnv, Id)
simplNonRecBndr SimplEnv
env Id
bndr
; if Id -> Bool
isStrictId Id
bndr1 Bool -> Bool -> Bool
&& SimplMode -> Bool
sm_case_case (SimplEnv -> SimplMode
getMode SimplEnv
env)
then SimplEnv -> CoreExpr -> SimplCont -> SimplM (SimplFloats, CoreExpr)
simplExprF (SimplEnv
rhs_se SimplEnv -> SimplEnv -> SimplEnv
`setInScopeFromE` SimplEnv
env) CoreExpr
rhs
(StrictBind { sc_bndr :: Id
sc_bndr = Id
bndr, sc_body :: CoreExpr
sc_body = CoreExpr
body
, sc_env :: SimplEnv
sc_env = SimplEnv
env, sc_cont :: SimplCont
sc_cont = SimplCont
cont, sc_dup :: DupFlag
sc_dup = DupFlag
NoDup })
else do
{ (SimplEnv
env2, Id
bndr2) <- SimplEnv -> Id -> Id -> BindContext -> SimplM (SimplEnv, Id)
addBndrRules SimplEnv
env1 Id
bndr Id
bndr1 (TopLevelFlag -> RecFlag -> BindContext
BC_Let TopLevelFlag
NotTopLevel RecFlag
NonRecursive)
; (SimplFloats
floats1, SimplEnv
env3) <- SimplEnv
-> TopLevelFlag
-> RecFlag
-> Id
-> Id
-> CoreExpr
-> SimplEnv
-> SimplM (SimplFloats, SimplEnv)
simplLazyBind SimplEnv
env2 TopLevelFlag
NotTopLevel RecFlag
NonRecursive Id
bndr Id
bndr2 CoreExpr
rhs SimplEnv
rhs_se
; (SimplFloats
floats2, CoreExpr
expr') <- SimplEnv -> CoreExpr -> SimplCont -> SimplM (SimplFloats, CoreExpr)
simplLam SimplEnv
env3 CoreExpr
body SimplCont
cont
; (SimplFloats, CoreExpr) -> SimplM (SimplFloats, CoreExpr)
forall a. a -> SimplM a
forall (m :: * -> *) a. Monad m => a -> m a
return (SimplFloats
floats1 SimplFloats -> SimplFloats -> SimplFloats
`addFloats` SimplFloats
floats2, CoreExpr
expr') } }
simplRecE :: SimplEnv
-> [(InId, InExpr)]
-> InExpr
-> SimplCont
-> SimplM (SimplFloats, OutExpr)
simplRecE :: SimplEnv
-> [(Id, CoreExpr)]
-> CoreExpr
-> SimplCont
-> SimplM (SimplFloats, CoreExpr)
simplRecE SimplEnv
env [(Id, CoreExpr)]
pairs CoreExpr
body SimplCont
cont
= do { let bndrs :: [Id]
bndrs = ((Id, CoreExpr) -> Id) -> [(Id, CoreExpr)] -> [Id]
forall a b. (a -> b) -> [a] -> [b]
map (Id, CoreExpr) -> Id
forall a b. (a, b) -> a
fst [(Id, CoreExpr)]
pairs
; Bool -> SimplM ()
forall (m :: * -> *). (HasCallStack, Applicative m) => Bool -> m ()
massert ((Id -> Bool) -> [Id] -> Bool
forall (t :: * -> *) a. Foldable t => (a -> Bool) -> t a -> Bool
all (Bool -> Bool
not (Bool -> Bool) -> (Id -> Bool) -> Id -> Bool
forall b c a. (b -> c) -> (a -> b) -> a -> c
. Id -> Bool
isJoinId) [Id]
bndrs)
; SimplEnv
env1 <- SimplEnv -> [Id] -> SimplM SimplEnv
simplRecBndrs SimplEnv
env [Id]
bndrs
; (SimplFloats
floats1, SimplEnv
env2) <- SimplEnv
-> BindContext
-> [(Id, CoreExpr)]
-> SimplM (SimplFloats, SimplEnv)
simplRecBind SimplEnv
env1 (TopLevelFlag -> RecFlag -> BindContext
BC_Let TopLevelFlag
NotTopLevel RecFlag
Recursive) [(Id, CoreExpr)]
pairs
; (SimplFloats
floats2, CoreExpr
expr') <- SimplEnv -> CoreExpr -> SimplCont -> SimplM (SimplFloats, CoreExpr)
simplExprF SimplEnv
env2 CoreExpr
body SimplCont
cont
; (SimplFloats, CoreExpr) -> SimplM (SimplFloats, CoreExpr)
forall a. a -> SimplM a
forall (m :: * -> *) a. Monad m => a -> m a
return (SimplFloats
floats1 SimplFloats -> SimplFloats -> SimplFloats
`addFloats` SimplFloats
floats2, CoreExpr
expr') }
simplNonRecJoinPoint :: SimplEnv -> InId -> InExpr
-> InExpr -> SimplCont
-> SimplM (SimplFloats, OutExpr)
simplNonRecJoinPoint :: SimplEnv
-> Id
-> CoreExpr
-> CoreExpr
-> SimplCont
-> SimplM (SimplFloats, CoreExpr)
simplNonRecJoinPoint SimplEnv
env Id
bndr CoreExpr
rhs CoreExpr
body SimplCont
cont
| Bool -> Bool -> Bool
forall a. HasCallStack => Bool -> a -> a
assert (Id -> Bool
isJoinId Id
bndr ) Bool
True
, Just SimplEnv
env' <- SimplEnv
-> TopLevelFlag -> Id -> CoreExpr -> SimplEnv -> Maybe SimplEnv
preInlineUnconditionally SimplEnv
env TopLevelFlag
NotTopLevel Id
bndr CoreExpr
rhs SimplEnv
env
= do { Tick -> SimplM ()
tick (Id -> Tick
PreInlineUnconditionally Id
bndr)
; SimplEnv -> CoreExpr -> SimplCont -> SimplM (SimplFloats, CoreExpr)
simplExprF SimplEnv
env' CoreExpr
body SimplCont
cont }
| Bool
otherwise
= SimplEnv
-> SimplCont
-> (SimplEnv -> SimplCont -> SimplM (SimplFloats, CoreExpr))
-> SimplM (SimplFloats, CoreExpr)
wrapJoinCont SimplEnv
env SimplCont
cont ((SimplEnv -> SimplCont -> SimplM (SimplFloats, CoreExpr))
-> SimplM (SimplFloats, CoreExpr))
-> (SimplEnv -> SimplCont -> SimplM (SimplFloats, CoreExpr))
-> SimplM (SimplFloats, CoreExpr)
forall a b. (a -> b) -> a -> b
$ \ SimplEnv
env SimplCont
cont ->
do {
; let mult :: Kind
mult = SimplCont -> Kind
contHoleScaling SimplCont
cont
res_ty :: Kind
res_ty = SimplCont -> Kind
contResultType SimplCont
cont
; (SimplEnv
env1, Id
bndr1) <- SimplEnv -> Id -> Kind -> Kind -> SimplM (SimplEnv, Id)
simplNonRecJoinBndr SimplEnv
env Id
bndr Kind
mult Kind
res_ty
; (SimplEnv
env2, Id
bndr2) <- SimplEnv -> Id -> Id -> BindContext -> SimplM (SimplEnv, Id)
addBndrRules SimplEnv
env1 Id
bndr Id
bndr1 (SimplCont -> BindContext
BC_Join SimplCont
cont)
; (SimplFloats
floats1, SimplEnv
env3) <- SimplEnv
-> SimplCont
-> Id
-> Id
-> CoreExpr
-> SimplEnv
-> SimplM (SimplFloats, SimplEnv)
simplJoinBind SimplEnv
env2 SimplCont
cont Id
bndr Id
bndr2 CoreExpr
rhs SimplEnv
env
; (SimplFloats
floats2, CoreExpr
body') <- SimplEnv -> CoreExpr -> SimplCont -> SimplM (SimplFloats, CoreExpr)
simplExprF SimplEnv
env3 CoreExpr
body SimplCont
cont
; (SimplFloats, CoreExpr) -> SimplM (SimplFloats, CoreExpr)
forall a. a -> SimplM a
forall (m :: * -> *) a. Monad m => a -> m a
return (SimplFloats
floats1 SimplFloats -> SimplFloats -> SimplFloats
`addFloats` SimplFloats
floats2, CoreExpr
body') }
simplRecJoinPoint :: SimplEnv -> [(InId, InExpr)]
-> InExpr -> SimplCont
-> SimplM (SimplFloats, OutExpr)
simplRecJoinPoint :: SimplEnv
-> [(Id, CoreExpr)]
-> CoreExpr
-> SimplCont
-> SimplM (SimplFloats, CoreExpr)
simplRecJoinPoint SimplEnv
env [(Id, CoreExpr)]
pairs CoreExpr
body SimplCont
cont
= SimplEnv
-> SimplCont
-> (SimplEnv -> SimplCont -> SimplM (SimplFloats, CoreExpr))
-> SimplM (SimplFloats, CoreExpr)
wrapJoinCont SimplEnv
env SimplCont
cont ((SimplEnv -> SimplCont -> SimplM (SimplFloats, CoreExpr))
-> SimplM (SimplFloats, CoreExpr))
-> (SimplEnv -> SimplCont -> SimplM (SimplFloats, CoreExpr))
-> SimplM (SimplFloats, CoreExpr)
forall a b. (a -> b) -> a -> b
$ \ SimplEnv
env SimplCont
cont ->
do { let bndrs :: [Id]
bndrs = ((Id, CoreExpr) -> Id) -> [(Id, CoreExpr)] -> [Id]
forall a b. (a -> b) -> [a] -> [b]
map (Id, CoreExpr) -> Id
forall a b. (a, b) -> a
fst [(Id, CoreExpr)]
pairs
mult :: Kind
mult = SimplCont -> Kind
contHoleScaling SimplCont
cont
res_ty :: Kind
res_ty = SimplCont -> Kind
contResultType SimplCont
cont
; SimplEnv
env1 <- SimplEnv -> [Id] -> Kind -> Kind -> SimplM SimplEnv
simplRecJoinBndrs SimplEnv
env [Id]
bndrs Kind
mult Kind
res_ty
; (SimplFloats
floats1, SimplEnv
env2) <- SimplEnv
-> BindContext
-> [(Id, CoreExpr)]
-> SimplM (SimplFloats, SimplEnv)
simplRecBind SimplEnv
env1 (SimplCont -> BindContext
BC_Join SimplCont
cont) [(Id, CoreExpr)]
pairs
; (SimplFloats
floats2, CoreExpr
body') <- SimplEnv -> CoreExpr -> SimplCont -> SimplM (SimplFloats, CoreExpr)
simplExprF SimplEnv
env2 CoreExpr
body SimplCont
cont
; (SimplFloats, CoreExpr) -> SimplM (SimplFloats, CoreExpr)
forall a. a -> SimplM a
forall (m :: * -> *) a. Monad m => a -> m a
return (SimplFloats
floats1 SimplFloats -> SimplFloats -> SimplFloats
`addFloats` SimplFloats
floats2, CoreExpr
body') }
wrapJoinCont :: SimplEnv -> SimplCont
-> (SimplEnv -> SimplCont -> SimplM (SimplFloats, OutExpr))
-> SimplM (SimplFloats, OutExpr)
wrapJoinCont :: SimplEnv
-> SimplCont
-> (SimplEnv -> SimplCont -> SimplM (SimplFloats, CoreExpr))
-> SimplM (SimplFloats, CoreExpr)
wrapJoinCont SimplEnv
env SimplCont
cont SimplEnv -> SimplCont -> SimplM (SimplFloats, CoreExpr)
thing_inside
| SimplCont -> Bool
contIsStop SimplCont
cont
= SimplEnv -> SimplCont -> SimplM (SimplFloats, CoreExpr)
thing_inside SimplEnv
env SimplCont
cont
| Bool -> Bool
not (SimplMode -> Bool
sm_case_case (SimplEnv -> SimplMode
getMode SimplEnv
env))
= do { (SimplFloats
floats1, CoreExpr
expr1) <- SimplEnv -> SimplCont -> SimplM (SimplFloats, CoreExpr)
thing_inside SimplEnv
env (Kind -> SimplCont
mkBoringStop (SimplCont -> Kind
contHoleType SimplCont
cont))
; let (SimplFloats
floats2, CoreExpr
expr2) = SimplFloats -> CoreExpr -> (SimplFloats, CoreExpr)
wrapJoinFloatsX SimplFloats
floats1 CoreExpr
expr1
; (SimplFloats
floats3, CoreExpr
expr3) <- SimplEnv -> CoreExpr -> SimplCont -> SimplM (SimplFloats, CoreExpr)
rebuild (SimplEnv
env SimplEnv -> SimplFloats -> SimplEnv
`setInScopeFromF` SimplFloats
floats2) CoreExpr
expr2 SimplCont
cont
; (SimplFloats, CoreExpr) -> SimplM (SimplFloats, CoreExpr)
forall a. a -> SimplM a
forall (m :: * -> *) a. Monad m => a -> m a
return (SimplFloats
floats2 SimplFloats -> SimplFloats -> SimplFloats
`addFloats` SimplFloats
floats3, CoreExpr
expr3) }
| Bool
otherwise
= do { (SimplFloats
floats1, SimplCont
cont') <- SimplEnv -> SimplCont -> SimplM (SimplFloats, SimplCont)
mkDupableCont SimplEnv
env SimplCont
cont
; (SimplFloats
floats2, CoreExpr
result) <- SimplEnv -> SimplCont -> SimplM (SimplFloats, CoreExpr)
thing_inside (SimplEnv
env SimplEnv -> SimplFloats -> SimplEnv
`setInScopeFromF` SimplFloats
floats1) SimplCont
cont'
; (SimplFloats, CoreExpr) -> SimplM (SimplFloats, CoreExpr)
forall a. a -> SimplM a
forall (m :: * -> *) a. Monad m => a -> m a
return (SimplFloats
floats1 SimplFloats -> SimplFloats -> SimplFloats
`addFloats` SimplFloats
floats2, CoreExpr
result) }
trimJoinCont :: Id -> Maybe JoinArity -> SimplCont -> SimplCont
trimJoinCont :: Id -> Maybe Int -> SimplCont -> SimplCont
trimJoinCont Id
_ Maybe Int
Nothing SimplCont
cont
= SimplCont
cont
trimJoinCont Id
var (Just Int
arity) SimplCont
cont
= Int -> SimplCont -> SimplCont
trim Int
arity SimplCont
cont
where
trim :: Int -> SimplCont -> SimplCont
trim Int
0 cont :: SimplCont
cont@(Stop {})
= SimplCont
cont
trim Int
0 SimplCont
cont
= Kind -> SimplCont
mkBoringStop (SimplCont -> Kind
contResultType SimplCont
cont)
trim Int
n cont :: SimplCont
cont@(ApplyToVal { sc_cont :: SimplCont -> SimplCont
sc_cont = SimplCont
k })
= SimplCont
cont { sc_cont :: SimplCont
sc_cont = Int -> SimplCont -> SimplCont
trim (Int
nInt -> Int -> Int
forall a. Num a => a -> a -> a
-Int
1) SimplCont
k }
trim Int
n cont :: SimplCont
cont@(ApplyToTy { sc_cont :: SimplCont -> SimplCont
sc_cont = SimplCont
k })
= SimplCont
cont { sc_cont :: SimplCont
sc_cont = Int -> SimplCont -> SimplCont
trim (Int
nInt -> Int -> Int
forall a. Num a => a -> a -> a
-Int
1) SimplCont
k }
trim Int
_ SimplCont
cont
= String -> SDoc -> SimplCont
forall a. HasCallStack => String -> SDoc -> a
pprPanic String
"completeCall" (SDoc -> SimplCont) -> SDoc -> SimplCont
forall a b. (a -> b) -> a -> b
$ Id -> SDoc
forall a. Outputable a => a -> SDoc
ppr Id
var SDoc -> SDoc -> SDoc
$$ SimplCont -> SDoc
forall a. Outputable a => a -> SDoc
ppr SimplCont
cont
simplVar :: SimplEnv -> InVar -> SimplM OutExpr
simplVar :: SimplEnv -> Id -> SimplM CoreExpr
simplVar SimplEnv
env Id
var
| Id -> Bool
isTyVar Id
var = CoreExpr -> SimplM CoreExpr
forall a. a -> SimplM a
forall (m :: * -> *) a. Monad m => a -> m a
return (CoreExpr -> SimplM CoreExpr) -> CoreExpr -> SimplM CoreExpr
forall a b. (a -> b) -> a -> b
$! Kind -> CoreExpr
forall b. Kind -> Expr b
Type (Kind -> CoreExpr) -> Kind -> CoreExpr
forall a b. (a -> b) -> a -> b
$! (SimplEnv -> Id -> Kind
substTyVar SimplEnv
env Id
var)
| Id -> Bool
isCoVar Id
var = CoreExpr -> SimplM CoreExpr
forall a. a -> SimplM a
forall (m :: * -> *) a. Monad m => a -> m a
return (CoreExpr -> SimplM CoreExpr) -> CoreExpr -> SimplM CoreExpr
forall a b. (a -> b) -> a -> b
$! Coercion -> CoreExpr
forall b. Coercion -> Expr b
Coercion (Coercion -> CoreExpr) -> Coercion -> CoreExpr
forall a b. (a -> b) -> a -> b
$! (SimplEnv -> Id -> Coercion
substCoVar SimplEnv
env Id
var)
| Bool
otherwise
= case SimplEnv -> Id -> SimplSR
substId SimplEnv
env Id
var of
ContEx TvSubstEnv
tvs CvSubstEnv
cvs SimplIdSubst
ids CoreExpr
e -> let env' :: SimplEnv
env' = SimplEnv -> TvSubstEnv -> CvSubstEnv -> SimplIdSubst -> SimplEnv
setSubstEnv SimplEnv
env TvSubstEnv
tvs CvSubstEnv
cvs SimplIdSubst
ids
in SimplEnv -> CoreExpr -> SimplM CoreExpr
simplExpr SimplEnv
env' CoreExpr
e
DoneId Id
var1 -> CoreExpr -> SimplM CoreExpr
forall a. a -> SimplM a
forall (m :: * -> *) a. Monad m => a -> m a
return (Id -> CoreExpr
forall b. Id -> Expr b
Var Id
var1)
DoneEx CoreExpr
e Maybe Int
_ -> CoreExpr -> SimplM CoreExpr
forall a. a -> SimplM a
forall (m :: * -> *) a. Monad m => a -> m a
return CoreExpr
e
simplIdF :: SimplEnv -> InId -> SimplCont -> SimplM (SimplFloats, OutExpr)
simplIdF :: SimplEnv -> Id -> SimplCont -> SimplM (SimplFloats, CoreExpr)
simplIdF SimplEnv
env Id
var SimplCont
cont
= case SimplEnv -> Id -> SimplSR
substId SimplEnv
env Id
var of
ContEx TvSubstEnv
tvs CvSubstEnv
cvs SimplIdSubst
ids CoreExpr
e ->
let env' :: SimplEnv
env' = SimplEnv -> TvSubstEnv -> CvSubstEnv -> SimplIdSubst -> SimplEnv
setSubstEnv SimplEnv
env TvSubstEnv
tvs CvSubstEnv
cvs SimplIdSubst
ids
in SimplEnv -> CoreExpr -> SimplCont -> SimplM (SimplFloats, CoreExpr)
simplExprF SimplEnv
env' CoreExpr
e SimplCont
cont
DoneId Id
var1 ->
let cont' :: SimplCont
cont' = Id -> Maybe Int -> SimplCont -> SimplCont
trimJoinCont Id
var (Id -> Maybe Int
isJoinId_maybe Id
var1) SimplCont
cont
in SimplEnv -> Id -> SimplCont -> SimplM (SimplFloats, CoreExpr)
completeCall SimplEnv
env Id
var1 SimplCont
cont'
DoneEx CoreExpr
e Maybe Int
mb_join ->
let env' :: SimplEnv
env' = SimplEnv -> SimplEnv
zapSubstEnv SimplEnv
env
cont' :: SimplCont
cont' = Id -> Maybe Int -> SimplCont -> SimplCont
trimJoinCont Id
var Maybe Int
mb_join SimplCont
cont
in SimplEnv -> CoreExpr -> SimplCont -> SimplM (SimplFloats, CoreExpr)
simplExprF SimplEnv
env' CoreExpr
e SimplCont
cont'
completeCall :: SimplEnv -> OutId -> SimplCont -> SimplM (SimplFloats, OutExpr)
completeCall :: SimplEnv -> Id -> SimplCont -> SimplM (SimplFloats, CoreExpr)
completeCall SimplEnv
env Id
var SimplCont
cont
| Just CoreExpr
expr <- Logger
-> UnfoldingOpts
-> Int
-> Id
-> Bool
-> Bool
-> [ArgSummary]
-> CallCtxt
-> Maybe CoreExpr
callSiteInline Logger
logger UnfoldingOpts
uf_opts Int
case_depth Id
var Bool
active_unf
Bool
lone_variable [ArgSummary]
arg_infos CallCtxt
interesting_cont
= do { Tick -> SimplM ()
checkedTick (Id -> Tick
UnfoldingDone Id
var)
; CoreExpr -> SimplCont -> SimplM ()
dump_inline CoreExpr
expr SimplCont
cont
; let env1 :: SimplEnv
env1 = SimplEnv -> SimplEnv
zapSubstEnv SimplEnv
env
; SimplEnv -> CoreExpr -> SimplCont -> SimplM (SimplFloats, CoreExpr)
simplExprF SimplEnv
env1 CoreExpr
expr SimplCont
cont }
| Bool
otherwise
= do { RuleEnv
rule_base <- SimplM RuleEnv
getSimplRules
; let rules :: [CoreRule]
rules = RuleEnv -> Id -> [CoreRule]
getRules RuleEnv
rule_base Id
var
info :: ArgInfo
info = SimplEnv -> Id -> [CoreRule] -> Int -> SimplCont -> ArgInfo
mkArgInfo SimplEnv
env Id
var [CoreRule]
rules
Int
n_val_args SimplCont
call_cont
; SimplEnv -> ArgInfo -> SimplCont -> SimplM (SimplFloats, CoreExpr)
rebuildCall SimplEnv
env ArgInfo
info SimplCont
cont }
where
uf_opts :: UnfoldingOpts
uf_opts = SimplEnv -> UnfoldingOpts
seUnfoldingOpts SimplEnv
env
case_depth :: Int
case_depth = SimplEnv -> Int
seCaseDepth SimplEnv
env
logger :: Logger
logger = SimplEnv -> Logger
seLogger SimplEnv
env
(Bool
lone_variable, [ArgSummary]
arg_infos, SimplCont
call_cont) = SimplCont -> (Bool, [ArgSummary], SimplCont)
contArgs SimplCont
cont
n_val_args :: Int
n_val_args = [ArgSummary] -> Int
forall a. [a] -> Int
forall (t :: * -> *) a. Foldable t => t a -> Int
length [ArgSummary]
arg_infos
interesting_cont :: CallCtxt
interesting_cont = SimplEnv -> SimplCont -> CallCtxt
interestingCallContext SimplEnv
env SimplCont
call_cont
active_unf :: Bool
active_unf = SimplMode -> Id -> Bool
activeUnfolding (SimplEnv -> SimplMode
getMode SimplEnv
env) Id
var
log_inlining :: SDoc -> SimplM ()
log_inlining SDoc
doc
= IO () -> SimplM ()
forall a. IO a -> SimplM a
forall (m :: * -> *) a. MonadIO m => IO a -> m a
liftIO (IO () -> SimplM ()) -> IO () -> SimplM ()
forall a b. (a -> b) -> a -> b
$ Logger
-> PprStyle -> DumpFlag -> String -> DumpFormat -> SDoc -> IO ()
logDumpFile Logger
logger (PrintUnqualified -> PprStyle
mkDumpStyle PrintUnqualified
alwaysQualify)
DumpFlag
Opt_D_dump_inlinings
String
"" DumpFormat
FormatText SDoc
doc
dump_inline :: CoreExpr -> SimplCont -> SimplM ()
dump_inline CoreExpr
unfolding SimplCont
cont
| Bool -> Bool
not (Logger -> DumpFlag -> Bool
logHasDumpFlag Logger
logger DumpFlag
Opt_D_dump_inlinings) = () -> SimplM ()
forall a. a -> SimplM a
forall (m :: * -> *) a. Monad m => a -> m a
return ()
| Bool -> Bool
not (Logger -> DumpFlag -> Bool
logHasDumpFlag Logger
logger DumpFlag
Opt_D_verbose_core2core)
= Bool -> SimplM () -> SimplM ()
forall (f :: * -> *). Applicative f => Bool -> f () -> f ()
when (Name -> Bool
isExternalName (Id -> Name
idName Id
var)) (SimplM () -> SimplM ()) -> SimplM () -> SimplM ()
forall a b. (a -> b) -> a -> b
$
SDoc -> SimplM ()
log_inlining (SDoc -> SimplM ()) -> SDoc -> SimplM ()
forall a b. (a -> b) -> a -> b
$
[SDoc] -> SDoc
sep [String -> SDoc
text String
"Inlining done:", Int -> SDoc -> SDoc
nest Int
4 (Id -> SDoc
forall a. Outputable a => a -> SDoc
ppr Id
var)]
| Bool
otherwise
= SDoc -> SimplM ()
log_inlining (SDoc -> SimplM ()) -> SDoc -> SimplM ()
forall a b. (a -> b) -> a -> b
$
[SDoc] -> SDoc
sep [String -> SDoc
text String
"Inlining done: " SDoc -> SDoc -> SDoc
<> Id -> SDoc
forall a. Outputable a => a -> SDoc
ppr Id
var,
Int -> SDoc -> SDoc
nest Int
4 ([SDoc] -> SDoc
vcat [String -> SDoc
text String
"Inlined fn: " SDoc -> SDoc -> SDoc
<+> Int -> SDoc -> SDoc
nest Int
2 (CoreExpr -> SDoc
forall a. Outputable a => a -> SDoc
ppr CoreExpr
unfolding),
String -> SDoc
text String
"Cont: " SDoc -> SDoc -> SDoc
<+> SimplCont -> SDoc
forall a. Outputable a => a -> SDoc
ppr SimplCont
cont])]
rebuildCall :: SimplEnv
-> ArgInfo
-> SimplCont
-> SimplM (SimplFloats, OutExpr)
rebuildCall :: SimplEnv -> ArgInfo -> SimplCont -> SimplM (SimplFloats, CoreExpr)
rebuildCall SimplEnv
env (ArgInfo { ai_fun :: ArgInfo -> Id
ai_fun = Id
fun, ai_args :: ArgInfo -> [ArgSpec]
ai_args = [ArgSpec]
rev_args, ai_dmds :: ArgInfo -> [Demand]
ai_dmds = [] }) SimplCont
cont
| Bool -> Bool
not (SimplCont -> Bool
contIsTrivial SimplCont
cont)
= Kind -> ()
seqType Kind
cont_ty ()
-> SimplM (SimplFloats, CoreExpr) -> SimplM (SimplFloats, CoreExpr)
forall a b. a -> b -> b
`seq`
(SimplFloats, CoreExpr) -> SimplM (SimplFloats, CoreExpr)
forall a. a -> SimplM a
forall (m :: * -> *) a. Monad m => a -> m a
return (SimplEnv -> SimplFloats
emptyFloats SimplEnv
env, CoreExpr -> Kind -> CoreExpr
castBottomExpr CoreExpr
res Kind
cont_ty)
where
res :: CoreExpr
res = Id -> [ArgSpec] -> CoreExpr
argInfoExpr Id
fun [ArgSpec]
rev_args
cont_ty :: Kind
cont_ty = SimplCont -> Kind
contResultType SimplCont
cont
rebuildCall SimplEnv
env info :: ArgInfo
info@(ArgInfo { ai_fun :: ArgInfo -> Id
ai_fun = Id
fun, ai_args :: ArgInfo -> [ArgSpec]
ai_args = [ArgSpec]
rev_args
, ai_rules :: ArgInfo -> FunRules
ai_rules = Just (Int
nr_wanted, [CoreRule]
rules) }) SimplCont
cont
| Int
nr_wanted Int -> Int -> Bool
forall a. Eq a => a -> a -> Bool
== Int
0 Bool -> Bool -> Bool
|| Bool
no_more_args
, let info' :: ArgInfo
info' = ArgInfo
info { ai_rules :: FunRules
ai_rules = FunRules
forall a. Maybe a
Nothing }
=
do { Maybe (SimplEnv, CoreExpr, SimplCont)
mb_match <- SimplEnv
-> [CoreRule]
-> Id
-> [ArgSpec]
-> SimplCont
-> SimplM (Maybe (SimplEnv, CoreExpr, SimplCont))
tryRules SimplEnv
env [CoreRule]
rules Id
fun ([ArgSpec] -> [ArgSpec]
forall a. [a] -> [a]
reverse [ArgSpec]
rev_args) SimplCont
cont
; case Maybe (SimplEnv, CoreExpr, SimplCont)
mb_match of
Just (SimplEnv
env', CoreExpr
rhs, SimplCont
cont') -> SimplEnv -> CoreExpr -> SimplCont -> SimplM (SimplFloats, CoreExpr)
simplExprF SimplEnv
env' CoreExpr
rhs SimplCont
cont'
Maybe (SimplEnv, CoreExpr, SimplCont)
Nothing -> SimplEnv -> ArgInfo -> SimplCont -> SimplM (SimplFloats, CoreExpr)
rebuildCall SimplEnv
env ArgInfo
info' SimplCont
cont }
where
no_more_args :: Bool
no_more_args = case SimplCont
cont of
ApplyToTy {} -> Bool
False
ApplyToVal {} -> Bool
False
SimplCont
_ -> Bool
True
rebuildCall SimplEnv
env ArgInfo
info (CastIt Coercion
co SimplCont
cont)
= SimplEnv -> ArgInfo -> SimplCont -> SimplM (SimplFloats, CoreExpr)
rebuildCall SimplEnv
env (ArgInfo -> Coercion -> ArgInfo
addCastTo ArgInfo
info Coercion
co) SimplCont
cont
rebuildCall SimplEnv
env ArgInfo
info (ApplyToTy { sc_arg_ty :: SimplCont -> Kind
sc_arg_ty = Kind
arg_ty, sc_hole_ty :: SimplCont -> Kind
sc_hole_ty = Kind
hole_ty, sc_cont :: SimplCont -> SimplCont
sc_cont = SimplCont
cont })
= SimplEnv -> ArgInfo -> SimplCont -> SimplM (SimplFloats, CoreExpr)
rebuildCall SimplEnv
env (ArgInfo -> Kind -> Kind -> ArgInfo
addTyArgTo ArgInfo
info Kind
arg_ty Kind
hole_ty) SimplCont
cont
rebuildCall SimplEnv
env (ArgInfo { ai_fun :: ArgInfo -> Id
ai_fun = Id
fun_id, ai_args :: ArgInfo -> [ArgSpec]
ai_args = [ArgSpec]
rev_args })
(ApplyToVal { sc_arg :: SimplCont -> CoreExpr
sc_arg = CoreExpr
arg, sc_env :: SimplCont -> SimplEnv
sc_env = SimplEnv
arg_se
, sc_cont :: SimplCont -> SimplCont
sc_cont = SimplCont
cont, sc_hole_ty :: SimplCont -> Kind
sc_hole_ty = Kind
fun_ty })
| Id
fun_id Id -> Unique -> Bool
forall a. Uniquable a => a -> Unique -> Bool
`hasKey` Unique
runRWKey
, Bool -> Bool
not (SimplCont -> Bool
contIsStop SimplCont
cont)
, [ TyArg {}, TyArg {} ] <- [ArgSpec]
rev_args
= do { Id
s <- FastString -> Kind -> Kind -> SimplM Id
newId (String -> FastString
fsLit String
"s") Kind
Many Kind
realWorldStatePrimTy
; let (Kind
m,Kind
_,Kind
_) = Kind -> (Kind, Kind, Kind)
splitFunTy Kind
fun_ty
env' :: SimplEnv
env' = (SimplEnv
arg_se SimplEnv -> SimplEnv -> SimplEnv
`setInScopeFromE` SimplEnv
env) SimplEnv -> [Id] -> SimplEnv
`addNewInScopeIds` [Id
s]
ty' :: Kind
ty' = SimplCont -> Kind
contResultType SimplCont
cont
cont' :: SimplCont
cont' = ApplyToVal { sc_dup :: DupFlag
sc_dup = DupFlag
Simplified, sc_arg :: CoreExpr
sc_arg = Id -> CoreExpr
forall b. Id -> Expr b
Var Id
s
, sc_env :: SimplEnv
sc_env = SimplEnv
env', sc_cont :: SimplCont
sc_cont = SimplCont
cont
, sc_hole_ty :: Kind
sc_hole_ty = Kind -> Kind -> Kind -> Kind
mkVisFunTy Kind
m Kind
realWorldStatePrimTy Kind
ty' }
; CoreExpr
body' <- SimplEnv -> CoreExpr -> SimplCont -> SimplM CoreExpr
simplExprC SimplEnv
env' CoreExpr
arg SimplCont
cont'
; let arg' :: CoreExpr
arg' = Id -> CoreExpr -> CoreExpr
forall b. b -> Expr b -> Expr b
Lam Id
s CoreExpr
body'
rr' :: Kind
rr' = (() :: Constraint) => Kind -> Kind
Kind -> Kind
getRuntimeRep Kind
ty'
call' :: CoreExpr
call' = CoreExpr -> [CoreExpr] -> CoreExpr
forall b. Expr b -> [Expr b] -> Expr b
mkApps (Id -> CoreExpr
forall b. Id -> Expr b
Var Id
fun_id) [Kind -> CoreExpr
forall b. Kind -> Expr b
mkTyArg Kind
rr', Kind -> CoreExpr
forall b. Kind -> Expr b
mkTyArg Kind
ty', CoreExpr
arg']
; (SimplFloats, CoreExpr) -> SimplM (SimplFloats, CoreExpr)
forall a. a -> SimplM a
forall (m :: * -> *) a. Monad m => a -> m a
return (SimplEnv -> SimplFloats
emptyFloats SimplEnv
env, CoreExpr
call') }
rebuildCall SimplEnv
env ArgInfo
fun_info
(ApplyToVal { sc_arg :: SimplCont -> CoreExpr
sc_arg = CoreExpr
arg, sc_env :: SimplCont -> SimplEnv
sc_env = SimplEnv
arg_se
, sc_dup :: SimplCont -> DupFlag
sc_dup = DupFlag
dup_flag, sc_hole_ty :: SimplCont -> Kind
sc_hole_ty = Kind
fun_ty
, sc_cont :: SimplCont -> SimplCont
sc_cont = SimplCont
cont })
| DupFlag -> Bool
isSimplified DupFlag
dup_flag
= SimplEnv -> ArgInfo -> SimplCont -> SimplM (SimplFloats, CoreExpr)
rebuildCall SimplEnv
env (ArgInfo -> CoreExpr -> Kind -> ArgInfo
addValArgTo ArgInfo
fun_info CoreExpr
arg Kind
fun_ty) SimplCont
cont
| ArgInfo -> Bool
isStrictArgInfo ArgInfo
fun_info
, SimplMode -> Bool
sm_case_case (SimplEnv -> SimplMode
getMode SimplEnv
env)
=
SimplEnv -> CoreExpr -> SimplCont -> SimplM (SimplFloats, CoreExpr)
simplExprF (SimplEnv
arg_se SimplEnv -> SimplEnv -> SimplEnv
`setInScopeFromE` SimplEnv
env) CoreExpr
arg
(StrictArg { sc_fun :: ArgInfo
sc_fun = ArgInfo
fun_info, sc_fun_ty :: Kind
sc_fun_ty = Kind
fun_ty
, sc_dup :: DupFlag
sc_dup = DupFlag
Simplified
, sc_cont :: SimplCont
sc_cont = SimplCont
cont })
| Bool
otherwise
= do { CoreExpr
arg' <- SimplEnv -> CoreExpr -> SimplCont -> SimplM CoreExpr
simplExprC (SimplEnv
arg_se SimplEnv -> SimplEnv -> SimplEnv
`setInScopeFromE` SimplEnv
env) CoreExpr
arg
(Kind -> CallCtxt -> SimplCont
mkLazyArgStop Kind
arg_ty (ArgInfo -> CallCtxt
lazyArgContext ArgInfo
fun_info))
; SimplEnv -> ArgInfo -> SimplCont -> SimplM (SimplFloats, CoreExpr)
rebuildCall SimplEnv
env (ArgInfo -> CoreExpr -> Kind -> ArgInfo
addValArgTo ArgInfo
fun_info CoreExpr
arg' Kind
fun_ty) SimplCont
cont }
where
arg_ty :: Kind
arg_ty = Kind -> Kind
funArgTy Kind
fun_ty
rebuildCall SimplEnv
env (ArgInfo { ai_fun :: ArgInfo -> Id
ai_fun = Id
fun, ai_args :: ArgInfo -> [ArgSpec]
ai_args = [ArgSpec]
rev_args }) SimplCont
cont
= SimplEnv -> CoreExpr -> SimplCont -> SimplM (SimplFloats, CoreExpr)
rebuild SimplEnv
env (Id -> [ArgSpec] -> CoreExpr
argInfoExpr Id
fun [ArgSpec]
rev_args) SimplCont
cont
tryRules :: SimplEnv -> [CoreRule]
-> Id -> [ArgSpec]
-> SimplCont
-> SimplM (Maybe (SimplEnv, CoreExpr, SimplCont))
tryRules :: SimplEnv
-> [CoreRule]
-> Id
-> [ArgSpec]
-> SimplCont
-> SimplM (Maybe (SimplEnv, CoreExpr, SimplCont))
tryRules SimplEnv
env [CoreRule]
rules Id
fn [ArgSpec]
args SimplCont
call_cont
| [CoreRule] -> Bool
forall a. [a] -> Bool
forall (t :: * -> *) a. Foldable t => t a -> Bool
null [CoreRule]
rules
= Maybe (SimplEnv, CoreExpr, SimplCont)
-> SimplM (Maybe (SimplEnv, CoreExpr, SimplCont))
forall a. a -> SimplM a
forall (m :: * -> *) a. Monad m => a -> m a
return Maybe (SimplEnv, CoreExpr, SimplCont)
forall a. Maybe a
Nothing
| Just (CoreRule
rule, CoreExpr
rule_rhs) <- RuleOpts
-> InScopeEnv
-> (Activation -> Bool)
-> Id
-> [CoreExpr]
-> [CoreRule]
-> Maybe (CoreRule, CoreExpr)
lookupRule RuleOpts
ropts (SimplEnv -> InScopeEnv
getUnfoldingInRuleMatch SimplEnv
env)
(SimplMode -> Activation -> Bool
activeRule (SimplEnv -> SimplMode
getMode SimplEnv
env)) Id
fn
([ArgSpec] -> [CoreExpr]
argInfoAppArgs [ArgSpec]
args) [CoreRule]
rules
= do { Tick -> SimplM ()
checkedTick (FastString -> Tick
RuleFired (CoreRule -> FastString
ruleName CoreRule
rule))
; let cont' :: SimplCont
cont' = SimplEnv -> [ArgSpec] -> SimplCont -> SimplCont
pushSimplifiedArgs SimplEnv
zapped_env
(Int -> [ArgSpec] -> [ArgSpec]
forall a. Int -> [a] -> [a]
drop (CoreRule -> Int
ruleArity CoreRule
rule) [ArgSpec]
args)
SimplCont
call_cont
occ_anald_rhs :: CoreExpr
occ_anald_rhs = CoreExpr -> CoreExpr
occurAnalyseExpr CoreExpr
rule_rhs
; CoreRule -> CoreExpr -> SimplM ()
dump CoreRule
rule CoreExpr
rule_rhs
; Maybe (SimplEnv, CoreExpr, SimplCont)
-> SimplM (Maybe (SimplEnv, CoreExpr, SimplCont))
forall a. a -> SimplM a
forall (m :: * -> *) a. Monad m => a -> m a
return ((SimplEnv, CoreExpr, SimplCont)
-> Maybe (SimplEnv, CoreExpr, SimplCont)
forall a. a -> Maybe a
Just (SimplEnv
zapped_env, CoreExpr
occ_anald_rhs, SimplCont
cont')) }
| Bool
otherwise
= do { SimplM ()
nodump
; Maybe (SimplEnv, CoreExpr, SimplCont)
-> SimplM (Maybe (SimplEnv, CoreExpr, SimplCont))
forall a. a -> SimplM a
forall (m :: * -> *) a. Monad m => a -> m a
return Maybe (SimplEnv, CoreExpr, SimplCont)
forall a. Maybe a
Nothing }
where
ropts :: RuleOpts
ropts = DynFlags -> RuleOpts
initRuleOpts DynFlags
dflags
dflags :: DynFlags
dflags = SimplEnv -> DynFlags
seDynFlags SimplEnv
env
logger :: Logger
logger = SimplEnv -> Logger
seLogger SimplEnv
env
zapped_env :: SimplEnv
zapped_env = SimplEnv -> SimplEnv
zapSubstEnv SimplEnv
env
printRuleModule :: CoreRule -> SDoc
printRuleModule CoreRule
rule
= SDoc -> SDoc
parens (SDoc -> (GenModule Unit -> SDoc) -> Maybe (GenModule Unit) -> SDoc
forall b a. b -> (a -> b) -> Maybe a -> b
maybe (String -> SDoc
text String
"BUILTIN")
(ModuleName -> SDoc
pprModuleName (ModuleName -> SDoc)
-> (GenModule Unit -> ModuleName) -> GenModule Unit -> SDoc
forall b c a. (b -> c) -> (a -> b) -> a -> c
. GenModule Unit -> ModuleName
forall unit. GenModule unit -> ModuleName
moduleName)
(CoreRule -> Maybe (GenModule Unit)
ruleModule CoreRule
rule))
dump :: CoreRule -> CoreExpr -> SimplM ()
dump CoreRule
rule CoreExpr
rule_rhs
| Logger -> DumpFlag -> Bool
logHasDumpFlag Logger
logger DumpFlag
Opt_D_dump_rule_rewrites
= DumpFlag -> String -> SDoc -> SimplM ()
log_rule DumpFlag
Opt_D_dump_rule_rewrites String
"Rule fired" (SDoc -> SimplM ()) -> SDoc -> SimplM ()
forall a b. (a -> b) -> a -> b
$ [SDoc] -> SDoc
vcat
[ String -> SDoc
text String
"Rule:" SDoc -> SDoc -> SDoc
<+> FastString -> SDoc
ftext (CoreRule -> FastString
ruleName CoreRule
rule)
, String -> SDoc
text String
"Module:" SDoc -> SDoc -> SDoc
<+> CoreRule -> SDoc
printRuleModule CoreRule
rule
, String -> SDoc
text String
"Before:" SDoc -> SDoc -> SDoc
<+> SDoc -> Int -> SDoc -> SDoc
hang (Id -> SDoc
forall a. Outputable a => a -> SDoc
ppr Id
fn) Int
2 ([SDoc] -> SDoc
sep ((ArgSpec -> SDoc) -> [ArgSpec] -> [SDoc]
forall a b. (a -> b) -> [a] -> [b]
map ArgSpec -> SDoc
forall a. Outputable a => a -> SDoc
ppr [ArgSpec]
args))
, String -> SDoc
text String
"After: " SDoc -> SDoc -> SDoc
<+> SDoc -> Int -> SDoc -> SDoc
hang (CoreExpr -> SDoc
forall b. OutputableBndr b => Expr b -> SDoc
pprCoreExpr CoreExpr
rule_rhs) Int
2
([SDoc] -> SDoc
sep ([SDoc] -> SDoc) -> [SDoc] -> SDoc
forall a b. (a -> b) -> a -> b
$ (ArgSpec -> SDoc) -> [ArgSpec] -> [SDoc]
forall a b. (a -> b) -> [a] -> [b]
map ArgSpec -> SDoc
forall a. Outputable a => a -> SDoc
ppr ([ArgSpec] -> [SDoc]) -> [ArgSpec] -> [SDoc]
forall a b. (a -> b) -> a -> b
$ Int -> [ArgSpec] -> [ArgSpec]
forall a. Int -> [a] -> [a]
drop (CoreRule -> Int
ruleArity CoreRule
rule) [ArgSpec]
args)
, String -> SDoc
text String
"Cont: " SDoc -> SDoc -> SDoc
<+> SimplCont -> SDoc
forall a. Outputable a => a -> SDoc
ppr SimplCont
call_cont ]
| Logger -> DumpFlag -> Bool
logHasDumpFlag Logger
logger DumpFlag
Opt_D_dump_rule_firings
= DumpFlag -> String -> SDoc -> SimplM ()
log_rule DumpFlag
Opt_D_dump_rule_firings String
"Rule fired:" (SDoc -> SimplM ()) -> SDoc -> SimplM ()
forall a b. (a -> b) -> a -> b
$
FastString -> SDoc
ftext (CoreRule -> FastString
ruleName CoreRule
rule)
SDoc -> SDoc -> SDoc
<+> CoreRule -> SDoc
printRuleModule CoreRule
rule
| Bool
otherwise
= () -> SimplM ()
forall a. a -> SimplM a
forall (m :: * -> *) a. Monad m => a -> m a
return ()
nodump :: SimplM ()
nodump
| Logger -> DumpFlag -> Bool
logHasDumpFlag Logger
logger DumpFlag
Opt_D_dump_rule_rewrites
= IO () -> SimplM ()
forall a. IO a -> SimplM a
forall (m :: * -> *) a. MonadIO m => IO a -> m a
liftIO (IO () -> SimplM ()) -> IO () -> SimplM ()
forall a b. (a -> b) -> a -> b
$
Logger -> DumpFlag -> IO ()
touchDumpFile Logger
logger DumpFlag
Opt_D_dump_rule_rewrites
| Logger -> DumpFlag -> Bool
logHasDumpFlag Logger
logger DumpFlag
Opt_D_dump_rule_firings
= IO () -> SimplM ()
forall a. IO a -> SimplM a
forall (m :: * -> *) a. MonadIO m => IO a -> m a
liftIO (IO () -> SimplM ()) -> IO () -> SimplM ()
forall a b. (a -> b) -> a -> b
$
Logger -> DumpFlag -> IO ()
touchDumpFile Logger
logger DumpFlag
Opt_D_dump_rule_firings
| Bool
otherwise
= () -> SimplM ()
forall a. a -> SimplM a
forall (m :: * -> *) a. Monad m => a -> m a
return ()
log_rule :: DumpFlag -> String -> SDoc -> SimplM ()
log_rule DumpFlag
flag String
hdr SDoc
details
= IO () -> SimplM ()
forall a. IO a -> SimplM a
forall (m :: * -> *) a. MonadIO m => IO a -> m a
liftIO (IO () -> SimplM ()) -> IO () -> SimplM ()
forall a b. (a -> b) -> a -> b
$ Logger
-> PprStyle -> DumpFlag -> String -> DumpFormat -> SDoc -> IO ()
logDumpFile Logger
logger (PrintUnqualified -> PprStyle
mkDumpStyle PrintUnqualified
alwaysQualify) DumpFlag
flag String
"" DumpFormat
FormatText
(SDoc -> IO ()) -> SDoc -> IO ()
forall a b. (a -> b) -> a -> b
$ [SDoc] -> SDoc
sep [String -> SDoc
text String
hdr, Int -> SDoc -> SDoc
nest Int
4 SDoc
details]
trySeqRules :: SimplEnv
-> OutExpr -> InExpr
-> SimplCont
-> SimplM (Maybe (SimplEnv, CoreExpr, SimplCont))
trySeqRules :: SimplEnv
-> CoreExpr
-> CoreExpr
-> SimplCont
-> SimplM (Maybe (SimplEnv, CoreExpr, SimplCont))
trySeqRules SimplEnv
in_env CoreExpr
scrut CoreExpr
rhs SimplCont
cont
= do { RuleEnv
rule_base <- SimplM RuleEnv
getSimplRules
; SimplEnv
-> [CoreRule]
-> Id
-> [ArgSpec]
-> SimplCont
-> SimplM (Maybe (SimplEnv, CoreExpr, SimplCont))
tryRules SimplEnv
in_env (RuleEnv -> Id -> [CoreRule]
getRules RuleEnv
rule_base Id
seqId) Id
seqId [ArgSpec]
out_args SimplCont
rule_cont }
where
no_cast_scrut :: CoreExpr
no_cast_scrut = CoreExpr -> CoreExpr
forall {b}. Expr b -> Expr b
drop_casts CoreExpr
scrut
scrut_ty :: Kind
scrut_ty = (() :: Constraint) => CoreExpr -> Kind
CoreExpr -> Kind
exprType CoreExpr
no_cast_scrut
seq_id_ty :: Kind
seq_id_ty = Id -> Kind
idType Id
seqId
res1_ty :: Kind
res1_ty = (() :: Constraint) => Kind -> Kind -> Kind
Kind -> Kind -> Kind
piResultTy Kind
seq_id_ty Kind
rhs_rep
res2_ty :: Kind
res2_ty = (() :: Constraint) => Kind -> Kind -> Kind
Kind -> Kind -> Kind
piResultTy Kind
res1_ty Kind
scrut_ty
res3_ty :: Kind
res3_ty = (() :: Constraint) => Kind -> Kind -> Kind
Kind -> Kind -> Kind
piResultTy Kind
res2_ty Kind
rhs_ty
res4_ty :: Kind
res4_ty = Kind -> Kind
funResultTy Kind
res3_ty
rhs_ty :: Kind
rhs_ty = SimplEnv -> Kind -> Kind
substTy SimplEnv
in_env ((() :: Constraint) => CoreExpr -> Kind
CoreExpr -> Kind
exprType CoreExpr
rhs)
rhs_rep :: Kind
rhs_rep = (() :: Constraint) => Kind -> Kind
Kind -> Kind
getRuntimeRep Kind
rhs_ty
out_args :: [ArgSpec]
out_args = [ TyArg { as_arg_ty :: Kind
as_arg_ty = Kind
rhs_rep
, as_hole_ty :: Kind
as_hole_ty = Kind
seq_id_ty }
, TyArg { as_arg_ty :: Kind
as_arg_ty = Kind
scrut_ty
, as_hole_ty :: Kind
as_hole_ty = Kind
res1_ty }
, TyArg { as_arg_ty :: Kind
as_arg_ty = Kind
rhs_ty
, as_hole_ty :: Kind
as_hole_ty = Kind
res2_ty }
, ValArg { as_arg :: CoreExpr
as_arg = CoreExpr
no_cast_scrut
, as_dmd :: Demand
as_dmd = Demand
seqDmd
, as_hole_ty :: Kind
as_hole_ty = Kind
res3_ty } ]
rule_cont :: SimplCont
rule_cont = ApplyToVal { sc_dup :: DupFlag
sc_dup = DupFlag
NoDup, sc_arg :: CoreExpr
sc_arg = CoreExpr
rhs
, sc_env :: SimplEnv
sc_env = SimplEnv
in_env, sc_cont :: SimplCont
sc_cont = SimplCont
cont
, sc_hole_ty :: Kind
sc_hole_ty = Kind
res4_ty }
drop_casts :: Expr b -> Expr b
drop_casts (Cast Expr b
e Coercion
_) = Expr b -> Expr b
drop_casts Expr b
e
drop_casts Expr b
e = Expr b
e
rebuildCase, reallyRebuildCase
:: SimplEnv
-> OutExpr
-> InId
-> [InAlt]
-> SimplCont
-> SimplM (SimplFloats, OutExpr)
rebuildCase :: SimplEnv
-> CoreExpr
-> Id
-> [Alt Id]
-> SimplCont
-> SimplM (SimplFloats, CoreExpr)
rebuildCase SimplEnv
env CoreExpr
scrut Id
case_bndr [Alt Id]
alts SimplCont
cont
| Lit Literal
lit <- CoreExpr
scrut
, Bool -> Bool
not (Literal -> Bool
litIsLifted Literal
lit)
= do { Tick -> SimplM ()
tick (Id -> Tick
KnownBranch Id
case_bndr)
; case AltCon -> [Alt Id] -> Maybe (Alt Id)
forall b. AltCon -> [Alt b] -> Maybe (Alt b)
findAlt (Literal -> AltCon
LitAlt Literal
lit) [Alt Id]
alts of
Maybe (Alt Id)
Nothing -> SimplEnv
-> Id -> [Alt Id] -> SimplCont -> SimplM (SimplFloats, CoreExpr)
missingAlt SimplEnv
env Id
case_bndr [Alt Id]
alts SimplCont
cont
Just (Alt AltCon
_ [Id]
bs CoreExpr
rhs) -> SimplEnv
-> [FloatBind]
-> CoreExpr
-> [Id]
-> CoreExpr
-> SimplM (SimplFloats, CoreExpr)
simple_rhs SimplEnv
env [] CoreExpr
scrut [Id]
bs CoreExpr
rhs }
| Just (InScopeSet
in_scope', [FloatBind]
wfloats, DataCon
con, [Kind]
ty_args, [CoreExpr]
other_args)
<- InScopeEnv
-> CoreExpr
-> Maybe (InScopeSet, [FloatBind], DataCon, [Kind], [CoreExpr])
(() :: Constraint) =>
InScopeEnv
-> CoreExpr
-> Maybe (InScopeSet, [FloatBind], DataCon, [Kind], [CoreExpr])
exprIsConApp_maybe (SimplEnv -> InScopeEnv
getUnfoldingInRuleMatch SimplEnv
env) CoreExpr
scrut
, let env0 :: SimplEnv
env0 = SimplEnv -> InScopeSet -> SimplEnv
setInScopeSet SimplEnv
env InScopeSet
in_scope'
= do { Tick -> SimplM ()
tick (Id -> Tick
KnownBranch Id
case_bndr)
; let scaled_wfloats :: [FloatBind]
scaled_wfloats = (FloatBind -> FloatBind) -> [FloatBind] -> [FloatBind]
forall a b. (a -> b) -> [a] -> [b]
map FloatBind -> FloatBind
scale_float [FloatBind]
wfloats
case_bndr_rhs :: CoreExpr
case_bndr_rhs | CoreExpr -> Bool
exprIsTrivial CoreExpr
scrut = CoreExpr
scrut
| Bool
otherwise = CoreExpr
con_app
con_app :: CoreExpr
con_app = Id -> CoreExpr
forall b. Id -> Expr b
Var (DataCon -> Id
dataConWorkId DataCon
con) CoreExpr -> [Kind] -> CoreExpr
forall b. Expr b -> [Kind] -> Expr b
`mkTyApps` [Kind]
ty_args
CoreExpr -> [CoreExpr] -> CoreExpr
forall b. Expr b -> [Expr b] -> Expr b
`mkApps` [CoreExpr]
other_args
; case AltCon -> [Alt Id] -> Maybe (Alt Id)
forall b. AltCon -> [Alt b] -> Maybe (Alt b)
findAlt (DataCon -> AltCon
DataAlt DataCon
con) [Alt Id]
alts of
Maybe (Alt Id)
Nothing -> SimplEnv
-> Id -> [Alt Id] -> SimplCont -> SimplM (SimplFloats, CoreExpr)
missingAlt SimplEnv
env0 Id
case_bndr [Alt Id]
alts SimplCont
cont
Just (Alt AltCon
DEFAULT [Id]
bs CoreExpr
rhs) -> SimplEnv
-> [FloatBind]
-> CoreExpr
-> [Id]
-> CoreExpr
-> SimplM (SimplFloats, CoreExpr)
simple_rhs SimplEnv
env0 [FloatBind]
scaled_wfloats CoreExpr
case_bndr_rhs [Id]
bs CoreExpr
rhs
Just (Alt AltCon
_ [Id]
bs CoreExpr
rhs) -> SimplEnv
-> CoreExpr
-> [FloatBind]
-> DataCon
-> [Kind]
-> [CoreExpr]
-> Id
-> [Id]
-> CoreExpr
-> SimplCont
-> SimplM (SimplFloats, CoreExpr)
knownCon SimplEnv
env0 CoreExpr
scrut [FloatBind]
scaled_wfloats DataCon
con [Kind]
ty_args
[CoreExpr]
other_args Id
case_bndr [Id]
bs CoreExpr
rhs SimplCont
cont
}
where
simple_rhs :: SimplEnv
-> [FloatBind]
-> CoreExpr
-> [Id]
-> CoreExpr
-> SimplM (SimplFloats, CoreExpr)
simple_rhs SimplEnv
env [FloatBind]
wfloats CoreExpr
case_bndr_rhs [Id]
bs CoreExpr
rhs =
Bool
-> SimplM (SimplFloats, CoreExpr) -> SimplM (SimplFloats, CoreExpr)
forall a. HasCallStack => Bool -> a -> a
assert ([Id] -> Bool
forall a. [a] -> Bool
forall (t :: * -> *) a. Foldable t => t a -> Bool
null [Id]
bs) (SimplM (SimplFloats, CoreExpr) -> SimplM (SimplFloats, CoreExpr))
-> SimplM (SimplFloats, CoreExpr) -> SimplM (SimplFloats, CoreExpr)
forall a b. (a -> b) -> a -> b
$
do { (SimplFloats
floats1, SimplEnv
env') <- SimplEnv -> Id -> CoreExpr -> SimplM (SimplFloats, SimplEnv)
simplNonRecX SimplEnv
env Id
case_bndr CoreExpr
case_bndr_rhs
; (SimplFloats
floats2, CoreExpr
expr') <- SimplEnv -> CoreExpr -> SimplCont -> SimplM (SimplFloats, CoreExpr)
simplExprF SimplEnv
env' CoreExpr
rhs SimplCont
cont
; case [FloatBind]
wfloats of
[] -> (SimplFloats, CoreExpr) -> SimplM (SimplFloats, CoreExpr)
forall a. a -> SimplM a
forall (m :: * -> *) a. Monad m => a -> m a
return (SimplFloats
floats1 SimplFloats -> SimplFloats -> SimplFloats
`addFloats` SimplFloats
floats2, CoreExpr
expr')
[FloatBind]
_ -> (SimplFloats, CoreExpr) -> SimplM (SimplFloats, CoreExpr)
forall a. a -> SimplM a
forall (m :: * -> *) a. Monad m => a -> m a
return
( SimplEnv -> SimplFloats
emptyFloats SimplEnv
env,
[FloatBind] -> CoreExpr -> CoreExpr
GHC.Core.Make.wrapFloats [FloatBind]
wfloats (CoreExpr -> CoreExpr) -> CoreExpr -> CoreExpr
forall a b. (a -> b) -> a -> b
$
SimplFloats -> CoreExpr -> CoreExpr
wrapFloats (SimplFloats
floats1 SimplFloats -> SimplFloats -> SimplFloats
`addFloats` SimplFloats
floats2) CoreExpr
expr' )}
scale_float :: FloatBind -> FloatBind
scale_float (GHC.Core.Make.FloatCase CoreExpr
scrut Id
case_bndr AltCon
con [Id]
vars) =
let
scale_id :: Id -> Id
scale_id Id
id = Kind -> Id -> Id
scaleVarBy Kind
holeScaling Id
id
in
CoreExpr -> Id -> AltCon -> [Id] -> FloatBind
GHC.Core.Make.FloatCase CoreExpr
scrut (Id -> Id
scale_id Id
case_bndr) AltCon
con ((Id -> Id) -> [Id] -> [Id]
forall a b. (a -> b) -> [a] -> [b]
map Id -> Id
scale_id [Id]
vars)
scale_float FloatBind
f = FloatBind
f
holeScaling :: Kind
holeScaling = SimplCont -> Kind
contHoleScaling SimplCont
cont Kind -> Kind -> Kind
`mkMultMul` Id -> Kind
idMult Id
case_bndr
rebuildCase SimplEnv
env CoreExpr
scrut Id
case_bndr alts :: [Alt Id]
alts@[Alt AltCon
_ [Id]
bndrs CoreExpr
rhs] SimplCont
cont
| Bool
is_plain_seq
, CoreExpr -> Bool
exprOkForSideEffects CoreExpr
scrut
= SimplEnv -> CoreExpr -> SimplCont -> SimplM (SimplFloats, CoreExpr)
simplExprF SimplEnv
env CoreExpr
rhs SimplCont
cont
| Bool
all_dead_bndrs
, CoreExpr -> Id -> Bool
doCaseToLet CoreExpr
scrut Id
case_bndr
= do { Tick -> SimplM ()
tick (Id -> Tick
CaseElim Id
case_bndr)
; (SimplFloats
floats1, SimplEnv
env') <- SimplEnv -> Id -> CoreExpr -> SimplM (SimplFloats, SimplEnv)
simplNonRecX SimplEnv
env Id
case_bndr CoreExpr
scrut
; (SimplFloats
floats2, CoreExpr
expr') <- SimplEnv -> CoreExpr -> SimplCont -> SimplM (SimplFloats, CoreExpr)
simplExprF SimplEnv
env' CoreExpr
rhs SimplCont
cont
; (SimplFloats, CoreExpr) -> SimplM (SimplFloats, CoreExpr)
forall a. a -> SimplM a
forall (m :: * -> *) a. Monad m => a -> m a
return (SimplFloats
floats1 SimplFloats -> SimplFloats -> SimplFloats
`addFloats` SimplFloats
floats2, CoreExpr
expr') }
| Bool
is_plain_seq
= do { Maybe (SimplEnv, CoreExpr, SimplCont)
mb_rule <- SimplEnv
-> CoreExpr
-> CoreExpr
-> SimplCont
-> SimplM (Maybe (SimplEnv, CoreExpr, SimplCont))
trySeqRules SimplEnv
env CoreExpr
scrut CoreExpr
rhs SimplCont
cont
; case Maybe (SimplEnv, CoreExpr, SimplCont)
mb_rule of
Just (SimplEnv
env', CoreExpr
rule_rhs, SimplCont
cont') -> SimplEnv -> CoreExpr -> SimplCont -> SimplM (SimplFloats, CoreExpr)
simplExprF SimplEnv
env' CoreExpr
rule_rhs SimplCont
cont'
Maybe (SimplEnv, CoreExpr, SimplCont)
Nothing -> SimplEnv
-> CoreExpr
-> Id
-> [Alt Id]
-> SimplCont
-> SimplM (SimplFloats, CoreExpr)
reallyRebuildCase SimplEnv
env CoreExpr
scrut Id
case_bndr [Alt Id]
alts SimplCont
cont }
where
all_dead_bndrs :: Bool
all_dead_bndrs = (Id -> Bool) -> [Id] -> Bool
forall (t :: * -> *) a. Foldable t => (a -> Bool) -> t a -> Bool
all Id -> Bool
isDeadBinder [Id]
bndrs
is_plain_seq :: Bool
is_plain_seq = Bool
all_dead_bndrs Bool -> Bool -> Bool
&& Id -> Bool
isDeadBinder Id
case_bndr
rebuildCase SimplEnv
env CoreExpr
scrut Id
case_bndr [Alt Id]
alts SimplCont
cont
= SimplEnv
-> CoreExpr
-> Id
-> [Alt Id]
-> SimplCont
-> SimplM (SimplFloats, CoreExpr)
reallyRebuildCase SimplEnv
env CoreExpr
scrut Id
case_bndr [Alt Id]
alts SimplCont
cont
doCaseToLet :: OutExpr
-> InId
-> Bool
doCaseToLet :: CoreExpr -> Id -> Bool
doCaseToLet CoreExpr
scrut Id
case_bndr
| Id -> Bool
isTyCoVar Id
case_bndr
= CoreExpr -> Bool
forall {b}. Expr b -> Bool
isTyCoArg CoreExpr
scrut
| (() :: Constraint) => Kind -> Bool
Kind -> Bool
isUnliftedType (Id -> Kind
idType Id
case_bndr)
= CoreExpr -> Bool
exprOkForSpeculation CoreExpr
scrut
| Bool
otherwise
= CoreExpr -> Bool
exprIsHNF CoreExpr
scrut
Bool -> Bool -> Bool
|| Demand -> Bool
isStrUsedDmd (Id -> Demand
idDemandInfo Id
case_bndr)
reallyRebuildCase :: SimplEnv
-> CoreExpr
-> Id
-> [Alt Id]
-> SimplCont
-> SimplM (SimplFloats, CoreExpr)
reallyRebuildCase SimplEnv
env CoreExpr
scrut Id
case_bndr [Alt Id]
alts SimplCont
cont
| Bool -> Bool
not (SimplMode -> Bool
sm_case_case (SimplEnv -> SimplMode
getMode SimplEnv
env))
= do { CoreExpr
case_expr <- SimplEnv
-> CoreExpr -> Id -> [Alt Id] -> SimplCont -> SimplM CoreExpr
simplAlts SimplEnv
env CoreExpr
scrut Id
case_bndr [Alt Id]
alts
(Kind -> SimplCont
mkBoringStop (SimplCont -> Kind
contHoleType SimplCont
cont))
; SimplEnv -> CoreExpr -> SimplCont -> SimplM (SimplFloats, CoreExpr)
rebuild SimplEnv
env CoreExpr
case_expr SimplCont
cont }
| Bool
otherwise
= do { (SimplFloats
floats, SimplEnv
env', SimplCont
cont') <- SimplEnv
-> [Alt Id]
-> SimplCont
-> SimplM (SimplFloats, SimplEnv, SimplCont)
mkDupableCaseCont SimplEnv
env [Alt Id]
alts SimplCont
cont
; CoreExpr
case_expr <- SimplEnv
-> CoreExpr -> Id -> [Alt Id] -> SimplCont -> SimplM CoreExpr
simplAlts SimplEnv
env' CoreExpr
scrut
(Kind -> Id -> Id
scaleIdBy Kind
holeScaling Id
case_bndr)
(Kind -> [Alt Id] -> [Alt Id]
scaleAltsBy Kind
holeScaling [Alt Id]
alts)
SimplCont
cont'
; (SimplFloats, CoreExpr) -> SimplM (SimplFloats, CoreExpr)
forall a. a -> SimplM a
forall (m :: * -> *) a. Monad m => a -> m a
return (SimplFloats
floats, CoreExpr
case_expr) }
where
holeScaling :: Kind
holeScaling = SimplCont -> Kind
contHoleScaling SimplCont
cont
simplAlts :: SimplEnv
-> OutExpr
-> InId
-> [InAlt]
-> SimplCont
-> SimplM OutExpr
simplAlts :: SimplEnv
-> CoreExpr -> Id -> [Alt Id] -> SimplCont -> SimplM CoreExpr
simplAlts SimplEnv
env0 CoreExpr
scrut Id
case_bndr [Alt Id]
alts SimplCont
cont'
= do { String -> SDoc -> SimplM ()
traceSmpl String
"simplAlts" ([SDoc] -> SDoc
vcat [ Id -> SDoc
forall a. Outputable a => a -> SDoc
ppr Id
case_bndr
, String -> SDoc
text String
"cont':" SDoc -> SDoc -> SDoc
<+> SimplCont -> SDoc
forall a. Outputable a => a -> SDoc
ppr SimplCont
cont'
, String -> SDoc
text String
"in_scope" SDoc -> SDoc -> SDoc
<+> InScopeSet -> SDoc
forall a. Outputable a => a -> SDoc
ppr (SimplEnv -> InScopeSet
seInScope SimplEnv
env0) ])
; (SimplEnv
env1, Id
case_bndr1) <- SimplEnv -> Id -> SimplM (SimplEnv, Id)
simplBinder SimplEnv
env0 Id
case_bndr
; let case_bndr2 :: Id
case_bndr2 = Id
case_bndr1 Id -> Unfolding -> Id
`setIdUnfolding` Unfolding
evaldUnfolding
env2 :: SimplEnv
env2 = SimplEnv -> Id -> SimplEnv
modifyInScope SimplEnv
env1 Id
case_bndr2
; (FamInstEnv, FamInstEnv)
fam_envs <- SimplM (FamInstEnv, FamInstEnv)
getFamEnvs
; (SimplEnv
alt_env', CoreExpr
scrut', Id
case_bndr') <- (FamInstEnv, FamInstEnv)
-> SimplEnv
-> CoreExpr
-> Id
-> Id
-> [Alt Id]
-> SimplM (SimplEnv, CoreExpr, Id)
improveSeq (FamInstEnv, FamInstEnv)
fam_envs SimplEnv
env2 CoreExpr
scrut
Id
case_bndr Id
case_bndr2 [Alt Id]
alts
; ([AltCon]
imposs_deflt_cons, [Alt Id]
in_alts) <- CoreExpr -> Id -> [Alt Id] -> SimplM ([AltCon], [Alt Id])
prepareAlts CoreExpr
scrut' Id
case_bndr' [Alt Id]
alts
; [Alt Id]
alts' <- (Alt Id -> SimplM (Alt Id)) -> [Alt Id] -> SimplM [Alt Id]
forall (t :: * -> *) (m :: * -> *) a b.
(Traversable t, Monad m) =>
(a -> m b) -> t a -> m (t b)
forall (m :: * -> *) a b. Monad m => (a -> m b) -> [a] -> m [b]
mapM (SimplEnv
-> Maybe CoreExpr
-> [AltCon]
-> Id
-> SimplCont
-> Alt Id
-> SimplM (Alt Id)
simplAlt SimplEnv
alt_env' (CoreExpr -> Maybe CoreExpr
forall a. a -> Maybe a
Just CoreExpr
scrut') [AltCon]
imposs_deflt_cons Id
case_bndr' SimplCont
cont') [Alt Id]
in_alts
; let alts_ty' :: Kind
alts_ty' = SimplCont -> Kind
contResultType SimplCont
cont'
; Kind -> ()
seqType Kind
alts_ty' () -> SimplM CoreExpr -> SimplM CoreExpr
forall a b. a -> b -> b
`seq`
DynFlags -> CoreExpr -> Id -> Kind -> [Alt Id] -> SimplM CoreExpr
mkCase (SimplEnv -> DynFlags
seDynFlags SimplEnv
env0) CoreExpr
scrut' Id
case_bndr' Kind
alts_ty' [Alt Id]
alts' }
improveSeq :: (FamInstEnv, FamInstEnv) -> SimplEnv
-> OutExpr -> InId -> OutId -> [InAlt]
-> SimplM (SimplEnv, OutExpr, OutId)
improveSeq :: (FamInstEnv, FamInstEnv)
-> SimplEnv
-> CoreExpr
-> Id
-> Id
-> [Alt Id]
-> SimplM (SimplEnv, CoreExpr, Id)
improveSeq (FamInstEnv, FamInstEnv)
fam_envs SimplEnv
env CoreExpr
scrut Id
case_bndr Id
case_bndr1 [Alt AltCon
DEFAULT [Id]
_ CoreExpr
_]
| Just (Reduction Coercion
co Kind
ty2) <- (FamInstEnv, FamInstEnv) -> Kind -> Maybe Reduction
topNormaliseType_maybe (FamInstEnv, FamInstEnv)
fam_envs (Id -> Kind
idType Id
case_bndr1)
= do { Id
case_bndr2 <- FastString -> Kind -> Kind -> SimplM Id
newId (String -> FastString
fsLit String
"nt") Kind
Many Kind
ty2
; let rhs :: SimplSR
rhs = CoreExpr -> Maybe Int -> SimplSR
DoneEx (Id -> CoreExpr
forall b. Id -> Expr b
Var Id
case_bndr2 CoreExpr -> Coercion -> CoreExpr
forall b. Expr b -> Coercion -> Expr b
`Cast` Coercion -> Coercion
mkSymCo Coercion
co) Maybe Int
forall a. Maybe a
Nothing
env2 :: SimplEnv
env2 = SimplEnv -> Id -> SimplSR -> SimplEnv
extendIdSubst SimplEnv
env Id
case_bndr SimplSR
rhs
; (SimplEnv, CoreExpr, Id) -> SimplM (SimplEnv, CoreExpr, Id)
forall a. a -> SimplM a
forall (m :: * -> *) a. Monad m => a -> m a
return (SimplEnv
env2, CoreExpr
scrut CoreExpr -> Coercion -> CoreExpr
forall b. Expr b -> Coercion -> Expr b
`Cast` Coercion
co, Id
case_bndr2) }
improveSeq (FamInstEnv, FamInstEnv)
_ SimplEnv
env CoreExpr
scrut Id
_ Id
case_bndr1 [Alt Id]
_
= (SimplEnv, CoreExpr, Id) -> SimplM (SimplEnv, CoreExpr, Id)
forall a. a -> SimplM a
forall (m :: * -> *) a. Monad m => a -> m a
return (SimplEnv
env, CoreExpr
scrut, Id
case_bndr1)
simplAlt :: SimplEnv
-> Maybe OutExpr
-> [AltCon]
-> OutId
-> SimplCont
-> InAlt
-> SimplM OutAlt
simplAlt :: SimplEnv
-> Maybe CoreExpr
-> [AltCon]
-> Id
-> SimplCont
-> Alt Id
-> SimplM (Alt Id)
simplAlt SimplEnv
env Maybe CoreExpr
_ [AltCon]
imposs_deflt_cons Id
case_bndr' SimplCont
cont' (Alt AltCon
DEFAULT [Id]
bndrs CoreExpr
rhs)
= Bool -> SimplM (Alt Id) -> SimplM (Alt Id)
forall a. HasCallStack => Bool -> a -> a
assert ([Id] -> Bool
forall a. [a] -> Bool
forall (t :: * -> *) a. Foldable t => t a -> Bool
null [Id]
bndrs) (SimplM (Alt Id) -> SimplM (Alt Id))
-> SimplM (Alt Id) -> SimplM (Alt Id)
forall a b. (a -> b) -> a -> b
$
do { let env' :: SimplEnv
env' = SimplEnv -> Id -> Unfolding -> SimplEnv
addBinderUnfolding SimplEnv
env Id
case_bndr'
([AltCon] -> Unfolding
mkOtherCon [AltCon]
imposs_deflt_cons)
; CoreExpr
rhs' <- SimplEnv -> CoreExpr -> SimplCont -> SimplM CoreExpr
simplExprC SimplEnv
env' CoreExpr
rhs SimplCont
cont'
; Alt Id -> SimplM (Alt Id)
forall a. a -> SimplM a
forall (m :: * -> *) a. Monad m => a -> m a
return (AltCon -> [Id] -> CoreExpr -> Alt Id
forall b. AltCon -> [b] -> Expr b -> Alt b
Alt AltCon
DEFAULT [] CoreExpr
rhs') }
simplAlt SimplEnv
env Maybe CoreExpr
scrut' [AltCon]
_ Id
case_bndr' SimplCont
cont' (Alt (LitAlt Literal
lit) [Id]
bndrs CoreExpr
rhs)
= Bool -> SimplM (Alt Id) -> SimplM (Alt Id)
forall a. HasCallStack => Bool -> a -> a
assert ([Id] -> Bool
forall a. [a] -> Bool
forall (t :: * -> *) a. Foldable t => t a -> Bool
null [Id]
bndrs) (SimplM (Alt Id) -> SimplM (Alt Id))
-> SimplM (Alt Id) -> SimplM (Alt Id)
forall a b. (a -> b) -> a -> b
$
do { SimplEnv
env' <- SimplEnv -> Maybe CoreExpr -> Id -> CoreExpr -> SimplM SimplEnv
addAltUnfoldings SimplEnv
env Maybe CoreExpr
scrut' Id
case_bndr' (Literal -> CoreExpr
forall b. Literal -> Expr b
Lit Literal
lit)
; CoreExpr
rhs' <- SimplEnv -> CoreExpr -> SimplCont -> SimplM CoreExpr
simplExprC SimplEnv
env' CoreExpr
rhs SimplCont
cont'
; Alt Id -> SimplM (Alt Id)
forall a. a -> SimplM a
forall (m :: * -> *) a. Monad m => a -> m a
return (AltCon -> [Id] -> CoreExpr -> Alt Id
forall b. AltCon -> [b] -> Expr b -> Alt b
Alt (Literal -> AltCon
LitAlt Literal
lit) [] CoreExpr
rhs') }
simplAlt SimplEnv
env Maybe CoreExpr
scrut' [AltCon]
_ Id
case_bndr' SimplCont
cont' (Alt (DataAlt DataCon
con) [Id]
vs CoreExpr
rhs)
= do {
let vs_with_evals :: [Id]
vs_with_evals = Maybe CoreExpr -> DataCon -> [Id] -> [Id]
addEvals Maybe CoreExpr
scrut' DataCon
con [Id]
vs
; (SimplEnv
env', [Id]
vs') <- SimplEnv -> [Id] -> SimplM (SimplEnv, [Id])
simplLamBndrs SimplEnv
env [Id]
vs_with_evals
; let inst_tys' :: [Kind]
inst_tys' = Kind -> [Kind]
tyConAppArgs (Id -> Kind
idType Id
case_bndr')
con_app :: OutExpr
con_app :: CoreExpr
con_app = DataCon -> [Kind] -> [Id] -> CoreExpr
forall b. DataCon -> [Kind] -> [Id] -> Expr b
mkConApp2 DataCon
con [Kind]
inst_tys' [Id]
vs'
; SimplEnv
env'' <- SimplEnv -> Maybe CoreExpr -> Id -> CoreExpr -> SimplM SimplEnv
addAltUnfoldings SimplEnv
env' Maybe CoreExpr
scrut' Id
case_bndr' CoreExpr
con_app
; CoreExpr
rhs' <- SimplEnv -> CoreExpr -> SimplCont -> SimplM CoreExpr
simplExprC SimplEnv
env'' CoreExpr
rhs SimplCont
cont'
; Alt Id -> SimplM (Alt Id)
forall a. a -> SimplM a
forall (m :: * -> *) a. Monad m => a -> m a
return (AltCon -> [Id] -> CoreExpr -> Alt Id
forall b. AltCon -> [b] -> Expr b -> Alt b
Alt (DataCon -> AltCon
DataAlt DataCon
con) [Id]
vs' CoreExpr
rhs') }
addEvals :: Maybe OutExpr -> DataCon -> [Id] -> [Id]
addEvals :: Maybe CoreExpr -> DataCon -> [Id] -> [Id]
addEvals Maybe CoreExpr
scrut DataCon
con [Id]
vs
| Just CoreExpr
scr <- Maybe CoreExpr
scrut
, DataCon -> Bool
isUnboxedTupleDataCon DataCon
con
, [Id
s,Id
x] <- [Id]
vs
, Just (Var Id
f) <- Word -> CoreExpr -> Maybe CoreExpr
forall a. Word -> Expr a -> Maybe (Expr a)
stripNArgs Word
4 CoreExpr
scr
, Just PrimOp
SeqOp <- Id -> Maybe PrimOp
isPrimOpId_maybe Id
f
, let x' :: Id
x' = StrictnessMark -> Id -> Id
zapIdOccInfoAndSetEvald StrictnessMark
MarkedStrict Id
x
= [Id
s, Id
x']
addEvals Maybe CoreExpr
_scrut DataCon
con [Id]
vs = [Id] -> [StrictnessMark] -> [Id]
go [Id]
vs [StrictnessMark]
the_strs
where
the_strs :: [StrictnessMark]
the_strs = DataCon -> [StrictnessMark]
dataConRepStrictness DataCon
con
go :: [Id] -> [StrictnessMark] -> [Id]
go [] [] = []
go (Id
v:[Id]
vs') [StrictnessMark]
strs | Id -> Bool
isTyVar Id
v = Id
v Id -> [Id] -> [Id]
forall a. a -> [a] -> [a]
: [Id] -> [StrictnessMark] -> [Id]
go [Id]
vs' [StrictnessMark]
strs
go (Id
v:[Id]
vs') (StrictnessMark
str:[StrictnessMark]
strs) = StrictnessMark -> Id -> Id
zapIdOccInfoAndSetEvald StrictnessMark
str Id
v Id -> [Id] -> [Id]
forall a. a -> [a] -> [a]
: [Id] -> [StrictnessMark] -> [Id]
go [Id]
vs' [StrictnessMark]
strs
go [Id]
_ [StrictnessMark]
_ = String -> SDoc -> [Id]
forall a. HasCallStack => String -> SDoc -> a
pprPanic String
"Simplify.addEvals"
(DataCon -> SDoc
forall a. Outputable a => a -> SDoc
ppr DataCon
con SDoc -> SDoc -> SDoc
$$
[Id] -> SDoc
forall a. Outputable a => a -> SDoc
ppr [Id]
vs SDoc -> SDoc -> SDoc
$$
[SDoc] -> SDoc
forall {t :: * -> *} {a}.
(Outputable (t a), Foldable t) =>
t a -> SDoc
ppr_with_length ((StrictnessMark -> SDoc) -> [StrictnessMark] -> [SDoc]
forall a b. (a -> b) -> [a] -> [b]
map StrictnessMark -> SDoc
strdisp [StrictnessMark]
the_strs) SDoc -> SDoc -> SDoc
$$
[Scaled Kind] -> SDoc
forall {t :: * -> *} {a}.
(Outputable (t a), Foldable t) =>
t a -> SDoc
ppr_with_length (DataCon -> [Scaled Kind]
dataConRepArgTys DataCon
con) SDoc -> SDoc -> SDoc
$$
[StrictnessMark] -> SDoc
forall {t :: * -> *} {a}.
(Outputable (t a), Foldable t) =>
t a -> SDoc
ppr_with_length (DataCon -> [StrictnessMark]
dataConRepStrictness DataCon
con))
where
ppr_with_length :: t a -> SDoc
ppr_with_length t a
list
= t a -> SDoc
forall a. Outputable a => a -> SDoc
ppr t a
list SDoc -> SDoc -> SDoc
<+> SDoc -> SDoc
parens (String -> SDoc
text String
"length =" SDoc -> SDoc -> SDoc
<+> Int -> SDoc
forall a. Outputable a => a -> SDoc
ppr (t a -> Int
forall a. t a -> Int
forall (t :: * -> *) a. Foldable t => t a -> Int
length t a
list))
strdisp :: StrictnessMark -> SDoc
strdisp StrictnessMark
MarkedStrict = String -> SDoc
text String
"MarkedStrict"
strdisp StrictnessMark
NotMarkedStrict = String -> SDoc
text String
"NotMarkedStrict"
zapIdOccInfoAndSetEvald :: StrictnessMark -> Id -> Id
zapIdOccInfoAndSetEvald :: StrictnessMark -> Id -> Id
zapIdOccInfoAndSetEvald StrictnessMark
str Id
v =
StrictnessMark -> Id -> Id
setCaseBndrEvald StrictnessMark
str (Id -> Id) -> Id -> Id
forall a b. (a -> b) -> a -> b
$
Id -> Id
zapIdOccInfo Id
v
addAltUnfoldings :: SimplEnv -> Maybe OutExpr -> OutId -> OutExpr -> SimplM SimplEnv
addAltUnfoldings :: SimplEnv -> Maybe CoreExpr -> Id -> CoreExpr -> SimplM SimplEnv
addAltUnfoldings SimplEnv
env Maybe CoreExpr
scrut Id
case_bndr CoreExpr
con_app
= do { let con_app_unf :: Unfolding
con_app_unf = CoreExpr -> Unfolding
mk_simple_unf CoreExpr
con_app
env1 :: SimplEnv
env1 = SimplEnv -> Id -> Unfolding -> SimplEnv
addBinderUnfolding SimplEnv
env Id
case_bndr Unfolding
con_app_unf
env2 :: SimplEnv
env2 | Kind
Many <- Id -> Kind
idMult Id
case_bndr = case Maybe CoreExpr
scrut of
Just (Var Id
v) -> SimplEnv -> Id -> Unfolding -> SimplEnv
addBinderUnfolding SimplEnv
env1 Id
v Unfolding
con_app_unf
Just (Cast (Var Id
v) Coercion
co) -> SimplEnv -> Id -> Unfolding -> SimplEnv
addBinderUnfolding SimplEnv
env1 Id
v (Unfolding -> SimplEnv) -> Unfolding -> SimplEnv
forall a b. (a -> b) -> a -> b
$
CoreExpr -> Unfolding
mk_simple_unf (CoreExpr -> Coercion -> CoreExpr
forall b. Expr b -> Coercion -> Expr b
Cast CoreExpr
con_app (Coercion -> Coercion
mkSymCo Coercion
co))
Maybe CoreExpr
_ -> SimplEnv
env1
| Bool
otherwise = SimplEnv
env1
; String -> SDoc -> SimplM ()
traceSmpl String
"addAltUnf" ([SDoc] -> SDoc
vcat [Id -> SDoc
forall a. Outputable a => a -> SDoc
ppr Id
case_bndr SDoc -> SDoc -> SDoc
<+> Maybe CoreExpr -> SDoc
forall a. Outputable a => a -> SDoc
ppr Maybe CoreExpr
scrut, CoreExpr -> SDoc
forall a. Outputable a => a -> SDoc
ppr CoreExpr
con_app])
; SimplEnv -> SimplM SimplEnv
forall a. a -> SimplM a
forall (m :: * -> *) a. Monad m => a -> m a
return SimplEnv
env2 }
where
!opts :: UnfoldingOpts
opts = SimplEnv -> UnfoldingOpts
seUnfoldingOpts SimplEnv
env
mk_simple_unf :: CoreExpr -> Unfolding
mk_simple_unf = UnfoldingOpts -> CoreExpr -> Unfolding
mkSimpleUnfolding UnfoldingOpts
opts
addBinderUnfolding :: SimplEnv -> Id -> Unfolding -> SimplEnv
addBinderUnfolding :: SimplEnv -> Id -> Unfolding -> SimplEnv
addBinderUnfolding SimplEnv
env Id
bndr Unfolding
unf
| Bool
debugIsOn, Just CoreExpr
tmpl <- Unfolding -> Maybe CoreExpr
maybeUnfoldingTemplate Unfolding
unf
= Bool -> String -> SDoc -> SimplEnv -> SimplEnv
forall a. HasCallStack => Bool -> String -> SDoc -> a -> a
warnPprTrace (Bool -> Bool
not (Kind -> Kind -> Bool
eqType (Id -> Kind
idType Id
bndr) ((() :: Constraint) => CoreExpr -> Kind
CoreExpr -> Kind
exprType CoreExpr
tmpl)))
String
"unfolding type mismatch"
(Id -> SDoc
forall a. Outputable a => a -> SDoc
ppr Id
bndr SDoc -> SDoc -> SDoc
$$ Kind -> SDoc
forall a. Outputable a => a -> SDoc
ppr (Id -> Kind
idType Id
bndr) SDoc -> SDoc -> SDoc
$$ CoreExpr -> SDoc
forall a. Outputable a => a -> SDoc
ppr CoreExpr
tmpl SDoc -> SDoc -> SDoc
$$ Kind -> SDoc
forall a. Outputable a => a -> SDoc
ppr ((() :: Constraint) => CoreExpr -> Kind
CoreExpr -> Kind
exprType CoreExpr
tmpl)) (SimplEnv -> SimplEnv) -> SimplEnv -> SimplEnv
forall a b. (a -> b) -> a -> b
$
SimplEnv -> Id -> SimplEnv
modifyInScope SimplEnv
env (Id
bndr Id -> Unfolding -> Id
`setIdUnfolding` Unfolding
unf)
| Bool
otherwise
= SimplEnv -> Id -> SimplEnv
modifyInScope SimplEnv
env (Id
bndr Id -> Unfolding -> Id
`setIdUnfolding` Unfolding
unf)
zapBndrOccInfo :: Bool -> Id -> Id
zapBndrOccInfo :: Bool -> Id -> Id
zapBndrOccInfo Bool
keep_occ_info Id
pat_id
| Bool
keep_occ_info = Id
pat_id
| Bool
otherwise = Id -> Id
zapIdOccInfo Id
pat_id
knownCon :: SimplEnv
-> OutExpr
-> [FloatBind] -> DataCon -> [OutType] -> [OutExpr]
-> InId -> [InBndr] -> InExpr
-> SimplCont
-> SimplM (SimplFloats, OutExpr)
knownCon :: SimplEnv
-> CoreExpr
-> [FloatBind]
-> DataCon
-> [Kind]
-> [CoreExpr]
-> Id
-> [Id]
-> CoreExpr
-> SimplCont
-> SimplM (SimplFloats, CoreExpr)
knownCon SimplEnv
env CoreExpr
scrut [FloatBind]
dc_floats DataCon
dc [Kind]
dc_ty_args [CoreExpr]
dc_args Id
bndr [Id]
bs CoreExpr
rhs SimplCont
cont
= do { (SimplFloats
floats1, SimplEnv
env1) <- SimplEnv -> [Id] -> [CoreExpr] -> SimplM (SimplFloats, SimplEnv)
bind_args SimplEnv
env [Id]
bs [CoreExpr]
dc_args
; (SimplFloats
floats2, SimplEnv
env2) <- SimplEnv -> SimplM (SimplFloats, SimplEnv)
bind_case_bndr SimplEnv
env1
; (SimplFloats
floats3, CoreExpr
expr') <- SimplEnv -> CoreExpr -> SimplCont -> SimplM (SimplFloats, CoreExpr)
simplExprF SimplEnv
env2 CoreExpr
rhs SimplCont
cont
; case [FloatBind]
dc_floats of
[] ->
(SimplFloats, CoreExpr) -> SimplM (SimplFloats, CoreExpr)
forall a. a -> SimplM a
forall (m :: * -> *) a. Monad m => a -> m a
return (SimplFloats
floats1 SimplFloats -> SimplFloats -> SimplFloats
`addFloats` SimplFloats
floats2 SimplFloats -> SimplFloats -> SimplFloats
`addFloats` SimplFloats
floats3, CoreExpr
expr')
[FloatBind]
_ ->
(SimplFloats, CoreExpr) -> SimplM (SimplFloats, CoreExpr)
forall a. a -> SimplM a
forall (m :: * -> *) a. Monad m => a -> m a
return ( SimplEnv -> SimplFloats
emptyFloats SimplEnv
env
, [FloatBind] -> CoreExpr -> CoreExpr
GHC.Core.Make.wrapFloats [FloatBind]
dc_floats (CoreExpr -> CoreExpr) -> CoreExpr -> CoreExpr
forall a b. (a -> b) -> a -> b
$
SimplFloats -> CoreExpr -> CoreExpr
wrapFloats (SimplFloats
floats1 SimplFloats -> SimplFloats -> SimplFloats
`addFloats` SimplFloats
floats2 SimplFloats -> SimplFloats -> SimplFloats
`addFloats` SimplFloats
floats3) CoreExpr
expr') }
where
zap_occ :: Id -> Id
zap_occ = Bool -> Id -> Id
zapBndrOccInfo (Id -> Bool
isDeadBinder Id
bndr)
bind_args :: SimplEnv -> [Id] -> [CoreExpr] -> SimplM (SimplFloats, SimplEnv)
bind_args SimplEnv
env' [] [CoreExpr]
_ = (SimplFloats, SimplEnv) -> SimplM (SimplFloats, SimplEnv)
forall a. a -> SimplM a
forall (m :: * -> *) a. Monad m => a -> m a
return (SimplEnv -> SimplFloats
emptyFloats SimplEnv
env', SimplEnv
env')
bind_args SimplEnv
env' (Id
b:[Id]
bs') (Type Kind
ty : [CoreExpr]
args)
= Bool
-> (SimplEnv
-> [Id] -> [CoreExpr] -> SimplM (SimplFloats, SimplEnv))
-> SimplEnv
-> [Id]
-> [CoreExpr]
-> SimplM (SimplFloats, SimplEnv)
forall a. HasCallStack => Bool -> a -> a
assert (Id -> Bool
isTyVar Id
b )
SimplEnv -> [Id] -> [CoreExpr] -> SimplM (SimplFloats, SimplEnv)
bind_args (SimplEnv -> Id -> Kind -> SimplEnv
extendTvSubst SimplEnv
env' Id
b Kind
ty) [Id]
bs' [CoreExpr]
args
bind_args SimplEnv
env' (Id
b:[Id]
bs') (Coercion Coercion
co : [CoreExpr]
args)
= Bool
-> (SimplEnv
-> [Id] -> [CoreExpr] -> SimplM (SimplFloats, SimplEnv))
-> SimplEnv
-> [Id]
-> [CoreExpr]
-> SimplM (SimplFloats, SimplEnv)
forall a. HasCallStack => Bool -> a -> a
assert (Id -> Bool
isCoVar Id
b )
SimplEnv -> [Id] -> [CoreExpr] -> SimplM (SimplFloats, SimplEnv)
bind_args (SimplEnv -> Id -> Coercion -> SimplEnv
extendCvSubst SimplEnv
env' Id
b Coercion
co) [Id]
bs' [CoreExpr]
args
bind_args SimplEnv
env' (Id
b:[Id]
bs') (CoreExpr
arg : [CoreExpr]
args)
= Bool
-> SimplM (SimplFloats, SimplEnv) -> SimplM (SimplFloats, SimplEnv)
forall a. HasCallStack => Bool -> a -> a
assert (Id -> Bool
isId Id
b) (SimplM (SimplFloats, SimplEnv) -> SimplM (SimplFloats, SimplEnv))
-> SimplM (SimplFloats, SimplEnv) -> SimplM (SimplFloats, SimplEnv)
forall a b. (a -> b) -> a -> b
$
do { let b' :: Id
b' = Id -> Id
zap_occ Id
b
; (SimplFloats
floats1, SimplEnv
env2) <- SimplEnv -> Id -> CoreExpr -> SimplM (SimplFloats, SimplEnv)
simplNonRecX SimplEnv
env' Id
b' CoreExpr
arg
; (SimplFloats
floats2, SimplEnv
env3) <- SimplEnv -> [Id] -> [CoreExpr] -> SimplM (SimplFloats, SimplEnv)
bind_args SimplEnv
env2 [Id]
bs' [CoreExpr]
args
; (SimplFloats, SimplEnv) -> SimplM (SimplFloats, SimplEnv)
forall a. a -> SimplM a
forall (m :: * -> *) a. Monad m => a -> m a
return (SimplFloats
floats1 SimplFloats -> SimplFloats -> SimplFloats
`addFloats` SimplFloats
floats2, SimplEnv
env3) }
bind_args SimplEnv
_ [Id]
_ [CoreExpr]
_ =
String -> SDoc -> SimplM (SimplFloats, SimplEnv)
forall a. HasCallStack => String -> SDoc -> a
pprPanic String
"bind_args" (SDoc -> SimplM (SimplFloats, SimplEnv))
-> SDoc -> SimplM (SimplFloats, SimplEnv)
forall a b. (a -> b) -> a -> b
$ DataCon -> SDoc
forall a. Outputable a => a -> SDoc
ppr DataCon
dc SDoc -> SDoc -> SDoc
$$ [Id] -> SDoc
forall a. Outputable a => a -> SDoc
ppr [Id]
bs SDoc -> SDoc -> SDoc
$$ [CoreExpr] -> SDoc
forall a. Outputable a => a -> SDoc
ppr [CoreExpr]
dc_args SDoc -> SDoc -> SDoc
$$
String -> SDoc
text String
"scrut:" SDoc -> SDoc -> SDoc
<+> CoreExpr -> SDoc
forall a. Outputable a => a -> SDoc
ppr CoreExpr
scrut
bind_case_bndr :: SimplEnv -> SimplM (SimplFloats, SimplEnv)
bind_case_bndr SimplEnv
env
| Id -> Bool
isDeadBinder Id
bndr = (SimplFloats, SimplEnv) -> SimplM (SimplFloats, SimplEnv)
forall a. a -> SimplM a
forall (m :: * -> *) a. Monad m => a -> m a
return (SimplEnv -> SimplFloats
emptyFloats SimplEnv
env, SimplEnv
env)
| CoreExpr -> Bool
exprIsTrivial CoreExpr
scrut = (SimplFloats, SimplEnv) -> SimplM (SimplFloats, SimplEnv)
forall a. a -> SimplM a
forall (m :: * -> *) a. Monad m => a -> m a
return (SimplEnv -> SimplFloats
emptyFloats SimplEnv
env
, SimplEnv -> Id -> SimplSR -> SimplEnv
extendIdSubst SimplEnv
env Id
bndr (CoreExpr -> Maybe Int -> SimplSR
DoneEx CoreExpr
scrut Maybe Int
forall a. Maybe a
Nothing))
| Bool
otherwise = do { [CoreExpr]
dc_args <- (Id -> SimplM CoreExpr) -> [Id] -> SimplM [CoreExpr]
forall (t :: * -> *) (m :: * -> *) a b.
(Traversable t, Monad m) =>
(a -> m b) -> t a -> m (t b)
forall (m :: * -> *) a b. Monad m => (a -> m b) -> [a] -> m [b]
mapM (SimplEnv -> Id -> SimplM CoreExpr
simplVar SimplEnv
env) [Id]
bs
; let con_app :: CoreExpr
con_app = Id -> CoreExpr
forall b. Id -> Expr b
Var (DataCon -> Id
dataConWorkId DataCon
dc)
CoreExpr -> [Kind] -> CoreExpr
forall b. Expr b -> [Kind] -> Expr b
`mkTyApps` [Kind]
dc_ty_args
CoreExpr -> [CoreExpr] -> CoreExpr
forall b. Expr b -> [Expr b] -> Expr b
`mkApps` [CoreExpr]
dc_args
; SimplEnv -> Id -> CoreExpr -> SimplM (SimplFloats, SimplEnv)
simplNonRecX SimplEnv
env Id
bndr CoreExpr
con_app }
missingAlt :: SimplEnv -> Id -> [InAlt] -> SimplCont
-> SimplM (SimplFloats, OutExpr)
missingAlt :: SimplEnv
-> Id -> [Alt Id] -> SimplCont -> SimplM (SimplFloats, CoreExpr)
missingAlt SimplEnv
env Id
case_bndr [Alt Id]
_ SimplCont
cont
= Bool
-> String
-> SDoc
-> SimplM (SimplFloats, CoreExpr)
-> SimplM (SimplFloats, CoreExpr)
forall a. HasCallStack => Bool -> String -> SDoc -> a -> a
warnPprTrace Bool
True String
"missingAlt" (Id -> SDoc
forall a. Outputable a => a -> SDoc
ppr Id
case_bndr) (SimplM (SimplFloats, CoreExpr) -> SimplM (SimplFloats, CoreExpr))
-> SimplM (SimplFloats, CoreExpr) -> SimplM (SimplFloats, CoreExpr)
forall a b. (a -> b) -> a -> b
$
let cont_ty :: Kind
cont_ty = SimplCont -> Kind
contResultType SimplCont
cont
in Kind -> ()
seqType Kind
cont_ty ()
-> SimplM (SimplFloats, CoreExpr) -> SimplM (SimplFloats, CoreExpr)
forall a b. a -> b -> b
`seq`
(SimplFloats, CoreExpr) -> SimplM (SimplFloats, CoreExpr)
forall a. a -> SimplM a
forall (m :: * -> *) a. Monad m => a -> m a
return (SimplEnv -> SimplFloats
emptyFloats SimplEnv
env, Kind -> CoreExpr
mkImpossibleExpr Kind
cont_ty)
mkDupableCaseCont :: SimplEnv -> [InAlt] -> SimplCont
-> SimplM ( SimplFloats
, SimplEnv
, SimplCont)
mkDupableCaseCont :: SimplEnv
-> [Alt Id]
-> SimplCont
-> SimplM (SimplFloats, SimplEnv, SimplCont)
mkDupableCaseCont SimplEnv
env [Alt Id]
alts SimplCont
cont
| [Alt Id] -> Bool
altsWouldDup [Alt Id]
alts = do { (SimplFloats
floats, SimplCont
cont) <- SimplEnv -> SimplCont -> SimplM (SimplFloats, SimplCont)
mkDupableCont SimplEnv
env SimplCont
cont
; let env' :: SimplEnv
env' = SimplEnv -> SimplEnv
bumpCaseDepth (SimplEnv -> SimplEnv) -> SimplEnv -> SimplEnv
forall a b. (a -> b) -> a -> b
$
SimplEnv
env SimplEnv -> SimplFloats -> SimplEnv
`setInScopeFromF` SimplFloats
floats
; (SimplFloats, SimplEnv, SimplCont)
-> SimplM (SimplFloats, SimplEnv, SimplCont)
forall a. a -> SimplM a
forall (m :: * -> *) a. Monad m => a -> m a
return (SimplFloats
floats, SimplEnv
env', SimplCont
cont) }
| Bool
otherwise = (SimplFloats, SimplEnv, SimplCont)
-> SimplM (SimplFloats, SimplEnv, SimplCont)
forall a. a -> SimplM a
forall (m :: * -> *) a. Monad m => a -> m a
return (SimplEnv -> SimplFloats
emptyFloats SimplEnv
env, SimplEnv
env, SimplCont
cont)
altsWouldDup :: [InAlt] -> Bool
altsWouldDup :: [Alt Id] -> Bool
altsWouldDup [] = Bool
False
altsWouldDup [Alt Id
_] = Bool
False
altsWouldDup (Alt Id
alt:[Alt Id]
alts)
| Alt Id -> Bool
is_bot_alt Alt Id
alt = [Alt Id] -> Bool
altsWouldDup [Alt Id]
alts
| Bool
otherwise = Bool -> Bool
not ((Alt Id -> Bool) -> [Alt Id] -> Bool
forall (t :: * -> *) a. Foldable t => (a -> Bool) -> t a -> Bool
all Alt Id -> Bool
is_bot_alt [Alt Id]
alts)
where
is_bot_alt :: Alt Id -> Bool
is_bot_alt (Alt AltCon
_ [Id]
_ CoreExpr
rhs) = CoreExpr -> Bool
exprIsDeadEnd CoreExpr
rhs
mkDupableCont :: SimplEnv
-> SimplCont
-> SimplM ( SimplFloats
, SimplCont)
mkDupableCont :: SimplEnv -> SimplCont -> SimplM (SimplFloats, SimplCont)
mkDupableCont SimplEnv
env SimplCont
cont
= SimplEnv
-> [Demand] -> SimplCont -> SimplM (SimplFloats, SimplCont)
mkDupableContWithDmds SimplEnv
env (Demand -> [Demand]
forall a. a -> [a]
repeat Demand
topDmd) SimplCont
cont
mkDupableContWithDmds
:: SimplEnv -> [Demand]
-> SimplCont -> SimplM ( SimplFloats, SimplCont)
mkDupableContWithDmds :: SimplEnv
-> [Demand] -> SimplCont -> SimplM (SimplFloats, SimplCont)
mkDupableContWithDmds SimplEnv
env [Demand]
_ SimplCont
cont
| SimplCont -> Bool
contIsDupable SimplCont
cont
= (SimplFloats, SimplCont) -> SimplM (SimplFloats, SimplCont)
forall a. a -> SimplM a
forall (m :: * -> *) a. Monad m => a -> m a
return (SimplEnv -> SimplFloats
emptyFloats SimplEnv
env, SimplCont
cont)
mkDupableContWithDmds SimplEnv
_ [Demand]
_ (Stop {}) = String -> SimplM (SimplFloats, SimplCont)
forall a. String -> a
panic String
"mkDupableCont"
mkDupableContWithDmds SimplEnv
env [Demand]
dmds (CastIt Coercion
ty SimplCont
cont)
= do { (SimplFloats
floats, SimplCont
cont') <- SimplEnv
-> [Demand] -> SimplCont -> SimplM (SimplFloats, SimplCont)
mkDupableContWithDmds SimplEnv
env [Demand]
dmds SimplCont
cont
; (SimplFloats, SimplCont) -> SimplM (SimplFloats, SimplCont)
forall a. a -> SimplM a
forall (m :: * -> *) a. Monad m => a -> m a
return (SimplFloats
floats, Coercion -> SimplCont -> SimplCont
CastIt Coercion
ty SimplCont
cont') }
mkDupableContWithDmds SimplEnv
env [Demand]
dmds (TickIt CoreTickish
t SimplCont
cont)
= do { (SimplFloats
floats, SimplCont
cont') <- SimplEnv
-> [Demand] -> SimplCont -> SimplM (SimplFloats, SimplCont)
mkDupableContWithDmds SimplEnv
env [Demand]
dmds SimplCont
cont
; (SimplFloats, SimplCont) -> SimplM (SimplFloats, SimplCont)
forall a. a -> SimplM a
forall (m :: * -> *) a. Monad m => a -> m a
return (SimplFloats
floats, CoreTickish -> SimplCont -> SimplCont
TickIt CoreTickish
t SimplCont
cont') }
mkDupableContWithDmds SimplEnv
env [Demand]
_
(StrictBind { sc_bndr :: SimplCont -> Id
sc_bndr = Id
bndr, sc_body :: SimplCont -> CoreExpr
sc_body = CoreExpr
body
, sc_env :: SimplCont -> SimplEnv
sc_env = SimplEnv
se, sc_cont :: SimplCont -> SimplCont
sc_cont = SimplCont
cont})
= do { let sb_env :: SimplEnv
sb_env = SimplEnv
se SimplEnv -> SimplEnv -> SimplEnv
`setInScopeFromE` SimplEnv
env
; (SimplEnv
sb_env1, Id
bndr') <- SimplEnv -> Id -> SimplM (SimplEnv, Id)
simplBinder SimplEnv
sb_env Id
bndr
; (SimplFloats
floats1, CoreExpr
join_inner) <- SimplEnv -> CoreExpr -> SimplCont -> SimplM (SimplFloats, CoreExpr)
simplLam SimplEnv
sb_env1 CoreExpr
body SimplCont
cont
; let join_body :: CoreExpr
join_body = SimplFloats -> CoreExpr -> CoreExpr
wrapFloats SimplFloats
floats1 CoreExpr
join_inner
res_ty :: Kind
res_ty = SimplCont -> Kind
contResultType SimplCont
cont
; SimplEnv
-> Id -> CoreExpr -> Kind -> SimplM (SimplFloats, SimplCont)
mkDupableStrictBind SimplEnv
env Id
bndr' CoreExpr
join_body Kind
res_ty }
mkDupableContWithDmds SimplEnv
env [Demand]
_
(StrictArg { sc_fun :: SimplCont -> ArgInfo
sc_fun = ArgInfo
fun, sc_cont :: SimplCont -> SimplCont
sc_cont = SimplCont
cont
, sc_fun_ty :: SimplCont -> Kind
sc_fun_ty = Kind
fun_ty })
| Maybe DataCon -> Bool
forall a. Maybe a -> Bool
isNothing (Id -> Maybe DataCon
isDataConId_maybe (ArgInfo -> Id
ai_fun ArgInfo
fun))
, SimplCont -> Bool
thumbsUpPlanA SimplCont
cont
=
do { let (Demand
_ : [Demand]
dmds) = ArgInfo -> [Demand]
ai_dmds ArgInfo
fun
; (SimplFloats
floats1, SimplCont
cont') <- SimplEnv
-> [Demand] -> SimplCont -> SimplM (SimplFloats, SimplCont)
mkDupableContWithDmds SimplEnv
env [Demand]
dmds SimplCont
cont
; ([LetFloats]
floats_s, [ArgSpec]
args') <- (ArgSpec -> SimplM (LetFloats, ArgSpec))
-> [ArgSpec] -> SimplM ([LetFloats], [ArgSpec])
forall (m :: * -> *) a b c.
Applicative m =>
(a -> m (b, c)) -> [a] -> m ([b], [c])
mapAndUnzipM (SimplEnv -> ArgSpec -> SimplM (LetFloats, ArgSpec)
makeTrivialArg SimplEnv
env)
(ArgInfo -> [ArgSpec]
ai_args ArgInfo
fun)
; (SimplFloats, SimplCont) -> SimplM (SimplFloats, SimplCont)
forall a. a -> SimplM a
forall (m :: * -> *) a. Monad m => a -> m a
return ( (SimplFloats -> LetFloats -> SimplFloats)
-> SimplFloats -> [LetFloats] -> SimplFloats
forall b a. (b -> a -> b) -> b -> [a] -> b
forall (t :: * -> *) b a.
Foldable t =>
(b -> a -> b) -> b -> t a -> b
foldl' SimplFloats -> LetFloats -> SimplFloats
addLetFloats SimplFloats
floats1 [LetFloats]
floats_s
, StrictArg { sc_fun :: ArgInfo
sc_fun = ArgInfo
fun { ai_args :: [ArgSpec]
ai_args = [ArgSpec]
args' }
, sc_cont :: SimplCont
sc_cont = SimplCont
cont'
, sc_fun_ty :: Kind
sc_fun_ty = Kind
fun_ty
, sc_dup :: DupFlag
sc_dup = DupFlag
OkToDup} ) }
| Bool
otherwise
=
do { let rhs_ty :: Kind
rhs_ty = SimplCont -> Kind
contResultType SimplCont
cont
(Kind
m,Kind
arg_ty,Kind
_) = Kind -> (Kind, Kind, Kind)
splitFunTy Kind
fun_ty
; Id
arg_bndr <- FastString -> Kind -> Kind -> SimplM Id
newId (String -> FastString
fsLit String
"arg") Kind
m Kind
arg_ty
; let env' :: SimplEnv
env' = SimplEnv
env SimplEnv -> [Id] -> SimplEnv
`addNewInScopeIds` [Id
arg_bndr]
; (SimplFloats
floats, CoreExpr
join_rhs) <- SimplEnv -> ArgInfo -> SimplCont -> SimplM (SimplFloats, CoreExpr)
rebuildCall SimplEnv
env' (ArgInfo -> CoreExpr -> Kind -> ArgInfo
addValArgTo ArgInfo
fun (Id -> CoreExpr
forall b. Id -> Expr b
Var Id
arg_bndr) Kind
fun_ty) SimplCont
cont
; SimplEnv
-> Id -> CoreExpr -> Kind -> SimplM (SimplFloats, SimplCont)
mkDupableStrictBind SimplEnv
env' Id
arg_bndr (SimplFloats -> CoreExpr -> CoreExpr
wrapFloats SimplFloats
floats CoreExpr
join_rhs) Kind
rhs_ty }
where
thumbsUpPlanA :: SimplCont -> Bool
thumbsUpPlanA (StrictArg {}) = Bool
False
thumbsUpPlanA (CastIt Coercion
_ SimplCont
k) = SimplCont -> Bool
thumbsUpPlanA SimplCont
k
thumbsUpPlanA (TickIt CoreTickish
_ SimplCont
k) = SimplCont -> Bool
thumbsUpPlanA SimplCont
k
thumbsUpPlanA (ApplyToVal { sc_cont :: SimplCont -> SimplCont
sc_cont = SimplCont
k }) = SimplCont -> Bool
thumbsUpPlanA SimplCont
k
thumbsUpPlanA (ApplyToTy { sc_cont :: SimplCont -> SimplCont
sc_cont = SimplCont
k }) = SimplCont -> Bool
thumbsUpPlanA SimplCont
k
thumbsUpPlanA (Select {}) = Bool
True
thumbsUpPlanA (StrictBind {}) = Bool
True
thumbsUpPlanA (Stop {}) = Bool
True
mkDupableContWithDmds SimplEnv
env [Demand]
dmds
(ApplyToTy { sc_cont :: SimplCont -> SimplCont
sc_cont = SimplCont
cont, sc_arg_ty :: SimplCont -> Kind
sc_arg_ty = Kind
arg_ty, sc_hole_ty :: SimplCont -> Kind
sc_hole_ty = Kind
hole_ty })
= do { (SimplFloats
floats, SimplCont
cont') <- SimplEnv
-> [Demand] -> SimplCont -> SimplM (SimplFloats, SimplCont)
mkDupableContWithDmds SimplEnv
env [Demand]
dmds SimplCont
cont
; (SimplFloats, SimplCont) -> SimplM (SimplFloats, SimplCont)
forall a. a -> SimplM a
forall (m :: * -> *) a. Monad m => a -> m a
return (SimplFloats
floats, ApplyToTy { sc_cont :: SimplCont
sc_cont = SimplCont
cont'
, sc_arg_ty :: Kind
sc_arg_ty = Kind
arg_ty, sc_hole_ty :: Kind
sc_hole_ty = Kind
hole_ty }) }
mkDupableContWithDmds SimplEnv
env [Demand]
dmds
(ApplyToVal { sc_arg :: SimplCont -> CoreExpr
sc_arg = CoreExpr
arg, sc_dup :: SimplCont -> DupFlag
sc_dup = DupFlag
dup, sc_env :: SimplCont -> SimplEnv
sc_env = SimplEnv
se
, sc_cont :: SimplCont -> SimplCont
sc_cont = SimplCont
cont, sc_hole_ty :: SimplCont -> Kind
sc_hole_ty = Kind
hole_ty })
=
do { let (Demand
dmd:[Demand]
_) = [Demand]
dmds
; (SimplFloats
floats1, SimplCont
cont') <- SimplEnv
-> [Demand] -> SimplCont -> SimplM (SimplFloats, SimplCont)
mkDupableContWithDmds SimplEnv
env [Demand]
dmds SimplCont
cont
; let env' :: SimplEnv
env' = SimplEnv
env SimplEnv -> SimplFloats -> SimplEnv
`setInScopeFromF` SimplFloats
floats1
; (DupFlag
_, SimplEnv
se', CoreExpr
arg') <- SimplEnv
-> DupFlag
-> SimplEnv
-> CoreExpr
-> SimplM (DupFlag, SimplEnv, CoreExpr)
simplArg SimplEnv
env' DupFlag
dup SimplEnv
se CoreExpr
arg
; (LetFloats
let_floats2, CoreExpr
arg'') <- SimplEnv
-> TopLevelFlag
-> Demand
-> FastString
-> CoreExpr
-> SimplM (LetFloats, CoreExpr)
makeTrivial SimplEnv
env TopLevelFlag
NotTopLevel Demand
dmd (String -> FastString
fsLit String
"karg") CoreExpr
arg'
; let all_floats :: SimplFloats
all_floats = SimplFloats
floats1 SimplFloats -> LetFloats -> SimplFloats
`addLetFloats` LetFloats
let_floats2
; (SimplFloats, SimplCont) -> SimplM (SimplFloats, SimplCont)
forall a. a -> SimplM a
forall (m :: * -> *) a. Monad m => a -> m a
return ( SimplFloats
all_floats
, ApplyToVal { sc_arg :: CoreExpr
sc_arg = CoreExpr
arg''
, sc_env :: SimplEnv
sc_env = SimplEnv
se' SimplEnv -> SimplFloats -> SimplEnv
`setInScopeFromF` SimplFloats
all_floats
, sc_dup :: DupFlag
sc_dup = DupFlag
OkToDup, sc_cont :: SimplCont
sc_cont = SimplCont
cont'
, sc_hole_ty :: Kind
sc_hole_ty = Kind
hole_ty }) }
mkDupableContWithDmds SimplEnv
env [Demand]
_
(Select { sc_bndr :: SimplCont -> Id
sc_bndr = Id
case_bndr, sc_alts :: SimplCont -> [Alt Id]
sc_alts = [Alt Id]
alts, sc_env :: SimplCont -> SimplEnv
sc_env = SimplEnv
se, sc_cont :: SimplCont -> SimplCont
sc_cont = SimplCont
cont })
=
do { Tick -> SimplM ()
tick (Id -> Tick
CaseOfCase Id
case_bndr)
; (SimplFloats
floats, SimplEnv
alt_env, SimplCont
alt_cont) <- SimplEnv
-> [Alt Id]
-> SimplCont
-> SimplM (SimplFloats, SimplEnv, SimplCont)
mkDupableCaseCont (SimplEnv
se SimplEnv -> SimplEnv -> SimplEnv
`setInScopeFromE` SimplEnv
env) [Alt Id]
alts SimplCont
cont
; let cont_scaling :: Kind
cont_scaling = SimplCont -> Kind
contHoleScaling SimplCont
cont
; (SimplEnv
alt_env', Id
case_bndr') <- SimplEnv -> Id -> SimplM (SimplEnv, Id)
simplBinder SimplEnv
alt_env (Kind -> Id -> Id
scaleIdBy Kind
cont_scaling Id
case_bndr)
; [Alt Id]
alts' <- (Alt Id -> SimplM (Alt Id)) -> [Alt Id] -> SimplM [Alt Id]
forall (t :: * -> *) (m :: * -> *) a b.
(Traversable t, Monad m) =>
(a -> m b) -> t a -> m (t b)
forall (m :: * -> *) a b. Monad m => (a -> m b) -> [a] -> m [b]
mapM (SimplEnv
-> Maybe CoreExpr
-> [AltCon]
-> Id
-> SimplCont
-> Alt Id
-> SimplM (Alt Id)
simplAlt SimplEnv
alt_env' Maybe CoreExpr
forall a. Maybe a
Nothing [] Id
case_bndr' SimplCont
alt_cont) (Kind -> [Alt Id] -> [Alt Id]
scaleAltsBy Kind
cont_scaling [Alt Id]
alts)
; (JoinFloats
join_floats, [Alt Id]
alts'') <- (JoinFloats -> Alt Id -> SimplM (JoinFloats, Alt Id))
-> JoinFloats -> [Alt Id] -> SimplM (JoinFloats, [Alt Id])
forall (m :: * -> *) acc x y.
Monad m =>
(acc -> x -> m (acc, y)) -> acc -> [x] -> m (acc, [y])
mapAccumLM (Platform
-> Id -> JoinFloats -> Alt Id -> SimplM (JoinFloats, Alt Id)
mkDupableAlt (DynFlags -> Platform
targetPlatform (SimplEnv -> DynFlags
seDynFlags SimplEnv
env)) Id
case_bndr')
JoinFloats
emptyJoinFloats [Alt Id]
alts'
; let all_floats :: SimplFloats
all_floats = SimplFloats
floats SimplFloats -> JoinFloats -> SimplFloats
`addJoinFloats` JoinFloats
join_floats
; (SimplFloats, SimplCont) -> SimplM (SimplFloats, SimplCont)
forall a. a -> SimplM a
forall (m :: * -> *) a. Monad m => a -> m a
return (SimplFloats
all_floats
, Select { sc_dup :: DupFlag
sc_dup = DupFlag
OkToDup
, sc_bndr :: Id
sc_bndr = Id
case_bndr'
, sc_alts :: [Alt Id]
sc_alts = [Alt Id]
alts''
, sc_env :: SimplEnv
sc_env = SimplEnv -> SimplEnv
zapSubstEnv SimplEnv
se SimplEnv -> SimplFloats -> SimplEnv
`setInScopeFromF` SimplFloats
all_floats
, sc_cont :: SimplCont
sc_cont = Kind -> SimplCont
mkBoringStop (SimplCont -> Kind
contResultType SimplCont
cont) } ) }
mkDupableStrictBind :: SimplEnv -> OutId -> OutExpr -> OutType
-> SimplM (SimplFloats, SimplCont)
mkDupableStrictBind :: SimplEnv
-> Id -> CoreExpr -> Kind -> SimplM (SimplFloats, SimplCont)
mkDupableStrictBind SimplEnv
env Id
arg_bndr CoreExpr
join_rhs Kind
res_ty
| CoreExpr -> Bool
exprIsTrivial CoreExpr
join_rhs
= (SimplFloats, SimplCont) -> SimplM (SimplFloats, SimplCont)
forall a. a -> SimplM a
forall (m :: * -> *) a. Monad m => a -> m a
return (SimplEnv -> SimplFloats
emptyFloats SimplEnv
env
, StrictBind { sc_bndr :: Id
sc_bndr = Id
arg_bndr
, sc_body :: CoreExpr
sc_body = CoreExpr
join_rhs
, sc_env :: SimplEnv
sc_env = SimplEnv -> SimplEnv
zapSubstEnv SimplEnv
env
, sc_dup :: DupFlag
sc_dup = DupFlag
OkToDup
, sc_cont :: SimplCont
sc_cont = Kind -> SimplCont
mkBoringStop Kind
res_ty } )
| Bool
otherwise
= do { Id
join_bndr <- [Id] -> Kind -> SimplM Id
newJoinId [Id
arg_bndr] Kind
res_ty
; let arg_info :: ArgInfo
arg_info = ArgInfo { ai_fun :: Id
ai_fun = Id
join_bndr
, ai_rules :: FunRules
ai_rules = FunRules
forall a. Maybe a
Nothing, ai_args :: [ArgSpec]
ai_args = []
, ai_encl :: Bool
ai_encl = Bool
False, ai_dmds :: [Demand]
ai_dmds = Demand -> [Demand]
forall a. a -> [a]
repeat Demand
topDmd
, ai_discs :: [Int]
ai_discs = Int -> [Int]
forall a. a -> [a]
repeat Int
0 }
; (SimplFloats, SimplCont) -> SimplM (SimplFloats, SimplCont)
forall a. a -> SimplM a
forall (m :: * -> *) a. Monad m => a -> m a
return ( SimplFloats -> JoinFloats -> SimplFloats
addJoinFloats (SimplEnv -> SimplFloats
emptyFloats SimplEnv
env) (JoinFloats -> SimplFloats) -> JoinFloats -> SimplFloats
forall a b. (a -> b) -> a -> b
$
InBind -> JoinFloats
unitJoinFloat (InBind -> JoinFloats) -> InBind -> JoinFloats
forall a b. (a -> b) -> a -> b
$
Id -> CoreExpr -> InBind
forall b. b -> Expr b -> Bind b
NonRec Id
join_bndr (CoreExpr -> InBind) -> CoreExpr -> InBind
forall a b. (a -> b) -> a -> b
$
Id -> CoreExpr -> CoreExpr
forall b. b -> Expr b -> Expr b
Lam (Id -> Id
setOneShotLambda Id
arg_bndr) CoreExpr
join_rhs
, StrictArg { sc_dup :: DupFlag
sc_dup = DupFlag
OkToDup
, sc_fun :: ArgInfo
sc_fun = ArgInfo
arg_info
, sc_fun_ty :: Kind
sc_fun_ty = Id -> Kind
idType Id
join_bndr
, sc_cont :: SimplCont
sc_cont = Kind -> SimplCont
mkBoringStop Kind
res_ty
} ) }
mkDupableAlt :: Platform -> OutId
-> JoinFloats -> OutAlt
-> SimplM (JoinFloats, OutAlt)
mkDupableAlt :: Platform
-> Id -> JoinFloats -> Alt Id -> SimplM (JoinFloats, Alt Id)
mkDupableAlt Platform
_platform Id
case_bndr JoinFloats
jfloats (Alt AltCon
con [Id]
bndrs' CoreExpr
rhs')
| CoreExpr -> Bool
exprIsTrivial CoreExpr
rhs'
= (JoinFloats, Alt Id) -> SimplM (JoinFloats, Alt Id)
forall a. a -> SimplM a
forall (m :: * -> *) a. Monad m => a -> m a
return (JoinFloats
jfloats, AltCon -> [Id] -> CoreExpr -> Alt Id
forall b. AltCon -> [b] -> Expr b -> Alt b
Alt AltCon
con [Id]
bndrs' CoreExpr
rhs')
| Bool
otherwise
= do { let rhs_ty' :: Kind
rhs_ty' = (() :: Constraint) => CoreExpr -> Kind
CoreExpr -> Kind
exprType CoreExpr
rhs'
final_bndrs' :: [Id]
final_bndrs'
| Id -> Bool
isDeadBinder Id
case_bndr = (Id -> Bool) -> [Id] -> [Id]
forall a. (a -> Bool) -> [a] -> [a]
filter Id -> Bool
abstract_over [Id]
bndrs'
| Bool
otherwise = [Id]
bndrs' [Id] -> [Id] -> [Id]
forall a. [a] -> [a] -> [a]
++ [Id
case_bndr]
abstract_over :: Id -> Bool
abstract_over Id
bndr
| Id -> Bool
isTyVar Id
bndr = Bool
True
| Bool
otherwise = Bool -> Bool
not (Id -> Bool
isDeadBinder Id
bndr)
final_args :: [CoreExpr]
final_args = [Id] -> [CoreExpr]
forall b. [Id] -> [Expr b]
varsToCoreExprs [Id]
final_bndrs'
really_final_bndrs :: [Id]
really_final_bndrs = (Id -> Id) -> [Id] -> [Id]
forall a b. (a -> b) -> [a] -> [b]
map Id -> Id
one_shot [Id]
final_bndrs'
one_shot :: Id -> Id
one_shot Id
v | Id -> Bool
isId Id
v = Id -> Id
setOneShotLambda Id
v
| Bool
otherwise = Id
v
join_rhs :: CoreExpr
join_rhs = [Id] -> CoreExpr -> CoreExpr
forall b. [b] -> Expr b -> Expr b
mkLams [Id]
really_final_bndrs CoreExpr
rhs'
; Id
join_bndr <- [Id] -> Kind -> SimplM Id
newJoinId [Id]
final_bndrs' Kind
rhs_ty'
; let join_call :: CoreExpr
join_call = CoreExpr -> [CoreExpr] -> CoreExpr
forall b. Expr b -> [Expr b] -> Expr b
mkApps (Id -> CoreExpr
forall b. Id -> Expr b
Var Id
join_bndr) [CoreExpr]
final_args
alt' :: Alt Id
alt' = AltCon -> [Id] -> CoreExpr -> Alt Id
forall b. AltCon -> [b] -> Expr b -> Alt b
Alt AltCon
con [Id]
bndrs' CoreExpr
join_call
; (JoinFloats, Alt Id) -> SimplM (JoinFloats, Alt Id)
forall a. a -> SimplM a
forall (m :: * -> *) a. Monad m => a -> m a
return ( JoinFloats
jfloats JoinFloats -> JoinFloats -> JoinFloats
`addJoinFlts` InBind -> JoinFloats
unitJoinFloat (Id -> CoreExpr -> InBind
forall b. b -> Expr b -> Bind b
NonRec Id
join_bndr CoreExpr
join_rhs)
, Alt Id
alt') }
simplLetUnfolding :: SimplEnv
-> BindContext
-> InId
-> OutExpr -> OutType -> ArityType
-> Unfolding -> SimplM Unfolding
simplLetUnfolding :: SimplEnv
-> BindContext
-> Id
-> CoreExpr
-> Kind
-> ArityType
-> Unfolding
-> SimplM Unfolding
simplLetUnfolding SimplEnv
env BindContext
bind_cxt Id
id CoreExpr
new_rhs Kind
rhs_ty ArityType
arity Unfolding
unf
| Unfolding -> Bool
isStableUnfolding Unfolding
unf
= SimplEnv
-> BindContext
-> Id
-> Kind
-> ArityType
-> Unfolding
-> SimplM Unfolding
simplStableUnfolding SimplEnv
env BindContext
bind_cxt Id
id Kind
rhs_ty ArityType
arity Unfolding
unf
| Id -> Bool
isExitJoinId Id
id
= Unfolding -> SimplM Unfolding
forall a. a -> SimplM a
forall (m :: * -> *) a. Monad m => a -> m a
return Unfolding
noUnfolding
| Bool
otherwise
=
let !opts :: UnfoldingOpts
opts = SimplEnv -> UnfoldingOpts
seUnfoldingOpts SimplEnv
env
in UnfoldingOpts
-> TopLevelFlag
-> UnfoldingSource
-> Id
-> CoreExpr
-> SimplM Unfolding
mkLetUnfolding UnfoldingOpts
opts (BindContext -> TopLevelFlag
bindContextLevel BindContext
bind_cxt) UnfoldingSource
InlineRhs Id
id CoreExpr
new_rhs
mkLetUnfolding :: UnfoldingOpts -> TopLevelFlag -> UnfoldingSource
-> InId -> OutExpr -> SimplM Unfolding
mkLetUnfolding :: UnfoldingOpts
-> TopLevelFlag
-> UnfoldingSource
-> Id
-> CoreExpr
-> SimplM Unfolding
mkLetUnfolding !UnfoldingOpts
uf_opts TopLevelFlag
top_lvl UnfoldingSource
src Id
id CoreExpr
new_rhs
= Unfolding -> SimplM Unfolding
forall a. a -> SimplM a
forall (m :: * -> *) a. Monad m => a -> m a
return (UnfoldingOpts
-> UnfoldingSource -> Bool -> Bool -> CoreExpr -> Unfolding
mkUnfolding UnfoldingOpts
uf_opts UnfoldingSource
src Bool
is_top_lvl Bool
is_bottoming CoreExpr
new_rhs)
where
!is_top_lvl :: Bool
is_top_lvl = TopLevelFlag -> Bool
isTopLevel TopLevelFlag
top_lvl
!is_bottoming :: Bool
is_bottoming = Id -> Bool
isDeadEndId Id
id
simplStableUnfolding :: SimplEnv -> BindContext
-> InId
-> OutType
-> ArityType
-> Unfolding
->SimplM Unfolding
simplStableUnfolding :: SimplEnv
-> BindContext
-> Id
-> Kind
-> ArityType
-> Unfolding
-> SimplM Unfolding
simplStableUnfolding SimplEnv
env BindContext
bind_cxt Id
id Kind
rhs_ty ArityType
id_arity Unfolding
unf
= case Unfolding
unf of
Unfolding
NoUnfolding -> Unfolding -> SimplM Unfolding
forall a. a -> SimplM a
forall (m :: * -> *) a. Monad m => a -> m a
return Unfolding
unf
Unfolding
BootUnfolding -> Unfolding -> SimplM Unfolding
forall a. a -> SimplM a
forall (m :: * -> *) a. Monad m => a -> m a
return Unfolding
unf
OtherCon {} -> Unfolding -> SimplM Unfolding
forall a. a -> SimplM a
forall (m :: * -> *) a. Monad m => a -> m a
return Unfolding
unf
DFunUnfolding { df_bndrs :: Unfolding -> [Id]
df_bndrs = [Id]
bndrs, df_con :: Unfolding -> DataCon
df_con = DataCon
con, df_args :: Unfolding -> [CoreExpr]
df_args = [CoreExpr]
args }
-> do { (SimplEnv
env', [Id]
bndrs') <- SimplEnv -> [Id] -> SimplM (SimplEnv, [Id])
simplBinders SimplEnv
unf_env [Id]
bndrs
; [CoreExpr]
args' <- (CoreExpr -> SimplM CoreExpr) -> [CoreExpr] -> SimplM [CoreExpr]
forall (t :: * -> *) (m :: * -> *) a b.
(Traversable t, Monad m) =>
(a -> m b) -> t a -> m (t b)
forall (m :: * -> *) a b. Monad m => (a -> m b) -> [a] -> m [b]
mapM (SimplEnv -> CoreExpr -> SimplM CoreExpr
simplExpr SimplEnv
env') [CoreExpr]
args
; Unfolding -> SimplM Unfolding
forall a. a -> SimplM a
forall (m :: * -> *) a. Monad m => a -> m a
return ([Id] -> DataCon -> [CoreExpr] -> Unfolding
mkDFunUnfolding [Id]
bndrs' DataCon
con [CoreExpr]
args') }
CoreUnfolding { uf_tmpl :: Unfolding -> CoreExpr
uf_tmpl = CoreExpr
expr, uf_src :: Unfolding -> UnfoldingSource
uf_src = UnfoldingSource
src, uf_guidance :: Unfolding -> UnfoldingGuidance
uf_guidance = UnfoldingGuidance
guide }
| UnfoldingSource -> Bool
isStableSource UnfoldingSource
src
-> do { CoreExpr
expr' <- case BindContext
bind_cxt of
BC_Join SimplCont
cont ->
SimplEnv -> Id -> CoreExpr -> SimplCont -> SimplM CoreExpr
simplJoinRhs SimplEnv
unf_env Id
id CoreExpr
expr SimplCont
cont
BC_Let {} ->
do { CoreExpr
expr' <- SimplEnv -> CoreExpr -> SimplCont -> SimplM CoreExpr
simplExprC SimplEnv
unf_env CoreExpr
expr (Kind -> SimplCont
mkBoringStop Kind
rhs_ty)
; CoreExpr -> SimplM CoreExpr
forall a. a -> SimplM a
forall (m :: * -> *) a. Monad m => a -> m a
return (CoreExpr -> CoreExpr
eta_expand CoreExpr
expr') }
; case UnfoldingGuidance
guide of
UnfWhen { ug_arity :: UnfoldingGuidance -> Int
ug_arity = Int
arity
, ug_unsat_ok :: UnfoldingGuidance -> Bool
ug_unsat_ok = Bool
sat_ok
, ug_boring_ok :: UnfoldingGuidance -> Bool
ug_boring_ok = Bool
boring_ok
}
-> let !new_boring_ok :: Bool
new_boring_ok = Bool
boring_ok Bool -> Bool -> Bool
|| CoreExpr -> Bool
inlineBoringOk CoreExpr
expr'
guide' :: UnfoldingGuidance
guide' =
UnfWhen { ug_arity :: Int
ug_arity = Int
arity
, ug_unsat_ok :: Bool
ug_unsat_ok = Bool
sat_ok
, ug_boring_ok :: Bool
ug_boring_ok = Bool
new_boring_ok
}
in Unfolding -> SimplM Unfolding
forall a. a -> SimplM a
forall (m :: * -> *) a. Monad m => a -> m a
return (UnfoldingSource
-> Bool -> CoreExpr -> UnfoldingGuidance -> Unfolding
mkCoreUnfolding UnfoldingSource
src Bool
is_top_lvl CoreExpr
expr' UnfoldingGuidance
guide')
UnfoldingGuidance
_other
-> UnfoldingOpts
-> TopLevelFlag
-> UnfoldingSource
-> Id
-> CoreExpr
-> SimplM Unfolding
mkLetUnfolding UnfoldingOpts
uf_opts TopLevelFlag
top_lvl UnfoldingSource
src Id
id CoreExpr
expr' }
| Bool
otherwise -> Unfolding -> SimplM Unfolding
forall a. a -> SimplM a
forall (m :: * -> *) a. Monad m => a -> m a
return Unfolding
noUnfolding
where
uf_opts :: UnfoldingOpts
uf_opts = SimplEnv -> UnfoldingOpts
seUnfoldingOpts SimplEnv
env
top_lvl :: TopLevelFlag
top_lvl = BindContext -> TopLevelFlag
bindContextLevel BindContext
bind_cxt
!is_top_lvl :: Bool
is_top_lvl = TopLevelFlag -> Bool
isTopLevel TopLevelFlag
top_lvl
act :: Activation
act = Id -> Activation
idInlineActivation Id
id
unf_env :: SimplEnv
unf_env = (SimplMode -> SimplMode) -> SimplEnv -> SimplEnv
updMode (Activation -> SimplMode -> SimplMode
updModeForStableUnfoldings Activation
act) SimplEnv
env
eta_expand :: CoreExpr -> CoreExpr
eta_expand CoreExpr
expr
| Bool -> Bool
not Bool
eta_on = CoreExpr
expr
| CoreExpr -> Bool
exprIsTrivial CoreExpr
expr = CoreExpr
expr
| Bool
otherwise = InScopeSet -> ArityType -> CoreExpr -> CoreExpr
etaExpandAT (SimplEnv -> InScopeSet
getInScope SimplEnv
env) ArityType
id_arity CoreExpr
expr
eta_on :: Bool
eta_on = SimplMode -> Bool
sm_eta_expand (SimplEnv -> SimplMode
getMode SimplEnv
env)
addBndrRules :: SimplEnv -> InBndr -> OutBndr
-> BindContext
-> SimplM (SimplEnv, OutBndr)
addBndrRules :: SimplEnv -> Id -> Id -> BindContext -> SimplM (SimplEnv, Id)
addBndrRules SimplEnv
env Id
in_id Id
out_id BindContext
bind_cxt
| [CoreRule] -> Bool
forall a. [a] -> Bool
forall (t :: * -> *) a. Foldable t => t a -> Bool
null [CoreRule]
old_rules
= (SimplEnv, Id) -> SimplM (SimplEnv, Id)
forall a. a -> SimplM a
forall (m :: * -> *) a. Monad m => a -> m a
return (SimplEnv
env, Id
out_id)
| Bool
otherwise
= do { [CoreRule]
new_rules <- SimplEnv
-> Maybe Id -> [CoreRule] -> BindContext -> SimplM [CoreRule]
simplRules SimplEnv
env (Id -> Maybe Id
forall a. a -> Maybe a
Just Id
out_id) [CoreRule]
old_rules BindContext
bind_cxt
; let final_id :: Id
final_id = Id
out_id Id -> RuleInfo -> Id
`setIdSpecialisation` [CoreRule] -> RuleInfo
mkRuleInfo [CoreRule]
new_rules
; (SimplEnv, Id) -> SimplM (SimplEnv, Id)
forall a. a -> SimplM a
forall (m :: * -> *) a. Monad m => a -> m a
return (SimplEnv -> Id -> SimplEnv
modifyInScope SimplEnv
env Id
final_id, Id
final_id) }
where
old_rules :: [CoreRule]
old_rules = RuleInfo -> [CoreRule]
ruleInfoRules (Id -> RuleInfo
idSpecialisation Id
in_id)
simplImpRules :: SimplEnv -> [CoreRule] -> SimplM [CoreRule]
simplImpRules :: SimplEnv -> [CoreRule] -> SimplM [CoreRule]
simplImpRules SimplEnv
env [CoreRule]
rules
= SimplEnv
-> Maybe Id -> [CoreRule] -> BindContext -> SimplM [CoreRule]
simplRules SimplEnv
env Maybe Id
forall a. Maybe a
Nothing [CoreRule]
rules (TopLevelFlag -> RecFlag -> BindContext
BC_Let TopLevelFlag
TopLevel RecFlag
NonRecursive)
simplRules :: SimplEnv -> Maybe OutId -> [CoreRule]
-> BindContext -> SimplM [CoreRule]
simplRules :: SimplEnv
-> Maybe Id -> [CoreRule] -> BindContext -> SimplM [CoreRule]
simplRules SimplEnv
env Maybe Id
mb_new_id [CoreRule]
rules BindContext
bind_cxt
= (CoreRule -> SimplM CoreRule) -> [CoreRule] -> SimplM [CoreRule]
forall (t :: * -> *) (m :: * -> *) a b.
(Traversable t, Monad m) =>
(a -> m b) -> t a -> m (t b)
forall (m :: * -> *) a b. Monad m => (a -> m b) -> [a] -> m [b]
mapM CoreRule -> SimplM CoreRule
simpl_rule [CoreRule]
rules
where
simpl_rule :: CoreRule -> SimplM CoreRule
simpl_rule rule :: CoreRule
rule@(BuiltinRule {})
= CoreRule -> SimplM CoreRule
forall a. a -> SimplM a
forall (m :: * -> *) a. Monad m => a -> m a
return CoreRule
rule
simpl_rule rule :: CoreRule
rule@(Rule { ru_bndrs :: CoreRule -> [Id]
ru_bndrs = [Id]
bndrs, ru_args :: CoreRule -> [CoreExpr]
ru_args = [CoreExpr]
args
, ru_fn :: CoreRule -> Name
ru_fn = Name
fn_name, ru_rhs :: CoreRule -> CoreExpr
ru_rhs = CoreExpr
rhs
, ru_act :: CoreRule -> Activation
ru_act = Activation
act })
= do { (SimplEnv
env', [Id]
bndrs') <- SimplEnv -> [Id] -> SimplM (SimplEnv, [Id])
simplBinders SimplEnv
env [Id]
bndrs
; let rhs_ty :: Kind
rhs_ty = SimplEnv -> Kind -> Kind
substTy SimplEnv
env' ((() :: Constraint) => CoreExpr -> Kind
CoreExpr -> Kind
exprType CoreExpr
rhs)
rhs_cont :: SimplCont
rhs_cont = case BindContext
bind_cxt of
BC_Let {} -> Kind -> SimplCont
mkBoringStop Kind
rhs_ty
BC_Join SimplCont
cont -> Bool -> SDoc -> SimplCont -> SimplCont
forall a. HasCallStack => Bool -> SDoc -> a -> a
assertPpr Bool
join_ok SDoc
bad_join_msg SimplCont
cont
lhs_env :: SimplEnv
lhs_env = (SimplMode -> SimplMode) -> SimplEnv -> SimplEnv
updMode SimplMode -> SimplMode
updModeForRules SimplEnv
env'
rhs_env :: SimplEnv
rhs_env = (SimplMode -> SimplMode) -> SimplEnv -> SimplEnv
updMode (Activation -> SimplMode -> SimplMode
updModeForStableUnfoldings Activation
act) SimplEnv
env'
fn_name' :: Name
fn_name' = case Maybe Id
mb_new_id of
Just Id
id -> Id -> Name
idName Id
id
Maybe Id
Nothing -> Name
fn_name
join_ok :: Bool
join_ok = case Maybe Id
mb_new_id of
Just Id
id | Just Int
join_arity <- Id -> Maybe Int
isJoinId_maybe Id
id
-> [CoreExpr] -> Int
forall a. [a] -> Int
forall (t :: * -> *) a. Foldable t => t a -> Int
length [CoreExpr]
args Int -> Int -> Bool
forall a. Eq a => a -> a -> Bool
== Int
join_arity
Maybe Id
_ -> Bool
False
bad_join_msg :: SDoc
bad_join_msg = [SDoc] -> SDoc
vcat [ Maybe Id -> SDoc
forall a. Outputable a => a -> SDoc
ppr Maybe Id
mb_new_id, CoreRule -> SDoc
forall a. Outputable a => a -> SDoc
ppr CoreRule
rule
, Maybe (Maybe Int) -> SDoc
forall a. Outputable a => a -> SDoc
ppr ((Id -> Maybe Int) -> Maybe Id -> Maybe (Maybe Int)
forall a b. (a -> b) -> Maybe a -> Maybe b
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
fmap Id -> Maybe Int
isJoinId_maybe Maybe Id
mb_new_id) ]
; [CoreExpr]
args' <- (CoreExpr -> SimplM CoreExpr) -> [CoreExpr] -> SimplM [CoreExpr]
forall (t :: * -> *) (m :: * -> *) a b.
(Traversable t, Monad m) =>
(a -> m b) -> t a -> m (t b)
forall (m :: * -> *) a b. Monad m => (a -> m b) -> [a] -> m [b]
mapM (SimplEnv -> CoreExpr -> SimplM CoreExpr
simplExpr SimplEnv
lhs_env) [CoreExpr]
args
; CoreExpr
rhs' <- SimplEnv -> CoreExpr -> SimplCont -> SimplM CoreExpr
simplExprC SimplEnv
rhs_env CoreExpr
rhs SimplCont
rhs_cont
; CoreRule -> SimplM CoreRule
forall a. a -> SimplM a
forall (m :: * -> *) a. Monad m => a -> m a
return (CoreRule
rule { ru_bndrs :: [Id]
ru_bndrs = [Id]
bndrs'
, ru_fn :: Name
ru_fn = Name
fn_name'
, ru_args :: [CoreExpr]
ru_args = [CoreExpr]
args'
, ru_rhs :: CoreExpr
ru_rhs = CoreExpr
rhs' }) }