| 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_optimizer.h" | 5 #include "vm/flow_graph_optimizer.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 541 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 552 const Function& target = | 552 const Function& target = |
| 553 Function::ZoneHandle(call->ic_data()->GetTargetAt(0)); | 553 Function::ZoneHandle(call->ic_data()->GetTargetAt(0)); |
| 554 const AbstractType& value_type = | 554 const AbstractType& value_type = |
| 555 AbstractType::ZoneHandle(target.ParameterTypeAt(2)); | 555 AbstractType::ZoneHandle(target.ParameterTypeAt(2)); |
| 556 Value* instantiator = NULL; | 556 Value* instantiator = NULL; |
| 557 Value* type_args = NULL; | 557 Value* type_args = NULL; |
| 558 switch (class_id) { | 558 switch (class_id) { |
| 559 case kArrayCid: | 559 case kArrayCid: |
| 560 case kGrowableObjectArrayCid: { | 560 case kGrowableObjectArrayCid: { |
| 561 const Class& instantiator_class = Class::Handle(target.Owner()); | 561 const Class& instantiator_class = Class::Handle(target.Owner()); |
| 562 intptr_t type_arguments_instance_field_offset = | 562 intptr_t type_arguments_field_offset = |
| 563 instantiator_class.type_arguments_instance_field_offset(); | 563 instantiator_class.type_arguments_field_offset(); |
| 564 LoadFieldInstr* load_type_args = | 564 LoadFieldInstr* load_type_args = |
| 565 new LoadFieldInstr(array->Copy(), | 565 new LoadFieldInstr(array->Copy(), |
| 566 type_arguments_instance_field_offset, | 566 type_arguments_field_offset, |
| 567 Type::ZoneHandle()); // No type. | 567 Type::ZoneHandle()); // No type. |
| 568 InsertBefore(call, load_type_args, NULL, Definition::kValue); | 568 InsertBefore(call, load_type_args, NULL, Definition::kValue); |
| 569 instantiator = array->Copy(); | 569 instantiator = array->Copy(); |
| 570 type_args = new Value(load_type_args); | 570 type_args = new Value(load_type_args); |
| 571 break; | 571 break; |
| 572 } | 572 } |
| 573 case kFloat32ArrayCid: | 573 case kFloat32ArrayCid: |
| 574 case kFloat64ArrayCid: { | 574 case kFloat64ArrayCid: { |
| 575 ConstantInstr* null_constant = new ConstantInstr(Object::ZoneHandle()); | 575 ConstantInstr* null_constant = new ConstantInstr(Object::ZoneHandle()); |
| 576 InsertBefore(call, null_constant, NULL, Definition::kValue); | 576 InsertBefore(call, null_constant, NULL, Definition::kValue); |
| (...skipping 3210 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 3787 | 3787 |
| 3788 if (FLAG_trace_constant_propagation) { | 3788 if (FLAG_trace_constant_propagation) { |
| 3789 OS::Print("\n==== After constant propagation ====\n"); | 3789 OS::Print("\n==== After constant propagation ====\n"); |
| 3790 FlowGraphPrinter printer(*graph_); | 3790 FlowGraphPrinter printer(*graph_); |
| 3791 printer.PrintBlocks(); | 3791 printer.PrintBlocks(); |
| 3792 } | 3792 } |
| 3793 } | 3793 } |
| 3794 | 3794 |
| 3795 | 3795 |
| 3796 } // namespace dart | 3796 } // namespace dart |
| OLD | NEW |