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

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

BinderOps GPUMem

Defined in Futhark.IR.GPUMem

Methods

mkExpDecB :: (MonadBinder m, Rep m ~ GPUMem) => Pattern GPUMem -> Exp GPUMem -> m (ExpDec GPUMem)

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

mkLetNamesB :: (MonadBinder 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 ()

matchPattern :: Pattern (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)] -> [FParam (Aliases GPUMem)] -> [SubExp] -> TypeM GPUMem ()

CheckableOp GPUMem

Defined in Futhark.IR.GPUMem

Methods

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

OpReturns GPUMem

Defined in Futhark.IR.GPUMem

Methods

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

BinderOps (Wise GPUMem)

Defined in Futhark.IR.GPUMem

Methods

mkExpDecB :: (MonadBinder m, Rep m ~ Wise GPUMem) => Pattern (Wise GPUMem) -> Exp (Wise GPUMem) -> m (ExpDec (Wise GPUMem))

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

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

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 (SymbolTable (Wise GPUMem), Stms GPUMem)

simpleGPUMem :: SimpleOps GPUMem

Module re-exports

module Futhark.IR.Mem

module Futhark.IR.GPU.Kernel