-Basit-math-only tarafından kolaylaştırılan optimizasyonlar nelerdir?

Question

tek şey belgelerinde bulabilirsiniz info ve web -ffinite-matematik okunur "argümanlar ve sonuçlar NaN'ler veya + -Infs olmadıklarını farz kayan noktalı aritmetik için optimizasyonları izin ver" dir. Bu bana gelecek gibi görünmüyor. tam olarak bu optimizasyonlar nedir? sayesinde küçük şeylerden

Answer 1

sürü gibi varsayımı altında optimize edilebilir:

• x == x ->1
• x * 1 ->x
• x >= y ->!(x < y) ve benzeri.
• x/x ->1 derleyici x != 0 kanıtlayabilirsem.
• Bir derleyicinin x > y ? x : y gibi ifadeler için donanım maks/dakika yönergelerini kullanmasına izin verebilir. >0 -
  • x - x:
  • ... çok daha fazla

  Sık sık o gibi şeyler verir "sıfır işareti önemli değil" gibi varsayımlar ile birlikte bu varsayımı bakın

• 0/x ->0
• x * 0 ->0