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

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

CheckableOp MCMem

Defined in Futhark.IR.MCMem

Methods

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

TraverseOpStms (Wise MCMem)

Defined in Futhark.IR.MCMem

Methods

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

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

Defined in Futhark.IR.MCMem

Methods

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

OpReturns (MCOp (Wise MCMem) ())

Defined in Futhark.IR.MCMem

Methods

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

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

Defined in Futhark.IR.MCMem

type Op MCMem = MemOp (MCOp MCMem ())

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