2a0584bfe8
Mostly test/fuzzer, test/inspector, test/unittests. Bug: v8:13006 Change-Id: I825efa5d72a224bb3cb9f86a9fac8763e9dbd1cf Reviewed-on: https://chromium-review.googlesource.com/c/v8/v8/+/3769696 Reviewed-by: Jakob Kummerow <jkummerow@chromium.org> Commit-Queue: Manos Koukoutos <manoskouk@chromium.org> Cr-Commit-Position: refs/heads/main@{#81799}
268 lines
8.5 KiB
C++
268 lines
8.5 KiB
C++
// Copyright 2015 the V8 project authors. All rights reserved.
|
|
// Use of this source code is governed by a BSD-style license that can be
|
|
// found in the LICENSE file.
|
|
|
|
#include "src/compiler/node.h"
|
|
|
|
#include "src/compiler/operator.h"
|
|
#include "test/unittests/test-utils.h"
|
|
#include "testing/gmock/include/gmock/gmock.h"
|
|
|
|
using testing::Contains;
|
|
using testing::ElementsAre;
|
|
using testing::ElementsAreArray;
|
|
using testing::UnorderedElementsAre;
|
|
|
|
namespace v8 {
|
|
namespace internal {
|
|
namespace compiler {
|
|
namespace node_unittest {
|
|
|
|
class NodeTest : public TestWithZone {
|
|
public:
|
|
NodeTest() : TestWithZone(kCompressGraphZone) {}
|
|
};
|
|
|
|
const IrOpcode::Value kOpcode0 = static_cast<IrOpcode::Value>(0);
|
|
const IrOpcode::Value kOpcode1 = static_cast<IrOpcode::Value>(1);
|
|
const IrOpcode::Value kOpcode2 = static_cast<IrOpcode::Value>(2);
|
|
|
|
const Operator kOp0(kOpcode0, Operator::kNoProperties, "Op0", 0, 0, 0, 1, 0, 0);
|
|
const Operator kOp1(kOpcode1, Operator::kNoProperties, "Op1", 1, 0, 0, 1, 0, 0);
|
|
const Operator kOp2(kOpcode2, Operator::kNoProperties, "Op2", 2, 0, 0, 1, 0, 0);
|
|
|
|
|
|
TEST_F(NodeTest, New) {
|
|
Node* const node = Node::New(zone(), 1, &kOp0, 0, nullptr, false);
|
|
EXPECT_EQ(1U, node->id());
|
|
EXPECT_EQ(0, node->UseCount());
|
|
EXPECT_TRUE(node->uses().empty());
|
|
EXPECT_EQ(0, node->InputCount());
|
|
EXPECT_TRUE(node->inputs().empty());
|
|
EXPECT_EQ(&kOp0, node->op());
|
|
EXPECT_EQ(kOpcode0, node->opcode());
|
|
}
|
|
|
|
|
|
TEST_F(NodeTest, NewWithInputs) {
|
|
Node* n0 = Node::New(zone(), 0, &kOp0, 0, nullptr, false);
|
|
EXPECT_EQ(0, n0->UseCount());
|
|
EXPECT_EQ(0, n0->InputCount());
|
|
Node* n1 = Node::New(zone(), 1, &kOp1, 1, &n0, false);
|
|
EXPECT_EQ(1, n0->UseCount());
|
|
EXPECT_THAT(n0->uses(), UnorderedElementsAre(n1));
|
|
EXPECT_EQ(0, n1->UseCount());
|
|
EXPECT_EQ(1, n1->InputCount());
|
|
EXPECT_EQ(n0, n1->InputAt(0));
|
|
Node* n0_n1[] = {n0, n1};
|
|
Node* n2 = Node::New(zone(), 2, &kOp2, 2, n0_n1, false);
|
|
EXPECT_EQ(2, n0->UseCount());
|
|
EXPECT_THAT(n0->uses(), UnorderedElementsAre(n1, n2));
|
|
EXPECT_THAT(n1->uses(), UnorderedElementsAre(n2));
|
|
EXPECT_EQ(2, n2->InputCount());
|
|
EXPECT_EQ(n0, n2->InputAt(0));
|
|
EXPECT_EQ(n1, n2->InputAt(1));
|
|
}
|
|
|
|
|
|
TEST_F(NodeTest, InputIteratorEmpty) {
|
|
Node* node = Node::New(zone(), 0, &kOp0, 0, nullptr, false);
|
|
EXPECT_EQ(node->inputs().begin(), node->inputs().end());
|
|
}
|
|
|
|
|
|
TEST_F(NodeTest, InputIteratorOne) {
|
|
Node* n0 = Node::New(zone(), 0, &kOp0, 0, nullptr, false);
|
|
Node* n1 = Node::New(zone(), 1, &kOp1, 1, &n0, false);
|
|
EXPECT_THAT(n1->inputs(), ElementsAre(n0));
|
|
}
|
|
|
|
|
|
TEST_F(NodeTest, InputIteratorTwo) {
|
|
Node* n0 = Node::New(zone(), 0, &kOp0, 0, nullptr, false);
|
|
Node* n1 = Node::New(zone(), 1, &kOp1, 1, &n0, false);
|
|
Node* n0_n1[] = {n0, n1};
|
|
Node* n2 = Node::New(zone(), 2, &kOp2, 2, n0_n1, false);
|
|
EXPECT_THAT(n2->inputs(), ElementsAre(n0, n1));
|
|
}
|
|
|
|
|
|
TEST_F(NodeTest, UseIteratorEmpty) {
|
|
Node* node = Node::New(zone(), 0, &kOp0, 0, nullptr, false);
|
|
EXPECT_EQ(node->uses().begin(), node->uses().end());
|
|
}
|
|
|
|
|
|
TEST_F(NodeTest, UseIteratorOne) {
|
|
Node* n0 = Node::New(zone(), 0, &kOp0, 0, nullptr, false);
|
|
Node* n1 = Node::New(zone(), 1, &kOp1, 1, &n0, false);
|
|
EXPECT_THAT(n0->uses(), ElementsAre(n1));
|
|
}
|
|
|
|
|
|
TEST_F(NodeTest, UseIteratorTwo) {
|
|
Node* n0 = Node::New(zone(), 0, &kOp0, 0, nullptr, false);
|
|
Node* n1 = Node::New(zone(), 1, &kOp1, 1, &n0, false);
|
|
Node* n0_n1[] = {n0, n1};
|
|
Node* n2 = Node::New(zone(), 2, &kOp2, 2, n0_n1, false);
|
|
EXPECT_THAT(n0->uses(), UnorderedElementsAre(n1, n2));
|
|
}
|
|
|
|
|
|
TEST_F(NodeTest, OwnedBy) {
|
|
Node* n0 = Node::New(zone(), 0, &kOp0, 0, nullptr, false);
|
|
EXPECT_FALSE(n0->OwnedBy(n0));
|
|
Node* n1 = Node::New(zone(), 1, &kOp1, 1, &n0, false);
|
|
EXPECT_FALSE(n0->OwnedBy(n0));
|
|
EXPECT_FALSE(n1->OwnedBy(n1));
|
|
EXPECT_TRUE(n0->OwnedBy(n1));
|
|
Node* n0_n1[] = {n0, n1};
|
|
Node* n2 = Node::New(zone(), 2, &kOp2, 2, n0_n1, false);
|
|
EXPECT_FALSE(n0->OwnedBy(n0));
|
|
EXPECT_FALSE(n1->OwnedBy(n1));
|
|
EXPECT_FALSE(n2->OwnedBy(n2));
|
|
EXPECT_FALSE(n0->OwnedBy(n1));
|
|
EXPECT_FALSE(n0->OwnedBy(n2));
|
|
EXPECT_TRUE(n1->OwnedBy(n2));
|
|
EXPECT_TRUE(n0->OwnedBy(n1, n2));
|
|
n2->ReplaceInput(0, n2);
|
|
EXPECT_TRUE(n0->OwnedBy(n1));
|
|
EXPECT_TRUE(n1->OwnedBy(n2));
|
|
n2->ReplaceInput(1, n0);
|
|
EXPECT_FALSE(n0->OwnedBy(n1));
|
|
EXPECT_FALSE(n1->OwnedBy(n2));
|
|
}
|
|
|
|
|
|
TEST_F(NodeTest, ReplaceUsesNone) {
|
|
Node* n0 = Node::New(zone(), 0, &kOp0, 0, nullptr, false);
|
|
Node* n1 = Node::New(zone(), 1, &kOp1, 1, &n0, false);
|
|
Node* n0_n1[] = {n0, n1};
|
|
Node* n2 = Node::New(zone(), 2, &kOp2, 2, n0_n1, false);
|
|
Node* node = Node::New(zone(), 42, &kOp0, 0, nullptr, false);
|
|
EXPECT_TRUE(node->uses().empty());
|
|
node->ReplaceUses(n0);
|
|
EXPECT_TRUE(node->uses().empty());
|
|
node->ReplaceUses(n1);
|
|
EXPECT_TRUE(node->uses().empty());
|
|
node->ReplaceUses(n2);
|
|
EXPECT_TRUE(node->uses().empty());
|
|
}
|
|
|
|
|
|
TEST_F(NodeTest, AppendInput) {
|
|
Node* n0 = Node::New(zone(), 0, &kOp0, 0, nullptr, false);
|
|
Node* n1 = Node::New(zone(), 1, &kOp1, 1, &n0, false);
|
|
Node* node = Node::New(zone(), 12345, &kOp0, 0, nullptr, true);
|
|
EXPECT_TRUE(node->inputs().empty());
|
|
node->AppendInput(zone(), n0);
|
|
EXPECT_FALSE(node->inputs().empty());
|
|
EXPECT_THAT(node->inputs(), ElementsAre(n0));
|
|
node->AppendInput(zone(), n1);
|
|
EXPECT_THAT(node->inputs(), ElementsAre(n0, n1));
|
|
node->AppendInput(zone(), n0);
|
|
EXPECT_THAT(node->inputs(), ElementsAre(n0, n1, n0));
|
|
node->AppendInput(zone(), n0);
|
|
EXPECT_THAT(node->inputs(), ElementsAre(n0, n1, n0, n0));
|
|
node->AppendInput(zone(), n1);
|
|
EXPECT_THAT(node->inputs(), ElementsAre(n0, n1, n0, n0, n1));
|
|
}
|
|
|
|
|
|
TEST_F(NodeTest, TrimThenAppend) {
|
|
Node* n0 = Node::New(zone(), 0, &kOp0, 0, nullptr, false);
|
|
Node* n1 = Node::New(zone(), 1, &kOp0, 0, nullptr, false);
|
|
Node* n2 = Node::New(zone(), 2, &kOp0, 0, nullptr, false);
|
|
Node* n3 = Node::New(zone(), 3, &kOp0, 0, nullptr, false);
|
|
Node* n4 = Node::New(zone(), 4, &kOp0, 0, nullptr, false);
|
|
Node* n5 = Node::New(zone(), 5, &kOp0, 0, nullptr, false);
|
|
Node* n6 = Node::New(zone(), 6, &kOp0, 0, nullptr, false);
|
|
Node* n7 = Node::New(zone(), 7, &kOp0, 0, nullptr, false);
|
|
Node* n8 = Node::New(zone(), 8, &kOp0, 0, nullptr, false);
|
|
Node* n9 = Node::New(zone(), 9, &kOp0, 0, nullptr, false);
|
|
Node* node = Node::New(zone(), 12345, &kOp0, 0, nullptr, true);
|
|
|
|
EXPECT_TRUE(node->inputs().empty());
|
|
|
|
node->AppendInput(zone(), n0);
|
|
EXPECT_FALSE(node->inputs().empty());
|
|
EXPECT_THAT(node->inputs(), ElementsAre(n0));
|
|
|
|
node->TrimInputCount(0);
|
|
EXPECT_TRUE(node->inputs().empty());
|
|
|
|
node->AppendInput(zone(), n1);
|
|
EXPECT_FALSE(node->inputs().empty());
|
|
EXPECT_THAT(node->inputs(), ElementsAre(n1));
|
|
|
|
node->AppendInput(zone(), n2);
|
|
EXPECT_FALSE(node->inputs().empty());
|
|
EXPECT_THAT(node->inputs(), ElementsAre(n1, n2));
|
|
|
|
node->TrimInputCount(1);
|
|
EXPECT_FALSE(node->inputs().empty());
|
|
EXPECT_THAT(node->inputs(), ElementsAre(n1));
|
|
|
|
node->AppendInput(zone(), n3);
|
|
EXPECT_FALSE(node->inputs().empty());
|
|
EXPECT_THAT(node->inputs(), ElementsAre(n1, n3));
|
|
|
|
node->AppendInput(zone(), n4);
|
|
EXPECT_FALSE(node->inputs().empty());
|
|
EXPECT_THAT(node->inputs(), ElementsAre(n1, n3, n4));
|
|
|
|
node->AppendInput(zone(), n5);
|
|
EXPECT_FALSE(node->inputs().empty());
|
|
EXPECT_THAT(node->inputs(), ElementsAre(n1, n3, n4, n5));
|
|
|
|
node->AppendInput(zone(), n6);
|
|
EXPECT_FALSE(node->inputs().empty());
|
|
EXPECT_THAT(node->inputs(), ElementsAre(n1, n3, n4, n5, n6));
|
|
|
|
node->AppendInput(zone(), n7);
|
|
EXPECT_FALSE(node->inputs().empty());
|
|
EXPECT_THAT(node->inputs(), ElementsAre(n1, n3, n4, n5, n6, n7));
|
|
|
|
node->TrimInputCount(4);
|
|
EXPECT_THAT(node->inputs(), ElementsAre(n1, n3, n4, n5));
|
|
|
|
node->AppendInput(zone(), n8);
|
|
EXPECT_FALSE(node->inputs().empty());
|
|
EXPECT_THAT(node->inputs(), ElementsAre(n1, n3, n4, n5, n8));
|
|
|
|
node->AppendInput(zone(), n9);
|
|
EXPECT_FALSE(node->inputs().empty());
|
|
EXPECT_THAT(node->inputs(), ElementsAre(n1, n3, n4, n5, n8, n9));
|
|
}
|
|
|
|
|
|
TEST_F(NodeTest, BigNodes) {
|
|
static const int kMaxSize = 512;
|
|
Node* inputs[kMaxSize];
|
|
|
|
Node* n0 = Node::New(zone(), 0, &kOp0, 0, nullptr, false);
|
|
Node* n1 = Node::New(zone(), 1, &kOp1, 1, &n0, false);
|
|
|
|
for (int i = 0; i < kMaxSize; i++) {
|
|
inputs[i] = i & 1 ? n0 : n1;
|
|
}
|
|
|
|
for (int size = 13; size <= kMaxSize; size += 9) {
|
|
Node* node = Node::New(zone(), 12345, &kOp0, size, inputs, false);
|
|
EXPECT_EQ(size, node->InputCount());
|
|
|
|
for (int i = 0; i < size; i++) {
|
|
EXPECT_EQ(inputs[i], node->InputAt(i));
|
|
}
|
|
|
|
EXPECT_THAT(n0->uses(), Contains(node));
|
|
EXPECT_THAT(n1->uses(), Contains(node));
|
|
EXPECT_THAT(node->inputs(), ElementsAreArray(inputs, size));
|
|
}
|
|
}
|
|
|
|
} // namespace node_unittest
|
|
} // namespace compiler
|
|
} // namespace internal
|
|
} // namespace v8
|