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

--- Comment #1 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
/* x | C -> C if we know that x & ~C == 0.  */
(simplify
 (bit_ior SSA_NAME@0 INTEGER_CST@1)
 (if (INTEGRAL_TYPE_P (TREE_TYPE (@0))
      && wi::bit_and_not (get_nonzero_bits (@0), wi::to_wide (@1)) == 0)
  @1))
#endif


Again ...

Reply via email to