| 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/jit/compiler.h" | 5 #include "vm/compiler/jit/compiler.h" |
| 6 | 6 |
| 7 #include "vm/compiler/assembler/assembler.h" | 7 #include "vm/compiler/assembler/assembler.h" |
| 8 | 8 |
| 9 #include "vm/ast_printer.h" | 9 #include "vm/ast_printer.h" |
| 10 #include "vm/code_patcher.h" | 10 #include "vm/code_patcher.h" |
| (...skipping 881 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 892 } | 892 } |
| 893 DEBUG_ASSERT(flow_graph->VerifyUseLists()); | 893 DEBUG_ASSERT(flow_graph->VerifyUseLists()); |
| 894 | 894 |
| 895 // Optimize (a << b) & c patterns, merge operations. | 895 // Optimize (a << b) & c patterns, merge operations. |
| 896 // Run early in order to have more opportunity to optimize left shifts. | 896 // Run early in order to have more opportunity to optimize left shifts. |
| 897 flow_graph->TryOptimizePatterns(); | 897 flow_graph->TryOptimizePatterns(); |
| 898 DEBUG_ASSERT(flow_graph->VerifyUseLists()); | 898 DEBUG_ASSERT(flow_graph->VerifyUseLists()); |
| 899 | 899 |
| 900 FlowGraphInliner::SetInliningId(flow_graph, 0); | 900 FlowGraphInliner::SetInliningId(flow_graph, 0); |
| 901 | 901 |
| 902 int inlining_depth = 0; |
| 903 |
| 902 // Inlining (mutates the flow graph) | 904 // Inlining (mutates the flow graph) |
| 903 if (FLAG_use_inlining) { | 905 if (FLAG_use_inlining) { |
| 904 NOT_IN_PRODUCT(TimelineDurationScope tds2(thread(), compiler_timeline, | 906 NOT_IN_PRODUCT(TimelineDurationScope tds2(thread(), compiler_timeline, |
| 905 "Inlining")); | 907 "Inlining")); |
| 906 CSTAT_TIMER_SCOPE(thread(), graphinliner_timer); | 908 CSTAT_TIMER_SCOPE(thread(), graphinliner_timer); |
| 907 // Propagate types to create more inlining opportunities. | 909 // Propagate types to create more inlining opportunities. |
| 908 FlowGraphTypePropagator::Propagate(flow_graph); | 910 FlowGraphTypePropagator::Propagate(flow_graph); |
| 909 DEBUG_ASSERT(flow_graph->VerifyUseLists()); | 911 DEBUG_ASSERT(flow_graph->VerifyUseLists()); |
| 910 | 912 |
| 911 // Use propagated class-ids to create more inlining opportunities. | 913 // Use propagated class-ids to create more inlining opportunities. |
| 912 call_specializer.ApplyClassIds(); | 914 call_specializer.ApplyClassIds(); |
| 913 DEBUG_ASSERT(flow_graph->VerifyUseLists()); | 915 DEBUG_ASSERT(flow_graph->VerifyUseLists()); |
| 914 | 916 |
| 915 FlowGraphInliner inliner(flow_graph, &inline_id_to_function, | 917 FlowGraphInliner inliner(flow_graph, &inline_id_to_function, |
| 916 &inline_id_to_token_pos, &caller_inline_id, | 918 &inline_id_to_token_pos, &caller_inline_id, |
| 917 use_speculative_inlining, | 919 use_speculative_inlining, |
| 918 /*inlining_black_list=*/NULL, | 920 /*inlining_black_list=*/NULL, |
| 919 /*precompiler=*/NULL); | 921 /*precompiler=*/NULL); |
| 920 inliner.Inline(); | 922 inlining_depth = inliner.Inline(); |
| 921 // Use lists are maintained and validated by the inliner. | 923 // Use lists are maintained and validated by the inliner. |
| 922 DEBUG_ASSERT(flow_graph->VerifyUseLists()); | 924 DEBUG_ASSERT(flow_graph->VerifyUseLists()); |
| 923 thread()->CheckForSafepoint(); | 925 thread()->CheckForSafepoint(); |
| 924 } | 926 } |
| 925 | 927 |
| 926 // Propagate types and eliminate more type tests. | 928 // Propagate types and eliminate more type tests. |
| 927 FlowGraphTypePropagator::Propagate(flow_graph); | 929 FlowGraphTypePropagator::Propagate(flow_graph); |
| 928 DEBUG_ASSERT(flow_graph->VerifyUseLists()); | 930 DEBUG_ASSERT(flow_graph->VerifyUseLists()); |
| 929 | 931 |
| 930 { | 932 { |
| (...skipping 214 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 1145 // Remove all MaterializeObject instructions inserted by allocation | 1147 // Remove all MaterializeObject instructions inserted by allocation |
| 1146 // sinking from the flow graph and let them float on the side | 1148 // sinking from the flow graph and let them float on the side |
| 1147 // referenced only from environments. Register allocator will consider | 1149 // referenced only from environments. Register allocator will consider |
| 1148 // them as part of a deoptimization environment. | 1150 // them as part of a deoptimization environment. |
| 1149 sinking->DetachMaterializations(); | 1151 sinking->DetachMaterializations(); |
| 1150 } | 1152 } |
| 1151 | 1153 |
| 1152 // Compute and store graph informations (call & instruction counts) | 1154 // Compute and store graph informations (call & instruction counts) |
| 1153 // to be later used by the inliner. | 1155 // to be later used by the inliner. |
| 1154 FlowGraphInliner::CollectGraphInfo(flow_graph, true); | 1156 FlowGraphInliner::CollectGraphInfo(flow_graph, true); |
| 1157 function.set_inlining_depth(inlining_depth); |
| 1155 | 1158 |
| 1156 flow_graph->RemoveRedefinitions(); | 1159 flow_graph->RemoveRedefinitions(); |
| 1157 { | 1160 { |
| 1158 NOT_IN_PRODUCT(TimelineDurationScope tds2(thread(), compiler_timeline, | 1161 NOT_IN_PRODUCT(TimelineDurationScope tds2(thread(), compiler_timeline, |
| 1159 "AllocateRegisters")); | 1162 "AllocateRegisters")); |
| 1160 // Perform register allocation on the SSA graph. | 1163 // Perform register allocation on the SSA graph. |
| 1161 FlowGraphAllocator allocator(*flow_graph); | 1164 FlowGraphAllocator allocator(*flow_graph); |
| 1162 allocator.AllocateRegisters(); | 1165 allocator.AllocateRegisters(); |
| 1163 thread()->CheckForSafepoint(); | 1166 thread()->CheckForSafepoint(); |
| 1164 } | 1167 } |
| (...skipping 90 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 1255 thread()->set_deopt_id(prev_deopt_id); | 1258 thread()->set_deopt_id(prev_deopt_id); |
| 1256 } | 1259 } |
| 1257 return result->raw(); | 1260 return result->raw(); |
| 1258 } | 1261 } |
| 1259 | 1262 |
| 1260 static RawObject* CompileFunctionHelper(CompilationPipeline* pipeline, | 1263 static RawObject* CompileFunctionHelper(CompilationPipeline* pipeline, |
| 1261 const Function& function, | 1264 const Function& function, |
| 1262 bool optimized, | 1265 bool optimized, |
| 1263 intptr_t osr_id) { | 1266 intptr_t osr_id) { |
| 1264 ASSERT(!FLAG_precompiled_mode); | 1267 ASSERT(!FLAG_precompiled_mode); |
| 1265 ASSERT(!optimized || function.was_compiled()); | 1268 ASSERT(!optimized || function.WasCompiled()); |
| 1266 LongJumpScope jump; | 1269 LongJumpScope jump; |
| 1267 if (setjmp(*jump.Set()) == 0) { | 1270 if (setjmp(*jump.Set()) == 0) { |
| 1268 Thread* const thread = Thread::Current(); | 1271 Thread* const thread = Thread::Current(); |
| 1269 Isolate* const isolate = thread->isolate(); | 1272 Isolate* const isolate = thread->isolate(); |
| 1270 StackZone stack_zone(thread); | 1273 StackZone stack_zone(thread); |
| 1271 Zone* const zone = stack_zone.GetZone(); | 1274 Zone* const zone = stack_zone.GetZone(); |
| 1272 const bool trace_compiler = | 1275 const bool trace_compiler = |
| 1273 FLAG_trace_compiler || (FLAG_trace_optimizing_compiler && optimized); | 1276 FLAG_trace_compiler || (FLAG_trace_optimizing_compiler && optimized); |
| 1274 Timer per_compile_timer(trace_compiler, "Compilation time"); | 1277 Timer per_compile_timer(trace_compiler, "Compilation time"); |
| 1275 per_compile_timer.Start(); | 1278 per_compile_timer.Start(); |
| (...skipping 36 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 1312 // changed while compiling. | 1315 // changed while compiling. |
| 1313 Compiler::AbortBackgroundCompilation( | 1316 Compiler::AbortBackgroundCompilation( |
| 1314 Thread::kNoDeoptId, | 1317 Thread::kNoDeoptId, |
| 1315 "Invalidated state during parsing because of script loading"); | 1318 "Invalidated state during parsing because of script loading"); |
| 1316 } | 1319 } |
| 1317 } | 1320 } |
| 1318 | 1321 |
| 1319 const Code& result = Code::Handle(helper.Compile(pipeline)); | 1322 const Code& result = Code::Handle(helper.Compile(pipeline)); |
| 1320 if (!result.IsNull()) { | 1323 if (!result.IsNull()) { |
| 1321 if (!optimized) { | 1324 if (!optimized) { |
| 1322 function.set_was_compiled(true); | 1325 function.SetWasCompiled(true); |
| 1323 } | 1326 } |
| 1324 } else { | 1327 } else { |
| 1325 if (optimized) { | 1328 if (optimized) { |
| 1326 if (Compiler::IsBackgroundCompilation()) { | 1329 if (Compiler::IsBackgroundCompilation()) { |
| 1327 // Try again later, background compilation may abort because of | 1330 // Try again later, background compilation may abort because of |
| 1328 // state change during compilation. | 1331 // state change during compilation. |
| 1329 if (FLAG_trace_compiler) { | 1332 if (FLAG_trace_compiler) { |
| 1330 THR_Print("Aborted background compilation: %s\n", | 1333 THR_Print("Aborted background compilation: %s\n", |
| 1331 function.ToFullyQualifiedCString()); | 1334 function.ToFullyQualifiedCString()); |
| 1332 } | 1335 } |
| (...skipping 87 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 1420 } | 1423 } |
| 1421 UNREACHABLE(); | 1424 UNREACHABLE(); |
| 1422 return Object::null(); | 1425 return Object::null(); |
| 1423 } | 1426 } |
| 1424 | 1427 |
| 1425 static RawError* ParseFunctionHelper(CompilationPipeline* pipeline, | 1428 static RawError* ParseFunctionHelper(CompilationPipeline* pipeline, |
| 1426 const Function& function, | 1429 const Function& function, |
| 1427 bool optimized, | 1430 bool optimized, |
| 1428 intptr_t osr_id) { | 1431 intptr_t osr_id) { |
| 1429 ASSERT(!FLAG_precompiled_mode); | 1432 ASSERT(!FLAG_precompiled_mode); |
| 1430 ASSERT(!optimized || function.was_compiled()); | 1433 ASSERT(!optimized || function.WasCompiled()); |
| 1431 LongJumpScope jump; | 1434 LongJumpScope jump; |
| 1432 if (setjmp(*jump.Set()) == 0) { | 1435 if (setjmp(*jump.Set()) == 0) { |
| 1433 Thread* const thread = Thread::Current(); | 1436 Thread* const thread = Thread::Current(); |
| 1434 StackZone stack_zone(thread); | 1437 StackZone stack_zone(thread); |
| 1435 Zone* const zone = stack_zone.GetZone(); | 1438 Zone* const zone = stack_zone.GetZone(); |
| 1436 const bool trace_compiler = | 1439 const bool trace_compiler = |
| 1437 FLAG_trace_compiler || (FLAG_trace_optimizing_compiler && optimized); | 1440 FLAG_trace_compiler || (FLAG_trace_optimizing_compiler && optimized); |
| 1438 | 1441 |
| 1439 if (trace_compiler) { | 1442 if (trace_compiler) { |
| 1440 const intptr_t token_size = | 1443 const intptr_t token_size = |
| (...skipping 880 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 2321 } | 2324 } |
| 2322 | 2325 |
| 2323 bool BackgroundCompiler::IsDisabled() { | 2326 bool BackgroundCompiler::IsDisabled() { |
| 2324 UNREACHABLE(); | 2327 UNREACHABLE(); |
| 2325 return true; | 2328 return true; |
| 2326 } | 2329 } |
| 2327 | 2330 |
| 2328 #endif // DART_PRECOMPILED_RUNTIME | 2331 #endif // DART_PRECOMPILED_RUNTIME |
| 2329 | 2332 |
| 2330 } // namespace dart | 2333 } // namespace dart |
| OLD | NEW |