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 (Stms SOACS)

simplifyConsts :: MonadFreshNames m => Stms SOACS -> m (Stms SOACS)

simpleSOACS :: SimpleOps SOACS

simplifySOAC :: SimplifiableRep rep => SimplifyOp rep (SOAC (Wise rep))

soacRules :: RuleBook (Wise SOACS)

class HasSOAC rep where

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

Methods

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

soacOp :: SOAC rep -> Op rep

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

Defined in Futhark.IR.GPU.Simplify

Methods

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

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

simplifyKnownIterationSOAC :: (Buildable rep, BuilderOps rep, HasSOAC rep) => TopDownRuleOp rep

removeReplicateMapping :: (Aliased rep, Buildable rep, BuilderOps rep, HasSOAC rep) => TopDownRuleOp rep

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

liftIdentityMapping :: forall rep. (Buildable rep, BuilderOps rep, HasSOAC rep) => TopDownRuleOp rep

simplifyMapIota :: forall rep. (Buildable rep, BuilderOps rep, HasSOAC rep) => TopDownRuleOp rep

data SOACS

The rep for the basic representation.

Instances

RepTypes 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

PrettyRep SOACS

Defined in Futhark.IR.SOACS

Methods

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

ASTRep SOACS

Defined in Futhark.IR.SOACS

Methods

expTypesFromPat :: (HasScope SOACS m, Monad m) => Pat SOACS -> m [BranchType SOACS]

Buildable SOACS

Defined in Futhark.IR.SOACS

Methods

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

mkExpDec :: Pat SOACS -> Exp SOACS -> ExpDec SOACS

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

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

BuilderOps SOACS

Defined in Futhark.IR.SOACS

Methods

mkExpDecB :: (MonadBuilder m, Rep m ~ SOACS) => Pat SOACS -> Exp SOACS -> m (ExpDec SOACS)

mkBodyB :: (MonadBuilder m, Rep m ~ SOACS) => Stms SOACS -> Result -> m (Body SOACS)

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

Checkable SOACS

Defined in Futhark.IR.SOACS

Methods

checkExpDec :: ExpDec SOACS -> TypeM SOACS ()

checkBodyDec :: BodyDec SOACS -> TypeM SOACS ()

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

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

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

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

matchPat :: Pat (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)] -> Result -> 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 rep r op)

Defined in Futhark.CodeGen.ImpGen

Methods

lookupType :: VName -> ImpM rep r op Type

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

askScope :: ImpM rep r op (Scope SOACS)

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

TraverseOpStms (Wise SOACS)

Defined in Futhark.IR.SOACS.Simplify

Methods

traverseOpStms :: Monad m => OpStmsTraverser m (Op (Wise SOACS)) (Wise SOACS)

BuilderOps (Wise SOACS)

Defined in Futhark.IR.SOACS.Simplify

Methods

mkExpDecB :: (MonadBuilder m, Rep m ~ Wise SOACS) => Pat (Wise SOACS) -> Exp (Wise SOACS) -> m (ExpDec (Wise SOACS))

mkBodyB :: (MonadBuilder m, Rep m ~ Wise SOACS) => Stms (Wise SOACS) -> Result -> m (Body (Wise SOACS))

mkLetNamesB :: (MonadBuilder m, Rep 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

TraverseOpStms (Wise SOACS)

Methods

traverseOpStms :: Monad m => OpStmsTraverser m (Op (Wise SOACS)) (Wise SOACS)

BuilderOps (Wise SOACS)

Methods

mkExpDecB :: (MonadBuilder m, Rep m ~ Wise SOACS) => Pat (Wise SOACS) -> Exp (Wise SOACS) -> m (ExpDec (Wise SOACS))

mkBodyB :: (MonadBuilder m, Rep m ~ Wise SOACS) => Stms (Wise SOACS) -> Result -> m (Body (Wise SOACS))

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