Futhark.IR.GPUMem

Documentation

data GPUMem

Instances

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)

PrettyRep GPUMem

Defined in Futhark.IR.GPUMem

Methods

ppExpDec :: ExpDec GPUMem -> Exp GPUMem -> Maybe (Doc a)

ASTRep GPUMem

Defined in Futhark.IR.GPUMem

Methods

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

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 OpC GPUMem :: Type -> Type

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 ()

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

HasMemBlock (Aliases GPUMem)

Defined in Futhark.Optimise.ArrayShortCircuiting.DataStructs

Methods

getScopeMemInfo :: VName -> Scope (Aliases GPUMem) -> Maybe ArrayMemBound

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 (NoOp :: Type -> Type) (Aliases GPUMem))

Defined in Futhark.IR.GPUMem

Methods

opReturns :: forall rep (inner :: Type -> Type) m. (Mem rep inner, Monad m, HasScope rep m) => HostOp NoOp (Aliases GPUMem) -> m [ExpReturns]

OpReturns (HostOp (NoOp :: Type -> Type) GPUMem)

Defined in Futhark.IR.GPUMem

Methods

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

OpReturns (HostOp (NoOp :: Type -> Type) (Wise GPUMem))

Defined in Futhark.IR.GPUMem

Methods

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

TraverseOpStms (Wise GPUMem)

Defined in Futhark.IR.GPUMem

Methods

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

TopDownHelper (HostOp (NoOp :: Type -> Type) (Aliases GPUMem))

Defined in Futhark.Optimise.ArrayShortCircuiting.TopdownAnalysis

Methods

innerNonNegatives :: [VName] -> HostOp NoOp (Aliases GPUMem) -> Names

innerKnownLessThan :: HostOp NoOp (Aliases GPUMem) -> [(VName, PrimExp VName)]

scopeHelper :: HostOp NoOp (Aliases GPUMem) -> Scope rep

type BodyDec GPUMem

Defined in Futhark.IR.GPUMem

type BodyDec GPUMem = ()

type BranchType GPUMem

Defined in Futhark.IR.GPUMem

type BranchType GPUMem = BranchTypeMem

type ExpDec GPUMem

Defined in Futhark.IR.GPUMem

type ExpDec 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 LetDec GPUMem

Defined in Futhark.IR.GPUMem

type LetDec GPUMem = LetDecMem

type OpC GPUMem

Defined in Futhark.IR.GPUMem

type OpC GPUMem = MemOp (HostOp (NoOp :: Type -> Type))

type RetType GPUMem

Defined in Futhark.IR.GPUMem

type RetType GPUMem = RetTypeMem

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