곱하기

Question

한다고 가정 내가 가진 :

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 

Answer 1

- 0.0 * 부정적인 뭔가 -0.0 당신이 실제로 r[0]*r[1]의 부호를 계산해야하므로 그렇지 않으면, 0.0입니다.

Answer 2

컴파일러는 IEEE754를 구현 여부에 따라 달라집니다. C 나 C++ 모두 컴파일러가 NaN을 지원해야하지만, IEEE754는 지원하지 않습니다.

그것은 단지 inf 거기 최적화를 방지 NaN, 그것은 또한 징조되지