| /* |
| * Copyright (C) 2015 The Android Open Source Project |
| * |
| * Licensed under the Apache License, Version 2.0 (the "License"); |
| * you may not use this file except in compliance with the License. |
| * You may obtain a copy of the License at |
| * |
| * http://www.apache.org/licenses/LICENSE-2.0 |
| * |
| * Unless required by applicable law or agreed to in writing, software |
| * distributed under the License is distributed on an "AS IS" BASIS, |
| * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. |
| * See the License for the specific language governing permissions and |
| * limitations under the License. |
| */ |
| |
| #include <vector> |
| |
| #include "bit_utils.h" |
| #include "bit_utils_iterator.h" |
| |
| #include "gtest/gtest.h" |
| |
| namespace art { |
| |
| // NOTE: CLZ(0u) is undefined. |
| static_assert(31 == CLZ<uint32_t>(1u), "TestCLZ32#1"); |
| static_assert(30 == CLZ<uint32_t>(2u), "TestCLZ32#2"); |
| static_assert(16 == CLZ<uint32_t>(0x00008765u), "TestCLZ32#3"); |
| static_assert(15 == CLZ<uint32_t>(0x00012345u), "TestCLZ32#4"); |
| static_assert(1 == CLZ<uint32_t>(0x43214321u), "TestCLZ32#5"); |
| static_assert(0 == CLZ<uint32_t>(0x87654321u), "TestCLZ32#6"); |
| |
| // NOTE: CLZ(0ull) is undefined. |
| static_assert(63 == CLZ<uint64_t>(UINT64_C(1)), "TestCLZ64#1"); |
| static_assert(62 == CLZ<uint64_t>(UINT64_C(3)), "TestCLZ64#2"); |
| static_assert(48 == CLZ<uint64_t>(UINT64_C(0x00008765)), "TestCLZ64#3"); |
| static_assert(32 == CLZ<uint64_t>(UINT64_C(0x87654321)), "TestCLZ64#4"); |
| static_assert(31 == CLZ<uint64_t>(UINT64_C(0x123456789)), "TestCLZ64#5"); |
| static_assert(16 == CLZ<uint64_t>(UINT64_C(0x876543211234)), "TestCLZ64#6"); |
| static_assert(1 == CLZ<uint64_t>(UINT64_C(0x4321432187654321)), "TestCLZ64#7"); |
| static_assert(0 == CLZ<uint64_t>(UINT64_C(0x8765432187654321)), "TestCLZ64#8"); |
| |
| // NOTE: CTZ(0u) is undefined. |
| static_assert(0 == CTZ<uint32_t>(1u), "TestCTZ32#1"); |
| static_assert(1 == CTZ<uint32_t>(2u), "TestCTZ32#2"); |
| static_assert(15 == CTZ<uint32_t>(0x45678000u), "TestCTZ32#3"); |
| static_assert(16 == CTZ<uint32_t>(0x43210000u), "TestCTZ32#4"); |
| static_assert(30 == CTZ<uint32_t>(0xc0000000u), "TestCTZ32#5"); |
| static_assert(31 == CTZ<uint32_t>(0x80000000u), "TestCTZ32#6"); |
| |
| // NOTE: CTZ(0ull) is undefined. |
| static_assert(0 == CTZ<uint64_t>(UINT64_C(1)), "TestCTZ64#1"); |
| static_assert(1 == CTZ<uint64_t>(UINT64_C(2)), "TestCTZ64#2"); |
| static_assert(16 == CTZ<uint64_t>(UINT64_C(0x43210000)), "TestCTZ64#3"); |
| static_assert(31 == CTZ<uint64_t>(UINT64_C(0x80000000)), "TestCTZ64#4"); |
| static_assert(32 == CTZ<uint64_t>(UINT64_C(0x8765432100000000)), "TestCTZ64#5"); |
| static_assert(48 == CTZ<uint64_t>(UINT64_C(0x4321000000000000)), "TestCTZ64#6"); |
| static_assert(62 == CTZ<uint64_t>(UINT64_C(0x4000000000000000)), "TestCTZ64#7"); |
| static_assert(63 == CTZ<uint64_t>(UINT64_C(0x8000000000000000)), "TestCTZ64#8"); |
| |
| static_assert(0 == POPCOUNT<uint32_t>(0u), "TestPOPCOUNT32#1"); |
| static_assert(1 == POPCOUNT<uint32_t>(8u), "TestPOPCOUNT32#2"); |
| static_assert(15 == POPCOUNT<uint32_t>(0x55555554u), "TestPOPCOUNT32#3"); |
| static_assert(16 == POPCOUNT<uint32_t>(0xaaaaaaaau), "TestPOPCOUNT32#4"); |
| static_assert(31 == POPCOUNT<uint32_t>(0xfffffffeu), "TestPOPCOUNT32#5"); |
| static_assert(32 == POPCOUNT<uint32_t>(0xffffffffu), "TestPOPCOUNT32#6"); |
| |
| static_assert(0 == POPCOUNT<uint64_t>(UINT64_C(0)), "TestPOPCOUNT64#1"); |
| static_assert(1 == POPCOUNT<uint64_t>(UINT64_C(0x40000)), "TestPOPCOUNT64#2"); |
| static_assert(16 == POPCOUNT<uint64_t>(UINT64_C(0x1414141482828282)), "TestPOPCOUNT64#3"); |
| static_assert(31 == POPCOUNT<uint64_t>(UINT64_C(0x0000ffff00007fff)), "TestPOPCOUNT64#4"); |
| static_assert(32 == POPCOUNT<uint64_t>(UINT64_C(0x5555555555555555)), "TestPOPCOUNT64#5"); |
| static_assert(48 == POPCOUNT<uint64_t>(UINT64_C(0x7777bbbbddddeeee)), "TestPOPCOUNT64#6"); |
| static_assert(63 == POPCOUNT<uint64_t>(UINT64_C(0x7fffffffffffffff)), "TestPOPCOUNT64#7"); |
| static_assert(64 == POPCOUNT<uint64_t>(UINT64_C(0xffffffffffffffff)), "TestPOPCOUNT64#8"); |
| |
| static_assert(-1 == MostSignificantBit<uint32_t>(0u), "TestMSB32#1"); |
| static_assert(0 == MostSignificantBit<uint32_t>(1u), "TestMSB32#2"); |
| static_assert(31 == MostSignificantBit<uint32_t>(~static_cast<uint32_t>(0u)), "TestMSB32#3"); |
| static_assert(2 == MostSignificantBit<uint32_t>(0b110), "TestMSB32#4"); |
| static_assert(2 == MostSignificantBit<uint32_t>(0b100), "TestMSB32#5"); |
| |
| static_assert(-1 == MostSignificantBit<uint64_t>(UINT64_C(0)), "TestMSB64#1"); |
| static_assert(0 == MostSignificantBit<uint64_t>(UINT64_C(1)), "TestMSB64#2"); |
| static_assert(63 == MostSignificantBit<uint64_t>(~UINT64_C(0)), "TestMSB64#3"); |
| static_assert(34 == MostSignificantBit<uint64_t>(UINT64_C(0x700000000)), "TestMSB64#4"); |
| static_assert(34 == MostSignificantBit<uint64_t>(UINT64_C(0x777777777)), "TestMSB64#5"); |
| |
| static_assert(-1 == LeastSignificantBit<uint32_t>(0u), "TestLSB32#1"); |
| static_assert(0 == LeastSignificantBit<uint32_t>(1u), "TestLSB32#1"); |
| static_assert(0 == LeastSignificantBit<uint32_t>(~static_cast<uint32_t>(0u)), "TestLSB32#1"); |
| static_assert(1 == LeastSignificantBit<uint32_t>(0b110), "TestLSB32#1"); |
| static_assert(2 == LeastSignificantBit<uint32_t>(0b100), "TestLSB32#1"); |
| |
| static_assert(-1 == LeastSignificantBit<uint64_t>(UINT64_C(0)), "TestLSB64#1"); |
| static_assert(0 == LeastSignificantBit<uint64_t>(UINT64_C(1)), "TestLSB64#2"); |
| static_assert(0 == LeastSignificantBit<uint64_t>(~UINT64_C(0)), "TestLSB64#3"); |
| static_assert(12 == LeastSignificantBit<uint64_t>(UINT64_C(0x5000)), "TestLSB64#4"); |
| static_assert(48 == LeastSignificantBit<uint64_t>(UINT64_C(0x5555000000000000)), "TestLSB64#5"); |
| |
| static_assert(0u == MinimumBitsToStore<uint32_t>(0u), "TestMinBits2Store32#1"); |
| static_assert(1u == MinimumBitsToStore<uint32_t>(1u), "TestMinBits2Store32#2"); |
| static_assert(2u == MinimumBitsToStore<uint32_t>(0b10u), "TestMinBits2Store32#3"); |
| static_assert(2u == MinimumBitsToStore<uint32_t>(0b11u), "TestMinBits2Store32#4"); |
| static_assert(3u == MinimumBitsToStore<uint32_t>(0b100u), "TestMinBits2Store32#5"); |
| static_assert(3u == MinimumBitsToStore<uint32_t>(0b110u), "TestMinBits2Store32#6"); |
| static_assert(3u == MinimumBitsToStore<uint32_t>(0b101u), "TestMinBits2Store32#7"); |
| static_assert(8u == MinimumBitsToStore<uint32_t>(0xFFu), "TestMinBits2Store32#8"); |
| static_assert(32u == MinimumBitsToStore<uint32_t>(~static_cast<uint32_t>(0u)), |
| "TestMinBits2Store32#9"); |
| |
| static_assert(0u == MinimumBitsToStore<uint64_t>(UINT64_C(0)), "TestMinBits2Store64#1"); |
| static_assert(1u == MinimumBitsToStore<uint64_t>(UINT64_C(1)), "TestMinBits2Store64#2"); |
| static_assert(2u == MinimumBitsToStore<uint64_t>(UINT64_C(0b10)), "TestMinBits2Store64#3"); |
| static_assert(2u == MinimumBitsToStore<uint64_t>(UINT64_C(0b11)), "TestMinBits2Store64#4"); |
| static_assert(3u == MinimumBitsToStore<uint64_t>(UINT64_C(0b100)), "TestMinBits2Store64#5"); |
| static_assert(3u == MinimumBitsToStore<uint64_t>(UINT64_C(0b110)), "TestMinBits2Store64#6"); |
| static_assert(3u == MinimumBitsToStore<uint64_t>(UINT64_C(0b101)), "TestMinBits2Store64#7"); |
| static_assert(8u == MinimumBitsToStore<uint64_t>(UINT64_C(0xFF)), "TestMinBits2Store64#8"); |
| static_assert(32u == MinimumBitsToStore<uint64_t>(UINT64_C(0xFFFFFFFF)), "TestMinBits2Store64#9"); |
| static_assert(33u == MinimumBitsToStore<uint64_t>(UINT64_C(0x1FFFFFFFF)), "TestMinBits2Store64#10"); |
| static_assert(64u == MinimumBitsToStore<uint64_t>(~UINT64_C(0)), "TestMinBits2Store64#11"); |
| |
| static_assert(0 == TruncToPowerOfTwo<uint32_t>(0u), "TestTruncToPowerOfTwo32#1"); |
| static_assert(1 == TruncToPowerOfTwo<uint32_t>(1u), "TestTruncToPowerOfTwo32#2"); |
| static_assert(2 == TruncToPowerOfTwo<uint32_t>(2u), "TestTruncToPowerOfTwo32#3"); |
| static_assert(2 == TruncToPowerOfTwo<uint32_t>(3u), "TestTruncToPowerOfTwo32#4"); |
| static_assert(4 == TruncToPowerOfTwo<uint32_t>(7u), "TestTruncToPowerOfTwo32#5"); |
| static_assert(0x20000u == TruncToPowerOfTwo<uint32_t>(0x3aaaau), |
| "TestTruncToPowerOfTwo32#6"); |
| static_assert(0x40000000u == TruncToPowerOfTwo<uint32_t>(0x40000001u), |
| "TestTruncToPowerOfTwo32#7"); |
| static_assert(0x80000000u == TruncToPowerOfTwo<uint32_t>(0x80000000u), |
| "TestTruncToPowerOfTwo32#8"); |
| |
| static_assert(0 == TruncToPowerOfTwo<uint64_t>(UINT64_C(0)), "TestTruncToPowerOfTwo64#1"); |
| static_assert(1 == TruncToPowerOfTwo<uint64_t>(UINT64_C(1)), "TestTruncToPowerOfTwo64#2"); |
| static_assert(2 == TruncToPowerOfTwo<uint64_t>(UINT64_C(2)), "TestTruncToPowerOfTwo64#3"); |
| static_assert(2 == TruncToPowerOfTwo<uint64_t>(UINT64_C(3)), "TestTruncToPowerOfTwo64#4"); |
| static_assert(4 == TruncToPowerOfTwo<uint64_t>(UINT64_C(7)), "TestTruncToPowerOfTwo64#5"); |
| static_assert(UINT64_C(0x20000) == TruncToPowerOfTwo<uint64_t>(UINT64_C(0x3aaaa)), |
| "TestTruncToPowerOfTwo64#6"); |
| static_assert( |
| UINT64_C(0x4000000000000000) == TruncToPowerOfTwo<uint64_t>(UINT64_C(0x4000000000000001)), |
| "TestTruncToPowerOfTwo64#7"); |
| static_assert( |
| UINT64_C(0x8000000000000000) == TruncToPowerOfTwo<uint64_t>(UINT64_C(0x8000000000000000)), |
| "TestTruncToPowerOfTwo64#8"); |
| |
| static_assert(0 == RoundUpToPowerOfTwo<uint32_t>(0u), "TestRoundUpPowerOfTwo32#1"); |
| static_assert(1 == RoundUpToPowerOfTwo<uint32_t>(1u), "TestRoundUpPowerOfTwo32#2"); |
| static_assert(2 == RoundUpToPowerOfTwo<uint32_t>(2u), "TestRoundUpPowerOfTwo32#3"); |
| static_assert(4 == RoundUpToPowerOfTwo<uint32_t>(3u), "TestRoundUpPowerOfTwo32#4"); |
| static_assert(8 == RoundUpToPowerOfTwo<uint32_t>(7u), "TestRoundUpPowerOfTwo32#5"); |
| static_assert(0x40000u == RoundUpToPowerOfTwo<uint32_t>(0x2aaaau), |
| "TestRoundUpPowerOfTwo32#6"); |
| static_assert(0x80000000u == RoundUpToPowerOfTwo<uint32_t>(0x40000001u), |
| "TestRoundUpPowerOfTwo32#7"); |
| static_assert(0x80000000u == RoundUpToPowerOfTwo<uint32_t>(0x80000000u), |
| "TestRoundUpPowerOfTwo32#8"); |
| |
| static_assert(0 == RoundUpToPowerOfTwo<uint64_t>(UINT64_C(0)), "TestRoundUpPowerOfTwo64#1"); |
| static_assert(1 == RoundUpToPowerOfTwo<uint64_t>(UINT64_C(1)), "TestRoundUpPowerOfTwo64#2"); |
| static_assert(2 == RoundUpToPowerOfTwo<uint64_t>(UINT64_C(2)), "TestRoundUpPowerOfTwo64#3"); |
| static_assert(4 == RoundUpToPowerOfTwo<uint64_t>(UINT64_C(3)), "TestRoundUpPowerOfTwo64#4"); |
| static_assert(8 == RoundUpToPowerOfTwo<uint64_t>(UINT64_C(7)), "TestRoundUpPowerOfTwo64#5"); |
| static_assert(UINT64_C(0x40000) == RoundUpToPowerOfTwo<uint64_t>(UINT64_C(0x2aaaa)), |
| "TestRoundUpPowerOfTwo64#6"); |
| static_assert( |
| UINT64_C(0x8000000000000000) == RoundUpToPowerOfTwo<uint64_t>(UINT64_C(0x4000000000000001)), |
| "TestRoundUpPowerOfTwo64#7"); |
| static_assert( |
| UINT64_C(0x8000000000000000) == RoundUpToPowerOfTwo<uint64_t>(UINT64_C(0x8000000000000000)), |
| "TestRoundUpPowerOfTwo64#8"); |
| |
| static constexpr int64_t kInt32MinMinus1 = |
| static_cast<int64_t>(std::numeric_limits<int32_t>::min()) - 1; |
| static constexpr int64_t kInt32MaxPlus1 = |
| static_cast<int64_t>(std::numeric_limits<int32_t>::max()) + 1; |
| static constexpr int64_t kUint32MaxPlus1 = |
| static_cast<int64_t>(std::numeric_limits<uint32_t>::max()) + 1; |
| |
| TEST(BitUtilsTest, TestIsInt32) { |
| EXPECT_FALSE(IsInt<int32_t>(1, -2)); |
| EXPECT_TRUE(IsInt<int32_t>(1, -1)); |
| EXPECT_TRUE(IsInt<int32_t>(1, 0)); |
| EXPECT_FALSE(IsInt<int32_t>(1, 1)); |
| EXPECT_FALSE(IsInt<int32_t>(4, -9)); |
| EXPECT_TRUE(IsInt<int32_t>(4, -8)); |
| EXPECT_TRUE(IsInt<int32_t>(4, 7)); |
| EXPECT_FALSE(IsInt<int32_t>(4, 8)); |
| EXPECT_FALSE(IsInt<int32_t>(31, std::numeric_limits<int32_t>::min())); |
| EXPECT_FALSE(IsInt<int32_t>(31, std::numeric_limits<int32_t>::max())); |
| EXPECT_TRUE(IsInt<int32_t>(32, std::numeric_limits<int32_t>::min())); |
| EXPECT_TRUE(IsInt<int32_t>(32, std::numeric_limits<int32_t>::max())); |
| } |
| |
| TEST(BitUtilsTest, TestIsInt64) { |
| EXPECT_FALSE(IsInt<int64_t>(1, -2)); |
| EXPECT_TRUE(IsInt<int64_t>(1, -1)); |
| EXPECT_TRUE(IsInt<int64_t>(1, 0)); |
| EXPECT_FALSE(IsInt<int64_t>(1, 1)); |
| EXPECT_FALSE(IsInt<int64_t>(4, -9)); |
| EXPECT_TRUE(IsInt<int64_t>(4, -8)); |
| EXPECT_TRUE(IsInt<int64_t>(4, 7)); |
| EXPECT_FALSE(IsInt<int64_t>(4, 8)); |
| EXPECT_FALSE(IsInt<int64_t>(31, std::numeric_limits<int32_t>::min())); |
| EXPECT_FALSE(IsInt<int64_t>(31, std::numeric_limits<int32_t>::max())); |
| EXPECT_TRUE(IsInt<int64_t>(32, std::numeric_limits<int32_t>::min())); |
| EXPECT_TRUE(IsInt<int64_t>(32, std::numeric_limits<int32_t>::max())); |
| EXPECT_FALSE(IsInt<int64_t>(32, kInt32MinMinus1)); |
| EXPECT_FALSE(IsInt<int64_t>(32, kInt32MaxPlus1)); |
| EXPECT_FALSE(IsInt<int64_t>(63, std::numeric_limits<int64_t>::min())); |
| EXPECT_FALSE(IsInt<int64_t>(63, std::numeric_limits<int64_t>::max())); |
| EXPECT_TRUE(IsInt<int64_t>(64, std::numeric_limits<int64_t>::min())); |
| EXPECT_TRUE(IsInt<int64_t>(64, std::numeric_limits<int64_t>::max())); |
| } |
| |
| static_assert(!IsInt<1, int32_t>(-2), "TestIsInt32#1"); |
| static_assert(IsInt<1, int32_t>(-1), "TestIsInt32#2"); |
| static_assert(IsInt<1, int32_t>(0), "TestIsInt32#3"); |
| static_assert(!IsInt<1, int32_t>(1), "TestIsInt32#4"); |
| static_assert(!IsInt<4, int32_t>(-9), "TestIsInt32#5"); |
| static_assert(IsInt<4, int32_t>(-8), "TestIsInt32#6"); |
| static_assert(IsInt<4, int32_t>(7), "TestIsInt32#7"); |
| static_assert(!IsInt<4, int32_t>(8), "TestIsInt32#8"); |
| static_assert(!IsInt<31, int32_t>(std::numeric_limits<int32_t>::min()), "TestIsInt32#9"); |
| static_assert(!IsInt<31, int32_t>(std::numeric_limits<int32_t>::max()), "TestIsInt32#10"); |
| static_assert(IsInt<32, int32_t>(std::numeric_limits<int32_t>::min()), "TestIsInt32#11"); |
| static_assert(IsInt<32, int32_t>(std::numeric_limits<int32_t>::max()), "TestIsInt32#12"); |
| |
| static_assert(!IsInt<1, int64_t>(-2), "TestIsInt64#1"); |
| static_assert(IsInt<1, int64_t>(-1), "TestIsInt64#2"); |
| static_assert(IsInt<1, int64_t>(0), "TestIsInt64#3"); |
| static_assert(!IsInt<1, int64_t>(1), "TestIsInt64#4"); |
| static_assert(!IsInt<4, int64_t>(-9), "TestIsInt64#5"); |
| static_assert(IsInt<4, int64_t>(-8), "TestIsInt64#6"); |
| static_assert(IsInt<4, int64_t>(7), "TestIsInt64#7"); |
| static_assert(!IsInt<4, int64_t>(8), "TestIsInt64#8"); |
| static_assert(!IsInt<31, int64_t>(std::numeric_limits<int32_t>::min()), "TestIsInt64#9"); |
| static_assert(!IsInt<31, int64_t>(std::numeric_limits<int32_t>::max()), "TestIsInt64#10"); |
| static_assert(IsInt<32, int64_t>(std::numeric_limits<int32_t>::min()), "TestIsInt64#11"); |
| static_assert(IsInt<32, int64_t>(std::numeric_limits<int32_t>::max()), "TestIsInt64#12"); |
| static_assert(!IsInt<32, int64_t>(kInt32MinMinus1), "TestIsInt64#13"); |
| static_assert(!IsInt<32, int64_t>(kInt32MaxPlus1), "TestIsInt64#14"); |
| static_assert(!IsInt<63, int64_t>(std::numeric_limits<int64_t>::min()), "TestIsInt64#15"); |
| static_assert(!IsInt<63, int64_t>(std::numeric_limits<int64_t>::max()), "TestIsInt64#16"); |
| static_assert(IsInt<64, int64_t>(std::numeric_limits<int64_t>::min()), "TestIsInt64#17"); |
| static_assert(IsInt<64, int64_t>(std::numeric_limits<int64_t>::max()), "TestIsInt64#18"); |
| |
| static_assert(!IsUint<1, int32_t>(-1), "TestIsUint32#1"); |
| static_assert(IsUint<1, int32_t>(0), "TestIsUint32#2"); |
| static_assert(IsUint<1, int32_t>(1), "TestIsUint32#3"); |
| static_assert(!IsUint<1, int32_t>(2), "TestIsUint32#4"); |
| static_assert(!IsUint<4, int32_t>(-1), "TestIsUint32#5"); |
| static_assert(IsUint<4, int32_t>(0), "TestIsUint32#6"); |
| static_assert(IsUint<4, int32_t>(15), "TestIsUint32#7"); |
| static_assert(!IsUint<4, int32_t>(16), "TestIsUint32#8"); |
| static_assert(!IsUint<30, int32_t>(std::numeric_limits<int32_t>::max()), "TestIsUint32#9"); |
| static_assert(IsUint<31, int32_t>(std::numeric_limits<int32_t>::max()), "TestIsUint32#10"); |
| static_assert(!IsUint<32, int32_t>(-1), "TestIsUint32#11"); |
| static_assert(IsUint<32, int32_t>(0), "TestIsUint32#11"); |
| static_assert(IsUint<32, uint32_t>(static_cast<uint32_t>(-1)), "TestIsUint32#12"); |
| |
| static_assert(!IsUint<1, int64_t>(-1), "TestIsUint64#1"); |
| static_assert(IsUint<1, int64_t>(0), "TestIsUint64#2"); |
| static_assert(IsUint<1, int64_t>(1), "TestIsUint64#3"); |
| static_assert(!IsUint<1, int64_t>(2), "TestIsUint64#4"); |
| static_assert(!IsUint<4, int64_t>(-1), "TestIsUint64#5"); |
| static_assert(IsUint<4, int64_t>(0), "TestIsUint64#6"); |
| static_assert(IsUint<4, int64_t>(15), "TestIsUint64#7"); |
| static_assert(!IsUint<4, int64_t>(16), "TestIsUint64#8"); |
| static_assert(!IsUint<30, int64_t>(std::numeric_limits<int32_t>::max()), "TestIsUint64#9"); |
| static_assert(IsUint<31, int64_t>(std::numeric_limits<int32_t>::max()), "TestIsUint64#10"); |
| static_assert(!IsUint<62, int64_t>(std::numeric_limits<int64_t>::max()), "TestIsUint64#11"); |
| static_assert(IsUint<63, int64_t>(std::numeric_limits<int64_t>::max()), "TestIsUint64#12"); |
| static_assert(!IsUint<64, int64_t>(-1), "TestIsUint64#13"); |
| static_assert(IsUint<64, int64_t>(0), "TestIsUint64#14"); |
| static_assert(IsUint<64, uint64_t>(static_cast<uint32_t>(-1)), "TestIsUint64#15"); |
| |
| static_assert(!IsAbsoluteUint<1, int32_t>(-2), "TestIsAbsoluteUint32#1"); |
| static_assert(IsAbsoluteUint<1, int32_t>(-1), "TestIsAbsoluteUint32#2"); |
| static_assert(IsAbsoluteUint<1, int32_t>(0), "TestIsAbsoluteUint32#3"); |
| static_assert(IsAbsoluteUint<1, int32_t>(1), "TestIsAbsoluteUint32#4"); |
| static_assert(!IsAbsoluteUint<1, int32_t>(2), "TestIsAbsoluteUint32#5"); |
| static_assert(!IsAbsoluteUint<4, int32_t>(-16), "TestIsAbsoluteUint32#6"); |
| static_assert(IsAbsoluteUint<4, int32_t>(-15), "TestIsAbsoluteUint32#7"); |
| static_assert(IsAbsoluteUint<4, int32_t>(0), "TestIsAbsoluteUint32#8"); |
| static_assert(IsAbsoluteUint<4, int32_t>(15), "TestIsAbsoluteUint32#9"); |
| static_assert(!IsAbsoluteUint<4, int32_t>(16), "TestIsAbsoluteUint32#10"); |
| static_assert(!IsAbsoluteUint<30, int32_t>(std::numeric_limits<int32_t>::max()), |
| "TestIsAbsoluteUint32#11"); |
| static_assert(IsAbsoluteUint<31, int32_t>(std::numeric_limits<int32_t>::max()), |
| "TestIsAbsoluteUint32#12"); |
| static_assert(!IsAbsoluteUint<31, int32_t>(std::numeric_limits<int32_t>::min()), |
| "TestIsAbsoluteUint32#13"); |
| static_assert(IsAbsoluteUint<31, int32_t>(std::numeric_limits<int32_t>::min() + 1), |
| "TestIsAbsoluteUint32#14"); |
| static_assert(IsAbsoluteUint<32, int32_t>(std::numeric_limits<int32_t>::max()), |
| "TestIsAbsoluteUint32#15"); |
| static_assert(IsAbsoluteUint<32, int32_t>(std::numeric_limits<int32_t>::min()), |
| "TestIsAbsoluteUint32#16"); |
| static_assert(IsAbsoluteUint<32, int32_t>(0), "TestIsAbsoluteUint32#17"); |
| |
| static_assert(!IsAbsoluteUint<1, int64_t>(-2), "TestIsAbsoluteUint64#1"); |
| static_assert(IsAbsoluteUint<1, int64_t>(-1), "TestIsAbsoluteUint64#2"); |
| static_assert(IsAbsoluteUint<1, int64_t>(0), "TestIsAbsoluteUint64#3"); |
| static_assert(IsAbsoluteUint<1, int64_t>(1), "TestIsAbsoluteUint64#4"); |
| static_assert(!IsAbsoluteUint<1, int64_t>(2), "TestIsAbsoluteUint64#5"); |
| static_assert(!IsAbsoluteUint<4, int64_t>(-16), "TestIsAbsoluteUint64#6"); |
| static_assert(IsAbsoluteUint<4, int64_t>(-15), "TestIsAbsoluteUint64#7"); |
| static_assert(IsAbsoluteUint<4, int64_t>(0), "TestIsAbsoluteUint64#8"); |
| static_assert(IsAbsoluteUint<4, int64_t>(15), "TestIsAbsoluteUint64#9"); |
| static_assert(!IsAbsoluteUint<4, int64_t>(16), "TestIsAbsoluteUint64#10"); |
| static_assert(!IsAbsoluteUint<30, int64_t>(std::numeric_limits<int32_t>::max()), |
| "TestIsAbsoluteUint64#11"); |
| static_assert(IsAbsoluteUint<31, int64_t>(std::numeric_limits<int32_t>::max()), |
| "TestIsAbsoluteUint64#12"); |
| static_assert(!IsAbsoluteUint<31, int64_t>(std::numeric_limits<int32_t>::min()), |
| "TestIsAbsoluteUint64#13"); |
| static_assert(IsAbsoluteUint<31, int64_t>(std::numeric_limits<int32_t>::min() + 1), |
| "TestIsAbsoluteUint64#14"); |
| static_assert(IsAbsoluteUint<32, int64_t>(std::numeric_limits<int32_t>::max()), |
| "TestIsAbsoluteUint64#15"); |
| static_assert(IsAbsoluteUint<32, int64_t>(std::numeric_limits<int32_t>::min()), |
| "TestIsAbsoluteUint64#16"); |
| static_assert(!IsAbsoluteUint<62, int64_t>(std::numeric_limits<int64_t>::max()), |
| "TestIsAbsoluteUint64#17"); |
| static_assert(IsAbsoluteUint<63, int64_t>(std::numeric_limits<int64_t>::max()), |
| "TestIsAbsoluteUint64#18"); |
| static_assert(!IsAbsoluteUint<63, int64_t>(std::numeric_limits<int64_t>::min()), |
| "TestIsAbsoluteUint64#19"); |
| static_assert(IsAbsoluteUint<63, int64_t>(std::numeric_limits<int64_t>::min() + 1), |
| "TestIsAbsoluteUint64#20"); |
| static_assert(IsAbsoluteUint<64, int64_t>(std::numeric_limits<int64_t>::max()), |
| "TestIsAbsoluteUint64#21"); |
| static_assert(IsAbsoluteUint<64, int64_t>(std::numeric_limits<int64_t>::min()), |
| "TestIsAbsoluteUint64#22"); |
| static_assert(!IsAbsoluteUint<32, int64_t>(-kUint32MaxPlus1), "TestIsAbsoluteUint64#23"); |
| static_assert(IsAbsoluteUint<32, int64_t>(-kUint32MaxPlus1 + 1), "TestIsAbsoluteUint64#24"); |
| static_assert(IsAbsoluteUint<32, int64_t>(0), "TestIsAbsoluteUint64#25"); |
| static_assert(IsAbsoluteUint<64, int64_t>(0), "TestIsAbsoluteUint64#26"); |
| static_assert(IsAbsoluteUint<32, int64_t>(std::numeric_limits<uint32_t>::max()), |
| "TestIsAbsoluteUint64#27"); |
| static_assert(!IsAbsoluteUint<32, int64_t>(kUint32MaxPlus1), "TestIsAbsoluteUint64#28"); |
| |
| static_assert(MaskLeastSignificant(0) == 0b0, "TestMaskLeastSignificant#1"); |
| static_assert(MaskLeastSignificant(1) == 0b1, "TestMaskLeastSignificant#2"); |
| static_assert(MaskLeastSignificant(2) == 0b11, "TestMaskLeastSignificant#3"); |
| static_assert(MaskLeastSignificant<uint8_t>(8) == 0xFF, "TestMaskLeastSignificant#4"); |
| static_assert(MaskLeastSignificant<int8_t>(8) == 0xFF, "TestMaskLeastSignificant#5"); |
| static_assert(MaskLeastSignificant<uint64_t>(63) == (std::numeric_limits<uint64_t>::max() >> 1u), |
| "TestMaskLeastSignificant#6"); |
| |
| static_assert(BitFieldClear(0xFF, /*lsb=*/0, /*width=*/0) == 0xFF, "TestBitFieldClear#1"); |
| static_assert(BitFieldClear(std::numeric_limits<uint32_t>::max(), /*lsb=*/0, /*width=*/32) == 0x0, |
| "TestBitFieldClear#2"); |
| static_assert(BitFieldClear(std::numeric_limits<int32_t>::max(), /*lsb=*/0, /*width=*/32) == 0x0, |
| "TestBitFieldClear#3"); |
| static_assert(BitFieldClear(0xFF, /*lsb=*/0, /*width=*/2) == 0b11111100, "TestBitFieldClear#4"); |
| static_assert(BitFieldClear(0xFF, /*lsb=*/0, /*width=*/3) == 0b11111000, "TestBitFieldClear#5"); |
| static_assert(BitFieldClear(0xFF, /*lsb=*/1, /*width=*/3) == 0b11110001, "TestBitFieldClear#6"); |
| static_assert(BitFieldClear(0xFF, /*lsb=*/2, /*width=*/3) == 0b11100011, "TestBitFieldClear#7"); |
| |
| static_assert(BitFieldExtract(0xFF, /*lsb=*/0, /*width=*/0) == 0x0, "TestBitFieldExtract#1"); |
| static_assert(BitFieldExtract(std::numeric_limits<uint32_t>::max(), /*lsb=*/0, /*width=*/32) |
| == std::numeric_limits<uint32_t>::max(), |
| "TestBitFieldExtract#2"); |
| static_assert(BitFieldExtract(std::numeric_limits<int32_t>::max(), /*lsb=*/0, /*width=*/32) |
| == std::numeric_limits<int32_t>::max(), |
| "TestBitFieldExtract#3"); |
| static_assert(BitFieldExtract(static_cast<uint32_t>(0xFF), /*lsb=*/0, /*width=*/2) == 0b00000011, |
| "TestBitFieldExtract#4"); |
| static_assert(BitFieldExtract(static_cast<uint32_t>(0xFF), /*lsb=*/0, /*width=*/3) == 0b00000111, |
| "TestBitFieldExtract#5"); |
| static_assert(BitFieldExtract(static_cast<uint32_t>(0xFF), /*lsb=*/1, /*width=*/3) == 0b00000111, |
| "TestBitFieldExtract#6"); |
| static_assert(BitFieldExtract(static_cast<uint32_t>(0xFF), /*lsb=*/2, /*width=*/3) == 0b00000111, |
| "TestBitFieldExtract#7"); |
| static_assert(BitFieldExtract(static_cast<uint32_t>(0xFF), /*lsb=*/3, /*width=*/3) == 0b00000111, |
| "TestBitFieldExtract#8"); |
| static_assert(BitFieldExtract(static_cast<uint32_t>(0xFF), /*lsb=*/8, /*width=*/3) == 0b00000000, |
| "TestBitFieldExtract#9"); |
| static_assert(BitFieldExtract(static_cast<uint32_t>(0xFF), /*lsb=*/7, /*width=*/3) == 0b00000001, |
| "TestBitFieldExtract#10"); |
| static_assert(BitFieldExtract(static_cast<uint32_t>(0xFF), /*lsb=*/6, /*width=*/3) == 0b00000011, |
| "TestBitFieldExtract#11"); |
| static_assert(BitFieldExtract(0xFF, /*lsb=*/0, /*width=*/2) == -1, "TestBitFieldExtract#12"); |
| static_assert(BitFieldExtract(0xFF, /*lsb=*/0, /*width=*/3) == -1, "TestBitFieldExtract#13"); |
| static_assert(BitFieldExtract(0xFF, /*lsb=*/1, /*width=*/3) == -1, "TestBitFieldExtract#14"); |
| static_assert(BitFieldExtract(0xFF, /*lsb=*/2, /*width=*/3) == -1, "TestBitFieldExtract#15"); |
| static_assert(BitFieldExtract(0xFF, /*lsb=*/3, /*width=*/3) == -1, "TestBitFieldExtract#16"); |
| static_assert(BitFieldExtract(0xFF, /*lsb=*/8, /*width=*/3) == 0b00000000, |
| "TestBitFieldExtract#17"); |
| static_assert(BitFieldExtract(0xFF, /*lsb=*/7, /*width=*/3) == 0b00000001, |
| "TestBitFieldExtract#18"); |
| static_assert(BitFieldExtract(0xFF, /*lsb=*/6, /*width=*/3) == 0b00000011, |
| "TestBitFieldExtract#19"); |
| static_assert(BitFieldExtract(static_cast<uint8_t>(0b01101010), /*lsb=*/2, /*width=*/4) |
| == 0b00001010, |
| "TestBitFieldExtract#20"); |
| static_assert(BitFieldExtract(static_cast<int8_t>(0b01101010), /*lsb=*/2, /*width=*/4) |
| == static_cast<int8_t>(0b11111010), |
| "TestBitFieldExtract#21"); |
| |
| static_assert(BitFieldInsert(0xFF, /*data=*/0x0, /*lsb=*/0, /*width=*/0) == 0xFF, |
| "TestBitFieldInsert#1"); |
| static_assert(BitFieldInsert(std::numeric_limits<uint32_t>::max(), |
| /*data=*/std::numeric_limits<uint32_t>::max(), |
| /*lsb=*/0, |
| /*width=*/32) |
| == std::numeric_limits<uint32_t>::max(), |
| "TestBitFieldInsert#2"); |
| static_assert(BitFieldInsert(std::numeric_limits<int32_t>::max(), |
| /*data=*/std::numeric_limits<uint32_t>::max(), |
| /*lsb=*/0, |
| /*width=*/32) |
| == std::numeric_limits<uint32_t>::max(), |
| "TestBitFieldInsert#3"); |
| static_assert(BitFieldInsert(0u, |
| /*data=*/std::numeric_limits<uint32_t>::max(), |
| /*lsb=*/0, |
| /*width=*/32) |
| == std::numeric_limits<uint32_t>::max(), |
| "TestBitFieldInsert#4"); |
| static_assert(BitFieldInsert(-(-0), |
| /*data=*/std::numeric_limits<uint32_t>::max(), |
| /*lsb=*/0, |
| /*width=*/32) |
| == std::numeric_limits<uint32_t>::max(), |
| "TestBitFieldInsert#5"); |
| static_assert(BitFieldInsert(0x00, /*data=*/0b11u, /*lsb=*/0, /*width=*/2) == 0b00000011, |
| "TestBitFieldInsert#6"); |
| static_assert(BitFieldInsert(0x00, /*data=*/0b111u, /*lsb=*/0, /*width=*/3) == 0b00000111, |
| "TestBitFieldInsert#7"); |
| static_assert(BitFieldInsert(0x00, /*data=*/0b111u, /*lsb=*/1, /*width=*/3) == 0b00001110, |
| "TestBitFieldInsert#8"); |
| static_assert(BitFieldInsert(0x00, /*data=*/0b111u, /*lsb=*/2, /*width=*/3) == 0b00011100, |
| "TestBitFieldInsert#9"); |
| static_assert(BitFieldInsert(0b01011100, /*data=*/0b1101u, /*lsb=*/4, /*width=*/4) == 0b11011100, |
| "TestBitFieldInsert#10"); |
| |
| template <typename Container> |
| void CheckElements(const std::initializer_list<uint32_t>& expected, const Container& elements) { |
| auto expected_it = expected.begin(); |
| auto element_it = elements.begin(); |
| size_t idx = 0u; |
| while (expected_it != expected.end() && element_it != elements.end()) { |
| EXPECT_EQ(*expected_it, *element_it) << idx; |
| ++idx; |
| ++expected_it; |
| ++element_it; |
| } |
| ASSERT_TRUE(expected_it == expected.end() && element_it == elements.end()) |
| << std::boolalpha << (expected_it == expected.end()) << " " << (element_it == elements.end()); |
| } |
| |
| TEST(BitUtilsTest, TestLowToHighBits32) { |
| CheckElements({}, LowToHighBits<uint32_t>(0u)); |
| CheckElements({0}, LowToHighBits<uint32_t>(1u)); |
| CheckElements({15}, LowToHighBits<uint32_t>(0x8000u)); |
| CheckElements({31}, LowToHighBits<uint32_t>(0x80000000u)); |
| CheckElements({0, 31}, LowToHighBits<uint32_t>(0x80000001u)); |
| CheckElements({0, 1, 2, 3, 4, 5, 6, 7, 31}, LowToHighBits<uint32_t>(0x800000ffu)); |
| CheckElements({0, 8, 16, 24, 31}, LowToHighBits<uint32_t>(0x81010101u)); |
| CheckElements({16, 17, 30, 31}, LowToHighBits<uint32_t>(0xc0030000u)); |
| CheckElements({0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, |
| 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31}, |
| LowToHighBits<uint32_t>(0xffffffffu)); |
| } |
| |
| TEST(BitUtilsTest, TestLowToHighBits64) { |
| CheckElements({}, LowToHighBits<uint64_t>(UINT64_C(0))); |
| CheckElements({0}, LowToHighBits<uint64_t>(UINT64_C(1))); |
| CheckElements({32}, LowToHighBits<uint64_t>(UINT64_C(0x100000000))); |
| CheckElements({63}, LowToHighBits<uint64_t>(UINT64_C(0x8000000000000000))); |
| CheckElements({0, 63}, LowToHighBits<uint64_t>(UINT64_C(0x8000000000000001))); |
| CheckElements({0, 1, 2, 3, 4, 5, 6, 7, 63}, |
| LowToHighBits<uint64_t>(UINT64_C(0x80000000000000ff))); |
| CheckElements({0, 8, 16, 24, 32, 40, 48, 56, 63}, |
| LowToHighBits<uint64_t>(UINT64_C(0x8101010101010101))); |
| CheckElements({16, 17, 62, 63}, LowToHighBits<uint64_t>(UINT64_C(0xc000000000030000))); |
| CheckElements({0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, |
| 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, |
| 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, |
| 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63}, |
| LowToHighBits<uint64_t>(UINT64_C(0xffffffffffffffff))); |
| } |
| |
| TEST(BitUtilsTest, TestHighToLowBits32) { |
| CheckElements({}, HighToLowBits<uint32_t>(0u)); |
| CheckElements({0}, HighToLowBits<uint32_t>(1u)); |
| CheckElements({15}, HighToLowBits<uint32_t>(0x8000u)); |
| CheckElements({31}, HighToLowBits<uint32_t>(0x80000000u)); |
| CheckElements({31, 0}, HighToLowBits<uint32_t>(0x80000001u)); |
| CheckElements({31, 7, 6, 5, 4, 3, 2, 1, 0}, HighToLowBits<uint32_t>(0x800000ffu)); |
| CheckElements({31, 24, 16, 8, 0}, HighToLowBits<uint32_t>(0x81010101u)); |
| CheckElements({31, 30, 17, 16}, HighToLowBits<uint32_t>(0xc0030000u)); |
| CheckElements({31, 30, 29, 28, 27, 26, 25, 24, 23, 22, 21, 20, 19, 18, 17, 16, |
| 15, 14, 13, 12, 11, 10, 9, 8, 7, 6, 5, 4, 3, 2, 1, 0}, |
| HighToLowBits<uint32_t>(0xffffffffu)); |
| } |
| |
| TEST(BitUtilsTest, TestHighToLowBits64) { |
| CheckElements({}, HighToLowBits<uint64_t>(UINT64_C(0))); |
| CheckElements({0}, HighToLowBits<uint64_t>(UINT64_C(1))); |
| CheckElements({32}, HighToLowBits<uint64_t>(UINT64_C(0x100000000))); |
| CheckElements({63}, HighToLowBits<uint64_t>(UINT64_C(0x8000000000000000))); |
| CheckElements({63, 0}, HighToLowBits<uint64_t>(UINT64_C(0x8000000000000001))); |
| CheckElements({63, 7, 6, 5, 4, 3, 2, 1, 0}, |
| HighToLowBits<uint64_t>(UINT64_C(0x80000000000000ff))); |
| CheckElements({63, 56, 48, 40, 32, 24, 16, 8, 0}, |
| HighToLowBits<uint64_t>(UINT64_C(0x8101010101010101))); |
| CheckElements({63, 62, 17, 16}, HighToLowBits<uint64_t>(UINT64_C(0xc000000000030000))); |
| CheckElements({63, 62, 61, 60, 59, 58, 57, 56, 55, 54, 53, 52, 51, 50, 49, 48, |
| 47, 46, 45, 44, 43, 42, 41, 40, 39, 38, 37, 36, 35, 34, 33, 32, |
| 31, 30, 29, 28, 27, 26, 25, 24, 23, 22, 21, 20, 19, 18, 17, 16, |
| 15, 14, 13, 12, 11, 10, 9, 8, 7, 6, 5, 4, 3, 2, 1, 0}, |
| HighToLowBits<uint64_t>(UINT64_C(0xffffffffffffffff))); |
| } |
| |
| } // namespace art |