[Mlir-commits] [mlir] [mlir][affine][Analysis] Add conservative bounds for semi-affine mods (PR #93576)

[Benjamin Maxwell]

================
@@ -313,7 +313,8 @@ class ValueBoundsConstraintSet
   /// An index-typed value or the dimension of a shaped-type value.
   using ValueDim = std::pair<Value, int64_t>;
 
-  ValueBoundsConstraintSet(MLIRContext *ctx, StopConditionFn stopCondition);
+  ValueBoundsConstraintSet(MLIRContext *ctx, StopConditionFn stopCondition,
+                           bool addConservativeSemiAffineBounds = false);
----------------
MacDue wrote:

AFAIK this is a semi-private constructor (as most `ValueBoundsConstraintSet` methods are static and construct the actual constraints set internally). So the main use for this was just to allow the `ScalableValueBoundsConstraintSet` to enable this feature. 

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