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/flow_graph_builder.h" | 8 #include "vm/flow_graph_builder.h" |
9 #include "vm/intermediate_language.h" | 9 #include "vm/intermediate_language.h" |
10 #include "vm/longjump.h" | 10 #include "vm/longjump.h" |
(...skipping 460 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
471 last_loads->Add(index); | 471 last_loads->Add(index); |
472 load->mark_last(); | 472 load->mark_last(); |
473 } | 473 } |
474 continue; | 474 continue; |
475 } | 475 } |
476 | 476 |
477 StoreLocalInstr* store = current->AsStoreLocal(); | 477 StoreLocalInstr* store = current->AsStoreLocal(); |
478 if (store != NULL) { | 478 if (store != NULL) { |
479 const intptr_t index = | 479 const intptr_t index = |
480 store->local().BitIndexIn(num_non_copied_params_); | 480 store->local().BitIndexIn(num_non_copied_params_); |
| 481 if (index >= live_in->length()) continue; // Skip tmp_locals. |
481 if (kill->Contains(index)) { | 482 if (kill->Contains(index)) { |
482 if (!live_in->Contains(index)) { | 483 if (!live_in->Contains(index)) { |
483 store->mark_dead(); | 484 store->mark_dead(); |
484 } | 485 } |
485 } else { | 486 } else { |
486 if (!live_in->Contains(index)) { | 487 if (!live_in->Contains(index)) { |
487 store->mark_last(); | 488 store->mark_last(); |
488 } | 489 } |
489 kill->Add(index); | 490 kill->Add(index); |
490 } | 491 } |
(...skipping 727 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
1218 } | 1219 } |
1219 | 1220 |
1220 | 1221 |
1221 bool BlockEffects::IsSideEffectFreePath(BlockEntryInstr* from, | 1222 bool BlockEffects::IsSideEffectFreePath(BlockEntryInstr* from, |
1222 BlockEntryInstr* to) const { | 1223 BlockEntryInstr* to) const { |
1223 return available_at_[to->postorder_number()]->Contains( | 1224 return available_at_[to->postorder_number()]->Contains( |
1224 from->postorder_number()); | 1225 from->postorder_number()); |
1225 } | 1226 } |
1226 | 1227 |
1227 } // namespace dart | 1228 } // namespace dart |
OLD | NEW |