Я программирую C на окнах cygwin. Немного попрограммировав на C и освоившись с языком, я захотел заглянуть под капот и посмотреть, что компилятор делает с кодом, который я пишу.
Поэтому я записал блок кода, содержащий операторы switch case, и преобразовал их в сборку, используя:
gcc -S foo.c
Вот исходник С:
switch(i)
{
case 1:
{
printf("Case 1\n");
break;
}
case 2:
{ printf("Case 2\n");
break;
}
case 3:
{
printf("Case 3\n");
break;
}
case 4:
{
printf("Case 4\n");
break;
}
case 5:
{
printf("Case 5\n");
break;
}
case 6:
{
printf("Case 6\n");
break;
}
case 7:
{
printf("Case 7\n");
break;
}
case 8:
{
printf("Case 8\n");
break;
}
case 9:
{
printf("Case 9\n");
break;
}
case 10:
{
printf("Case 10\n");
break;
}
default:
{
printf("Nothing\n");
break;
}
}
Теперь результирующая сборка для того же:
movl $5, -4(%ebp)
cmpl $10, -4(%ebp)
ja L13
movl -4(%ebp), %eax
sall $2, %eax
movl L14(%eax), %eax
jmp *%eax
.section .rdata,"dr"
.align 4
L14:
.long L13
.long L3
.long L4
.long L5
.long L6
.long L7
.long L8
.long L9
.long L10
.long L11
.long L12
.text
L3:
movl $LC0, (%esp)
call _printf
jmp L2
L4:
movl $LC1, (%esp)
call _printf
jmp L2
L5:
movl $LC2, (%esp)
call _printf
jmp L2
L6:
movl $LC3, (%esp)
call _printf
jmp L2
L7:
movl $LC4, (%esp)
call _printf
jmp L2
L8:
movl $LC5, (%esp)
call _printf
jmp L2
L9:
movl $LC6, (%esp)
call _printf
jmp L2
L10:
movl $LC7, (%esp)
call _printf
jmp L2
L11:
movl $LC8, (%esp)
call _printf
jmp L2
L12:
movl $LC9, (%esp)
call _printf
jmp L2
L13:
movl $LC10, (%esp)
call _printf
L2:
Теперь в сборке код сначала проверяет последний случай (т.е. случай 10). Это очень странно. А затем он копирует «i» в «eax» и делает то, что мне не по силам.
Я слышал, что компилятор реализует некоторую таблицу переходов для switch..case. Это то, что делает этот код? Или что он делает и почему? Потому что в случае меньшего количества случаев код очень похож на сгенерированный для лестницы if...else, но когда количество случаев увеличивается, видна эта необычная реализация.
Заранее спасибо.
call _printf
. Ни один из gcc/clang/icc не делает этого даже в-O3
. godbolt.org/g/JrSwU3 (хотя они оптимизируютprintf
доputs
и оптимизируют хвост- вызовjmp
вместоcall
/ret
) - person Peter Cordes   schedule 31.08.2017