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

            Bug ID: 113741
           Summary: missed / wrong optimization switch transformation to
                    same function call
           Product: gcc
           Version: 14.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: tree-optimization
          Assignee: unassigned at gcc dot gnu.org
          Reporter: b.buschinski at googlemail dot com
  Target Milestone: ---

Created attachment 57308
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=57308&action=edit
Attached code + asm from the compiler explorer link

Compiler Explorer Link: https://godbolt.org/z/KozK9M5YY

The code is reduced from a "hot" path with huge macros.

I actually improved the macros with adding the "else" in the code, but I
noticed it suddenly created even more instructions and got slower.

The GCC version has 52 ASM lines.
The clang version only 9 ASM lines.

Clang is doing a better job here.

As far as I understand the ASM code, GCC generates a switch statement, but
after the:

cmp     edi, 5
ja      .L11

it should not be needed at all anymore.

Additionally, GCC "reloads" the static values again

(for every .L*: label)
mov     edi, 4

, which are already stored in "i" (C code).

Tested with GCC-13.2 and compiler explorer gcc "trunk".
On x86_64 Linux.


Please let me know if you need any additional details or if this report was
useful at all.

Reply via email to