[llvm-branch-commits] [mlir] [mlir] Check greedy rewrite fingerprints and changed flag (PR #232576)

[Hideto Ueno via llvm-branch-commits]

================
@@ -1084,12 +1097,27 @@ LogicalResult mlir::applyOpPatternsGreedily(
         "greedy pattern rewriter input IR failed to verify");
 #endif // MLIR_ENABLE_EXPENSIVE_PATTERN_API_CHECKS
 
+#ifdef EXPENSIVE_CHECKS
+  std::optional<OperationFingerPrint> before;
----------------
uenoku wrote:

It's a bit weird not to check fingerprint if the scope is nullptr but it follows what `MLIR_ENABLE_EXPENSIVE_PATTERN_API_CHECKS` does just above. 

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