Futhark.IR.KernelsMem

Documentation

data KernelsMem

Instances

Decorations KernelsMem

Defined in Futhark.IR.KernelsMem

Associated Types

type LetDec KernelsMem

type ExpDec KernelsMem

type BodyDec KernelsMem

type FParamInfo KernelsMem

type LParamInfo KernelsMem

type RetType KernelsMem

type BranchType KernelsMem

type Op KernelsMem

PrettyLore KernelsMem

Defined in Futhark.IR.KernelsMem

Methods

ppExpLore :: ExpDec KernelsMem -> Exp KernelsMem -> Maybe Doc

ASTLore KernelsMem

Defined in Futhark.IR.KernelsMem

Methods

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

BinderOps KernelsMem

Defined in Futhark.IR.KernelsMem

Methods

mkExpDecB :: (MonadBinder m, Lore m ~ KernelsMem) => Pattern KernelsMem -> Exp KernelsMem -> m (ExpDec KernelsMem)

mkBodyB :: (MonadBinder m, Lore m ~ KernelsMem) => Stms KernelsMem -> Result -> m (Body KernelsMem)

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

Checkable KernelsMem

Defined in Futhark.IR.KernelsMem

Methods

checkExpLore :: ExpDec KernelsMem -> TypeM KernelsMem ()

checkBodyLore :: BodyDec KernelsMem -> TypeM KernelsMem ()

checkFParamLore :: VName -> FParamInfo KernelsMem -> TypeM KernelsMem ()

checkLParamLore :: VName -> LParamInfo KernelsMem -> TypeM KernelsMem ()

checkLetBoundLore :: VName -> LetDec KernelsMem -> TypeM KernelsMem ()

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

matchPattern :: Pattern (Aliases KernelsMem) -> Exp (Aliases KernelsMem) -> TypeM KernelsMem ()

primFParam :: VName -> PrimType -> TypeM KernelsMem (FParam (Aliases KernelsMem))

matchReturnType :: [RetType KernelsMem] -> Result -> TypeM KernelsMem ()

matchBranchType :: [BranchType KernelsMem] -> Body (Aliases KernelsMem) -> TypeM KernelsMem ()

matchLoopResult :: [FParam (Aliases KernelsMem)] -> [FParam (Aliases KernelsMem)] -> [SubExp] -> TypeM KernelsMem ()

CheckableOp KernelsMem

Defined in Futhark.IR.KernelsMem

Methods

checkOp :: OpWithAliases (Op KernelsMem) -> TypeM KernelsMem ()

OpReturns KernelsMem

Defined in Futhark.IR.KernelsMem

Methods

opReturns :: (Monad m, HasScope KernelsMem m) => Op KernelsMem -> m [ExpReturns]

BinderOps (Wise KernelsMem)

Defined in Futhark.IR.KernelsMem

Methods

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

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

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

type LetDec KernelsMem

Defined in Futhark.IR.KernelsMem

type LetDec KernelsMem = LetDecMem

type ExpDec KernelsMem

Defined in Futhark.IR.KernelsMem

type ExpDec KernelsMem = ()

type BodyDec KernelsMem

Defined in Futhark.IR.KernelsMem

type BodyDec KernelsMem = ()

type FParamInfo KernelsMem

Defined in Futhark.IR.KernelsMem

type FParamInfo KernelsMem = FParamMem

type LParamInfo KernelsMem

Defined in Futhark.IR.KernelsMem

type LParamInfo KernelsMem = LParamMem

type RetType KernelsMem

Defined in Futhark.IR.KernelsMem

type RetType KernelsMem = RetTypeMem

type BranchType KernelsMem

Defined in Futhark.IR.KernelsMem

type BranchType KernelsMem = BranchTypeMem

type Op KernelsMem

Defined in Futhark.IR.KernelsMem

type Op KernelsMem = MemOp (HostOp KernelsMem ())

Simplification

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

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

simpleKernelsMem :: SimpleOps KernelsMem

Module re-exports

module Futhark.IR.Mem

module Futhark.IR.Kernels.Kernel