[Mlir-commits] [mlir] [mlir][IR] Send missing notifications when inlining a block (PR #79593)

Matthias Springer llvmlistbot at llvm.org
Wed Jan 31 05:23:28 PST 2024


================
@@ -411,8 +411,6 @@ func.func @test_trivially_false_returning_two_results(%arg0: index) -> (index, i
   // CHECK: %[[c13:.*]] = arith.constant 13 : index
   %c7 = arith.constant 7 : index
   %c13 = arith.constant 13 : index
-  // CHECK: %[[c2:.*]] = arith.constant 2 : index
----------------
matthias-springer wrote:

I don't know why the test originally checked for `%c2`. That value is not used. With this commit, the op actually disappears because of the additional notifications, that cause ops to be re-added to the worklist of the greedy pattern rewrite driver. (It is DCE'd away by the greedy pattern rewrite driver.)


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


More information about the Mlir-commits mailing list