xref: /aosp_15_r20/external/abseil-cpp/absl/random/internal/fastmath_test.cc (revision 9356374a3709195abf420251b3e825997ff56c0f)
1*9356374aSAndroid Build Coastguard Worker // Copyright 2017 The Abseil Authors.
2*9356374aSAndroid Build Coastguard Worker //
3*9356374aSAndroid Build Coastguard Worker // Licensed under the Apache License, Version 2.0 (the "License");
4*9356374aSAndroid Build Coastguard Worker // you may not use this file except in compliance with the License.
5*9356374aSAndroid Build Coastguard Worker // You may obtain a copy of the License at
6*9356374aSAndroid Build Coastguard Worker //
7*9356374aSAndroid Build Coastguard Worker //      https://www.apache.org/licenses/LICENSE-2.0
8*9356374aSAndroid Build Coastguard Worker //
9*9356374aSAndroid Build Coastguard Worker // Unless required by applicable law or agreed to in writing, software
10*9356374aSAndroid Build Coastguard Worker // distributed under the License is distributed on an "AS IS" BASIS,
11*9356374aSAndroid Build Coastguard Worker // WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
12*9356374aSAndroid Build Coastguard Worker // See the License for the specific language governing permissions and
13*9356374aSAndroid Build Coastguard Worker // limitations under the License.
14*9356374aSAndroid Build Coastguard Worker 
15*9356374aSAndroid Build Coastguard Worker #include "absl/random/internal/fastmath.h"
16*9356374aSAndroid Build Coastguard Worker 
17*9356374aSAndroid Build Coastguard Worker #include "gtest/gtest.h"
18*9356374aSAndroid Build Coastguard Worker 
19*9356374aSAndroid Build Coastguard Worker #if defined(__native_client__) || defined(__EMSCRIPTEN__)
20*9356374aSAndroid Build Coastguard Worker // NACL has a less accurate implementation of std::log2 than most of
21*9356374aSAndroid Build Coastguard Worker // the other platforms. For some values which should have integral results,
22*9356374aSAndroid Build Coastguard Worker // sometimes NACL returns slightly larger values.
23*9356374aSAndroid Build Coastguard Worker //
24*9356374aSAndroid Build Coastguard Worker // The MUSL libc used by emscripten also has a similar bug.
25*9356374aSAndroid Build Coastguard Worker #define ABSL_RANDOM_INACCURATE_LOG2
26*9356374aSAndroid Build Coastguard Worker #endif
27*9356374aSAndroid Build Coastguard Worker 
28*9356374aSAndroid Build Coastguard Worker namespace {
29*9356374aSAndroid Build Coastguard Worker 
TEST(FastMathTest,IntLog2FloorTest)30*9356374aSAndroid Build Coastguard Worker TEST(FastMathTest, IntLog2FloorTest) {
31*9356374aSAndroid Build Coastguard Worker   using absl::random_internal::IntLog2Floor;
32*9356374aSAndroid Build Coastguard Worker   constexpr uint64_t kZero = 0;
33*9356374aSAndroid Build Coastguard Worker   EXPECT_EQ(0, IntLog2Floor(0));  // boundary. return 0.
34*9356374aSAndroid Build Coastguard Worker   EXPECT_EQ(0, IntLog2Floor(1));
35*9356374aSAndroid Build Coastguard Worker   EXPECT_EQ(1, IntLog2Floor(2));
36*9356374aSAndroid Build Coastguard Worker   EXPECT_EQ(63, IntLog2Floor(~kZero));
37*9356374aSAndroid Build Coastguard Worker 
38*9356374aSAndroid Build Coastguard Worker   // A boundary case: Converting 0xffffffffffffffff requires > 53
39*9356374aSAndroid Build Coastguard Worker   // bits of precision, so the conversion to double rounds up,
40*9356374aSAndroid Build Coastguard Worker   // and the result of std::log2(x) > IntLog2Floor(x).
41*9356374aSAndroid Build Coastguard Worker   EXPECT_LT(IntLog2Floor(~kZero), static_cast<int>(std::log2(~kZero)));
42*9356374aSAndroid Build Coastguard Worker 
43*9356374aSAndroid Build Coastguard Worker   for (int i = 0; i < 64; i++) {
44*9356374aSAndroid Build Coastguard Worker     const uint64_t i_pow_2 = static_cast<uint64_t>(1) << i;
45*9356374aSAndroid Build Coastguard Worker     EXPECT_EQ(i, IntLog2Floor(i_pow_2));
46*9356374aSAndroid Build Coastguard Worker     EXPECT_EQ(i, static_cast<int>(std::log2(i_pow_2)));
47*9356374aSAndroid Build Coastguard Worker 
48*9356374aSAndroid Build Coastguard Worker     uint64_t y = i_pow_2;
49*9356374aSAndroid Build Coastguard Worker     for (int j = i - 1; j > 0; --j) {
50*9356374aSAndroid Build Coastguard Worker       y = y | (i_pow_2 >> j);
51*9356374aSAndroid Build Coastguard Worker       EXPECT_EQ(i, IntLog2Floor(y));
52*9356374aSAndroid Build Coastguard Worker     }
53*9356374aSAndroid Build Coastguard Worker   }
54*9356374aSAndroid Build Coastguard Worker }
55*9356374aSAndroid Build Coastguard Worker 
TEST(FastMathTest,IntLog2CeilTest)56*9356374aSAndroid Build Coastguard Worker TEST(FastMathTest, IntLog2CeilTest) {
57*9356374aSAndroid Build Coastguard Worker   using absl::random_internal::IntLog2Ceil;
58*9356374aSAndroid Build Coastguard Worker   constexpr uint64_t kZero = 0;
59*9356374aSAndroid Build Coastguard Worker   EXPECT_EQ(0, IntLog2Ceil(0));  // boundary. return 0.
60*9356374aSAndroid Build Coastguard Worker   EXPECT_EQ(0, IntLog2Ceil(1));
61*9356374aSAndroid Build Coastguard Worker   EXPECT_EQ(1, IntLog2Ceil(2));
62*9356374aSAndroid Build Coastguard Worker   EXPECT_EQ(64, IntLog2Ceil(~kZero));
63*9356374aSAndroid Build Coastguard Worker 
64*9356374aSAndroid Build Coastguard Worker   // A boundary case: Converting 0xffffffffffffffff requires > 53
65*9356374aSAndroid Build Coastguard Worker   // bits of precision, so the conversion to double rounds up,
66*9356374aSAndroid Build Coastguard Worker   // and the result of std::log2(x) > IntLog2Floor(x).
67*9356374aSAndroid Build Coastguard Worker   EXPECT_LE(IntLog2Ceil(~kZero), static_cast<int>(std::log2(~kZero)));
68*9356374aSAndroid Build Coastguard Worker 
69*9356374aSAndroid Build Coastguard Worker   for (int i = 0; i < 64; i++) {
70*9356374aSAndroid Build Coastguard Worker     const uint64_t i_pow_2 = static_cast<uint64_t>(1) << i;
71*9356374aSAndroid Build Coastguard Worker     EXPECT_EQ(i, IntLog2Ceil(i_pow_2));
72*9356374aSAndroid Build Coastguard Worker #ifndef ABSL_RANDOM_INACCURATE_LOG2
73*9356374aSAndroid Build Coastguard Worker     EXPECT_EQ(i, static_cast<int>(std::ceil(std::log2(i_pow_2))));
74*9356374aSAndroid Build Coastguard Worker #endif
75*9356374aSAndroid Build Coastguard Worker 
76*9356374aSAndroid Build Coastguard Worker     uint64_t y = i_pow_2;
77*9356374aSAndroid Build Coastguard Worker     for (int j = i - 1; j > 0; --j) {
78*9356374aSAndroid Build Coastguard Worker       y = y | (i_pow_2 >> j);
79*9356374aSAndroid Build Coastguard Worker       EXPECT_EQ(i + 1, IntLog2Ceil(y));
80*9356374aSAndroid Build Coastguard Worker     }
81*9356374aSAndroid Build Coastguard Worker   }
82*9356374aSAndroid Build Coastguard Worker }
83*9356374aSAndroid Build Coastguard Worker 
TEST(FastMathTest,StirlingLogFactorial)84*9356374aSAndroid Build Coastguard Worker TEST(FastMathTest, StirlingLogFactorial) {
85*9356374aSAndroid Build Coastguard Worker   using absl::random_internal::StirlingLogFactorial;
86*9356374aSAndroid Build Coastguard Worker 
87*9356374aSAndroid Build Coastguard Worker   EXPECT_NEAR(StirlingLogFactorial(1.0), 0, 1e-3);
88*9356374aSAndroid Build Coastguard Worker   EXPECT_NEAR(StirlingLogFactorial(1.50), 0.284683, 1e-3);
89*9356374aSAndroid Build Coastguard Worker   EXPECT_NEAR(StirlingLogFactorial(2.0), 0.69314718056, 1e-4);
90*9356374aSAndroid Build Coastguard Worker 
91*9356374aSAndroid Build Coastguard Worker   for (int i = 2; i < 50; i++) {
92*9356374aSAndroid Build Coastguard Worker     double d = static_cast<double>(i);
93*9356374aSAndroid Build Coastguard Worker     EXPECT_NEAR(StirlingLogFactorial(d), std::lgamma(d + 1), 3e-5);
94*9356374aSAndroid Build Coastguard Worker   }
95*9356374aSAndroid Build Coastguard Worker }
96*9356374aSAndroid Build Coastguard Worker 
97*9356374aSAndroid Build Coastguard Worker }  // namespace
98