Lines Matching defs:inference

368   // If the type inference op interface is not registered, then do not attempt
407   /// graph. Each node has a list of incoming type inference edges `sources`.
412     /// The list of incoming type inference edges.
418   // This vector represents the type inference graph, with one node for each
420   SmallVector<ResultTypeInference> inference(getNumResults(), {});
422   // For all results whose types are buildable, initialize their type inference
424   for (auto [idx, infer] : llvm::enumerate(inference)) {
433   // result type inference graph.
448     // The `TypesMatchWith` trait represents a 1 -> 1 type inference edge with a
452       // Ignore operand type inference.
456       ResultTypeInference &infer = inference[resultIndex];
467           inference[InferredResultType::unmapResultIndex(sourceIndex)].inferred;
487           inference[InferredResultType::unmapResultIndex(index)].inferred)
494         ResultTypeInference &infer = inference[resultIndex];
506           inference[resultIndex].sources.emplace_back(
515   for (ResultTypeInference &infer : inference)
527             return inference[InferredResultType::unmapResultIndex(
546   // If the types could be computed, then add type inference trait.
549     for (const ResultTypeInference &infer : inference)