https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108803
--- Comment #6 from Jakub Jelinek <jakub at gcc dot gnu.org> --- Created attachment 54476 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=54476&action=edit gcc13-pr108803.patch Actually, the above patch isn't correct because for op1 equal to 0 we really need the reverse_unsigned_shift to give 0 aka (outof_input >> 1) >> 63 rather than outof_input >> 0 aka outof_input. Anyway, with this patch we get same number of instructions as before on the #c2 functions, the and unfortunately isn't optimized away because it has 2 uses rather than just one, but on the other side 63 - count needs 2 instructions while ~count only one.
