Safe Haskell	None
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

Decorations 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 #
PrettyLore MCMem Source #
Instance details Defined in Futhark.IR.MCMem Methods ppExpLore :: ExpDec MCMem -> Exp MCMem -> Maybe Doc Source #
ASTLore MCMem Source #
Instance details Defined in Futhark.IR.MCMem Methods expTypesFromPattern :: (HasScope MCMem m, Monad m) => Pattern MCMem -> m [BranchType MCMem] Source #
BinderOps MCMem Source #
Instance details Defined in Futhark.IR.MCMem Methods mkExpDecB :: (MonadBinder m, Lore m ~ MCMem) => Pattern MCMem -> Exp MCMem -> m (ExpDec MCMem) Source # mkBodyB :: (MonadBinder m, Lore m ~ MCMem) => Stms MCMem -> Result -> m (Body MCMem) Source # mkLetNamesB :: (MonadBinder m, Lore m ~ MCMem) => [VName] -> Exp MCMem -> m (Stm MCMem) Source #
Checkable MCMem Source #
Instance details Defined in Futhark.IR.MCMem Methods checkExpLore :: ExpDec MCMem -> TypeM MCMem () Source # checkBodyLore :: BodyDec MCMem -> TypeM MCMem () Source # checkFParamLore :: VName -> FParamInfo MCMem -> TypeM MCMem () Source # checkLParamLore :: VName -> LParamInfo MCMem -> TypeM MCMem () Source # checkLetBoundLore :: VName -> LetDec MCMem -> TypeM MCMem () Source # checkRetType :: [RetType MCMem] -> TypeM MCMem () Source # matchPattern :: Pattern (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)] -> [FParam (Aliases MCMem)] -> [SubExp] -> TypeM MCMem () Source #
CheckableOp MCMem Source #
Instance details Defined in Futhark.IR.MCMem Methods checkOp :: OpWithAliases (Op MCMem) -> TypeM MCMem () Source #
OpReturns MCMem Source #
Instance details Defined in Futhark.IR.MCMem Methods opReturns :: (Monad m, HasScope MCMem m) => Op MCMem -> m [ExpReturns] Source #
BinderOps (Wise MCMem) Source #
Instance details Defined in Futhark.IR.MCMem Methods mkExpDecB :: (MonadBinder m, Lore m ~ Wise MCMem) => Pattern (Wise MCMem) -> Exp (Wise MCMem) -> m (ExpDec (Wise MCMem)) Source # mkBodyB :: (MonadBinder m, Lore m ~ Wise MCMem) => Stms (Wise MCMem) -> Result -> m (Body (Wise MCMem)) Source # mkLetNamesB :: (MonadBinder m, Lore m ~ Wise MCMem) => [VName] -> Exp (Wise MCMem) -> m (Stm (Wise MCMem)) Source #
type LetDec MCMem Source #
Instance details Defined in Futhark.IR.MCMem type LetDec MCMem = LetDecMem
type ExpDec MCMem Source #
Instance details Defined in Futhark.IR.MCMem type ExpDec MCMem = ()
type BodyDec MCMem Source #
Instance details Defined in Futhark.IR.MCMem type BodyDec 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 RetType MCMem Source #
Instance details Defined in Futhark.IR.MCMem type RetType MCMem = RetTypeMem
type BranchType MCMem Source #
Instance details Defined in Futhark.IR.MCMem type BranchType MCMem = BranchTypeMem
type Op MCMem Source #
Instance details Defined in Futhark.IR.MCMem type Op MCMem = MemOp (MCOp MCMem ())

Simplification

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

Module re-exports

module Futhark.IR.Mem

module Futhark.IR.SegOp

module Futhark.IR.MC.Op