{-# LANGUAGE ConstraintKinds #-}
{-# LANGUAGE FlexibleContexts #-}
module Futhark.Transform.CopyPropagate
( copyPropagateInProg,
copyPropagateInStms,
copyPropagateInFun,
)
where
import qualified Futhark.Analysis.SymbolTable as ST
import Futhark.IR
import Futhark.MonadFreshNames
import Futhark.Optimise.Simplify
import Futhark.Optimise.Simplify.Rep (Wise)
import Futhark.Pass
copyPropagateInProg ::
SimplifiableRep rep =>
SimpleOps rep ->
Prog rep ->
PassM (Prog rep)
copyPropagateInProg :: SimpleOps rep -> Prog rep -> PassM (Prog rep)
copyPropagateInProg SimpleOps rep
simpl = SimpleOps rep
-> RuleBook (Wise rep)
-> HoistBlockers rep
-> Prog rep
-> PassM (Prog rep)
forall rep.
SimplifiableRep rep =>
SimpleOps rep
-> RuleBook (Wise rep)
-> HoistBlockers rep
-> Prog rep
-> PassM (Prog rep)
simplifyProg SimpleOps rep
simpl RuleBook (Wise rep)
forall a. Monoid a => a
mempty HoistBlockers rep
forall rep. HoistBlockers rep
neverHoist
copyPropagateInStms ::
(MonadFreshNames m, SimplifiableRep rep) =>
SimpleOps rep ->
Scope rep ->
Stms rep ->
m (Stms rep)
copyPropagateInStms :: SimpleOps rep -> Scope rep -> Stms rep -> m (Stms rep)
copyPropagateInStms SimpleOps rep
simpl = SimpleOps rep
-> RuleBook (Wise rep)
-> HoistBlockers rep
-> Scope rep
-> Stms rep
-> m (Stms rep)
forall (m :: * -> *) rep.
(MonadFreshNames m, SimplifiableRep rep) =>
SimpleOps rep
-> RuleBook (Wise rep)
-> HoistBlockers rep
-> Scope rep
-> Stms rep
-> m (Stms rep)
simplifyStms SimpleOps rep
simpl RuleBook (Wise rep)
forall a. Monoid a => a
mempty HoistBlockers rep
forall rep. HoistBlockers rep
neverHoist
copyPropagateInFun ::
(MonadFreshNames m, SimplifiableRep rep) =>
SimpleOps rep ->
ST.SymbolTable (Wise rep) ->
FunDef rep ->
m (FunDef rep)
copyPropagateInFun :: SimpleOps rep
-> SymbolTable (Wise rep) -> FunDef rep -> m (FunDef rep)
copyPropagateInFun SimpleOps rep
simpl = SimpleOps rep
-> RuleBook (Wise rep)
-> HoistBlockers rep
-> SymbolTable (Wise rep)
-> FunDef rep
-> m (FunDef rep)
forall (m :: * -> *) rep.
(MonadFreshNames m, SimplifiableRep rep) =>
SimpleOps rep
-> RuleBook (Wise rep)
-> HoistBlockers rep
-> SymbolTable (Wise rep)
-> FunDef rep
-> m (FunDef rep)
simplifyFun SimpleOps rep
simpl RuleBook (Wise rep)
forall a. Monoid a => a
mempty HoistBlockers rep
forall rep. HoistBlockers rep
neverHoist