{-# 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 -> [CoreBndr] -> SimplM SimplEnv
simplRecBndrs SimplEnv
env0 ([InBind] -> [CoreBndr]
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 [(CoreBndr, CoreExpr)]
pairs)
      = SimplEnv
-> BindContext
-> [(CoreBndr, CoreExpr)]
-> SimplM (SimplFloats, SimplEnv)
simplRecBind SimplEnv
env (TopLevelFlag -> RecFlag -> BindContext
BC_Let TopLevelFlag
TopLevel RecFlag
Recursive) [(CoreBndr, CoreExpr)]
pairs
    simpl_bind SimplEnv
env (NonRec CoreBndr
b CoreExpr
r)
      = do { let bind_cxt :: BindContext
bind_cxt = TopLevelFlag -> RecFlag -> BindContext
BC_Let TopLevelFlag
TopLevel RecFlag
NonRecursive
           ; (SimplEnv
env', CoreBndr
b') <- SimplEnv
-> CoreBndr
-> CoreBndr
-> BindContext
-> SimplM (SimplEnv, CoreBndr)
addBndrRules SimplEnv
env CoreBndr
b (SimplEnv -> CoreBndr -> CoreBndr
lookupRecBndr SimplEnv
env CoreBndr
b) BindContext
bind_cxt
           ; SimplEnv
-> BindContext
-> CoreBndr
-> CoreBndr
-> CoreExpr
-> SimplM (SimplFloats, SimplEnv)
simplRecOrTopPair SimplEnv
env' BindContext
bind_cxt CoreBndr
b CoreBndr
b' CoreExpr
r }
simplRecBind :: SimplEnv -> BindContext
             -> [(InId, InExpr)]
             -> SimplM (SimplFloats, SimplEnv)
simplRecBind :: SimplEnv
-> BindContext
-> [(CoreBndr, CoreExpr)]
-> SimplM (SimplFloats, SimplEnv)
simplRecBind SimplEnv
env0 BindContext
bind_cxt [(CoreBndr, CoreExpr)]
pairs0
  = do  { (SimplEnv
env_with_info, [(CoreBndr, CoreBndr, CoreExpr)]
triples) <- (SimplEnv
 -> (CoreBndr, CoreExpr)
 -> SimplM (SimplEnv, (CoreBndr, CoreBndr, CoreExpr)))
-> SimplEnv
-> [(CoreBndr, CoreExpr)]
-> SimplM (SimplEnv, [(CoreBndr, CoreBndr, CoreExpr)])
forall (m :: * -> *) acc x y.
Monad m =>
(acc -> x -> m (acc, y)) -> acc -> [x] -> m (acc, [y])
mapAccumLM SimplEnv
-> (CoreBndr, CoreExpr)
-> SimplM (SimplEnv, (CoreBndr, CoreBndr, CoreExpr))
add_rules SimplEnv
env0 [(CoreBndr, CoreExpr)]
pairs0
        ; (SimplFloats
rec_floats, SimplEnv
env1) <- SimplEnv
-> [(CoreBndr, CoreBndr, CoreExpr)]
-> SimplM (SimplFloats, SimplEnv)
go SimplEnv
env_with_info [(CoreBndr, CoreBndr, 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
-> (CoreBndr, CoreExpr)
-> SimplM (SimplEnv, (CoreBndr, CoreBndr, CoreExpr))
add_rules SimplEnv
env (CoreBndr
bndr, CoreExpr
rhs)
        = do { (SimplEnv
env', CoreBndr
bndr') <- SimplEnv
-> CoreBndr
-> CoreBndr
-> BindContext
-> SimplM (SimplEnv, CoreBndr)
addBndrRules SimplEnv
env CoreBndr
bndr (SimplEnv -> CoreBndr -> CoreBndr
lookupRecBndr SimplEnv
env CoreBndr
bndr) BindContext
bind_cxt
             ; (SimplEnv, (CoreBndr, CoreBndr, CoreExpr))
-> SimplM (SimplEnv, (CoreBndr, CoreBndr, CoreExpr))
forall a. a -> SimplM a
forall (m :: * -> *) a. Monad m => a -> m a
return (SimplEnv
env', (CoreBndr
bndr, CoreBndr
bndr', CoreExpr
rhs)) }
    go :: SimplEnv
-> [(CoreBndr, CoreBndr, 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 ((CoreBndr
old_bndr, CoreBndr
new_bndr, CoreExpr
rhs) : [(CoreBndr, CoreBndr, CoreExpr)]
pairs)
        = do { (SimplFloats
float, SimplEnv
env1) <- SimplEnv
-> BindContext
-> CoreBndr
-> CoreBndr
-> CoreExpr
-> SimplM (SimplFloats, SimplEnv)
simplRecOrTopPair SimplEnv
env BindContext
bind_cxt
                                                  CoreBndr
old_bndr CoreBndr
new_bndr CoreExpr
rhs
             ; (SimplFloats
floats, SimplEnv
env2) <- SimplEnv
-> [(CoreBndr, CoreBndr, CoreExpr)]
-> SimplM (SimplFloats, SimplEnv)
go SimplEnv
env1 [(CoreBndr, CoreBndr, 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
-> CoreBndr
-> CoreBndr
-> CoreExpr
-> SimplM (SimplFloats, SimplEnv)
simplRecOrTopPair SimplEnv
env BindContext
bind_cxt CoreBndr
old_bndr CoreBndr
new_bndr CoreExpr
rhs
  | Just SimplEnv
env' <- SimplEnv
-> TopLevelFlag
-> CoreBndr
-> CoreExpr
-> SimplEnv
-> Maybe SimplEnv
preInlineUnconditionally SimplEnv
env (BindContext -> TopLevelFlag
bindContextLevel BindContext
bind_cxt)
                                          CoreBndr
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" (CoreBndr -> SDoc
forall a. Outputable a => a -> SDoc
ppr CoreBndr
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 (CoreBndr -> Tick
PreInlineUnconditionally CoreBndr
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" (CoreBndr -> SDoc
forall a. Outputable a => a -> SDoc
ppr CoreBndr
old_bndr) (SimplM (SimplFloats, SimplEnv) -> SimplM (SimplFloats, SimplEnv))
-> SimplM (SimplFloats, SimplEnv) -> SimplM (SimplFloats, SimplEnv)
forall a b. (a -> b) -> a -> b
$
                       SimplEnv
-> SimplCont
-> CoreBndr
-> CoreBndr
-> CoreExpr
-> SimplEnv
-> SimplM (SimplFloats, SimplEnv)
simplJoinBind SimplEnv
env SimplCont
cont CoreBndr
old_bndr CoreBndr
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" (CoreBndr -> SDoc
forall a. Outputable a => a -> SDoc
ppr CoreBndr
old_bndr) (SimplM (SimplFloats, SimplEnv) -> SimplM (SimplFloats, SimplEnv))
-> SimplM (SimplFloats, SimplEnv) -> SimplM (SimplFloats, SimplEnv)
forall a b. (a -> b) -> a -> b
$
                               SimplEnv
-> TopLevelFlag
-> RecFlag
-> CoreBndr
-> CoreBndr
-> CoreExpr
-> SimplEnv
-> SimplM (SimplFloats, SimplEnv)
simplLazyBind SimplEnv
env TopLevelFlag
top_lvl RecFlag
is_rec CoreBndr
old_bndr CoreBndr
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
-> CoreBndr
-> CoreBndr
-> CoreExpr
-> SimplEnv
-> SimplM (SimplFloats, SimplEnv)
simplLazyBind SimplEnv
env TopLevelFlag
top_lvl RecFlag
is_rec CoreBndr
bndr CoreBndr
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 (CoreBndr -> Bool
isId CoreBndr
bndr )
    Bool
-> SDoc
-> SimplM (SimplFloats, SimplEnv)
-> SimplM (SimplFloats, SimplEnv)
forall a. HasCallStack => Bool -> SDoc -> a -> a
assertPpr (Bool -> Bool
not (CoreBndr -> Bool
isJoinId CoreBndr
bndr)) (CoreBndr -> SDoc
forall a. Outputable a => a -> SDoc
ppr CoreBndr
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 
                ([CoreBndr]
tvs, CoreExpr
body) = case CoreExpr -> ([CoreBndr], [CoreBndr], CoreExpr)
collectTyAndValBinders CoreExpr
rhs of
                                ([CoreBndr]
tvs, [], CoreExpr
body)
                                  | CoreExpr -> Bool
forall {b}. Expr b -> Bool
surely_not_lam CoreExpr
body -> ([CoreBndr]
tvs, CoreExpr
body)
                                ([CoreBndr], [CoreBndr], 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, [CoreBndr]
tvs') <- {-#SCC "simplBinders" #-} SimplEnv -> [CoreBndr] -> SimplM (SimplEnv, [CoreBndr])
simplBinders SimplEnv
rhs_env [CoreBndr]
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
-> CoreBndr
-> SimplFloats
-> CoreExpr
-> SimplM (SimplFloats, CoreExpr)
prepareBinding SimplEnv
env TopLevelFlag
top_lvl RecFlag
is_rec
                                                  Bool
False  
                                                  CoreBndr
bndr1 SimplFloats
body_floats0 CoreExpr
body0
          
          
          
          
          
        ; (SimplFloats
rhs_floats, CoreExpr
body3)
            <-  if SimplFloats -> Bool
isEmptyFloats SimplFloats
body_floats2 Bool -> Bool -> Bool
|| [CoreBndr] -> Bool
forall a. [a] -> Bool
forall (t :: * -> *) a. Foldable t => t a -> Bool
null [CoreBndr]
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
-> [CoreBndr]
-> SimplFloats
-> CoreExpr
-> SimplM ([InBind], CoreExpr)
abstractFloats (SimplEnv -> UnfoldingOpts
seUnfoldingOpts SimplEnv
env) TopLevelFlag
top_lvl
                                                                [CoreBndr]
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 -> [CoreBndr] -> CoreExpr -> SimplCont -> SimplM CoreExpr
mkLam SimplEnv
env' [CoreBndr]
tvs' CoreExpr
body3 SimplCont
rhs_cont
        ; (SimplFloats
bind_float, SimplEnv
env2) <- SimplEnv
-> BindContext
-> CoreBndr
-> CoreBndr
-> CoreExpr
-> SimplM (SimplFloats, SimplEnv)
completeBind SimplEnv
env' (TopLevelFlag -> RecFlag -> BindContext
BC_Let TopLevelFlag
top_lvl RecFlag
is_rec) CoreBndr
bndr CoreBndr
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
-> CoreBndr
-> CoreBndr
-> CoreExpr
-> SimplEnv
-> SimplM (SimplFloats, SimplEnv)
simplJoinBind SimplEnv
env SimplCont
cont CoreBndr
old_bndr CoreBndr
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 -> CoreBndr -> CoreExpr -> SimplCont -> SimplM CoreExpr
simplJoinRhs SimplEnv
rhs_env CoreBndr
old_bndr CoreExpr
rhs SimplCont
cont
        ; SimplEnv
-> BindContext
-> CoreBndr
-> CoreBndr
-> CoreExpr
-> SimplM (SimplFloats, SimplEnv)
completeBind SimplEnv
env (SimplCont -> BindContext
BC_Join SimplCont
cont) CoreBndr
old_bndr CoreBndr
new_bndr CoreExpr
rhs' }
simplNonRecX :: SimplEnv
             -> InId            
             -> OutExpr         
             -> SimplM (SimplFloats, SimplEnv)
simplNonRecX :: SimplEnv -> CoreBndr -> CoreExpr -> SimplM (SimplFloats, SimplEnv)
simplNonRecX SimplEnv
env CoreBndr
bndr CoreExpr
new_rhs
  | Bool -> SDoc -> Bool -> Bool
forall a. HasCallStack => Bool -> SDoc -> a -> a
assertPpr (Bool -> Bool
not (CoreBndr -> Bool
isJoinId CoreBndr
bndr)) (CoreBndr -> SDoc
forall a. Outputable a => a -> SDoc
ppr CoreBndr
bndr) (Bool -> Bool) -> Bool -> Bool
forall a b. (a -> b) -> a -> b
$
    CoreBndr -> Bool
isDeadBinder CoreBndr
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 -> CoreBndr -> Coercion -> SimplEnv
extendCvSubst SimplEnv
env CoreBndr
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 -> CoreBndr -> SimplSR -> SimplEnv
extendIdSubst SimplEnv
env CoreBndr
bndr (CoreExpr -> Maybe Int -> SimplSR
DoneEx CoreExpr
new_rhs Maybe Int
forall a. Maybe a
Nothing))
  | Bool
otherwise
  = do  { (SimplEnv
env1, CoreBndr
new_bndr)   <- SimplEnv -> CoreBndr -> SimplM (SimplEnv, CoreBndr)
simplBinder SimplEnv
env CoreBndr
bndr
        ; let is_strict :: Bool
is_strict = CoreBndr -> Bool
isStrictId CoreBndr
new_bndr
              
              
              
        ; (SimplFloats
rhs_floats, CoreExpr
rhs1) <- SimplEnv
-> TopLevelFlag
-> RecFlag
-> Bool
-> CoreBndr
-> SimplFloats
-> CoreExpr
-> SimplM (SimplFloats, CoreExpr)
prepareBinding SimplEnv
env TopLevelFlag
NotTopLevel RecFlag
NonRecursive Bool
is_strict
                                               CoreBndr
new_bndr (SimplEnv -> SimplFloats
emptyFloats SimplEnv
env) CoreExpr
new_rhs
              
              
              
        ; (SimplFloats
bind_float, SimplEnv
env2) <- SimplEnv
-> BindContext
-> CoreBndr
-> CoreBndr
-> CoreExpr
-> SimplM (SimplFloats, SimplEnv)
completeBind (SimplEnv
env1 SimplEnv -> SimplFloats -> SimplEnv
`setInScopeFromF` SimplFloats
rhs_floats)
                                             (TopLevelFlag -> RecFlag -> BindContext
BC_Let TopLevelFlag
NotTopLevel RecFlag
NonRecursive)
                                             CoreBndr
bndr CoreBndr
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
-> CoreBndr
-> OccInfo
-> CoreBndr
-> CoreExpr
-> SimplM (SimplFloats, SimplEnv)
tryCastWorkerWrapper SimplEnv
env BindContext
bind_cxt CoreBndr
old_bndr OccInfo
occ_info CoreBndr
bndr (Cast CoreExpr
rhs Coercion
co)
  | BC_Let TopLevelFlag
top_lvl RecFlag
is_rec <- BindContext
bind_cxt  
  , Bool -> Bool
not (CoreBndr -> Bool
isDFunId CoreBndr
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 (CoreBndr -> InlinePragma
idInlinePragma CoreBndr
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 :: CoreBndr
work_id   = (() :: Constraint) => Name -> Kind -> Kind -> IdInfo -> CoreBndr
Name -> Kind -> Kind -> IdInfo -> CoreBndr
mkLocalIdWithInfo Name
work_name Kind
Many Kind
rhs_ty IdInfo
worker_info
              is_strict :: Bool
is_strict = CoreBndr -> Bool
isStrictId CoreBndr
bndr
        ; (SimplFloats
rhs_floats, CoreExpr
work_rhs) <- SimplEnv
-> TopLevelFlag
-> RecFlag
-> Bool
-> CoreBndr
-> SimplFloats
-> CoreExpr
-> SimplM (SimplFloats, CoreExpr)
prepareBinding SimplEnv
env TopLevelFlag
top_lvl RecFlag
is_rec Bool
is_strict
                                                   CoreBndr
work_id (SimplEnv -> SimplFloats
emptyFloats SimplEnv
env) CoreExpr
rhs
        ; Unfolding
work_unf <- TopLevelFlag -> CoreBndr -> CoreExpr -> SimplM Unfolding
mk_worker_unfolding TopLevelFlag
top_lvl CoreBndr
work_id CoreExpr
work_rhs
        ; let  work_id_w_unf :: CoreBndr
work_id_w_unf = CoreBndr
work_id CoreBndr -> Unfolding -> CoreBndr
`setIdUnfolding` Unfolding
work_unf
               floats :: SimplFloats
floats   = SimplFloats
rhs_floats SimplFloats -> LetFloats -> SimplFloats
`addLetFloats`
                          InBind -> LetFloats
unitLetFloat (CoreBndr -> CoreExpr -> InBind
forall b. b -> Expr b -> Bind b
NonRec CoreBndr
work_id_w_unf CoreExpr
work_rhs)
               triv_rhs :: CoreExpr
triv_rhs = CoreExpr -> Coercion -> CoreExpr
forall b. Expr b -> Coercion -> Expr b
Cast (CoreBndr -> CoreExpr
forall b. CoreBndr -> Expr b
Var CoreBndr
work_id_w_unf) Coercion
co
        ; if SimplEnv -> BindContext -> CoreBndr -> OccInfo -> CoreExpr -> Bool
postInlineUnconditionally SimplEnv
env BindContext
bind_cxt CoreBndr
bndr OccInfo
occ_info CoreExpr
triv_rhs
             
             
             
             
          then do { Tick -> SimplM ()
tick (CoreBndr -> Tick
PostInlineUnconditionally CoreBndr
bndr)
                  ; (SimplFloats, SimplEnv) -> SimplM (SimplFloats, SimplEnv)
forall a. a -> SimplM a
forall (m :: * -> *) a. Monad m => a -> m a
return ( SimplFloats
floats
                           , SimplEnv -> CoreBndr -> SimplSR -> SimplEnv
extendIdSubst (SimplEnv -> SimplFloats -> SimplEnv
setInScopeFromF SimplEnv
env SimplFloats
floats) CoreBndr
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
-> CoreBndr
-> CoreExpr
-> SimplM Unfolding
mkLetUnfolding (SimplMode -> UnfoldingOpts
sm_uf_opts SimplMode
mode) TopLevelFlag
top_lvl UnfoldingSource
InlineRhs CoreBndr
bndr CoreExpr
triv_rhs
                  ; let bndr' :: CoreBndr
bndr' = CoreBndr
bndr CoreBndr -> InlinePragma -> CoreBndr
`setInlinePragma` InlinePragma -> InlinePragma
mkCastWrapperInlinePrag (CoreBndr -> InlinePragma
idInlinePragma CoreBndr
bndr)
                                CoreBndr -> Unfolding -> CoreBndr
`setIdUnfolding`  Unfolding
wrap_unf
                        floats' :: SimplFloats
floats' = SimplFloats
floats SimplFloats -> InBind -> SimplFloats
`extendFloats` CoreBndr -> CoreExpr -> InBind
forall b. b -> Expr b -> Bind b
NonRec CoreBndr
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 = CoreBndr -> FastString
forall a. NamedThing a => a -> FastString
getOccFS CoreBndr
bndr
    rhs_ty :: Kind
rhs_ty = Coercion -> Kind
coercionLKind Coercion
co
    info :: IdInfo
info   = (() :: Constraint) => CoreBndr -> IdInfo
CoreBndr -> IdInfo
idInfo CoreBndr
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 -> CoreBndr -> CoreExpr -> SimplM Unfolding
mk_worker_unfolding TopLevelFlag
top_lvl CoreBndr
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
-> CoreBndr
-> CoreExpr
-> SimplM Unfolding
mkLetUnfolding (SimplMode -> UnfoldingOpts
sm_uf_opts SimplMode
mode) TopLevelFlag
top_lvl UnfoldingSource
InlineRhs CoreBndr
work_id CoreExpr
work_rhs
tryCastWorkerWrapper SimplEnv
env BindContext
_ CoreBndr
_ OccInfo
_ CoreBndr
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 (CoreBndr -> CoreExpr -> InBind
forall b. b -> Expr b -> Bind b
NonRec CoreBndr
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
-> CoreBndr
-> SimplFloats
-> CoreExpr
-> SimplM (SimplFloats, CoreExpr)
prepareBinding SimplEnv
env TopLevelFlag
top_lvl RecFlag
is_rec Bool
strict_bind CoreBndr
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 (CoreBndr -> FastString
forall a. NamedThing a => a -> FastString
getOccFS CoreBndr
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 CoreBndr
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, CoreBndr -> CoreExpr
forall b. CoreBndr -> Expr b
Var CoreBndr
fun)
        where
          is_exp :: Bool
is_exp = CheapAppFun
isExpandableApp CoreBndr
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 :: (CoreBndr, CoreExpr) -> (CoreBndr, CoreExpr)
tickIt (CoreBndr
id, CoreExpr
expr) = (CoreBndr
id, CoreTickish -> CoreExpr -> CoreExpr
mkTick (CoreTickish -> CoreTickish
forall (pass :: TickishPass). GenTickish pass -> GenTickish pass
mkNoCount CoreTickish
t) CoreExpr
expr)
                   floats' :: LetFloats
floats' = LetFloats
-> ((CoreBndr, CoreExpr) -> (CoreBndr, CoreExpr)) -> LetFloats
mapLetFloats LetFloats
floats (CoreBndr, CoreExpr) -> (CoreBndr, 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, CoreBndr
new_id) <- SimplEnv
-> TopLevelFlag
-> FastString
-> IdInfo
-> CoreExpr
-> Kind
-> SimplM (LetFloats, CoreBndr)
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, CoreBndr -> CoreExpr
forall b. CoreBndr -> Expr b
Var CoreBndr
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, CoreBndr)
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 :: CoreBndr
var  = (() :: Constraint) => Name -> Kind -> Kind -> IdInfo -> CoreBndr
Name -> Kind -> Kind -> IdInfo -> CoreBndr
mkLocalIdWithInfo Name
name Kind
Many Kind
expr_ty IdInfo
info
        
        
        ; (ArityType
arity_type, CoreExpr
expr2) <- SimplEnv -> CoreBndr -> CoreExpr -> SimplM (ArityType, CoreExpr)
tryEtaExpandRhs SimplEnv
env CoreBndr
var CoreExpr
expr1
          
          
          
        ; Unfolding
unf <- UnfoldingOpts
-> TopLevelFlag
-> UnfoldingSource
-> CoreBndr
-> CoreExpr
-> SimplM Unfolding
mkLetUnfolding (SimplMode -> UnfoldingOpts
sm_uf_opts SimplMode
mode) TopLevelFlag
top_lvl UnfoldingSource
InlineRhs CoreBndr
var CoreExpr
expr2
        ; let final_id :: CoreBndr
final_id = CoreBndr -> ArityType -> Unfolding -> CoreBndr
addLetBndrInfo CoreBndr
var ArityType
arity_type Unfolding
unf
              bind :: InBind
bind     = CoreBndr -> CoreExpr -> InBind
forall b. b -> Expr b -> Bind b
NonRec CoreBndr
final_id CoreExpr
expr2
        ; (LetFloats, CoreBndr) -> SimplM (LetFloats, CoreBndr)
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, CoreBndr
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
-> CoreBndr
-> CoreBndr
-> CoreExpr
-> SimplM (SimplFloats, SimplEnv)
completeBind SimplEnv
env BindContext
bind_cxt CoreBndr
old_bndr CoreBndr
new_bndr CoreExpr
new_rhs
 | CoreBndr -> Bool
isCoVar CoreBndr
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 -> CoreBndr -> Coercion -> SimplEnv
extendCvSubst SimplEnv
env CoreBndr
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 (CoreBndr -> CoreExpr -> InBind
forall b. b -> Expr b -> Bind b
NonRec CoreBndr
new_bndr CoreExpr
new_rhs))
 | Bool
otherwise
 = Bool
-> SimplM (SimplFloats, SimplEnv) -> SimplM (SimplFloats, SimplEnv)
forall a. HasCallStack => Bool -> a -> a
assert (CoreBndr -> Bool
isId CoreBndr
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) => CoreBndr -> IdInfo
CoreBndr -> IdInfo
idInfo CoreBndr
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 -> CoreBndr -> CoreExpr -> SimplM (ArityType, CoreExpr)
tryEtaExpandRhs SimplEnv
env CoreBndr
new_bndr CoreExpr
new_rhs
        
      ; Unfolding
new_unfolding <- SimplEnv
-> BindContext
-> CoreBndr
-> CoreExpr
-> Kind
-> ArityType
-> Unfolding
-> SimplM Unfolding
simplLetUnfolding SimplEnv
env BindContext
bind_cxt CoreBndr
old_bndr
                         CoreExpr
eta_rhs (CoreBndr -> Kind
idType CoreBndr
new_bndr) ArityType
new_arity Unfolding
old_unf
      ; let new_bndr_w_info :: CoreBndr
new_bndr_w_info = CoreBndr -> ArityType -> Unfolding -> CoreBndr
addLetBndrInfo CoreBndr
new_bndr ArityType
new_arity Unfolding
new_unfolding
        
      ; if SimplEnv -> BindContext -> CoreBndr -> OccInfo -> CoreExpr -> Bool
postInlineUnconditionally SimplEnv
env BindContext
bind_cxt CoreBndr
new_bndr_w_info OccInfo
occ_info CoreExpr
eta_rhs
        then 
             do  { Tick -> SimplM ()
tick (CoreBndr -> Tick
PostInlineUnconditionally CoreBndr
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" (CoreBndr -> SDoc
forall a. Outputable a => a -> SDoc
ppr CoreBndr
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 -> CoreBndr -> SimplSR -> SimplEnv
extendIdSubst SimplEnv
env CoreBndr
old_bndr (SimplSR -> SimplEnv) -> SimplSR -> SimplEnv
forall a b. (a -> b) -> a -> b
$
                            CoreExpr -> Maybe Int -> SimplSR
DoneEx CoreExpr
unf_rhs (CoreBndr -> Maybe Int
isJoinId_maybe CoreBndr
new_bndr)) }
                
                
        else 
             
             SimplEnv
-> BindContext
-> CoreBndr
-> OccInfo
-> CoreBndr
-> CoreExpr
-> SimplM (SimplFloats, SimplEnv)
tryCastWorkerWrapper SimplEnv
env BindContext
bind_cxt CoreBndr
old_bndr OccInfo
occ_info CoreBndr
new_bndr_w_info CoreExpr
eta_rhs }
addLetBndrInfo :: OutId -> ArityType -> Unfolding -> OutId
addLetBndrInfo :: CoreBndr -> ArityType -> Unfolding -> CoreBndr
addLetBndrInfo CoreBndr
new_bndr ArityType
new_arity_type Unfolding
new_unf
  = CoreBndr
new_bndr CoreBndr -> IdInfo -> CoreBndr
`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) => CoreBndr -> IdInfo
CoreBndr -> IdInfo
idInfo CoreBndr
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 CoreBndr
v)        SimplCont
cont = {-#SCC "simplIdF" #-} SimplEnv -> CoreBndr -> SimplCont -> SimplM (SimplFloats, CoreExpr)
simplIdF SimplEnv
env CoreBndr
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 CoreBndr
bndr Kind
_ [Alt CoreBndr]
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 :: CoreBndr
sc_bndr = CoreBndr
bndr
                                 , sc_alts :: [Alt CoreBndr]
sc_alts = [Alt CoreBndr]
alts
                                 , sc_env :: SimplEnv
sc_env = SimplEnv
env, sc_cont :: SimplCont
sc_cont = SimplCont
cont })
simplExprF1 SimplEnv
env (Let (Rec [(CoreBndr, CoreExpr)]
pairs) CoreExpr
body) SimplCont
cont
  | Just [(CoreBndr, CoreExpr)]
pairs' <- [(CoreBndr, CoreExpr)] -> Maybe [(CoreBndr, CoreExpr)]
joinPointBindings_maybe [(CoreBndr, CoreExpr)]
pairs
  = {-#SCC "simplRecJoinPoin" #-} SimplEnv
-> [(CoreBndr, CoreExpr)]
-> CoreExpr
-> SimplCont
-> SimplM (SimplFloats, CoreExpr)
simplRecJoinPoint SimplEnv
env [(CoreBndr, CoreExpr)]
pairs' CoreExpr
body SimplCont
cont
  | Bool
otherwise
  = {-#SCC "simplRecE" #-} SimplEnv
-> [(CoreBndr, CoreExpr)]
-> CoreExpr
-> SimplCont
-> SimplM (SimplFloats, CoreExpr)
simplRecE SimplEnv
env [(CoreBndr, CoreExpr)]
pairs CoreExpr
body SimplCont
cont
simplExprF1 SimplEnv
env (Let (NonRec CoreBndr
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 (CoreBndr -> Bool
isTyVar CoreBndr
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 -> CoreBndr -> Kind -> SimplEnv
extendTvSubst SimplEnv
env CoreBndr
bndr Kind
ty') CoreExpr
body SimplCont
cont }
  | Just (CoreBndr
bndr', CoreExpr
rhs') <- CoreBndr -> CoreExpr -> Maybe (CoreBndr, CoreExpr)
joinPointBinding_maybe CoreBndr
bndr CoreExpr
rhs
  = {-#SCC "simplNonRecJoinPoint" #-} SimplEnv
-> CoreBndr
-> CoreExpr
-> CoreExpr
-> SimplCont
-> SimplM (SimplFloats, CoreExpr)
simplNonRecJoinPoint SimplEnv
env CoreBndr
bndr' CoreExpr
rhs' CoreExpr
body SimplCont
cont
  | Bool
otherwise
  = {-#SCC "simplNonRecE" #-} SimplEnv
-> CoreBndr
-> (CoreExpr, SimplEnv)
-> CoreExpr
-> SimplCont
-> SimplM (SimplFloats, CoreExpr)
simplNonRecE SimplEnv
env CoreBndr
bndr (CoreExpr
rhs, SimplEnv
env) CoreExpr
body SimplCont
cont
simplJoinRhs :: SimplEnv -> InId -> InExpr -> SimplCont
             -> SimplM OutExpr
simplJoinRhs :: SimplEnv -> CoreBndr -> CoreExpr -> SimplCont -> SimplM CoreExpr
simplJoinRhs SimplEnv
env CoreBndr
bndr CoreExpr
expr SimplCont
cont
  | Just Int
arity <- CoreBndr -> Maybe Int
isJoinId_maybe CoreBndr
bndr
  =  do { let ([CoreBndr]
join_bndrs, CoreExpr
join_body) = Int -> CoreExpr -> ([CoreBndr], CoreExpr)
forall b. Int -> Expr b -> ([b], Expr b)
collectNBinders Int
arity CoreExpr
expr
              mult :: Kind
mult = SimplCont -> Kind
contHoleScaling SimplCont
cont
        ; (SimplEnv
env', [CoreBndr]
join_bndrs') <- SimplEnv -> [CoreBndr] -> SimplM (SimplEnv, [CoreBndr])
simplLamBndrs SimplEnv
env ((CoreBndr -> CoreBndr) -> [CoreBndr] -> [CoreBndr]
forall a b. (a -> b) -> [a] -> [b]
map (Kind -> CoreBndr -> CoreBndr
scaleVarBy Kind
mult) [CoreBndr]
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
$ [CoreBndr] -> CoreExpr -> CoreExpr
forall b. [b] -> Expr b -> Expr b
mkLams [CoreBndr]
join_bndrs' CoreExpr
join_body' }
  | Bool
otherwise
  = String -> SDoc -> SimplM CoreExpr
forall a. HasCallStack => String -> SDoc -> a
pprPanic String
"simplJoinRhs" (CoreBndr -> SDoc
forall a. Outputable a => a -> SDoc
ppr CoreBndr
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 CoreBndr
bndr Kind
ty [Alt CoreBndr]
alts
             -> CoreExpr -> Maybe CoreExpr
forall a. a -> Maybe a
Just (CoreExpr -> Maybe CoreExpr) -> CoreExpr -> Maybe CoreExpr
forall a b. (a -> b) -> a -> b
$ CoreExpr -> CoreBndr -> Kind -> [Alt CoreBndr] -> CoreExpr
forall b. Expr b -> b -> Kind -> [Alt b] -> Expr b
Case (CoreExpr -> CoreExpr
tickScrut CoreExpr
scrut) CoreBndr
bndr Kind
ty ((Alt CoreBndr -> Alt CoreBndr) -> [Alt CoreBndr] -> [Alt CoreBndr]
forall a b. (a -> b) -> [a] -> [b]
map Alt CoreBndr -> Alt CoreBndr
tickAlt [Alt CoreBndr]
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 CoreBndr -> Alt CoreBndr
tickAlt (Alt AltCon
c [CoreBndr]
bs CoreExpr
e) = AltCon -> [CoreBndr] -> CoreExpr -> Alt CoreBndr
forall b. AltCon -> [b] -> Expr b -> Alt b
Alt AltCon
c [CoreBndr]
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 ~ CoreBndr) =>
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 ((CoreBndr -> CoreBndr) -> [CoreBndr] -> [CoreBndr]
forall a b. (a -> b) -> [a] -> [b]
map (SimplSR -> CoreBndr
getDoneId (SimplSR -> CoreBndr)
-> (CoreBndr -> SimplSR) -> CoreBndr -> CoreBndr
forall b c a. (b -> c) -> (a -> b) -> a -> c
. SimplEnv -> CoreBndr -> SimplSR
substId SimplEnv
env) [CoreBndr]
[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 -> CoreBndr
getDoneId (DoneId CoreBndr
id)  = CoreBndr
id
  getDoneId (DoneEx CoreExpr
e Maybe Int
_) = (() :: Constraint) => CoreExpr -> CoreBndr
CoreExpr -> CoreBndr
getIdFromTrivialExpr CoreExpr
e 
  getDoneId SimplSR
other = String -> SDoc -> CoreBndr
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 -> CoreBndr
sc_bndr = CoreBndr
bndr, sc_alts :: SimplCont -> [Alt CoreBndr]
sc_alts = [Alt CoreBndr]
alts, sc_env :: SimplCont -> SimplEnv
sc_env = SimplEnv
se, sc_cont :: SimplCont -> SimplCont
sc_cont = SimplCont
cont }
        -> SimplEnv
-> CoreExpr
-> CoreBndr
-> [Alt CoreBndr]
-> SimplCont
-> SimplM (SimplFloats, CoreExpr)
rebuildCase (SimplEnv
se SimplEnv -> SimplEnv -> SimplEnv
`setInScopeFromE` SimplEnv
env) CoreExpr
expr CoreBndr
bndr [Alt CoreBndr]
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 -> CoreBndr
sc_bndr = CoreBndr
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 -> CoreBndr -> CoreExpr -> SimplM (SimplFloats, SimplEnv)
simplNonRecX (SimplEnv
se SimplEnv -> SimplEnv -> SimplEnv
`setInScopeFromE` SimplEnv
env) CoreBndr
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 CoreBndr
bndr CoreExpr
body) SimplCont
cont = SimplEnv
-> CoreBndr
-> CoreExpr
-> SimplCont
-> SimplM (SimplFloats, CoreExpr)
simpl_lam SimplEnv
env CoreBndr
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
-> CoreBndr
-> CoreExpr
-> SimplCont
-> SimplM (SimplFloats, CoreExpr)
simpl_lam SimplEnv
env CoreBndr
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 (CoreBndr -> Tick
BetaReduction CoreBndr
bndr)
       ; SimplEnv -> CoreExpr -> SimplCont -> SimplM (SimplFloats, CoreExpr)
simplLam (SimplEnv -> CoreBndr -> Kind -> SimplEnv
extendTvSubst SimplEnv
env CoreBndr
bndr Kind
arg_ty) CoreExpr
body SimplCont
cont }
simpl_lam SimplEnv
env CoreBndr
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 (CoreBndr -> Tick
BetaReduction CoreBndr
bndr)
        ; (SimplFloats
floats1, SimplEnv
env') <- SimplEnv -> CoreBndr -> CoreExpr -> SimplM (SimplFloats, SimplEnv)
simplNonRecX SimplEnv
env CoreBndr
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 (CoreBndr -> Tick
BetaReduction CoreBndr
bndr)
        ; SimplEnv
-> CoreBndr
-> (CoreExpr, SimplEnv)
-> CoreExpr
-> SimplCont
-> SimplM (SimplFloats, CoreExpr)
simplNonRecE SimplEnv
env CoreBndr
bndr (CoreExpr
arg, SimplEnv
arg_se) CoreExpr
body SimplCont
cont }
simpl_lam SimplEnv
env CoreBndr
bndr CoreExpr
body (TickIt CoreTickish
tickish SimplCont
cont)
  | Bool -> Bool
not (CoreTickish -> Bool
forall (pass :: TickishPass). GenTickish pass -> Bool
tickishCounts CoreTickish
tickish)
  = SimplEnv
-> CoreBndr
-> CoreExpr
-> SimplCont
-> SimplM (SimplFloats, CoreExpr)
simpl_lam SimplEnv
env CoreBndr
bndr CoreExpr
body SimplCont
cont
simpl_lam SimplEnv
env CoreBndr
bndr CoreExpr
body SimplCont
cont
  = do  { let ([CoreBndr]
inner_bndrs, CoreExpr
inner_body) = CoreExpr -> ([CoreBndr], CoreExpr)
forall b. Expr b -> ([b], Expr b)
collectBinders CoreExpr
body
        ; (SimplEnv
env', [CoreBndr]
bndrs') <- SimplEnv -> [CoreBndr] -> SimplM (SimplEnv, [CoreBndr])
simplLamBndrs SimplEnv
env (CoreBndr
bndrCoreBndr -> [CoreBndr] -> [CoreBndr]
forall a. a -> [a] -> [a]
:[CoreBndr]
inner_bndrs)
        ; CoreExpr
body'   <- SimplEnv -> CoreExpr -> SimplM CoreExpr
simplExpr SimplEnv
env' CoreExpr
inner_body
        ; CoreExpr
new_lam <- SimplEnv -> [CoreBndr] -> CoreExpr -> SimplCont -> SimplM CoreExpr
mkLam SimplEnv
env' [CoreBndr]
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 -> CoreBndr -> SimplM (SimplEnv, CoreBndr)
simplLamBndr SimplEnv
env CoreBndr
bndr = SimplEnv -> CoreBndr -> SimplM (SimplEnv, CoreBndr)
simplBinder SimplEnv
env (CoreBndr -> CoreBndr
zapIdUnfolding CoreBndr
bndr)
simplLamBndrs :: SimplEnv -> [InBndr] -> SimplM (SimplEnv, [OutBndr])
simplLamBndrs :: SimplEnv -> [CoreBndr] -> SimplM (SimplEnv, [CoreBndr])
simplLamBndrs SimplEnv
env [CoreBndr]
bndrs = (SimplEnv -> CoreBndr -> SimplM (SimplEnv, CoreBndr))
-> SimplEnv -> [CoreBndr] -> SimplM (SimplEnv, [CoreBndr])
forall (m :: * -> *) acc x y.
Monad m =>
(acc -> x -> m (acc, y)) -> acc -> [x] -> m (acc, [y])
mapAccumLM SimplEnv -> CoreBndr -> SimplM (SimplEnv, CoreBndr)
simplLamBndr SimplEnv
env [CoreBndr]
bndrs
simplNonRecE :: SimplEnv
             -> InId                    
                                        
             -> (InExpr, SimplEnv)      
             -> InExpr                  
             -> SimplCont
             -> SimplM (SimplFloats, OutExpr)
simplNonRecE :: SimplEnv
-> CoreBndr
-> (CoreExpr, SimplEnv)
-> CoreExpr
-> SimplCont
-> SimplM (SimplFloats, CoreExpr)
simplNonRecE SimplEnv
env CoreBndr
bndr (CoreExpr
rhs, SimplEnv
rhs_se) CoreExpr
body SimplCont
cont
  | Bool -> Bool -> Bool
forall a. HasCallStack => Bool -> a -> a
assert (CoreBndr -> Bool
isId CoreBndr
bndr Bool -> Bool -> Bool
&& Bool -> Bool
not (CoreBndr -> Bool
isJoinId CoreBndr
bndr) ) Bool
True
  , Just SimplEnv
env' <- SimplEnv
-> TopLevelFlag
-> CoreBndr
-> CoreExpr
-> SimplEnv
-> Maybe SimplEnv
preInlineUnconditionally SimplEnv
env TopLevelFlag
NotTopLevel CoreBndr
bndr CoreExpr
rhs SimplEnv
rhs_se
  = do { Tick -> SimplM ()
tick (CoreBndr -> Tick
PreInlineUnconditionally CoreBndr
bndr)
       ; 
         SimplEnv -> CoreExpr -> SimplCont -> SimplM (SimplFloats, CoreExpr)
simplLam SimplEnv
env' CoreExpr
body SimplCont
cont }
  | Bool
otherwise
  = do { (SimplEnv
env1, CoreBndr
bndr1) <- SimplEnv -> CoreBndr -> SimplM (SimplEnv, CoreBndr)
simplNonRecBndr SimplEnv
env CoreBndr
bndr
       
       
       ; if CoreBndr -> Bool
isStrictId CoreBndr
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 :: CoreBndr
sc_bndr = CoreBndr
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, CoreBndr
bndr2)    <- SimplEnv
-> CoreBndr
-> CoreBndr
-> BindContext
-> SimplM (SimplEnv, CoreBndr)
addBndrRules SimplEnv
env1 CoreBndr
bndr CoreBndr
bndr1 (TopLevelFlag -> RecFlag -> BindContext
BC_Let TopLevelFlag
NotTopLevel RecFlag
NonRecursive)
       ; (SimplFloats
floats1, SimplEnv
env3)  <- SimplEnv
-> TopLevelFlag
-> RecFlag
-> CoreBndr
-> CoreBndr
-> CoreExpr
-> SimplEnv
-> SimplM (SimplFloats, SimplEnv)
simplLazyBind SimplEnv
env2 TopLevelFlag
NotTopLevel RecFlag
NonRecursive CoreBndr
bndr CoreBndr
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
-> [(CoreBndr, CoreExpr)]
-> CoreExpr
-> SimplCont
-> SimplM (SimplFloats, CoreExpr)
simplRecE SimplEnv
env [(CoreBndr, CoreExpr)]
pairs CoreExpr
body SimplCont
cont
  = do  { let bndrs :: [CoreBndr]
bndrs = ((CoreBndr, CoreExpr) -> CoreBndr)
-> [(CoreBndr, CoreExpr)] -> [CoreBndr]
forall a b. (a -> b) -> [a] -> [b]
map (CoreBndr, CoreExpr) -> CoreBndr
forall a b. (a, b) -> a
fst [(CoreBndr, CoreExpr)]
pairs
        ; Bool -> SimplM ()
forall (m :: * -> *). (HasCallStack, Applicative m) => Bool -> m ()
massert ((CoreBndr -> Bool) -> [CoreBndr] -> Bool
forall (t :: * -> *) a. Foldable t => (a -> Bool) -> t a -> Bool
all (Bool -> Bool
not (Bool -> Bool) -> (CoreBndr -> Bool) -> CoreBndr -> Bool
forall b c a. (b -> c) -> (a -> b) -> a -> c
. CoreBndr -> Bool
isJoinId) [CoreBndr]
bndrs)
        ; SimplEnv
env1 <- SimplEnv -> [CoreBndr] -> SimplM SimplEnv
simplRecBndrs SimplEnv
env [CoreBndr]
bndrs
                
                
        ; (SimplFloats
floats1, SimplEnv
env2)  <- SimplEnv
-> BindContext
-> [(CoreBndr, CoreExpr)]
-> SimplM (SimplFloats, SimplEnv)
simplRecBind SimplEnv
env1 (TopLevelFlag -> RecFlag -> BindContext
BC_Let TopLevelFlag
NotTopLevel RecFlag
Recursive) [(CoreBndr, 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
-> CoreBndr
-> CoreExpr
-> CoreExpr
-> SimplCont
-> SimplM (SimplFloats, CoreExpr)
simplNonRecJoinPoint SimplEnv
env CoreBndr
bndr CoreExpr
rhs CoreExpr
body SimplCont
cont
  | Bool -> Bool -> Bool
forall a. HasCallStack => Bool -> a -> a
assert (CoreBndr -> Bool
isJoinId CoreBndr
bndr ) Bool
True
  , Just SimplEnv
env' <- SimplEnv
-> TopLevelFlag
-> CoreBndr
-> CoreExpr
-> SimplEnv
-> Maybe SimplEnv
preInlineUnconditionally SimplEnv
env TopLevelFlag
NotTopLevel CoreBndr
bndr CoreExpr
rhs SimplEnv
env
  = do { Tick -> SimplM ()
tick (CoreBndr -> Tick
PreInlineUnconditionally CoreBndr
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, CoreBndr
bndr1)    <- SimplEnv -> CoreBndr -> Kind -> Kind -> SimplM (SimplEnv, CoreBndr)
simplNonRecJoinBndr SimplEnv
env CoreBndr
bndr Kind
mult Kind
res_ty
        ; (SimplEnv
env2, CoreBndr
bndr2)    <- SimplEnv
-> CoreBndr
-> CoreBndr
-> BindContext
-> SimplM (SimplEnv, CoreBndr)
addBndrRules SimplEnv
env1 CoreBndr
bndr CoreBndr
bndr1 (SimplCont -> BindContext
BC_Join SimplCont
cont)
        ; (SimplFloats
floats1, SimplEnv
env3)  <- SimplEnv
-> SimplCont
-> CoreBndr
-> CoreBndr
-> CoreExpr
-> SimplEnv
-> SimplM (SimplFloats, SimplEnv)
simplJoinBind SimplEnv
env2 SimplCont
cont CoreBndr
bndr CoreBndr
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
-> [(CoreBndr, CoreExpr)]
-> CoreExpr
-> SimplCont
-> SimplM (SimplFloats, CoreExpr)
simplRecJoinPoint SimplEnv
env [(CoreBndr, 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 :: [CoreBndr]
bndrs  = ((CoreBndr, CoreExpr) -> CoreBndr)
-> [(CoreBndr, CoreExpr)] -> [CoreBndr]
forall a b. (a -> b) -> [a] -> [b]
map (CoreBndr, CoreExpr) -> CoreBndr
forall a b. (a, b) -> a
fst [(CoreBndr, CoreExpr)]
pairs
             mult :: Kind
mult   = SimplCont -> Kind
contHoleScaling SimplCont
cont
             res_ty :: Kind
res_ty = SimplCont -> Kind
contResultType SimplCont
cont
       ; SimplEnv
env1 <- SimplEnv -> [CoreBndr] -> Kind -> Kind -> SimplM SimplEnv
simplRecJoinBndrs SimplEnv
env [CoreBndr]
bndrs Kind
mult Kind
res_ty
               
               
       ; (SimplFloats
floats1, SimplEnv
env2)  <- SimplEnv
-> BindContext
-> [(CoreBndr, CoreExpr)]
-> SimplM (SimplFloats, SimplEnv)
simplRecBind SimplEnv
env1 (SimplCont -> BindContext
BC_Join SimplCont
cont) [(CoreBndr, 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 :: CoreBndr -> Maybe Int -> SimplCont -> SimplCont
trimJoinCont CoreBndr
_ Maybe Int
Nothing SimplCont
cont
  = SimplCont
cont 
trimJoinCont CoreBndr
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
$ CoreBndr -> SDoc
forall a. Outputable a => a -> SDoc
ppr CoreBndr
var SDoc -> SDoc -> SDoc
$$ SimplCont -> SDoc
forall a. Outputable a => a -> SDoc
ppr SimplCont
cont
simplVar :: SimplEnv -> InVar -> SimplM OutExpr
simplVar :: SimplEnv -> CoreBndr -> SimplM CoreExpr
simplVar SimplEnv
env CoreBndr
var
  
  | CoreBndr -> Bool
isTyVar CoreBndr
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 -> CoreBndr -> Kind
substTyVar SimplEnv
env CoreBndr
var)
  | CoreBndr -> Bool
isCoVar CoreBndr
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 -> CoreBndr -> Coercion
substCoVar SimplEnv
env CoreBndr
var)
  | Bool
otherwise
  = case SimplEnv -> CoreBndr -> SimplSR
substId SimplEnv
env CoreBndr
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 CoreBndr
var1          -> CoreExpr -> SimplM CoreExpr
forall a. a -> SimplM a
forall (m :: * -> *) a. Monad m => a -> m a
return (CoreBndr -> CoreExpr
forall b. CoreBndr -> Expr b
Var CoreBndr
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 -> CoreBndr -> SimplCont -> SimplM (SimplFloats, CoreExpr)
simplIdF SimplEnv
env CoreBndr
var SimplCont
cont
  = case SimplEnv -> CoreBndr -> SimplSR
substId SimplEnv
env CoreBndr
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 CoreBndr
var1 ->
          let cont' :: SimplCont
cont' = CoreBndr -> Maybe Int -> SimplCont -> SimplCont
trimJoinCont CoreBndr
var (CoreBndr -> Maybe Int
isJoinId_maybe CoreBndr
var1) SimplCont
cont
          in SimplEnv -> CoreBndr -> SimplCont -> SimplM (SimplFloats, CoreExpr)
completeCall SimplEnv
env CoreBndr
var1 SimplCont
cont'
      DoneEx CoreExpr
e Maybe Int
mb_join ->
          let env' :: SimplEnv
env' = SimplEnv -> SimplEnv
zapSubstEnv SimplEnv
env
              cont' :: SimplCont
cont' = CoreBndr -> Maybe Int -> SimplCont -> SimplCont
trimJoinCont CoreBndr
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 -> CoreBndr -> SimplCont -> SimplM (SimplFloats, CoreExpr)
completeCall SimplEnv
env CoreBndr
var SimplCont
cont
  | Just CoreExpr
expr <- Logger
-> UnfoldingOpts
-> Int
-> CoreBndr
-> Bool
-> Bool
-> [ArgSummary]
-> CallCtxt
-> Maybe CoreExpr
callSiteInline Logger
logger UnfoldingOpts
uf_opts Int
case_depth CoreBndr
var Bool
active_unf
                                Bool
lone_variable [ArgSummary]
arg_infos CallCtxt
interesting_cont
  
  = do { Tick -> SimplM ()
checkedTick (CoreBndr -> Tick
UnfoldingDone CoreBndr
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 -> CoreBndr -> [CoreRule]
getRules RuleEnv
rule_base CoreBndr
var
             info :: ArgInfo
info = SimplEnv -> CoreBndr -> [CoreRule] -> Int -> SimplCont -> ArgInfo
mkArgInfo SimplEnv
env CoreBndr
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 -> CoreBndr -> Bool
activeUnfolding (SimplEnv -> SimplMode
getMode SimplEnv
env) CoreBndr
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 (CoreBndr -> Name
idName CoreBndr
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 (CoreBndr -> SDoc
forall a. Outputable a => a -> SDoc
ppr CoreBndr
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
<> CoreBndr -> SDoc
forall a. Outputable a => a -> SDoc
ppr CoreBndr
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 -> CoreBndr
ai_fun = CoreBndr
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     = CoreBndr -> [ArgSpec] -> CoreExpr
argInfoExpr CoreBndr
fun [ArgSpec]
rev_args
    cont_ty :: Kind
cont_ty = SimplCont -> Kind
contResultType SimplCont
cont
rebuildCall SimplEnv
env info :: ArgInfo
info@(ArgInfo { ai_fun :: ArgInfo -> CoreBndr
ai_fun = CoreBndr
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]
-> CoreBndr
-> [ArgSpec]
-> SimplCont
-> SimplM (Maybe (SimplEnv, CoreExpr, SimplCont))
tryRules SimplEnv
env [CoreRule]
rules CoreBndr
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 -> CoreBndr
ai_fun = CoreBndr
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 })
  | CoreBndr
fun_id CoreBndr -> 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 { CoreBndr
s <- FastString -> Kind -> Kind -> SimplM CoreBndr
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 -> [CoreBndr] -> SimplEnv
`addNewInScopeIds` [CoreBndr
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 = CoreBndr -> CoreExpr
forall b. CoreBndr -> Expr b
Var CoreBndr
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'  = CoreBndr -> CoreExpr -> CoreExpr
forall b. b -> Expr b -> Expr b
Lam CoreBndr
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 (CoreBndr -> CoreExpr
forall b. CoreBndr -> Expr b
Var CoreBndr
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 -> CoreBndr
ai_fun = CoreBndr
fun, ai_args :: ArgInfo -> [ArgSpec]
ai_args = [ArgSpec]
rev_args }) SimplCont
cont
  = SimplEnv -> CoreExpr -> SimplCont -> SimplM (SimplFloats, CoreExpr)
rebuild SimplEnv
env (CoreBndr -> [ArgSpec] -> CoreExpr
argInfoExpr CoreBndr
fun [ArgSpec]
rev_args) SimplCont
cont
tryRules :: SimplEnv -> [CoreRule]
         -> Id -> [ArgSpec]
         -> SimplCont
         -> SimplM (Maybe (SimplEnv, CoreExpr, SimplCont))
tryRules :: SimplEnv
-> [CoreRule]
-> CoreBndr
-> [ArgSpec]
-> SimplCont
-> SimplM (Maybe (SimplEnv, CoreExpr, SimplCont))
tryRules SimplEnv
env [CoreRule]
rules CoreBndr
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)
-> CoreBndr
-> [CoreExpr]
-> [CoreRule]
-> Maybe (CoreRule, CoreExpr)
lookupRule RuleOpts
ropts (SimplEnv -> InScopeEnv
getUnfoldingInRuleMatch SimplEnv
env)
                                        (SimplMode -> Activation -> Bool
activeRule (SimplEnv -> SimplMode
getMode SimplEnv
env)) CoreBndr
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 (CoreBndr -> SDoc
forall a. Outputable a => a -> SDoc
ppr CoreBndr
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]
-> CoreBndr
-> [ArgSpec]
-> SimplCont
-> SimplM (Maybe (SimplEnv, CoreExpr, SimplCont))
tryRules SimplEnv
in_env (RuleEnv -> CoreBndr -> [CoreRule]
getRules RuleEnv
rule_base CoreBndr
seqId) CoreBndr
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 = CoreBndr -> Kind
idType CoreBndr
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
-> CoreBndr
-> [Alt CoreBndr]
-> SimplCont
-> SimplM (SimplFloats, CoreExpr)
rebuildCase SimplEnv
env CoreExpr
scrut CoreBndr
case_bndr [Alt CoreBndr]
alts SimplCont
cont
  | Lit Literal
lit <- CoreExpr
scrut    
                        
  , Bool -> Bool
not (Literal -> Bool
litIsLifted Literal
lit)
  = do  { Tick -> SimplM ()
tick (CoreBndr -> Tick
KnownBranch CoreBndr
case_bndr)
        ; case AltCon -> [Alt CoreBndr] -> Maybe (Alt CoreBndr)
forall b. AltCon -> [Alt b] -> Maybe (Alt b)
findAlt (Literal -> AltCon
LitAlt Literal
lit) [Alt CoreBndr]
alts of
            Maybe (Alt CoreBndr)
Nothing             -> SimplEnv
-> CoreBndr
-> [Alt CoreBndr]
-> SimplCont
-> SimplM (SimplFloats, CoreExpr)
missingAlt SimplEnv
env CoreBndr
case_bndr [Alt CoreBndr]
alts SimplCont
cont
            Just (Alt AltCon
_ [CoreBndr]
bs CoreExpr
rhs) -> SimplEnv
-> [FloatBind]
-> CoreExpr
-> [CoreBndr]
-> CoreExpr
-> SimplM (SimplFloats, CoreExpr)
simple_rhs SimplEnv
env [] CoreExpr
scrut [CoreBndr]
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 (CoreBndr -> Tick
KnownBranch CoreBndr
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 = CoreBndr -> CoreExpr
forall b. CoreBndr -> Expr b
Var (DataCon -> CoreBndr
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 CoreBndr] -> Maybe (Alt CoreBndr)
forall b. AltCon -> [Alt b] -> Maybe (Alt b)
findAlt (DataCon -> AltCon
DataAlt DataCon
con) [Alt CoreBndr]
alts of
            Maybe (Alt CoreBndr)
Nothing                   -> SimplEnv
-> CoreBndr
-> [Alt CoreBndr]
-> SimplCont
-> SimplM (SimplFloats, CoreExpr)
missingAlt SimplEnv
env0 CoreBndr
case_bndr [Alt CoreBndr]
alts SimplCont
cont
            Just (Alt AltCon
DEFAULT [CoreBndr]
bs CoreExpr
rhs) -> SimplEnv
-> [FloatBind]
-> CoreExpr
-> [CoreBndr]
-> CoreExpr
-> SimplM (SimplFloats, CoreExpr)
simple_rhs SimplEnv
env0 [FloatBind]
scaled_wfloats CoreExpr
case_bndr_rhs [CoreBndr]
bs CoreExpr
rhs
            Just (Alt AltCon
_       [CoreBndr]
bs CoreExpr
rhs) -> SimplEnv
-> CoreExpr
-> [FloatBind]
-> DataCon
-> [Kind]
-> [CoreExpr]
-> CoreBndr
-> [CoreBndr]
-> CoreExpr
-> SimplCont
-> SimplM (SimplFloats, CoreExpr)
knownCon SimplEnv
env0 CoreExpr
scrut [FloatBind]
scaled_wfloats DataCon
con [Kind]
ty_args
                                                  [CoreExpr]
other_args CoreBndr
case_bndr [CoreBndr]
bs CoreExpr
rhs SimplCont
cont
        }
  where
    simple_rhs :: SimplEnv
-> [FloatBind]
-> CoreExpr
-> [CoreBndr]
-> CoreExpr
-> SimplM (SimplFloats, CoreExpr)
simple_rhs SimplEnv
env [FloatBind]
wfloats CoreExpr
case_bndr_rhs [CoreBndr]
bs CoreExpr
rhs =
      Bool
-> SimplM (SimplFloats, CoreExpr) -> SimplM (SimplFloats, CoreExpr)
forall a. HasCallStack => Bool -> a -> a
assert ([CoreBndr] -> Bool
forall a. [a] -> Bool
forall (t :: * -> *) a. Foldable t => t a -> Bool
null [CoreBndr]
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 -> CoreBndr -> CoreExpr -> SimplM (SimplFloats, SimplEnv)
simplNonRecX SimplEnv
env CoreBndr
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 CoreBndr
case_bndr AltCon
con [CoreBndr]
vars) =
      let
        scale_id :: CoreBndr -> CoreBndr
scale_id CoreBndr
id = Kind -> CoreBndr -> CoreBndr
scaleVarBy Kind
holeScaling CoreBndr
id
      in
      CoreExpr -> CoreBndr -> AltCon -> [CoreBndr] -> FloatBind
GHC.Core.Make.FloatCase CoreExpr
scrut (CoreBndr -> CoreBndr
scale_id CoreBndr
case_bndr) AltCon
con ((CoreBndr -> CoreBndr) -> [CoreBndr] -> [CoreBndr]
forall a b. (a -> b) -> [a] -> [b]
map CoreBndr -> CoreBndr
scale_id [CoreBndr]
vars)
    scale_float FloatBind
f = FloatBind
f
    holeScaling :: Kind
holeScaling = SimplCont -> Kind
contHoleScaling SimplCont
cont Kind -> Kind -> Kind
`mkMultMul` CoreBndr -> Kind
idMult CoreBndr
case_bndr
     
     
     
     
     
     
     
     
     
     
     
     
     
     
rebuildCase SimplEnv
env CoreExpr
scrut CoreBndr
case_bndr alts :: [Alt CoreBndr]
alts@[Alt AltCon
_ [CoreBndr]
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 -> CoreBndr -> Bool
doCaseToLet CoreExpr
scrut CoreBndr
case_bndr
  = do { Tick -> SimplM ()
tick (CoreBndr -> Tick
CaseElim CoreBndr
case_bndr)
       ; (SimplFloats
floats1, SimplEnv
env') <- SimplEnv -> CoreBndr -> CoreExpr -> SimplM (SimplFloats, SimplEnv)
simplNonRecX SimplEnv
env CoreBndr
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
-> CoreBndr
-> [Alt CoreBndr]
-> SimplCont
-> SimplM (SimplFloats, CoreExpr)
reallyRebuildCase SimplEnv
env CoreExpr
scrut CoreBndr
case_bndr [Alt CoreBndr]
alts SimplCont
cont }
  where
    all_dead_bndrs :: Bool
all_dead_bndrs = (CoreBndr -> Bool) -> [CoreBndr] -> Bool
forall (t :: * -> *) a. Foldable t => (a -> Bool) -> t a -> Bool
all CoreBndr -> Bool
isDeadBinder [CoreBndr]
bndrs       
    is_plain_seq :: Bool
is_plain_seq   = Bool
all_dead_bndrs Bool -> Bool -> Bool
&& CoreBndr -> Bool
isDeadBinder CoreBndr
case_bndr 
rebuildCase SimplEnv
env CoreExpr
scrut CoreBndr
case_bndr [Alt CoreBndr]
alts SimplCont
cont
  = SimplEnv
-> CoreExpr
-> CoreBndr
-> [Alt CoreBndr]
-> SimplCont
-> SimplM (SimplFloats, CoreExpr)
reallyRebuildCase SimplEnv
env CoreExpr
scrut CoreBndr
case_bndr [Alt CoreBndr]
alts SimplCont
cont
doCaseToLet :: OutExpr          
            -> InId             
            -> Bool
doCaseToLet :: CoreExpr -> CoreBndr -> Bool
doCaseToLet CoreExpr
scrut CoreBndr
case_bndr
  | CoreBndr -> Bool
isTyCoVar CoreBndr
case_bndr    
  = CoreExpr -> Bool
forall {b}. Expr b -> Bool
isTyCoArg CoreExpr
scrut        
  | (() :: Constraint) => Kind -> Bool
Kind -> Bool
isUnliftedType (CoreBndr -> Kind
idType CoreBndr
case_bndr)
    
  = CoreExpr -> Bool
exprOkForSpeculation CoreExpr
scrut
  | Bool
otherwise  
  = CoreExpr -> Bool
exprIsHNF CoreExpr
scrut
    Bool -> Bool -> Bool
|| Demand -> Bool
isStrUsedDmd (CoreBndr -> Demand
idDemandInfo CoreBndr
case_bndr)
    
reallyRebuildCase :: SimplEnv
-> CoreExpr
-> CoreBndr
-> [Alt CoreBndr]
-> SimplCont
-> SimplM (SimplFloats, CoreExpr)
reallyRebuildCase SimplEnv
env CoreExpr
scrut CoreBndr
case_bndr [Alt CoreBndr]
alts SimplCont
cont
  | Bool -> Bool
not (SimplMode -> Bool
sm_case_case (SimplEnv -> SimplMode
getMode SimplEnv
env))
  = do { CoreExpr
case_expr <- SimplEnv
-> CoreExpr
-> CoreBndr
-> [Alt CoreBndr]
-> SimplCont
-> SimplM CoreExpr
simplAlts SimplEnv
env CoreExpr
scrut CoreBndr
case_bndr [Alt CoreBndr]
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 CoreBndr]
-> SimplCont
-> SimplM (SimplFloats, SimplEnv, SimplCont)
mkDupableCaseCont SimplEnv
env [Alt CoreBndr]
alts SimplCont
cont
       ; CoreExpr
case_expr <- SimplEnv
-> CoreExpr
-> CoreBndr
-> [Alt CoreBndr]
-> SimplCont
-> SimplM CoreExpr
simplAlts SimplEnv
env' CoreExpr
scrut
                                (Kind -> CoreBndr -> CoreBndr
scaleIdBy Kind
holeScaling CoreBndr
case_bndr)
                                (Kind -> [Alt CoreBndr] -> [Alt CoreBndr]
scaleAltsBy Kind
holeScaling [Alt CoreBndr]
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
-> CoreBndr
-> [Alt CoreBndr]
-> SimplCont
-> SimplM CoreExpr
simplAlts SimplEnv
env0 CoreExpr
scrut CoreBndr
case_bndr [Alt CoreBndr]
alts SimplCont
cont'
  = do  { String -> SDoc -> SimplM ()
traceSmpl String
"simplAlts" ([SDoc] -> SDoc
vcat [ CoreBndr -> SDoc
forall a. Outputable a => a -> SDoc
ppr CoreBndr
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, CoreBndr
case_bndr1) <- SimplEnv -> CoreBndr -> SimplM (SimplEnv, CoreBndr)
simplBinder SimplEnv
env0 CoreBndr
case_bndr
        ; let case_bndr2 :: CoreBndr
case_bndr2 = CoreBndr
case_bndr1 CoreBndr -> Unfolding -> CoreBndr
`setIdUnfolding` Unfolding
evaldUnfolding
              env2 :: SimplEnv
env2       = SimplEnv -> CoreBndr -> SimplEnv
modifyInScope SimplEnv
env1 CoreBndr
case_bndr2
              
        ; (FamInstEnv, FamInstEnv)
fam_envs <- SimplM (FamInstEnv, FamInstEnv)
getFamEnvs
        ; (SimplEnv
alt_env', CoreExpr
scrut', CoreBndr
case_bndr') <- (FamInstEnv, FamInstEnv)
-> SimplEnv
-> CoreExpr
-> CoreBndr
-> CoreBndr
-> [Alt CoreBndr]
-> SimplM (SimplEnv, CoreExpr, CoreBndr)
improveSeq (FamInstEnv, FamInstEnv)
fam_envs SimplEnv
env2 CoreExpr
scrut
                                                       CoreBndr
case_bndr CoreBndr
case_bndr2 [Alt CoreBndr]
alts
        ; ([AltCon]
imposs_deflt_cons, [Alt CoreBndr]
in_alts) <- CoreExpr
-> CoreBndr -> [Alt CoreBndr] -> SimplM ([AltCon], [Alt CoreBndr])
prepareAlts CoreExpr
scrut' CoreBndr
case_bndr' [Alt CoreBndr]
alts
          
          
        ; [Alt CoreBndr]
alts' <- (Alt CoreBndr -> SimplM (Alt CoreBndr))
-> [Alt CoreBndr] -> SimplM [Alt CoreBndr]
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]
-> CoreBndr
-> SimplCont
-> Alt CoreBndr
-> SimplM (Alt CoreBndr)
simplAlt SimplEnv
alt_env' (CoreExpr -> Maybe CoreExpr
forall a. a -> Maybe a
Just CoreExpr
scrut') [AltCon]
imposs_deflt_cons CoreBndr
case_bndr' SimplCont
cont') [Alt CoreBndr]
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
-> CoreBndr
-> Kind
-> [Alt CoreBndr]
-> SimplM CoreExpr
mkCase (SimplEnv -> DynFlags
seDynFlags SimplEnv
env0) CoreExpr
scrut' CoreBndr
case_bndr' Kind
alts_ty' [Alt CoreBndr]
alts' }
improveSeq :: (FamInstEnv, FamInstEnv) -> SimplEnv
           -> OutExpr -> InId -> OutId -> [InAlt]
           -> SimplM (SimplEnv, OutExpr, OutId)
improveSeq :: (FamInstEnv, FamInstEnv)
-> SimplEnv
-> CoreExpr
-> CoreBndr
-> CoreBndr
-> [Alt CoreBndr]
-> SimplM (SimplEnv, CoreExpr, CoreBndr)
improveSeq (FamInstEnv, FamInstEnv)
fam_envs SimplEnv
env CoreExpr
scrut CoreBndr
case_bndr CoreBndr
case_bndr1 [Alt AltCon
DEFAULT [CoreBndr]
_ CoreExpr
_]
  | Just (Reduction Coercion
co Kind
ty2) <- (FamInstEnv, FamInstEnv) -> Kind -> Maybe Reduction
topNormaliseType_maybe (FamInstEnv, FamInstEnv)
fam_envs (CoreBndr -> Kind
idType CoreBndr
case_bndr1)
  = do { CoreBndr
case_bndr2 <- FastString -> Kind -> Kind -> SimplM CoreBndr
newId (String -> FastString
fsLit String
"nt") Kind
Many Kind
ty2
        ; let rhs :: SimplSR
rhs  = CoreExpr -> Maybe Int -> SimplSR
DoneEx (CoreBndr -> CoreExpr
forall b. CoreBndr -> Expr b
Var CoreBndr
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 -> CoreBndr -> SimplSR -> SimplEnv
extendIdSubst SimplEnv
env CoreBndr
case_bndr SimplSR
rhs
        ; (SimplEnv, CoreExpr, CoreBndr)
-> SimplM (SimplEnv, CoreExpr, CoreBndr)
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, CoreBndr
case_bndr2) }
improveSeq (FamInstEnv, FamInstEnv)
_ SimplEnv
env CoreExpr
scrut CoreBndr
_ CoreBndr
case_bndr1 [Alt CoreBndr]
_
  = (SimplEnv, CoreExpr, CoreBndr)
-> SimplM (SimplEnv, CoreExpr, CoreBndr)
forall a. a -> SimplM a
forall (m :: * -> *) a. Monad m => a -> m a
return (SimplEnv
env, CoreExpr
scrut, CoreBndr
case_bndr1)
simplAlt :: SimplEnv
         -> Maybe OutExpr  
         -> [AltCon]       
                           
         -> OutId          
         -> SimplCont
         -> InAlt
         -> SimplM OutAlt
simplAlt :: SimplEnv
-> Maybe CoreExpr
-> [AltCon]
-> CoreBndr
-> SimplCont
-> Alt CoreBndr
-> SimplM (Alt CoreBndr)
simplAlt SimplEnv
env Maybe CoreExpr
_ [AltCon]
imposs_deflt_cons CoreBndr
case_bndr' SimplCont
cont' (Alt AltCon
DEFAULT [CoreBndr]
bndrs CoreExpr
rhs)
  = Bool -> SimplM (Alt CoreBndr) -> SimplM (Alt CoreBndr)
forall a. HasCallStack => Bool -> a -> a
assert ([CoreBndr] -> Bool
forall a. [a] -> Bool
forall (t :: * -> *) a. Foldable t => t a -> Bool
null [CoreBndr]
bndrs) (SimplM (Alt CoreBndr) -> SimplM (Alt CoreBndr))
-> SimplM (Alt CoreBndr) -> SimplM (Alt CoreBndr)
forall a b. (a -> b) -> a -> b
$
    do  { let env' :: SimplEnv
env' = SimplEnv -> CoreBndr -> Unfolding -> SimplEnv
addBinderUnfolding SimplEnv
env CoreBndr
case_bndr'
                                        ([AltCon] -> Unfolding
mkOtherCon [AltCon]
imposs_deflt_cons)
                
        ; CoreExpr
rhs' <- SimplEnv -> CoreExpr -> SimplCont -> SimplM CoreExpr
simplExprC SimplEnv
env' CoreExpr
rhs SimplCont
cont'
        ; Alt CoreBndr -> SimplM (Alt CoreBndr)
forall a. a -> SimplM a
forall (m :: * -> *) a. Monad m => a -> m a
return (AltCon -> [CoreBndr] -> CoreExpr -> Alt CoreBndr
forall b. AltCon -> [b] -> Expr b -> Alt b
Alt AltCon
DEFAULT [] CoreExpr
rhs') }
simplAlt SimplEnv
env Maybe CoreExpr
scrut' [AltCon]
_ CoreBndr
case_bndr' SimplCont
cont' (Alt (LitAlt Literal
lit) [CoreBndr]
bndrs CoreExpr
rhs)
  = Bool -> SimplM (Alt CoreBndr) -> SimplM (Alt CoreBndr)
forall a. HasCallStack => Bool -> a -> a
assert ([CoreBndr] -> Bool
forall a. [a] -> Bool
forall (t :: * -> *) a. Foldable t => t a -> Bool
null [CoreBndr]
bndrs) (SimplM (Alt CoreBndr) -> SimplM (Alt CoreBndr))
-> SimplM (Alt CoreBndr) -> SimplM (Alt CoreBndr)
forall a b. (a -> b) -> a -> b
$
    do  { SimplEnv
env' <- SimplEnv
-> Maybe CoreExpr -> CoreBndr -> CoreExpr -> SimplM SimplEnv
addAltUnfoldings SimplEnv
env Maybe CoreExpr
scrut' CoreBndr
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 CoreBndr -> SimplM (Alt CoreBndr)
forall a. a -> SimplM a
forall (m :: * -> *) a. Monad m => a -> m a
return (AltCon -> [CoreBndr] -> CoreExpr -> Alt CoreBndr
forall b. AltCon -> [b] -> Expr b -> Alt b
Alt (Literal -> AltCon
LitAlt Literal
lit) [] CoreExpr
rhs') }
simplAlt SimplEnv
env Maybe CoreExpr
scrut' [AltCon]
_ CoreBndr
case_bndr' SimplCont
cont' (Alt (DataAlt DataCon
con) [CoreBndr]
vs CoreExpr
rhs)
  = do  { 
          let vs_with_evals :: [CoreBndr]
vs_with_evals = Maybe CoreExpr -> DataCon -> [CoreBndr] -> [CoreBndr]
addEvals Maybe CoreExpr
scrut' DataCon
con [CoreBndr]
vs
        ; (SimplEnv
env', [CoreBndr]
vs') <- SimplEnv -> [CoreBndr] -> SimplM (SimplEnv, [CoreBndr])
simplBinders SimplEnv
env [CoreBndr]
vs_with_evals
                
        ; let inst_tys' :: [Kind]
inst_tys' = HasCallStack => Kind -> [Kind]
Kind -> [Kind]
tyConAppArgs (CoreBndr -> Kind
idType CoreBndr
case_bndr')
              con_app :: OutExpr
              con_app :: CoreExpr
con_app   = DataCon -> [Kind] -> [CoreBndr] -> CoreExpr
forall b. DataCon -> [Kind] -> [CoreBndr] -> Expr b
mkConApp2 DataCon
con [Kind]
inst_tys' [CoreBndr]
vs'
        ; SimplEnv
env'' <- SimplEnv
-> Maybe CoreExpr -> CoreBndr -> CoreExpr -> SimplM SimplEnv
addAltUnfoldings SimplEnv
env' Maybe CoreExpr
scrut' CoreBndr
case_bndr' CoreExpr
con_app
        ; CoreExpr
rhs' <- SimplEnv -> CoreExpr -> SimplCont -> SimplM CoreExpr
simplExprC SimplEnv
env'' CoreExpr
rhs SimplCont
cont'
        ; Alt CoreBndr -> SimplM (Alt CoreBndr)
forall a. a -> SimplM a
forall (m :: * -> *) a. Monad m => a -> m a
return (AltCon -> [CoreBndr] -> CoreExpr -> Alt CoreBndr
forall b. AltCon -> [b] -> Expr b -> Alt b
Alt (DataCon -> AltCon
DataAlt DataCon
con) [CoreBndr]
vs' CoreExpr
rhs') }
addEvals :: Maybe OutExpr -> DataCon -> [Id] -> [Id]
addEvals :: Maybe CoreExpr -> DataCon -> [CoreBndr] -> [CoreBndr]
addEvals Maybe CoreExpr
scrut DataCon
con [CoreBndr]
vs
  
  | Just CoreExpr
scr <- Maybe CoreExpr
scrut
  , DataCon -> Bool
isUnboxedTupleDataCon DataCon
con
  , [CoreBndr
s,CoreBndr
x] <- [CoreBndr]
vs
    
    
  , Just (Var CoreBndr
f) <- Word -> CoreExpr -> Maybe CoreExpr
forall a. Word -> Expr a -> Maybe (Expr a)
stripNArgs Word
4 CoreExpr
scr
  , Just PrimOp
SeqOp <- CoreBndr -> Maybe PrimOp
isPrimOpId_maybe CoreBndr
f
  , let x' :: CoreBndr
x' = StrictnessMark -> CoreBndr -> CoreBndr
zapIdOccInfoAndSetEvald StrictnessMark
MarkedStrict CoreBndr
x
  = [CoreBndr
s, CoreBndr
x']
  
addEvals Maybe CoreExpr
_scrut DataCon
con [CoreBndr]
vs = [CoreBndr] -> [StrictnessMark] -> [CoreBndr]
go [CoreBndr]
vs [StrictnessMark]
the_strs
    where
      the_strs :: [StrictnessMark]
the_strs = DataCon -> [StrictnessMark]
dataConRepStrictness DataCon
con
      go :: [CoreBndr] -> [StrictnessMark] -> [CoreBndr]
go [] [] = []
      go (CoreBndr
v:[CoreBndr]
vs') [StrictnessMark]
strs | CoreBndr -> Bool
isTyVar CoreBndr
v = CoreBndr
v CoreBndr -> [CoreBndr] -> [CoreBndr]
forall a. a -> [a] -> [a]
: [CoreBndr] -> [StrictnessMark] -> [CoreBndr]
go [CoreBndr]
vs' [StrictnessMark]
strs
      go (CoreBndr
v:[CoreBndr]
vs') (StrictnessMark
str:[StrictnessMark]
strs) = StrictnessMark -> CoreBndr -> CoreBndr
zapIdOccInfoAndSetEvald StrictnessMark
str CoreBndr
v CoreBndr -> [CoreBndr] -> [CoreBndr]
forall a. a -> [a] -> [a]
: [CoreBndr] -> [StrictnessMark] -> [CoreBndr]
go [CoreBndr]
vs' [StrictnessMark]
strs
      go [CoreBndr]
_ [StrictnessMark]
_ = String -> SDoc -> [CoreBndr]
forall a. HasCallStack => String -> SDoc -> a
pprPanic String
"Simplify.addEvals"
                (DataCon -> SDoc
forall a. Outputable a => a -> SDoc
ppr DataCon
con SDoc -> SDoc -> SDoc
$$
                 [CoreBndr] -> SDoc
forall a. Outputable a => a -> SDoc
ppr [CoreBndr]
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 -> CoreBndr -> CoreBndr
zapIdOccInfoAndSetEvald StrictnessMark
str CoreBndr
v =
  StrictnessMark -> CoreBndr -> CoreBndr
setCaseBndrEvald StrictnessMark
str (CoreBndr -> CoreBndr) -> CoreBndr -> CoreBndr
forall a b. (a -> b) -> a -> b
$ 
  CoreBndr -> CoreBndr
zapIdOccInfo CoreBndr
v         
                         
addAltUnfoldings :: SimplEnv -> Maybe OutExpr -> OutId -> OutExpr -> SimplM SimplEnv
addAltUnfoldings :: SimplEnv
-> Maybe CoreExpr -> CoreBndr -> CoreExpr -> SimplM SimplEnv
addAltUnfoldings SimplEnv
env Maybe CoreExpr
scrut CoreBndr
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 -> CoreBndr -> Unfolding -> SimplEnv
addBinderUnfolding SimplEnv
env CoreBndr
case_bndr Unfolding
con_app_unf
             
             env2 :: SimplEnv
env2 | Kind
Many <- CoreBndr -> Kind
idMult CoreBndr
case_bndr = case Maybe CoreExpr
scrut of
                      Just (Var CoreBndr
v)           -> SimplEnv -> CoreBndr -> Unfolding -> SimplEnv
addBinderUnfolding SimplEnv
env1 CoreBndr
v Unfolding
con_app_unf
                      Just (Cast (Var CoreBndr
v) Coercion
co) -> SimplEnv -> CoreBndr -> Unfolding -> SimplEnv
addBinderUnfolding SimplEnv
env1 CoreBndr
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 [CoreBndr -> SDoc
forall a. Outputable a => a -> SDoc
ppr CoreBndr
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 -> CoreBndr -> Unfolding -> SimplEnv
addBinderUnfolding SimplEnv
env CoreBndr
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 (CoreBndr -> Kind
idType CoreBndr
bndr) ((() :: Constraint) => CoreExpr -> Kind
CoreExpr -> Kind
exprType CoreExpr
tmpl)))
          String
"unfolding type mismatch"
          (CoreBndr -> SDoc
forall a. Outputable a => a -> SDoc
ppr CoreBndr
bndr SDoc -> SDoc -> SDoc
$$ Kind -> SDoc
forall a. Outputable a => a -> SDoc
ppr (CoreBndr -> Kind
idType CoreBndr
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 -> CoreBndr -> SimplEnv
modifyInScope SimplEnv
env (CoreBndr
bndr CoreBndr -> Unfolding -> CoreBndr
`setIdUnfolding` Unfolding
unf)
  | Bool
otherwise
  = SimplEnv -> CoreBndr -> SimplEnv
modifyInScope SimplEnv
env (CoreBndr
bndr CoreBndr -> Unfolding -> CoreBndr
`setIdUnfolding` Unfolding
unf)
zapBndrOccInfo :: Bool -> Id -> Id
zapBndrOccInfo :: Bool -> CoreBndr -> CoreBndr
zapBndrOccInfo Bool
keep_occ_info CoreBndr
pat_id
  | Bool
keep_occ_info = CoreBndr
pat_id
  | Bool
otherwise     = CoreBndr -> CoreBndr
zapIdOccInfo CoreBndr
pat_id
knownCon :: SimplEnv
         -> OutExpr                                           
         -> [FloatBind] -> DataCon -> [OutType] -> [OutExpr]  
         -> InId -> [InBndr] -> InExpr                        
         -> SimplCont
         -> SimplM (SimplFloats, OutExpr)
knownCon :: SimplEnv
-> CoreExpr
-> [FloatBind]
-> DataCon
-> [Kind]
-> [CoreExpr]
-> CoreBndr
-> [CoreBndr]
-> CoreExpr
-> SimplCont
-> SimplM (SimplFloats, CoreExpr)
knownCon SimplEnv
env CoreExpr
scrut [FloatBind]
dc_floats DataCon
dc [Kind]
dc_ty_args [CoreExpr]
dc_args CoreBndr
bndr [CoreBndr]
bs CoreExpr
rhs SimplCont
cont
  = do  { (SimplFloats
floats1, SimplEnv
env1)  <- SimplEnv
-> [CoreBndr] -> [CoreExpr] -> SimplM (SimplFloats, SimplEnv)
bind_args SimplEnv
env [CoreBndr]
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 :: CoreBndr -> CoreBndr
zap_occ = Bool -> CoreBndr -> CoreBndr
zapBndrOccInfo (CoreBndr -> Bool
isDeadBinder CoreBndr
bndr)    
                  
    bind_args :: SimplEnv
-> [CoreBndr] -> [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' (CoreBndr
b:[CoreBndr]
bs') (Type Kind
ty : [CoreExpr]
args)
      = Bool
-> (SimplEnv
    -> [CoreBndr] -> [CoreExpr] -> SimplM (SimplFloats, SimplEnv))
-> SimplEnv
-> [CoreBndr]
-> [CoreExpr]
-> SimplM (SimplFloats, SimplEnv)
forall a. HasCallStack => Bool -> a -> a
assert (CoreBndr -> Bool
isTyVar CoreBndr
b )
        SimplEnv
-> [CoreBndr] -> [CoreExpr] -> SimplM (SimplFloats, SimplEnv)
bind_args (SimplEnv -> CoreBndr -> Kind -> SimplEnv
extendTvSubst SimplEnv
env' CoreBndr
b Kind
ty) [CoreBndr]
bs' [CoreExpr]
args
    bind_args SimplEnv
env' (CoreBndr
b:[CoreBndr]
bs') (Coercion Coercion
co : [CoreExpr]
args)
      = Bool
-> (SimplEnv
    -> [CoreBndr] -> [CoreExpr] -> SimplM (SimplFloats, SimplEnv))
-> SimplEnv
-> [CoreBndr]
-> [CoreExpr]
-> SimplM (SimplFloats, SimplEnv)
forall a. HasCallStack => Bool -> a -> a
assert (CoreBndr -> Bool
isCoVar CoreBndr
b )
        SimplEnv
-> [CoreBndr] -> [CoreExpr] -> SimplM (SimplFloats, SimplEnv)
bind_args (SimplEnv -> CoreBndr -> Coercion -> SimplEnv
extendCvSubst SimplEnv
env' CoreBndr
b Coercion
co) [CoreBndr]
bs' [CoreExpr]
args
    bind_args SimplEnv
env' (CoreBndr
b:[CoreBndr]
bs') (CoreExpr
arg : [CoreExpr]
args)
      = Bool
-> SimplM (SimplFloats, SimplEnv) -> SimplM (SimplFloats, SimplEnv)
forall a. HasCallStack => Bool -> a -> a
assert (CoreBndr -> Bool
isId CoreBndr
b) (SimplM (SimplFloats, SimplEnv) -> SimplM (SimplFloats, SimplEnv))
-> SimplM (SimplFloats, SimplEnv) -> SimplM (SimplFloats, SimplEnv)
forall a b. (a -> b) -> a -> b
$
        do { let b' :: CoreBndr
b' = CoreBndr -> CoreBndr
zap_occ CoreBndr
b
             
             
             
             
             
           ; (SimplFloats
floats1, SimplEnv
env2) <- SimplEnv -> CoreBndr -> CoreExpr -> SimplM (SimplFloats, SimplEnv)
simplNonRecX SimplEnv
env' CoreBndr
b' CoreExpr
arg  
           ; (SimplFloats
floats2, SimplEnv
env3)  <- SimplEnv
-> [CoreBndr] -> [CoreExpr] -> SimplM (SimplFloats, SimplEnv)
bind_args SimplEnv
env2 [CoreBndr]
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
_ [CoreBndr]
_ [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
$$ [CoreBndr] -> SDoc
forall a. Outputable a => a -> SDoc
ppr [CoreBndr]
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
      | CoreBndr -> Bool
isDeadBinder CoreBndr
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 -> CoreBndr -> SimplSR -> SimplEnv
extendIdSubst SimplEnv
env CoreBndr
bndr (CoreExpr -> Maybe Int -> SimplSR
DoneEx CoreExpr
scrut Maybe Int
forall a. Maybe a
Nothing))
                              
      | Bool
otherwise           = do { [CoreExpr]
dc_args <- (CoreBndr -> SimplM CoreExpr) -> [CoreBndr] -> 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 -> CoreBndr -> SimplM CoreExpr
simplVar SimplEnv
env) [CoreBndr]
bs
                                         
                                         
                                 ; let con_app :: CoreExpr
con_app = CoreBndr -> CoreExpr
forall b. CoreBndr -> Expr b
Var (DataCon -> CoreBndr
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 -> CoreBndr -> CoreExpr -> SimplM (SimplFloats, SimplEnv)
simplNonRecX SimplEnv
env CoreBndr
bndr CoreExpr
con_app }
missingAlt :: SimplEnv -> Id -> [InAlt] -> SimplCont
           -> SimplM (SimplFloats, OutExpr)
                
                
                
                
                
missingAlt :: SimplEnv
-> CoreBndr
-> [Alt CoreBndr]
-> SimplCont
-> SimplM (SimplFloats, CoreExpr)
missingAlt SimplEnv
env CoreBndr
case_bndr [Alt CoreBndr]
_ SimplCont
cont
  = Bool
-> String
-> SDoc
-> SimplM (SimplFloats, CoreExpr)
-> SimplM (SimplFloats, CoreExpr)
forall a. HasCallStack => Bool -> String -> SDoc -> a -> a
warnPprTrace Bool
True String
"missingAlt" (CoreBndr -> SDoc
forall a. Outputable a => a -> SDoc
ppr CoreBndr
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 CoreBndr]
-> SimplCont
-> SimplM (SimplFloats, SimplEnv, SimplCont)
mkDupableCaseCont SimplEnv
env [Alt CoreBndr]
alts SimplCont
cont
  | [Alt CoreBndr] -> Bool
altsWouldDup [Alt CoreBndr]
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 CoreBndr] -> Bool
altsWouldDup []  = Bool
False        
altsWouldDup [Alt CoreBndr
_] = Bool
False
altsWouldDup (Alt CoreBndr
alt:[Alt CoreBndr]
alts)
  | Alt CoreBndr -> Bool
is_bot_alt Alt CoreBndr
alt = [Alt CoreBndr] -> Bool
altsWouldDup [Alt CoreBndr]
alts
  | Bool
otherwise      = Bool -> Bool
not ((Alt CoreBndr -> Bool) -> [Alt CoreBndr] -> Bool
forall (t :: * -> *) a. Foldable t => (a -> Bool) -> t a -> Bool
all Alt CoreBndr -> Bool
is_bot_alt [Alt CoreBndr]
alts)
    
  where
    is_bot_alt :: Alt CoreBndr -> Bool
is_bot_alt (Alt AltCon
_ [CoreBndr]
_ 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 -> CoreBndr
sc_bndr = CoreBndr
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, CoreBndr
bndr')      <- SimplEnv -> CoreBndr -> SimplM (SimplEnv, CoreBndr)
simplBinder SimplEnv
sb_env CoreBndr
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
-> CoreBndr -> CoreExpr -> Kind -> SimplM (SimplFloats, SimplCont)
mkDupableStrictBind SimplEnv
env CoreBndr
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 (CoreBndr -> Maybe DataCon
isDataConId_maybe (ArgInfo -> CoreBndr
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
       ; CoreBndr
arg_bndr <- FastString -> Kind -> Kind -> SimplM CoreBndr
newId (String -> FastString
fsLit String
"arg") Kind
m Kind
arg_ty
       ; let env' :: SimplEnv
env' = SimplEnv
env SimplEnv -> [CoreBndr] -> SimplEnv
`addNewInScopeIds` [CoreBndr
arg_bndr]
       ; (SimplFloats
floats, CoreExpr
join_rhs) <- SimplEnv -> ArgInfo -> SimplCont -> SimplM (SimplFloats, CoreExpr)
rebuildCall SimplEnv
env' (ArgInfo -> CoreExpr -> Kind -> ArgInfo
addValArgTo ArgInfo
fun (CoreBndr -> CoreExpr
forall b. CoreBndr -> Expr b
Var CoreBndr
arg_bndr) Kind
fun_ty) SimplCont
cont
       ; SimplEnv
-> CoreBndr -> CoreExpr -> Kind -> SimplM (SimplFloats, SimplCont)
mkDupableStrictBind SimplEnv
env' CoreBndr
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 -> CoreBndr
sc_bndr = CoreBndr
case_bndr, sc_alts :: SimplCont -> [Alt CoreBndr]
sc_alts = [Alt CoreBndr]
alts, sc_env :: SimplCont -> SimplEnv
sc_env = SimplEnv
se, sc_cont :: SimplCont -> SimplCont
sc_cont = SimplCont
cont })
  =     
        
        
        
        
    do  { Tick -> SimplM ()
tick (CoreBndr -> Tick
CaseOfCase CoreBndr
case_bndr)
        ; (SimplFloats
floats, SimplEnv
alt_env, SimplCont
alt_cont) <- SimplEnv
-> [Alt CoreBndr]
-> SimplCont
-> SimplM (SimplFloats, SimplEnv, SimplCont)
mkDupableCaseCont (SimplEnv
se SimplEnv -> SimplEnv -> SimplEnv
`setInScopeFromE` SimplEnv
env) [Alt CoreBndr]
alts SimplCont
cont
                
                
                
        ; let cont_scaling :: Kind
cont_scaling = SimplCont -> Kind
contHoleScaling SimplCont
cont
          
        ; (SimplEnv
alt_env', CoreBndr
case_bndr') <- SimplEnv -> CoreBndr -> SimplM (SimplEnv, CoreBndr)
simplBinder SimplEnv
alt_env (Kind -> CoreBndr -> CoreBndr
scaleIdBy Kind
cont_scaling CoreBndr
case_bndr)
        ; [Alt CoreBndr]
alts' <- (Alt CoreBndr -> SimplM (Alt CoreBndr))
-> [Alt CoreBndr] -> SimplM [Alt CoreBndr]
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]
-> CoreBndr
-> SimplCont
-> Alt CoreBndr
-> SimplM (Alt CoreBndr)
simplAlt SimplEnv
alt_env' Maybe CoreExpr
forall a. Maybe a
Nothing [] CoreBndr
case_bndr' SimplCont
alt_cont) (Kind -> [Alt CoreBndr] -> [Alt CoreBndr]
scaleAltsBy Kind
cont_scaling [Alt CoreBndr]
alts)
        
                
                
                
                
                
                
                
                
        
        
        ; (JoinFloats
join_floats, [Alt CoreBndr]
alts'') <- (JoinFloats -> Alt CoreBndr -> SimplM (JoinFloats, Alt CoreBndr))
-> JoinFloats
-> [Alt CoreBndr]
-> SimplM (JoinFloats, [Alt CoreBndr])
forall (m :: * -> *) acc x y.
Monad m =>
(acc -> x -> m (acc, y)) -> acc -> [x] -> m (acc, [y])
mapAccumLM (Platform
-> CoreBndr
-> JoinFloats
-> Alt CoreBndr
-> SimplM (JoinFloats, Alt CoreBndr)
mkDupableAlt (DynFlags -> Platform
targetPlatform (SimplEnv -> DynFlags
seDynFlags SimplEnv
env)) CoreBndr
case_bndr')
                                              JoinFloats
emptyJoinFloats [Alt CoreBndr]
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 :: CoreBndr
sc_bndr = CoreBndr
case_bndr'
                          , sc_alts :: [Alt CoreBndr]
sc_alts = [Alt CoreBndr]
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
-> CoreBndr -> CoreExpr -> Kind -> SimplM (SimplFloats, SimplCont)
mkDupableStrictBind SimplEnv
env CoreBndr
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 :: CoreBndr
sc_bndr = CoreBndr
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 { CoreBndr
join_bndr <- [CoreBndr] -> Kind -> SimplM CoreBndr
newJoinId [CoreBndr
arg_bndr] Kind
res_ty
       ; let arg_info :: ArgInfo
arg_info = ArgInfo { ai_fun :: CoreBndr
ai_fun   = CoreBndr
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
$
                  CoreBndr -> CoreExpr -> InBind
forall b. b -> Expr b -> Bind b
NonRec CoreBndr
join_bndr                (CoreExpr -> InBind) -> CoreExpr -> InBind
forall a b. (a -> b) -> a -> b
$
                  CoreBndr -> CoreExpr -> CoreExpr
forall b. b -> Expr b -> Expr b
Lam (CoreBndr -> CoreBndr
setOneShotLambda CoreBndr
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 = CoreBndr -> Kind
idType CoreBndr
join_bndr
                            , sc_cont :: SimplCont
sc_cont   = Kind -> SimplCont
mkBoringStop Kind
res_ty
                            } ) }
mkDupableAlt :: Platform -> OutId
             -> JoinFloats -> OutAlt
             -> SimplM (JoinFloats, OutAlt)
mkDupableAlt :: Platform
-> CoreBndr
-> JoinFloats
-> Alt CoreBndr
-> SimplM (JoinFloats, Alt CoreBndr)
mkDupableAlt Platform
_platform CoreBndr
case_bndr JoinFloats
jfloats (Alt AltCon
con [CoreBndr]
alt_bndrs CoreExpr
alt_rhs_in)
  | CoreExpr -> Bool
exprIsTrivial CoreExpr
alt_rhs_in   
  = (JoinFloats, Alt CoreBndr) -> SimplM (JoinFloats, Alt CoreBndr)
forall a. a -> SimplM a
forall (m :: * -> *) a. Monad m => a -> m a
return (JoinFloats
jfloats, AltCon -> [CoreBndr] -> CoreExpr -> Alt CoreBndr
forall b. AltCon -> [b] -> Expr b -> Alt b
Alt AltCon
con [CoreBndr]
alt_bndrs CoreExpr
alt_rhs_in)
  | Bool
otherwise
  = do  { let rhs_ty' :: Kind
rhs_ty'  = (() :: Constraint) => CoreExpr -> Kind
CoreExpr -> Kind
exprType CoreExpr
alt_rhs_in
              bangs :: [StrictnessMark]
bangs
                | DataAlt DataCon
c <- AltCon
con
                = DataCon -> [StrictnessMark]
dataConRepStrictness DataCon
c
                | Bool
otherwise = []
              abstracted_binders :: [(CoreBndr, StrictnessMark)]
abstracted_binders = [CoreBndr] -> [StrictnessMark] -> [(CoreBndr, StrictnessMark)]
abstract_binders [CoreBndr]
alt_bndrs [StrictnessMark]
bangs
              abstract_binders :: [Var] -> [StrictnessMark] -> [(Id,StrictnessMark)]
              abstract_binders :: [CoreBndr] -> [StrictnessMark] -> [(CoreBndr, StrictnessMark)]
abstract_binders [] []
                
                | CoreBndr -> Bool
isDeadBinder CoreBndr
case_bndr  = []
                | Bool
otherwise               = [(CoreBndr
case_bndr,StrictnessMark
MarkedStrict)]
              abstract_binders (CoreBndr
alt_bndr:[CoreBndr]
alt_bndrs) [StrictnessMark]
marks
                
                | CoreBndr -> Bool
isTyVar CoreBndr
alt_bndr        = (CoreBndr
alt_bndr,StrictnessMark
NotMarkedStrict) (CoreBndr, StrictnessMark)
-> [(CoreBndr, StrictnessMark)] -> [(CoreBndr, StrictnessMark)]
forall a. a -> [a] -> [a]
: [CoreBndr] -> [StrictnessMark] -> [(CoreBndr, StrictnessMark)]
abstract_binders [CoreBndr]
alt_bndrs [StrictnessMark]
marks
              abstract_binders (CoreBndr
alt_bndr:[CoreBndr]
alt_bndrs) (StrictnessMark
mark:[StrictnessMark]
marks)
                
                
                | CoreBndr -> Bool
isDeadBinder CoreBndr
alt_bndr   = [CoreBndr] -> [StrictnessMark] -> [(CoreBndr, StrictnessMark)]
abstract_binders [CoreBndr]
alt_bndrs [StrictnessMark]
marks
                | Bool
otherwise               = (CoreBndr
alt_bndr,StrictnessMark
mark) (CoreBndr, StrictnessMark)
-> [(CoreBndr, StrictnessMark)] -> [(CoreBndr, StrictnessMark)]
forall a. a -> [a] -> [a]
: [CoreBndr] -> [StrictnessMark] -> [(CoreBndr, StrictnessMark)]
abstract_binders [CoreBndr]
alt_bndrs [StrictnessMark]
marks
              abstract_binders [CoreBndr]
_ [StrictnessMark]
_ = String -> SDoc -> [(CoreBndr, StrictnessMark)]
forall a. HasCallStack => String -> SDoc -> a
pprPanic String
"abstrict_binders - failed to abstract" (Alt CoreBndr -> SDoc
forall a. Outputable a => a -> SDoc
ppr (Alt CoreBndr -> SDoc) -> Alt CoreBndr -> SDoc
forall a b. (a -> b) -> a -> b
$ AltCon -> [CoreBndr] -> CoreExpr -> Alt CoreBndr
forall b. AltCon -> [b] -> Expr b -> Alt b
Alt AltCon
con [CoreBndr]
alt_bndrs CoreExpr
alt_rhs_in)
              filtered_binders :: [CoreBndr]
filtered_binders = ((CoreBndr, StrictnessMark) -> CoreBndr)
-> [(CoreBndr, StrictnessMark)] -> [CoreBndr]
forall a b. (a -> b) -> [a] -> [b]
map (CoreBndr, StrictnessMark) -> CoreBndr
forall a b. (a, b) -> a
fst [(CoreBndr, StrictnessMark)]
abstracted_binders
              
              
              (CoreExpr
rhs_with_seqs) = [(CoreBndr, StrictnessMark)] -> CoreExpr -> CoreExpr
mkStrictFieldSeqs [(CoreBndr, StrictnessMark)]
abstracted_binders CoreExpr
alt_rhs_in
              final_args :: [CoreExpr]
final_args = [CoreBndr] -> [CoreExpr]
forall b. [CoreBndr] -> [Expr b]
varsToCoreExprs [CoreBndr]
filtered_binders
                           
                
                
                
                
              final_bndrs :: [CoreBndr]
final_bndrs     = (CoreBndr -> CoreBndr) -> [CoreBndr] -> [CoreBndr]
forall a b. (a -> b) -> [a] -> [b]
map CoreBndr -> CoreBndr
one_shot [CoreBndr]
filtered_binders
              one_shot :: CoreBndr -> CoreBndr
one_shot CoreBndr
v | CoreBndr -> Bool
isId CoreBndr
v    = CoreBndr -> CoreBndr
setOneShotLambda CoreBndr
v
                         | Bool
otherwise = CoreBndr
v
              
              
              join_rhs :: CoreExpr
join_rhs   = [CoreBndr] -> CoreExpr -> CoreExpr
forall b. [b] -> Expr b -> Expr b
mkLams ((CoreBndr -> CoreBndr) -> [CoreBndr] -> [CoreBndr]
forall a b. (a -> b) -> [a] -> [b]
map CoreBndr -> CoreBndr
zapIdUnfolding [CoreBndr]
final_bndrs) CoreExpr
rhs_with_seqs
        ; CoreBndr
join_bndr <- [CoreBndr] -> Kind -> SimplM CoreBndr
newJoinId [CoreBndr]
filtered_binders Kind
rhs_ty'
        ; let join_call :: CoreExpr
join_call = CoreExpr -> [CoreExpr] -> CoreExpr
forall b. Expr b -> [Expr b] -> Expr b
mkApps (CoreBndr -> CoreExpr
forall b. CoreBndr -> Expr b
Var CoreBndr
join_bndr) [CoreExpr]
final_args
              alt' :: Alt CoreBndr
alt'      = AltCon -> [CoreBndr] -> CoreExpr -> Alt CoreBndr
forall b. AltCon -> [b] -> Expr b -> Alt b
Alt AltCon
con [CoreBndr]
alt_bndrs CoreExpr
join_call
        ; (JoinFloats, Alt CoreBndr) -> SimplM (JoinFloats, Alt CoreBndr)
forall a. a -> SimplM a
forall (m :: * -> *) a. Monad m => a -> m a
return ( JoinFloats
jfloats JoinFloats -> JoinFloats -> JoinFloats
`addJoinFlts` InBind -> JoinFloats
unitJoinFloat (CoreBndr -> CoreExpr -> InBind
forall b. b -> Expr b -> Bind b
NonRec CoreBndr
join_bndr CoreExpr
join_rhs)
                 , Alt CoreBndr
alt') }
                
simplLetUnfolding :: SimplEnv
                  -> BindContext
                  -> InId
                  -> OutExpr -> OutType -> ArityType
                  -> Unfolding -> SimplM Unfolding
simplLetUnfolding :: SimplEnv
-> BindContext
-> CoreBndr
-> CoreExpr
-> Kind
-> ArityType
-> Unfolding
-> SimplM Unfolding
simplLetUnfolding SimplEnv
env BindContext
bind_cxt CoreBndr
id CoreExpr
new_rhs Kind
rhs_ty ArityType
arity Unfolding
unf
  | Unfolding -> Bool
isStableUnfolding Unfolding
unf
  = SimplEnv
-> BindContext
-> CoreBndr
-> Kind
-> ArityType
-> Unfolding
-> SimplM Unfolding
simplStableUnfolding SimplEnv
env BindContext
bind_cxt CoreBndr
id Kind
rhs_ty ArityType
arity Unfolding
unf
  | CoreBndr -> Bool
isExitJoinId CoreBndr
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
-> CoreBndr
-> CoreExpr
-> SimplM Unfolding
mkLetUnfolding UnfoldingOpts
opts (BindContext -> TopLevelFlag
bindContextLevel BindContext
bind_cxt) UnfoldingSource
InlineRhs CoreBndr
id CoreExpr
new_rhs
mkLetUnfolding :: UnfoldingOpts -> TopLevelFlag -> UnfoldingSource
               -> InId -> OutExpr -> SimplM Unfolding
mkLetUnfolding :: UnfoldingOpts
-> TopLevelFlag
-> UnfoldingSource
-> CoreBndr
-> CoreExpr
-> SimplM Unfolding
mkLetUnfolding !UnfoldingOpts
uf_opts TopLevelFlag
top_lvl UnfoldingSource
src CoreBndr
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 = CoreBndr -> Bool
isDeadEndId CoreBndr
id
simplStableUnfolding :: SimplEnv -> BindContext
                     -> InId
                     -> OutType
                     -> ArityType      
                     -> Unfolding
                     ->SimplM Unfolding
simplStableUnfolding :: SimplEnv
-> BindContext
-> CoreBndr
-> Kind
-> ArityType
-> Unfolding
-> SimplM Unfolding
simplStableUnfolding SimplEnv
env BindContext
bind_cxt CoreBndr
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 -> [CoreBndr]
df_bndrs = [CoreBndr]
bndrs, df_con :: Unfolding -> DataCon
df_con = DataCon
con, df_args :: Unfolding -> [CoreExpr]
df_args = [CoreExpr]
args }
        -> do { (SimplEnv
env', [CoreBndr]
bndrs') <- SimplEnv -> [CoreBndr] -> SimplM (SimplEnv, [CoreBndr])
simplBinders SimplEnv
unf_env [CoreBndr]
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 ([CoreBndr] -> DataCon -> [CoreExpr] -> Unfolding
mkDFunUnfolding [CoreBndr]
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 -> CoreBndr -> CoreExpr -> SimplCont -> SimplM CoreExpr
simplJoinRhs SimplEnv
unf_env CoreBndr
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
-> CoreBndr
-> CoreExpr
-> SimplM Unfolding
mkLetUnfolding UnfoldingOpts
uf_opts TopLevelFlag
top_lvl UnfoldingSource
src CoreBndr
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        = CoreBndr -> Activation
idInlineActivation CoreBndr
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
-> CoreBndr
-> CoreBndr
-> BindContext
-> SimplM (SimplEnv, CoreBndr)
addBndrRules SimplEnv
env CoreBndr
in_id CoreBndr
out_id BindContext
bind_cxt
  | [CoreRule] -> Bool
forall a. [a] -> Bool
forall (t :: * -> *) a. Foldable t => t a -> Bool
null [CoreRule]
old_rules
  = (SimplEnv, CoreBndr) -> SimplM (SimplEnv, CoreBndr)
forall a. a -> SimplM a
forall (m :: * -> *) a. Monad m => a -> m a
return (SimplEnv
env, CoreBndr
out_id)
  | Bool
otherwise
  = do { [CoreRule]
new_rules <- SimplEnv
-> Maybe CoreBndr -> [CoreRule] -> BindContext -> SimplM [CoreRule]
simplRules SimplEnv
env (CoreBndr -> Maybe CoreBndr
forall a. a -> Maybe a
Just CoreBndr
out_id) [CoreRule]
old_rules BindContext
bind_cxt
       ; let final_id :: CoreBndr
final_id  = CoreBndr
out_id CoreBndr -> RuleInfo -> CoreBndr
`setIdSpecialisation` [CoreRule] -> RuleInfo
mkRuleInfo [CoreRule]
new_rules
       ; (SimplEnv, CoreBndr) -> SimplM (SimplEnv, CoreBndr)
forall a. a -> SimplM a
forall (m :: * -> *) a. Monad m => a -> m a
return (SimplEnv -> CoreBndr -> SimplEnv
modifyInScope SimplEnv
env CoreBndr
final_id, CoreBndr
final_id) }
  where
    old_rules :: [CoreRule]
old_rules = RuleInfo -> [CoreRule]
ruleInfoRules (CoreBndr -> RuleInfo
idSpecialisation CoreBndr
in_id)
simplImpRules :: SimplEnv -> [CoreRule] -> SimplM [CoreRule]
simplImpRules :: SimplEnv -> [CoreRule] -> SimplM [CoreRule]
simplImpRules SimplEnv
env [CoreRule]
rules
  = SimplEnv
-> Maybe CoreBndr -> [CoreRule] -> BindContext -> SimplM [CoreRule]
simplRules SimplEnv
env Maybe CoreBndr
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 CoreBndr -> [CoreRule] -> BindContext -> SimplM [CoreRule]
simplRules SimplEnv
env Maybe CoreBndr
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 -> [CoreBndr]
ru_bndrs = [CoreBndr]
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', [CoreBndr]
bndrs') <- SimplEnv -> [CoreBndr] -> SimplM (SimplEnv, [CoreBndr])
simplBinders SimplEnv
env [CoreBndr]
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 CoreBndr
mb_new_id of
                              Just CoreBndr
id -> CoreBndr -> Name
idName CoreBndr
id
                              Maybe CoreBndr
Nothing -> Name
fn_name
                 
                 
                 
                 join_ok :: Bool
join_ok = case Maybe CoreBndr
mb_new_id of
                             Just CoreBndr
id | Just Int
join_arity <- CoreBndr -> Maybe Int
isJoinId_maybe CoreBndr
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 CoreBndr
_ -> Bool
False
                 bad_join_msg :: SDoc
bad_join_msg = [SDoc] -> SDoc
vcat [ Maybe CoreBndr -> SDoc
forall a. Outputable a => a -> SDoc
ppr Maybe CoreBndr
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 ((CoreBndr -> Maybe Int) -> Maybe CoreBndr -> 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 CoreBndr -> Maybe Int
isJoinId_maybe Maybe CoreBndr
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 :: [CoreBndr]
ru_bndrs = [CoreBndr]
bndrs'
                          , ru_fn :: Name
ru_fn    = Name
fn_name'
                          , ru_args :: [CoreExpr]
ru_args  = [CoreExpr]
args'
                          , ru_rhs :: CoreExpr
ru_rhs   = CoreExpr
rhs' }) }