[llvm-branch-commits] [mlir] [mlir][Interfaces] `ValueBoundsOpInterface`: Fix typo (PR #87976)

Matthias Springer via llvm-branch-commits llvm-branch-commits at lists.llvm.org
Mon Apr 8 04:06:39 PDT 2024


matthias-springer wrote:

It is currently not possible to trigger this bug. New columns are always added to the constraint set as symbols. Only the first added SSA value (for which we compute a bound) is added as a dimension. There is currently no API to compute a bounds for an "AffineMap + operands" combination. (But in anticipation of adding such an API in the future and for consistency reasons, I had already added an `isSymbol` argument to all `ValueBoundsConstraintSet::insert` overloads.) I have a PR in preparation that extends the API and will require this fix here.



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


More information about the llvm-branch-commits mailing list