Futhark.IR.MC

A representation for multicore CPU parallelism.

Documentation

data MC

Instances

BuilderOps MC

Defined in Futhark.IR.MC

Methods

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

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

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

Buildable MC

Defined in Futhark.IR.MC

Methods

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

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

mkBody :: Stms MC -> Result -> Body MC

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

PrettyRep MC

Defined in Futhark.IR.MC

Methods

ppExpDec :: ExpDec MC -> Exp MC -> Maybe (Doc a)

ASTRep MC

Defined in Futhark.IR.MC

Methods

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

RepTypes MC

Defined in Futhark.IR.MC

Associated Types

type LetDec MC

type ExpDec MC

type BodyDec MC

type FParamInfo MC

type LParamInfo MC

type RetType MC

type BranchType MC

type OpC MC :: Type -> Type

HasSegOp MC

Defined in Futhark.IR.MC

Associated Types

type SegOpLevel MC

Methods

asSegOp :: Op MC -> Maybe (SegOp (SegOpLevel MC) MC)

segOp :: SegOp (SegOpLevel MC) MC -> Op MC

Checkable MC

Defined in Futhark.IR.MC

Methods

checkExpDec :: ExpDec MC -> TypeM MC ()

checkBodyDec :: BodyDec MC -> TypeM MC ()

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

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

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

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

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

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

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

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

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

checkOp :: Op (Aliases MC) -> TypeM MC ()

BuilderOps (Wise MC)

Defined in Futhark.IR.MC

Methods

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

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

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

HasSegOp (Wise MC)

Defined in Futhark.IR.MC

Associated Types

type SegOpLevel (Wise MC)

Methods

asSegOp :: Op (Wise MC) -> Maybe (SegOp (SegOpLevel (Wise MC)) (Wise MC))

segOp :: SegOp (SegOpLevel (Wise MC)) (Wise MC) -> Op (Wise MC)

TraverseOpStms (Wise MC)

Defined in Futhark.IR.MC

Methods

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

type BodyDec MC

Defined in Futhark.IR.MC

type BodyDec MC = ()

type BranchType MC

Defined in Futhark.IR.MC

type BranchType MC = ExtType

type ExpDec MC

Defined in Futhark.IR.MC

type ExpDec MC = ()

type FParamInfo MC

Defined in Futhark.IR.MC

type FParamInfo MC = DeclType

type LParamInfo MC

Defined in Futhark.IR.MC

type LParamInfo MC = Type

type LetDec MC

Defined in Futhark.IR.MC

type LetDec MC = Type

type OpC MC

Defined in Futhark.IR.MC

type OpC MC = MCOp SOAC

type RetType MC

Defined in Futhark.IR.MC

type RetType MC = DeclExtType

type SegOpLevel MC

Defined in Futhark.IR.MC

type SegOpLevel MC = ()

type SegOpLevel (Wise MC)

Defined in Futhark.IR.MC

type SegOpLevel (Wise MC) = ()

Simplification

simplifyProg :: Prog MC -> PassM (Prog MC)

Module re-exports

module Futhark.IR.Prop

module Futhark.IR.Traversals

module Futhark.IR.Pretty

module Futhark.IR.Syntax

module Futhark.IR.SegOp

data Scan rep

How to compute a single scan result.

Constructors

Scan

Fields

• scanLambda :: Lambda rep
• scanNeutral :: [SubExp]

Instances

RepTypes rep => Show (Scan rep)

Defined in Futhark.IR.SOACS.SOAC

Methods

showsPrec :: Int -> Scan rep -> ShowS

show :: Scan rep -> String

showList :: [Scan rep] -> ShowS

ASTRep rep => FreeIn (Scan rep)

Defined in Futhark.IR.SOACS.SOAC

Methods

freeIn' :: Scan rep -> FV

RepTypes rep => Eq (Scan rep)

Defined in Futhark.IR.SOACS.SOAC

Methods

(==) :: Scan rep -> Scan rep -> Bool

(/=) :: Scan rep -> Scan rep -> Bool

RepTypes rep => Ord (Scan rep)

Defined in Futhark.IR.SOACS.SOAC

Methods

compare :: Scan rep -> Scan rep -> Ordering

(<) :: Scan rep -> Scan rep -> Bool

(<=) :: Scan rep -> Scan rep -> Bool

(>) :: Scan rep -> Scan rep -> Bool

(>=) :: Scan rep -> Scan rep -> Bool

max :: Scan rep -> Scan rep -> Scan rep

min :: Scan rep -> Scan rep -> Scan rep

PrettyRep rep => Pretty (Scan rep)

Defined in Futhark.IR.SOACS.SOAC

Methods

pretty :: Scan rep -> Doc ann

prettyList :: [Scan rep] -> Doc ann

data SOAC rep

A second-order array combinator (SOAC).

Constructors

Stream SubExp [VName] [SubExp] (Lambda rep)

Scatter SubExp [VName] (Lambda rep) [(Shape, Int, VName)]

Scatter length inputs lambda outputs

Scatter maps values from a set of input arrays to indices and values of a set of output arrays. It is able to write multiple values to multiple outputs each of which may have multiple dimensions.

inputs is a list of input arrays, all having size length, elements of which are applied to the lambda function. For instance, if there are two arrays, lambda will get two values as input, one from each array.

outputs specifies the result of the lambda and which arrays to write to. Each element of the list consists of a VName specifying which array to scatter to, a Shape describing the shape of that array, and an Int describing how many elements should be written to that array for each invocation of the lambda.

lambda is a function that takes inputs from inputs and returns values according to the output-specification in outputs. It returns values in the following manner:

index_0, index_1, ..., index_n, value_0, value_1, ..., value_m

For each output in outputs, lambda returns i * j index values and j output values, where i is the number of dimensions (rank) of the given output, and j is the number of output values written to the given output.

For example, given the following output specification:

([x1, y1, z1

, 2, arr1), ([x2, y2], 1, arr2)]

lambda will produce 6 (3 * 2) index values and 2 output values for arr1, and 2 (2 * 1) index values and 1 output value for arr2. Additionally, the results are grouped, so the first 6 index values will correspond to the first two output values, and so on. For this example, lambda should return a total of 11 values, 8 index values and 3 output values. See also splitScatterResults.

Hist SubExp [VName] [HistOp rep] (Lambda rep)

Hist length arrays dest-arrays-and-ops fun

The final lambda produces indexes and values for the HistOps.

JVP (Lambda rep) [SubExp] [SubExp]

VJP (Lambda rep) [SubExp] [SubExp]

Screma SubExp [VName] (ScremaForm rep)

A combination of scan, reduction, and map. The first SubExp is the size of the input arrays.

Instances

CanBeAliased SOAC

Defined in Futhark.IR.SOACS.SOAC

Methods

addOpAliases :: AliasableRep rep => AliasTable -> SOAC rep -> SOAC (Aliases rep)

RephraseOp SOAC

Defined in Futhark.IR.SOACS.SOAC

Methods

rephraseInOp :: Monad m => Rephraser m from to -> SOAC from -> m (SOAC to)

CanBeWise SOAC

Defined in Futhark.IR.SOACS.SOAC

Methods

addOpWisdom :: Informing rep => SOAC rep -> SOAC (Wise rep)

RepTypes rep => Show (SOAC rep)

Defined in Futhark.IR.SOACS.SOAC

Methods

showsPrec :: Int -> SOAC rep -> ShowS

show :: SOAC rep -> String

showList :: [SOAC rep] -> ShowS

OpMetrics (Op rep) => OpMetrics (SOAC rep)

Defined in Futhark.IR.SOACS.SOAC

Methods

opMetrics :: SOAC rep -> MetricsM ()

RepTypes rep => IndexOp (SOAC rep)

Defined in Futhark.IR.SOACS.SOAC

Methods

indexOp :: (ASTRep rep0, IndexOp (Op rep0)) => SymbolTable rep0 -> Int -> SOAC rep -> [TPrimExp Int64 VName] -> Maybe Indexed

ASTRep rep => IsOp (SOAC rep)

Defined in Futhark.IR.SOACS.SOAC

Methods

safeOp :: SOAC rep -> Bool

cheapOp :: SOAC rep -> Bool

opDependencies :: SOAC rep -> [Names]

Aliased rep => AliasedOp (SOAC rep)

Defined in Futhark.IR.SOACS.SOAC

Methods

opAliases :: SOAC rep -> [Names]

consumedInOp :: SOAC rep -> Names

ASTRep rep => FreeIn (SOAC rep)

Defined in Futhark.IR.SOACS.SOAC

Methods

freeIn' :: SOAC rep -> FV

ASTRep rep => TypedOp (SOAC rep)

Defined in Futhark.IR.SOACS.SOAC

Methods

opType :: HasScope t m => SOAC rep -> m [ExtType]

(AliasableRep rep, CSEInOp (Op (Aliases rep))) => CSEInOp (SOAC (Aliases rep))

Defined in Futhark.Optimise.CSE

Methods

cseInOp :: SOAC (Aliases rep) -> CSEM rep0 (SOAC (Aliases rep))

ASTRep rep => Rename (SOAC rep)

Defined in Futhark.IR.SOACS.SOAC

Methods

rename :: SOAC rep -> RenameM (SOAC rep)

ASTRep rep => Substitute (SOAC rep)

Defined in Futhark.IR.SOACS.SOAC

Methods

substituteNames :: Map VName VName -> SOAC rep -> SOAC rep

RepTypes rep => Eq (SOAC rep)

Defined in Futhark.IR.SOACS.SOAC

Methods

(==) :: SOAC rep -> SOAC rep -> Bool

(/=) :: SOAC rep -> SOAC rep -> Bool

RepTypes rep => Ord (SOAC rep)

Defined in Futhark.IR.SOACS.SOAC

Methods

compare :: SOAC rep -> SOAC rep -> Ordering

(<) :: SOAC rep -> SOAC rep -> Bool

(<=) :: SOAC rep -> SOAC rep -> Bool

(>) :: SOAC rep -> SOAC rep -> Bool

(>=) :: SOAC rep -> SOAC rep -> Bool

max :: SOAC rep -> SOAC rep -> SOAC rep

min :: SOAC rep -> SOAC rep -> SOAC rep

PrettyRep rep => Pretty (SOAC rep)

Defined in Futhark.IR.SOACS.SOAC

Methods

pretty :: SOAC rep -> Doc ann

prettyList :: [SOAC rep] -> Doc ann

data Reduce rep

How to compute a single reduction result.

Constructors

Reduce

Fields

• redComm :: Commutativity
• redLambda :: Lambda rep
• redNeutral :: [SubExp]

Instances

RepTypes rep => Show (Reduce rep)

Defined in Futhark.IR.SOACS.SOAC

Methods

showsPrec :: Int -> Reduce rep -> ShowS

show :: Reduce rep -> String

showList :: [Reduce rep] -> ShowS

ASTRep rep => FreeIn (Reduce rep)

Defined in Futhark.IR.SOACS.SOAC

Methods

freeIn' :: Reduce rep -> FV

RepTypes rep => Eq (Reduce rep)

Defined in Futhark.IR.SOACS.SOAC

Methods

(==) :: Reduce rep -> Reduce rep -> Bool

(/=) :: Reduce rep -> Reduce rep -> Bool

RepTypes rep => Ord (Reduce rep)

Defined in Futhark.IR.SOACS.SOAC

Methods

compare :: Reduce rep -> Reduce rep -> Ordering

(<) :: Reduce rep -> Reduce rep -> Bool

(<=) :: Reduce rep -> Reduce rep -> Bool

(>) :: Reduce rep -> Reduce rep -> Bool

(>=) :: Reduce rep -> Reduce rep -> Bool

max :: Reduce rep -> Reduce rep -> Reduce rep

min :: Reduce rep -> Reduce rep -> Reduce rep

PrettyRep rep => Pretty (Reduce rep)

Defined in Futhark.IR.SOACS.SOAC

Methods

pretty :: Reduce rep -> Doc ann

prettyList :: [Reduce rep] -> Doc ann

data ScremaForm rep

The essential parts of a Screma factored out (everything except the input arrays).

Constructors

ScremaForm [Scan rep] [Reduce rep] (Lambda rep)

Instances

RepTypes rep => Show (ScremaForm rep)

Defined in Futhark.IR.SOACS.SOAC

Methods

showsPrec :: Int -> ScremaForm rep -> ShowS

show :: ScremaForm rep -> String

showList :: [ScremaForm rep] -> ShowS

ASTRep rep => FreeIn (ScremaForm rep)

Defined in Futhark.IR.SOACS.SOAC

Methods

freeIn' :: ScremaForm rep -> FV

RepTypes rep => Eq (ScremaForm rep)

Defined in Futhark.IR.SOACS.SOAC

Methods

(==) :: ScremaForm rep -> ScremaForm rep -> Bool

(/=) :: ScremaForm rep -> ScremaForm rep -> Bool

RepTypes rep => Ord (ScremaForm rep)

Defined in Futhark.IR.SOACS.SOAC

Methods

compare :: ScremaForm rep -> ScremaForm rep -> Ordering

(<) :: ScremaForm rep -> ScremaForm rep -> Bool

(<=) :: ScremaForm rep -> ScremaForm rep -> Bool

(>) :: ScremaForm rep -> ScremaForm rep -> Bool

(>=) :: ScremaForm rep -> ScremaForm rep -> Bool

max :: ScremaForm rep -> ScremaForm rep -> ScremaForm rep

min :: ScremaForm rep -> ScremaForm rep -> ScremaForm rep

data SOACMapper frep trep m

Like Mapper, but just for SOACs.

Constructors

SOACMapper

Fields

• mapOnSOACSubExp :: SubExp -> m SubExp
• mapOnSOACLambda :: Lambda frep -> m (Lambda trep)
• mapOnSOACVName :: VName -> m VName

scremaType :: SubExp -> ScremaForm rep -> [Type]

The types produced by a single Screma, given the size of the input array.

scanResults :: [Scan rep] -> Int

How many reduction results are produced by these Scans?

singleScan :: Buildable rep => [Scan rep] -> Scan rep

Combine multiple scan operators to a single operator.

redResults :: [Reduce rep] -> Int

How many reduction results are produced by these Reduces?

singleReduce :: Buildable rep => [Reduce rep] -> Reduce rep

Combine multiple reduction operators to a single operator.

soacType :: Typed (LParamInfo rep) => SOAC rep -> [Type]

The type of a SOAC.

typeCheckSOAC :: Checkable rep => SOAC (Aliases rep) -> TypeM rep ()

Type-check a SOAC.

mkIdentityLambda :: (Buildable rep, MonadFreshNames m) => [Type] -> m (Lambda rep)

Construct a lambda that takes parameters of the given types and simply returns them unchanged.

isIdentityLambda :: Lambda rep -> Bool

Is the given lambda an identity lambda?

nilFn :: Buildable rep => Lambda rep

A lambda with no parameters that returns no values.

scanomapSOAC :: [Scan rep] -> Lambda rep -> ScremaForm rep

Construct a Screma with possibly multiple scans, and the given map function.

redomapSOAC :: [Reduce rep] -> Lambda rep -> ScremaForm rep

Construct a Screma with possibly multiple reductions, and the given map function.

scanSOAC :: (Buildable rep, MonadFreshNames m) => [Scan rep] -> m (ScremaForm rep)

Construct a Screma with possibly multiple scans, and identity map function.

reduceSOAC :: (Buildable rep, MonadFreshNames m) => [Reduce rep] -> m (ScremaForm rep)

Construct a Screma with possibly multiple reductions, and identity map function.

mapSOAC :: Lambda rep -> ScremaForm rep

Construct a Screma corresponding to a map.

isScanomapSOAC :: ScremaForm rep -> Maybe ([Scan rep], Lambda rep)

Does this Screma correspond to a scan-map composition?

isRedomapSOAC :: ScremaForm rep -> Maybe ([Reduce rep], Lambda rep)

Does this Screma correspond to a reduce-map composition?

isScanSOAC :: ScremaForm rep -> Maybe [Scan rep]

Does this Screma correspond to pure scan?

isReduceSOAC :: ScremaForm rep -> Maybe [Reduce rep]

Does this Screma correspond to a pure reduce?

isMapSOAC :: ScremaForm rep -> Maybe (Lambda rep)

Does this Screma correspond to a simple map, without any reduction or scan results?

scremaLambda :: ScremaForm rep -> Lambda rep

Return the "main" lambda of the Screma. For a map, this is equivalent to isMapSOAC. Note that the meaning of the return value of this lambda depends crucially on exactly which Screma this is. The parameters will correspond exactly to elements of the input arrays, however.

ppScrema :: (PrettyRep rep, Pretty inp) => SubExp -> [inp] -> ScremaForm rep -> Doc ann

Prettyprint the given Screma.

ppHist :: (PrettyRep rep, Pretty inp) => SubExp -> [inp] -> [HistOp rep] -> Lambda rep -> Doc ann

Prettyprint the given histogram operation.

ppStream :: (PrettyRep rep, Pretty inp) => SubExp -> [inp] -> [SubExp] -> Lambda rep -> Doc ann

Prettyprint the given Stream.

ppScatter :: (PrettyRep rep, Pretty inp) => SubExp -> [inp] -> Lambda rep -> [(Shape, Int, VName)] -> Doc ann

Prettyprint the given Scatter.

groupScatterResults :: [(Shape, Int, array)] -> [a] -> [(Shape, array, [([a], a)])]

groupScatterResults specification results

Groups the index values and result values of results according to the specification.

This function is used for extracting and grouping the results of a scatter. In the SOAC representation, the lambda inside a Scatter returns all indices and values as one big list. This function groups each value with its corresponding indices (as determined by the Shape of the output array).

The elements of the resulting list correspond to the shape and name of the output parameters, in addition to a list of values written to that output parameter, along with the array indices marking where to write them to.

See Scatter for more information.

groupScatterResults' :: [(Shape, Int, array)] -> [a] -> [([a], a)]

groupScatterResults' specification results

Groups the index values and result values of results according to the output specification. This is the simpler version of groupScatterResults, which doesn't return any information about shapes or output arrays.

See groupScatterResults for more information,

splitScatterResults :: [(Shape, Int, array)] -> [a] -> ([a], [a])

splitScatterResults specification results

Splits the results array into indices and values according to the output specification.

See groupScatterResults for more information.

identitySOACMapper :: forall rep m. Monad m => SOACMapper rep rep m

A mapper that simply returns the SOAC verbatim.

mapSOACM :: Monad m => SOACMapper frep trep m -> SOAC frep -> m (SOAC trep)

Map a monadic action across the immediate children of a SOAC. The mapping does not descend recursively into subexpressions and is done left-to-right.

traverseSOACStms :: Monad m => OpStmsTraverser m (SOAC rep) rep

A helper for defining TraverseOpStms.

module Futhark.IR.MC.Op