blob: 5b4c014b406a28b39c5958adba72ff18620f58e9 [file] [log] [blame] [edit]
// 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