mirror of
https://github.com/zama-ai/concrete.git
synced 2026-01-14 07:17:57 -05:00
43 lines
1.1 KiB
Markdown
43 lines
1.1 KiB
Markdown
<!-- Autogenerated by mlir-tblgen; don't manually edit -->
|
|
# 'Optimizer' Dialect
|
|
|
|
Auxiliary operations for the interaction with the optimizer
|
|
|
|
|
|
## Operation definition
|
|
|
|
### `Optimizer.partition_frontier` (::mlir::concretelang::Optimizer::PartitionFrontierOp)
|
|
|
|
Models an explicit edge between two partitions
|
|
|
|
Models an explicit edge between two partitions in the solution
|
|
determined by the optimizer requiring a key change between the
|
|
encrypted values of the operand and the encrypted values of
|
|
the result.
|
|
|
|
Traits: AlwaysSpeculatableImplTrait
|
|
|
|
Interfaces: ConditionallySpeculatable, NoMemoryEffect (MemoryEffectOpInterface)
|
|
|
|
Effects: MemoryEffects::Effect{}
|
|
|
|
#### Attributes:
|
|
|
|
| Attribute | MLIR Type | Description |
|
|
| :-------: | :-------: | ----------- |
|
|
| `inputKeyID` | ::mlir::IntegerAttr | 64-bit signless integer attribute
|
|
| `outputKeyID` | ::mlir::IntegerAttr | 32-bit signless integer attribute
|
|
|
|
#### Operands:
|
|
|
|
| Operand | Description |
|
|
| :-----: | ----------- |
|
|
| `input` | any type
|
|
|
|
#### Results:
|
|
|
|
| Result | Description |
|
|
| :----: | ----------- |
|
|
«unnamed» | any type
|
|
|