https://gcc.gnu.org/bugzilla/show_bug.cgi?id=97770
--- Comment #16 from Richard Biener <rguenth at gcc dot gnu.org> --- Changing the signature will not help given we don't want to regress other cases. Instead we have to somehow remove the pro- and demotions with the help of patterns. I think using .POPCOUNT should work there.