xref: /freebsd/contrib/llvm-project/compiler-rt/lib/nsan/tests/NSanUnitTest.cpp (revision 0fca6ea1d4eea4c934cfff25ac9ee8ad6fe95583)
1 // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
2 // See https://llvm.org/LICENSE.txt for license information.
3 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
4 
5 // Do not attempt to use LLVM ostream etc from gtest.
6 // #define GTEST_NO_LLVM_SUPPORT 1
7 
8 #include "../nsan.h"
9 #include "gtest/gtest.h"
10 
11 #include <cmath>
12 
13 namespace __nsan {
14 
TestFT()15 template <typename FT, auto next> void TestFT() {
16   // Basic local tests anchored at 0.0.
17   ASSERT_EQ(GetULPDiff<FT>(0.0, 0.0), 0);
18   ASSERT_EQ(GetULPDiff<FT>(-0.0, 0.0), 0);
19   ASSERT_EQ(GetULPDiff<FT>(next(-0.0, -1.0), 0.0), 1);
20   ASSERT_EQ(GetULPDiff<FT>(next(0.0, 1.0), -0.0), 1);
21   ASSERT_EQ(GetULPDiff<FT>(next(-0.0, -1.0), next(0.0, 1.0)), 2);
22   // Basic local tests anchored at 2.0.
23   ASSERT_EQ(GetULPDiff<FT>(next(2.0, 1.0), 2.0), 1);
24   ASSERT_EQ(GetULPDiff<FT>(next(2.0, 3.0), 2.0), 1);
25   ASSERT_EQ(GetULPDiff<FT>(next(2.0, 1.0), next(2.0, 3.0)), 2);
26 
27   ASSERT_NE(GetULPDiff<FT>(-0.01, 0.01), kMaxULPDiff);
28 
29   // Basic local tests anchored at a random number.
30   const FT X = 4863.5123;
31   const FT To = 2 * X;
32   FT Y = X;
33   ASSERT_EQ(GetULPDiff<FT>(X, Y), 0);
34   ASSERT_EQ(GetULPDiff<FT>(-X, -Y), 0);
35   Y = next(Y, To);
36   ASSERT_EQ(GetULPDiff<FT>(X, Y), 1);
37   ASSERT_EQ(GetULPDiff<FT>(-X, -Y), 1);
38   Y = next(Y, To);
39   ASSERT_EQ(GetULPDiff<FT>(X, Y), 2);
40   ASSERT_EQ(GetULPDiff<FT>(-X, -Y), 2);
41   Y = next(Y, To);
42   ASSERT_EQ(GetULPDiff<FT>(X, Y), 3);
43   ASSERT_EQ(GetULPDiff<FT>(-X, -Y), 3);
44 
45   // Values with larger differences.
46   static constexpr const __sanitizer::u64 MantissaSize =
47       __sanitizer::u64{1} << FTInfo<FT>::kMantissaBits;
48   ASSERT_EQ(GetULPDiff<FT>(1.0, next(2.0, 1.0)), MantissaSize - 1);
49   ASSERT_EQ(GetULPDiff<FT>(1.0, 2.0), MantissaSize);
50   ASSERT_EQ(GetULPDiff<FT>(1.0, next(2.0, 3.0)), MantissaSize + 1);
51   ASSERT_EQ(GetULPDiff<FT>(1.0, 3.0), (3 * MantissaSize) / 2);
52 }
53 
TEST(NSanTest,Float)54 TEST(NSanTest, Float) { TestFT<float, nextafterf>(); }
55 
TEST(NSanTest,Double)56 TEST(NSanTest, Double) {
57   TestFT<double, static_cast<double (*)(double, double)>(nextafter)>();
58 }
59 
TEST(NSanTest,Float128)60 TEST(NSanTest, Float128) {
61   // Very basic tests. FIXME: improve when we have nextafter<__float128>.
62   ASSERT_EQ(GetULPDiff<__float128>(0.0, 0.0), 0);
63   ASSERT_EQ(GetULPDiff<__float128>(-0.0, 0.0), 0);
64   ASSERT_NE(GetULPDiff<__float128>(-0.01, 0.01), kMaxULPDiff);
65 }
66 
67 } // end namespace __nsan
68