Иногда компиляторы генерируют код с необычными дубликатами команд, которые можно безопасно удалить. Рассмотрим следующий фрагмент кода:
int gcd(unsigned x, unsigned y) {
return x == 0 ? y : gcd(y % x, x);
}
Вот код сборки (сгенерированный clang 5.0 с включенными оптимизациями):
gcd(unsigned int, unsigned int): # @gcd(unsigned int, unsigned int)
mov eax, esi
mov edx, edi
test edx, edx
je .LBB0_1
.LBB0_2: # =>This Inner Loop Header: Depth=1
mov ecx, edx
xor edx, edx
div ecx
test edx, edx
mov eax, ecx
jne .LBB0_2
mov eax, ecx
ret
.LBB0_1:
ret
В следующем фрагменте:
mov eax, ecx
jne .LBB0_2
mov eax, ecx
Если прыжок не произойдет, eax переназначается без видимой причины.
Другим примером является два ret в конце функции: отлично работать.
Является ли компилятор просто недостаточно интеллектуальным или есть причина не удалять дубликаты?
