dist/gcc/range-op.cc

129 			 const wide_int &lh_lb ATTRIBUTE_UNUSED,
155 	wide_int lh_lb = lh.lower_bound (x);
159 	wi_fold (tmp, type, lh_lb, lh_ub, rh_lb, rh_ub);
899 		        const wide_int &lh_lb,
907 			const wide_int &lh_lb, const wide_int &lh_ub,
912   wide_int new_lb = wi::add (lh_lb, rh_lb, s, &ov_lb);
944 		        const wide_int &lh_lb,
952 			 const wide_int &lh_lb, const wide_int &lh_ub,
957   wide_int new_lb = wi::sub (lh_lb, rh_ub, s, &ov_lb);
983 		        const wide_int &lh_lb,
991 		       const wide_int &lh_lb, const wide_int &lh_ub,
995   wide_int new_lb = wi::min (lh_lb, rh_lb, s);
1005 		        const wide_int &lh_lb,
1013 		       const wide_int &lh_lb, const wide_int &lh_ub,
1017   wide_int new_lb = wi::max (lh_lb, rh_lb, s);
1035 			 const wide_int &lh_lb,
1056 					  const wide_int &lh_lb,
1067   if (wi_op_overflows (cp1, type, lh_lb, rh_lb))
1069   if (wi::eq_p (lh_lb, lh_ub))
1075   else if (wi_op_overflows (cp2, type, lh_lb, rh_ub))
1077   if (wi::eq_p (lh_lb, lh_ub))
1100 		        const wide_int &lh_lb,
1130 			const wide_int &lh_lb, const wide_int &lh_ub,
1135       wi_cross_product (r, type, lh_lb, lh_ub, rh_lb, rh_ub);
1151   widest2_int min0 = widest2_int::from (lh_lb, sign);
1213 		        const wide_int &lh_lb,
1267 		       const wide_int &lh_lb, const wide_int &lh_ub,
1277   const wide_int dividend_min = lh_lb;
1372 			const wide_int &lh_lb, const wide_int &lh_ub,
1413 			  const wide_int &lh_lb, const wide_int &lh_ub,
1440       else if (wi::ltu_p (high_bound, lh_lb))
1455 	  && wi::lts_p (low_bound, lh_lb))
1466     wi_cross_product (r, type, lh_lb, lh_ub, rh_lb, rh_ub);
1496 		        const wide_int &lh_lb,
1539 			  const wide_int &lh_lb, const wide_int &lh_ub,
1542   wi_cross_product (r, type, lh_lb, lh_ub, rh_lb, rh_ub);
1579       wide_int lh_lb = lh.lower_bound (x);
1588 	  || wi::rshift (wi::sub (lh_ub, lh_lb),
1592 	  wide_int min = wide_int::from (lh_lb, outer_prec, inner_sign);
1763 		        const wide_int &lh_lb,
1783 		    const wide_int &lh_lb, const wide_int &lh_ub,
1791       lower_bound = lh_lb;
1794   else if (wi::eq_p (lh_lb, lh_ub))
1796       mask = lh_lb;
1890 			       const wide_int &lh_lb,
1895   if (wi_optimize_and_or (r, BIT_AND_EXPR, type, lh_lb, lh_ub, rh_lb, rh_ub))
1900   wi_set_zero_nonzero_bits (type, lh_lb, lh_ub,
1920   if (wi::ge_p (lh_lb, 0, sign))
1930 	  && ((wi::eq_p (lh_lb, lh_ub)
1931 	       && !wi::cmps (lh_lb, sign_bit))
2036 		        const wide_int &lh_lb,
2044 			      const wide_int &lh_lb,
2049   if (wi_optimize_and_or (r, BIT_IOR_EXPR, type, lh_lb, lh_ub, rh_lb, rh_ub))
2054   wi_set_zero_nonzero_bits (type, lh_lb, lh_ub,
2064   if (wi::ge_p (lh_lb, 0, sign)
2067       new_lb = wi::max (new_lb, lh_lb, sign);
2074     new_lb = wi::max (new_lb, lh_lb, sign);
2111 		        const wide_int &lh_lb,
2119 			       const wide_int &lh_lb,
2127   wi_set_zero_nonzero_bits (type, lh_lb, lh_ub,
2153 		        const wide_int &lh_lb,
2161 			     const wide_int &lh_lb,
2190       tmp = lh_lb;
2349 		        const wide_int &lh_lb,
2360 		       const wide_int &lh_lb, const wide_int &lh_ub,
2369   if (sign == UNSIGNED || wi::ge_p (lh_lb, 0, sign))
2371       r = value_range (type, lh_lb, lh_ub);
2379   if (!TYPE_OVERFLOW_UNDEFINED (type) && wi::eq_p (lh_lb, min_value))
2387   if (wi::eq_p (lh_lb, min_value))
2390     min = wi::abs (lh_lb);
2398   if (wi::le_p (lh_lb, 0, sign) && wi::ge_p (lh_ub, 0, sign))
2452 			const wide_int &lh_lb, const wide_int &lh_ub,
2458 			const wide_int &lh_lb, const wide_int &lh_ub,
2465   if (wi::ges_p (lh_lb, 0))
2467       new_lb = lh_lb;
2472       new_lb = wi::abs (lh_lb);
2568 		        const wide_int &lh_lb,
2576 				const wide_int &lh_lb,
2597   if ((!wi_includes_zero_p (type, lh_lb, lh_ub)
2603   else if (lh_lb == lh_ub && lh_lb == 0
2615 			const wide_int &lh_lb, const wide_int &lh_ub,
2621 				   const wide_int &lh_lb,
2630   if (!wi_includes_zero_p (type, lh_lb, lh_ub)
2633   else if (wi_zero_p (type, lh_lb, lh_ub) && wi_zero_p (type, rh_lb, rh_ub))
2644 			const wide_int &lh_lb, const wide_int &lh_ub,
2650 			       const wide_int &lh_lb,
2657   if (wi_zero_p (type, lh_lb, lh_ub) || wi_zero_p (type, lh_lb, lh_ub))
2668 			const wide_int &lh_lb, const wide_int &lh_ub,
2674 			      const wide_int &lh_lb,
2681   if (!wi_includes_zero_p (type, lh_lb, lh_ub)
2684   else if (wi_zero_p (type, lh_lb, lh_ub) && wi_zero_p (type, rh_lb, rh_ub))