Safe Haskell	None
Language	Haskell2010

Futhark.IR.KernelsMem

Contents

Simplification
Module re-exports

Synopsis

data KernelsMem
simplifyProg :: Prog KernelsMem -> PassM (Prog KernelsMem)
simplifyStms :: (HasScope KernelsMem m, MonadFreshNames m) => Stms KernelsMem -> m (SymbolTable (Wise KernelsMem), Stms KernelsMem)
simpleKernelsMem :: SimpleOps KernelsMem
module Futhark.IR.Mem
module Futhark.IR.Kernels.Kernel

Documentation

data KernelsMem Source #

Instances

Instances details

Decorations KernelsMem Source #
Instance details Defined in Futhark.IR.KernelsMem Associated Types type LetDec KernelsMem Source # type ExpDec KernelsMem Source # type BodyDec KernelsMem Source # type FParamInfo KernelsMem Source # type LParamInfo KernelsMem Source # type RetType KernelsMem Source # type BranchType KernelsMem Source # type Op KernelsMem Source #
PrettyLore KernelsMem Source #
Instance details Defined in Futhark.IR.KernelsMem Methods ppExpLore :: ExpDec KernelsMem -> Exp KernelsMem -> Maybe Doc Source #
ASTLore KernelsMem Source #
Instance details Defined in Futhark.IR.KernelsMem Methods expTypesFromPattern :: (HasScope KernelsMem m, Monad m) => Pattern KernelsMem -> m [BranchType KernelsMem] Source #
BinderOps KernelsMem Source #
Instance details Defined in Futhark.IR.KernelsMem Methods mkExpDecB :: (MonadBinder m, Lore m ~ KernelsMem) => Pattern KernelsMem -> Exp KernelsMem -> m (ExpDec KernelsMem) Source # mkBodyB :: (MonadBinder m, Lore m ~ KernelsMem) => Stms KernelsMem -> Result -> m (Body KernelsMem) Source # mkLetNamesB :: (MonadBinder m, Lore m ~ KernelsMem) => [VName] -> Exp KernelsMem -> m (Stm KernelsMem) Source #
Checkable KernelsMem Source #
Instance details Defined in Futhark.IR.KernelsMem Methods checkExpLore :: ExpDec KernelsMem -> TypeM KernelsMem () Source # checkBodyLore :: BodyDec KernelsMem -> TypeM KernelsMem () Source # checkFParamLore :: VName -> FParamInfo KernelsMem -> TypeM KernelsMem () Source # checkLParamLore :: VName -> LParamInfo KernelsMem -> TypeM KernelsMem () Source # checkLetBoundLore :: VName -> LetDec KernelsMem -> TypeM KernelsMem () Source # checkRetType :: [RetType KernelsMem] -> TypeM KernelsMem () Source # matchPattern :: Pattern (Aliases KernelsMem) -> Exp (Aliases KernelsMem) -> TypeM KernelsMem () Source # primFParam :: VName -> PrimType -> TypeM KernelsMem (FParam (Aliases KernelsMem)) Source # matchReturnType :: [RetType KernelsMem] -> Result -> TypeM KernelsMem () Source # matchBranchType :: [BranchType KernelsMem] -> Body (Aliases KernelsMem) -> TypeM KernelsMem () Source # matchLoopResult :: [FParam (Aliases KernelsMem)] -> [FParam (Aliases KernelsMem)] -> [SubExp] -> TypeM KernelsMem () Source #
CheckableOp KernelsMem Source #
Instance details Defined in Futhark.IR.KernelsMem Methods checkOp :: OpWithAliases (Op KernelsMem) -> TypeM KernelsMem () Source #
OpReturns KernelsMem Source #
Instance details Defined in Futhark.IR.KernelsMem Methods opReturns :: (Monad m, HasScope KernelsMem m) => Op KernelsMem -> m [ExpReturns] Source #
BinderOps (Wise KernelsMem) Source #
Instance details Defined in Futhark.IR.KernelsMem Methods mkExpDecB :: (MonadBinder m, Lore m ~ Wise KernelsMem) => Pattern (Wise KernelsMem) -> Exp (Wise KernelsMem) -> m (ExpDec (Wise KernelsMem)) Source # mkBodyB :: (MonadBinder m, Lore m ~ Wise KernelsMem) => Stms (Wise KernelsMem) -> Result -> m (Body (Wise KernelsMem)) Source # mkLetNamesB :: (MonadBinder m, Lore m ~ Wise KernelsMem) => [VName] -> Exp (Wise KernelsMem) -> m (Stm (Wise KernelsMem)) Source #
type LetDec KernelsMem Source #
Instance details Defined in Futhark.IR.KernelsMem type LetDec KernelsMem = LetDecMem
type ExpDec KernelsMem Source #
Instance details Defined in Futhark.IR.KernelsMem type ExpDec KernelsMem = ()
type BodyDec KernelsMem Source #
Instance details Defined in Futhark.IR.KernelsMem type BodyDec KernelsMem = ()
type FParamInfo KernelsMem Source #
Instance details Defined in Futhark.IR.KernelsMem type FParamInfo KernelsMem = FParamMem
type LParamInfo KernelsMem Source #
Instance details Defined in Futhark.IR.KernelsMem type LParamInfo KernelsMem = LParamMem
type RetType KernelsMem Source #
Instance details Defined in Futhark.IR.KernelsMem type RetType KernelsMem = RetTypeMem
type BranchType KernelsMem Source #
Instance details Defined in Futhark.IR.KernelsMem type BranchType KernelsMem = BranchTypeMem
type Op KernelsMem Source #
Instance details Defined in Futhark.IR.KernelsMem type Op KernelsMem = MemOp (HostOp KernelsMem ())

Simplification

simplifyProg :: Prog KernelsMem -> PassM (Prog KernelsMem) Source #

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

simpleKernelsMem :: SimpleOps KernelsMem Source #

Module re-exports

module Futhark.IR.Mem

module Futhark.IR.Kernels.Kernel