check.param.range
← check dialect
Produces one sampled scalar parameter from a static interval.
Operation contract
| Property |
Value |
| Semantic phase |
— |
| Traits |
UnknownEffects, HasAnyAncestor(check.case, check.scenario) |
Signature
| Kind |
Name |
Type |
Cardinality |
Description |
| Result |
result |
scalar |
required |
— |
| Attribute |
policy |
enum RangePolicy |
required |
— |
| Attribute |
lower |
any |
required |
— |
| Attribute |
upper |
any |
required |
— |
| Attribute |
step |
any |
optional |
— |
| Attribute |
param_name |
string |
optional |
— |
Verification constraints
LiteralMatchesElementType(lower, result)LiteralMatchesElementType(upper, result)LiteralMatchesElementType(step, result)
Examples
%m = check.param.range po2 bounds(1 to 64) : index
%alpha = check.param.range linear bounds(0.0 to 1.0) step(0.25) : f32