Merge pull request #23 from bryantam/wala-feature/FloatLiterals

added check for float and double using if-statements

Author: bryantam

lib/WALASupport/InstrKindInfoGetter.cpp

@@ -233,22 +233,29 @@ jobject InstrKindInfoGetter::handleFloatLiteralInst() {
   FloatLiteralInst* castInst = cast<FloatLiteralInst>(instr);
   APFloat value = castInst->getValue();
 
-  if (value.isFinite()) {
+  if (&value.getSemantics() == &APFloat::IEEEsingle()) {
+    // To Float
+    node = (*wala)->makeConstant(value.convertToFloat());
+  }
+  else if (&value.getSemantics() == &APFloat::IEEEdouble()) {
+    // To Double
+    node = (*wala)->makeConstant(value.convertToDouble());
+  }
+  else if (value.isFinite()) {
     // To BigDecimal
     SmallVector<char, 128> buf;
     value.toString(buf);
     jobject bigDecimal = (*wala).makeBigDecimal(buf.data(), buf.size());
     node = (*wala)->makeConstant(bigDecimal);
-    nodeMap->insert(std::make_pair(castInst, node));
   } 
   else {
     // Infinity or NaN, convert to double 
     // as BigDecimal constructor cannot accept strings of these
     bool APFLosesInfo;
     value.convert(APFloat::IEEEdouble(), APFloat::rmNearestTiesToEven, &APFLosesInfo);
     node = (*wala)->makeConstant(value.convertToDouble());
-    nodeMap->insert(std::make_pair(castInst, node));
   }
+  nodeMap->insert(std::make_pair(castInst, node));
   return node;
 }