Lines Matching defs:ubConst
304 int64_t ubConst, MLIRContext *context,
310 if (lbConst != 0 || ubConst < 1)
312 int64_t divisor = ubConst + 1;
573 auto ubConst = getConstantBound64(BoundType::UB, pos);
574 if (lbConst.has_value() && ubConst.has_value()) {
576 if (*lbConst == *ubConst) {
584 if (detectAsMod(*this, pos, offset, num, *lbConst, *ubConst, context,
694 auto ubConst = getConstantBound64(BoundType::UB, pos + offset);
695 if (ubConst.has_value()) {
698 getAffineConstantExpr(*ubConst + ubAdjustment, context));