futhark-0.18.2: An optimising compiler for a functional, array-oriented language.
Safe HaskellNone
LanguageHaskell2010

Futhark.IR.SOACS.Simplify

Synopsis

Documentation

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

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

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

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

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

simpleSOACS :: SimpleOps SOACS Source #

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

soacRules :: RuleBook (Wise SOACS) Source #

class HasSOAC lore where Source #

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

soacOp :: SOAC lore -> Op lore Source #

Instances

Instances details
HasSOAC (Wise SOACS) Source # 
Instance details

Defined in Futhark.IR.SOACS.Simplify

Methods

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

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

HasSOAC (Wise Kernels) Source # 
Instance details

Defined in Futhark.IR.Kernels.Simplify

Methods

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

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

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

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

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

data SOACS Source #

The lore for the basic representation.

Instances

Instances details
Decorations SOACS Source # 
Instance details

Defined in Futhark.IR.SOACS

Associated Types

type LetDec SOACS Source #

type ExpDec SOACS Source #

type BodyDec SOACS Source #

type FParamInfo SOACS Source #

type LParamInfo SOACS Source #

type RetType SOACS Source #

type BranchType SOACS Source #

type Op SOACS Source #

PrettyLore SOACS Source # 
Instance details

Defined in Futhark.IR.SOACS

Methods

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

ASTLore SOACS Source # 
Instance details

Defined in Futhark.IR.SOACS

Methods

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

Bindable SOACS Source # 
Instance details

Defined in Futhark.IR.SOACS

Methods

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

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

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

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

BinderOps SOACS Source # 
Instance details

Defined in Futhark.IR.SOACS

Methods

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

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

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

Checkable SOACS Source # 
Instance details

Defined in Futhark.IR.SOACS

Methods

checkExpLore :: ExpDec SOACS -> TypeM SOACS () Source #

checkBodyLore :: BodyDec SOACS -> TypeM SOACS () Source #

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

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

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

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

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

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

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

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

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

CheckableOp SOACS Source # 
Instance details

Defined in Futhark.IR.SOACS

Methods

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

LocalScope SOACS InternaliseM Source # 
Instance details

Defined in Futhark.Internalise.Monad

Methods

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

HasScope SOACS InternaliseM Source # 
Instance details

Defined in Futhark.Internalise.Monad

Methods

lookupType :: VName -> InternaliseM Type Source #

lookupInfo :: VName -> InternaliseM (NameInfo SOACS) Source #

askScope :: InternaliseM (Scope SOACS) Source #

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

HasScope SOACS (ImpM lore r op) Source # 
Instance details

Defined in Futhark.CodeGen.ImpGen

Methods

lookupType :: VName -> ImpM lore r op Type Source #

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

askScope :: ImpM lore r op (Scope SOACS) Source #

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

BinderOps (Wise SOACS) Source # 
Instance details

Defined in Futhark.IR.SOACS.Simplify

Methods

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

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

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

HasSOAC (Wise SOACS) Source # 
Instance details

Defined in Futhark.IR.SOACS.Simplify

Methods

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

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

type LetDec SOACS Source # 
Instance details

Defined in Futhark.IR.SOACS

type LetDec SOACS = Type
type ExpDec SOACS Source # 
Instance details

Defined in Futhark.IR.SOACS

type ExpDec SOACS = ()
type BodyDec SOACS Source # 
Instance details

Defined in Futhark.IR.SOACS

type BodyDec SOACS = ()
type FParamInfo SOACS Source # 
Instance details

Defined in Futhark.IR.SOACS

type FParamInfo SOACS = DeclType
type LParamInfo SOACS Source # 
Instance details

Defined in Futhark.IR.SOACS

type LParamInfo SOACS = Type
type RetType SOACS Source # 
Instance details

Defined in Futhark.IR.SOACS

type RetType SOACS = DeclExtType
type BranchType SOACS Source # 
Instance details

Defined in Futhark.IR.SOACS

type BranchType SOACS = ExtType
type Op SOACS Source # 
Instance details

Defined in Futhark.IR.SOACS

type Op SOACS = SOAC SOACS

Orphan instances