127 			 const wide_int &lh_ub ATTRIBUTE_UNUSED,  in wi_fold()
164 	wide_int lh_ub = lh.upper_bound (x);  in fold_range()  local
167 	wi_fold (tmp, type, lh_lb, lh_ub, rh_lb, rh_ub);  in fold_range()
936 		        const wide_int &lh_ub,
943 			const wide_int &lh_lb, const wide_int &lh_ub,  in wi_fold()  argument
949   wide_int new_ub = wi::add (lh_ub, rh_ub, s, &ov_ub);  in wi_fold()
981 		        const wide_int &lh_ub,
988 			 const wide_int &lh_lb, const wide_int &lh_ub,  in wi_fold()  argument
994   wide_int new_ub = wi::sub (lh_ub, rh_lb, s, &ov_ub);  in wi_fold()
1020 		        const wide_int &lh_ub,
1027 		       const wide_int &lh_lb, const wide_int &lh_ub,  in wi_fold()  argument
1032   wide_int new_ub = wi::min (lh_ub, rh_ub, s);  in wi_fold()
1042 		        const wide_int &lh_ub,
1049 		       const wide_int &lh_lb, const wide_int &lh_ub,  in wi_fold()  argument
1054   wide_int new_ub = wi::max (lh_ub, rh_ub, s);  in wi_fold()
1072 			 const wide_int &lh_ub,
1093 					  const wide_int &lh_ub,  in wi_cross_product()  argument
1105   if (wi::eq_p (lh_lb, lh_ub))  in wi_cross_product()
1107   else if (wi_op_overflows (cp3, type, lh_ub, rh_lb))  in wi_cross_product()
1113   if (wi::eq_p (lh_lb, lh_ub))  in wi_cross_product()
1115   else if (wi_op_overflows (cp4, type, lh_ub, rh_ub))  in wi_cross_product()
1137 		        const wide_int &lh_ub,
1197 			const wide_int &lh_lb, const wide_int &lh_ub,  in wi_fold()  argument
1202       wi_cross_product (r, type, lh_lb, lh_ub, rh_lb, rh_ub);  in wi_fold()
1219   widest2_int max0 = widest2_int::from (lh_ub, sign);  in wi_fold()
1281 		        const wide_int &lh_ub,
1334 		       const wide_int &lh_lb, const wide_int &lh_ub,  in wi_fold()  argument
1345   const wide_int dividend_max = lh_ub;  in wi_fold()
1442 			const wide_int &lh_lb, const wide_int &lh_ub,
1458 			const wide_int &lh_ub,
1510 			  const wide_int &lh_lb, const wide_int &lh_ub,  in wi_fold()  argument
1530       if (wi::ltu_p (lh_ub, low_bound))  in wi_fold()
1551       if (wi::lts_p (lh_ub, high_bound)  in wi_fold()
1563     wi_cross_product (r, type, lh_lb, lh_ub, rh_lb, rh_ub);  in wi_fold()
1742 			  const wide_int &lh_lb, const wide_int &lh_ub,  in wi_fold()  argument
1745   wi_cross_product (r, type, lh_lb, lh_ub, rh_lb, rh_ub);  in wi_fold()
2047 		        const wide_int &lh_ub,
2150 		    const wide_int &lh_lb, const wide_int &lh_ub,  in wi_optimize_and_or()  argument
2159       upper_bound = lh_ub;  in wi_optimize_and_or()
2161   else if (wi::eq_p (lh_lb, lh_ub))  in wi_optimize_and_or()
2266 			       const wide_int &lh_ub,  in wi_fold()  argument
2270   if (wi_optimize_and_or (r, BIT_AND_EXPR, type, lh_lb, lh_ub, rh_lb, rh_ub))  in wi_fold()
2275   wi_set_zero_nonzero_bits (type, lh_lb, lh_ub,  in wi_fold()
2287   if (wi::lt_p (lh_ub, 0, sign) && wi::lt_p (rh_ub, 0, sign))  in wi_fold()
2289       new_ub = wi::min (new_ub, lh_ub, sign);  in wi_fold()
2296     new_ub = wi::min (new_ub, lh_ub, sign);  in wi_fold()
2305 	  && ((wi::eq_p (lh_lb, lh_ub)  in wi_fold()
2511 		        const wide_int &lh_ub,
2519 			      const wide_int &lh_ub,  in wi_fold()  argument
2523   if (wi_optimize_and_or (r, BIT_IOR_EXPR, type, lh_lb, lh_ub, rh_lb, rh_ub))  in wi_fold()
2528   wi_set_zero_nonzero_bits (type, lh_lb, lh_ub,  in wi_fold()
2547   if (wi::lt_p (lh_ub, 0, sign))  in wi_fold()
2591 		        const wide_int &lh_ub,
2605 			       const wide_int &lh_ub,  in wi_fold()  argument
2612   wi_set_zero_nonzero_bits (type, lh_lb, lh_ub,  in wi_fold()
2680 		        const wide_int &lh_ub,
2694 			     const wide_int &lh_ub,  in wi_fold()  argument
2727   tmp = lh_ub;  in wi_fold()
2959 		        const wide_int &lh_ub,
2969 		       const wide_int &lh_lb, const wide_int &lh_ub,  in wi_fold()  argument
2980       r = int_range<1> (type, lh_lb, lh_ub);  in wi_fold()
3000       if (wi::eq_p (lh_ub, min_value))  in wi_fold()
3010   if (wi::eq_p (lh_ub, min_value))  in wi_fold()
3013     max = wi::abs (lh_ub);  in wi_fold()
3017   if (wi::le_p (lh_lb, 0, sign) && wi::ge_p (lh_ub, 0, sign))  in wi_fold()
3071 			const wide_int &lh_lb, const wide_int &lh_ub,
3077 			const wide_int &lh_lb, const wide_int &lh_ub,  in wi_fold()  argument
3087       new_ub = lh_ub;  in wi_fold()
3092       new_ub = wi::abs (lh_ub);  in wi_fold()
3096       if (wi::ges_p (lh_ub, 0))  in wi_fold()
3188 		        const wide_int &lh_ub,
3196 				const wide_int &lh_ub,  in wi_fold()  argument
3201   if (lh_lb == 0 && lh_ub == 0 && rh_lb == rh_ub)  in wi_fold()
3224   if ((!wi_includes_zero_p (type, lh_lb, lh_ub)  in wi_fold()
3230   else if (lh_lb == lh_ub && lh_lb == 0  in wi_fold()
3242 			const wide_int &lh_lb, const wide_int &lh_ub,
3249 				   const wide_int &lh_ub,  in wi_fold()  argument
3257   if (!wi_includes_zero_p (type, lh_lb, lh_ub)  in wi_fold()
3260   else if (wi_zero_p (type, lh_lb, lh_ub) && wi_zero_p (type, rh_lb, rh_ub))  in wi_fold()
3271 			const wide_int &lh_lb, const wide_int &lh_ub,
3278 			       const wide_int &lh_ub,  in wi_fold()  argument
3284   if (wi_zero_p (type, lh_lb, lh_ub) || wi_zero_p (type, lh_lb, lh_ub))  in wi_fold()
3301 			const wide_int &lh_lb, const wide_int &lh_ub,
3331 			      const wide_int &lh_ub,  in wi_fold()  argument
3337   if (!wi_includes_zero_p (type, lh_lb, lh_ub)  in wi_fold()
3340   else if (wi_zero_p (type, lh_lb, lh_ub) && wi_zero_p (type, rh_lb, rh_ub))  in wi_fold()