| Safe Haskell | None |
|---|---|
| Language | Haskell98 |
DDC.Core.Flow
Description
Disciple Core Flow is a Domain Specific Language (DSL) for writing first order data flow programs.
- profile :: Profile Name
- data Lifting = Lifting {
- liftingFactor :: Int
- data Config = Config {}
- defaultConfigVector :: Config
- defaultConfigKernel :: Config
- defaultConfigScalar :: Config
- data Method
- = MethodScalar
- | MethodKernel { }
- | MethodVector { }
- lowerModule :: Config -> ModuleF -> Either Error ModuleF
- data Name
- = NameVar String
- | NameVarMod Name String
- | NameCon String
- | NameKiConFlow KiConFlow
- | NameTyConFlow TyConFlow
- | NameDaConFlow DaConFlow
- | NameOpConcrete OpConcrete
- | NameOpControl OpControl
- | NameOpSeries OpSeries
- | NameOpStore OpStore
- | NameOpVector OpVector
- | NamePrimTyCon PrimTyCon
- | NamePrimArith PrimArith
- | NamePrimCast PrimCast
- | NamePrimVec PrimVec
- | NameLitBool Bool
- | NameLitNat Integer
- | NameLitInt Integer
- | NameLitWord Integer Int
- | NameLitFloat Rational Int
- data KiConFlow
- data TyConFlow
- data DaConFlow = DaConFlowTuple Int
- data OpControl
- data OpSeries
- = OpSeriesRep
- | OpSeriesReps
- | OpSeriesIndices
- | OpSeriesFill
- | OpSeriesGather
- | OpSeriesScatter
- | OpSeriesMkSel Int
- | OpSeriesMkSegd
- | OpSeriesMap Int
- | OpSeriesPack
- | OpSeriesGenerate
- | OpSeriesReduce
- | OpSeriesFolds
- | OpSeriesRunProcess
- | OpSeriesRunProcessUnit
- | OpSeriesRateVecsOfVectors Int
- | OpSeriesSeriesOfRateVec
- | OpSeriesAppend
- | OpSeriesCross
- | OpSeriesResizeProc
- | OpSeriesResizeId
- | OpSeriesResizeAppL
- | OpSeriesResizeAppR
- | OpSeriesResizeApp
- | OpSeriesResizeSel1
- | OpSeriesResizeSegd
- | OpSeriesResizeCross
- | OpSeriesJoin
- data OpStore
- data OpVector
- data PrimTyCon :: *
- data PrimArith :: *
- data PrimVec :: *
- = PrimVecNeg {
- primVecMulti :: Int
- | PrimVecAdd {
- primVecMulti :: Int
- | PrimVecSub {
- primVecMulti :: Int
- | PrimVecMul {
- primVecMulti :: Int
- | PrimVecDiv {
- primVecMulti :: Int
- | PrimVecRep {
- primVecMulti :: Int
- | PrimVecPack {
- primVecMulti :: Int
- | PrimVecProj {
- primVecMulti :: Int
- primVecIndex :: Int
- | PrimVecGather {
- primVecMulti :: Int
- | PrimVecScatter {
- primVecMulti :: Int
- = PrimVecNeg {
- data PrimCast :: *
- readName :: String -> Maybe Name
- lexModuleString :: String -> Int -> String -> [Located (Token Name)]
- lexExpString :: String -> Int -> String -> [Located (Token Name)]
Language profile
Driver
Lifting config controls how many elements should be processed per loop iteration.
Constructors
| Lifting | |
Fields
| |
Configuration for the lower transform.
Constructors
| Config | |
Fields | |
defaultConfigVector :: Config Source #
Config for producing code with vector operations, where the loops handle arbitrary data sizes, of any number of elements.
defaultConfigKernel :: Config Source #
Config for producing code with vector operations, where the loops just handle a size of data which is an even multiple of the vector width.
defaultConfigScalar :: Config Source #
Config for producing code with just scalar operations.
What lowering method to use.
Constructors
| MethodScalar | Produce sequential scalar code with nested loops. |
| MethodKernel | Produce vector kernel code that only processes an even multiple of the vector width. |
Fields | |
| MethodVector | Try to produce sequential vector code, falling back to scalar code if this is not possible. |
Fields | |
lowerModule :: Config -> ModuleF -> Either Error ModuleF Source #
Take a module that contains some well formed series processes defined at top-level, and lower them into procedures.
Names
Names of things used in Disciple Core Flow.
Constructors
| NameVar String | User defined variables. |
| NameVarMod Name String | A name generated by modifying some other name `name$mod` |
| NameCon String | A user defined constructor. |
| NameKiConFlow KiConFlow | Fragment specific kind constructors. |
| NameTyConFlow TyConFlow | Fragment specific type constructors. |
| NameDaConFlow DaConFlow | Fragment specific data constructors. |
| NameOpConcrete OpConcrete | Concrete series operators. |
| NameOpControl OpControl | Control operators. |
| NameOpSeries OpSeries | Series operators. |
| NameOpStore OpStore | Store operators. |
| NameOpVector OpVector | Vector operators. |
| NamePrimTyCon PrimTyCon | A primitive type constructor. |
| NamePrimArith PrimArith | Primitive arithmetic, logic, comparison and bit-wise operators. |
| NamePrimCast PrimCast | Primitive casting between numeric types. |
| NamePrimVec PrimVec | Primitive vector operators. |
| NameLitBool Bool | A boolean literal. |
| NameLitNat Integer | A natural literal. |
| NameLitInt Integer | An integer literal. |
| NameLitWord Integer Int | A word literal, with the given number of bits precision. |
| NameLitFloat Rational Int | A float literal, with the given number of bits precision. |
Fragment specific kind constructors.
Constructors
| KiConFlowRate | |
| KiConFlowProc |
Fragment specific type constructors.
Constructors
| TyConFlowTuple Int |
|
| TyConFlowVector |
|
| TyConFlowBuffer |
|
| TyConFlowRateVec |
|
| TyConFlowSeries |
|
| TyConFlowSegd |
|
| TyConFlowSel Int |
|
| TyConFlowRef |
|
| TyConFlowWorld |
|
| TyConFlowRateNat |
|
| TyConFlowRateCross | Multiply two |
| TyConFlowRateAppend | Add two |
| TyConFlowDown Int |
|
| TyConFlowTail Int |
|
| TyConFlowProcess |
|
| TyConFlowResize |
|
Primitive data constructors.
Constructors
| DaConFlowTuple Int |
|
Control operators.
Fusable Flow operators that work on Series.
Constructors
| OpSeriesRep | Replicate a single element into a series. |
| OpSeriesReps | Segmented replicate. |
| OpSeriesIndices | Segmented indices |
| OpSeriesFill | Fill an existing vector from a series. |
| OpSeriesGather | Gather (read) elements from a vector. |
| OpSeriesScatter | Scatter (write) elements into a vector. |
| OpSeriesMkSel Int | Make a selector. |
| OpSeriesMkSegd | Make a segment descriptor. |
| OpSeriesMap Int | Apply a worker to corresponding elements of some series. |
| OpSeriesPack | Pack a series according to a flags vector. |
| OpSeriesGenerate | Generate a new series with size based on klok/rate |
| OpSeriesReduce | Reduce a series with an associative operator, updating an existing accumulator. |
| OpSeriesFolds | Segmented fold. |
| OpSeriesRunProcess | Execute a process |
| OpSeriesRunProcessUnit | Introduce a Proc type, but argument returns unit instead of process Has exact same type as RunProcess except for that, so that they can easily be swapped during lowering |
| OpSeriesRateVecsOfVectors Int | Convert vector(s) into manifests, all with same length with runtime check. |
| OpSeriesSeriesOfRateVec | Convert manifest into series |
| OpSeriesAppend | Append two series |
| OpSeriesCross | Cross a series and a vector |
| OpSeriesResizeProc | Resize a process |
| OpSeriesResizeId | Resize a process |
| OpSeriesResizeAppL | Inject a series into the left side of an append |
| OpSeriesResizeAppR | Inject a series into the right side of an append |
| OpSeriesResizeApp | Map over the contents of an append |
| OpSeriesResizeSel1 | Move from filtered to filtee |
| OpSeriesResizeSegd | Move from segment data to segment lens |
| OpSeriesResizeCross | Move from (cross a b) to a |
| OpSeriesJoin | Join two series processes. |
Store operators.
Constructors
| OpStoreNew | Allocate a new reference. |
| OpStoreRead | Read from a reference. |
| OpStoreWrite | Write to a reference. |
| OpStoreNewVector | Allocate a new vector (taking a |
| OpStoreNewVectorR | Allocate a new vector (taking a |
| OpStoreNewVectorN | Allocate a new vector (taking a |
| OpStoreReadVector Int | Read a packed Vec of values from a Vector buffer. |
| OpStoreWriteVector Int | Write a packed Vec of values to a Vector buffer. |
| OpStoreTailVector Int | Window a target vector to the tail of some rate. |
| OpStoreTruncVector | Truncate a vector to a smaller length. |
| OpStoreBufOfVector | Get a vector's data buffer |
| OpStoreBufOfRateVec | Get a vector's data buffer |
Fusable flow operators that work on Vectors.
Constructors
| OpVectorMap Int | Apply worker function to |
| OpVectorFilter | Filter a vector according to a predicate. |
| OpVectorReduce | Associative fold. |
| OpVectorGenerate | Create a new vector from an index function. |
| OpVectorLength | Get a vector's length. |
| OpVectorGather | Gather (read) elements from a vector: gather v ix = map (v!) ix |
Primitive type constructors.
Constructors
| PrimTyConVoid |
|
| PrimTyConBool |
|
| PrimTyConNat |
|
| PrimTyConInt |
|
| PrimTyConSize |
|
| PrimTyConWord Int |
|
| PrimTyConFloat Int |
|
| PrimTyConVec Int |
|
| PrimTyConAddr |
|
| PrimTyConPtr |
|
| PrimTyConTextLit |
|
| PrimTyConTag |
|
Primitive arithmetic, logic, and comparison opretors. We expect the backend/machine to be able to implement these directly.
For the Shift Right operator, the type that it is used at determines whether it is an arithmetic (with sign-extension) or logical (no sign-extension) shift.
Constructors
| PrimArithNeg | Negation |
| PrimArithAdd | Addition |
| PrimArithSub | Subtraction |
| PrimArithMul | Multiplication |
| PrimArithDiv | Division |
| PrimArithMod | Modulus |
| PrimArithRem | Remainder |
| PrimArithEq | Equality |
| PrimArithNeq | Negated Equality |
| PrimArithGt | Greater Than |
| PrimArithGe | Greater Than or Equal |
| PrimArithLt | Less Than |
| PrimArithLe | Less Than or Equal |
| PrimArithAnd | Boolean And |
| PrimArithOr | Boolean Or |
| PrimArithShl | Shift Left |
| PrimArithShr | Shift Right |
| PrimArithBAnd | Bit-wise And |
| PrimArithBOr | Bit-wise Or |
| PrimArithBXOr | Bit-wise eXclusive Or |
Primitive fixed-length SIMD vector operators.
Constructors
| PrimVecNeg | Negate elements of a vector. |
Fields
| |
| PrimVecAdd | Add elements of a vector. |
Fields
| |
| PrimVecSub | Subtract elements of a vector. |
Fields
| |
| PrimVecMul | Multiply elements of a vector. |
Fields
| |
| PrimVecDiv | Divide elements of a vector. |
Fields
| |
| PrimVecRep | Replicate a scalar into a vector. |
Fields
| |
| PrimVecPack | Pack multiple scalars into a vector |
Fields
| |
| PrimVecProj | Extract a single element from a vector. |
Fields
| |
| PrimVecGather | Read multiple elements from memory. |
Fields
| |
| PrimVecScatter | Write multiple elements to memory. |
Fields
| |
Primitive cast between two types.
The exact set of available casts is determined by the target platform.
For example, you can only promote a Nat# to a Word32# on a 32-bit
system. On a 64-bit system the Nat# type is 64-bits wide, so casting it
to a Word32# would be a truncation.
Constructors
| PrimCastConvert | Convert a value to a new representation with the same precision. |
| PrimCastPromote | Promote a value to one of similar or larger width, without loss of precision. |
| PrimCastTruncate | Truncate a value to a new width, possibly losing precision. |