| OLD | NEW |
| 1 // Copyright 2015 the V8 project authors. All rights reserved. | 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 | 2 // Use of this source code is governed by a BSD-style license that can be |
| 3 // found in the LICENSE file. | 3 // found in the LICENSE file. |
| 4 | 4 |
| 5 #include <vector> | 5 #include <vector> |
| 6 | 6 |
| 7 #include "src/v8.h" | 7 #include "src/v8.h" |
| 8 | 8 |
| 9 #include "src/interpreter/bytecodes.h" | 9 #include "src/interpreter/bytecodes.h" |
| 10 #include "test/unittests/test-utils.h" | 10 #include "test/unittests/test-utils.h" |
| (...skipping 65 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 76 | 76 |
| 77 for (int i = 0; i < parameter_count; i += 1) { | 77 for (int i = 0; i < parameter_count; i += 1) { |
| 78 Register r = Register::FromParameterIndex(i, parameter_count); | 78 Register r = Register::FromParameterIndex(i, parameter_count); |
| 79 uint32_t operand = r.ToWideOperand(); | 79 uint32_t operand = r.ToWideOperand(); |
| 80 CHECK_LT(operand, operand_count.size()); | 80 CHECK_LT(operand, operand_count.size()); |
| 81 operand_count[operand] += 1; | 81 operand_count[operand] += 1; |
| 82 CHECK_EQ(operand_count[operand], 1); | 82 CHECK_EQ(operand_count[operand], 1); |
| 83 } | 83 } |
| 84 } | 84 } |
| 85 | 85 |
| 86 TEST(OperandScaling, ScalableAndNonScalable) { |
| 87 for (int scale = 1; scale < 8; scale *= 2) { |
| 88 CHECK_EQ(Bytecodes::Size(Bytecode::kCallRuntime, scale), 1 + 2 + 2 * scale); |
| 89 CHECK_EQ(Bytecodes::Size(Bytecode::kCreateObjectLiteral, scale), |
| 90 1 + 2 * scale + 1); |
| 91 CHECK_EQ(Bytecodes::Size(Bytecode::kTestIn, scale), 1 + scale); |
| 92 } |
| 93 } |
| 94 |
| 86 TEST(Bytecodes, HasAnyRegisterOperands) { | 95 TEST(Bytecodes, HasAnyRegisterOperands) { |
| 87 CHECK_EQ(Bytecodes::NumberOfRegisterOperands(Bytecode::kAdd), 1); | 96 CHECK_EQ(Bytecodes::NumberOfRegisterOperands(Bytecode::kAdd), 1); |
| 88 CHECK_EQ(Bytecodes::NumberOfRegisterOperands(Bytecode::kCall), 2); | 97 CHECK_EQ(Bytecodes::NumberOfRegisterOperands(Bytecode::kCall), 2); |
| 89 CHECK_EQ(Bytecodes::NumberOfRegisterOperands(Bytecode::kCallRuntime), 1); | 98 CHECK_EQ(Bytecodes::NumberOfRegisterOperands(Bytecode::kCallRuntime), 1); |
| 90 CHECK_EQ(Bytecodes::NumberOfRegisterOperands(Bytecode::kCallRuntimeWide), 1); | |
| 91 CHECK_EQ(Bytecodes::NumberOfRegisterOperands(Bytecode::kCallRuntimeForPair), | 99 CHECK_EQ(Bytecodes::NumberOfRegisterOperands(Bytecode::kCallRuntimeForPair), |
| 92 2); | 100 2); |
| 93 CHECK_EQ( | |
| 94 Bytecodes::NumberOfRegisterOperands(Bytecode::kCallRuntimeForPairWide), | |
| 95 2); | |
| 96 CHECK_EQ(Bytecodes::NumberOfRegisterOperands(Bytecode::kDeletePropertyStrict), | 101 CHECK_EQ(Bytecodes::NumberOfRegisterOperands(Bytecode::kDeletePropertyStrict), |
| 97 1); | 102 1); |
| 98 CHECK_EQ(Bytecodes::NumberOfRegisterOperands(Bytecode::kForInPrepare), 1); | 103 CHECK_EQ(Bytecodes::NumberOfRegisterOperands(Bytecode::kForInPrepare), 1); |
| 99 CHECK_EQ(Bytecodes::NumberOfRegisterOperands(Bytecode::kForInPrepareWide), 1); | |
| 100 CHECK_EQ(Bytecodes::NumberOfRegisterOperands(Bytecode::kInc), 0); | 104 CHECK_EQ(Bytecodes::NumberOfRegisterOperands(Bytecode::kInc), 0); |
| 101 CHECK_EQ(Bytecodes::NumberOfRegisterOperands(Bytecode::kJumpIfTrue), 0); | 105 CHECK_EQ(Bytecodes::NumberOfRegisterOperands(Bytecode::kJumpIfTrue), 0); |
| 102 CHECK_EQ(Bytecodes::NumberOfRegisterOperands(Bytecode::kNew), 2); | 106 CHECK_EQ(Bytecodes::NumberOfRegisterOperands(Bytecode::kNew), 2); |
| 103 CHECK_EQ(Bytecodes::NumberOfRegisterOperands(Bytecode::kToName), 0); | 107 CHECK_EQ(Bytecodes::NumberOfRegisterOperands(Bytecode::kToName), 0); |
| 104 } | 108 } |
| 105 | 109 |
| 106 TEST(Bytecodes, RegisterOperandBitmaps) { | 110 TEST(Bytecodes, RegisterOperandBitmaps) { |
| 107 CHECK_EQ(Bytecodes::GetRegisterOperandBitmap(Bytecode::kAdd), 1); | 111 CHECK_EQ(Bytecodes::GetRegisterOperandBitmap(Bytecode::kAdd), 1); |
| 108 CHECK_EQ(Bytecodes::GetRegisterOperandBitmap(Bytecode::kCallRuntimeForPair), | 112 CHECK_EQ(Bytecodes::GetRegisterOperandBitmap(Bytecode::kCallRuntimeForPair), |
| 109 10); | 113 10); |
| 110 CHECK_EQ(Bytecodes::GetRegisterOperandBitmap(Bytecode::kStar), 1); | 114 CHECK_EQ(Bytecodes::GetRegisterOperandBitmap(Bytecode::kStar), 1); |
| 111 CHECK_EQ(Bytecodes::GetRegisterOperandBitmap(Bytecode::kMov), 3); | 115 CHECK_EQ(Bytecodes::GetRegisterOperandBitmap(Bytecode::kMov), 3); |
| 112 CHECK_EQ(Bytecodes::GetRegisterOperandBitmap(Bytecode::kTestIn), 1); | 116 CHECK_EQ(Bytecodes::GetRegisterOperandBitmap(Bytecode::kTestIn), 1); |
| 113 CHECK_EQ(Bytecodes::GetRegisterOperandBitmap(Bytecode::kForInPrepare), 1); | 117 CHECK_EQ(Bytecodes::GetRegisterOperandBitmap(Bytecode::kForInPrepare), 1); |
| 114 CHECK_EQ(Bytecodes::GetRegisterOperandBitmap(Bytecode::kForInDone), 3); | 118 CHECK_EQ(Bytecodes::GetRegisterOperandBitmap(Bytecode::kForInDone), 3); |
| 115 CHECK_EQ(Bytecodes::GetRegisterOperandBitmap(Bytecode::kForInNext), 7); | 119 CHECK_EQ(Bytecodes::GetRegisterOperandBitmap(Bytecode::kForInNext), 7); |
| 116 } | 120 } |
| 117 | 121 |
| 118 TEST(Bytecodes, RegisterOperands) { | 122 TEST(Bytecodes, RegisterOperands) { |
| 119 CHECK(Bytecodes::IsRegisterOperandType(OperandType::kReg8)); | 123 CHECK(Bytecodes::IsRegisterOperandType(OperandType::kReg)); |
| 120 CHECK(Bytecodes::IsRegisterInputOperandType(OperandType::kReg8)); | 124 CHECK(Bytecodes::IsRegisterInputOperandType(OperandType::kReg)); |
| 121 CHECK(!Bytecodes::IsRegisterOutputOperandType(OperandType::kReg8)); | 125 CHECK(!Bytecodes::IsRegisterOutputOperandType(OperandType::kReg)); |
| 122 CHECK(!Bytecodes::IsRegisterInputOperandType(OperandType::kRegOut8)); | 126 CHECK(!Bytecodes::IsRegisterInputOperandType(OperandType::kRegOut)); |
| 123 CHECK(Bytecodes::IsRegisterOutputOperandType(OperandType::kRegOut8)); | 127 CHECK(Bytecodes::IsRegisterOutputOperandType(OperandType::kRegOut)); |
| 124 | 128 |
| 125 #define IS_REGISTER_OPERAND_TYPE(Name, _) \ | 129 #define IS_REGISTER_OPERAND_TYPE(Name, _, __) \ |
| 126 CHECK(Bytecodes::IsRegisterOperandType(OperandType::k##Name)); | 130 CHECK(Bytecodes::IsRegisterOperandType(OperandType::k##Name)); |
| 127 REGISTER_OPERAND_TYPE_LIST(IS_REGISTER_OPERAND_TYPE) | 131 REGISTER_OPERAND_TYPE_LIST(IS_REGISTER_OPERAND_TYPE) |
| 128 #undef IS_REGISTER_OPERAND_TYPE | 132 #undef IS_REGISTER_OPERAND_TYPE |
| 129 | 133 |
| 130 #define IS_NOT_REGISTER_OPERAND_TYPE(Name, _) \ | 134 #define IS_NOT_REGISTER_OPERAND_TYPE(Name, _, __) \ |
| 131 CHECK(!Bytecodes::IsRegisterOperandType(OperandType::k##Name)); | 135 CHECK(!Bytecodes::IsRegisterOperandType(OperandType::k##Name)); |
| 132 NON_REGISTER_OPERAND_TYPE_LIST(IS_NOT_REGISTER_OPERAND_TYPE) | 136 NON_REGISTER_OPERAND_TYPE_LIST(IS_NOT_REGISTER_OPERAND_TYPE) |
| 133 #undef IS_NOT_REGISTER_OPERAND_TYPE | 137 #undef IS_NOT_REGISTER_OPERAND_TYPE |
| 134 | 138 |
| 135 #define IS_REGISTER_INPUT_OPERAND_TYPE(Name, _) \ | 139 #define IS_REGISTER_INPUT_OPERAND_TYPE(Name, _, __) \ |
| 136 CHECK(Bytecodes::IsRegisterInputOperandType(OperandType::k##Name)); | 140 CHECK(Bytecodes::IsRegisterInputOperandType(OperandType::k##Name)); |
| 137 REGISTER_INPUT_OPERAND_TYPE_LIST(IS_REGISTER_INPUT_OPERAND_TYPE) | 141 REGISTER_INPUT_OPERAND_TYPE_LIST(IS_REGISTER_INPUT_OPERAND_TYPE) |
| 138 #undef IS_REGISTER_INPUT_OPERAND_TYPE | 142 #undef IS_REGISTER_INPUT_OPERAND_TYPE |
| 139 | 143 |
| 140 #define IS_NOT_REGISTER_INPUT_OPERAND_TYPE(Name, _) \ | 144 #define IS_NOT_REGISTER_INPUT_OPERAND_TYPE(Name, _, __) \ |
| 141 CHECK(!Bytecodes::IsRegisterInputOperandType(OperandType::k##Name)); | 145 CHECK(!Bytecodes::IsRegisterInputOperandType(OperandType::k##Name)); |
| 142 NON_REGISTER_OPERAND_TYPE_LIST(IS_NOT_REGISTER_INPUT_OPERAND_TYPE); | 146 NON_REGISTER_OPERAND_TYPE_LIST(IS_NOT_REGISTER_INPUT_OPERAND_TYPE); |
| 143 REGISTER_OUTPUT_OPERAND_TYPE_LIST(IS_NOT_REGISTER_INPUT_OPERAND_TYPE) | 147 REGISTER_OUTPUT_OPERAND_TYPE_LIST(IS_NOT_REGISTER_INPUT_OPERAND_TYPE) |
| 144 #undef IS_NOT_REGISTER_INPUT_OPERAND_TYPE | 148 #undef IS_NOT_REGISTER_INPUT_OPERAND_TYPE |
| 145 | 149 |
| 146 #define IS_REGISTER_OUTPUT_OPERAND_TYPE(Name, _) \ | 150 #define IS_REGISTER_OUTPUT_OPERAND_TYPE(Name, _, __) \ |
| 147 CHECK(Bytecodes::IsRegisterOutputOperandType(OperandType::k##Name)); | 151 CHECK(Bytecodes::IsRegisterOutputOperandType(OperandType::k##Name)); |
| 148 REGISTER_OUTPUT_OPERAND_TYPE_LIST(IS_REGISTER_OUTPUT_OPERAND_TYPE) | 152 REGISTER_OUTPUT_OPERAND_TYPE_LIST(IS_REGISTER_OUTPUT_OPERAND_TYPE) |
| 149 #undef IS_REGISTER_OUTPUT_OPERAND_TYPE | 153 #undef IS_REGISTER_OUTPUT_OPERAND_TYPE |
| 150 | 154 |
| 151 #define IS_NOT_REGISTER_OUTPUT_OPERAND_TYPE(Name, _) \ | 155 #define IS_NOT_REGISTER_OUTPUT_OPERAND_TYPE(Name, _, __) \ |
| 152 CHECK(!Bytecodes::IsRegisterOutputOperandType(OperandType::k##Name)); | 156 CHECK(!Bytecodes::IsRegisterOutputOperandType(OperandType::k##Name)); |
| 153 NON_REGISTER_OPERAND_TYPE_LIST(IS_NOT_REGISTER_OUTPUT_OPERAND_TYPE) | 157 NON_REGISTER_OPERAND_TYPE_LIST(IS_NOT_REGISTER_OUTPUT_OPERAND_TYPE) |
| 154 REGISTER_INPUT_OPERAND_TYPE_LIST(IS_NOT_REGISTER_OUTPUT_OPERAND_TYPE) | 158 REGISTER_INPUT_OPERAND_TYPE_LIST(IS_NOT_REGISTER_OUTPUT_OPERAND_TYPE) |
| 155 #undef IS_NOT_REGISTER_INPUT_OPERAND_TYPE | 159 #undef IS_NOT_REGISTER_INPUT_OPERAND_TYPE |
| 156 } | 160 } |
| 157 | 161 |
| 158 TEST(Bytecodes, DebugBreak) { | 162 TEST(Bytecodes, DebugBreakExistForEachBytecode) { |
| 159 for (uint32_t i = 0; i < Bytecodes::ToByte(Bytecode::kLast); i++) { | 163 for (int operand_scale = 1; operand_scale < 8; operand_scale *= 2) { |
| 160 Bytecode bytecode = Bytecodes::FromByte(i); | 164 #define CHECK_DEBUG_BREAK_SIZE(Name, ...) \ |
| 161 Bytecode debugbreak = Bytecodes::GetDebugBreak(bytecode); | 165 { \ |
| 162 if (!Bytecodes::IsDebugBreak(debugbreak)) { | 166 Bytecode debug_bytecode = \ |
| 163 PrintF("Bytecode %s has no matching debug break with length %d\n", | 167 Bytecodes::GetDebugBreak(Bytecode::k##Name, operand_scale); \ |
| 164 Bytecodes::ToString(bytecode), Bytecodes::Size(bytecode)); | 168 CHECK_EQ(Bytecodes::Size(Bytecode::k##Name, operand_scale), \ |
| 165 CHECK(false); | 169 Bytecodes::Size(debug_bytecode, operand_scale)); \ |
| 166 } | 170 } |
| 171 BYTECODE_LIST(CHECK_DEBUG_BREAK_SIZE) |
| 172 #undef CHECK_DEBUG_BREAK_SIZE |
| 167 } | 173 } |
| 168 } | 174 } |
| 169 | 175 |
| 170 } // namespace interpreter | 176 } // namespace interpreter |
| 171 } // namespace internal | 177 } // namespace internal |
| 172 } // namespace v8 | 178 } // namespace v8 |
| OLD | NEW |