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

[Krzysztof Drewniak]

================
@@ -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
----------------
krzysz00 wrote:

Huh. Magnet something else changed since I made that example. Mayne getting rid of repeated pattern applications or something

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