| 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 "src/interpreter/bytecode-pipeline.h" | 5 #include "src/interpreter/bytecode-pipeline.h" |
| 6 | 6 |
| 7 #include <iomanip> | 7 #include <iomanip> |
| 8 #include "src/interpreter/source-position-table.h" | 8 #include "src/interpreter/source-position-table.h" |
| 9 | 9 |
| 10 namespace v8 { | 10 namespace v8 { |
| (...skipping 16 matching lines...) Expand all Loading... |
| 27 // may end up with later statement positions being added during bytecode | 27 // may end up with later statement positions being added during bytecode |
| 28 // generation. | 28 // generation. |
| 29 source_position_ = entry.source_position_; | 29 source_position_ = entry.source_position_; |
| 30 is_statement_ = entry.is_statement_; | 30 is_statement_ = entry.is_statement_; |
| 31 } | 31 } |
| 32 } | 32 } |
| 33 | 33 |
| 34 BytecodeNode::BytecodeNode(Bytecode bytecode) { | 34 BytecodeNode::BytecodeNode(Bytecode bytecode) { |
| 35 DCHECK_EQ(Bytecodes::NumberOfOperands(bytecode), 0); | 35 DCHECK_EQ(Bytecodes::NumberOfOperands(bytecode), 0); |
| 36 bytecode_ = bytecode; | 36 bytecode_ = bytecode; |
| 37 operand_scale_ = OperandScale::kSingle; | 37 } |
| 38 |
| 39 BytecodeNode::BytecodeNode(Bytecode bytecode, uint32_t operand0) { |
| 40 DCHECK_EQ(Bytecodes::NumberOfOperands(bytecode), 1); |
| 41 bytecode_ = bytecode; |
| 42 operands_[0] = operand0; |
| 38 } | 43 } |
| 39 | 44 |
| 40 BytecodeNode::BytecodeNode(Bytecode bytecode, uint32_t operand0, | 45 BytecodeNode::BytecodeNode(Bytecode bytecode, uint32_t operand0, |
| 41 OperandScale operand_scale) { | 46 uint32_t operand1) { |
| 42 DCHECK_EQ(Bytecodes::NumberOfOperands(bytecode), 1); | |
| 43 bytecode_ = bytecode; | |
| 44 operands_[0] = operand0; | |
| 45 operand_scale_ = operand_scale; | |
| 46 } | |
| 47 | |
| 48 BytecodeNode::BytecodeNode(Bytecode bytecode, uint32_t operand0, | |
| 49 uint32_t operand1, OperandScale operand_scale) { | |
| 50 DCHECK_EQ(Bytecodes::NumberOfOperands(bytecode), 2); | 47 DCHECK_EQ(Bytecodes::NumberOfOperands(bytecode), 2); |
| 51 bytecode_ = bytecode; | 48 bytecode_ = bytecode; |
| 52 operands_[0] = operand0; | 49 operands_[0] = operand0; |
| 53 operands_[1] = operand1; | 50 operands_[1] = operand1; |
| 54 operand_scale_ = operand_scale; | |
| 55 } | 51 } |
| 56 | 52 |
| 57 BytecodeNode::BytecodeNode(Bytecode bytecode, uint32_t operand0, | 53 BytecodeNode::BytecodeNode(Bytecode bytecode, uint32_t operand0, |
| 58 uint32_t operand1, uint32_t operand2, | 54 uint32_t operand1, uint32_t operand2) { |
| 59 OperandScale operand_scale) { | |
| 60 DCHECK_EQ(Bytecodes::NumberOfOperands(bytecode), 3); | 55 DCHECK_EQ(Bytecodes::NumberOfOperands(bytecode), 3); |
| 61 bytecode_ = bytecode; | 56 bytecode_ = bytecode; |
| 62 operands_[0] = operand0; | 57 operands_[0] = operand0; |
| 63 operands_[1] = operand1; | 58 operands_[1] = operand1; |
| 64 operands_[2] = operand2; | 59 operands_[2] = operand2; |
| 65 operand_scale_ = operand_scale; | |
| 66 } | 60 } |
| 67 | 61 |
| 68 BytecodeNode::BytecodeNode(Bytecode bytecode, uint32_t operand0, | 62 BytecodeNode::BytecodeNode(Bytecode bytecode, uint32_t operand0, |
| 69 uint32_t operand1, uint32_t operand2, | 63 uint32_t operand1, uint32_t operand2, |
| 70 uint32_t operand3, OperandScale operand_scale) { | 64 uint32_t operand3) { |
| 71 DCHECK_EQ(Bytecodes::NumberOfOperands(bytecode), 4); | 65 DCHECK_EQ(Bytecodes::NumberOfOperands(bytecode), 4); |
| 72 bytecode_ = bytecode; | 66 bytecode_ = bytecode; |
| 73 operands_[0] = operand0; | 67 operands_[0] = operand0; |
| 74 operands_[1] = operand1; | 68 operands_[1] = operand1; |
| 75 operands_[2] = operand2; | 69 operands_[2] = operand2; |
| 76 operands_[3] = operand3; | 70 operands_[3] = operand3; |
| 77 operand_scale_ = operand_scale; | |
| 78 } | 71 } |
| 79 | 72 |
| 80 BytecodeNode::BytecodeNode(const BytecodeNode& other) { | 73 BytecodeNode::BytecodeNode(const BytecodeNode& other) { |
| 81 memcpy(this, &other, sizeof(other)); | 74 memcpy(this, &other, sizeof(other)); |
| 82 } | 75 } |
| 83 | 76 |
| 84 BytecodeNode& BytecodeNode::operator=(const BytecodeNode& other) { | 77 BytecodeNode& BytecodeNode::operator=(const BytecodeNode& other) { |
| 85 memcpy(this, &other, sizeof(other)); | 78 memcpy(this, &other, sizeof(other)); |
| 86 return *this; | 79 return *this; |
| 87 } | 80 } |
| 88 | 81 |
| 89 void BytecodeNode::set_bytecode(Bytecode bytecode) { | 82 void BytecodeNode::set_bytecode(Bytecode bytecode) { |
| 90 DCHECK_EQ(Bytecodes::NumberOfOperands(bytecode), 0); | 83 DCHECK_EQ(Bytecodes::NumberOfOperands(bytecode), 0); |
| 91 bytecode_ = bytecode; | 84 bytecode_ = bytecode; |
| 92 operand_scale_ = OperandScale::kSingle; | |
| 93 } | 85 } |
| 94 | 86 |
| 95 void BytecodeNode::set_bytecode(Bytecode bytecode, uint32_t operand0, | 87 void BytecodeNode::set_bytecode(Bytecode bytecode, uint32_t operand0) { |
| 96 OperandScale operand_scale) { | |
| 97 DCHECK_EQ(Bytecodes::NumberOfOperands(bytecode), 1); | 88 DCHECK_EQ(Bytecodes::NumberOfOperands(bytecode), 1); |
| 98 bytecode_ = bytecode; | 89 bytecode_ = bytecode; |
| 99 operands_[0] = operand0; | 90 operands_[0] = operand0; |
| 100 operand_scale_ = operand_scale; | |
| 101 } | 91 } |
| 102 | 92 |
| 103 void BytecodeNode::Clone(const BytecodeNode* const other) { | 93 void BytecodeNode::Clone(const BytecodeNode* const other) { |
| 104 memcpy(this, other, sizeof(*other)); | 94 memcpy(this, other, sizeof(*other)); |
| 105 } | 95 } |
| 106 | 96 |
| 107 void BytecodeNode::Print(std::ostream& os) const { | 97 void BytecodeNode::Print(std::ostream& os) const { |
| 108 #ifdef DEBUG | 98 #ifdef DEBUG |
| 109 std::ios saved_state(nullptr); | 99 std::ios saved_state(nullptr); |
| 110 saved_state.copyfmt(os); | 100 saved_state.copyfmt(os); |
| 111 | |
| 112 os << Bytecodes::ToString(bytecode_); | 101 os << Bytecodes::ToString(bytecode_); |
| 113 if (Bytecodes::OperandScaleRequiresPrefixBytecode(operand_scale_)) { | |
| 114 Bytecode scale_prefix = | |
| 115 Bytecodes::OperandScaleToPrefixBytecode(operand_scale_); | |
| 116 os << '.' << Bytecodes::ToString(scale_prefix); | |
| 117 } | |
| 118 | 102 |
| 119 for (int i = 0; i < operand_count(); ++i) { | 103 for (int i = 0; i < operand_count(); ++i) { |
| 120 os << ' ' << std::setw(8) << std::setfill('0') << std::hex << operands_[i]; | 104 os << ' ' << std::setw(8) << std::setfill('0') << std::hex << operands_[i]; |
| 121 } | 105 } |
| 122 os.copyfmt(saved_state); | 106 os.copyfmt(saved_state); |
| 123 | 107 |
| 124 if (source_info_.is_valid()) { | 108 if (source_info_.is_valid()) { |
| 125 os << ' ' << source_info_; | 109 os << ' ' << source_info_; |
| 126 } | 110 } |
| 127 os << '\n'; | 111 os << '\n'; |
| 128 #else | 112 #else |
| 129 os << static_cast<const void*>(this); | 113 os << static_cast<const void*>(this); |
| 130 #endif // DEBUG | 114 #endif // DEBUG |
| 131 } | 115 } |
| 132 | 116 |
| 133 size_t BytecodeNode::Size() const { | 117 void BytecodeNode::Transform(Bytecode new_bytecode, uint32_t extra_operand) { |
| 134 size_t size = Bytecodes::Size(bytecode_, operand_scale_); | |
| 135 if (Bytecodes::OperandScaleRequiresPrefixBytecode(operand_scale_)) { | |
| 136 size += 1; | |
| 137 } | |
| 138 return size; | |
| 139 } | |
| 140 | |
| 141 void BytecodeNode::Transform(Bytecode new_bytecode, uint32_t extra_operand, | |
| 142 OperandScale extra_operand_scale) { | |
| 143 DCHECK_EQ(Bytecodes::NumberOfOperands(new_bytecode), | 118 DCHECK_EQ(Bytecodes::NumberOfOperands(new_bytecode), |
| 144 Bytecodes::NumberOfOperands(bytecode()) + 1); | 119 Bytecodes::NumberOfOperands(bytecode()) + 1); |
| 145 DCHECK(Bytecodes::NumberOfOperands(bytecode()) < 1 || | 120 DCHECK(Bytecodes::NumberOfOperands(bytecode()) < 1 || |
| 146 Bytecodes::GetOperandType(new_bytecode, 0) == | 121 Bytecodes::GetOperandType(new_bytecode, 0) == |
| 147 Bytecodes::GetOperandType(bytecode(), 0)); | 122 Bytecodes::GetOperandType(bytecode(), 0)); |
| 148 DCHECK(Bytecodes::NumberOfOperands(bytecode()) < 2 || | 123 DCHECK(Bytecodes::NumberOfOperands(bytecode()) < 2 || |
| 149 Bytecodes::GetOperandType(new_bytecode, 1) == | 124 Bytecodes::GetOperandType(new_bytecode, 1) == |
| 150 Bytecodes::GetOperandType(bytecode(), 1)); | 125 Bytecodes::GetOperandType(bytecode(), 1)); |
| 151 DCHECK(Bytecodes::NumberOfOperands(bytecode()) < 3 || | 126 DCHECK(Bytecodes::NumberOfOperands(bytecode()) < 3 || |
| 152 Bytecodes::GetOperandType(new_bytecode, 2) == | 127 Bytecodes::GetOperandType(new_bytecode, 2) == |
| 153 Bytecodes::GetOperandType(bytecode(), 2)); | 128 Bytecodes::GetOperandType(bytecode(), 2)); |
| 154 DCHECK(Bytecodes::NumberOfOperands(bytecode()) < 4); | 129 DCHECK(Bytecodes::NumberOfOperands(bytecode()) < 4); |
| 155 operand_scale_ = std::max(extra_operand_scale, operand_scale()); | |
| 156 operands_[operand_count()] = extra_operand; | 130 operands_[operand_count()] = extra_operand; |
| 157 bytecode_ = new_bytecode; | 131 bytecode_ = new_bytecode; |
| 158 } | 132 } |
| 159 | 133 |
| 160 bool BytecodeNode::operator==(const BytecodeNode& other) const { | 134 bool BytecodeNode::operator==(const BytecodeNode& other) const { |
| 161 if (this == &other) { | 135 if (this == &other) { |
| 162 return true; | 136 return true; |
| 163 } else if (this->bytecode() != other.bytecode() || | 137 } else if (this->bytecode() != other.bytecode() || |
| 164 this->source_info() != other.source_info()) { | 138 this->source_info() != other.source_info()) { |
| 165 return false; | 139 return false; |
| 166 } else { | 140 } else { |
| 167 for (int i = 0; i < this->operand_count(); ++i) { | 141 for (int i = 0; i < this->operand_count(); ++i) { |
| 168 if (this->operand(i) != other.operand(i)) { | 142 if (this->operand(i) != other.operand(i)) { |
| 169 return false; | 143 return false; |
| 170 } | 144 } |
| 171 } | 145 } |
| 172 } | 146 } |
| 173 return true; | 147 return true; |
| 174 } | 148 } |
| 175 | 149 |
| 176 std::ostream& operator<<(std::ostream& os, const BytecodeNode& node) { | |
| 177 node.Print(os); | |
| 178 return os; | |
| 179 } | |
| 180 | |
| 181 std::ostream& operator<<(std::ostream& os, const BytecodeSourceInfo& info) { | 150 std::ostream& operator<<(std::ostream& os, const BytecodeSourceInfo& info) { |
| 182 if (info.is_valid()) { | 151 if (info.is_valid()) { |
| 183 char description = info.is_statement() ? 'S' : 'E'; | 152 char description = info.is_statement() ? 'S' : 'E'; |
| 184 os << info.source_position() << ' ' << description << '>'; | 153 os << info.source_position() << ' ' << description << '>'; |
| 185 } | 154 } |
| 186 return os; | 155 return os; |
| 187 } | 156 } |
| 188 | 157 |
| 158 std::ostream& operator<<(std::ostream& os, const BytecodeNode& node) { |
| 159 node.Print(os); |
| 160 return os; |
| 161 } |
| 162 |
| 189 } // namespace interpreter | 163 } // namespace interpreter |
| 190 } // namespace internal | 164 } // namespace internal |
| 191 } // namespace v8 | 165 } // namespace v8 |
| OLD | NEW |