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, SimplifiableLore lore) => (a -> SimpleM lore b) -> (b -> a) -> SimpleOps lore -> RuleBook (Wise lore) -> HoistBlockers lore -> SymbolTable (Wise lore) -> a -> m a

Run a simplification operation to convergence.

simplifyFun :: (MonadFreshNames m, SimplifiableLore lore) => SimpleOps lore -> RuleBook (Wise lore) -> HoistBlockers lore -> SymbolTable (Wise 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 -> m (Lambda lore)

Simplify just a single Lambda.

simplifyStms :: (MonadFreshNames m, SimplifiableLore lore) => SimpleOps lore -> RuleBook (Wise lore) -> HoistBlockers lore -> Scope lore -> Stms lore -> m (SymbolTable (Wise lore), Stms lore)

Simplify a sequence of Stms.

data SimpleOps lore

Constructors

SimpleOps

Fields

• mkExpDecS :: SymbolTable (Wise lore) -> Pattern (Wise lore) -> Exp (Wise lore) -> SimpleM lore (ExpDec (Wise lore))
• mkBodyS :: SymbolTable (Wise lore) -> Stms (Wise lore) -> Result -> SimpleM lore (Body (Wise lore))
• protectHoistedOpS :: Protect (Binder (Wise lore))

  Make a hoisted Op safe. The SubExp is a boolean that is true when the value of the statement will actually be used.

• opUsageS :: Op (Wise lore) -> UsageTable
• simplifyOpS :: SimplifyOp lore (Op 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

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

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

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

MonadState (VNameSource, Bool, Certificates) (SimpleM lore)

Defined in Futhark.Optimise.Simplify.Engine

Methods

get :: SimpleM lore (VNameSource, Bool, Certificates)

put :: (VNameSource, Bool, Certificates) -> SimpleM lore ()

state :: ((VNameSource, Bool, Certificates) -> (a, (VNameSource, Bool, Certificates))) -> SimpleM lore a

type SimplifyOp lore op = op -> SimpleM lore (OpWithWisdom op, Stms (Wise lore))

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

noExtraHoistBlockers :: HoistBlockers lore

neverHoist :: HoistBlockers lore

type SimplifiableLore lore = (ASTLore lore, Simplifiable (LetDec lore), Simplifiable (FParamInfo lore), Simplifiable (LParamInfo 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