Avi Drissman | e4622aa | 2022-09-08 20:36:06 | [diff] [blame] | 1 | // Copyright 2009 The Chromium Authors |
[email protected] | 6d1729e | 2009-11-18 23:08:39 | [diff] [blame] | 2 | // Use of this source code is governed by a BSD-style license that can be |
| 3 | // found in the LICENSE file. |
| 4 | |
| 5 | // This file contains the unit tests for the bit utilities. |
| 6 | |
| 7 | #include "base/bits.h" |
primiano | 32a7f50 | 2015-07-24 20:13:32 | [diff] [blame] | 8 | |
avi | 9b6f4293 | 2015-12-26 22:15:14 | [diff] [blame] | 9 | #include <stddef.h> |
| 10 | |
primiano | 32a7f50 | 2015-07-24 20:13:32 | [diff] [blame] | 11 | #include <limits> |
| 12 | |
[email protected] | 6d1729e | 2009-11-18 23:08:39 | [diff] [blame] | 13 | #include "testing/gtest/include/gtest/gtest.h" |
| 14 | |
Avi Drissman | 6f303a54 | 2023-11-17 15:09:58 | [diff] [blame] | 15 | namespace base::bits { |
[email protected] | 6d1729e | 2009-11-18 23:08:39 | [diff] [blame] | 16 | |
| 17 | TEST(BitsTest, Log2Floor) { |
| 18 | EXPECT_EQ(-1, Log2Floor(0)); |
| 19 | EXPECT_EQ(0, Log2Floor(1)); |
| 20 | EXPECT_EQ(1, Log2Floor(2)); |
| 21 | EXPECT_EQ(1, Log2Floor(3)); |
| 22 | EXPECT_EQ(2, Log2Floor(4)); |
| 23 | for (int i = 3; i < 31; ++i) { |
| 24 | unsigned int value = 1U << i; |
| 25 | EXPECT_EQ(i, Log2Floor(value)); |
| 26 | EXPECT_EQ(i, Log2Floor(value + 1)); |
| 27 | EXPECT_EQ(i, Log2Floor(value + 2)); |
| 28 | EXPECT_EQ(i - 1, Log2Floor(value - 1)); |
| 29 | EXPECT_EQ(i - 1, Log2Floor(value - 2)); |
| 30 | } |
| 31 | EXPECT_EQ(31, Log2Floor(0xffffffffU)); |
| 32 | } |
| 33 | |
| 34 | TEST(BitsTest, Log2Ceiling) { |
| 35 | EXPECT_EQ(-1, Log2Ceiling(0)); |
| 36 | EXPECT_EQ(0, Log2Ceiling(1)); |
| 37 | EXPECT_EQ(1, Log2Ceiling(2)); |
| 38 | EXPECT_EQ(2, Log2Ceiling(3)); |
| 39 | EXPECT_EQ(2, Log2Ceiling(4)); |
| 40 | for (int i = 3; i < 31; ++i) { |
| 41 | unsigned int value = 1U << i; |
| 42 | EXPECT_EQ(i, Log2Ceiling(value)); |
| 43 | EXPECT_EQ(i + 1, Log2Ceiling(value + 1)); |
| 44 | EXPECT_EQ(i + 1, Log2Ceiling(value + 2)); |
| 45 | EXPECT_EQ(i, Log2Ceiling(value - 1)); |
| 46 | EXPECT_EQ(i, Log2Ceiling(value - 2)); |
| 47 | } |
| 48 | EXPECT_EQ(32, Log2Ceiling(0xffffffffU)); |
| 49 | } |
| 50 | |
Benoit Lize | c90419f6 | 2021-02-02 18:04:25 | [diff] [blame] | 51 | TEST(BitsTest, AlignUp) { |
Lei Zhang | 0c01026 | 2018-12-11 18:56:09 | [diff] [blame] | 52 | static constexpr size_t kSizeTMax = std::numeric_limits<size_t>::max(); |
Avi Drissman | db766e5 | 2023-11-28 22:40:29 | [diff] [blame] | 53 | EXPECT_EQ(0u, AlignUp(0u, 4u)); |
| 54 | EXPECT_EQ(4u, AlignUp(1u, 4u)); |
| 55 | EXPECT_EQ(4096u, AlignUp(1u, 4096u)); |
| 56 | EXPECT_EQ(4096u, AlignUp(4096u, 4096u)); |
| 57 | EXPECT_EQ(4096u, AlignUp(4095u, 4096u)); |
| 58 | EXPECT_EQ(8192u, AlignUp(4097u, 4096u)); |
Peter Kasting | 6a4bf14c | 2022-07-13 14:53:33 | [diff] [blame] | 59 | EXPECT_EQ(kSizeTMax - 31, AlignUp(kSizeTMax - 62, size_t{32})); |
| 60 | EXPECT_EQ(kSizeTMax / 2 + 1, AlignUp(size_t{1}, kSizeTMax / 2 + 1)); |
primiano | 32a7f50 | 2015-07-24 20:13:32 | [diff] [blame] | 61 | } |
| 62 | |
Benoit Lize | c90419f6 | 2021-02-02 18:04:25 | [diff] [blame] | 63 | TEST(BitsTest, AlignUpPointer) { |
Mike Wittman | 668debf8 | 2020-07-28 03:10:30 | [diff] [blame] | 64 | static constexpr uintptr_t kUintPtrTMax = |
| 65 | std::numeric_limits<uintptr_t>::max(); |
| 66 | EXPECT_EQ(reinterpret_cast<uint8_t*>(0), |
Benoit Lize | c90419f6 | 2021-02-02 18:04:25 | [diff] [blame] | 67 | AlignUp(reinterpret_cast<uint8_t*>(0), 4)); |
Mike Wittman | 668debf8 | 2020-07-28 03:10:30 | [diff] [blame] | 68 | EXPECT_EQ(reinterpret_cast<uint8_t*>(4), |
Benoit Lize | c90419f6 | 2021-02-02 18:04:25 | [diff] [blame] | 69 | AlignUp(reinterpret_cast<uint8_t*>(1), 4)); |
Mike Wittman | 668debf8 | 2020-07-28 03:10:30 | [diff] [blame] | 70 | EXPECT_EQ(reinterpret_cast<uint8_t*>(4096), |
Benoit Lize | c90419f6 | 2021-02-02 18:04:25 | [diff] [blame] | 71 | AlignUp(reinterpret_cast<uint8_t*>(1), 4096)); |
Mike Wittman | 668debf8 | 2020-07-28 03:10:30 | [diff] [blame] | 72 | EXPECT_EQ(reinterpret_cast<uint8_t*>(4096), |
Benoit Lize | c90419f6 | 2021-02-02 18:04:25 | [diff] [blame] | 73 | AlignUp(reinterpret_cast<uint8_t*>(4096), 4096)); |
Mike Wittman | 668debf8 | 2020-07-28 03:10:30 | [diff] [blame] | 74 | EXPECT_EQ(reinterpret_cast<uint8_t*>(4096), |
Benoit Lize | c90419f6 | 2021-02-02 18:04:25 | [diff] [blame] | 75 | AlignUp(reinterpret_cast<uint8_t*>(4095), 4096)); |
Mike Wittman | 668debf8 | 2020-07-28 03:10:30 | [diff] [blame] | 76 | EXPECT_EQ(reinterpret_cast<uint8_t*>(8192), |
Benoit Lize | c90419f6 | 2021-02-02 18:04:25 | [diff] [blame] | 77 | AlignUp(reinterpret_cast<uint8_t*>(4097), 4096)); |
Mike Wittman | 668debf8 | 2020-07-28 03:10:30 | [diff] [blame] | 78 | EXPECT_EQ(reinterpret_cast<uint8_t*>(kUintPtrTMax - 31), |
Benoit Lize | c90419f6 | 2021-02-02 18:04:25 | [diff] [blame] | 79 | AlignUp(reinterpret_cast<uint8_t*>(kUintPtrTMax - 62), 32)); |
Mike Wittman | 668debf8 | 2020-07-28 03:10:30 | [diff] [blame] | 80 | EXPECT_EQ(reinterpret_cast<uint8_t*>(kUintPtrTMax / 2 + 1), |
Benoit Lize | c90419f6 | 2021-02-02 18:04:25 | [diff] [blame] | 81 | AlignUp(reinterpret_cast<uint8_t*>(1), kUintPtrTMax / 2 + 1)); |
Mike Wittman | 668debf8 | 2020-07-28 03:10:30 | [diff] [blame] | 82 | } |
| 83 | |
Lei Zhang | 0c01026 | 2018-12-11 18:56:09 | [diff] [blame] | 84 | TEST(BitsTest, AlignDown) { |
| 85 | static constexpr size_t kSizeTMax = std::numeric_limits<size_t>::max(); |
Avi Drissman | db766e5 | 2023-11-28 22:40:29 | [diff] [blame] | 86 | EXPECT_EQ(0u, AlignDown(0u, 4u)); |
| 87 | EXPECT_EQ(0u, AlignDown(1u, 4u)); |
| 88 | EXPECT_EQ(0u, AlignDown(1u, 4096u)); |
| 89 | EXPECT_EQ(4096u, AlignDown(4096u, 4096u)); |
| 90 | EXPECT_EQ(0u, AlignDown(4095u, 4096u)); |
| 91 | EXPECT_EQ(4096u, AlignDown(4097u, 4096u)); |
Peter Kasting | 6a4bf14c | 2022-07-13 14:53:33 | [diff] [blame] | 92 | EXPECT_EQ(kSizeTMax - 63, AlignDown(kSizeTMax - 62, size_t{32})); |
| 93 | EXPECT_EQ(kSizeTMax - 31, AlignDown(kSizeTMax, size_t{32})); |
| 94 | EXPECT_EQ(0ul, AlignDown(size_t{1}, kSizeTMax / 2 + 1)); |
Lei Zhang | 0c01026 | 2018-12-11 18:56:09 | [diff] [blame] | 95 | } |
| 96 | |
Mike Wittman | 668debf8 | 2020-07-28 03:10:30 | [diff] [blame] | 97 | TEST(BitsTest, AlignDownPointer) { |
| 98 | static constexpr uintptr_t kUintPtrTMax = |
| 99 | std::numeric_limits<uintptr_t>::max(); |
| 100 | EXPECT_EQ(reinterpret_cast<uint8_t*>(0), |
| 101 | AlignDown(reinterpret_cast<uint8_t*>(0), 4)); |
| 102 | EXPECT_EQ(reinterpret_cast<uint8_t*>(0), |
| 103 | AlignDown(reinterpret_cast<uint8_t*>(1), 4)); |
| 104 | EXPECT_EQ(reinterpret_cast<uint8_t*>(0), |
| 105 | AlignDown(reinterpret_cast<uint8_t*>(1), 4096)); |
| 106 | EXPECT_EQ(reinterpret_cast<uint8_t*>(4096), |
| 107 | AlignDown(reinterpret_cast<uint8_t*>(4096), 4096)); |
| 108 | EXPECT_EQ(reinterpret_cast<uint8_t*>(0), |
| 109 | AlignDown(reinterpret_cast<uint8_t*>(4095), 4096)); |
| 110 | EXPECT_EQ(reinterpret_cast<uint8_t*>(4096), |
| 111 | AlignDown(reinterpret_cast<uint8_t*>(4097), 4096)); |
| 112 | EXPECT_EQ(reinterpret_cast<uint8_t*>(kUintPtrTMax - 63), |
| 113 | AlignDown(reinterpret_cast<uint8_t*>(kUintPtrTMax - 62), 32)); |
| 114 | EXPECT_EQ(reinterpret_cast<uint8_t*>(kUintPtrTMax - 31), |
| 115 | AlignDown(reinterpret_cast<uint8_t*>(kUintPtrTMax), 32)); |
| 116 | EXPECT_EQ(reinterpret_cast<uint8_t*>(0), |
| 117 | AlignDown(reinterpret_cast<uint8_t*>(1), kUintPtrTMax / 2 + 1)); |
| 118 | } |
| 119 | |
OlivierLi | 02b94c5 | 2020-05-29 21:30:56 | [diff] [blame] | 120 | TEST(BitsTest, LeftMostBit) { |
| 121 | // Construction of a signed type from an unsigned one of the same width |
Lei Zhang | ce16fc0 | 2023-06-27 17:11:29 | [diff] [blame] | 122 | // preserves all bits. Explicitly confirming this behavior here to illustrate |
OlivierLi | 02b94c5 | 2020-05-29 21:30:56 | [diff] [blame] | 123 | // correctness of reusing unsigned literals to test behavior of signed types. |
| 124 | // Using signed literals does not work with EXPECT_EQ. |
| 125 | static_assert(int64_t(0xFFFFFFFFFFFFFFFFu) == 0xFFFFFFFFFFFFFFFFl, |
| 126 | "Comparing signed with unsigned literals compares bits."); |
| 127 | static_assert((0xFFFFFFFFFFFFFFFFu ^ 0xFFFFFFFFFFFFFFFFl) == 0, |
| 128 | "Signed and unsigned literals have the same bits set"); |
| 129 | |
| 130 | uint64_t unsigned_long_long_value = 0x8000000000000000u; |
| 131 | EXPECT_EQ(LeftmostBit<uint64_t>(), unsigned_long_long_value); |
| 132 | EXPECT_EQ(LeftmostBit<int64_t>(), int64_t(unsigned_long_long_value)); |
| 133 | |
| 134 | uint32_t unsigned_long_value = 0x80000000u; |
| 135 | EXPECT_EQ(LeftmostBit<uint32_t>(), unsigned_long_value); |
| 136 | EXPECT_EQ(LeftmostBit<int32_t>(), int32_t(unsigned_long_value)); |
| 137 | |
| 138 | uint16_t unsigned_short_value = 0x8000u; |
| 139 | EXPECT_EQ(LeftmostBit<uint16_t>(), unsigned_short_value); |
| 140 | EXPECT_EQ(LeftmostBit<int16_t>(), int16_t(unsigned_short_value)); |
| 141 | |
| 142 | uint8_t unsigned_byte_value = 0x80u; |
| 143 | EXPECT_EQ(LeftmostBit<uint8_t>(), unsigned_byte_value); |
| 144 | EXPECT_EQ(LeftmostBit<int8_t>(), int8_t(unsigned_byte_value)); |
| 145 | } |
| 146 | |
Avi Drissman | 6f303a54 | 2023-11-17 15:09:58 | [diff] [blame] | 147 | } // namespace base::bits |