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_builder.h" | 5 #include "vm/flow_graph_builder.h" |
6 | 6 |
7 #include "lib/invocation_mirror.h" | 7 #include "lib/invocation_mirror.h" |
8 #include "vm/ast_printer.h" | 8 #include "vm/ast_printer.h" |
9 #include "vm/bit_vector.h" | 9 #include "vm/bit_vector.h" |
10 #include "vm/class_finalizer.h" | 10 #include "vm/class_finalizer.h" |
(...skipping 1588 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
1599 Value* instantiator_type_arguments = NULL; | 1599 Value* instantiator_type_arguments = NULL; |
1600 if (dst_type.IsInstantiated()) { | 1600 if (dst_type.IsInstantiated()) { |
1601 instantiator = BuildNullValue(); | 1601 instantiator = BuildNullValue(); |
1602 instantiator_type_arguments = BuildNullValue(); | 1602 instantiator_type_arguments = BuildNullValue(); |
1603 } else { | 1603 } else { |
1604 BuildTypecheckArguments(token_pos, | 1604 BuildTypecheckArguments(token_pos, |
1605 &instantiator, | 1605 &instantiator, |
1606 &instantiator_type_arguments); | 1606 &instantiator_type_arguments); |
1607 } | 1607 } |
1608 | 1608 |
1609 const intptr_t deopt_id = Isolate::Current()->GetNextDeoptId(); | 1609 const intptr_t deopt_id = Thread::Current()->GetNextDeoptId(); |
1610 return new(Z) AssertAssignableInstr(token_pos, | 1610 return new(Z) AssertAssignableInstr(token_pos, |
1611 value, | 1611 value, |
1612 instantiator, | 1612 instantiator, |
1613 instantiator_type_arguments, | 1613 instantiator_type_arguments, |
1614 dst_type, | 1614 dst_type, |
1615 dst_name, | 1615 dst_name, |
1616 deopt_id); | 1616 deopt_id); |
1617 } | 1617 } |
1618 | 1618 |
1619 | 1619 |
(...skipping 834 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
2454 type_args); | 2454 type_args); |
2455 Value* num_elements = | 2455 Value* num_elements = |
2456 Bind(new(Z) ConstantInstr(Smi::ZoneHandle(Z, Smi::New(node->length())))); | 2456 Bind(new(Z) ConstantInstr(Smi::ZoneHandle(Z, Smi::New(node->length())))); |
2457 CreateArrayInstr* create = new(Z) CreateArrayInstr(node->token_pos(), | 2457 CreateArrayInstr* create = new(Z) CreateArrayInstr(node->token_pos(), |
2458 element_type, | 2458 element_type, |
2459 num_elements); | 2459 num_elements); |
2460 Value* array_val = Bind(create); | 2460 Value* array_val = Bind(create); |
2461 | 2461 |
2462 { LocalVariable* tmp_var = EnterTempLocalScope(array_val); | 2462 { LocalVariable* tmp_var = EnterTempLocalScope(array_val); |
2463 const intptr_t class_id = kArrayCid; | 2463 const intptr_t class_id = kArrayCid; |
2464 const intptr_t deopt_id = Isolate::kNoDeoptId; | 2464 const intptr_t deopt_id = Thread::kNoDeoptId; |
2465 for (int i = 0; i < node->length(); ++i) { | 2465 for (int i = 0; i < node->length(); ++i) { |
2466 Value* array = Bind(new(Z) LoadLocalInstr(*tmp_var)); | 2466 Value* array = Bind(new(Z) LoadLocalInstr(*tmp_var)); |
2467 Value* index = | 2467 Value* index = |
2468 Bind(new(Z) ConstantInstr(Smi::ZoneHandle(Z, Smi::New(i)))); | 2468 Bind(new(Z) ConstantInstr(Smi::ZoneHandle(Z, Smi::New(i)))); |
2469 ValueGraphVisitor for_value(owner()); | 2469 ValueGraphVisitor for_value(owner()); |
2470 node->ElementAt(i)->Visit(&for_value); | 2470 node->ElementAt(i)->Visit(&for_value); |
2471 Append(for_value); | 2471 Append(for_value); |
2472 // No store barrier needed for constants. | 2472 // No store barrier needed for constants. |
2473 const StoreBarrierType emit_store_barrier = | 2473 const StoreBarrierType emit_store_barrier = |
2474 for_value.value()->BindsToConstant() | 2474 for_value.value()->BindsToConstant() |
(...skipping 1301 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
3776 store_value, | 3776 store_value, |
3777 type, | 3777 type, |
3778 dst_name); | 3778 dst_name); |
3779 } | 3779 } |
3780 | 3780 |
3781 if (FLAG_use_field_guards) { | 3781 if (FLAG_use_field_guards) { |
3782 store_value = Bind(BuildStoreExprTemp(store_value)); | 3782 store_value = Bind(BuildStoreExprTemp(store_value)); |
3783 GuardFieldClassInstr* guard_field_class = | 3783 GuardFieldClassInstr* guard_field_class = |
3784 new(Z) GuardFieldClassInstr(store_value, | 3784 new(Z) GuardFieldClassInstr(store_value, |
3785 node->field(), | 3785 node->field(), |
3786 isolate()->GetNextDeoptId()); | 3786 thread()->GetNextDeoptId()); |
3787 AddInstruction(guard_field_class); | 3787 AddInstruction(guard_field_class); |
3788 store_value = Bind(BuildLoadExprTemp()); | 3788 store_value = Bind(BuildLoadExprTemp()); |
3789 GuardFieldLengthInstr* guard_field_length = | 3789 GuardFieldLengthInstr* guard_field_length = |
3790 new(Z) GuardFieldLengthInstr(store_value, | 3790 new(Z) GuardFieldLengthInstr(store_value, |
3791 node->field(), | 3791 node->field(), |
3792 isolate()->GetNextDeoptId()); | 3792 thread()->GetNextDeoptId()); |
3793 AddInstruction(guard_field_length); | 3793 AddInstruction(guard_field_length); |
3794 store_value = Bind(BuildLoadExprTemp()); | 3794 store_value = Bind(BuildLoadExprTemp()); |
3795 } | 3795 } |
3796 StoreInstanceFieldInstr* store = | 3796 StoreInstanceFieldInstr* store = |
3797 new(Z) StoreInstanceFieldInstr(node->field(), | 3797 new(Z) StoreInstanceFieldInstr(node->field(), |
3798 for_instance.value(), | 3798 for_instance.value(), |
3799 store_value, | 3799 store_value, |
3800 kEmitStoreBarrier, | 3800 kEmitStoreBarrier, |
3801 node->token_pos()); | 3801 node->token_pos()); |
3802 // Maybe initializing unboxed store. | 3802 // Maybe initializing unboxed store. |
(...skipping 862 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
4665 new(Z) GraphEntryInstr(parsed_function(), normal_entry, osr_id_); | 4665 new(Z) GraphEntryInstr(parsed_function(), normal_entry, osr_id_); |
4666 EffectGraphVisitor for_effect(this); | 4666 EffectGraphVisitor for_effect(this); |
4667 parsed_function().node_sequence()->Visit(&for_effect); | 4667 parsed_function().node_sequence()->Visit(&for_effect); |
4668 AppendFragment(normal_entry, for_effect); | 4668 AppendFragment(normal_entry, for_effect); |
4669 // Check that the graph is properly terminated. | 4669 // Check that the graph is properly terminated. |
4670 ASSERT(!for_effect.is_open()); | 4670 ASSERT(!for_effect.is_open()); |
4671 | 4671 |
4672 // When compiling for OSR, use a depth first search to prune instructions | 4672 // When compiling for OSR, use a depth first search to prune instructions |
4673 // unreachable from the OSR entry. Catch entries are always considered | 4673 // unreachable from the OSR entry. Catch entries are always considered |
4674 // reachable, even if they become unreachable after OSR. | 4674 // reachable, even if they become unreachable after OSR. |
4675 if (osr_id_ != Isolate::kNoDeoptId) { | 4675 if (osr_id_ != Thread::kNoDeoptId) { |
4676 PruneUnreachable(); | 4676 PruneUnreachable(); |
4677 } | 4677 } |
4678 | 4678 |
4679 FlowGraph* graph = | 4679 FlowGraph* graph = |
4680 new(Z) FlowGraph(parsed_function(), graph_entry_, last_used_block_id_); | 4680 new(Z) FlowGraph(parsed_function(), graph_entry_, last_used_block_id_); |
4681 return graph; | 4681 return graph; |
4682 } | 4682 } |
4683 | 4683 |
4684 | 4684 |
4685 void FlowGraphBuilder::PruneUnreachable() { | 4685 void FlowGraphBuilder::PruneUnreachable() { |
4686 ASSERT(osr_id_ != Isolate::kNoDeoptId); | 4686 ASSERT(osr_id_ != Thread::kNoDeoptId); |
4687 BitVector* block_marks = new(Z) BitVector(Z, last_used_block_id_ + 1); | 4687 BitVector* block_marks = new(Z) BitVector(Z, last_used_block_id_ + 1); |
4688 bool found = graph_entry_->PruneUnreachable(this, graph_entry_, NULL, osr_id_, | 4688 bool found = graph_entry_->PruneUnreachable(this, graph_entry_, NULL, osr_id_, |
4689 block_marks); | 4689 block_marks); |
4690 ASSERT(found); | 4690 ASSERT(found); |
4691 } | 4691 } |
4692 | 4692 |
4693 | 4693 |
4694 void FlowGraphBuilder::Bailout(const char* reason) const { | 4694 void FlowGraphBuilder::Bailout(const char* reason) const { |
4695 const Function& function = parsed_function_.function(); | 4695 const Function& function = parsed_function_.function(); |
4696 Report::MessageF(Report::kBailout, | 4696 Report::MessageF(Report::kBailout, |
4697 Script::Handle(function.script()), | 4697 Script::Handle(function.script()), |
4698 function.token_pos(), | 4698 function.token_pos(), |
4699 "FlowGraphBuilder Bailout: %s %s", | 4699 "FlowGraphBuilder Bailout: %s %s", |
4700 String::Handle(function.name()).ToCString(), | 4700 String::Handle(function.name()).ToCString(), |
4701 reason); | 4701 reason); |
4702 UNREACHABLE(); | 4702 UNREACHABLE(); |
4703 } | 4703 } |
4704 | 4704 |
4705 } // namespace dart | 4705 } // namespace dart |
OLD | NEW |