什麼是浮點猜測，它是如何從編譯器的浮點模型

Question

英特爾C++編譯器提供了兩個選項來控制浮點不同：

-fp投機（快速/安全/嚴格的開/關） - fp-模型（精確/快速/嚴格和源/雙/擴展）

我想我明白什麼fp模型。但是什麼是fp-speculation，它與fp-model有什麼關係？我還沒有找到任何解釋這一點的英特爾文檔！

Answer 1

-fp-model影響浮點計算是如何進行的，並且可以改變數字結果（通過許可不安全優化或通過改變精度在該中間結果被評估）。

-fp-speculation不會更改數值結果，但可以影響操作引發的浮點標誌（或者在啓用浮點陷阱時執行哪些陷阱）。 99.99％的程序員不需要關心這些事情，所以你可以運行默認值而不用擔心。

下面是一個具體的例子;假設你有以下功能：

double foo(double x) { 
    // lots of computation 
    if (x >= 0) return sqrt(x); 
    else return x; 
} 

sqrt相對來說慢，這將是很好葫蘆的sqrt(x)這樣計算：

double foo(double x) { 
    const double sqrtx = sqrt(x); 
    // lots of computation 
    if (x >= 0) return sqrtx; 
    else return x; 
} 

通過這樣做，我們允許sqrt計算與其他計算同時進行，減少了我們的函數的等待時間。但是，有一個問題。如果x爲負數，則sqrt(x)將產生無效標誌。在原始程序中，這絕不會發生，因爲sqrt(x)僅在x非負時纔會計算。在修改後的程序中，無條件地計算sqrt(x)。因此，如果x爲負值，則修改的程序會引發無效標誌，而原始程序則不會。

-fp-speculation標誌爲您提供了一種告訴編譯器您是否在意這些情況的方法，因此它知道它是否有權進行這種轉換。

Answer 2

無序執行和推測執行可能導致無關的異常或在錯誤的時間引發異常。

如果這對您很重要，您可以使用fp-speculation選項來控制對浮點指令的猜測。

對於（一點點）的更多信息：http://software.intel.com/sites/products/documentation/hpc/compilerpro/en-us/fortran/lin/compiler_f/copts/common_options/option_fp_speculation.htm

Answer 3

在Windows操作系統上： 1.英特爾編譯器浮動計算32位應用程序與64位應用程序，相同的代碼可以給你不同的結果！無論你選擇哪個國旗：）!!!!

2.Visual studio編譯器浮點計算32位與64位應用程序，相同的代碼輸出相同的結果。