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

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

Defined in Futhark.IR.GPUMem

Methods

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

OpReturns (HostOp (Wise GPUMem) ())

Defined in Futhark.IR.GPUMem

Methods

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

CreatesNewArrOp inner => CreatesNewArrOp (HostOp (Aliases GPUMem) inner)

Defined in Futhark.Optimise.ArrayShortCircuiting.DataStructs

Methods

createsNewArrOp :: HostOp (Aliases GPUMem) inner -> Bool

TopDownHelper (HostOp (Aliases GPUMem) ())

Defined in Futhark.Optimise.ArrayShortCircuiting.TopdownAnalysis

Methods

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

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

scopeHelper :: forall {k} (rep :: k). HostOp (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 Op GPUMem

Defined in Futhark.IR.GPUMem

type Op GPUMem = MemOp (HostOp GPUMem ())

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