W jaki sposób kompilatory C i C++ implementują decyzję równości dla liczb zmiennoprzecinkowych?

Question

Na przykład

float a = 1.0; 
float b = 1.2; 

puts(a == b? "equal": "not equal"); 

zajmuje kompilatora z nim bitwisely lub za pomocą innych metod?

(wiem, że nie jest to dobry wybór, aby zdecydować, równość liczb zmiennoprzecinkowych przez „==”, po prostu chcę wiedzieć, jak kompilator oferty z tej sytuacji.)

Answer 1

Ogólna, pełna odpowiedź jest taka, że ​​numery zmiennoprzecinkowe są porównywane zgodnie ze specyfikacją IEEE 754.

Aby odpowiedzieć na to pytanie konkretnie, większość czasu dwie liczby zmiennoprzecinkowe są porównywane bitowego, z kilku wyjątkowych przypadkach:

• pozytywnych i negatywnych zera są uznawane za równe
• NaN jest uważany nierówny wszystko, nawet NaN samego
• Subnormals może porównać równe zeru i innych subnormals w niektórych trybach pracy (na przykład „gładkimi subnormals do zera”)
• innych niż te ex ceptions, regularne porównanie bitowe jest używane

Answer 2

Ja zakładając, że znaczy po skompilowaniu programu, w jaki sposób porównuje on dwie zmienne. Sposób, w jaki przechowywane są pływaki, jest bardzo unikalny. Jest przechowywany przez znak, wykładnik i ułamek, jak widać here. Dlatego, o ile nie jest absolutnie równy, program zobaczy nawet 1 i 1.000000000001 jako różne. Aby sprawdzić, czy są one prawie równe, można użyć następujących:

bool AlmostEqualRelativeOrAbsolute(float A, float B, 
      float maxRelativeError, float maxAbsoluteError) 
{ 
    if (fabs(A - B) < maxAbsoluteError) 
     return true; 
    float relativeError; 
    if (fabs(B) > fabs(A)) 
     relativeError = fabs((A - B)/B); 
    else 
     relativeError = fabs((A - B)/A); 
    if (relativeError <= maxRelativeError) 
     return true; 
    return false; 
} 

Kod jest otrzymywany z here, może chcesz przeczytać więcej na stronie.

Answer 3

gcc i clang korzystają z instrukcji UCOMISS x86/x64.

Źródło: tried it z -O3 i sprawdzono dane wyjściowe zespołu.