OLD | NEW |
1 // Copyright 2014 the V8 project authors. All rights reserved. | 1 // Copyright 2014 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/compiler/common-operator.h" | 5 #include "src/compiler/common-operator.h" |
6 | 6 |
7 #include "src/assembler.h" | 7 #include "src/assembler.h" |
8 #include "src/base/lazy-instance.h" | 8 #include "src/base/lazy-instance.h" |
9 #include "src/compiler/linkage.h" | 9 #include "src/compiler/linkage.h" |
10 #include "src/compiler/opcodes.h" | 10 #include "src/compiler/opcodes.h" |
(...skipping 18 matching lines...) Expand all Loading... |
29 return os; | 29 return os; |
30 } | 30 } |
31 | 31 |
32 | 32 |
33 BranchHint BranchHintOf(const Operator* const op) { | 33 BranchHint BranchHintOf(const Operator* const op) { |
34 DCHECK_EQ(IrOpcode::kBranch, op->opcode()); | 34 DCHECK_EQ(IrOpcode::kBranch, op->opcode()); |
35 return OpParameter<BranchHint>(op); | 35 return OpParameter<BranchHint>(op); |
36 } | 36 } |
37 | 37 |
38 | 38 |
| 39 size_t hash_value(IfExceptionHint hint) { return static_cast<size_t>(hint); } |
| 40 |
| 41 |
| 42 std::ostream& operator<<(std::ostream& os, IfExceptionHint hint) { |
| 43 switch (hint) { |
| 44 case IfExceptionHint::kLocallyCaught: |
| 45 return os << "Caught"; |
| 46 case IfExceptionHint::kLocallyUncaught: |
| 47 return os << "Uncaught"; |
| 48 } |
| 49 UNREACHABLE(); |
| 50 return os; |
| 51 } |
| 52 |
| 53 |
39 bool operator==(SelectParameters const& lhs, SelectParameters const& rhs) { | 54 bool operator==(SelectParameters const& lhs, SelectParameters const& rhs) { |
40 return lhs.type() == rhs.type() && lhs.hint() == rhs.hint(); | 55 return lhs.type() == rhs.type() && lhs.hint() == rhs.hint(); |
41 } | 56 } |
42 | 57 |
43 | 58 |
44 bool operator!=(SelectParameters const& lhs, SelectParameters const& rhs) { | 59 bool operator!=(SelectParameters const& lhs, SelectParameters const& rhs) { |
45 return !(lhs == rhs); | 60 return !(lhs == rhs); |
46 } | 61 } |
47 | 62 |
48 | 63 |
(...skipping 49 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
98 os << i.index(); | 113 os << i.index(); |
99 return os; | 114 return os; |
100 } | 115 } |
101 | 116 |
102 | 117 |
103 #define CACHED_OP_LIST(V) \ | 118 #define CACHED_OP_LIST(V) \ |
104 V(Dead, Operator::kFoldable, 0, 0, 0, 0, 0, 1) \ | 119 V(Dead, Operator::kFoldable, 0, 0, 0, 0, 0, 1) \ |
105 V(IfTrue, Operator::kKontrol, 0, 0, 1, 0, 0, 1) \ | 120 V(IfTrue, Operator::kKontrol, 0, 0, 1, 0, 0, 1) \ |
106 V(IfFalse, Operator::kKontrol, 0, 0, 1, 0, 0, 1) \ | 121 V(IfFalse, Operator::kKontrol, 0, 0, 1, 0, 0, 1) \ |
107 V(IfSuccess, Operator::kKontrol, 0, 0, 1, 0, 0, 1) \ | 122 V(IfSuccess, Operator::kKontrol, 0, 0, 1, 0, 0, 1) \ |
108 V(IfException, Operator::kKontrol, 0, 0, 1, 1, 0, 1) \ | |
109 V(IfDefault, Operator::kKontrol, 0, 0, 1, 0, 0, 1) \ | 123 V(IfDefault, Operator::kKontrol, 0, 0, 1, 0, 0, 1) \ |
110 V(Throw, Operator::kKontrol, 1, 1, 1, 0, 0, 1) \ | 124 V(Throw, Operator::kKontrol, 1, 1, 1, 0, 0, 1) \ |
111 V(Deoptimize, Operator::kNoThrow, 1, 1, 1, 0, 0, 1) \ | 125 V(Deoptimize, Operator::kNoThrow, 1, 1, 1, 0, 0, 1) \ |
112 V(Return, Operator::kNoThrow, 1, 1, 1, 0, 0, 1) \ | 126 V(Return, Operator::kNoThrow, 1, 1, 1, 0, 0, 1) \ |
113 V(Terminate, Operator::kKontrol, 0, 1, 1, 0, 0, 1) \ | 127 V(Terminate, Operator::kKontrol, 0, 1, 1, 0, 0, 1) \ |
114 V(OsrNormalEntry, Operator::kFoldable, 0, 1, 1, 0, 1, 1) \ | 128 V(OsrNormalEntry, Operator::kFoldable, 0, 1, 1, 0, 1, 1) \ |
115 V(OsrLoopEntry, Operator::kFoldable, 0, 1, 1, 0, 1, 1) | 129 V(OsrLoopEntry, Operator::kFoldable, 0, 1, 1, 0, 1, 1) |
116 | 130 |
117 | 131 |
118 #define CACHED_END_LIST(V) \ | 132 #define CACHED_END_LIST(V) \ |
(...skipping 84 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
203 Name##Operator() \ | 217 Name##Operator() \ |
204 : Operator(IrOpcode::k##Name, properties, #Name, value_input_count, \ | 218 : Operator(IrOpcode::k##Name, properties, #Name, value_input_count, \ |
205 effect_input_count, control_input_count, \ | 219 effect_input_count, control_input_count, \ |
206 value_output_count, effect_output_count, \ | 220 value_output_count, effect_output_count, \ |
207 control_output_count) {} \ | 221 control_output_count) {} \ |
208 }; \ | 222 }; \ |
209 Name##Operator k##Name##Operator; | 223 Name##Operator k##Name##Operator; |
210 CACHED_OP_LIST(CACHED) | 224 CACHED_OP_LIST(CACHED) |
211 #undef CACHED | 225 #undef CACHED |
212 | 226 |
| 227 template <IfExceptionHint kCaughtLocally> |
| 228 struct IfExceptionOperator final : public Operator1<IfExceptionHint> { |
| 229 IfExceptionOperator() |
| 230 : Operator1<IfExceptionHint>( // -- |
| 231 IrOpcode::kIfException, Operator::kKontrol, // opcode |
| 232 "IfException", // name |
| 233 0, 0, 1, 1, 0, 1, // counts |
| 234 kCaughtLocally) {} // parameter |
| 235 }; |
| 236 IfExceptionOperator<IfExceptionHint::kLocallyCaught> kIfExceptionCOperator; |
| 237 IfExceptionOperator<IfExceptionHint::kLocallyUncaught> kIfExceptionUOperator; |
| 238 |
213 template <size_t kInputCount> | 239 template <size_t kInputCount> |
214 struct EndOperator final : public Operator { | 240 struct EndOperator final : public Operator { |
215 EndOperator() | 241 EndOperator() |
216 : Operator( // -- | 242 : Operator( // -- |
217 IrOpcode::kEnd, Operator::kKontrol, // opcode | 243 IrOpcode::kEnd, Operator::kKontrol, // opcode |
218 "End", // name | 244 "End", // name |
219 0, 0, kInputCount, 0, 0, 0) {} // counts | 245 0, 0, kInputCount, 0, 0, 0) {} // counts |
220 }; | 246 }; |
221 #define CACHED_END(input_count) \ | 247 #define CACHED_END(input_count) \ |
222 EndOperator<input_count> kEnd##input_count##Operator; | 248 EndOperator<input_count> kEnd##input_count##Operator; |
(...skipping 155 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
378 case BranchHint::kTrue: | 404 case BranchHint::kTrue: |
379 return &cache_.kBranchTrueOperator; | 405 return &cache_.kBranchTrueOperator; |
380 case BranchHint::kFalse: | 406 case BranchHint::kFalse: |
381 return &cache_.kBranchFalseOperator; | 407 return &cache_.kBranchFalseOperator; |
382 } | 408 } |
383 UNREACHABLE(); | 409 UNREACHABLE(); |
384 return nullptr; | 410 return nullptr; |
385 } | 411 } |
386 | 412 |
387 | 413 |
| 414 const Operator* CommonOperatorBuilder::IfException(IfExceptionHint hint) { |
| 415 switch (hint) { |
| 416 case IfExceptionHint::kLocallyCaught: |
| 417 return &cache_.kIfExceptionCOperator; |
| 418 case IfExceptionHint::kLocallyUncaught: |
| 419 return &cache_.kIfExceptionUOperator; |
| 420 } |
| 421 UNREACHABLE(); |
| 422 return nullptr; |
| 423 } |
| 424 |
| 425 |
388 const Operator* CommonOperatorBuilder::Switch(size_t control_output_count) { | 426 const Operator* CommonOperatorBuilder::Switch(size_t control_output_count) { |
389 DCHECK_GE(control_output_count, 3u); // Disallow trivial switches. | 427 DCHECK_GE(control_output_count, 3u); // Disallow trivial switches. |
390 return new (zone()) Operator( // -- | 428 return new (zone()) Operator( // -- |
391 IrOpcode::kSwitch, Operator::kKontrol, // opcode | 429 IrOpcode::kSwitch, Operator::kKontrol, // opcode |
392 "Switch", // name | 430 "Switch", // name |
393 1, 0, 1, 0, 0, control_output_count); // counts | 431 1, 0, 1, 0, 0, control_output_count); // counts |
394 } | 432 } |
395 | 433 |
396 | 434 |
397 const Operator* CommonOperatorBuilder::IfValue(int32_t index) { | 435 const Operator* CommonOperatorBuilder::IfValue(int32_t index) { |
(...skipping 334 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
732 } else { | 770 } else { |
733 UNREACHABLE(); | 771 UNREACHABLE(); |
734 return nullptr; | 772 return nullptr; |
735 } | 773 } |
736 } | 774 } |
737 | 775 |
738 | 776 |
739 } // namespace compiler | 777 } // namespace compiler |
740 } // namespace internal | 778 } // namespace internal |
741 } // namespace v8 | 779 } // namespace v8 |
OLD | NEW |