1 | //===-- Utility class to test different flavors of conj ---------*- C++ -*-===// |
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 | #ifndef LLVM_LIBC_TEST_SRC_COMPLEX_CONJTEST_H |
10 | #define LLVM_LIBC_TEST_SRC_COMPLEX_CONJTEST_H |
11 | |
12 | #include "test/UnitTest/FEnvSafeTest.h" |
13 | #include "test/UnitTest/FPMatcher.h" |
14 | #include "test/UnitTest/Test.h" |
15 | |
16 | #include "hdr/math_macros.h" |
17 | |
18 | template <typename CFPT, typename FPT> |
19 | class ConjTest : public LIBC_NAMESPACE::testing::FEnvSafeTest { |
20 | |
21 | DECLARE_SPECIAL_CONSTANTS(FPT) |
22 | |
23 | public: |
24 | typedef CFPT (*ConjFunc)(CFPT); |
25 | |
26 | void testSpecialNumbers(ConjFunc func) { |
27 | EXPECT_CFP_EQ(func(CFPT(aNaN + 67.123i)), CFPT(aNaN - 67.123i)); |
28 | EXPECT_CFP_EQ(func(CFPT(neg_aNaN + 78.319i)), CFPT(neg_aNaN - 78.319i)); |
29 | EXPECT_CFP_EQ(func(CFPT(sNaN + 7813.131i)), CFPT(sNaN - 7813.131i)); |
30 | EXPECT_CFP_EQ(func(CFPT(neg_sNaN + 7824.152i)), CFPT(neg_sNaN - 7824.152i)); |
31 | EXPECT_CFP_EQ(func(CFPT(inf + 9024.2442i)), CFPT(inf - 9024.2442i)); |
32 | EXPECT_CFP_EQ(func(CFPT(neg_inf + 8923.124i)), CFPT(neg_inf - 8923.124i)); |
33 | EXPECT_CFP_EQ(func(CFPT(min_normal + 782.124i)), |
34 | CFPT(min_normal - 782.124i)); |
35 | EXPECT_CFP_EQ(func(CFPT(max_normal + 2141.2352i)), |
36 | CFPT(max_normal - 2141.2352i)); |
37 | EXPECT_CFP_EQ(func(CFPT(neg_max_normal + 341.134i)), |
38 | CFPT(neg_max_normal - 341.134i)); |
39 | EXPECT_CFP_EQ(func(CFPT(min_denormal + 781.142i)), |
40 | CFPT(min_denormal - 781.142i)); |
41 | EXPECT_CFP_EQ(func(CFPT(neg_min_denormal + 781.134i)), |
42 | CFPT(neg_min_denormal - 781.134i)); |
43 | EXPECT_CFP_EQ(func(CFPT(max_denormal + 1241.112i)), |
44 | CFPT(max_denormal - 1241.112i)); |
45 | EXPECT_CFP_EQ(func(CFPT(zero + 121.121i)), CFPT(zero - 121.121i)); |
46 | EXPECT_CFP_EQ(func(CFPT(67.123 + aNaN * 1.0i)), CFPT(67.123 - aNaN * 1.0i)); |
47 | EXPECT_CFP_EQ(func(CFPT(78.319 + neg_aNaN * 1.0i)), |
48 | CFPT(78.319 - neg_aNaN * 1.0i)); |
49 | EXPECT_CFP_EQ(func(CFPT(7813.131 + sNaN * 1.0i)), |
50 | CFPT(7813.131 - sNaN * 1.0i)); |
51 | EXPECT_CFP_EQ(func(CFPT(7824.152 + neg_sNaN * 1.0i)), |
52 | CFPT(7824.152 - neg_sNaN * 1.0i)); |
53 | EXPECT_CFP_EQ(func(CFPT(9024.2442 + inf * 1.0i)), |
54 | CFPT(9024.2442 - inf * 1.0i)); |
55 | EXPECT_CFP_EQ(func(CFPT(8923.124 + neg_inf * 1.0i)), |
56 | CFPT(8923.124 - neg_inf * 1.0i)); |
57 | EXPECT_CFP_EQ(func(CFPT(782.124 + min_normal * 1.0i)), |
58 | CFPT(782.124 - min_normal * 1.0i)); |
59 | EXPECT_CFP_EQ(func(CFPT(2141.2352 + max_normal * 1.0i)), |
60 | CFPT(2141.2352 - max_normal * 1.0i)); |
61 | EXPECT_CFP_EQ(func(CFPT(341.134 + neg_max_normal * 1.0i)), |
62 | CFPT(341.134 - neg_max_normal * 1.0i)); |
63 | EXPECT_CFP_EQ(func(CFPT(781.142 + min_denormal * 1.0i)), |
64 | CFPT(781.142 - min_denormal * 1.0i)); |
65 | EXPECT_CFP_EQ(func(CFPT(781.134 + neg_min_denormal * 1.0i)), |
66 | CFPT(781.134 - neg_min_denormal * 1.0i)); |
67 | EXPECT_CFP_EQ(func(CFPT(1241.112 + max_denormal * 1.0i)), |
68 | CFPT(1241.112 - max_denormal * 1.0i)); |
69 | EXPECT_CFP_EQ(func(CFPT(121.121 + zero * 1.0i)), |
70 | CFPT(121.121 - zero * 1.0i)); |
71 | EXPECT_CFP_EQ(func(CFPT(0.0 - 0.0i)), CFPT(0.0 + 0.0i)); |
72 | EXPECT_CFP_EQ(func(CFPT(0.0 + 0.0i)), CFPT(0.0 - 0.0i)); |
73 | // This test passes because the conjugate of -0.0 - 0.0i is CMPLX(-0.0, 0.0) |
74 | // which cannot be represented as -0.0 + 0.0i because -0.0 + 0.0i is |
75 | // actually CMPLX(-0.0, 0.0) + CMPLX(0.0, 0.0) = 0.0 + 0.0i so to represent |
76 | // CMPLX(-0.0, 0.0), we use -0.0 |
77 | EXPECT_CFP_EQ(func(CFPT(-0.0 - 0.0i)), CFPT(-0.0)); |
78 | // This test passes because -0.0 + 0.0i is actually |
79 | // CMPLX(-0.0, 0.0) + CMPLX(0.0, 0.0) = CMPLX(-0.0 + 0.0, 0.0) = 0.0 + 0.0i |
80 | EXPECT_CFP_EQ(func(CFPT(-0.0 + 0.0i)), CFPT(0.0 - 0.0i)); |
81 | EXPECT_CFP_EQ(func(CFPT(0.0)), CFPT(0.0 - 0.0i)); |
82 | EXPECT_CFP_EQ(func(CFPT(-0.0)), CFPT(-0.0 - 0.0i)); |
83 | EXPECT_CFP_EQ(func(CFPT(0.0i)), CFPT(0.0 - 0.0i)); |
84 | EXPECT_CFP_EQ(func(CFPT(-0.0i)), CFPT(-0.0)); |
85 | } |
86 | |
87 | void testRoundedNumbers(ConjFunc func) { |
88 | EXPECT_CFP_EQ(func((CFPT)(4523.1413 + 12413.1414i)), |
89 | CFPT(4523.1413 - 12413.1414i)); |
90 | EXPECT_CFP_EQ(func((CFPT)(-4523.1413 + 12413.1414i)), |
91 | CFPT(-4523.1413 - 12413.1414i)); |
92 | EXPECT_CFP_EQ(func((CFPT)(4523.1413 - 12413.1414i)), |
93 | CFPT(4523.1413 + 12413.1414i)); |
94 | EXPECT_CFP_EQ(func((CFPT)(-4523.1413 - 12413.1414i)), |
95 | CFPT(-4523.1413 + 12413.1414i)); |
96 | |
97 | EXPECT_CFP_EQ(func((CFPT)(3210.5678 + 9876.5432i)), |
98 | CFPT(3210.5678 - 9876.5432i)); |
99 | EXPECT_CFP_EQ(func((CFPT)(-3210.5678 + 9876.5432i)), |
100 | CFPT(-3210.5678 - 9876.5432i)); |
101 | EXPECT_CFP_EQ(func((CFPT)(3210.5678 - 9876.5432i)), |
102 | CFPT(3210.5678 + 9876.5432i)); |
103 | EXPECT_CFP_EQ(func((CFPT)(-3210.5678 - 9876.5432i)), |
104 | CFPT(-3210.5678 + 9876.5432i)); |
105 | |
106 | EXPECT_CFP_EQ(func((CFPT)(1234.4321 + 4321.1234i)), |
107 | CFPT(1234.4321 - 4321.1234i)); |
108 | EXPECT_CFP_EQ(func((CFPT)(-1234.4321 + 4321.1234i)), |
109 | CFPT(-1234.4321 - 4321.1234i)); |
110 | EXPECT_CFP_EQ(func((CFPT)(1234.4321 - 4321.1234i)), |
111 | CFPT(1234.4321 + 4321.1234i)); |
112 | EXPECT_CFP_EQ(func((CFPT)(-1234.4321 - 4321.1234i)), |
113 | CFPT(-1234.4321 + 4321.1234i)); |
114 | |
115 | EXPECT_CFP_EQ(func((CFPT)(6789.1234 + 8765.6789i)), |
116 | CFPT(6789.1234 - 8765.6789i)); |
117 | EXPECT_CFP_EQ(func((CFPT)(-6789.1234 + 8765.6789i)), |
118 | CFPT(-6789.1234 - 8765.6789i)); |
119 | EXPECT_CFP_EQ(func((CFPT)(6789.1234 - 8765.6789i)), |
120 | CFPT(6789.1234 + 8765.6789i)); |
121 | EXPECT_CFP_EQ(func((CFPT)(-6789.1234 - 8765.6789i)), |
122 | CFPT(-6789.1234 + 8765.6789i)); |
123 | } |
124 | }; |
125 | |
126 | #define LIST_CONJ_TESTS(U, T, func) \ |
127 | using LlvmLibcConjTest = ConjTest<U, T>; \ |
128 | TEST_F(LlvmLibcConjTest, SpecialNumbers) { testSpecialNumbers(&func); } \ |
129 | TEST_F(LlvmLibcConjTest, RoundedNumbers) { testRoundedNumbers(&func); } |
130 | |
131 | #endif // LLVM_LIBC_TEST_SRC_COMPLEX_CONJTEST_H |
132 | |