blob: 7b947c5813d942d725e3d0a1e75a8305d5bbb3d0 [file] [log] [blame]
Erick Tryzelaara15d8902009-08-16 23:36:19 +00001//===- 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
16using namespace llvm;
17
18namespace {
19
20TEST(APFloatTest, Zero) {
Erick Tryzelaar33d7dd62009-08-17 00:14:11 +000021 EXPECT_EQ(0.0f, APFloat(APFloat::IEEEsingle, 0.0f).convertToFloat());
22 EXPECT_EQ(-0.0f, APFloat(APFloat::IEEEsingle, -0.0f).convertToFloat());
Erick Tryzelaara15d8902009-08-16 23:36:19 +000023
Erick Tryzelaar33d7dd62009-08-17 00:14:11 +000024 EXPECT_EQ(0.0, APFloat(APFloat::IEEEdouble, 0.0).convertToDouble());
25 EXPECT_EQ(-0.0, APFloat(APFloat::IEEEdouble, -0.0).convertToDouble());
Erick Tryzelaara15d8902009-08-16 23:36:19 +000026}
27
Erick Tryzelaara15d8902009-08-16 23:36:19 +000028TEST(APFloatTest, fromString) {
Erick Tryzelaar33d7dd62009-08-17 00:14:11 +000029 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 Tryzelaara15d8902009-08-16 23:36:19 +000050
Erick Tryzelaar33d7dd62009-08-17 00:14:11 +000051 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 Dunbarcdd93d82009-08-20 17:12:33 +000063 EXPECT_EQ(1.0625, APFloat(APFloat::IEEEdouble, "0x1.1p0").convertToDouble());
64 EXPECT_EQ(1.0, APFloat(APFloat::IEEEdouble, "0x1p0").convertToDouble());
Erick Tryzelaara15d8902009-08-16 23:36:19 +000065
Erick Tryzelaar33d7dd62009-08-17 00:14:11 +000066 EXPECT_EQ(0.0, APFloat(APFloat::IEEEdouble, StringRef("0e1\02", 3)).convertToDouble());
Erick Tryzelaara15d8902009-08-16 23:36:19 +000067}
68
Erick Tryzelaar2ad40a32009-08-17 00:55:33 +000069#ifdef GTEST_HAS_DEATH_TEST
70TEST(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 Tryzelaara15d8902009-08-16 23:36:19 +000075TEST(APFloatTest, StringDeath) {
Erick Tryzelaar33d7dd62009-08-17 00:14:11 +000076 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 Tryzelaara15d8902009-08-16 23:36:19 +000087
Erick Tryzelaar33d7dd62009-08-17 00:14:11 +000088 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 Tryzelaara15d8902009-08-16 23:36:19 +000095
Erick Tryzelaar33d7dd62009-08-17 00:14:11 +000096 EXPECT_DEATH(APFloat(APFloat::IEEEdouble, "1.0f"), "Invalid character in digit string");
Erick Tryzelaara15d8902009-08-16 23:36:19 +000097
Erick Tryzelaar33d7dd62009-08-17 00:14:11 +000098 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 Tryzelaara15d8902009-08-16 23:36:19 +0000105
Erick Tryzelaar33d7dd62009-08-17 00:14:11 +0000106 EXPECT_DEATH(APFloat(APFloat::IEEEdouble, "0x1p0f"), "Invalid character in exponent");
Erick Tryzelaara15d8902009-08-16 23:36:19 +0000107}
Erick Tryzelaar2ad40a32009-08-17 00:55:33 +0000108#endif
Erick Tryzelaara15d8902009-08-16 23:36:19 +0000109
110}