[Mlir-commits] [mlir] [mlir][Transforms] Greedy pattern rewriter: fix infinite folding loop (PR #161145)

[Mehdi Amini]

joker-eph wrote:

I was following up on:

> I am using the addi op in a graph region, and in a way that maybe should be disallowed. (What does %0 = addi %0, %c1 even mean?) Maybe such IR should be disallowed by extra verification?


`%0 = addi %0, %c1 ` is a valid IR construct in a CFG region in an unreachable block, it's not specific to graph regions.

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