xref: /aosp_15_r20/external/llvm-libc/test/src/math/smoke/IsCanonicalTest.h (revision 71db0c75aadcf003ffe3238005f61d7618a3fead)
1 //===-- Utility class to test different flavors of iscanonical --*- 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_MATH_SMOKE_ISCANONICALTEST_H
10 #define LLVM_LIBC_TEST_SRC_MATH_SMOKE_ISCANONICALTEST_H
11 
12 #include "test/UnitTest/FEnvSafeTest.h"
13 #include "test/UnitTest/FPMatcher.h"
14 #include "test/UnitTest/Test.h"
15 
16 template <typename T>
17 class IsCanonicalTest : public LIBC_NAMESPACE::testing::FEnvSafeTest {
18 
19   DECLARE_SPECIAL_CONSTANTS(T)
20 
21 public:
22   typedef int (*IsCanonicalFunc)(T);
23 
testSpecialNumbers(IsCanonicalFunc func)24   void testSpecialNumbers(IsCanonicalFunc func) {
25     EXPECT_EQ(func(aNaN), 1);
26     EXPECT_EQ(func(neg_aNaN), 1);
27     EXPECT_EQ(func(sNaN), 0);
28     EXPECT_EQ(func(neg_sNaN), 0);
29     EXPECT_EQ(func(inf), 1);
30     EXPECT_EQ(func(neg_inf), 1);
31     EXPECT_EQ(func(min_normal), 1);
32     EXPECT_EQ(func(max_normal), 1);
33     EXPECT_EQ(func(neg_max_normal), 1);
34     EXPECT_EQ(func(min_denormal), 1);
35     EXPECT_EQ(func(neg_min_denormal), 1);
36     EXPECT_EQ(func(max_denormal), 1);
37     EXPECT_EQ(func(zero), 1);
38     EXPECT_EQ(func(neg_zero), 1);
39   }
40 
testRoundedNumbers(IsCanonicalFunc func)41   void testRoundedNumbers(IsCanonicalFunc func) {
42     EXPECT_EQ(func(T(1.0)), 1);
43     EXPECT_EQ(func(T(-1.0)), 1);
44     EXPECT_EQ(func(T(10.0)), 1);
45     EXPECT_EQ(func(T(-10.0)), 1);
46     EXPECT_EQ(func(T(1234.0)), 1);
47     EXPECT_EQ(func(T(-1234.0)), 1);
48   }
49 };
50 
51 #define LIST_ISCANONICAL_TESTS(T, func)                                        \
52   using LlvmLibcIsCanonicalTest = IsCanonicalTest<T>;                          \
53   TEST_F(LlvmLibcIsCanonicalTest, SpecialNumbers) {                            \
54     testSpecialNumbers(&func);                                                 \
55   }                                                                            \
56   TEST_F(LlvmLibcIsCanonicalTest, RoundedNubmers) { testRoundedNumbers(&func); }
57 
58 #endif // LLVM_LIBC_TEST_SRC_MATH_SMOKE_ISCANONICALTEST_H
59