[Mlir-commits] [mlir] [MLIR] Improve in-place folding to iterate until fixed-point (PR #160615)

[Diego Caballero]

dcaballe wrote:

Nice!

> we expect a "one-shot" call to fold to be as "folded" as possible.

I'm curious, how could we verify now that a particular folder fully applies in one iteration? As you know, we previously had ordering issues in the `vector.extract` folder that prevented it from folding completely in one iteration, even though it should have. Would it make sense to pass the maximum number of iterations as a parameter so that test passes could explicitly set it to one, or something like that?

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