check.expect.close
← check dialect
Requires actual and expected floating-point values to be approximately equal.
Operation contract
| Property |
Value |
| Semantic phase |
— |
| Traits |
UnknownEffects, HasAncestor(check.case) |
Signature
| Kind |
Name |
Type |
Cardinality |
Description |
| Operand |
actual |
any |
required |
— |
| Operand |
expected |
any |
required |
— |
| Attribute |
atol |
f64 |
required |
— |
| Attribute |
rtol |
f64 |
required |
— |
| Attribute |
nan |
enum NanPolicy |
required |
— |
Verification constraints
SameType(actual, expected)
Examples
check.expect.close actual(%actual) expected(%expected) atol(0.0001) rtol(0.0001) nan(same) : tensor<[%m]xf32>