Futhark.IR.SOACS.Simplify

Documentation

simplifySOACS :: Prog SOACS -> PassM (Prog SOACS)

simplifyLambda :: (HasScope SOACS m, MonadFreshNames m) => Lambda -> m Lambda

simplifyFun :: MonadFreshNames m => SymbolTable (Wise SOACS) -> FunDef SOACS -> m (FunDef SOACS)

simplifyStms :: (HasScope SOACS m, MonadFreshNames m) => Stms SOACS -> m (SymbolTable (Wise SOACS), Stms SOACS)

simplifyConsts :: MonadFreshNames m => Stms SOACS -> m (SymbolTable (Wise SOACS), Stms SOACS)

simpleSOACS :: SimpleOps SOACS

simplifySOAC :: SimplifiableLore lore => SimplifyOp lore (SOAC lore)

soacRules :: RuleBook (Wise SOACS)

class HasSOAC lore where

Does this lore contain SOACs in its Ops? A lore must be an instance of this class for the simplification rules to work.

Methods

asSOAC :: Op lore -> Maybe (SOAC lore)

soacOp :: SOAC lore -> Op lore

Instances

HasSOAC (Wise SOACS)

Defined in Futhark.IR.SOACS.Simplify

Methods

asSOAC :: Op (Wise SOACS) -> Maybe (SOAC (Wise SOACS))

soacOp :: SOAC (Wise SOACS) -> Op (Wise SOACS)

HasSOAC (Wise Kernels)

Defined in Futhark.IR.Kernels.Simplify

Methods

asSOAC :: Op (Wise Kernels) -> Maybe (SOAC (Wise Kernels))

soacOp :: SOAC (Wise Kernels) -> Op (Wise Kernels)

simplifyKnownIterationSOAC :: (Bindable lore, SimplifiableLore lore, HasSOAC (Wise lore)) => TopDownRuleOp (Wise lore)

removeReplicateMapping :: (Bindable lore, SimplifiableLore lore, HasSOAC (Wise lore)) => TopDownRuleOp (Wise lore)

Remove all arguments to the map that are simply replicates. These can be turned into free variables instead.

liftIdentityMapping :: forall lore. (Bindable lore, SimplifiableLore lore, HasSOAC (Wise lore)) => BottomUpRuleOp (Wise lore)

data SOACS

The lore for the basic representation.

Instances

Decorations SOACS

Defined in Futhark.IR.SOACS

Associated Types

type LetDec SOACS

type ExpDec SOACS

type BodyDec SOACS

type FParamInfo SOACS

type LParamInfo SOACS

type RetType SOACS

type BranchType SOACS

type Op SOACS

PrettyLore SOACS

Defined in Futhark.IR.SOACS

Methods

ppExpLore :: ExpDec SOACS -> Exp SOACS -> Maybe Doc

ASTLore SOACS

Defined in Futhark.IR.SOACS

Methods

expTypesFromPattern :: (HasScope SOACS m, Monad m) => Pattern SOACS -> m [BranchType SOACS]

Bindable SOACS

Defined in Futhark.IR.SOACS

Methods

mkExpPat :: [Ident] -> [Ident] -> Exp SOACS -> Pattern SOACS

mkExpDec :: Pattern SOACS -> Exp SOACS -> ExpDec SOACS

mkBody :: Stms SOACS -> Result -> Body SOACS

mkLetNames :: (MonadFreshNames m, HasScope SOACS m) => [VName] -> Exp SOACS -> m (Stm SOACS)

BinderOps SOACS

Defined in Futhark.IR.SOACS

Methods

mkExpDecB :: (MonadBinder m, Lore m ~ SOACS) => Pattern SOACS -> Exp SOACS -> m (ExpDec SOACS)

mkBodyB :: (MonadBinder m, Lore m ~ SOACS) => Stms SOACS -> Result -> m (Body SOACS)

mkLetNamesB :: (MonadBinder m, Lore m ~ SOACS) => [VName] -> Exp SOACS -> m (Stm SOACS)

Checkable SOACS

Defined in Futhark.IR.SOACS

Methods

checkExpLore :: ExpDec SOACS -> TypeM SOACS ()

checkBodyLore :: BodyDec SOACS -> TypeM SOACS ()

checkFParamLore :: VName -> FParamInfo SOACS -> TypeM SOACS ()

checkLParamLore :: VName -> LParamInfo SOACS -> TypeM SOACS ()

checkLetBoundLore :: VName -> LetDec SOACS -> TypeM SOACS ()

checkRetType :: [RetType SOACS] -> TypeM SOACS ()

matchPattern :: Pattern (Aliases SOACS) -> Exp (Aliases SOACS) -> TypeM SOACS ()

primFParam :: VName -> PrimType -> TypeM SOACS (FParam (Aliases SOACS))

matchReturnType :: [RetType SOACS] -> Result -> TypeM SOACS ()

matchBranchType :: [BranchType SOACS] -> Body (Aliases SOACS) -> TypeM SOACS ()

matchLoopResult :: [FParam (Aliases SOACS)] -> [FParam (Aliases SOACS)] -> [SubExp] -> TypeM SOACS ()

CheckableOp SOACS

Defined in Futhark.IR.SOACS

Methods

checkOp :: OpWithAliases (Op SOACS) -> TypeM SOACS ()

LocalScope SOACS InternaliseM

Defined in Futhark.Internalise.Monad

Methods

localScope :: Scope SOACS -> InternaliseM a -> InternaliseM a

HasScope SOACS InternaliseM

Defined in Futhark.Internalise.Monad

Methods

lookupType :: VName -> InternaliseM Type

lookupInfo :: VName -> InternaliseM (NameInfo SOACS)

askScope :: InternaliseM (Scope SOACS)

asksScope :: (Scope SOACS -> a) -> InternaliseM a

HasScope SOACS (ImpM lore r op)

Defined in Futhark.CodeGen.ImpGen

Methods

lookupType :: VName -> ImpM lore r op Type

lookupInfo :: VName -> ImpM lore r op (NameInfo SOACS)

askScope :: ImpM lore r op (Scope SOACS)

asksScope :: (Scope SOACS -> a) -> ImpM lore r op a

BinderOps (Wise SOACS)

Defined in Futhark.IR.SOACS.Simplify

Methods

mkExpDecB :: (MonadBinder m, Lore m ~ Wise SOACS) => Pattern (Wise SOACS) -> Exp (Wise SOACS) -> m (ExpDec (Wise SOACS))

mkBodyB :: (MonadBinder m, Lore m ~ Wise SOACS) => Stms (Wise SOACS) -> Result -> m (Body (Wise SOACS))

mkLetNamesB :: (MonadBinder m, Lore m ~ Wise SOACS) => [VName] -> Exp (Wise SOACS) -> m (Stm (Wise SOACS))

HasSOAC (Wise SOACS)

Defined in Futhark.IR.SOACS.Simplify

Methods

asSOAC :: Op (Wise SOACS) -> Maybe (SOAC (Wise SOACS))

soacOp :: SOAC (Wise SOACS) -> Op (Wise SOACS)

type LetDec SOACS

Defined in Futhark.IR.SOACS

type LetDec SOACS = Type

type ExpDec SOACS

Defined in Futhark.IR.SOACS

type ExpDec SOACS = ()

type BodyDec SOACS

Defined in Futhark.IR.SOACS

type BodyDec SOACS = ()

type FParamInfo SOACS

Defined in Futhark.IR.SOACS

type FParamInfo SOACS = DeclType

type LParamInfo SOACS

Defined in Futhark.IR.SOACS

type LParamInfo SOACS = Type

type RetType SOACS

Defined in Futhark.IR.SOACS

type RetType SOACS = DeclExtType

type BranchType SOACS

Defined in Futhark.IR.SOACS

type BranchType SOACS = ExtType

type Op SOACS

Defined in Futhark.IR.SOACS

type Op SOACS = SOAC SOACS

Orphan instances

BinderOps (Wise SOACS)

Methods

mkExpDecB :: (MonadBinder m, Lore m ~ Wise SOACS) => Pattern (Wise SOACS) -> Exp (Wise SOACS) -> m (ExpDec (Wise SOACS))

mkBodyB :: (MonadBinder m, Lore m ~ Wise SOACS) => Stms (Wise SOACS) -> Result -> m (Body (Wise SOACS))

mkLetNamesB :: (MonadBinder m, Lore m ~ Wise SOACS) => [VName] -> Exp (Wise SOACS) -> m (Stm (Wise SOACS))