[Mlir-commits] [mlir] [mlir][dataflow] Add merge-site widening hook for infinite-height lattices (PR #193338)

[Krzysztof Drewniak]

================
@@ -58,6 +58,24 @@ LogicalResult staticallyNonNegative(DataFlowSolver &solver, Operation *op) {
 }
 } // namespace mlir::dataflow
 
+/// Budget for merge-site joins per integer-range lattice element before the
+/// solver forces the element to max-range. Sized as 2 * max supported integer
+/// bitwidth (i64): the longest legitimate strictly-monotone join chain a
----------------
krzysz00 wrote:

I don't fully follow this comment

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