Erick Tryzelaar | a15d890 | 2009-08-16 23:36:19 +0000 | [diff] [blame] | 1 | //===- llvm/unittest/ADT/APFloat.cpp - APFloat unit tests ---------------------===// |
| 2 | // |
| 3 | // The LLVM Compiler Infrastructure |
| 4 | // |
| 5 | // This file is distributed under the University of Illinois Open Source |
| 6 | // License. See LICENSE.TXT for details. |
| 7 | // |
| 8 | //===----------------------------------------------------------------------===// |
| 9 | |
| 10 | #include <ostream> |
| 11 | #include "llvm/Support/raw_ostream.h" |
| 12 | #include "gtest/gtest.h" |
| 13 | #include "llvm/ADT/APFloat.h" |
| 14 | #include "llvm/ADT/SmallString.h" |
| 15 | |
| 16 | using namespace llvm; |
| 17 | |
| 18 | namespace { |
| 19 | |
| 20 | TEST(APFloatTest, Zero) { |
Erick Tryzelaar | 33d7dd6 | 2009-08-17 00:14:11 +0000 | [diff] [blame] | 21 | EXPECT_EQ(0.0f, APFloat(APFloat::IEEEsingle, 0.0f).convertToFloat()); |
| 22 | EXPECT_EQ(-0.0f, APFloat(APFloat::IEEEsingle, -0.0f).convertToFloat()); |
Erick Tryzelaar | a15d890 | 2009-08-16 23:36:19 +0000 | [diff] [blame] | 23 | |
Erick Tryzelaar | 33d7dd6 | 2009-08-17 00:14:11 +0000 | [diff] [blame] | 24 | EXPECT_EQ(0.0, APFloat(APFloat::IEEEdouble, 0.0).convertToDouble()); |
| 25 | EXPECT_EQ(-0.0, APFloat(APFloat::IEEEdouble, -0.0).convertToDouble()); |
Erick Tryzelaar | a15d890 | 2009-08-16 23:36:19 +0000 | [diff] [blame] | 26 | } |
| 27 | |
Erick Tryzelaar | a15d890 | 2009-08-16 23:36:19 +0000 | [diff] [blame] | 28 | TEST(APFloatTest, fromString) { |
Erick Tryzelaar | 33d7dd6 | 2009-08-17 00:14:11 +0000 | [diff] [blame] | 29 | EXPECT_EQ(0.0, APFloat(APFloat::IEEEdouble, "0").convertToDouble()); |
| 30 | EXPECT_EQ(0.0, APFloat(APFloat::IEEEdouble, "0.").convertToDouble()); |
| 31 | EXPECT_EQ(0.0, APFloat(APFloat::IEEEdouble, ".0").convertToDouble()); |
| 32 | EXPECT_EQ(0.0, APFloat(APFloat::IEEEdouble, "0.0").convertToDouble()); |
| 33 | EXPECT_EQ(-0.0, APFloat(APFloat::IEEEdouble, "-0").convertToDouble()); |
| 34 | EXPECT_EQ(-0.0, APFloat(APFloat::IEEEdouble, "-0.").convertToDouble()); |
| 35 | EXPECT_EQ(-0.0, APFloat(APFloat::IEEEdouble, "-.0").convertToDouble()); |
| 36 | EXPECT_EQ(-0.0, APFloat(APFloat::IEEEdouble, "-0.0").convertToDouble()); |
| 37 | EXPECT_EQ(0.0, APFloat(APFloat::IEEEdouble, "0e1234").convertToDouble()); |
| 38 | EXPECT_EQ(0.0, APFloat(APFloat::IEEEdouble, "0e1234").convertToDouble()); |
| 39 | EXPECT_EQ(0.0, APFloat(APFloat::IEEEdouble, "00000.").convertToDouble()); |
| 40 | EXPECT_EQ(0.0, APFloat(APFloat::IEEEdouble, "0000.00000").convertToDouble()); |
| 41 | EXPECT_EQ(0.0, APFloat(APFloat::IEEEdouble, ".00000").convertToDouble()); |
| 42 | EXPECT_EQ(0.0, APFloat(APFloat::IEEEdouble, "0.").convertToDouble()); |
| 43 | EXPECT_EQ(0.0, APFloat(APFloat::IEEEdouble, "0.e1").convertToDouble()); |
| 44 | EXPECT_EQ(0.0, APFloat(APFloat::IEEEdouble, "0.e+1").convertToDouble()); |
| 45 | EXPECT_EQ(0.0, APFloat(APFloat::IEEEdouble, "0.e-1").convertToDouble()); |
| 46 | EXPECT_EQ(0.0, APFloat(APFloat::IEEEdouble, "000.0000e0").convertToDouble()); |
| 47 | EXPECT_EQ(0.0, APFloat(APFloat::IEEEdouble, "000.0000e-0").convertToDouble()); |
| 48 | EXPECT_EQ(0.0, APFloat(APFloat::IEEEdouble, "000.0000e1234").convertToDouble()); |
| 49 | EXPECT_EQ(0.0, APFloat(APFloat::IEEEdouble, "000.0000e-1234").convertToDouble()); |
Erick Tryzelaar | a15d890 | 2009-08-16 23:36:19 +0000 | [diff] [blame] | 50 | |
Erick Tryzelaar | 33d7dd6 | 2009-08-17 00:14:11 +0000 | [diff] [blame] | 51 | EXPECT_EQ(0.0, APFloat(APFloat::IEEEdouble, "0x0p1").convertToDouble()); |
| 52 | EXPECT_EQ(-0.0, APFloat(APFloat::IEEEdouble, "-0x0p1").convertToDouble()); |
| 53 | EXPECT_EQ(0.0, APFloat(APFloat::IEEEdouble, "0x00000.p1").convertToDouble()); |
| 54 | EXPECT_EQ(0.0, APFloat(APFloat::IEEEdouble, "0x0000.00000p1").convertToDouble()); |
| 55 | EXPECT_EQ(0.0, APFloat(APFloat::IEEEdouble, "0x.00000p1").convertToDouble()); |
| 56 | EXPECT_EQ(0.0, APFloat(APFloat::IEEEdouble, "0x0.p1").convertToDouble()); |
| 57 | EXPECT_EQ(0.0, APFloat(APFloat::IEEEdouble, "0x0p1234").convertToDouble()); |
| 58 | EXPECT_EQ(-0.0, APFloat(APFloat::IEEEdouble, "-0x0p1234").convertToDouble()); |
| 59 | EXPECT_EQ(0.0, APFloat(APFloat::IEEEdouble, "0x00000.p1234").convertToDouble()); |
| 60 | EXPECT_EQ(0.0, APFloat(APFloat::IEEEdouble, "0x0000.00000p1234").convertToDouble()); |
| 61 | EXPECT_EQ(0.0, APFloat(APFloat::IEEEdouble, "0x.00000p1234").convertToDouble()); |
| 62 | EXPECT_EQ(0.0, APFloat(APFloat::IEEEdouble, "0x0.p1234").convertToDouble()); |
Daniel Dunbar | cdd93d8 | 2009-08-20 17:12:33 +0000 | [diff] [blame] | 63 | EXPECT_EQ(1.0625, APFloat(APFloat::IEEEdouble, "0x1.1p0").convertToDouble()); |
| 64 | EXPECT_EQ(1.0, APFloat(APFloat::IEEEdouble, "0x1p0").convertToDouble()); |
Erick Tryzelaar | a15d890 | 2009-08-16 23:36:19 +0000 | [diff] [blame] | 65 | |
Erick Tryzelaar | 33d7dd6 | 2009-08-17 00:14:11 +0000 | [diff] [blame] | 66 | EXPECT_EQ(0.0, APFloat(APFloat::IEEEdouble, StringRef("0e1\02", 3)).convertToDouble()); |
Erick Tryzelaar | a15d890 | 2009-08-16 23:36:19 +0000 | [diff] [blame] | 67 | } |
| 68 | |
Erick Tryzelaar | 2ad40a3 | 2009-08-17 00:55:33 +0000 | [diff] [blame] | 69 | #ifdef GTEST_HAS_DEATH_TEST |
| 70 | TEST(APFloatTest, SemanticsDeath) { |
| 71 | EXPECT_DEATH(APFloat(APFloat::IEEEsingle, 0.0f).convertToDouble(), "Float semantics are not IEEEdouble"); |
| 72 | EXPECT_DEATH(APFloat(APFloat::IEEEdouble, 0.0 ).convertToFloat(), "Float semantics are not IEEEsingle"); |
| 73 | } |
| 74 | |
Erick Tryzelaar | a15d890 | 2009-08-16 23:36:19 +0000 | [diff] [blame] | 75 | TEST(APFloatTest, StringDeath) { |
Erick Tryzelaar | 33d7dd6 | 2009-08-17 00:14:11 +0000 | [diff] [blame] | 76 | EXPECT_DEATH(APFloat(APFloat::IEEEdouble, ""), "Invalid string length"); |
| 77 | EXPECT_DEATH(APFloat(APFloat::IEEEdouble, "-"), "String is only a minus!"); |
| 78 | EXPECT_DEATH(APFloat(APFloat::IEEEdouble, "0x"), "Invalid string"); |
| 79 | EXPECT_DEATH(APFloat(APFloat::IEEEdouble, "."), "String cannot be just a dot"); |
| 80 | EXPECT_DEATH(APFloat(APFloat::IEEEdouble, "-."), "String cannot be just a dot"); |
| 81 | EXPECT_DEATH(APFloat(APFloat::IEEEdouble, "0x."), "String cannot be just a dot"); |
| 82 | EXPECT_DEATH(APFloat(APFloat::IEEEdouble, "-0x."),"String cannot be just a dot"); |
| 83 | EXPECT_DEATH(APFloat(APFloat::IEEEdouble, "0x0"), "Hex strings require an exponent"); |
| 84 | EXPECT_DEATH(APFloat(APFloat::IEEEdouble, "0e"), "Exponent has no digits"); |
| 85 | EXPECT_DEATH(APFloat(APFloat::IEEEdouble, "0e+"), "Exponent has no digits"); |
| 86 | EXPECT_DEATH(APFloat(APFloat::IEEEdouble, "0e-"), "Exponent has no digits"); |
Erick Tryzelaar | a15d890 | 2009-08-16 23:36:19 +0000 | [diff] [blame] | 87 | |
Erick Tryzelaar | 33d7dd6 | 2009-08-17 00:14:11 +0000 | [diff] [blame] | 88 | EXPECT_DEATH(APFloat(APFloat::IEEEdouble, StringRef("\0", 1)), "Invalid character in digit string"); |
| 89 | EXPECT_DEATH(APFloat(APFloat::IEEEdouble, StringRef("1\0", 2)), "Invalid character in digit string"); |
| 90 | EXPECT_DEATH(APFloat(APFloat::IEEEdouble, StringRef("1\02", 3)), "Invalid character in digit string"); |
| 91 | EXPECT_DEATH(APFloat(APFloat::IEEEdouble, StringRef("1\02e1", 5)), "Invalid character in digit string"); |
| 92 | EXPECT_DEATH(APFloat(APFloat::IEEEdouble, StringRef("1e\0", 3)), "Invalid character in exponent"); |
| 93 | EXPECT_DEATH(APFloat(APFloat::IEEEdouble, StringRef("1e1\0", 4)), "Invalid character in exponent"); |
| 94 | EXPECT_DEATH(APFloat(APFloat::IEEEdouble, StringRef("1e1\02", 5)), "Invalid character in exponent"); |
Erick Tryzelaar | a15d890 | 2009-08-16 23:36:19 +0000 | [diff] [blame] | 95 | |
Erick Tryzelaar | 33d7dd6 | 2009-08-17 00:14:11 +0000 | [diff] [blame] | 96 | EXPECT_DEATH(APFloat(APFloat::IEEEdouble, "1.0f"), "Invalid character in digit string"); |
Erick Tryzelaar | a15d890 | 2009-08-16 23:36:19 +0000 | [diff] [blame] | 97 | |
Erick Tryzelaar | 33d7dd6 | 2009-08-17 00:14:11 +0000 | [diff] [blame] | 98 | EXPECT_DEATH(APFloat(APFloat::IEEEdouble, StringRef("0x\0", 3)), "Hex strings require an exponent"); |
| 99 | EXPECT_DEATH(APFloat(APFloat::IEEEdouble, StringRef("0x1\0", 4)), "Hex strings require an exponent"); |
| 100 | EXPECT_DEATH(APFloat(APFloat::IEEEdouble, StringRef("0x1\02", 5)), "Hex strings require an exponent"); |
| 101 | EXPECT_DEATH(APFloat(APFloat::IEEEdouble, StringRef("0x1\02p1", 7)), "Hex strings require an exponent"); |
| 102 | EXPECT_DEATH(APFloat(APFloat::IEEEdouble, StringRef("0x1p\0", 5)), "Invalid character in exponent"); |
| 103 | EXPECT_DEATH(APFloat(APFloat::IEEEdouble, StringRef("0x1p1\0", 6)), "Invalid character in exponent"); |
| 104 | EXPECT_DEATH(APFloat(APFloat::IEEEdouble, StringRef("0x1p1\02", 7)), "Invalid character in exponent"); |
Erick Tryzelaar | a15d890 | 2009-08-16 23:36:19 +0000 | [diff] [blame] | 105 | |
Erick Tryzelaar | 33d7dd6 | 2009-08-17 00:14:11 +0000 | [diff] [blame] | 106 | EXPECT_DEATH(APFloat(APFloat::IEEEdouble, "0x1p0f"), "Invalid character in exponent"); |
Erick Tryzelaar | a15d890 | 2009-08-16 23:36:19 +0000 | [diff] [blame] | 107 | } |
Erick Tryzelaar | 2ad40a3 | 2009-08-17 00:55:33 +0000 | [diff] [blame] | 108 | #endif |
Erick Tryzelaar | a15d890 | 2009-08-16 23:36:19 +0000 | [diff] [blame] | 109 | |
| 110 | } |