為什么clang用-O0產(chǎn)生低效率的asm（對于這個簡單的浮點數(shù)總和）？我正在llvm clang Apple LLVM版本8.0.0（clang-800.0.42.1）上反匯編以下代碼：int main() {     float a=0.151234;     float b=0.2;     float c=a+b;     printf("%f", c);}我沒有使用-O規(guī)范進(jìn)行編譯，但是我也嘗試使用-O0（給出相同的值）和-O2（實際上是計算值并將其存儲為預(yù)先計算的）產(chǎn)生的拆卸如下（我刪除了不相關(guān)的零件）->  0x100000f30 <+0>:  pushq  %rbp    0x100000f31 <+1>:  movq   %rsp, %rbp    0x100000f34 <+4>:  subq   $0x10, %rsp    0x100000f38 <+8>:  leaq   0x6d(%rip), %rdi            0x100000f3f <+15>: movss  0x5d(%rip), %xmm0                0x100000f47 <+23>: movss  0x59(%rip), %xmm1             0x100000f4f <+31>: movss  %xmm1, -0x4(%rbp)       0x100000f54 <+36>: movss  %xmm0, -0x8(%rbp)     0x100000f59 <+41>: movss  -0x4(%rbp), %xmm0              0x100000f5e <+46>: addss  -0x8(%rbp), %xmm0    0x100000f63 <+51>: movss  %xmm0, -0xc(%rbp)     ...顯然，它正在執(zhí)行以下操作：將兩個浮點數(shù)加載到寄存器xmm0和xmm1將它們放在堆棧中從堆棧中將一個值（不是xmm0之前的一個值）加載到xmm0執(zhí)行添加。將結(jié)果存儲回堆棧。我發(fā)現(xiàn)效率低下是因為：一切都可以在注冊表中完成。我以后不會使用a和b，因此它可以跳過涉及堆棧的任何操作。即使它想使用堆棧，如果以不同的順序執(zhí)行操作，也可以節(jié)省從堆棧中重新加載xmm0的時間。考慮到編譯器總是正確的，為什么選擇這種策略？