https://gcc.gnu.org/bugzilla/show_bug.cgi?id=84321

--- Comment #5 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
Note, we have in set_range_info_raw:
  /* If it is a range, try to improve nonzero_bits from the min/max.  */
  if (range_type == VR_RANGE)
    {
      wide_int xorv = ri->get_min () ^ ri->get_max ();
      if (xorv != 0)
        xorv = wi::mask (precision - wi::clz (xorv), false, precision);
      ri->set_nonzero_bits (ri->get_nonzero_bits () & (ri->get_min () | xorv));
    }
but don't have anything similar for VR_ANTI_RANGE (that is ok) and don't have
anything similar in set_nonzero_bits.

Reply via email to