Moltiplicare per 0 ottimizzazione

Question

Supponiamo che io sono:

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

dovrebbe compilatore in grado di ottimizzare il segmento, o ha ancora per eseguire l'operazione, nel caso in cui i valori potrebbero essere inf o 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 

sembra nessuna eliminazione?

aha:

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 

Answer 1

Non è solo inf e NaN che impediscono l'ottimizzazione lì, è anche il segno - 0.0 * qualcosa di negativo è -0.0, altrimenti è 0.0, quindi in realtà si deve calcolare il segno della r[0]*r[1].

Answer 2

dipende se il compilatore implementa IEEE754. Né C né C++ richiede che un compilatore supporti NaN, ma lo fa IEEE754.