Futhark.IR.SOACS

A simple representation with SOACs and nested parallelism.

Documentation

data SOACS

The rep for the basic representation.

Instances

RepTypes SOACS

Defined in Futhark.IR.SOACS

Associated Types

type LetDec SOACS

type ExpDec SOACS

type BodyDec SOACS

type FParamInfo SOACS

type LParamInfo SOACS

type RetType SOACS

type BranchType SOACS

type Op SOACS

PrettyRep SOACS

Defined in Futhark.IR.SOACS

Methods

ppExpDec :: ExpDec SOACS -> Exp SOACS -> Maybe Doc

ASTRep SOACS

Defined in Futhark.IR.SOACS

Methods

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

Buildable SOACS

Defined in Futhark.IR.SOACS

Methods

mkExpPat :: [Ident] -> Exp SOACS -> Pat (LetDec SOACS)

mkExpDec :: Pat (LetDec SOACS) -> Exp SOACS -> ExpDec SOACS

mkBody :: Stms SOACS -> Result -> Body SOACS

mkLetNames :: (MonadFreshNames m, HasScope SOACS m) => [VName] -> Exp SOACS -> m (Stm SOACS)

BuilderOps SOACS

Defined in Futhark.IR.SOACS

Methods

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

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

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

Checkable SOACS

Defined in Futhark.IR.SOACS

Methods

checkExpDec :: ExpDec SOACS -> TypeM SOACS ()

checkBodyDec :: BodyDec SOACS -> TypeM SOACS ()

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

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

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

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

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

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

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

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

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

CheckableOp SOACS

Defined in Futhark.IR.SOACS

Methods

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

LocalScope SOACS InternaliseM

Defined in Futhark.Internalise.Monad

Methods

localScope :: Scope SOACS -> InternaliseM a -> InternaliseM a

LocalScope SOACS ADM

Defined in Futhark.AD.Rev.Monad

Methods

localScope :: Scope SOACS -> ADM a -> ADM a

HasScope SOACS InternaliseM

Defined in Futhark.Internalise.Monad

Methods

lookupType :: VName -> InternaliseM Type

lookupInfo :: VName -> InternaliseM (NameInfo SOACS)

askScope :: InternaliseM (Scope SOACS)

asksScope :: (Scope SOACS -> a) -> InternaliseM a

HasScope SOACS ADM

Defined in Futhark.AD.Rev.Monad

Methods

lookupType :: VName -> ADM Type

lookupInfo :: VName -> ADM (NameInfo SOACS)

askScope :: ADM (Scope SOACS)

asksScope :: (Scope SOACS -> a) -> ADM a

HasScope SOACS (ImpM rep r op)

Defined in Futhark.CodeGen.ImpGen

Methods

lookupType :: VName -> ImpM rep r op Type

lookupInfo :: VName -> ImpM rep r op (NameInfo SOACS)

askScope :: ImpM rep r op (Scope SOACS)

asksScope :: (Scope SOACS -> a) -> ImpM rep r op a

TraverseOpStms (Wise SOACS)

Defined in Futhark.IR.SOACS.Simplify

Methods

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

BuilderOps (Wise SOACS)

Defined in Futhark.IR.SOACS.Simplify

Methods

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

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

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

HasSOAC (Wise SOACS)

Defined in Futhark.IR.SOACS.Simplify

Methods

asSOAC :: Op (Wise SOACS) -> Maybe (SOAC (Wise SOACS))

soacOp :: SOAC (Wise SOACS) -> Op (Wise SOACS)

type LetDec SOACS

Defined in Futhark.IR.SOACS

type LetDec SOACS = Type

type ExpDec SOACS

Defined in Futhark.IR.SOACS

type ExpDec SOACS = ()

type BodyDec SOACS

Defined in Futhark.IR.SOACS

type BodyDec SOACS = ()

type FParamInfo SOACS

Defined in Futhark.IR.SOACS

type FParamInfo SOACS = DeclType

type LParamInfo SOACS

Defined in Futhark.IR.SOACS

type LParamInfo SOACS = Type

type RetType SOACS

Defined in Futhark.IR.SOACS

type RetType SOACS = DeclExtType

type BranchType SOACS

Defined in Futhark.IR.SOACS

type BranchType SOACS = ExtType

type Op SOACS

Defined in Futhark.IR.SOACS

type Op SOACS = SOAC SOACS

usesAD :: Prog SOACS -> Bool

Module re-exports

module Futhark.IR.Prop

module Futhark.IR.Traversals

module Futhark.IR.Pretty

module Futhark.IR.Syntax

module Futhark.IR.SOACS.SOAC