Optimize edilmiş bir ftol
işlev yazarken bazı garip davranışlar buldum GCC 4.6.1
. Önce kodu göstereyim (açıklık için farklılıkları işaretledim):
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 */
}
Aynı görünüyor mu? GCC buna katılmıyor. Bununla derledikten sonra gcc -O3 -S -Wall -o test.s test.c
montaj çıktısı:
fast_trunc_one, oluşturuldu:
_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, oluşturuldu:
_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
Bu aşırı bir fark. Bu aslında profilde de görülür, fast_trunc_one
yaklaşık% 30 daha hızlıdır fast_trunc_two
. Şimdi sorum: buna ne sebep oluyor?
-S -O3 -da -fdump-tree-all
. Bu, ara gösterimin birçok anlık görüntüsünü oluşturur. Yan yana (numaralandırılmış) gezinin ve ilk durumda eksik optimizasyonu bulabilmeniz gerekir.
int
değiştirin unsigned int
ve farkın kaybolup kaybolmadığına bakın.
(r + shifted) ^ sign
ile aynı değildir r + (shifted ^ sign)
. Sanırım bu optimize ediciyi kafa karıştırıyor mu? FWIW, MSVC 2010 (16.00.40219.01) birbiriyle neredeyse aynı olan listeleri üretir: gist.github.com/2430454