// Copyright 2011 the V8 project authors. All rights reserved. // Redistribution and use in source and binary forms, with or without // modification, are permitted provided that the following conditions are // met: // // * Redistributions of source code must retain the above copyright // notice, this list of conditions and the following disclaimer. // * Redistributions in binary form must reproduce the above // copyright notice, this list of conditions and the following // disclaimer in the documentation and/or other materials provided // with the distribution. // * Neither the name of Google Inc. nor the names of its // contributors may be used to endorse or promote products derived // from this software without specific prior written permission. // // THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS // "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT // LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR // A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT // OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, // SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT // LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, // DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY // THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT // (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE // OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. #include <stdlib.h> #include <vector> #include "src/init/v8.h" #include "src/api/api-inl.h" #include "src/base/platform/platform.h" #include "src/numbers/conversions.h" #include "test/cctest/cctest.h" #include "test/cctest/collector.h" namespace v8 { namespace internal { TEST(Utils1) { CHECK_EQ(-1000000, FastD2I(-1000000.0)); CHECK_EQ(-1, FastD2I(-1.0)); CHECK_EQ(0, FastD2I(0.0)); CHECK_EQ(1, FastD2I(1.0)); CHECK_EQ(1000000, FastD2I(1000000.0)); CHECK_EQ(-1000000, FastD2I(-1000000.123)); CHECK_EQ(-1, FastD2I(-1.234)); CHECK_EQ(0, FastD2I(0.345)); CHECK_EQ(1, FastD2I(1.234)); CHECK_EQ(1000000, FastD2I(1000000.123)); // Check that >> is implemented as arithmetic shift right. // If this is not true, then ArithmeticShiftRight() must be changed, // There are also documented right shifts in assembler.cc of // int8_t and intptr_t signed integers. CHECK_EQ(-2, -8 >> 2); CHECK_EQ(-2, static_cast<int8_t>(-8) >> 2); CHECK_EQ(-2, static_cast<int>(static_cast<intptr_t>(-8) >> 2)); CHECK_EQ(-1000000, FastD2IChecked(-1000000.0)); CHECK_EQ(-1, FastD2IChecked(-1.0)); CHECK_EQ(0, FastD2IChecked(0.0)); CHECK_EQ(1, FastD2IChecked(1.0)); CHECK_EQ(1000000, FastD2IChecked(1000000.0)); CHECK_EQ(-1000000, FastD2IChecked(-1000000.123)); CHECK_EQ(-1, FastD2IChecked(-1.234)); CHECK_EQ(0, FastD2IChecked(0.345)); CHECK_EQ(1, FastD2IChecked(1.234)); CHECK_EQ(1000000, FastD2IChecked(1000000.123)); CHECK_EQ(INT_MAX, FastD2IChecked(1.0e100)); CHECK_EQ(INT_MIN, FastD2IChecked(-1.0e100)); CHECK_EQ(INT_MIN, FastD2IChecked(std::numeric_limits<double>::quiet_NaN())); } TEST(BitSetComputer) { using BoolComputer = BitSetComputer<bool, 1, kSmiValueSize, uint32_t>; CHECK_EQ(0, BoolComputer::word_count(0)); CHECK_EQ(1, BoolComputer::word_count(8)); CHECK_EQ(2, BoolComputer::word_count(50)); CHECK_EQ(0, BoolComputer::index(0, 8)); CHECK_EQ(100, BoolComputer::index(100, 8)); CHECK_EQ(1, BoolComputer::index(0, 40)); uint32_t data = 0; data = BoolComputer::encode(data, 1, true); data = BoolComputer::encode(data, 4, true); CHECK(BoolComputer::decode(data, 1)); CHECK(BoolComputer::decode(data, 4)); CHECK(!BoolComputer::decode(data, 0)); CHECK(!BoolComputer::decode(data, 2)); CHECK(!BoolComputer::decode(data, 3)); // Lets store 2 bits per item with 3000 items and verify the values are // correct. using TwoBits = BitSetComputer<unsigned char, 2, 8, unsigned char>; const int words = 750; CHECK_EQ(words, TwoBits::word_count(3000)); const int offset = 10; Vector<unsigned char> buffer = Vector<unsigned char>::New(offset + words); memset(buffer.begin(), 0, sizeof(unsigned char) * buffer.length()); for (int i = 0; i < words; i++) { const int index = TwoBits::index(offset, i); unsigned char data = buffer[index]; data = TwoBits::encode(data, i, i % 4); buffer[index] = data; } for (int i = 0; i < words; i++) { const int index = TwoBits::index(offset, i); unsigned char data = buffer[index]; CHECK_EQ(i % 4, TwoBits::decode(data, i)); } buffer.Dispose(); } TEST(SNPrintF) { // Make sure that strings that are truncated because of too small // buffers are zero-terminated anyway. const char* s = "the quick lazy .... oh forget it!"; int length = static_cast<int>(strlen(s)); for (int i = 1; i < length * 2; i++) { static const char kMarker = static_cast<char>(42); Vector<char> buffer = Vector<char>::New(i + 1); buffer[i] = kMarker; int n = SNPrintF(Vector<char>(buffer.begin(), i), "%s", s); CHECK(n <= i); CHECK(n == length || n == -1); CHECK_EQ(0, strncmp(buffer.begin(), s, i - 1)); CHECK_EQ(kMarker, buffer[i]); if (i <= length) { CHECK_EQ(i - 1, strlen(buffer.begin())); } else { CHECK_EQ(length, strlen(buffer.begin())); } buffer.Dispose(); } } static const int kAreaSize = 512; void TestMemMove(byte* area1, byte* area2, int src_offset, int dest_offset, int length) { for (int i = 0; i < kAreaSize; i++) { area1[i] = i & 0xFF; area2[i] = i & 0xFF; } MemMove(area1 + dest_offset, area1 + src_offset, length); memmove(area2 + dest_offset, area2 + src_offset, length); if (memcmp(area1, area2, kAreaSize) != 0) { printf("MemMove(): src_offset: %d, dest_offset: %d, length: %d\n", src_offset, dest_offset, length); for (int i = 0; i < kAreaSize; i++) { if (area1[i] == area2[i]) continue; printf("diff at offset %d (%p): is %d, should be %d\n", i, reinterpret_cast<void*>(area1 + i), area1[i], area2[i]); } FATAL("memmove error"); } } TEST(MemMove) { v8::V8::Initialize(); byte* area1 = new byte[kAreaSize]; byte* area2 = new byte[kAreaSize]; static const int kMinOffset = 32; static const int kMaxOffset = 64; static const int kMaxLength = 128; STATIC_ASSERT(kMaxOffset + kMaxLength < kAreaSize); for (int src_offset = kMinOffset; src_offset <= kMaxOffset; src_offset++) { for (int dst_offset = kMinOffset; dst_offset <= kMaxOffset; dst_offset++) { for (int length = 0; length <= kMaxLength; length++) { TestMemMove(area1, area2, src_offset, dst_offset, length); } } } delete[] area1; delete[] area2; } TEST(Collector) { Collector<int> collector(8); const int kLoops = 5; const int kSequentialSize = 1000; const int kBlockSize = 7; for (int loop = 0; loop < kLoops; loop++) { Vector<int> block = collector.AddBlock(7, 0xBADCAFE); for (int i = 0; i < kSequentialSize; i++) { collector.Add(i); } for (int i = 0; i < kBlockSize - 1; i++) { block[i] = i * 7; } } Vector<int> result = collector.ToVector(); CHECK_EQ(kLoops * (kBlockSize + kSequentialSize), result.length()); for (int i = 0; i < kLoops; i++) { int offset = i * (kSequentialSize + kBlockSize); for (int j = 0; j < kBlockSize - 1; j++) { CHECK_EQ(j * 7, result[offset + j]); } CHECK_EQ(0xBADCAFE, result[offset + kBlockSize - 1]); for (int j = 0; j < kSequentialSize; j++) { CHECK_EQ(j, result[offset + kBlockSize + j]); } } result.Dispose(); } TEST(SequenceCollector) { SequenceCollector<int> collector(8); const int kLoops = 5000; const int kMaxSequenceSize = 13; int total_length = 0; for (int loop = 0; loop < kLoops; loop++) { int seq_length = loop % kMaxSequenceSize; collector.StartSequence(); for (int j = 0; j < seq_length; j++) { collector.Add(j); } Vector<int> sequence = collector.EndSequence(); for (int j = 0; j < seq_length; j++) { CHECK_EQ(j, sequence[j]); } total_length += seq_length; } Vector<int> result = collector.ToVector(); CHECK_EQ(total_length, result.length()); int offset = 0; for (int loop = 0; loop < kLoops; loop++) { int seq_length = loop % kMaxSequenceSize; for (int j = 0; j < seq_length; j++) { CHECK_EQ(j, result[offset]); offset++; } } result.Dispose(); } TEST(SequenceCollectorRegression) { SequenceCollector<char> collector(16); collector.StartSequence(); collector.Add('0'); collector.AddBlock( i::Vector<const char>("12345678901234567890123456789012", 32)); i::Vector<char> seq = collector.EndSequence(); CHECK_EQ(0, strncmp("0123456789012345678901234567890123", seq.begin(), seq.length())); } TEST(CPlusPlus11Features) { struct S { bool x; struct T { double y; int z[3]; } t; }; S s{true, {3.1415, {1, 2, 3}}}; CHECK_EQ(2, s.t.z[1]); std::vector<int> vec{11, 22, 33, 44}; vec.push_back(55); vec.push_back(66); for (auto& i : vec) { ++i; } int j = 12; for (auto i : vec) { CHECK_EQ(j, i); j += 11; } } } // namespace internal } // namespace v8