संकलक

Question

में संकलक को विभाजन को अनुकूलित करेगा Floating point division vs floating point multiplication इस प्रश्न के आधार पर। कुछ कारणों से प्रभाग गुणा से धीमा है।

क्या कंपाइलर आमतौर पर गुणा करके विभाजन को प्रतिस्थापित करेगा यदि यह संभव है?

उदाहरण के लिए:

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

यह होगा:

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

यह एक संकलक भरोसेमंद प्रश्न माना जाता है, मैं VS2013 डिफ़ॉल्ट संकलक उपयोग कर रहा हूँ। हालांकि, यह अच्छा होगा अगर मुझे सामान्य जवाब (इस अनुकूलन की सैद्धांतिक वैधता)

Answer 1

नहीं, संकलक को सामान्य मामले के लिए ऐसा करने की अनुमति नहीं है: दो ऑपरेशन ऐसे परिणाम उत्पन्न कर सकते हैं जो थोड़ा समान नहीं हैं पारस्परिक की प्रतिनिधित्व त्रुटि के कारण।

आपके उदाहरण में, 0.1 में float के रूप में सटीक प्रतिनिधित्व नहीं है।

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

Demo.

नोट::njuffa के रूप में सही ढंग से नीचे टिप्पणी में लिखा है, ऐसी परिस्थितियाँ होती हैं, जब संकलक सकता है मेकअप इस 0.1 और 10 द्वारा प्रभाग द्वारा गुणा के परिणाम अलग करने के लिए कारण बनता है this paper में वर्णित संख्याओं के विस्तृत सेट के लिए कुछ अनुकूलन। उदाहरण के लिए, दो की शक्ति से गुणा या विभाजन आईईईई -754 float प्रतिनिधित्व के एक्सपोनेंट हिस्से के अतिरिक्त है।