v8/test/cctest/test-utils.cc

Ignoring revisions in .git-blame-ignore-revs. Click here to bypass and see the normal blame view.

296 lines
9.4 KiB
C++
Raw Normal View History

// 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>
Reland "[include] Split out v8.h" This is a reland of d1b27019d3bf86360ea838c317f8505fac6d3a7e Fixes include: Adding missing file to bazel build Forward-declaring classing before friend-classing them to fix win/gcc Add missing v8-isolate.h include for vtune builds Original change's description: > [include] Split out v8.h > > This moves every single class/function out of include/v8.h into a > separate header in include/, which v8.h then includes so that > externally nothing appears to have changed. > > Every include of v8.h from inside v8 has been changed to a more > fine-grained include. > > Previously inline functions defined at the bottom of v8.h would call > private non-inline functions in the V8 class. Since that class is now > in v8-initialization.h and is rarely included (as that would create > dependency cycles), this is not possible and so those methods have been > moved out of the V8 class into the namespace v8::api_internal. > > None of the previous files in include/ now #include v8.h, which means > if embedders were relying on this transitive dependency then it will > give compile failures. > > v8-inspector.h does depend on v8-scripts.h for the time being to ensure > that Chrome continue to compile but that change will be reverted once > those transitive #includes in chrome are changed to include it directly. > > Full design: > https://docs.google.com/document/d/1rTD--I8hCAr-Rho1WTumZzFKaDpEp0IJ8ejZtk4nJdA/edit?usp=sharing > > Bug: v8:11965 > Change-Id: I53b84b29581632710edc80eb11f819c2097a2877 > Reviewed-on: https://chromium-review.googlesource.com/c/v8/v8/+/3097448 > Reviewed-by: Yang Guo <yangguo@chromium.org> > Reviewed-by: Camillo Bruni <cbruni@chromium.org> > Reviewed-by: Jakob Kummerow <jkummerow@chromium.org> > Reviewed-by: Leszek Swirski <leszeks@chromium.org> > Reviewed-by: Michael Lippautz <mlippautz@chromium.org> > Commit-Queue: Dan Elphick <delphick@chromium.org> > Cr-Commit-Position: refs/heads/main@{#76424} Cq-Include-Trybots: luci.v8.try:v8_linux_vtunejit Bug: v8:11965 Change-Id: I99f5d3a73bf8fe25b650adfaf9567dc4e44a09e6 Reviewed-on: https://chromium-review.googlesource.com/c/v8/v8/+/3113629 Reviewed-by: Leszek Swirski <leszeks@chromium.org> Reviewed-by: Camillo Bruni <cbruni@chromium.org> Reviewed-by: Michael Lippautz <mlippautz@chromium.org> Reviewed-by: Jakob Kummerow <jkummerow@chromium.org> Reviewed-by: Simon Zünd <szuend@chromium.org> Commit-Queue: Dan Elphick <delphick@chromium.org> Cr-Commit-Position: refs/heads/main@{#76460}
2021-08-23 13:01:06 +00:00
#include "include/v8-initialization.h"
#include "src/api/api-inl.h"
#include "src/base/bit-field.h"
#include "src/base/platform/platform.h"
Reland "[include] Split out v8.h" This is a reland of d1b27019d3bf86360ea838c317f8505fac6d3a7e Fixes include: Adding missing file to bazel build Forward-declaring classing before friend-classing them to fix win/gcc Add missing v8-isolate.h include for vtune builds Original change's description: > [include] Split out v8.h > > This moves every single class/function out of include/v8.h into a > separate header in include/, which v8.h then includes so that > externally nothing appears to have changed. > > Every include of v8.h from inside v8 has been changed to a more > fine-grained include. > > Previously inline functions defined at the bottom of v8.h would call > private non-inline functions in the V8 class. Since that class is now > in v8-initialization.h and is rarely included (as that would create > dependency cycles), this is not possible and so those methods have been > moved out of the V8 class into the namespace v8::api_internal. > > None of the previous files in include/ now #include v8.h, which means > if embedders were relying on this transitive dependency then it will > give compile failures. > > v8-inspector.h does depend on v8-scripts.h for the time being to ensure > that Chrome continue to compile but that change will be reverted once > those transitive #includes in chrome are changed to include it directly. > > Full design: > https://docs.google.com/document/d/1rTD--I8hCAr-Rho1WTumZzFKaDpEp0IJ8ejZtk4nJdA/edit?usp=sharing > > Bug: v8:11965 > Change-Id: I53b84b29581632710edc80eb11f819c2097a2877 > Reviewed-on: https://chromium-review.googlesource.com/c/v8/v8/+/3097448 > Reviewed-by: Yang Guo <yangguo@chromium.org> > Reviewed-by: Camillo Bruni <cbruni@chromium.org> > Reviewed-by: Jakob Kummerow <jkummerow@chromium.org> > Reviewed-by: Leszek Swirski <leszeks@chromium.org> > Reviewed-by: Michael Lippautz <mlippautz@chromium.org> > Commit-Queue: Dan Elphick <delphick@chromium.org> > Cr-Commit-Position: refs/heads/main@{#76424} Cq-Include-Trybots: luci.v8.try:v8_linux_vtunejit Bug: v8:11965 Change-Id: I99f5d3a73bf8fe25b650adfaf9567dc4e44a09e6 Reviewed-on: https://chromium-review.googlesource.com/c/v8/v8/+/3113629 Reviewed-by: Leszek Swirski <leszeks@chromium.org> Reviewed-by: Camillo Bruni <cbruni@chromium.org> Reviewed-by: Michael Lippautz <mlippautz@chromium.org> Reviewed-by: Jakob Kummerow <jkummerow@chromium.org> Reviewed-by: Simon Zünd <szuend@chromium.org> Commit-Queue: Dan Elphick <delphick@chromium.org> Cr-Commit-Position: refs/heads/main@{#76460}
2021-08-23 13:01:06 +00:00
#include "src/init/v8.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 = base::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 = base::BitSetComputer<unsigned char, 2, 8, unsigned char>;
const int words = 750;
CHECK_EQ(words, TwoBits::word_count(3000));
const int offset = 10;
base::Vector<unsigned char> buffer =
base::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);
base::Vector<char> buffer = base::Vector<char>::New(i + 1);
buffer[i] = kMarker;
int n = SNPrintF(base::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++) {
base::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;
}
}
base::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);
}
base::Vector<int> sequence = collector.EndSequence();
for (int j = 0; j < seq_length; j++) {
CHECK_EQ(j, sequence[j]);
}
total_length += seq_length;
}
base::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(
base::Vector<const char>("12345678901234567890123456789012", 32));
base::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