check.expect
← check dialect
Runs a pluggable custom validator over actual and expected values.
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 |
provider |
string |
required |
— |
| Attribute |
attrs |
dict |
optional |
— |
Verification constraints
SameType(actual, expected)
Examples
check.expect<topk.equal> actual(%actual) expected(%expected) {k = 5} : tensor<1000xf32>