Che tipo di ottimizzazioni sono incluse in -funsafe-math-optimization?

Question

GCC's man page afferma che -funsafe-math-optimizations consente ottimizzazioni che "(a) presuppongono che argomenti e risultati siano validi e (b) possano violare gli standard IEEE o ANSI", ma non è molto preciso, vero?

Cosa potrebbe essere un argomento "non valido" in questo caso? NaN? Infiniti? Subnormals? Numeri negativi a sqrt()?

Quanto sono lontani i risultati consentiti per deviare dagli standard IEEE o ANSI? È "semplicemente" roba come operation associativity and ordering, o potrebbe includere ad es. confronti reali con NaNs o confronti scorretti con infiniti? Una variabile memorizzata può essere arrotondata dopo essere stata già utilizzata (in modo che, per variabilix e , (x == y) + (x == y) potrebbe valutare 1)? Potrebbe isinf()/isnan() smettere di funzionare?

Gli sviluppatori GCC seguono un particolare sistema o disciplina per quanto riguarda tali domande o la risposta potrebbe differire da una versione all'altra?

Answer 1

Secondo gcc.gnu.org (il mio grassetto):

Questa modalità permette ottimizzazioni che permettono reassociations arbitrarie e trasformazioni senza precisione garantisce. Inoltre, non prova a conservare il segno di zeri.

che include il tuo menzione di associative reordering, così come "funzioni incorporate [che] hanno nomi come __builtin_sqrt" essere applicata quando "possono avere meno di precisione o essere limitato a un dominio più piccolo"