1 // Copyright 2019 Google LLC
2 //
3 // Licensed under the Apache License, Version 2.0 (the "License");
4 // you may not use this file except in compliance with the License.
5 // You may obtain a copy of the License at
6 //
7 //      http://www.apache.org/licenses/LICENSE-2.0
8 //
9 // Unless required by applicable law or agreed to in writing, software
10 // distributed under the License is distributed on an "AS IS" BASIS,
11 // WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
12 // See the License for the specific language governing permissions and
13 // limitations under the License.
14 
15 #include <stddef.h>
16 #include <stdint.h>
17 
18 #include <limits>
19 
20 #include "hwy/base.h"
21 
22 #undef HWY_TARGET_INCLUDE
23 #define HWY_TARGET_INCLUDE "base_test.cc"
24 #include "hwy/foreach_target.h"
25 #include "hwy/highway.h"
26 #include "hwy/tests/test_util-inl.h"
27 
28 HWY_BEFORE_NAMESPACE();
29 namespace hwy {
30 namespace HWY_NAMESPACE {
31 
TestAllLimits()32 HWY_NOINLINE void TestAllLimits() {
33   HWY_ASSERT_EQ(uint8_t(0), LimitsMin<uint8_t>());
34   HWY_ASSERT_EQ(uint16_t(0), LimitsMin<uint16_t>());
35   HWY_ASSERT_EQ(uint32_t(0), LimitsMin<uint32_t>());
36   HWY_ASSERT_EQ(uint64_t(0), LimitsMin<uint64_t>());
37 
38   HWY_ASSERT_EQ(int8_t(-128), LimitsMin<int8_t>());
39   HWY_ASSERT_EQ(int16_t(-32768), LimitsMin<int16_t>());
40   HWY_ASSERT_EQ(int32_t(0x80000000u), LimitsMin<int32_t>());
41   HWY_ASSERT_EQ(int64_t(0x8000000000000000ull), LimitsMin<int64_t>());
42 
43   HWY_ASSERT_EQ(uint8_t(0xFF), LimitsMax<uint8_t>());
44   HWY_ASSERT_EQ(uint16_t(0xFFFF), LimitsMax<uint16_t>());
45   HWY_ASSERT_EQ(uint32_t(0xFFFFFFFFu), LimitsMax<uint32_t>());
46   HWY_ASSERT_EQ(uint64_t(0xFFFFFFFFFFFFFFFFull), LimitsMax<uint64_t>());
47 
48   HWY_ASSERT_EQ(int8_t(0x7F), LimitsMax<int8_t>());
49   HWY_ASSERT_EQ(int16_t(0x7FFF), LimitsMax<int16_t>());
50   HWY_ASSERT_EQ(int32_t(0x7FFFFFFFu), LimitsMax<int32_t>());
51   HWY_ASSERT_EQ(int64_t(0x7FFFFFFFFFFFFFFFull), LimitsMax<int64_t>());
52 }
53 
54 struct TestLowestHighest {
55   template <class T>
operator ()hwy::HWY_NAMESPACE::TestLowestHighest56   HWY_NOINLINE void operator()(T /*unused*/) const {
57     HWY_ASSERT_EQ(std::numeric_limits<T>::lowest(), LowestValue<T>());
58     HWY_ASSERT_EQ(std::numeric_limits<T>::max(), HighestValue<T>());
59   }
60 };
61 
TestAllLowestHighest()62 HWY_NOINLINE void TestAllLowestHighest() { ForAllTypes(TestLowestHighest()); }
63 struct TestIsUnsigned {
64   template <class T>
operator ()hwy::HWY_NAMESPACE::TestIsUnsigned65   HWY_NOINLINE void operator()(T /*unused*/) const {
66     static_assert(!IsFloat<T>(), "Expected !IsFloat");
67     static_assert(!IsSigned<T>(), "Expected !IsSigned");
68   }
69 };
70 
71 struct TestIsSigned {
72   template <class T>
operator ()hwy::HWY_NAMESPACE::TestIsSigned73   HWY_NOINLINE void operator()(T /*unused*/) const {
74     static_assert(!IsFloat<T>(), "Expected !IsFloat");
75     static_assert(IsSigned<T>(), "Expected IsSigned");
76   }
77 };
78 
79 struct TestIsFloat {
80   template <class T>
operator ()hwy::HWY_NAMESPACE::TestIsFloat81   HWY_NOINLINE void operator()(T /*unused*/) const {
82     static_assert(IsFloat<T>(), "Expected IsFloat");
83     static_assert(IsSigned<T>(), "Floats are also considered signed");
84   }
85 };
86 
TestAllType()87 HWY_NOINLINE void TestAllType() {
88   ForUnsignedTypes(TestIsUnsigned());
89   ForSignedTypes(TestIsSigned());
90   ForFloatTypes(TestIsFloat());
91 }
92 
TestAllPopCount()93 HWY_NOINLINE void TestAllPopCount() {
94   HWY_ASSERT_EQ(size_t(0), PopCount(0u));
95   HWY_ASSERT_EQ(size_t(1), PopCount(1u));
96   HWY_ASSERT_EQ(size_t(1), PopCount(2u));
97   HWY_ASSERT_EQ(size_t(2), PopCount(3u));
98   HWY_ASSERT_EQ(size_t(1), PopCount(0x80000000u));
99   HWY_ASSERT_EQ(size_t(31), PopCount(0x7FFFFFFFu));
100   HWY_ASSERT_EQ(size_t(32), PopCount(0xFFFFFFFFu));
101 
102   HWY_ASSERT_EQ(size_t(1), PopCount(0x80000000ull));
103   HWY_ASSERT_EQ(size_t(31), PopCount(0x7FFFFFFFull));
104   HWY_ASSERT_EQ(size_t(32), PopCount(0xFFFFFFFFull));
105   HWY_ASSERT_EQ(size_t(33), PopCount(0x10FFFFFFFFull));
106   HWY_ASSERT_EQ(size_t(63), PopCount(0xFFFEFFFFFFFFFFFFull));
107   HWY_ASSERT_EQ(size_t(64), PopCount(0xFFFFFFFFFFFFFFFFull));
108 }
109 
110 // NOLINTNEXTLINE(google-readability-namespace-comments)
111 }  // namespace HWY_NAMESPACE
112 }  // namespace hwy
113 HWY_AFTER_NAMESPACE();
114 
115 #if HWY_ONCE
116 namespace hwy {
117 HWY_BEFORE_TEST(BaseTest);
118 HWY_EXPORT_AND_TEST_P(BaseTest, TestAllLimits);
119 HWY_EXPORT_AND_TEST_P(BaseTest, TestAllLowestHighest);
120 HWY_EXPORT_AND_TEST_P(BaseTest, TestAllType);
121 HWY_EXPORT_AND_TEST_P(BaseTest, TestAllPopCount);
122 }  // namespace hwy
123 #endif
124