[Mlir-commits] [mlir] [mlir][Interfaces] Add interface methods to allow reifying single result/single dim of result. (PR #162924)

[llvmlistbot at llvm.org]

================
@@ -1,4 +1,4 @@
-// RUN: mlir-opt %s -resolve-shaped-type-result-dims -split-input-file | FileCheck %s
+// RUN: mlir-opt %s --pass-pipeline="builtin.module(func.func(resolve-shaped-type-result-dims{error-on-pattern-iteration-limit=false}))" -split-input-file | FileCheck %s
----------------
MaheshRavishankar wrote:

I added a comment below to reflect what is described in the PR message. If the `reifyShapes` method introduces extra operations that are dead (cause the itnerface forces you to reify the shapes of all dims of all results) then the pattern rewriter goes into an infinite loop. In theory this is a pattern rewriter driver issue since it is getting stuck on dead operations (I tried to look at fixing that, but it was too involved).

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