scalar.constexpr
← scalar dialect
Require a scalar payload 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 |
payload_scalar |
required |
— |
| Result |
result |
payload_scalar |
required |
— |
Verification constraints
Examples
%tile_size = scalar.constexpr %configured : i32