index.assume
← index dialect
Identity with predicate constraints on index or offset results.
Operation contract
| Property |
Value |
| Semantic phase |
— |
| Traits |
Pure, FactIdentity |
Signature
| Kind |
Name |
Type |
Cardinality |
Description |
| Operand |
values |
address |
variadic |
— |
| Result |
results |
address |
variadic |
— |
| Attribute |
predicates |
predicate_list |
required |
— |
Examples
%n2 = index.assume %n [mul(%n, 16)] : index
%end2 = index.assume %end [range(%end, 0, 4096)] : offset
%n2, %off2 = index.assume %n, %off [mul(%n, 16), mul(%off, 64)] : index, offset