Safe Haskell	Safe-Inferred
Language	Haskell2010

Futhark.IR.MCMem

Contents

Simplification
Module re-exports

Synopsis

data MCMem
simplifyProg :: Prog MCMem -> PassM (Prog MCMem)
module Futhark.IR.Mem
module Futhark.IR.SegOp
module Futhark.IR.MC.Op

Documentation

data MCMem Source #

Instances

Instances details

BuilderOps MCMem Source #
Instance details Defined in Futhark.IR.MCMem Methods mkExpDecB :: (MonadBuilder m, Rep m ~ MCMem) => Pat (LetDec MCMem) -> Exp MCMem -> m (ExpDec MCMem) Source # mkBodyB :: (MonadBuilder m, Rep m ~ MCMem) => Stms MCMem -> Result -> m (Body MCMem) Source # mkLetNamesB :: (MonadBuilder m, Rep m ~ MCMem) => [VName] -> Exp MCMem -> m (Stm MCMem) Source #
PrettyRep MCMem Source #
Instance details Defined in Futhark.IR.MCMem Methods ppExpDec :: ExpDec MCMem -> Exp MCMem -> Maybe (Doc a) Source #
ASTRep MCMem Source #
Instance details Defined in Futhark.IR.MCMem Methods expTypesFromPat :: (HasScope MCMem m, Monad m) => Pat (LetDec MCMem) -> m [BranchType MCMem] Source #
RepTypes MCMem Source #
Instance details Defined in Futhark.IR.MCMem Associated Types type LetDec MCMem Source # type ExpDec MCMem Source # type BodyDec MCMem Source # type FParamInfo MCMem Source # type LParamInfo MCMem Source # type RetType MCMem Source # type BranchType MCMem Source # type Op MCMem Source #
Checkable MCMem Source #
Instance details Defined in Futhark.IR.MCMem Methods checkExpDec :: ExpDec MCMem -> TypeM MCMem () Source # checkBodyDec :: BodyDec MCMem -> TypeM MCMem () Source # checkFParamDec :: VName -> FParamInfo MCMem -> TypeM MCMem () Source # checkLParamDec :: VName -> LParamInfo MCMem -> TypeM MCMem () Source # checkLetBoundDec :: VName -> LetDec MCMem -> TypeM MCMem () Source # checkRetType :: [RetType MCMem] -> TypeM MCMem () Source # matchPat :: Pat (LetDec (Aliases MCMem)) -> Exp (Aliases MCMem) -> TypeM MCMem () Source # primFParam :: VName -> PrimType -> TypeM MCMem (FParam (Aliases MCMem)) Source # matchReturnType :: [RetType MCMem] -> Result -> TypeM MCMem () Source # matchBranchType :: [BranchType MCMem] -> Body (Aliases MCMem) -> TypeM MCMem () Source # matchLoopResult :: [FParam (Aliases MCMem)] -> Result -> TypeM MCMem () Source #
CheckableOp MCMem Source #
Instance details Defined in Futhark.IR.MCMem Methods checkOp :: OpWithAliases (Op MCMem) -> TypeM MCMem () Source #
TraverseOpStms (Wise MCMem) Source #
Instance details Defined in Futhark.IR.MCMem Methods traverseOpStms :: Monad m => OpStmsTraverser m (Op (Wise MCMem)) (Wise MCMem) Source #
HasMemBlock (Aliases MCMem) Source #
Instance details Defined in Futhark.Optimise.ArrayShortCircuiting.DataStructs Methods getScopeMemInfo :: VName -> Scope (Aliases MCMem) -> Maybe ArrayMemBound Source #
BuilderOps (Wise MCMem) Source #
Instance details Defined in Futhark.IR.MCMem Methods mkExpDecB :: (MonadBuilder m, Rep m ~ Wise MCMem) => Pat (LetDec (Wise MCMem)) -> Exp (Wise MCMem) -> m (ExpDec (Wise MCMem)) Source # mkBodyB :: (MonadBuilder m, Rep m ~ Wise MCMem) => Stms (Wise MCMem) -> Result -> m (Body (Wise MCMem)) Source # mkLetNamesB :: (MonadBuilder m, Rep m ~ Wise MCMem) => [VName] -> Exp (Wise MCMem) -> m (Stm (Wise MCMem)) Source #
OpReturns (MCOp MCMem ()) Source #
Instance details 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] Source #
OpReturns (MCOp (Wise MCMem) ()) Source #
Instance details 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] Source #
TopDownHelper inner => TopDownHelper (MCOp (Aliases MCMem) inner) Source #
Instance details Defined in Futhark.Optimise.ArrayShortCircuiting.TopdownAnalysis Methods innerNonNegatives :: [VName] -> MCOp (Aliases MCMem) inner -> Names innerKnownLessThan :: MCOp (Aliases MCMem) inner -> [(VName, PrimExp VName)] scopeHelper :: forall {k} (rep :: k). MCOp (Aliases MCMem) inner -> Scope rep
type BodyDec MCMem Source #
Instance details Defined in Futhark.IR.MCMem type BodyDec MCMem = ()
type BranchType MCMem Source #
Instance details Defined in Futhark.IR.MCMem type BranchType MCMem = BranchTypeMem
type ExpDec MCMem Source #
Instance details Defined in Futhark.IR.MCMem type ExpDec MCMem = ()
type FParamInfo MCMem Source #
Instance details Defined in Futhark.IR.MCMem type FParamInfo MCMem = FParamMem
type LParamInfo MCMem Source #
Instance details Defined in Futhark.IR.MCMem type LParamInfo MCMem = LParamMem
type LetDec MCMem Source #
Instance details Defined in Futhark.IR.MCMem type LetDec MCMem = LetDecMem
type Op MCMem Source #
Instance details Defined in Futhark.IR.MCMem type Op MCMem = MemOp (MCOp MCMem ())
type RetType MCMem Source #
Instance details Defined in Futhark.IR.MCMem type RetType MCMem = RetTypeMem

Simplification

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

Module re-exports

module Futhark.IR.Mem

module Futhark.IR.SegOp

module Futhark.IR.MC.Op