https://gcc.gnu.org/bugzilla/show_bug.cgi?id=116510
--- Comment #7 from Marc Glisse <glisse at gcc dot gnu.org> --- (In reply to Richard Biener from comment #3) > the issue is that with_possible_nonzero_bits2 also supports SSA_NAMEs, so > @1 cannot be used like this. It has only 2 cases, and both imply INTEGER_CST, if I interpret the match syntax correctly (it's been a while) (match (with_certain_nonzero_bits2 @0) INTEGER_CST@0) (match (with_certain_nonzero_bits2 @0) (bit_ior @1 INTEGER_CST@0))
