[mlir][linalg] Fix comments around ConstraintsSet

mlir/include/mlir/Dialect/Linalg/Analysis/ConstraintsSet.h

 class ValueRange;
 
 /// Linalg-specific constraints set extensions.
 class ConstraintsSet : public FlatAffineConstraints {
 public:
   ConstraintsSet() : FlatAffineConstraints() {}
 
   /// Assuming `val` is defined by `val = affine.min map (operands)`, introduce
-  /// all the constraints `val >= expr_i(operands)`, where expr_i are all the
+  /// all the constraints `val <= expr_i(operands)`, where expr_i are all the
   /// results of `map`.
   // This API avoids taking a dependence on the AffineMinOp definition.
   LogicalResult composeMin(Value val, AffineMap map, ValueRange operands) {
     return composeMinOrMaxMapAndOperands(val, map, operands, /*min=*/true);
   }
 
   /// Assuming `val` is defined by `val = affine.max map (operands)`, introduce
-  /// all the constraints `val <= expr_i(operands)`, where expr_i are all the
+  /// all the constraints `val >= expr_i(operands)`, where expr_i are all the
   /// results of `map`.
   // This API avoids taking a dependence on the AffineMaxOp definition.
   LogicalResult composeMax(Value val, AffineMap map, ValueRange operands) {
     return composeMinOrMaxMapAndOperands(val, map, operands, /*min=*/false);
   }
 
   /// Assuming `val` is defined by `val = affine.apply map (operands)`, call
   /// composeMap.

mlir/lib/Dialect/Linalg/Transforms/Hoisting.cpp

static Value buildLoopIterationCount(OpBuilder &b, scf::ForOp outer,
   Value ivVal = forOp.getInductionVar(), lbVal = forOp.lowerBound(),
         stepVal = forOp.step();
   auto loc = forOp->getLoc();
   return b.createOrFold<AffineApplyOp>(loc, (iv - lb).ceilDiv(step),
                                        ValueRange{ivVal, lbVal, stepVal});
 }
 
 /// Given a set of loops, assumed to be scf::ForOp, create a constraint set
-/// containing the inequalities `iv - lb >= 0` and `-iv + ub >= 0` for each
+/// containing the inequalities `iv - lb >= 0` and `-iv + ub - 1 >= 0` for each
 /// loop.
 static ConstraintsSet initLoopIvsAndBounds(ArrayRef<Operation *> loops) {
   ConstraintsSet constraints;
   for (Operation *op : loops)
     constraints.addDimId(constraints.getNumDimIds(),
                          cast<scf::ForOp>(op).getInductionVar());
   for (Operation *op : loops)
     constraints.addDimId(constraints.getNumDimIds(),