Derleyici, bölmeyi

Question

çoğaltımına göre optimize eder. Bu soruya bağlı olarak Floating point division vs floating point multiplication. Bölüm, bazı sebeplerden dolayı çarpmadan daha yavaştır.

Derleyici, genellikle, varsa, bölme ile çarpma yerini alacak mı? Örneğin

:

float a; 
// During runtime a=5.4f 
float b = a/10.f; 

o olacak:

float a; 
// During runtime a=5.4f 
float b = a*0.1f; 

olsun, hani VS2013 varsayılan derleyici kullanıyorum bir derleyici güvenilir bir soru olarak kabul edilir. Ancak, jenerik bir cevabım (bu optimizasyonun teorik geçerliliği)

Answer 1

Hayır, derleyicinin genel durum için bunu yapmasına izin verilmezse iyi olur: iki işlem bit-özdeş olmayan sonuçlar üretebilir Karşılıklı temsiliyet hatası nedeniyle.

Örneğinizde 0.1, float numaralı tam temsil hakkına sahip değildir.

float f = 21736517; 
float a = f/10.f; 
float b = f * 0.1f; 
cout << (a == b) << endl; // Prints zero 

Demo.

Not: doğru aşağıda açıklamada notlarınjuffa gibi durumlar olduğunda derleyici olabilir markasını Bu farklılık 10 tarafından 0.1 ve bölünerek çoğalması sonuçlarını neden olur this paper'da açıklandığı gibi geniş bir sayı kümesi için bazı optimizasyonlar. Örneğin, ikisinin gücü ile çarpma veya bölme, IEEE-754 float gösteriminin üs bölgesine ilave edilmesine eşdeğerdir.