GCC неправильно оптимизирует вызов abs()

И правда работает.

Спасибо, теперь везде буду вставлять #define abs(x) (((x) < 0) ? (-(x)) : (x)), на всякий пожарный.

При переносе из неподтвержденных новостей в Talks пропала ссылка: http://gcc.gnu.org/viewcvs/trunk/gcc/fold-const.c?r1=130258&r2=130257&...

См. также http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34130

иди на багзиллу

> теперь везде буду вставлять #define abs(x) (((x) < 0) ? (-(x)) : (x))

А потом напишешь что-то типа abs(a++) и ПРЕВЕД

гы

Сравните верный код VC7:
 mov	eax, 1
 cdq
 xor	eax, edx
 sub	eax, edx
 lea	ecx, DWORD PTR [eax+eax*4]
 imul	eax, -10
 shl	ecx, 1
 cmp	eax, ecx
 ...
и неверный GCC-4.1.2:
 movl	$2, -8(%ebp)
 movl	-8(%ebp), %edx
 movl	%edx, %eax
 sall	$2, %eax
 addl	%edx, %eax
 addl	%eax, %eax
 negl	%eax
 addl	$10, %eax
 cltd
 movl	%edx, %ecx
 xorl	%eax, %ecx
 subl	%edx, %ecx
 movl	-8(%ebp), %edx
 movl	%edx, %eax
 sall	$2, %eax
 addl	%edx, %eax
 addl	%eax, %eax
 subl	$10, %eax
 cltd
 xorl	%edx, %eax
 subl	%edx, %eax
 cmpl	%eax, %ecx
 ...
GCC не смог определить инвариант в условии, и потому его код
делает лишнюю и к тому же неправильную работу

>GCC неправильно оптимизирует

GCC неправильно и не оптимизирует - так ближе к истине

Ты наверное с -O0 компилировал. У меня с -O3 вот что:

.file "test.c" .section .rodata.str1.1,"aMS",@progbits,1 .LC0: .string "OMG,-10==10 in linux!" .text .p2align 4,,15 .globl main .type main, @function main: leal 4(%esp), %ecx andl $-16, %esp pushl -4(%ecx) pushl %ebp movl %esp, %ebp pushl %ecx subl $4, %esp movl $.LC0, (%esp) call puts addl $4, %esp popl %ecx popl %ebp leal -4(%ecx), %esp ret .size main, .-main .ident "GCC: (GNU) 4.2.1 (SUSE Linux)" .section .note.GNU-stack,"",@progbits

Он по ходу модуль даже не вычисляет.

ПИЛЯЯЯЯТЬ

        .file   "test.c"
        .section        .rodata.str1.1,"aMS",@progbits,1
.LC0:
        .string "OMG,-10==10 in linux!"
        .text
        .p2align 4,,15
.globl main
        .type   main, @function
main:
        leal    4(%esp), %ecx
        andl    $-16, %esp
        pushl   -4(%ecx)
        pushl   %ebp
        movl    %esp, %ebp
        pushl   %ecx
        subl    $4, %esp
        movl    $.LC0, (%esp)
        call    puts
        addl    $4, %esp
        popl    %ecx
        popl    %ebp
        leal    -4(%ecx), %esp
        ret
        .size   main, .-main
        .ident  "GCC: (GNU) 4.2.1 (SUSE Linux)"
        .section        .note.GNU-stack,"",@progbits

Усп, я скомпилил с О3, а листинг дал по умолчанию, всё признаю :)

> А потом напишешь что-то типа abs(a++)

Я так не пишу.

Проверил в gcc 2.95.3, (Slackware 8.0). Все работает как надо. Даже с O3

> все программы, скомпилированные официальными версиями GCC и умножающие на отрицательную константу результат функции abs(), которую GCC догадался заменить на встроенную версию.

Следует понимать так: "только nethack и кусок мертвого кода в libtheora".