Futhark.IR.GPUMem

Documentation

data GPUMem

Instances

RepTypes GPUMem

Defined in Futhark.IR.GPUMem

Associated Types

type LetDec GPUMem

type ExpDec GPUMem

type BodyDec GPUMem

type FParamInfo GPUMem

type LParamInfo GPUMem

type RetType GPUMem

type BranchType GPUMem

type Op GPUMem

PrettyRep GPUMem

Defined in Futhark.IR.GPUMem

Methods

ppExpDec :: ExpDec GPUMem -> Exp GPUMem -> Maybe Doc

ASTRep GPUMem

Defined in Futhark.IR.GPUMem

Methods

expTypesFromPat :: (HasScope GPUMem m, Monad m) => Pat (LetDec GPUMem) -> m [BranchType GPUMem]

BuilderOps GPUMem

Defined in Futhark.IR.GPUMem

Methods

mkExpDecB :: (MonadBuilder m, Rep m ~ GPUMem) => Pat (LetDec GPUMem) -> Exp GPUMem -> m (ExpDec GPUMem)

mkBodyB :: (MonadBuilder m, Rep m ~ GPUMem) => Stms GPUMem -> Result -> m (Body GPUMem)

mkLetNamesB :: (MonadBuilder m, Rep m ~ GPUMem) => [VName] -> Exp GPUMem -> m (Stm GPUMem)

Checkable GPUMem

Defined in Futhark.IR.GPUMem

Methods

checkExpDec :: ExpDec GPUMem -> TypeM GPUMem ()

checkBodyDec :: BodyDec GPUMem -> TypeM GPUMem ()

checkFParamDec :: VName -> FParamInfo GPUMem -> TypeM GPUMem ()

checkLParamDec :: VName -> LParamInfo GPUMem -> TypeM GPUMem ()

checkLetBoundDec :: VName -> LetDec GPUMem -> TypeM GPUMem ()

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

matchPat :: Pat (LetDec (Aliases GPUMem)) -> Exp (Aliases GPUMem) -> TypeM GPUMem ()

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

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

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

matchLoopResult :: [FParam (Aliases GPUMem)] -> Result -> TypeM GPUMem ()

CheckableOp GPUMem

Defined in Futhark.IR.GPUMem

Methods

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

TraverseOpStms (Wise GPUMem)

Defined in Futhark.IR.GPUMem

Methods

traverseOpStms :: Monad m => OpStmsTraverser m (Op (Wise GPUMem)) (Wise GPUMem)

BuilderOps (Wise GPUMem)

Defined in Futhark.IR.GPUMem

Methods

mkExpDecB :: (MonadBuilder m, Rep m ~ Wise GPUMem) => Pat (LetDec (Wise GPUMem)) -> Exp (Wise GPUMem) -> m (ExpDec (Wise GPUMem))

mkBodyB :: (MonadBuilder m, Rep m ~ Wise GPUMem) => Stms (Wise GPUMem) -> Result -> m (Body (Wise GPUMem))

mkLetNamesB :: (MonadBuilder m, Rep m ~ Wise GPUMem) => [VName] -> Exp (Wise GPUMem) -> m (Stm (Wise GPUMem))

OpReturns (HostOp (Wise GPUMem) ())

Defined in Futhark.IR.GPUMem

Methods

opReturns :: (Mem rep inner, Monad m, HasScope rep m) => HostOp (Wise GPUMem) () -> m [ExpReturns]

OpReturns (HostOp GPUMem ())

Defined in Futhark.IR.GPUMem

Methods

opReturns :: (Mem rep inner, Monad m, HasScope rep m) => HostOp GPUMem () -> m [ExpReturns]

type LetDec GPUMem

Defined in Futhark.IR.GPUMem

type LetDec GPUMem = LetDecMem

type ExpDec GPUMem

Defined in Futhark.IR.GPUMem

type ExpDec GPUMem = ()

type BodyDec GPUMem

Defined in Futhark.IR.GPUMem

type BodyDec GPUMem = ()

type FParamInfo GPUMem

Defined in Futhark.IR.GPUMem

type FParamInfo GPUMem = FParamMem

type LParamInfo GPUMem

Defined in Futhark.IR.GPUMem

type LParamInfo GPUMem = LParamMem

type RetType GPUMem

Defined in Futhark.IR.GPUMem

type RetType GPUMem = RetTypeMem

type BranchType GPUMem

Defined in Futhark.IR.GPUMem

type BranchType GPUMem = BranchTypeMem

type Op GPUMem

Defined in Futhark.IR.GPUMem

type Op GPUMem = MemOp (HostOp GPUMem ())

Simplification

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

simplifyStms :: (HasScope GPUMem m, MonadFreshNames m) => Stms GPUMem -> m (Stms GPUMem)

simpleGPUMem :: SimpleOps GPUMem

Module re-exports

module Futhark.IR.Mem

module Futhark.IR.GPU.Op