index.cmp
← index dialect
Address-domain comparison. Operands must both be index or both be offset.
Operation contract
| Property |
Value |
| Semantic phase |
executable |
| Traits |
Pure, SafeToSpeculate |
Signature
| Kind |
Name |
Type |
Cardinality |
Description |
| Operand |
lhs |
address |
required |
— |
| Operand |
rhs |
address |
required |
— |
| Result |
result |
i1 |
required |
— |
| Attribute |
predicate |
enum IndexPredicate |
required |
— |
Verification constraints
Examples
%p = index.cmp slt, %i, %n : index
%inside = index.cmp ule, %byte_offset, %limit : offset