Searched refs:computeConstantLowerOrUpperBound (Results 1 – 2 of 2) sorted by relevance
1521 IntegerRelation::computeConstantLowerOrUpperBound(unsigned pos) { in computeConstantLowerOrUpperBound() function in IntegerRelation1581 .computeConstantLowerOrUpperBound</*isLower=*/true>(pos); in getConstantBound()1584 .computeConstantLowerOrUpperBound</*isLower=*/false>(pos); in getConstantBound()1588 IntegerRelation(*this).computeConstantLowerOrUpperBound</*isLower=*/true>( in getConstantBound()1592 .computeConstantLowerOrUpperBound</*isLower=*/false>(pos); in getConstantBound()
622 Optional<int64_t> computeConstantLowerOrUpperBound(unsigned pos);