Как gcc может оптимизировать отдельные вызовы sin(x) и cos(x) в отдельные sincos? ⇐ C++

[Anonymous]

Это код C++:

Код: Выделить всё

#include
double f1(double a){
return std::cos(a);
}

double f2(double a){
return std::cos(a) + std::sin(a);
}

скомпилируется в следующую сборку (https://godbolt.org/z/Y578h1TKx)

Код: Выделить всё

f1(double):
jmp     cos
f2(double):
sub     rsp, 24
lea     rdi, [rsp+8]
mov     rsi, rsp
call    sincos
movsd   xmm0, QWORD PTR [rsp+8]
addsd   xmm0, QWORD PTR [rsp]
add     rsp, 24
ret

Означает ли это, что gcc знает стандартные функции glibc и имеет технику оптимизации для конкретных случаев их использования?

Подробнее здесь: https://stackoverflow.com/questions/790 ... gle-sincos