|  | // Copyright (c) 2012, the Dart project authors.  Please see the AUTHORS file | 
|  | // for details. All rights reserved. Use of this source code is governed by a | 
|  | // BSD-style license that can be found in the LICENSE file. | 
|  |  | 
|  | #include "platform/assert.h" | 
|  |  | 
|  | #include "vm/bitfield.h" | 
|  | #include "vm/globals.h" | 
|  | #include "vm/unit_test.h" | 
|  |  | 
|  | namespace dart { | 
|  |  | 
|  | VM_UNIT_TEST_CASE(BitFields) { | 
|  | using TestBitFields = BitField<uword, int32_t, 1, 8>; | 
|  | EXPECT(TestBitFields::is_valid(16)); | 
|  | EXPECT(!TestBitFields::is_valid(256)); | 
|  | EXPECT_EQ(0x00ffU, TestBitFields::mask()); | 
|  | EXPECT_EQ(0x001feU, TestBitFields::mask_in_place()); | 
|  | EXPECT_EQ(1, TestBitFields::shift()); | 
|  | EXPECT_EQ(8, TestBitFields::bitsize()); | 
|  | EXPECT_EQ(32U, TestBitFields::encode(16)); | 
|  | EXPECT_EQ(16, TestBitFields::decode(32)); | 
|  | EXPECT_EQ(2U, TestBitFields::update(1, 16)); | 
|  | } | 
|  |  | 
|  | template <typename T> | 
|  | static void TestSignExtendedBitField() { | 
|  | using F1 = BitField<T, intptr_t, 0, 8, /*sign_extend=*/true>; | 
|  | using F2 = BitField<T, uintptr_t, F1::kNextBit, 8, /*sign_extend=*/false>; | 
|  | using F3 = BitField<T, intptr_t, F2::kNextBit, 8, /*sign_extend=*/true>; | 
|  | using F4 = BitField<T, uintptr_t, F3::kNextBit, 8, /*sign_extend=*/false>; | 
|  |  | 
|  | const uint32_t value = | 
|  | F1::encode(-1) | F2::encode(1) | F3::encode(-2) | F4::encode(2); | 
|  | EXPECT_EQ(0x02fe01ffU, value); | 
|  | EXPECT_EQ(-1, F1::decode(value)); | 
|  | EXPECT_EQ(1U, F2::decode(value)); | 
|  | EXPECT_EQ(-2, F3::decode(value)); | 
|  | EXPECT_EQ(2U, F4::decode(value)); | 
|  | } | 
|  |  | 
|  | template <typename T> | 
|  | static void TestNotSignExtendedBitField() { | 
|  | using F1 = BitField<T, intptr_t, 0, 8, /*sign_extend=*/false>; | 
|  | using F2 = BitField<T, uintptr_t, F1::kNextBit, 8, /*sign_extend=*/false>; | 
|  | using F3 = BitField<T, intptr_t, F2::kNextBit, 8, /*sign_extend=*/false>; | 
|  | using F4 = BitField<T, uintptr_t, F3::kNextBit, 8, /*sign_extend=*/false>; | 
|  |  | 
|  | const uint32_t value = | 
|  | F1::encode(-1) | F2::encode(1) | F3::encode(-2) | F4::encode(2); | 
|  | EXPECT_EQ(0x02fe01ffU, value); | 
|  | EXPECT_EQ(3, F1::decode(value)); | 
|  | EXPECT_EQ(1, F2::decode(value)); | 
|  | EXPECT_EQ(2, F3::decode(value)); | 
|  | EXPECT_EQ(2, F3::decode(value)); | 
|  | } | 
|  |  | 
|  | VM_UNIT_TEST_CASE(BitFields_SignedField) { | 
|  | TestSignExtendedBitField<uint32_t>(); | 
|  | TestSignExtendedBitField<int32_t>(); | 
|  | } | 
|  |  | 
|  | VM_UNIT_TEST_CASE(BitFields_Defaults) { | 
|  | using F1 = BitField<intptr_t, bool>; | 
|  | using F2 = BitField<intptr_t, uint8_t, F1::kNextBit>; | 
|  | using F3 = BitField<intptr_t, int16_t, F2::kNextBit>; | 
|  | using F3s = BitField<intptr_t, int16_t, F2::kNextBit, kBitsPerInt16, | 
|  | /*sign_extend=*/true>; | 
|  | using F4 = BitField<intptr_t, intptr_t, F3::kNextBit>; | 
|  | using F4s = SignedBitField<intptr_t, intptr_t, F3::kNextBit>; | 
|  | // Like F4/F4s, but based on F3s. | 
|  | using F5 = BitField<intptr_t, intptr_t, F3s::kNextBit>; | 
|  | using F5s = SignedBitField<intptr_t, intptr_t, F3s::kNextBit>; | 
|  |  | 
|  | const intptr_t kF4Bitsize = kBitsPerWord - 24; | 
|  | const intptr_t kF4Max = (static_cast<intptr_t>(1) << (kF4Bitsize)) - 1; | 
|  | const intptr_t kF4sMax = (static_cast<intptr_t>(1) << (kF4Bitsize - 1)) - 1; | 
|  |  | 
|  | const intptr_t kF5Bitsize = kBitsPerWord - 25; | 
|  | const intptr_t kF5Max = (static_cast<intptr_t>(1) << (kF5Bitsize)) - 1; | 
|  | const intptr_t kF5sMax = (static_cast<intptr_t>(1) << (kF5Bitsize - 1)) - 1; | 
|  |  | 
|  | EXPECT_EQ(1, F1::bitsize()); | 
|  | EXPECT_EQ(8, F2::bitsize()); | 
|  | EXPECT_EQ(15, F3::bitsize()); | 
|  | EXPECT_EQ(16, F3s::bitsize()); | 
|  | EXPECT_EQ(kF4Bitsize, F4::bitsize()); | 
|  | EXPECT_EQ(kF4Bitsize, F4s::bitsize()); | 
|  | EXPECT_EQ(kF5Bitsize, F5::bitsize()); | 
|  | EXPECT_EQ(kF5Bitsize, F5s::bitsize()); | 
|  |  | 
|  | EXPECT_EQ(0, F1::shift()); | 
|  | EXPECT_EQ(1, F2::shift()); | 
|  | EXPECT_EQ(9, F3::shift()); | 
|  | EXPECT_EQ(9, F3s::shift()); | 
|  | EXPECT_EQ(24, F4::shift()); | 
|  | EXPECT_EQ(24, F4s::shift()); | 
|  | EXPECT_EQ(25, F5::shift()); | 
|  | EXPECT_EQ(25, F5s::shift()); | 
|  |  | 
|  | EXPECT_EQ(false, F1::min()); | 
|  | EXPECT_EQ(0, F2::min()); | 
|  | EXPECT_EQ(0, F3::min()); | 
|  | EXPECT_EQ(~0x7FFF, F3s::min()); | 
|  | EXPECT_EQ(0, F4::min()); | 
|  | EXPECT_EQ(~kF4sMax, F4s::min()); | 
|  | EXPECT_EQ(F5::min(), 0); | 
|  | EXPECT_EQ(~kF5sMax, F5s::min()); | 
|  |  | 
|  | EXPECT_EQ(true, F1::max()); | 
|  | EXPECT_EQ(0xFF, F2::max()); | 
|  | EXPECT_EQ(0x7FFF, F3::max()); | 
|  | EXPECT_EQ(0x7FFF, F3s::max()); | 
|  | EXPECT_EQ(kF4Max, F4::max()); | 
|  | EXPECT_EQ(kF4sMax, F4s::max()); | 
|  | EXPECT_EQ(kF5Max, F5::max()); | 
|  | EXPECT_EQ(kF5sMax, F5s::max()); | 
|  | } | 
|  |  | 
|  | #if defined(DEBUG) | 
|  | #define DEBUG_CRASH "Crash" | 
|  | #else | 
|  | #define DEBUG_CRASH "Pass" | 
|  | #endif | 
|  |  | 
|  | VM_UNIT_TEST_CASE_WITH_EXPECTATION(BitFields_Assert, DEBUG_CRASH) { | 
|  | using F = BitField<uint32_t, uint32_t, 0, 8, /*sign_extend=*/false>; | 
|  | const uint32_t value = F::encode(kMaxUint32); | 
|  | EXPECT_EQ(kMaxUint8, value); | 
|  | } | 
|  |  | 
|  | }  // namespace dart |