https://gcc.gnu.org/bugzilla/show_bug.cgi?id=68027
--- Comment #4 from SztfG at yandex dot ru ---
I think this can be optimized in this way:
cmpl $100, %edi
jg a1
jne a2
jmp a3
without any label jumps
