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;