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 ...