https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110637
--- Comment #2 from Richard Biener <rguenth at gcc dot gnu.org> --- Maybe zero_one_valued_p needs a (match zero_one_valued_p (bit_and @0 integer_onep)) ? (hopefully for signed 1-bit precision that doesn't match)