Futhark.Representation.KernelsMem

Documentation

data KernelsMem

Instances

Annotations KernelsMem

Defined in Futhark.Representation.KernelsMem

Associated Types

type LetAttr KernelsMem

type ExpAttr KernelsMem

type BodyAttr KernelsMem

type FParamAttr KernelsMem

type LParamAttr KernelsMem

type RetType KernelsMem

type BranchType KernelsMem

type Op KernelsMem

PrettyLore KernelsMem

Defined in Futhark.Representation.KernelsMem

Methods

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

Attributes KernelsMem

Defined in Futhark.Representation.KernelsMem

Methods

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

BinderOps KernelsMem

Defined in Futhark.Representation.KernelsMem

Methods

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

Methods

checkExpLore :: ExpAttr KernelsMem -> TypeM KernelsMem ()

checkBodyLore :: BodyAttr KernelsMem -> TypeM KernelsMem ()

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

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

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

CheckableOp KernelsMem

Defined in Futhark.Representation.KernelsMem

Methods

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

OpReturns KernelsMem

Defined in Futhark.Representation.KernelsMem

Methods

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

BinderOps (Wise KernelsMem)

Defined in Futhark.Representation.KernelsMem

Methods

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

Defined in Futhark.Representation.KernelsMem

type LetAttr KernelsMem = LetAttrMem

type ExpAttr KernelsMem

Defined in Futhark.Representation.KernelsMem

type ExpAttr KernelsMem = ()

type BodyAttr KernelsMem

Defined in Futhark.Representation.KernelsMem

type BodyAttr KernelsMem = ()

type FParamAttr KernelsMem

Defined in Futhark.Representation.KernelsMem

type FParamAttr KernelsMem = FParamMem

type LParamAttr KernelsMem

Defined in Futhark.Representation.KernelsMem

type LParamAttr KernelsMem = LParamMem

type RetType KernelsMem

Defined in Futhark.Representation.KernelsMem

type RetType KernelsMem = RetTypeMem

type BranchType KernelsMem

Defined in Futhark.Representation.KernelsMem

type BranchType KernelsMem = BranchTypeMem

type Op KernelsMem

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

module Futhark.Representation.Kernels.Kernel