From 1e0d7fd76968aee2eb012a9f95642f905b4d2613 Mon Sep 17 00:00:00 2001 From: Groverkss Date: Thu, 11 Nov 2021 22:42:04 +0530 Subject: [PATCH] Fix asserts as suggested by Arjun --- mlir/lib/Analysis/AffineStructures.cpp | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/mlir/lib/Analysis/AffineStructures.cpp b/mlir/lib/Analysis/AffineStructures.cpp index 8ef25ba..1252a73 100644 --- a/mlir/lib/Analysis/AffineStructures.cpp +++ b/mlir/lib/Analysis/AffineStructures.cpp @@ -1925,8 +1925,8 @@ void FlatAffineConstraints::removeRedundantConstraints() { static void eleminateRedundantLocalId(FlatAffineConstraints &fac, unsigned pos1, unsigned pos2) { - assert(pos1 <= fac.getNumLocalIds() && "Invalid local id position"); - assert(pos2 <= fac.getNumLocalIds() && "Invalid local id position"); + assert(pos1 < fac.getNumLocalIds() && "Invalid local id position"); + assert(pos2 < fac.getNumLocalIds() && "Invalid local id position"); unsigned localOffset = fac.getNumDimAndSymbolIds(); pos1 += localOffset; -- 2.7.4