Умножение на 0 оптимизация

Предположим, что i:

double f(const double *r) {
    return 0*(r[0]*r[1]);
}

должен ли компилятор оптимизировать сегмент или выполнять операцию, если значения могут быть inf или nan?

gcc -O3 -S test.c:

        .file   "test.c"
        .text
        .p2align 4,,15
.globl f
        .type   f, @function
f:
.LFB0:
        .cfi_startproc
        movsd   (%rdi), %xmm0
        mulsd   8(%rdi), %xmm0
        mulsd   .LC0(%rip), %xmm0
        ret
        .cfi_endproc
.LFE0:
        .size   f, .-f
        .section        .rodata.cst8,"aM",@progbits,8
        .align 8
.LC0:
        .long   0
        .long   0
        .ident  "GCC: (Ubuntu 4.4.3-4ubuntu5) 4.4.3"
        .section        .note.GNU-stack,"",@progbits

Кажется, не устранение?

ах:

gcc -O3  -ffast-math  -S test.c

        .file   "test.c"
        .text
        .p2align 4,,15
.globl f
        .type   f, @function
f:
.LFB0:
        .cfi_startproc
        xorpd   %xmm0, %xmm0
        ret
        .cfi_endproc
.LFE0:
        .size   f, .-f
        .ident  "GCC: (Ubuntu 4.4.3-4ubuntu5) 4.4.3"
        .section        .note.GNU-stack,"",@progbits

Ответ 1

Это не только inf и NaN, которые препятствуют оптимизации там, но и знак - 0.0 * что-то отрицательное -0.0, в противном случае это 0.0, поэтому вам действительно нужно вычислить знак r[0]*r[1].

Ответ 2

Зависит от того, реализует ли компилятор IEEE754. Ни C, ни С++ не требуют, чтобы компилятор поддерживал NaN, но IEEE754 делает.