Під час написання оптимізованої ftol
функції я виявив дуже дивну поведінку GCC 4.6.1
. Дозвольте спочатку показати вам код (для наочності я позначив відмінності):
fast_trunc_one, C:
int fast_trunc_one(int i) {
int mantissa, exponent, sign, r;
mantissa = (i & 0x07fffff) | 0x800000;
exponent = 150 - ((i >> 23) & 0xff);
sign = i & 0x80000000;
if (exponent < 0) {
r = mantissa << -exponent; /* diff */
} else {
r = mantissa >> exponent; /* diff */
}
return (r ^ -sign) + sign; /* diff */
}
fast_trunc_two, C:
int fast_trunc_two(int i) {
int mantissa, exponent, sign, r;
mantissa = (i & 0x07fffff) | 0x800000;
exponent = 150 - ((i >> 23) & 0xff);
sign = i & 0x80000000;
if (exponent < 0) {
r = (mantissa << -exponent) ^ -sign; /* diff */
} else {
r = (mantissa >> exponent) ^ -sign; /* diff */
}
return r + sign; /* diff */
}
Здається, це ж правильно? Добре GCC не погоджується. Після компіляції gcc -O3 -S -Wall -o test.s test.c
це збірний вихід:
fast_trunc_one, створено:
_fast_trunc_one:
LFB0:
.cfi_startproc
movl 4(%esp), %eax
movl $150, %ecx
movl %eax, %edx
andl $8388607, %edx
sarl $23, %eax
orl $8388608, %edx
andl $255, %eax
subl %eax, %ecx
movl %edx, %eax
sarl %cl, %eax
testl %ecx, %ecx
js L5
rep
ret
.p2align 4,,7
L5:
negl %ecx
movl %edx, %eax
sall %cl, %eax
ret
.cfi_endproc
fast_trunc_two, створено:
_fast_trunc_two:
LFB1:
.cfi_startproc
pushl %ebx
.cfi_def_cfa_offset 8
.cfi_offset 3, -8
movl 8(%esp), %eax
movl $150, %ecx
movl %eax, %ebx
movl %eax, %edx
sarl $23, %ebx
andl $8388607, %edx
andl $255, %ebx
orl $8388608, %edx
andl $-2147483648, %eax
subl %ebx, %ecx
js L9
sarl %cl, %edx
movl %eax, %ecx
negl %ecx
xorl %ecx, %edx
addl %edx, %eax
popl %ebx
.cfi_remember_state
.cfi_def_cfa_offset 4
.cfi_restore 3
ret
.p2align 4,,7
L9:
.cfi_restore_state
negl %ecx
sall %cl, %edx
movl %eax, %ecx
negl %ecx
xorl %ecx, %edx
addl %edx, %eax
popl %ebx
.cfi_restore 3
.cfi_def_cfa_offset 4
ret
.cfi_endproc
Це надзвичайна різниця. Це фактично виявляється і в профілі, fast_trunc_one
приблизно на 30% швидше, ніж fast_trunc_two
. Тепер моє запитання: що це викликає?
-S -O3 -da -fdump-tree-all
. Це створить безліч знімків проміжного представлення. Пройдіться по них (вони пронумеровані) пліч-о-пліч, і ви повинні мати можливість знайти оптимізацію, що відсутня, у першому випадку.
int
на unsigned int
та побачити, чи не зникає різниця.
(r + shifted) ^ sign
не такий, як r + (shifted ^ sign)
. Я думаю, що це заплутує оптимізатор? FWIW, MSVC 2010 (16.00.40219.01) створює списки, майже однакові між собою: gist.github.com/2430454