https://gcc.gnu.org/bugzilla/show_bug.cgi?id=117123
--- Comment #1 from Davide Italiano <dccitaliano at gmail dot com> --- I'd like to point out that in GCC-13.3 this seems to emit much shorter code: i.e. https://godbolt.org/z/YEvbs14PY _Z8patatinoi: movl %edi, %eax cmpl $5, %edi jle .L2 testl $1, %edi jne .L2 cmpl $10, %edi je .L2 addl %eax, %eax .L2: ret