Futhark.IR.MCMem

Documentation

data MCMem

Instances

BuilderOps MCMem

Defined in Futhark.IR.MCMem

Methods

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

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

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

PrettyRep MCMem

Defined in Futhark.IR.MCMem

Methods

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

ASTRep MCMem

Defined in Futhark.IR.MCMem

Methods

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

RepTypes MCMem

Defined in Futhark.IR.MCMem

Associated Types

type LetDec MCMem

type ExpDec MCMem

type BodyDec MCMem

type FParamInfo MCMem

type LParamInfo MCMem

type RetType MCMem

type BranchType MCMem

type OpC MCMem :: Type -> Type

Checkable MCMem

Defined in Futhark.IR.MCMem

Methods

checkExpDec :: ExpDec MCMem -> TypeM MCMem ()

checkBodyDec :: BodyDec MCMem -> TypeM MCMem ()

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

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

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

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

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

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

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

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

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

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

HasMemBlock (Aliases MCMem)

Defined in Futhark.Optimise.ArrayShortCircuiting.DataStructs

Methods

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

BuilderOps (Wise MCMem)

Defined in Futhark.IR.MCMem

Methods

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

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

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

OpReturns (MCOp (NoOp :: Type -> Type) (Aliases MCMem))

Defined in Futhark.IR.MCMem

Methods

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

OpReturns (MCOp (NoOp :: Type -> Type) MCMem)

Defined in Futhark.IR.MCMem

Methods

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

OpReturns (MCOp (NoOp :: Type -> Type) (Wise MCMem))

Defined in Futhark.IR.MCMem

Methods

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

TraverseOpStms (Wise MCMem)

Defined in Futhark.IR.MCMem

Methods

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

TopDownHelper (inner (Aliases MCMem)) => TopDownHelper (MCOp inner (Aliases MCMem))

Defined in Futhark.Optimise.ArrayShortCircuiting.TopdownAnalysis

Methods

innerNonNegatives :: [VName] -> MCOp inner (Aliases MCMem) -> Names

innerKnownLessThan :: MCOp inner (Aliases MCMem) -> [(VName, PrimExp VName)]

scopeHelper :: MCOp inner (Aliases MCMem) -> Scope rep

type BodyDec MCMem

Defined in Futhark.IR.MCMem

type BodyDec MCMem = ()

type BranchType MCMem

Defined in Futhark.IR.MCMem

type BranchType MCMem = BranchTypeMem

type ExpDec MCMem

Defined in Futhark.IR.MCMem

type ExpDec MCMem = ()

type FParamInfo MCMem

Defined in Futhark.IR.MCMem

type FParamInfo MCMem = FParamMem

type LParamInfo MCMem

Defined in Futhark.IR.MCMem

type LParamInfo MCMem = LParamMem

type LetDec MCMem

Defined in Futhark.IR.MCMem

type LetDec MCMem = LetDecMem

type OpC MCMem

Defined in Futhark.IR.MCMem

type OpC MCMem = MemOp (MCOp (NoOp :: Type -> Type))

type RetType MCMem

Defined in Futhark.IR.MCMem

type RetType MCMem = RetTypeMem

Simplification

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

Module re-exports

module Futhark.IR.Mem

module Futhark.IR.SegOp

module Futhark.IR.MC.Op