https://gcc.gnu.org/bugzilla/show_bug.cgi?id=93131
--- Comment #5 from Andrew Pinski <pinskia at gcc dot gnu.org> --- So ((a&8) != 0 ) | ((a&2) != 0 ) is already handled by the generic "(x != 0 | y != 0) -> (x | typeof(x)(y)) != 0". Anyways this is for tomorrow.