Futhark.Representation.SOACS.Simplify

Documentation

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

The lore for the basic representation.

Instances

Annotations SOACS

Defined in Futhark.Representation.SOACS

Associated Types

type LetAttr SOACS

type ExpAttr SOACS

type BodyAttr SOACS

type FParamAttr SOACS

type LParamAttr SOACS

type RetType SOACS

type BranchType SOACS

type Op SOACS

PrettyLore SOACS

Defined in Futhark.Representation.SOACS

Methods

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

Attributes SOACS

Defined in Futhark.Representation.SOACS

Methods

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

Bindable SOACS

Defined in Futhark.Representation.SOACS

Methods

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

mkExpAttr :: Pattern SOACS -> Exp SOACS -> ExpAttr SOACS

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

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

BinderOps SOACS

Defined in Futhark.Representation.SOACS

Methods

mkExpAttrB :: (MonadBinder m, Lore m ~ SOACS) => Pattern SOACS -> Exp SOACS -> m (ExpAttr 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.Representation.SOACS

Methods

checkExpLore :: ExpAttr SOACS -> TypeM SOACS ()

checkBodyLore :: BodyAttr SOACS -> TypeM SOACS ()

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

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

checkLetBoundLore :: VName -> LetAttr 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 ()

CheckableOp SOACS

Defined in Futhark.Representation.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.Representation.SOACS.Simplify

Methods

mkExpAttrB :: (MonadBinder m, Lore m ~ Wise SOACS) => Pattern (Wise SOACS) -> Exp (Wise SOACS) -> m (ExpAttr (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))

type LetAttr SOACS

Defined in Futhark.Representation.SOACS

type LetAttr SOACS = Type

type ExpAttr SOACS

Defined in Futhark.Representation.SOACS

type ExpAttr SOACS = ()

type BodyAttr SOACS

Defined in Futhark.Representation.SOACS

type BodyAttr SOACS = ()

type FParamAttr SOACS

Defined in Futhark.Representation.SOACS

type FParamAttr SOACS = DeclType

type LParamAttr SOACS

Defined in Futhark.Representation.SOACS

type LParamAttr SOACS = Type

type RetType SOACS

Defined in Futhark.Representation.SOACS

type RetType SOACS = DeclExtType

type BranchType SOACS

Defined in Futhark.Representation.SOACS

type BranchType SOACS = ExtType

type Op SOACS

Defined in Futhark.Representation.SOACS

type Op SOACS = SOAC SOACS

Orphan instances

BinderOps (Wise SOACS)

Methods

mkExpAttrB :: (MonadBinder m, Lore m ~ Wise SOACS) => Pattern (Wise SOACS) -> Exp (Wise SOACS) -> m (ExpAttr (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))