futhark-0.19.4: An optimising compiler for a functional, array-oriented language.
Safe HaskellNone
LanguageHaskell2010

Futhark.IR.MCMem

Synopsis

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