5d693348f0
Reason for revert: Prime suspect for roll blocker: https://codereview.chromium.org/2362503002/ Original issue's description: > [Interpreter] Optimize BytecodeArrayBuilder and BytecodeArrayWriter. > > This CL optimizes the code in BytecodeArrayBuilder and > BytecodeArrayWriter by making the following main changes: > > - Move operand scale calculation out of BytecodeArrayWriter to the > BytecodeNode constructor, where the decision on which operands are > scalable can generally be statically decided by the compiler. > - Move the maximum register calculation out of BytecodeArrayWriter > and into BytecodeRegisterOptimizer (which is the only place outside > BytecodeGenerator which updates which registers are used). This > avoids the BytecodeArrayWriter needing to know the operand types > of a node as it writes it. > - Modify EmitBytecodes to use individual push_backs rather than > building a buffer and calling insert, since this turns out to be faster. > - Initialize BytecodeArrayWriter's bytecode vector by reserving 512 > bytes, > - Make common functions in Bytecodes constexpr so that they > can be statically calculated by the compiler. > - Move common functions and constructors in Bytecodes and > BytecodeNode to the header so that they can be inlined. > - Change large static switch statements in Bytecodes to const array > lookups, and move to the header to allow inlining. > > I also took the opportunity to remove a number of unused helper > functions, and rework some others for consistency. > > This reduces the percentage of time spent in making BytecodeArrays > in CodeLoad from ~15% to ~11% according to perf. The > CoadLoad score increase by around 2%. > > BUG=v8:4280 > > Committed: https://crrev.com/b11a8b4d41bf09d6b3d6cf214fe3fb61faf01a64 > Cr-Commit-Position: refs/heads/master@{#39599} TBR=mythria@chromium.org,leszeks@chromium.org,rmcilroy@chromium.org # Skipping CQ checks because original CL landed less than 1 days ago. NOPRESUBMIT=true NOTREECHECKS=true NOTRY=true BUG=v8:4280 Review-Url: https://codereview.chromium.org/2360193003 Cr-Commit-Position: refs/heads/master@{#39612}
534 lines
18 KiB
C++
534 lines
18 KiB
C++
// Copyright 2016 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/v8.h"
|
|
|
|
#include "src/factory.h"
|
|
#include "src/interpreter/bytecode-label.h"
|
|
#include "src/interpreter/bytecode-peephole-optimizer.h"
|
|
#include "src/objects-inl.h"
|
|
#include "src/objects.h"
|
|
#include "test/unittests/test-utils.h"
|
|
|
|
namespace v8 {
|
|
namespace internal {
|
|
namespace interpreter {
|
|
|
|
class BytecodePeepholeOptimizerTest : public BytecodePipelineStage,
|
|
public TestWithIsolateAndZone {
|
|
public:
|
|
BytecodePeepholeOptimizerTest() : peephole_optimizer_(this) {}
|
|
~BytecodePeepholeOptimizerTest() override {}
|
|
|
|
void Reset() {
|
|
last_written_.set_bytecode(Bytecode::kIllegal);
|
|
write_count_ = 0;
|
|
}
|
|
|
|
void Write(BytecodeNode* node) override {
|
|
write_count_++;
|
|
last_written_.Clone(node);
|
|
}
|
|
|
|
void WriteJump(BytecodeNode* node, BytecodeLabel* label) override {
|
|
write_count_++;
|
|
last_written_.Clone(node);
|
|
}
|
|
|
|
void BindLabel(BytecodeLabel* label) override {}
|
|
void BindLabel(const BytecodeLabel& target, BytecodeLabel* label) override {}
|
|
Handle<BytecodeArray> ToBytecodeArray(
|
|
Isolate* isolate, int fixed_register_count, int parameter_count,
|
|
Handle<FixedArray> handle_table) override {
|
|
return Handle<BytecodeArray>();
|
|
}
|
|
|
|
void Flush() {
|
|
optimizer()->ToBytecodeArray(isolate(), 0, 0,
|
|
factory()->empty_fixed_array());
|
|
}
|
|
|
|
BytecodePeepholeOptimizer* optimizer() { return &peephole_optimizer_; }
|
|
|
|
int write_count() const { return write_count_; }
|
|
const BytecodeNode& last_written() const { return last_written_; }
|
|
|
|
private:
|
|
BytecodePeepholeOptimizer peephole_optimizer_;
|
|
|
|
int write_count_ = 0;
|
|
BytecodeNode last_written_;
|
|
};
|
|
|
|
// Sanity tests.
|
|
|
|
TEST_F(BytecodePeepholeOptimizerTest, FlushOnJump) {
|
|
CHECK_EQ(write_count(), 0);
|
|
|
|
BytecodeNode add(Bytecode::kAdd, Register(0).ToOperand(), 1);
|
|
optimizer()->Write(&add);
|
|
CHECK_EQ(write_count(), 0);
|
|
|
|
BytecodeLabel target;
|
|
BytecodeNode jump(Bytecode::kJump, 0);
|
|
optimizer()->WriteJump(&jump, &target);
|
|
CHECK_EQ(write_count(), 2);
|
|
CHECK_EQ(jump, last_written());
|
|
}
|
|
|
|
TEST_F(BytecodePeepholeOptimizerTest, FlushOnBind) {
|
|
CHECK_EQ(write_count(), 0);
|
|
|
|
BytecodeNode add(Bytecode::kAdd, Register(0).ToOperand(), 1);
|
|
optimizer()->Write(&add);
|
|
CHECK_EQ(write_count(), 0);
|
|
|
|
BytecodeLabel target;
|
|
optimizer()->BindLabel(&target);
|
|
CHECK_EQ(write_count(), 1);
|
|
CHECK_EQ(add, last_written());
|
|
}
|
|
|
|
// Nop elimination tests.
|
|
|
|
TEST_F(BytecodePeepholeOptimizerTest, ElideEmptyNop) {
|
|
BytecodeNode nop(Bytecode::kNop);
|
|
optimizer()->Write(&nop);
|
|
BytecodeNode add(Bytecode::kAdd, Register(0).ToOperand(), 1);
|
|
optimizer()->Write(&add);
|
|
Flush();
|
|
CHECK_EQ(write_count(), 1);
|
|
CHECK_EQ(add, last_written());
|
|
}
|
|
|
|
TEST_F(BytecodePeepholeOptimizerTest, ElideExpressionNop) {
|
|
BytecodeNode nop(Bytecode::kNop);
|
|
nop.source_info().MakeExpressionPosition(3);
|
|
optimizer()->Write(&nop);
|
|
BytecodeNode add(Bytecode::kAdd, Register(0).ToOperand(), 1);
|
|
optimizer()->Write(&add);
|
|
Flush();
|
|
CHECK_EQ(write_count(), 1);
|
|
CHECK_EQ(add, last_written());
|
|
}
|
|
|
|
TEST_F(BytecodePeepholeOptimizerTest, KeepStatementNop) {
|
|
BytecodeNode nop(Bytecode::kNop);
|
|
nop.source_info().MakeStatementPosition(3);
|
|
optimizer()->Write(&nop);
|
|
BytecodeNode add(Bytecode::kAdd, Register(0).ToOperand(), 1);
|
|
add.source_info().MakeExpressionPosition(3);
|
|
optimizer()->Write(&add);
|
|
Flush();
|
|
CHECK_EQ(write_count(), 2);
|
|
CHECK_EQ(add, last_written());
|
|
}
|
|
|
|
// Tests covering BytecodePeepholeOptimizer::UpdateCurrentBytecode().
|
|
|
|
TEST_F(BytecodePeepholeOptimizerTest, KeepJumpIfToBooleanTrue) {
|
|
BytecodeNode first(Bytecode::kLdaNull);
|
|
BytecodeNode second(Bytecode::kJumpIfToBooleanTrue, 3);
|
|
BytecodeLabel label;
|
|
optimizer()->Write(&first);
|
|
CHECK_EQ(write_count(), 0);
|
|
optimizer()->WriteJump(&second, &label);
|
|
CHECK_EQ(write_count(), 2);
|
|
CHECK_EQ(last_written(), second);
|
|
}
|
|
|
|
TEST_F(BytecodePeepholeOptimizerTest, ElideJumpIfToBooleanTrue) {
|
|
BytecodeNode first(Bytecode::kLdaTrue);
|
|
BytecodeNode second(Bytecode::kJumpIfToBooleanTrue, 3);
|
|
BytecodeLabel label;
|
|
optimizer()->Write(&first);
|
|
CHECK_EQ(write_count(), 0);
|
|
optimizer()->WriteJump(&second, &label);
|
|
CHECK_EQ(write_count(), 2);
|
|
CHECK_EQ(last_written(), second);
|
|
}
|
|
|
|
TEST_F(BytecodePeepholeOptimizerTest, KeepToBooleanLogicalNot) {
|
|
BytecodeNode first(Bytecode::kLdaNull);
|
|
BytecodeNode second(Bytecode::kToBooleanLogicalNot);
|
|
optimizer()->Write(&first);
|
|
CHECK_EQ(write_count(), 0);
|
|
optimizer()->Write(&second);
|
|
CHECK_EQ(write_count(), 1);
|
|
CHECK_EQ(last_written(), first);
|
|
Flush();
|
|
CHECK_EQ(write_count(), 2);
|
|
CHECK_EQ(last_written(), second);
|
|
}
|
|
|
|
TEST_F(BytecodePeepholeOptimizerTest, ElideToBooleanLogicalNot) {
|
|
BytecodeNode first(Bytecode::kLdaTrue);
|
|
BytecodeNode second(Bytecode::kToBooleanLogicalNot);
|
|
optimizer()->Write(&first);
|
|
CHECK_EQ(write_count(), 0);
|
|
optimizer()->Write(&second);
|
|
CHECK_EQ(write_count(), 1);
|
|
CHECK_EQ(last_written(), first);
|
|
Flush();
|
|
CHECK_EQ(write_count(), 2);
|
|
CHECK_EQ(last_written().bytecode(), Bytecode::kLogicalNot);
|
|
}
|
|
|
|
// Tests covering BytecodePeepholeOptimizer::CanElideCurrent().
|
|
|
|
TEST_F(BytecodePeepholeOptimizerTest, StarRxLdarRy) {
|
|
BytecodeNode first(Bytecode::kStar, Register(0).ToOperand());
|
|
BytecodeNode second(Bytecode::kLdar, Register(1).ToOperand());
|
|
optimizer()->Write(&first);
|
|
CHECK_EQ(write_count(), 0);
|
|
optimizer()->Write(&second);
|
|
CHECK_EQ(write_count(), 1);
|
|
CHECK_EQ(last_written(), first);
|
|
Flush();
|
|
CHECK_EQ(write_count(), 2);
|
|
CHECK_EQ(last_written(), second);
|
|
}
|
|
|
|
TEST_F(BytecodePeepholeOptimizerTest, StarRxLdarRx) {
|
|
BytecodeLabel label;
|
|
BytecodeNode first(Bytecode::kStar, Register(0).ToOperand());
|
|
BytecodeNode second(Bytecode::kLdar, Register(0).ToOperand());
|
|
optimizer()->Write(&first);
|
|
optimizer()->Write(&second);
|
|
CHECK_EQ(write_count(), 0);
|
|
Flush();
|
|
CHECK_EQ(write_count(), 1);
|
|
CHECK_EQ(last_written(), first);
|
|
}
|
|
|
|
TEST_F(BytecodePeepholeOptimizerTest, StarRxLdarRxStatement) {
|
|
BytecodeNode first(Bytecode::kStar, Register(0).ToOperand());
|
|
BytecodeNode second(Bytecode::kLdar, Register(0).ToOperand());
|
|
second.source_info().MakeStatementPosition(0);
|
|
optimizer()->Write(&first);
|
|
CHECK_EQ(write_count(), 0);
|
|
optimizer()->Write(&second);
|
|
CHECK_EQ(write_count(), 1);
|
|
CHECK_EQ(last_written(), first);
|
|
Flush();
|
|
CHECK_EQ(write_count(), 2);
|
|
CHECK_EQ(last_written().bytecode(), Bytecode::kNop);
|
|
CHECK_EQ(last_written().source_info(), second.source_info());
|
|
}
|
|
|
|
TEST_F(BytecodePeepholeOptimizerTest, StarRxLdarRxStatementStarRy) {
|
|
BytecodeLabel label;
|
|
BytecodeNode first(Bytecode::kStar, Register(0).ToOperand());
|
|
BytecodeNode second(Bytecode::kLdar, Register(0).ToOperand());
|
|
BytecodeNode third(Bytecode::kStar, Register(3).ToOperand());
|
|
second.source_info().MakeStatementPosition(0);
|
|
optimizer()->Write(&first);
|
|
CHECK_EQ(write_count(), 0);
|
|
optimizer()->Write(&second);
|
|
CHECK_EQ(write_count(), 1);
|
|
CHECK_EQ(last_written(), first);
|
|
optimizer()->Write(&third);
|
|
CHECK_EQ(write_count(), 1);
|
|
Flush();
|
|
CHECK_EQ(write_count(), 2);
|
|
CHECK_EQ(last_written(), third);
|
|
}
|
|
|
|
TEST_F(BytecodePeepholeOptimizerTest, LdarToName) {
|
|
BytecodeNode first(Bytecode::kLdar, Register(0).ToOperand());
|
|
BytecodeNode second(Bytecode::kToName, Register(0).ToOperand());
|
|
optimizer()->Write(&first);
|
|
CHECK_EQ(write_count(), 0);
|
|
optimizer()->Write(&second);
|
|
CHECK_EQ(write_count(), 1);
|
|
CHECK_EQ(last_written(), first);
|
|
Flush();
|
|
CHECK_EQ(write_count(), 2);
|
|
CHECK_EQ(last_written(), second);
|
|
}
|
|
|
|
TEST_F(BytecodePeepholeOptimizerTest, TypeOfToName) {
|
|
BytecodeNode first(Bytecode::kTypeOf);
|
|
BytecodeNode second(Bytecode::kToName, Register(0).ToOperand());
|
|
optimizer()->Write(&first);
|
|
CHECK_EQ(write_count(), 0);
|
|
optimizer()->Write(&second);
|
|
CHECK_EQ(write_count(), 1);
|
|
CHECK_EQ(last_written(), first);
|
|
Flush();
|
|
CHECK_EQ(write_count(), 2);
|
|
CHECK_EQ(last_written(), second);
|
|
CHECK_EQ(last_written().bytecode(), Bytecode::kStar);
|
|
}
|
|
|
|
// Tests covering BytecodePeepholeOptimizer::CanElideLast().
|
|
|
|
TEST_F(BytecodePeepholeOptimizerTest, LdaTrueLdaFalse) {
|
|
BytecodeNode first(Bytecode::kLdaTrue);
|
|
BytecodeNode second(Bytecode::kLdaFalse);
|
|
optimizer()->Write(&first);
|
|
CHECK_EQ(write_count(), 0);
|
|
optimizer()->Write(&second);
|
|
CHECK_EQ(write_count(), 0);
|
|
Flush();
|
|
CHECK_EQ(write_count(), 1);
|
|
CHECK_EQ(last_written(), second);
|
|
}
|
|
|
|
TEST_F(BytecodePeepholeOptimizerTest, LdaTrueStatementLdaFalse) {
|
|
BytecodeNode first(Bytecode::kLdaTrue);
|
|
first.source_info().MakeExpressionPosition(3);
|
|
BytecodeNode second(Bytecode::kLdaFalse);
|
|
optimizer()->Write(&first);
|
|
CHECK_EQ(write_count(), 0);
|
|
optimizer()->Write(&second);
|
|
CHECK_EQ(write_count(), 0);
|
|
Flush();
|
|
CHECK_EQ(write_count(), 1);
|
|
CHECK_EQ(last_written(), second);
|
|
CHECK(second.source_info().is_expression());
|
|
CHECK_EQ(second.source_info().source_position(), 3);
|
|
}
|
|
|
|
TEST_F(BytecodePeepholeOptimizerTest, NopStackCheck) {
|
|
BytecodeNode first(Bytecode::kNop);
|
|
BytecodeNode second(Bytecode::kStackCheck);
|
|
optimizer()->Write(&first);
|
|
CHECK_EQ(write_count(), 0);
|
|
optimizer()->Write(&second);
|
|
CHECK_EQ(write_count(), 0);
|
|
Flush();
|
|
CHECK_EQ(write_count(), 1);
|
|
CHECK_EQ(last_written(), second);
|
|
}
|
|
|
|
TEST_F(BytecodePeepholeOptimizerTest, NopStatementStackCheck) {
|
|
BytecodeNode first(Bytecode::kNop);
|
|
first.source_info().MakeExpressionPosition(3);
|
|
BytecodeNode second(Bytecode::kStackCheck);
|
|
optimizer()->Write(&first);
|
|
CHECK_EQ(write_count(), 0);
|
|
optimizer()->Write(&second);
|
|
CHECK_EQ(write_count(), 0);
|
|
Flush();
|
|
CHECK_EQ(write_count(), 1);
|
|
second.source_info().MakeExpressionPosition(
|
|
first.source_info().source_position());
|
|
CHECK_EQ(last_written(), second);
|
|
}
|
|
|
|
// Tests covering BytecodePeepholeOptimizer::UpdateLastAndCurrentBytecodes().
|
|
|
|
TEST_F(BytecodePeepholeOptimizerTest, MergeLoadICStar) {
|
|
const uint32_t operands[] = {
|
|
static_cast<uint32_t>(Register(31).ToOperand()), 32, 33,
|
|
static_cast<uint32_t>(Register(256).ToOperand())};
|
|
const int expected_operand_count = static_cast<int>(arraysize(operands));
|
|
|
|
BytecodeNode first(Bytecode::kLdaNamedProperty, operands[0], operands[1],
|
|
operands[2]);
|
|
BytecodeNode second(Bytecode::kStar, operands[3]);
|
|
BytecodeNode third(Bytecode::kReturn);
|
|
optimizer()->Write(&first);
|
|
optimizer()->Write(&second);
|
|
CHECK_EQ(write_count(), 1);
|
|
CHECK_EQ(last_written().bytecode(), Bytecode::kLdrNamedProperty);
|
|
CHECK_EQ(last_written().operand_count(), expected_operand_count);
|
|
for (int i = 0; i < expected_operand_count; ++i) {
|
|
CHECK_EQ(last_written().operand(i), operands[i]);
|
|
}
|
|
optimizer()->Write(&third);
|
|
CHECK_EQ(write_count(), 2);
|
|
CHECK_EQ(last_written().bytecode(), Bytecode::kLdar);
|
|
CHECK_EQ(last_written().operand(0), operands[expected_operand_count - 1]);
|
|
Flush();
|
|
CHECK_EQ(last_written().bytecode(), third.bytecode());
|
|
}
|
|
|
|
TEST_F(BytecodePeepholeOptimizerTest, MergeLdaKeyedPropertyStar) {
|
|
const uint32_t operands[] = {static_cast<uint32_t>(Register(31).ToOperand()),
|
|
9999997,
|
|
static_cast<uint32_t>(Register(1).ToOperand())};
|
|
const int expected_operand_count = static_cast<int>(arraysize(operands));
|
|
|
|
BytecodeNode first(Bytecode::kLdaKeyedProperty, operands[0], operands[1]);
|
|
BytecodeNode second(Bytecode::kStar, operands[2]);
|
|
BytecodeNode third(Bytecode::kReturn);
|
|
optimizer()->Write(&first);
|
|
optimizer()->Write(&second);
|
|
CHECK_EQ(write_count(), 1);
|
|
CHECK_EQ(last_written().bytecode(), Bytecode::kLdrKeyedProperty);
|
|
CHECK_EQ(last_written().operand_count(), expected_operand_count);
|
|
for (int i = 0; i < expected_operand_count; ++i) {
|
|
CHECK_EQ(last_written().operand(i), operands[i]);
|
|
}
|
|
optimizer()->Write(&third);
|
|
CHECK_EQ(write_count(), 2);
|
|
CHECK_EQ(last_written().bytecode(), Bytecode::kLdar);
|
|
CHECK_EQ(last_written().operand(0), operands[expected_operand_count - 1]);
|
|
Flush();
|
|
CHECK_EQ(last_written().bytecode(), third.bytecode());
|
|
}
|
|
|
|
TEST_F(BytecodePeepholeOptimizerTest, MergeLdaGlobalStar) {
|
|
const uint32_t operands[] = {19191,
|
|
static_cast<uint32_t>(Register(1).ToOperand())};
|
|
const int expected_operand_count = static_cast<int>(arraysize(operands));
|
|
|
|
BytecodeNode first(Bytecode::kLdaGlobal, operands[0]);
|
|
BytecodeNode second(Bytecode::kStar, operands[1]);
|
|
BytecodeNode third(Bytecode::kReturn);
|
|
optimizer()->Write(&first);
|
|
optimizer()->Write(&second);
|
|
CHECK_EQ(write_count(), 1);
|
|
CHECK_EQ(last_written().bytecode(), Bytecode::kLdrGlobal);
|
|
CHECK_EQ(last_written().operand_count(), expected_operand_count);
|
|
for (int i = 0; i < expected_operand_count; ++i) {
|
|
CHECK_EQ(last_written().operand(i), operands[i]);
|
|
}
|
|
optimizer()->Write(&third);
|
|
CHECK_EQ(write_count(), 2);
|
|
CHECK_EQ(last_written().bytecode(), Bytecode::kLdar);
|
|
CHECK_EQ(last_written().operand(0), operands[expected_operand_count - 1]);
|
|
Flush();
|
|
CHECK_EQ(last_written().bytecode(), third.bytecode());
|
|
}
|
|
|
|
TEST_F(BytecodePeepholeOptimizerTest, MergeLdaContextSlotStar) {
|
|
const uint32_t operands[] = {
|
|
static_cast<uint32_t>(Register(200000).ToOperand()), 55005500,
|
|
static_cast<uint32_t>(Register(0).ToOperand()),
|
|
static_cast<uint32_t>(Register(1).ToOperand())};
|
|
const int expected_operand_count = static_cast<int>(arraysize(operands));
|
|
|
|
BytecodeNode first(Bytecode::kLdaContextSlot, operands[0], operands[1],
|
|
operands[2]);
|
|
BytecodeNode second(Bytecode::kStar, operands[3]);
|
|
BytecodeNode third(Bytecode::kReturn);
|
|
optimizer()->Write(&first);
|
|
optimizer()->Write(&second);
|
|
CHECK_EQ(write_count(), 1);
|
|
CHECK_EQ(last_written().bytecode(), Bytecode::kLdrContextSlot);
|
|
CHECK_EQ(last_written().operand_count(), expected_operand_count);
|
|
for (int i = 0; i < expected_operand_count; ++i) {
|
|
CHECK_EQ(last_written().operand(i), operands[i]);
|
|
}
|
|
optimizer()->Write(&third);
|
|
CHECK_EQ(write_count(), 2);
|
|
CHECK_EQ(last_written().bytecode(), Bytecode::kLdar);
|
|
CHECK_EQ(last_written().operand(0), operands[expected_operand_count - 1]);
|
|
Flush();
|
|
CHECK_EQ(last_written().bytecode(), third.bytecode());
|
|
}
|
|
|
|
TEST_F(BytecodePeepholeOptimizerTest, MergeLdaUndefinedStar) {
|
|
const uint32_t operands[] = {
|
|
static_cast<uint32_t>(Register(100000).ToOperand())};
|
|
const int expected_operand_count = static_cast<int>(arraysize(operands));
|
|
|
|
BytecodeNode first(Bytecode::kLdaUndefined);
|
|
BytecodeNode second(Bytecode::kStar, operands[0]);
|
|
BytecodeNode third(Bytecode::kReturn);
|
|
optimizer()->Write(&first);
|
|
optimizer()->Write(&second);
|
|
CHECK_EQ(write_count(), 1);
|
|
CHECK_EQ(last_written().bytecode(), Bytecode::kLdrUndefined);
|
|
CHECK_EQ(last_written().operand_count(), expected_operand_count);
|
|
for (int i = 0; i < expected_operand_count; ++i) {
|
|
CHECK_EQ(last_written().operand(i), operands[i]);
|
|
}
|
|
optimizer()->Write(&third);
|
|
CHECK_EQ(write_count(), 2);
|
|
CHECK_EQ(last_written().bytecode(), Bytecode::kLdar);
|
|
CHECK_EQ(last_written().operand(0), operands[expected_operand_count - 1]);
|
|
Flush();
|
|
CHECK_EQ(last_written().bytecode(), third.bytecode());
|
|
}
|
|
|
|
TEST_F(BytecodePeepholeOptimizerTest, MergeLdaSmiWithBinaryOp) {
|
|
Bytecode operator_replacement_pairs[][2] = {
|
|
{Bytecode::kAdd, Bytecode::kAddSmi},
|
|
{Bytecode::kSub, Bytecode::kSubSmi},
|
|
{Bytecode::kBitwiseAnd, Bytecode::kBitwiseAndSmi},
|
|
{Bytecode::kBitwiseOr, Bytecode::kBitwiseOrSmi},
|
|
{Bytecode::kShiftLeft, Bytecode::kShiftLeftSmi},
|
|
{Bytecode::kShiftRight, Bytecode::kShiftRightSmi}};
|
|
|
|
for (auto operator_replacement : operator_replacement_pairs) {
|
|
uint32_t imm_operand = 17;
|
|
BytecodeNode first(Bytecode::kLdaSmi, imm_operand);
|
|
first.source_info().Clone({3, true});
|
|
uint32_t reg_operand = Register(0).ToOperand();
|
|
uint32_t idx_operand = 1;
|
|
BytecodeNode second(operator_replacement[0], reg_operand, idx_operand);
|
|
optimizer()->Write(&first);
|
|
optimizer()->Write(&second);
|
|
Flush();
|
|
CHECK_EQ(write_count(), 1);
|
|
CHECK_EQ(last_written().bytecode(), operator_replacement[1]);
|
|
CHECK_EQ(last_written().operand_count(), 3);
|
|
CHECK_EQ(last_written().operand(0), imm_operand);
|
|
CHECK_EQ(last_written().operand(1), reg_operand);
|
|
CHECK_EQ(last_written().operand(2), idx_operand);
|
|
CHECK_EQ(last_written().source_info(), first.source_info());
|
|
Reset();
|
|
}
|
|
}
|
|
|
|
TEST_F(BytecodePeepholeOptimizerTest, NotMergingLdaSmiWithBinaryOp) {
|
|
Bytecode operator_replacement_pairs[][2] = {
|
|
{Bytecode::kAdd, Bytecode::kAddSmi},
|
|
{Bytecode::kSub, Bytecode::kSubSmi},
|
|
{Bytecode::kBitwiseAnd, Bytecode::kBitwiseAndSmi},
|
|
{Bytecode::kBitwiseOr, Bytecode::kBitwiseOrSmi},
|
|
{Bytecode::kShiftLeft, Bytecode::kShiftLeftSmi},
|
|
{Bytecode::kShiftRight, Bytecode::kShiftRightSmi}};
|
|
|
|
for (auto operator_replacement : operator_replacement_pairs) {
|
|
uint32_t imm_operand = 17;
|
|
BytecodeNode first(Bytecode::kLdaSmi, imm_operand);
|
|
first.source_info().Clone({3, true});
|
|
uint32_t reg_operand = Register(0).ToOperand();
|
|
BytecodeNode second(operator_replacement[0], reg_operand, 1);
|
|
second.source_info().Clone({4, true});
|
|
optimizer()->Write(&first);
|
|
optimizer()->Write(&second);
|
|
CHECK_EQ(last_written(), first);
|
|
Flush();
|
|
CHECK_EQ(last_written(), second);
|
|
Reset();
|
|
}
|
|
}
|
|
|
|
TEST_F(BytecodePeepholeOptimizerTest, MergeLdaZeroWithBinaryOp) {
|
|
Bytecode operator_replacement_pairs[][2] = {
|
|
{Bytecode::kAdd, Bytecode::kAddSmi},
|
|
{Bytecode::kSub, Bytecode::kSubSmi},
|
|
{Bytecode::kBitwiseAnd, Bytecode::kBitwiseAndSmi},
|
|
{Bytecode::kBitwiseOr, Bytecode::kBitwiseOrSmi},
|
|
{Bytecode::kShiftLeft, Bytecode::kShiftLeftSmi},
|
|
{Bytecode::kShiftRight, Bytecode::kShiftRightSmi}};
|
|
|
|
for (auto operator_replacement : operator_replacement_pairs) {
|
|
BytecodeNode first(Bytecode::kLdaZero);
|
|
uint32_t reg_operand = Register(0).ToOperand();
|
|
uint32_t idx_operand = 1;
|
|
BytecodeNode second(operator_replacement[0], reg_operand, idx_operand);
|
|
optimizer()->Write(&first);
|
|
optimizer()->Write(&second);
|
|
Flush();
|
|
CHECK_EQ(write_count(), 1);
|
|
CHECK_EQ(last_written().bytecode(), operator_replacement[1]);
|
|
CHECK_EQ(last_written().operand_count(), 3);
|
|
CHECK_EQ(last_written().operand(0), 0);
|
|
CHECK_EQ(last_written().operand(1), reg_operand);
|
|
CHECK_EQ(last_written().operand(2), idx_operand);
|
|
Reset();
|
|
}
|
|
}
|
|
|
|
} // namespace interpreter
|
|
} // namespace internal
|
|
} // namespace v8
|