index.constexpr
← index dialect
Require an index or offset value to become exact during specialization. Configured canonicalization replaces the result with an ordinary constant once exact facts are available; target lowering diagnoses an unresolved requirement.
Operation contract
| Property |
Value |
| Semantic phase |
compile time query |
| Traits |
Pure |
Signature
| Kind |
Name |
Type |
Cardinality |
Description |
| Operand |
input |
address |
required |
— |
| Result |
result |
address |
required |
— |
Verification constraints
Examples
%tile_count = index.constexpr %configured : index