https://gcc.gnu.org/bugzilla/show_bug.cgi?id=105253
--- Comment #13 from Richard Biener <rguenth at gcc dot gnu.org> --- (In reply to Jakub Jelinek from comment #10) > Created attachment 52796 [details] > gcc12-pr105253.patch > > Now in (untested) patch form. > Note, the kernel still should provide __popcount[sd]i2, but in this case the > intent was that we don't emit calls and only hw instructions. Meh. Adding (useless) conversions in niter analysis to make the predicate happy would be against what we do everywhere else where we simply rewrite GIMPLE back to GENERIC without considering GENERICs stronger type system :/