Lines Matching refs:upper_bound
98 || wi::ge_p (op.upper_bound (), in undefined_shift_range_check()
156 wide_int lh_ub = lh.upper_bound (x); in fold_range()
158 wide_int rh_ub = rh.upper_bound (y); in fold_range()
354 if (!wi::eq_p (lhs.upper_bound (), lhs.lower_bound ())) in get_bool_state()
391 if (wi::eq_p (op1.lower_bound (), op1.upper_bound ()) in fold_range()
392 && wi::eq_p (op2.lower_bound (), op2.upper_bound ())) in fold_range()
394 if (wi::eq_p (op1.lower_bound (), op2.upper_bound())) in fold_range()
423 if (wi::eq_p (op2.lower_bound(), op2.upper_bound())) in op1_range()
476 if (wi::eq_p (op1.lower_bound (), op1.upper_bound ()) in fold_range()
477 && wi::eq_p (op2.lower_bound (), op2.upper_bound ())) in fold_range()
479 if (wi::ne_p (op1.lower_bound (), op2.upper_bound())) in fold_range()
508 if (wi::eq_p (op2.lower_bound(), op2.upper_bound())) in op1_range()
608 if (wi::lt_p (op1.upper_bound (), op2.lower_bound (), sign)) in fold_range()
610 else if (!wi::lt_p (op1.lower_bound (), op2.upper_bound (), sign)) in fold_range()
625 build_lt (r, type, op2.upper_bound ()); in op1_range()
646 build_le (r, type, op1.upper_bound ()); in op2_range()
685 if (wi::le_p (op1.upper_bound (), op2.lower_bound (), sign)) in fold_range()
687 else if (!wi::le_p (op1.lower_bound (), op2.upper_bound (), sign)) in fold_range()
702 build_le (r, type, op2.upper_bound ()); in op1_range()
723 build_lt (r, type, op1.upper_bound ()); in op2_range()
761 if (wi::gt_p (op1.lower_bound (), op2.upper_bound (), sign)) in fold_range()
763 else if (!wi::gt_p (op1.upper_bound (), op2.lower_bound (), sign)) in fold_range()
781 build_le (r, type, op2.upper_bound ()); in op1_range()
802 build_lt (r, type, op1.upper_bound ()); in op2_range()
837 if (wi::ge_p (op1.lower_bound (), op2.upper_bound (), sign)) in fold_range()
839 else if (!wi::ge_p (op1.upper_bound (), op2.lower_bound (), sign)) in fold_range()
858 build_lt (r, type, op2.upper_bound ()); in op1_range()
879 build_le (r, type, op1.upper_bound ()); in op2_range()
1580 wide_int lh_ub = lh.upper_bound (x); in fold_range()
1710 if ((wi::eq_p (lh.lower_bound (), 0) && wi::eq_p (lh.upper_bound (), 0)) in fold_range()
1711 || (wi::eq_p (lh.lower_bound (), 0) && wi::eq_p (rh.upper_bound (), 0))) in fold_range()
1787 wide_int lower_bound, upper_bound, mask; in wi_optimize_and_or() local
1792 upper_bound = lh_ub; in wi_optimize_and_or()
1798 upper_bound = rh_ub; in wi_optimize_and_or()
1828 if ((new_mask & lower_bound) != (new_mask & upper_bound)) in wi_optimize_and_or()
1835 res_ub = wi::bit_and (upper_bound, mask); in wi_optimize_and_or()
1840 res_ub = wi::bit_or (upper_bound, mask); in wi_optimize_and_or()
2442 -positives.upper_bound (i), in op1_range()
2875 tree maxint = wide_int_to_tree (integer_type_node, r0.upper_bound ()); in range_tests()
2879 tree maxshort = wide_int_to_tree (short_integer_type_node, r0.upper_bound ()); in range_tests()
2882 tree maxuint = wide_int_to_tree (unsigned_type_node, r0.upper_bound ()); in range_tests()
2928 && r1.upper_bound() == wi::to_wide (maxshort)); in range_tests()