Futhark.Optimise.Simplify

Documentation

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

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

Run a simplification operation to convergence.

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

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)

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)

Simplify a list of Stms.

data SimpleOps lore

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)

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

Instances

MonadWriter Certificates (SimpleM lore)

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)

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)

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)

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)

Defined in Futhark.Optimise.Simplify.Engine

Methods

getNameSource :: SimpleM lore VNameSource

putNameSource :: VNameSource -> SimpleM lore ()

SimplifiableLore lore => LocalScope (Wise lore) (SimpleM lore)

Defined in Futhark.Optimise.Simplify.Engine

Methods

localScope :: Scope (Wise lore) -> SimpleM lore a -> SimpleM lore a

SimplifiableLore lore => HasScope (Wise lore) (SimpleM lore)

Defined in Futhark.Optimise.Simplify.Engine

Methods

lookupType :: VName -> SimpleM lore Type

lookupInfo :: VName -> SimpleM lore (NameInfo (Wise lore))

askScope :: SimpleM lore (Scope (Wise lore))

asksScope :: (Scope (Wise lore) -> a) -> SimpleM lore a

MonadState (VNameSource, Bool) (SimpleM lore)

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)

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))

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

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

Instances

Semigroup (RuleBook lore)

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)

Defined in Futhark.Optimise.Simplify.Rule

Methods

mempty :: RuleBook lore

mappend :: RuleBook lore -> RuleBook lore -> RuleBook lore

mconcat :: [RuleBook lore] -> RuleBook lore