[Mlir-commits] [mlir] [mlir][IntegerRangeAnalysis] Don't unsoundly update constant lattice (PR #193546)

[Hocky Yudhiono]

================
@@ -0,0 +1,61 @@
+// RUN: mlir-opt -int-range-optimizations %s
+
+// Note: I wish I had a simpler example than this, but getting rid of a
+// bunch of the arithmetic made the issue go away.
+// CHECK-LABEL: @blocks_prematurely_declared_dead_bug
+// CHECK-NOT: arith.constant true
----------------
hockyy wrote:

I tried to run this in the current main branch prior this PR, but it seems like it's already passing the testcase before the current changes. Is it intended?

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