Safe Haskell	None
Language	Haskell2010

Futhark.IR.SOACS.Simplify

Contents

Orphan instances

Synopsis

simplifySOACS :: Prog SOACS -> PassM (Prog SOACS)
simplifyLambda :: (HasScope SOACS m, MonadFreshNames m) => Lambda -> [Maybe VName] -> 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)
data SOACS

Documentation

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

simplifyLambda :: (HasScope SOACS m, MonadFreshNames m) => Lambda -> [Maybe VName] -> 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 #

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

BinderOps (Wise SOACS) Source #
Instance details 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 #