| OLD | NEW |
| 1 // Copyright (c) 2012, the Dart project authors. Please see the AUTHORS file | 1 // Copyright (c) 2012, the Dart project authors. Please see the AUTHORS file |
| 2 // for details. All rights reserved. Use of this source code is governed by a | 2 // for details. All rights reserved. Use of this source code is governed by a |
| 3 // BSD-style license that can be found in the LICENSE file. | 3 // BSD-style license that can be found in the LICENSE file. |
| 4 | 4 |
| 5 #include "vm/flow_graph.h" | 5 #include "vm/flow_graph.h" |
| 6 | 6 |
| 7 #include "vm/bit_vector.h" | 7 #include "vm/bit_vector.h" |
| 8 #include "vm/cha.h" | 8 #include "vm/cha.h" |
| 9 #include "vm/flow_graph_builder.h" | 9 #include "vm/flow_graph_builder.h" |
| 10 #include "vm/flow_graph_compiler.h" | 10 #include "vm/flow_graph_compiler.h" |
| (...skipping 2262 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 2273 Definition* right_def = curr_instr->right()->definition(); | 2273 Definition* right_def = curr_instr->right()->definition(); |
| 2274 for (intptr_t k = i + 1; k < merge_candidates->length(); k++) { | 2274 for (intptr_t k = i + 1; k < merge_candidates->length(); k++) { |
| 2275 BinarySmiOpInstr* other_binop = (*merge_candidates)[k]; | 2275 BinarySmiOpInstr* other_binop = (*merge_candidates)[k]; |
| 2276 // 'other_binop' can be NULL if it was already merged. | 2276 // 'other_binop' can be NULL if it was already merged. |
| 2277 if ((other_binop != NULL) && (other_binop->op_kind() == other_kind) && | 2277 if ((other_binop != NULL) && (other_binop->op_kind() == other_kind) && |
| 2278 (other_binop->left()->definition() == left_def) && | 2278 (other_binop->left()->definition() == left_def) && |
| 2279 (other_binop->right()->definition() == right_def)) { | 2279 (other_binop->right()->definition() == right_def)) { |
| 2280 (*merge_candidates)[k] = NULL; // Clear it. | 2280 (*merge_candidates)[k] = NULL; // Clear it. |
| 2281 ASSERT(curr_instr->HasUses()); | 2281 ASSERT(curr_instr->HasUses()); |
| 2282 AppendExtractNthOutputForMerged( | 2282 AppendExtractNthOutputForMerged( |
| 2283 curr_instr, MergedMathInstr::OutputIndexOf(curr_instr->op_kind()), | 2283 curr_instr, TruncDivModInstr::OutputIndexOf(curr_instr->op_kind()), |
| 2284 kTagged, kSmiCid); | 2284 kTagged, kSmiCid); |
| 2285 ASSERT(other_binop->HasUses()); | 2285 ASSERT(other_binop->HasUses()); |
| 2286 AppendExtractNthOutputForMerged( | 2286 AppendExtractNthOutputForMerged( |
| 2287 other_binop, MergedMathInstr::OutputIndexOf(other_binop->op_kind()), | 2287 other_binop, |
| 2288 kTagged, kSmiCid); | 2288 TruncDivModInstr::OutputIndexOf(other_binop->op_kind()), kTagged, |
| 2289 | 2289 kSmiCid); |
| 2290 ZoneGrowableArray<Value*>* args = new (Z) ZoneGrowableArray<Value*>(2); | |
| 2291 args->Add(new (Z) Value(curr_instr->left()->definition())); | |
| 2292 args->Add(new (Z) Value(curr_instr->right()->definition())); | |
| 2293 | 2290 |
| 2294 // Replace with TruncDivMod. | 2291 // Replace with TruncDivMod. |
| 2295 MergedMathInstr* div_mod = new (Z) MergedMathInstr( | 2292 TruncDivModInstr* div_mod = new (Z) TruncDivModInstr( |
| 2296 args, curr_instr->deopt_id(), MergedMathInstr::kTruncDivMod); | 2293 curr_instr->left()->CopyWithType(), |
| 2294 curr_instr->right()->CopyWithType(), curr_instr->deopt_id()); |
| 2297 curr_instr->ReplaceWith(div_mod, NULL); | 2295 curr_instr->ReplaceWith(div_mod, NULL); |
| 2298 other_binop->ReplaceUsesWith(div_mod); | 2296 other_binop->ReplaceUsesWith(div_mod); |
| 2299 other_binop->RemoveFromGraph(); | 2297 other_binop->RemoveFromGraph(); |
| 2300 // Only one merge possible. Because canonicalization happens later, | 2298 // Only one merge possible. Because canonicalization happens later, |
| 2301 // more candidates are possible. | 2299 // more candidates are possible. |
| 2302 // TODO(srdjan): Allow merging of trunc-div/mod into truncDivMod. | 2300 // TODO(srdjan): Allow merging of trunc-div/mod into truncDivMod. |
| 2303 break; | 2301 break; |
| 2304 } | 2302 } |
| 2305 } | 2303 } |
| 2306 } | 2304 } |
| 2307 } | 2305 } |
| 2308 | 2306 |
| 2309 | 2307 |
| 2310 void FlowGraph::AppendExtractNthOutputForMerged(Definition* instr, | 2308 void FlowGraph::AppendExtractNthOutputForMerged(Definition* instr, |
| 2311 intptr_t index, | 2309 intptr_t index, |
| 2312 Representation rep, | 2310 Representation rep, |
| 2313 intptr_t cid) { | 2311 intptr_t cid) { |
| 2314 ExtractNthOutputInstr* extract = | 2312 ExtractNthOutputInstr* extract = |
| 2315 new (Z) ExtractNthOutputInstr(new (Z) Value(instr), index, rep, cid); | 2313 new (Z) ExtractNthOutputInstr(new (Z) Value(instr), index, rep, cid); |
| 2316 instr->ReplaceUsesWith(extract); | 2314 instr->ReplaceUsesWith(extract); |
| 2317 InsertAfter(instr, extract, NULL, FlowGraph::kValue); | 2315 InsertAfter(instr, extract, NULL, FlowGraph::kValue); |
| 2318 } | 2316 } |
| 2319 | 2317 |
| 2320 | 2318 |
| 2321 } // namespace dart | 2319 } // namespace dart |
| OLD | NEW |