From: Andrew Lenharth <andrewl@lenharth.org>
Date: Mon, 2 May 2005 21:25:47 +0000 (+0000)
Subject: fold fp div by 0 to inf, the way gcc does.  This is legal according to the FP spec
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=8b9e3e651159653a98141ea89ba35305d7f8c7e2;p=oota-llvm.git

fold fp div by 0 to inf, the way gcc does.  This is legal according to the FP spec


git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@21655 91177308-0d34-0410-b5e6-96231b3b80d8
---

diff --git a/lib/VMCore/ConstantFold.cpp b/lib/VMCore/ConstantFold.cpp
index 98fcf1a32e4..8cb1c074534 100644
--- a/lib/VMCore/ConstantFold.cpp
+++ b/lib/VMCore/ConstantFold.cpp
@@ -470,6 +470,13 @@ struct DirectFPRules
                                    (BuiltinType)V2->getValue());
     return ConstantClass::get(*Ty, Result);
   }
+  static Constant *Div(const ConstantClass *V1, const ConstantClass *V2) {
+    if (V2->isExactlyValue(0.0)) return ConstantClass::get(*Ty, INFINITY);
+    if (V2->isExactlyValue(-0.0)) return ConstantClass::get(*Ty, -INFINITY);
+    if (V2->isNullValue()) return 0;
+    BuiltinType R = (BuiltinType)V1->getValue() / (BuiltinType)V2->getValue();
+    return ConstantClass::get(*Ty, R);
+  }
 };