check.generate
← check dialect
Invokes an ordinary function while realizing one runtime trial recipe. Scalar results remain trial-local; shaped arguments may be materialized as mutable function buffers.
Operation contract
| Property |
Value |
| Semantic phase |
— |
| Traits |
UnknownEffects, HasParent(check.trial) |
Signature
| Kind |
Name |
Type |
Cardinality |
Description |
| Operand |
arguments |
any |
variadic |
Generator arguments. |
| Result |
results |
scalar |
variadic |
— |
| Attribute |
callee |
symbol (callable) |
required |
— |
Examples
%value = check.generate<@input_for_trial>(%trial, %storage) : (index, tensor<256xi16>) -> (i32)
check.generate<@fill_input>(%storage) : (tensor<256xi16>) -> ()