'tuples' Dialect
A general dialect that adds a tuple strem type
Operations
tuples.get_param_val
(::lingodb::compiler::dialect::tuples::GetParamVal)
Get param value operation
Syntax:
operation ::= `tuples.get_param_val` $param `:` type($param) `->` type($res) attr-dict
Traits: AlwaysSpeculatableImplTrait
Interfaces: ConditionallySpeculatable
, NoMemoryEffect (MemoryEffectOpInterface)
Effects: MemoryEffects::Effect{}
Operands:
Operand | Description |
---|---|
param | any type |
Results:
Result | Description |
---|---|
res | any type |
tuples.getcol
(::lingodb::compiler::dialect::tuples::GetColumnOp)
Get column operation
Syntax:
operation ::= `tuples.getcol` $tuple custom<CustRef>($attr) `:` type($res) attr-dict
Traits: AlwaysSpeculatableImplTrait
Interfaces: ConditionallySpeculatable
, NoMemoryEffect (MemoryEffectOpInterface)
Effects: MemoryEffects::Effect{}
Attributes:
Attribute | MLIR Type | Description |
---|---|---|
attr | ::lingodb::compiler::dialect::tuples::ColumnRefAttr |
Operands:
Operand | Description |
---|---|
tuple | tuple type |
Results:
Result | Description |
---|---|
res | any type |
tuples.return
(::lingodb::compiler::dialect::tuples::ReturnOp)
Loop yield and termination operation
Syntax:
operation ::= `tuples.return` attr-dict ($results^ `:` type($results))?
Traits: AlwaysSpeculatableImplTrait
, ReturnLike
, Terminator
Interfaces: ConditionallySpeculatable
, NoMemoryEffect (MemoryEffectOpInterface)
, RegionBranchTerminatorOpInterface
Effects: MemoryEffects::Effect{}
Operands:
Operand | Description |
---|---|
results | variadic of any type |
Attributes
ColumnDefAttr
Parameters:
Parameter | C++ type | Description |
---|---|---|
name | mlir::SymbolRefAttr | |
columnPtr | std::shared_ptr<Column> | |
fromExisting | mlir::Attribute |
ColumnRefAttr
Parameters:
Parameter | C++ type | Description |
---|---|---|
name | mlir::SymbolRefAttr | |
columnPtr | std::shared_ptr<Column> |
Types
TupleStreamType
tuple stream type
Syntax: !tuples.tuplestream
TupleType
tuple type
Syntax: !tuples.tuple