Avi Drissman | e4622aa | 2022-09-08 20:36:06 | [diff] [blame] | 1 | // Copyright 2009 The Chromium Authors |
apatrick@google.com | 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 | |
apatrick@google.com | 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{ |
apatrick@google.com | 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 | unsignedint 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 | unsignedint 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 | staticconstexprsize_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 | staticconstexpruintptr_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 | staticconstexprsize_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 | staticconstexpruintptr_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 |