SDFG dialect
Dialect for the construction of static data flow graphs A dialect for the construction of static data flow graphs. The data flow graph is composed of a set of processes, connected through data streams. Special streams allow for data to be injected into and to be retrieved from the data flow graph.
Operation definition
SDFG.get
(::mlir::concretelang::SDFG::Get)
SDFG.get
(::mlir::concretelang::SDFG::Get)Retrieves a data element from a stream
Retrieves a single data element from the specified stream (i.e., an instance of the element type of the stream).
Example:
Operands:
Operand | Description |
---|---|
| An SDFG data stream |
Results:
Result | Description |
---|---|
| any type |
SDFG.init
(::mlir::concretelang::SDFG::Init)
SDFG.init
(::mlir::concretelang::SDFG::Init)Initializes the streaming framework
Initializes the streaming framework. This operation must be performed before control reaches any other operation from the dialect.
Example:
Results:
Result | Description |
---|---|
«unnamed» | An SDFG data flow graph |
SDFG.make_process
(::mlir::concretelang::SDFG::MakeProcess)
SDFG.make_process
(::mlir::concretelang::SDFG::MakeProcess)Creates a new SDFG process
Creates a new SDFG process and connects it to the input and output streams.
Example:
Attributes:
Attribute | MLIR Type | Description |
---|---|---|
| ::mlir::concretelang::SDFG::ProcessKindAttr | Process kind |
Operands:
Operand | Description |
---|---|
| An SDFG data flow graph |
| An SDFG data stream |
SDFG.make_stream
(::mlir::concretelang::SDFG::MakeStream)
SDFG.make_stream
(::mlir::concretelang::SDFG::MakeStream)Returns a new SDFG stream
Returns a new SDFG stream, transporting data either between processes on the device, from the host to the device or from the device to the host. All streams are typed, allowing data to be read / written through SDFG.get
and SDFG.put
only using the stream's type.
Example:
Attributes:
Attribute | MLIR Type | Description |
---|---|---|
| ::mlir::StringAttr | string attribute |
| ::mlir::concretelang::SDFG::StreamKindAttr | Stream kind |
Operands:
Operand | Description |
---|---|
| An SDFG data flow graph |
Results:
Result | Description |
---|---|
«unnamed» | An SDFG data stream |
SDFG.put
(::mlir::concretelang::SDFG::Put)
SDFG.put
(::mlir::concretelang::SDFG::Put)Writes a data element to a stream
Writes the input operand to the specified stream. The operand's type must meet the element type of the stream.
Example:
Operands:
Operand | Description |
---|---|
| An SDFG data stream |
| any type |
SDFG.shutdown
(::mlir::concretelang::SDFG::Shutdown)
SDFG.shutdown
(::mlir::concretelang::SDFG::Shutdown)Shuts down the streaming framework
Shuts down the streaming framework. This operation must be performed after any other operation from the dialect.
Example:
Operands:
Operand | Description |
---|---|
| An SDFG data flow graph |
SDFG.start
(::mlir::concretelang::SDFG::Start)
SDFG.start
(::mlir::concretelang::SDFG::Start)Finalizes the creation of an SDFG and starts execution of its processes
Finalizes the creation of an SDFG and starts execution of its processes. Any creation of streams and processes must take place before control reaches this operation.
Example:
Operands:
Operand | Description |
---|---|
| An SDFG data flow graph |
Attribute definition
ProcessKindAttr
Process kind
Syntax:
Parameters:
Parameter | C++ type | Description |
---|---|---|
value |
| an enum of type ProcessKind |
StreamKindAttr
Stream kind
Syntax:
Parameters:
Parameter | C++ type | Description |
---|---|---|
value |
| an enum of type StreamKind |
Type definition
DFGType
An SDFG data flow graph
Syntax: !SDFG.dfg
A handle to an SDFG data flow graph
StreamType
An SDFG data stream
An SDFG stream to connect SDFG processes.
Parameters:
Parameter | C++ type | Description |
---|---|---|
elementType |
|
Last updated