2012-04-13 6 views
5

सभी जानकारी जो मैं दस्तावेज और वेब-अनंत-गणित के लिए वेब में पा सकता हूं, केवल "फ्लोटिंग-पॉइंट अंकगणित के लिए अनुकूलन की अनुमति दें जो मानते हैं कि तर्क और परिणाम NaNs या + -Infs नहीं हैं।" यह मेरे लिए आने वाला प्रतीत नहीं होता है। क्या किसी को वास्तव में पता है कि ये अनुकूलन क्या हैं? धन्यवाद-अनंत-गणित द्वारा केवल अनुकूलन की सुविधा क्या है?

+0

शायद 'x == x' सत्य को अनुकूलित किया जाएगा। – Mysticial

+1

http://gcc.gnu.org/wiki/FloatingPointMath – janneb

उत्तर

8

थोड़ा चीजों के बहुत सारे की तरह है कि इस धारणा के तहत अनुकूलित किया जा सकता है,:

  • x == x ->1
  • x * 1 ->x
  • x >= y ->!(x < y) और इसी तरह की।
  • x/x ->1 यदि संकलक x != 0 साबित कर सकता है।
  • यह एक संकलक को x > y ? x : y जैसे अभिव्यक्तियों के लिए हार्डवेयर अधिकतम/न्यूनतम निर्देशों का उपयोग करने की अनुमति दे सकता है। >0 -

    • x - x:
    • ... बहुत अधिक

    आप अक्सर की तरह "शून्य के हस्ताक्षर कोई फर्क नहीं पड़ता" मान्यताओं, जो तब जैसी चीजों के लिए अनुमति देता है के साथ एक साथ इस धारणा को देखने के

  • 0/x ->0
  • x * 0 ->0
संबंधित मुद्दे