check.expect.close.unsigned
← check dialect
Requires independently typed unsigned integer bit patterns to be within an exact distance.
Operation contract
| Property |
Value |
| Semantic phase |
— |
| Traits |
UnknownEffects, HasAnyAncestor(check.case, check.compare) |
Signature
| Kind |
Name |
Type |
Cardinality |
Description |
| Operand |
actual |
any |
required |
— |
| Operand |
expected |
any |
required |
— |
| Attribute |
max_distance |
i64 |
required |
— |
Examples
check.expect.close.unsigned actual(%actual) expected(%expected) max_distance(2) : tensor<[%m]xi8>, tensor<[%m]xi16>