[Mlir-commits] [mlir] [MLIR][Affine] Fix isTilingValid missing anti-dependence when lb == ub < 0 (PR #192858)

[Uday Bondhugula]

================
@@ -557,7 +557,7 @@ bool mlir::affine::isTilingValid(ArrayRef<AffineForOp> loops) {
                               OpPrintingFlags().skipRegions());
         for (const DependenceComponent &depComp : depComps) {
           if (depComp.lb.has_value() && depComp.ub.has_value() &&
-              *depComp.lb < *depComp.ub && *depComp.ub < 0) {
+              *depComp.lb <= *depComp.ub && *depComp.ub < 0) {
----------------
bondhugula wrote:

Normally, for a valid dep, the lower bound of the component can't exceed its upper bound. So that part of the conditional itself looks suspicious, but that can be addressed in a different PR if needed. This fix is correct.

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