Lines Matching defs:inferred
369 // to determine if the result types an be inferred.
396 // All result types are inferred from the operand type.
409 /// inferred, either an operand (leaf) or another result (node). When a node
410 /// is known to have a fully-inferred type, `inferred` is set to true.
415 bool inferred = false;
423 // nodes with an edge to themselves. Mark those nodes are fully-inferred.
428 infer.inferred = true;
457 // If the type of the result has already been inferred, do nothing.
458 if (infer.inferred)
465 infer.inferred =
467 inference[InferredResultType::unmapResultIndex(sourceIndex)].inferred;
477 // one of the values refers to an operand or a result with a fully-inferred
479 // fully-inferred type in the list.
487 inference[InferredResultType::unmapResultIndex(index)].inferred)
491 // Make the fully-inferred type the only source for all results that
492 // aren't already inferred -- a 1 -> N fanout.
495 if (!infer.inferred) {
497 infer.inferred = true;
516 if (!infer.inferred)
529 .inferred;
537 infer.inferred = true;