Ben Murdoch | 014dc51 | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 1 | // Copyright 2015 the V8 project authors. All rights reserved. |
| 2 | // Use of this source code is governed by a BSD-style license that can be |
| 3 | // found in the LICENSE file. |
| 4 | |
| 5 | #include "src/v8.h" |
| 6 | |
| 7 | #include "src/interpreter/bytecode-array-builder.h" |
| 8 | #include "src/interpreter/bytecode-array-iterator.h" |
| 9 | #include "test/unittests/test-utils.h" |
| 10 | |
| 11 | namespace v8 { |
| 12 | namespace internal { |
| 13 | namespace interpreter { |
| 14 | |
| 15 | class BytecodeArrayIteratorTest : public TestWithIsolateAndZone { |
| 16 | public: |
| 17 | BytecodeArrayIteratorTest() {} |
| 18 | ~BytecodeArrayIteratorTest() override {} |
| 19 | }; |
| 20 | |
| 21 | |
| 22 | TEST_F(BytecodeArrayIteratorTest, IteratesBytecodeArray) { |
| 23 | // Use a builder to create an array with containing multiple bytecodes |
| 24 | // with 0, 1 and 2 operands. |
Ben Murdoch | 3b9bc31 | 2016-06-02 14:46:10 +0100 | [diff] [blame^] | 25 | BytecodeArrayBuilder builder(isolate(), zone(), 3, 3, 0); |
Ben Murdoch | 014dc51 | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 26 | Factory* factory = isolate()->factory(); |
| 27 | Handle<HeapObject> heap_num_0 = factory->NewHeapNumber(2.718); |
| 28 | Handle<HeapObject> heap_num_1 = factory->NewHeapNumber(2147483647); |
| 29 | Smi* zero = Smi::FromInt(0); |
| 30 | Smi* smi_0 = Smi::FromInt(64); |
| 31 | Smi* smi_1 = Smi::FromInt(-65536); |
| 32 | Register reg_0(0); |
| 33 | Register reg_1(1); |
Ben Murdoch | 3b9bc31 | 2016-06-02 14:46:10 +0100 | [diff] [blame^] | 34 | Register param = Register::FromParameterIndex(2, builder.parameter_count()); |
Ben Murdoch | 014dc51 | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 35 | Handle<String> name = factory->NewStringFromStaticChars("abc"); |
Ben Murdoch | 3b9bc31 | 2016-06-02 14:46:10 +0100 | [diff] [blame^] | 36 | int name_index = 2; |
Ben Murdoch | 014dc51 | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 37 | int feedback_slot = 97; |
| 38 | |
| 39 | builder.LoadLiteral(heap_num_0) |
| 40 | .LoadLiteral(heap_num_1) |
| 41 | .LoadLiteral(zero) |
| 42 | .LoadLiteral(smi_0) |
| 43 | .LoadLiteral(smi_1) |
| 44 | .LoadAccumulatorWithRegister(reg_0) |
Ben Murdoch | 109988c | 2016-05-18 11:27:45 +0100 | [diff] [blame] | 45 | .LoadNamedProperty(reg_1, name, feedback_slot) |
Ben Murdoch | 3b9bc31 | 2016-06-02 14:46:10 +0100 | [diff] [blame^] | 46 | .StoreAccumulatorInRegister(param) |
| 47 | .CallRuntimeForPair(Runtime::kLoadLookupSlotForCall, param, 1, reg_0) |
| 48 | .ForInPrepare(reg_0) |
Ben Murdoch | 014dc51 | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 49 | .CallRuntime(Runtime::kLoadIC_Miss, reg_0, 1) |
Ben Murdoch | 109988c | 2016-05-18 11:27:45 +0100 | [diff] [blame] | 50 | .Debugger() |
Ben Murdoch | 3b9bc31 | 2016-06-02 14:46:10 +0100 | [diff] [blame^] | 51 | .LoadGlobal(name, 0x10000000, TypeofMode::NOT_INSIDE_TYPEOF) |
Ben Murdoch | 014dc51 | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 52 | .Return(); |
| 53 | |
| 54 | // Test iterator sees the expected output from the builder. |
| 55 | BytecodeArrayIterator iterator(builder.ToBytecodeArray()); |
Ben Murdoch | 3b9bc31 | 2016-06-02 14:46:10 +0100 | [diff] [blame^] | 56 | const int kPrefixByteSize = 1; |
| 57 | int offset = 0; |
| 58 | |
Ben Murdoch | 014dc51 | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 59 | CHECK_EQ(iterator.current_bytecode(), Bytecode::kLdaConstant); |
Ben Murdoch | 3b9bc31 | 2016-06-02 14:46:10 +0100 | [diff] [blame^] | 60 | CHECK_EQ(iterator.current_offset(), offset); |
| 61 | CHECK_EQ(iterator.current_operand_scale(), OperandScale::kSingle); |
Ben Murdoch | 014dc51 | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 62 | CHECK(iterator.GetConstantForIndexOperand(0).is_identical_to(heap_num_0)); |
| 63 | CHECK(!iterator.done()); |
Ben Murdoch | 3b9bc31 | 2016-06-02 14:46:10 +0100 | [diff] [blame^] | 64 | offset += Bytecodes::Size(Bytecode::kLdaConstant, OperandScale::kSingle); |
Ben Murdoch | 014dc51 | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 65 | iterator.Advance(); |
| 66 | |
| 67 | CHECK_EQ(iterator.current_bytecode(), Bytecode::kLdaConstant); |
Ben Murdoch | 3b9bc31 | 2016-06-02 14:46:10 +0100 | [diff] [blame^] | 68 | CHECK_EQ(iterator.current_offset(), offset); |
| 69 | CHECK_EQ(iterator.current_operand_scale(), OperandScale::kSingle); |
Ben Murdoch | 014dc51 | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 70 | CHECK(iterator.GetConstantForIndexOperand(0).is_identical_to(heap_num_1)); |
| 71 | CHECK(!iterator.done()); |
Ben Murdoch | 3b9bc31 | 2016-06-02 14:46:10 +0100 | [diff] [blame^] | 72 | offset += Bytecodes::Size(Bytecode::kLdaConstant, OperandScale::kSingle); |
Ben Murdoch | 014dc51 | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 73 | iterator.Advance(); |
| 74 | |
| 75 | CHECK_EQ(iterator.current_bytecode(), Bytecode::kLdaZero); |
Ben Murdoch | 3b9bc31 | 2016-06-02 14:46:10 +0100 | [diff] [blame^] | 76 | CHECK_EQ(iterator.current_offset(), offset); |
| 77 | CHECK_EQ(iterator.current_operand_scale(), OperandScale::kSingle); |
Ben Murdoch | 014dc51 | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 78 | CHECK(!iterator.done()); |
Ben Murdoch | 3b9bc31 | 2016-06-02 14:46:10 +0100 | [diff] [blame^] | 79 | offset += Bytecodes::Size(Bytecode::kLdaZero, OperandScale::kSingle); |
Ben Murdoch | 014dc51 | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 80 | iterator.Advance(); |
| 81 | |
Ben Murdoch | 3b9bc31 | 2016-06-02 14:46:10 +0100 | [diff] [blame^] | 82 | CHECK_EQ(iterator.current_bytecode(), Bytecode::kLdaSmi); |
| 83 | CHECK_EQ(iterator.current_offset(), offset); |
| 84 | CHECK_EQ(iterator.current_operand_scale(), OperandScale::kSingle); |
Ben Murdoch | 014dc51 | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 85 | CHECK_EQ(Smi::FromInt(iterator.GetImmediateOperand(0)), smi_0); |
| 86 | CHECK(!iterator.done()); |
Ben Murdoch | 3b9bc31 | 2016-06-02 14:46:10 +0100 | [diff] [blame^] | 87 | offset += Bytecodes::Size(Bytecode::kLdaSmi, OperandScale::kSingle); |
Ben Murdoch | 014dc51 | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 88 | iterator.Advance(); |
| 89 | |
Ben Murdoch | 3b9bc31 | 2016-06-02 14:46:10 +0100 | [diff] [blame^] | 90 | CHECK_EQ(iterator.current_bytecode(), Bytecode::kLdaSmi); |
| 91 | CHECK_EQ(iterator.current_offset(), offset); |
| 92 | CHECK_EQ(iterator.current_operand_scale(), OperandScale::kQuadruple); |
| 93 | CHECK_EQ(Smi::FromInt(iterator.GetImmediateOperand(0)), smi_1); |
Ben Murdoch | 014dc51 | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 94 | CHECK(!iterator.done()); |
Ben Murdoch | 3b9bc31 | 2016-06-02 14:46:10 +0100 | [diff] [blame^] | 95 | offset += Bytecodes::Size(Bytecode::kLdaSmi, OperandScale::kQuadruple) + |
| 96 | kPrefixByteSize; |
Ben Murdoch | 014dc51 | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 97 | iterator.Advance(); |
| 98 | |
| 99 | CHECK_EQ(iterator.current_bytecode(), Bytecode::kLdar); |
Ben Murdoch | 3b9bc31 | 2016-06-02 14:46:10 +0100 | [diff] [blame^] | 100 | CHECK_EQ(iterator.current_offset(), offset); |
| 101 | CHECK_EQ(iterator.current_operand_scale(), OperandScale::kSingle); |
Ben Murdoch | 014dc51 | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 102 | CHECK_EQ(iterator.GetRegisterOperand(0).index(), reg_0.index()); |
| 103 | CHECK(!iterator.done()); |
Ben Murdoch | 3b9bc31 | 2016-06-02 14:46:10 +0100 | [diff] [blame^] | 104 | offset += Bytecodes::Size(Bytecode::kLdar, OperandScale::kSingle); |
Ben Murdoch | 014dc51 | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 105 | iterator.Advance(); |
| 106 | |
Ben Murdoch | 109988c | 2016-05-18 11:27:45 +0100 | [diff] [blame] | 107 | CHECK_EQ(iterator.current_bytecode(), Bytecode::kLoadIC); |
Ben Murdoch | 3b9bc31 | 2016-06-02 14:46:10 +0100 | [diff] [blame^] | 108 | CHECK_EQ(iterator.current_offset(), offset); |
| 109 | CHECK_EQ(iterator.current_operand_scale(), OperandScale::kSingle); |
Ben Murdoch | 014dc51 | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 110 | CHECK_EQ(iterator.GetRegisterOperand(0).index(), reg_1.index()); |
| 111 | CHECK_EQ(iterator.GetIndexOperand(1), name_index); |
| 112 | CHECK_EQ(iterator.GetIndexOperand(2), feedback_slot); |
| 113 | CHECK(!iterator.done()); |
Ben Murdoch | 3b9bc31 | 2016-06-02 14:46:10 +0100 | [diff] [blame^] | 114 | offset += Bytecodes::Size(Bytecode::kLoadIC, OperandScale::kSingle); |
Ben Murdoch | 014dc51 | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 115 | iterator.Advance(); |
| 116 | |
| 117 | CHECK_EQ(iterator.current_bytecode(), Bytecode::kStar); |
Ben Murdoch | 3b9bc31 | 2016-06-02 14:46:10 +0100 | [diff] [blame^] | 118 | CHECK_EQ(iterator.current_offset(), offset); |
| 119 | CHECK_EQ(iterator.current_operand_scale(), OperandScale::kSingle); |
| 120 | CHECK_EQ(iterator.GetRegisterOperand(0).index(), param.index()); |
| 121 | CHECK_EQ(iterator.GetRegisterOperandRange(0), 1); |
Ben Murdoch | 014dc51 | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 122 | CHECK(!iterator.done()); |
Ben Murdoch | 3b9bc31 | 2016-06-02 14:46:10 +0100 | [diff] [blame^] | 123 | offset += Bytecodes::Size(Bytecode::kStar, OperandScale::kSingle); |
| 124 | iterator.Advance(); |
| 125 | |
| 126 | CHECK_EQ(iterator.current_bytecode(), Bytecode::kCallRuntimeForPair); |
| 127 | CHECK_EQ(iterator.current_offset(), offset); |
| 128 | CHECK_EQ(iterator.current_operand_scale(), OperandScale::kSingle); |
| 129 | CHECK_EQ(iterator.GetRuntimeIdOperand(0), Runtime::kLoadLookupSlotForCall); |
| 130 | CHECK_EQ(iterator.GetRegisterOperand(1).index(), param.index()); |
| 131 | CHECK_EQ(iterator.GetRegisterOperandRange(1), 1); |
| 132 | CHECK_EQ(iterator.GetRegisterCountOperand(2), 1); |
| 133 | CHECK_EQ(iterator.GetRegisterOperand(3).index(), reg_0.index()); |
| 134 | CHECK_EQ(iterator.GetRegisterOperandRange(3), 2); |
| 135 | CHECK(!iterator.done()); |
| 136 | offset += |
| 137 | Bytecodes::Size(Bytecode::kCallRuntimeForPair, OperandScale::kSingle); |
| 138 | iterator.Advance(); |
| 139 | |
| 140 | CHECK_EQ(iterator.current_bytecode(), Bytecode::kForInPrepare); |
| 141 | CHECK_EQ(iterator.current_offset(), offset); |
| 142 | CHECK_EQ(iterator.current_operand_scale(), OperandScale::kSingle); |
| 143 | CHECK_EQ(iterator.GetRegisterOperand(0).index(), reg_0.index()); |
| 144 | CHECK_EQ(iterator.GetRegisterOperandRange(0), 3); |
| 145 | CHECK(!iterator.done()); |
| 146 | offset += Bytecodes::Size(Bytecode::kForInPrepare, OperandScale::kSingle); |
Ben Murdoch | 014dc51 | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 147 | iterator.Advance(); |
| 148 | |
| 149 | CHECK_EQ(iterator.current_bytecode(), Bytecode::kCallRuntime); |
Ben Murdoch | 3b9bc31 | 2016-06-02 14:46:10 +0100 | [diff] [blame^] | 150 | CHECK_EQ(iterator.current_offset(), offset); |
| 151 | CHECK_EQ(iterator.current_operand_scale(), OperandScale::kSingle); |
| 152 | CHECK_EQ(static_cast<Runtime::FunctionId>(iterator.GetRuntimeIdOperand(0)), |
Ben Murdoch | 014dc51 | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 153 | Runtime::kLoadIC_Miss); |
| 154 | CHECK_EQ(iterator.GetRegisterOperand(1).index(), reg_0.index()); |
Ben Murdoch | 109988c | 2016-05-18 11:27:45 +0100 | [diff] [blame] | 155 | CHECK_EQ(iterator.GetRegisterCountOperand(2), 1); |
| 156 | CHECK(!iterator.done()); |
Ben Murdoch | 3b9bc31 | 2016-06-02 14:46:10 +0100 | [diff] [blame^] | 157 | offset += Bytecodes::Size(Bytecode::kCallRuntime, OperandScale::kSingle); |
Ben Murdoch | 109988c | 2016-05-18 11:27:45 +0100 | [diff] [blame] | 158 | iterator.Advance(); |
| 159 | |
| 160 | CHECK_EQ(iterator.current_bytecode(), Bytecode::kDebugger); |
Ben Murdoch | 3b9bc31 | 2016-06-02 14:46:10 +0100 | [diff] [blame^] | 161 | CHECK_EQ(iterator.current_offset(), offset); |
| 162 | CHECK_EQ(iterator.current_operand_scale(), OperandScale::kSingle); |
Ben Murdoch | 014dc51 | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 163 | CHECK(!iterator.done()); |
Ben Murdoch | 3b9bc31 | 2016-06-02 14:46:10 +0100 | [diff] [blame^] | 164 | offset += Bytecodes::Size(Bytecode::kDebugger, OperandScale::kSingle); |
| 165 | iterator.Advance(); |
| 166 | |
| 167 | CHECK_EQ(iterator.current_bytecode(), Bytecode::kLdaGlobal); |
| 168 | CHECK_EQ(iterator.current_offset(), offset); |
| 169 | CHECK_EQ(iterator.current_operand_scale(), OperandScale::kQuadruple); |
| 170 | CHECK_EQ(iterator.current_bytecode_size(), 10); |
| 171 | CHECK_EQ(iterator.GetIndexOperand(1), 0x10000000); |
| 172 | offset += Bytecodes::Size(Bytecode::kLdaGlobal, OperandScale::kQuadruple) + |
| 173 | kPrefixByteSize; |
Ben Murdoch | 014dc51 | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 174 | iterator.Advance(); |
| 175 | |
| 176 | CHECK_EQ(iterator.current_bytecode(), Bytecode::kReturn); |
Ben Murdoch | 3b9bc31 | 2016-06-02 14:46:10 +0100 | [diff] [blame^] | 177 | CHECK_EQ(iterator.current_offset(), offset); |
| 178 | CHECK_EQ(iterator.current_operand_scale(), OperandScale::kSingle); |
Ben Murdoch | 014dc51 | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 179 | CHECK(!iterator.done()); |
| 180 | iterator.Advance(); |
| 181 | CHECK(iterator.done()); |
| 182 | } |
| 183 | |
| 184 | } // namespace interpreter |
| 185 | } // namespace internal |
| 186 | } // namespace v8 |