encoding.assume.spec
← encoding dialect
Refine an existing encoding value with an exact static encoding specification. Dynamic values remain ordinary SSA operands elsewhere; this op only states the selected static family and static parameters.
Operation contract
| Property |
Value |
| Semantic phase |
executable |
| Traits |
Pure, FactIdentity |
Signature
| Kind |
Name |
Type |
Cardinality |
Description |
| Operand |
enc |
encoding |
required |
Encoding value to refine. |
| Result |
result |
encoding |
required |
Encoding value with exact static-spec facts. |
| Attribute |
spec |
encoding |
required |
Exact static encoding specification. |
Verification constraints
Examples
%schema2 = encoding.assume.spec %schema, #ggml.q4_0 : encoding<schema>