[Bug target/42200] Suboptimal optimization: after x / 2 carry flag == x & 1

[pinskia at gcc dot gnu.org via Gcc-bugs]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=42200

--- Comment #2 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
GCC 8+ produces this for both:
        cmpl    $1, %edi
        jbe     .L1
        testb   $1, %dil
        je      .L4
.L1:
        ret
.L4:
        shrl    %edi
        jmp     a