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 testSpecialNumbers(ConjFunc func)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 testRoundedNumbers(ConjFunc func)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