[Mlir-commits] [mlir] [mlir] Fix non-termination when a block becomes unreachable during rewriting (PR #221152)

[Mehdi Amini]

================
@@ -482,6 +482,15 @@ bool GreedyPatternRewriteDriver::processWorklist() {
       }
     });
 
+    // Folding an operation that uses its own result can loop forever, so
+    // skip it. Such operations are legal in unreachable code.
----------------
joker-eph wrote:

Related work FYI: https://github.com/llvm/llvm-project/pull/189232

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