encoding.layout.assume.dense
← encoding dialect
Refine an existing address-layout encoding value with the fact that it is dense row-major. The result is the same encoding value in SSA form with stronger local facts.
Operation contract
| Property |
Value |
| Semantic phase |
executable |
| Traits |
Pure |
Signature
| Kind |
Name |
Type |
Cardinality |
Description |
| Operand |
layout |
encoding<layout> |
required |
Address-layout value to refine. |
| Result |
result |
encoding<layout> |
required |
Layout value with dense-layout facts. |
Verification constraints
Examples
%dense = encoding.layout.assume.dense %layout : encoding<layout>