1 //===-- Unittests for strtod ---------------------------------------------===//
2 //
3 // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4 // See https://llvm.org/LICENSE.txt for license information.
5 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6 //
7 //===----------------------------------------------------------------------===//
8 
9 #include "src/__support/FPUtil/FPBits.h"
10 #include "src/stdlib/strtod.h"
11 
12 #include "utils/UnitTest/Test.h"
13 #include "utils/testutils/RoundingModeUtils.h"
14 
15 #include <errno.h>
16 #include <limits.h>
17 #include <stddef.h>
18 
19 using __llvm_libc::testutils::ForceRoundingModeTest;
20 using __llvm_libc::testutils::RoundingMode;
21 
22 class LlvmLibcStrToDTest : public __llvm_libc::testing::Test,
23                            ForceRoundingModeTest<RoundingMode::Nearest> {
24 public:
25   void run_test(const char *inputString, const ptrdiff_t expectedStrLen,
26                 const uint64_t expectedRawData, const int expectedErrno = 0) {
27     // expectedRawData is the expected double result as a uint64_t, organized
28     // according to IEEE754:
29     //
30     // +-- 1 Sign Bit                        +-- 52 Mantissa bits
31     // |                                     |
32     // |           +-------------------------+------------------------+
33     // |           |                                                  |
34     // SEEEEEEEEEEEMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMM
35     //  |         |
36     //  +----+----+
37     //       |
38     //       +-- 11 Exponent Bits
39     //
40     //  This is so that the result can be compared in parts.
41     char *str_end = nullptr;
42 
43     __llvm_libc::fputil::FPBits<double> expected_fp =
44         __llvm_libc::fputil::FPBits<double>(expectedRawData);
45 
46     errno = 0;
47     double result = __llvm_libc::strtod(inputString, &str_end);
48 
49     __llvm_libc::fputil::FPBits<double> actual_fp =
50         __llvm_libc::fputil::FPBits<double>(result);
51 
52     EXPECT_EQ(str_end - inputString, expectedStrLen);
53 
54     EXPECT_EQ(actual_fp.bits, expected_fp.bits);
55     EXPECT_EQ(actual_fp.get_sign(), expected_fp.get_sign());
56     EXPECT_EQ(actual_fp.get_exponent(), expected_fp.get_exponent());
57     EXPECT_EQ(actual_fp.get_mantissa(), expected_fp.get_mantissa());
58     EXPECT_EQ(errno, expectedErrno);
59   }
60 };
61 
62 TEST_F(LlvmLibcStrToDTest, SimpleTest) {
63   run_test("123", 3, uint64_t(0x405ec00000000000));
64 
65   // This should fail on Eisel-Lemire, forcing a fallback to simple decimal
66   // conversion.
67   run_test("12345678901234549760", 20, uint64_t(0x43e56a95319d63d8));
68 
69   // Found while looking for difficult test cases here:
70   // https://github.com/nigeltao/parse-number-fxx-test-data/blob/main/more-test-cases/golang-org-issue-36657.txt
71   run_test("1090544144181609348835077142190", 31, uint64_t(0x462b8779f2474dfb));
72 
73   run_test("0x123", 5, uint64_t(0x4072300000000000));
74 }
75 
76 // These are tests that have caused problems in the past.
77 TEST_F(LlvmLibcStrToDTest, SpecificFailures) {
78   run_test("3E70000000000000", 16, uint64_t(0x7FF0000000000000), ERANGE);
79   run_test("358416272e-33", 13, uint64_t(0x3adbbb2a68c9d0b9));
80   run_test("2.16656806400000023841857910156251e9", 36,
81            uint64_t(0x41e0246690000001));
82   run_test("27949676547093071875", 20, uint64_t(0x43f83e132bc608c9));
83   run_test(
84       "100000000000000000000000000000000000000000000000000000000000000000000000"
85       "000000000000000000000000000000000000000000000000000000000000000000000000"
86       "000000000000000000000000000000000000000000000000000000000000000000000000"
87       "000000000000000000000000000000000000000000000000000000000000000000000000"
88       "000000000000000000000000000000000000000000000000000000000000000000000000"
89       "000000000000000000000000000000000000000000000000000000000000000000000000"
90       "000000000000000000000000000000000000000000000000000000000000000000000000"
91       "000000000000000000000000000000000000000000000000000000000000000000000000"
92       "000000000000000000000000000000000000000000000000000000000000000000000000"
93       "000000000000000000000000000000000000000000000000000000000000000000000000"
94       "000000000000000000000000000000000000000000000000000000000000000000000000"
95       "000000000e-800",
96       806, 0x3ff0000000000000);
97   run_test(
98       "100000000000000000000000000000000000000000000000000000000000000000000000"
99       "000000000000000000000000000000000000000000000000000000000000000000000000"
100       "000000000000000000000000000000000000000000000000000000000000000000000000"
101       "000000000000000000000000000000000000000000000000000000000000000000000000"
102       "000000000000000000000000000000000000000000000000000000000000000000000000"
103       "000000000000000000000000000000000000000000000000000000000000000000000000"
104       "000000000000000000000000000000000000000000000000000000000000000000000000"
105       "000000000000000000000000000000000000000000000000000000000000000000000000"
106       "000000000000000000000000000000000000000000000000000000000000000000000000"
107       "000000000000000000000000000000000000000000000000000000000000000000000000"
108       "000000000000000000000000000000000000000000000000000000000000000000000000"
109       "000000000e-799",
110       806, 0x4024000000000000);
111   run_test(
112       "100000000000000000000000000000000000000000000000000000000000000000000000"
113       "000000000000000000000000000000000000000000000000000000000000000000000000"
114       "000000000000000000000000000000000000000000000000000000000000000000000000"
115       "000000000000000000000000000000000000000000000000000000000000000000000000"
116       "000000000000000000000000000000000000000000000000000000000000000000000000"
117       "000000000000000000000000000000000000000000000000000000000000000000000000"
118       "000000000000000000000000000000000000000000000000000000000000000000000000"
119       "000000000000000000000000000000000000000000000000000000000000000000000000"
120       "000000000000000000000000000000000000000000000000000000000000000000000000"
121       "000000000000000000000000000000000000000000000000000000000000000000000000"
122       "000000000000000000000000000000000000000000000000000000000000000000000000"
123       "0000000000e-800",
124       807, 0x4024000000000000);
125   run_test(
126       "10000000000000000000000000000000000000000000000000000000000000000e-64",
127       69, 0x3ff0000000000000);
128   run_test(
129       "100000000000000000000000000000000000000000000000000000000000000000000000"
130       "000000000000000000000000000000000000000000000000000000000e-128",
131       134, 0x3ff0000000000000);
132   run_test("1000000000000000000000000000000000000000000000000000000000000000000"
133            "0000000000000000000000000000000000000000000000000000000000000000000"
134            "0000000000000000000000000000000000000000000000000000000000000000000"
135            "00000000000000000000000000000000000000000000000000000000e-256",
136            262, 0x3ff0000000000000);
137   run_test("1000000000000000000000000000000000000000000000000000000000000000000"
138            "0000000000000000000000000000000000000000000000000000000000000000000"
139            "0000000000000000000000000000000000000000000000000000000000000000000"
140            "0000000000000000000000000000000000000000000000000000000000000000000"
141            "0000000000000000000000000000000000000000000000000000000000000000000"
142            "0000000000000000000000000000000000000000000000000000000000000000000"
143            "0000000000000000000000000000000000000000000000000000000000000000000"
144            "00000000000000000000000000000000000000000000e-512",
145            518, 0x3ff0000000000000);
146   run_test(
147       "100000000000000000000000000000000000000000000000000000000000000000000000"
148       "000000000000000000000000000000000000000000000000000000000000000000000000"
149       "000000000000000000000000000000000000000000000000000000000000000000000000"
150       "000000000000000000000000000000000000000000000000000000000000000000000000"
151       "000000000000000000000000000000000000000000000000000000000000000000000000"
152       "000000000000000000000000000000000000000000000000000000000000000000000000"
153       "000000000000000000000000000000000000000000000000000000000000000000000000"
154       "000000000000000000000000000000000000000000000000000000000000000000000000"
155       "000000000000000000000000000000000000000000000000000000000000000000000000"
156       "000000000000000000000000000000000000000000000000000000000000000000000000"
157       "000000000000000000000000000000000000000000000000000000000000000000000000"
158       "000000000000000000000000000000000000000000000000000000000000000000000000"
159       "000000000000000000000000000000000000000000000000000000000000000000000000"
160       "000000000000000000000000000000000000000000000000000000000000000000000000"
161       "00000000000000000e-1024",
162       1031, 0x3ff0000000000000);
163   run_test(
164       "0"
165       "100000000000000000000000000000000000000000000000000000000000000000000000"
166       "000000000000000000000000000000000000000000000000000000000000000000000000"
167       "000000000000000000000000000000000000000000000000000000000000000000000000"
168       "000000000000000000000000000000000000000000000000000000000000000000000000"
169       "000000000000000000000000000000000000000000000000000000000000000000000000"
170       "000000000000000000000000000000000000000000000000000000000000000000000000"
171       "000000000000000000000000000000000000000000000000000000000000000000000000"
172       "000000000000000000000000000000000000000000000000000000000000000000000000"
173       "000000000000000000000000000000000000000000000000000000000000000000000000"
174       "000000000000000000000000000000000000000000000000000000000000000000000000"
175       "000000000000000000000000000000000000000000000000000000000000000000000000"
176       "000000000000000000000000000000000000000000000000000000000000000000000000"
177       "000000000000000000000000000000000000000000000000000000000000000000000000"
178       "000000000000000000000000000000000000000000000000000000000000000000000000"
179       "00000000000000000e-1024",
180       1032, 0x3ff0000000000000);
181 }
182 
183 TEST_F(LlvmLibcStrToDTest, FuzzFailures) {
184   run_test("-\xff\xff\xff\xff\xff\xff\xff\x01", 0, uint64_t(0));
185   run_test("-.????", 0, uint64_t(0));
186   run_test(
187       "44444444444444444444444444444444444444444444444444A44444444444444444"
188       "44444444444*\x99\xff\xff\xff\xff",
189       50, uint64_t(0x4a3e68fdd0e0b2d8));
190   run_test("-NNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNKNNNNNNNNNNNNNNNNNN?"
191            "NNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNN?",
192            0, uint64_t(0));
193   run_test("0x.666E40", 9, uint64_t(0x3fd99b9000000000));
194 }
195