https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103429
--- Comment #4 from Martin Liška <marxin at gcc dot gnu.org> ---
So it's very funny what's happening here. iftoswitch pass is called for all
e.g.
f_dispatch_always_inline<10>, f_dispatch_always_inline<9> and so on until
f_dispatch_always_inline<5> which is converted to switch.
And then all early passes are called for f_dispatch_always_inline<4> which
include einline and we end up with:
__attribute__((always_inline))
void f_dispatch_always_inline<4> (int i)
{
<bb 2> :
if (i_2(D) == 4)
goto <bb 3>; [INV]
else
goto <bb 4>; [INV]
<bb 3> :
f<4> ();
goto <bb 11>; [INV]
<bb 4> :
switch (i_2(D)) <default: <L9> [16.67%], case 5: <L3> [16.67%], case 6: <L4>
[16.67%], case 7: <L5> [16.67%], case 8: <L6> [16.67%], case 9: <L7> [16.67%]>
<bb 5> :
<L3>:
f<5> ();
goto <bb 11>; [100.00%]
<bb 6> :
<L4>:
f<6> ();
goto <bb 11>; [100.00%]
<bb 7> :
<L5>:
f<7> ();
goto <bb 11>; [100.00%]
<bb 8> :
<L6>:
f<8> ();
goto <bb 11>; [100.00%]
<bb 9> :
<L7>:
f<9> ();
<bb 11> :
<L9>:
return;
}
which is a mixture of if and switch statements.
So what we basically need is if-to-switch hybrid support for if-else chain
combined with switches.
