Safe Haskell	None
Language	Haskell2010

Futhark.Optimise.Simplify

Synopsis

simplifyProg :: SimplifiableLore lore => SimpleOps lore -> RuleBook (Wise lore) -> HoistBlockers lore -> Prog lore -> PassM (Prog lore)
simplifySomething :: (MonadFreshNames m, HasScope lore m, SimplifiableLore lore) => (a -> SimpleM lore b) -> (b -> a) -> SimpleOps lore -> RuleBook (Wise lore) -> HoistBlockers lore -> a -> m a
simplifyFun :: (MonadFreshNames m, SimplifiableLore lore) => SimpleOps lore -> RuleBook (Wise lore) -> HoistBlockers lore -> FunDef lore -> m (FunDef lore)
simplifyLambda :: (MonadFreshNames m, HasScope lore m, SimplifiableLore lore) => SimpleOps lore -> RuleBook (Wise lore) -> HoistBlockers lore -> Lambda lore -> [Maybe VName] -> m (Lambda lore)
simplifyStms :: (MonadFreshNames m, HasScope lore m, SimplifiableLore lore) => SimpleOps lore -> RuleBook (Wise lore) -> HoistBlockers lore -> Stms lore -> m (Stms lore)
data SimpleOps lore = SimpleOps {
- mkExpAttrS :: SymbolTable (Wise lore) -> Pattern (Wise lore) -> Exp (Wise lore) -> SimpleM lore (ExpAttr (Wise lore))
- mkBodyS :: SymbolTable (Wise lore) -> Stms (Wise lore) -> Result -> SimpleM lore (Body (Wise lore))
- mkLetNamesS :: SymbolTable (Wise lore) -> [VName] -> Exp (Wise lore) -> SimpleM lore (Stm (Wise lore), Stms (Wise lore))
- simplifyOpS :: SimplifyOp lore
}
data SimpleM lore a
type SimplifyOp lore = Op lore -> SimpleM lore (OpWithWisdom (Op lore), Stms (Wise lore))
bindableSimpleOps :: (SimplifiableLore lore, Bindable lore) => SimplifyOp lore -> SimpleOps lore
noExtraHoistBlockers :: HoistBlockers lore
type SimplifiableLore lore = (Attributes lore, Simplifiable (LetAttr lore), Simplifiable (FParamAttr lore), Simplifiable (LParamAttr lore), Simplifiable (RetType lore), Simplifiable (BranchType lore), CanBeWise (Op lore), IndexOp (OpWithWisdom (Op lore)), BinderOps (Wise lore), IsOp (Op lore))
data HoistBlockers lore
data RuleBook lore

Documentation

simplifyProg :: SimplifiableLore lore => SimpleOps lore -> RuleBook (Wise lore) -> HoistBlockers lore -> Prog lore -> PassM (Prog lore) Source #

Simplify the given program. Even if the output differs from the output, meaningful simplification may not have taken place - the order of bindings may simply have been rearranged.

simplifySomething :: (MonadFreshNames m, HasScope lore m, SimplifiableLore lore) => (a -> SimpleM lore b) -> (b -> a) -> SimpleOps lore -> RuleBook (Wise lore) -> HoistBlockers lore -> a -> m a Source #

Run a simplification operation to convergence.

simplifyFun :: (MonadFreshNames m, SimplifiableLore lore) => SimpleOps lore -> RuleBook (Wise lore) -> HoistBlockers lore -> FunDef lore -> m (FunDef lore) Source #

Simplify the given function. Even if the output differs from the output, meaningful simplification may not have taken place - the order of bindings may simply have been rearranged. Runs in a loop until convergence.

simplifyLambda :: (MonadFreshNames m, HasScope lore m, SimplifiableLore lore) => SimpleOps lore -> RuleBook (Wise lore) -> HoistBlockers lore -> Lambda lore -> [Maybe VName] -> m (Lambda lore) Source #

Simplify just a single LambdaT.

simplifyStms :: (MonadFreshNames m, HasScope lore m, SimplifiableLore lore) => SimpleOps lore -> RuleBook (Wise lore) -> HoistBlockers lore -> Stms lore -> m (Stms lore) Source #

Simplify a list of Stms.

data SimpleOps lore Source #

Constructors

SimpleOps
Fields mkExpAttrS :: SymbolTable (Wise lore) -> Pattern (Wise lore) -> Exp (Wise lore) -> SimpleM lore (ExpAttr (Wise lore)) mkBodyS :: SymbolTable (Wise lore) -> Stms (Wise lore) -> Result -> SimpleM lore (Body (Wise lore)) mkLetNamesS :: SymbolTable (Wise lore) -> [VName] -> Exp (Wise lore) -> SimpleM lore (Stm (Wise lore), Stms (Wise lore)) simplifyOpS :: SimplifyOp lore

Instances

MonadReader (SimpleOps lore, Env lore) (SimpleM lore) Source #
Instance details Defined in Futhark.Optimise.Simplify.Engine Methods ask :: SimpleM lore (SimpleOps lore, Env lore) # local :: ((SimpleOps lore, Env lore) -> (SimpleOps lore, Env lore)) -> SimpleM lore a -> SimpleM lore a # reader :: ((SimpleOps lore, Env lore) -> a) -> SimpleM lore a #

data SimpleM lore a Source #

Instances

MonadWriter Certificates (SimpleM lore) Source #
Instance details Defined in Futhark.Optimise.Simplify.Engine Methods writer :: (a, Certificates) -> SimpleM lore a # tell :: Certificates -> SimpleM lore () # listen :: SimpleM lore a -> SimpleM lore (a, Certificates) # pass :: SimpleM lore (a, Certificates -> Certificates) -> SimpleM lore a #
Monad (SimpleM lore) Source #
Instance details Defined in Futhark.Optimise.Simplify.Engine Methods (>>=) :: SimpleM lore a -> (a -> SimpleM lore b) -> SimpleM lore b # (>>) :: SimpleM lore a -> SimpleM lore b -> SimpleM lore b # return :: a -> SimpleM lore a # fail :: String -> SimpleM lore a #
Functor (SimpleM lore) Source #
Instance details Defined in Futhark.Optimise.Simplify.Engine Methods fmap :: (a -> b) -> SimpleM lore a -> SimpleM lore b # (<$) :: a -> SimpleM lore b -> SimpleM lore a #
Applicative (SimpleM lore) Source #
Instance details Defined in Futhark.Optimise.Simplify.Engine Methods pure :: a -> SimpleM lore a # (<>) :: SimpleM lore (a -> b) -> SimpleM lore a -> SimpleM lore b # liftA2 :: (a -> b -> c) -> SimpleM lore a -> SimpleM lore b -> SimpleM lore c # (>) :: SimpleM lore a -> SimpleM lore b -> SimpleM lore b # (<*) :: SimpleM lore a -> SimpleM lore b -> SimpleM lore a #
MonadFreshNames (SimpleM lore) Source #
Instance details Defined in Futhark.Optimise.Simplify.Engine Methods getNameSource :: SimpleM lore VNameSource Source # putNameSource :: VNameSource -> SimpleM lore () Source #
SimplifiableLore lore => LocalScope (Wise lore) (SimpleM lore) Source #
Instance details Defined in Futhark.Optimise.Simplify.Engine Methods localScope :: Scope (Wise lore) -> SimpleM lore a -> SimpleM lore a Source #
SimplifiableLore lore => HasScope (Wise lore) (SimpleM lore) Source #
Instance details Defined in Futhark.Optimise.Simplify.Engine Methods lookupType :: VName -> SimpleM lore Type Source # lookupInfo :: VName -> SimpleM lore (NameInfo (Wise lore)) Source # askScope :: SimpleM lore (Scope (Wise lore)) Source # asksScope :: (Scope (Wise lore) -> a) -> SimpleM lore a Source #
MonadState (VNameSource, Bool) (SimpleM lore) Source #
Instance details Defined in Futhark.Optimise.Simplify.Engine Methods get :: SimpleM lore (VNameSource, Bool) # put :: (VNameSource, Bool) -> SimpleM lore () # state :: ((VNameSource, Bool) -> (a, (VNameSource, Bool))) -> SimpleM lore a #
MonadReader (SimpleOps lore, Env lore) (SimpleM lore) Source #
Instance details Defined in Futhark.Optimise.Simplify.Engine Methods ask :: SimpleM lore (SimpleOps lore, Env lore) # local :: ((SimpleOps lore, Env lore) -> (SimpleOps lore, Env lore)) -> SimpleM lore a -> SimpleM lore a # reader :: ((SimpleOps lore, Env lore) -> a) -> SimpleM lore a #

type SimplifyOp lore = Op lore -> SimpleM lore (OpWithWisdom (Op lore), Stms (Wise lore)) Source #

bindableSimpleOps :: (SimplifiableLore lore, Bindable lore) => SimplifyOp lore -> SimpleOps lore Source #

noExtraHoistBlockers :: HoistBlockers lore Source #

type SimplifiableLore lore = (Attributes lore, Simplifiable (LetAttr lore), Simplifiable (FParamAttr lore), Simplifiable (LParamAttr lore), Simplifiable (RetType lore), Simplifiable (BranchType lore), CanBeWise (Op lore), IndexOp (OpWithWisdom (Op lore)), BinderOps (Wise lore), IsOp (Op lore)) Source #

data HoistBlockers lore Source #

data RuleBook lore Source #

A collection of both top-down and bottom-up rules.

Instances

Semigroup (RuleBook lore) Source #
Instance details Defined in Futhark.Optimise.Simplify.Rule Methods (<>) :: RuleBook lore -> RuleBook lore -> RuleBook lore # sconcat :: NonEmpty (RuleBook lore) -> RuleBook lore # stimes :: Integral b => b -> RuleBook lore -> RuleBook lore #
Monoid (RuleBook lore) Source #
Instance details Defined in Futhark.Optimise.Simplify.Rule Methods mempty :: RuleBook lore # mappend :: RuleBook lore -> RuleBook lore -> RuleBook lore # mconcat :: [RuleBook lore] -> RuleBook lore #