[Mlir-commits] [mlir] [mlir][ODS] Allow inferring operand types from multiple variables (PR #127517)

[Markus Böck]

================
@@ -457,8 +459,10 @@ void Operator::populateTypeInferenceInfo(
       // If the type of the result has already been inferred, do nothing.
       if (infer.inferred)
         continue;
-      int sourceIndex =
-          argumentsAndResultsIndex.lookup(def.getValueAsString("lhs"));
+      std::vector<StringRef> args = def.getValueAsListOfStrings("args");
+      assert(args.size() == 1 &&
+             "multiple arguments for result inference not yet supported.");
----------------
zero9178 wrote:

Not sure how we've handled this in the past, but I feel `llvm::report_fatal_error` might be more appropriate here given this is a backend limitation that should also be reported in release builds

https://github.com/llvm/llvm-project/pull/127517