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/compiler.h" | 5 #include "vm/compiler.h" |
6 | 6 |
7 #include "vm/assembler.h" | 7 #include "vm/assembler.h" |
8 #include "vm/ast_printer.h" | 8 #include "vm/ast_printer.h" |
9 #include "vm/code_generator.h" | 9 #include "vm/code_generator.h" |
10 #include "vm/code_patcher.h" | 10 #include "vm/code_patcher.h" |
11 #include "vm/dart_entry.h" | 11 #include "vm/dart_entry.h" |
12 #include "vm/debugger.h" | 12 #include "vm/debugger.h" |
13 #include "vm/disassembler.h" | 13 #include "vm/disassembler.h" |
14 #include "vm/exceptions.h" | 14 #include "vm/exceptions.h" |
15 #include "vm/flags.h" | 15 #include "vm/flags.h" |
| 16 #include "vm/flow_graph_allocator.h" |
16 #include "vm/flow_graph_builder.h" | 17 #include "vm/flow_graph_builder.h" |
17 #include "vm/flow_graph_compiler.h" | 18 #include "vm/flow_graph_compiler.h" |
18 #include "vm/flow_graph_optimizer.h" | 19 #include "vm/flow_graph_optimizer.h" |
19 #include "vm/longjump.h" | 20 #include "vm/longjump.h" |
20 #include "vm/object.h" | 21 #include "vm/object.h" |
21 #include "vm/object_store.h" | 22 #include "vm/object_store.h" |
22 #include "vm/opt_code_generator.h" | 23 #include "vm/opt_code_generator.h" |
23 #include "vm/os.h" | 24 #include "vm/os.h" |
24 #include "vm/parser.h" | 25 #include "vm/parser.h" |
25 #include "vm/scanner.h" | 26 #include "vm/scanner.h" |
26 #include "vm/timer.h" | 27 #include "vm/timer.h" |
27 | 28 |
28 namespace dart { | 29 namespace dart { |
29 | 30 |
30 DEFINE_FLAG(bool, disassemble, false, "Disassemble dart code."); | 31 DEFINE_FLAG(bool, disassemble, false, "Disassemble dart code."); |
31 DEFINE_FLAG(bool, trace_compiler, false, "Trace compiler operations."); | 32 DEFINE_FLAG(bool, trace_compiler, false, "Trace compiler operations."); |
32 DEFINE_FLAG(int, deoptimization_counter_threshold, 5, | 33 DEFINE_FLAG(int, deoptimization_counter_threshold, 5, |
33 "How many times we allow deoptimization before we disallow" | 34 "How many times we allow deoptimization before we disallow" |
34 " certain optimizations"); | 35 " certain optimizations"); |
35 DEFINE_FLAG(bool, use_new_compiler, true, "Use the new compiler backend."); | 36 DEFINE_FLAG(bool, use_new_compiler, true, "Use the new compiler backend."); |
36 DEFINE_FLAG(bool, trace_bailout, false, "Print bailout from new compiler."); | 37 DEFINE_FLAG(bool, trace_bailout, false, "Print bailout from new compiler."); |
| 38 DECLARE_FLAG(bool, use_ssa); |
37 | 39 |
38 | 40 |
39 // Compile a function. Should call only if the function has not been compiled. | 41 // Compile a function. Should call only if the function has not been compiled. |
40 // Arg0: function object. | 42 // Arg0: function object. |
41 DEFINE_RUNTIME_ENTRY(CompileFunction, 1) { | 43 DEFINE_RUNTIME_ENTRY(CompileFunction, 1) { |
42 ASSERT(arguments.Count() == kCompileFunctionRuntimeEntry.argument_count()); | 44 ASSERT(arguments.Count() == kCompileFunctionRuntimeEntry.argument_count()); |
43 const Function& function = Function::CheckedHandle(arguments.At(0)); | 45 const Function& function = Function::CheckedHandle(arguments.At(0)); |
44 ASSERT(!function.HasCode()); | 46 ASSERT(!function.HasCode()); |
45 const Error& error = Error::Handle(Compiler::CompileFunction(function)); | 47 const Error& error = Error::Handle(Compiler::CompileFunction(function)); |
46 if (!error.IsNull()) { | 48 if (!error.IsNull()) { |
(...skipping 139 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
186 // The non-optimizing compiler compiles blocks in reverse postorder, | 188 // The non-optimizing compiler compiles blocks in reverse postorder, |
187 // because it is a 'natural' order for the human reader of the | 189 // because it is a 'natural' order for the human reader of the |
188 // generated code. | 190 // generated code. |
189 intptr_t length = graph_builder.postorder_block_entries().length(); | 191 intptr_t length = graph_builder.postorder_block_entries().length(); |
190 for (intptr_t i = length - 1; i >= 0; --i) { | 192 for (intptr_t i = length - 1; i >= 0; --i) { |
191 block_order.Add(graph_builder.postorder_block_entries()[i]); | 193 block_order.Add(graph_builder.postorder_block_entries()[i]); |
192 } | 194 } |
193 if (optimized) { | 195 if (optimized) { |
194 FlowGraphOptimizer optimizer(block_order); | 196 FlowGraphOptimizer optimizer(block_order); |
195 optimizer.ApplyICData(); | 197 optimizer.ApplyICData(); |
| 198 |
| 199 if (FLAG_use_ssa) { |
| 200 // Perform register allocation on the SSA graph. |
| 201 FlowGraphAllocator allocator(block_order); |
| 202 allocator.ResolveConstraints(); |
| 203 |
| 204 // Temporary bailout until we support code generation from SSA form. |
| 205 graph_builder.Bailout("No SSA code generation support."); |
| 206 } |
196 } | 207 } |
197 } | 208 } |
198 | 209 |
199 Assembler assembler; | 210 Assembler assembler; |
200 FlowGraphCompiler graph_compiler(&assembler, parsed_function, | 211 FlowGraphCompiler graph_compiler(&assembler, parsed_function, |
201 block_order, optimized); | 212 block_order, optimized); |
202 { | 213 { |
203 TimerScope timer(FLAG_compiler_stats, | 214 TimerScope timer(FLAG_compiler_stats, |
204 &CompilerStats::graphcompiler_timer, | 215 &CompilerStats::graphcompiler_timer, |
205 isolate); | 216 isolate); |
(...skipping 362 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
568 isolate->object_store()->clear_sticky_error(); | 579 isolate->object_store()->clear_sticky_error(); |
569 isolate->set_long_jump_base(base); | 580 isolate->set_long_jump_base(base); |
570 return result.raw(); | 581 return result.raw(); |
571 } | 582 } |
572 UNREACHABLE(); | 583 UNREACHABLE(); |
573 return Object::null(); | 584 return Object::null(); |
574 } | 585 } |
575 | 586 |
576 | 587 |
577 } // namespace dart | 588 } // namespace dart |
OLD | NEW |