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 | 8 |
9 #include "vm/ast_printer.h" | 9 #include "vm/ast_printer.h" |
10 #include "vm/block_scheduler.h" | 10 #include "vm/block_scheduler.h" |
11 #include "vm/branch_optimizer.h" | 11 #include "vm/branch_optimizer.h" |
12 #include "vm/cha.h" | 12 #include "vm/cha.h" |
13 #include "vm/code_generator.h" | 13 #include "vm/code_generator.h" |
14 #include "vm/code_patcher.h" | 14 #include "vm/code_patcher.h" |
15 #include "vm/constant_propagator.h" | 15 #include "vm/constant_propagator.h" |
16 #include "vm/dart_entry.h" | 16 #include "vm/dart_entry.h" |
17 #include "vm/debugger.h" | 17 #include "vm/debugger.h" |
18 #include "vm/deopt_instructions.h" | 18 #include "vm/deopt_instructions.h" |
19 #include "vm/disassembler.h" | 19 #include "vm/disassembler.h" |
20 #include "vm/exceptions.h" | 20 #include "vm/exceptions.h" |
21 #include "vm/flags.h" | 21 #include "vm/flags.h" |
22 #include "vm/flow_graph.h" | 22 #include "vm/flow_graph.h" |
23 #include "vm/flow_graph_allocator.h" | 23 #include "vm/flow_graph_allocator.h" |
24 #include "vm/flow_graph_builder.h" | 24 #include "vm/flow_graph_builder.h" |
25 #include "vm/flow_graph_compiler.h" | 25 #include "vm/flow_graph_compiler.h" |
26 #include "vm/flow_graph_inliner.h" | 26 #include "vm/flow_graph_inliner.h" |
27 #include "vm/flow_graph_optimizer.h" | 27 #include "vm/flow_graph_optimizer.h" |
| 28 #include "vm/flow_graph_range_analysis.h" |
28 #include "vm/flow_graph_type_propagator.h" | 29 #include "vm/flow_graph_type_propagator.h" |
29 #include "vm/il_printer.h" | 30 #include "vm/il_printer.h" |
30 #include "vm/longjump.h" | 31 #include "vm/longjump.h" |
31 #include "vm/object.h" | 32 #include "vm/object.h" |
32 #include "vm/object_store.h" | 33 #include "vm/object_store.h" |
33 #include "vm/os.h" | 34 #include "vm/os.h" |
34 #include "vm/parser.h" | 35 #include "vm/parser.h" |
35 #include "vm/precompiler.h" | 36 #include "vm/precompiler.h" |
36 #include "vm/redundancy_elimination.h" | 37 #include "vm/redundancy_elimination.h" |
37 #include "vm/regexp_parser.h" | 38 #include "vm/regexp_parser.h" |
(...skipping 840 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
878 "RangeAnalysis"); | 879 "RangeAnalysis"); |
879 #endif // !PRODUCT | 880 #endif // !PRODUCT |
880 // Propagate types after store-load-forwarding. Some phis may have | 881 // Propagate types after store-load-forwarding. Some phis may have |
881 // become smi phis that can be processed by range analysis. | 882 // become smi phis that can be processed by range analysis. |
882 FlowGraphTypePropagator::Propagate(flow_graph); | 883 FlowGraphTypePropagator::Propagate(flow_graph); |
883 DEBUG_ASSERT(flow_graph->VerifyUseLists()); | 884 DEBUG_ASSERT(flow_graph->VerifyUseLists()); |
884 | 885 |
885 // We have to perform range analysis after LICM because it | 886 // We have to perform range analysis after LICM because it |
886 // optimistically moves CheckSmi through phis into loop preheaders | 887 // optimistically moves CheckSmi through phis into loop preheaders |
887 // making some phis smi. | 888 // making some phis smi. |
888 optimizer.InferIntRanges(); | 889 RangeAnalysis range_analysis(flow_graph); |
| 890 range_analysis.Analyze(); |
889 DEBUG_ASSERT(flow_graph->VerifyUseLists()); | 891 DEBUG_ASSERT(flow_graph->VerifyUseLists()); |
890 } | 892 } |
891 | 893 |
892 if (FLAG_constant_propagation) { | 894 if (FLAG_constant_propagation) { |
893 #ifndef PRODUCT | 895 #ifndef PRODUCT |
894 TimelineDurationScope tds2(thread(), | 896 TimelineDurationScope tds2(thread(), |
895 compiler_timeline, | 897 compiler_timeline, |
896 "ConstantPropagator::OptimizeBranches"); | 898 "ConstantPropagator::OptimizeBranches"); |
897 #endif // !PRODUCT | 899 #endif // !PRODUCT |
898 // Constant propagation can use information from range analysis to | 900 // Constant propagation can use information from range analysis to |
(...skipping 983 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
1882 } | 1884 } |
1883 | 1885 |
1884 | 1886 |
1885 void BackgroundCompiler::EnsureInit(Thread* thread) { | 1887 void BackgroundCompiler::EnsureInit(Thread* thread) { |
1886 UNREACHABLE(); | 1888 UNREACHABLE(); |
1887 } | 1889 } |
1888 | 1890 |
1889 #endif // DART_PRECOMPILED_RUNTIME | 1891 #endif // DART_PRECOMPILED_RUNTIME |
1890 | 1892 |
1891 } // namespace dart | 1893 } // namespace dart |
OLD | NEW |