Jakie optymalizacje są uwzględnione w optymalizacjach -funsafe-matematycznych?

Question

GCC stwierdza, że ​​-funsafe-math-optimizations pozwala na optymalizacje, które "(a) zakładają, że argumenty i wyniki są prawidłowe i (b) mogą naruszać standardy IEEE lub ANSI", ale to nie jest zbyt dokładne, prawda?

Co może być "nieważny" argument w tym przypadku? NaNs? Infinites? Podnormały? Liczby ujemne do sqrt()?

Na ile wyniki mogą odbiegać od standardów IEEE lub ANSI? Czy jest to "po prostu" materiał taki jak operation associativity and ordering, czy może to np. prawdziwe porównania z NaN lub nieprawidłowe porównania z nieskończonymi? Czy zmienna przechowywana może zostać ponownie zaokrąglona po użyciu (tak, aby dla zmiennych można było ocenić 1)? Czy może przestać działać isinf()/isnan()?

Czy deweloperzy GCC postępują zgodnie z konkretnym systemem lub dyscypliną w odniesieniu do takich pytań, czy też odpowiedź może różnić się w różny sposób w zależności od wersji?

Answer 1

Według gcc.gnu.org (mój bold):

Ten tryb umożliwia optymalizacje, które pozwalają arbitralne reassociations i transformacje bez dokładność gwarantuje. Nie próbuje także zapisać znaku zer.

Obejmuje swoją wzmianki associative reordering, jak również „wbudowanych funkcji [który] mają nazwy takie jak __builtin_sqrt” stosowane gdy „może mieć mniejszą precyzję lub być ograniczone do mniejszej domenie”