← check dialect
Generates a deterministic random-uniform value from a sampled seed.
Operation contract
| Property |
Value |
| Semantic phase |
— |
| Traits |
Pure, HasAnyAncestor(check.case, check.scenario) |
Signature
| Kind |
Name |
Type |
Cardinality |
Description |
| Operand |
seed |
integer |
required |
— |
| Result |
result |
any |
required |
— |
| Attribute |
lower |
any |
required |
— |
| Attribute |
upper |
any |
required |
— |
Verification constraints
LiteralMatchesElementType(lower, result)LiteralMatchesElementType(upper, result)
Examples
%input = check.generate.random.uniform seed(%seed) range(-1.0 to 1.0) : tensor<[%m]xf32>