https://gcc.gnu.org/bugzilla/show_bug.cgi?id=82479
amker at gcc dot gnu.org changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |amker at gcc dot gnu.org --- Comment #9 from amker at gcc dot gnu.org --- (In reply to Richard Biener from comment #7) > Technically loop distribution would be one place to add this. Or SCEV cprop. It's trivial to detect such pattern in distribution, but we do need to better handle reduction. > > The pattern matching should be quite cheap - the question is of course how > many > different ways to express popcount exist... so it does somewhat feel like a > SPEC hack... Given it's useful in cryptography, it might not be that "hacking".