'schedule' Dialect
A dialect for scheduling in speculative High-Level Synthesis.
TODO
Operations
schedule.circuit (schedule::CircuitOp)
Represents a schedulable circuit.
Syntax:
operation ::= `schedule.circuit` attr-dict $targetClock $body
Traits: IsolatedFromAbove, NoTerminator
Interfaces: RegionKindInterface
Attributes:
| Attribute | MLIR Type | Description |
|---|---|---|
targetClock | ::mlir::FloatAttr | 32-bit float attribute |
schedule.operation (schedule::OperationOp)
An operation to schedule.
Syntax:
operation ::= `schedule.operation` attr-dict $sym_name `(` $dependences `:` $distances `,` $inDelay `,` $latency `,` $outDelay `)`
Traits: HasParent<CircuitOp>
Attributes:
| Attribute | MLIR Type | Description |
|---|---|---|
sym_name | ::mlir::StringAttr | string attribute |
distances | ::mlir::ArrayAttr | array attribute |
inDelay | ::mlir::FloatAttr | 32-bit float attribute |
latency | ::mlir::IntegerAttr | 32-bit signless integer attribute |
outDelay | ::mlir::FloatAttr | 32-bit float attribute |
Operands:
| Operand | Description |
|---|---|
dependences | variadic of |
Results:
| Result | Description |
|---|---|
res |
Types
ScheduleOperationType
Syntax: !schedule.ScheduleOperation