check.oracle.call
← check dialect
Calls a pluggable oracle provider for expected values.
Operation contract
| Property |
Value |
| Semantic phase |
— |
| Traits |
UnknownEffects, HasAnyAncestor(check.case, check.scenario) |
Signature
| Kind |
Name |
Type |
Cardinality |
Description |
| Operand |
inputs |
any |
variadic |
— |
| Result |
results |
any |
variadic |
— |
| Attribute |
provider |
string |
required |
— |
| Attribute |
attrs |
dict |
optional |
— |
| Attribute |
callee |
symbol (func_like) |
required |
— |
Examples
%expected = check.oracle.call<reference.scalar> callee(@gemv_f32) inputs(%lhs, %rhs) : (tensor<[%m]x[%n]xf32>, tensor<[%n]xf32>) -> (tensor<[%m]xf32>)