[Mlir-commits] [mlir] [mlir][memref] Add a new InderStaticShapes pass for ReifyRankedShaped… (PR #145927)

[Nicolas Vasilache]

nicolasvasilache wrote:

@fabianmcg I rewrote the shape inference part as a separate pass, not tested yet and it still requires a safe listener-based rewriter that cleans up after itself on scope_guard exit.
We also discussed with @matthias-springer to get such a rewriter and to forbid modification of newly created IR.

This still requires testing and I prob. made mistakes in my generalization to multi-result rankreify stuff from tensor.pad but this is the best I could do before leaving for the day. 

Implementation that worked for tensor.pad specifically is still here: https://github.com/llvm/llvm-project/pull/145732 in case it is useful.

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