Nicolas Geoffray | 818f210 | 2014-02-18 16:43:35 +0000 | [diff] [blame] | 1 | /* |
Nicolas Geoffray | 818f210 | 2014-02-18 16:43:35 +0000 | [diff] [blame] | 2 | * Copyright (C) 2014 The Android Open Source Project |
| 3 | * |
| 4 | * Licensed under the Apache License, Version 2.0 (the "License"); |
| 5 | * you may not use this file except in compliance with the License. |
| 6 | * You may obtain a copy of the License at |
| 7 | * |
| 8 | * http://www.apache.org/licenses/LICENSE-2.0 |
| 9 | * |
| 10 | * Unless required by applicable law or agreed to in writing, software |
| 11 | * distributed under the License is distributed on an "AS IS" BASIS, |
| 12 | * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. |
| 13 | * See the License for the specific language governing permissions and |
| 14 | * limitations under the License. |
| 15 | */ |
| 16 | |
Nicolas Geoffray | e503832 | 2014-07-04 09:41:32 +0100 | [diff] [blame] | 17 | #include "builder.h" |
| 18 | |
Mathieu Chartier | c785344 | 2015-03-27 14:35:38 -0700 | [diff] [blame] | 19 | #include "art_field-inl.h" |
David Srbecky | 0cf4493 | 2015-12-09 14:09:59 +0000 | [diff] [blame] | 20 | #include "base/arena_bit_vector.h" |
| 21 | #include "base/bit_vector-inl.h" |
Andreas Gampe | d881df5 | 2014-11-24 23:28:39 -0800 | [diff] [blame] | 22 | #include "base/logging.h" |
Jeff Hao | 848f70a | 2014-01-15 13:49:50 -0800 | [diff] [blame] | 23 | #include "dex/verified_method.h" |
Vladimir Marko | 20f8559 | 2015-03-19 10:07:02 +0000 | [diff] [blame] | 24 | #include "driver/compiler_options.h" |
Nicolas Geoffray | e503832 | 2014-07-04 09:41:32 +0100 | [diff] [blame] | 25 | #include "mirror/class_loader.h" |
| 26 | #include "mirror/dex_cache.h" |
Nicolas Geoffray | 818f210 | 2014-02-18 16:43:35 +0000 | [diff] [blame] | 27 | #include "nodes.h" |
Nicolas Geoffray | 8ccc3f5 | 2014-03-19 10:34:11 +0000 | [diff] [blame] | 28 | #include "primitive.h" |
Nicolas Geoffray | e503832 | 2014-07-04 09:41:32 +0100 | [diff] [blame] | 29 | #include "thread.h" |
Vladimir Marko | 5815501 | 2015-08-19 12:49:41 +0000 | [diff] [blame] | 30 | #include "utils/dex_cache_arrays_layout-inl.h" |
Nicolas Geoffray | 818f210 | 2014-02-18 16:43:35 +0000 | [diff] [blame] | 31 | |
| 32 | namespace art { |
| 33 | |
Calin Juravle | 48c2b03 | 2014-12-09 18:11:36 +0000 | [diff] [blame] | 34 | void HGraphBuilder::MaybeRecordStat(MethodCompilationStat compilation_stat) { |
| 35 | if (compilation_stats_ != nullptr) { |
| 36 | compilation_stats_->RecordStat(compilation_stat); |
| 37 | } |
| 38 | } |
| 39 | |
David Brazdil | 86ea7ee | 2016-02-16 09:26:07 +0000 | [diff] [blame] | 40 | bool HGraphBuilder::SkipCompilation(size_t number_of_branches) { |
| 41 | if (compiler_driver_ == nullptr) { |
| 42 | // Note that the compiler driver is null when unit testing. |
| 43 | return false; |
| 44 | } |
| 45 | |
Calin Juravle | 48c2b03 | 2014-12-09 18:11:36 +0000 | [diff] [blame] | 46 | const CompilerOptions& compiler_options = compiler_driver_->GetCompilerOptions(); |
Andreas Gampe | 29d38e7 | 2016-03-23 15:31:51 +0000 | [diff] [blame] | 47 | CompilerFilter::Filter compiler_filter = compiler_options.GetCompilerFilter(); |
| 48 | if (compiler_filter == CompilerFilter::kEverything) { |
Nicolas Geoffray | 43a539f | 2014-12-02 10:19:51 +0000 | [diff] [blame] | 49 | return false; |
| 50 | } |
| 51 | |
David Brazdil | 86ea7ee | 2016-02-16 09:26:07 +0000 | [diff] [blame] | 52 | if (compiler_options.IsHugeMethod(code_item_.insns_size_in_code_units_)) { |
Calin Juravle | 48c2b03 | 2014-12-09 18:11:36 +0000 | [diff] [blame] | 53 | VLOG(compiler) << "Skip compilation of huge method " |
David Sehr | 709b070 | 2016-10-13 09:12:37 -0700 | [diff] [blame] | 54 | << dex_file_->PrettyMethod(dex_compilation_unit_->GetDexMethodIndex()) |
David Brazdil | 86ea7ee | 2016-02-16 09:26:07 +0000 | [diff] [blame] | 55 | << ": " << code_item_.insns_size_in_code_units_ << " code units"; |
Calin Juravle | 48c2b03 | 2014-12-09 18:11:36 +0000 | [diff] [blame] | 56 | MaybeRecordStat(MethodCompilationStat::kNotCompiledHugeMethod); |
Nicolas Geoffray | 43a539f | 2014-12-02 10:19:51 +0000 | [diff] [blame] | 57 | return true; |
| 58 | } |
| 59 | |
| 60 | // If it's large and contains no branches, it's likely to be machine generated initialization. |
David Brazdil | 86ea7ee | 2016-02-16 09:26:07 +0000 | [diff] [blame] | 61 | if (compiler_options.IsLargeMethod(code_item_.insns_size_in_code_units_) |
David Brazdil | 1b49872 | 2015-03-31 11:37:18 +0100 | [diff] [blame] | 62 | && (number_of_branches == 0)) { |
Calin Juravle | 48c2b03 | 2014-12-09 18:11:36 +0000 | [diff] [blame] | 63 | VLOG(compiler) << "Skip compilation of large method with no branch " |
David Sehr | 709b070 | 2016-10-13 09:12:37 -0700 | [diff] [blame] | 64 | << dex_file_->PrettyMethod(dex_compilation_unit_->GetDexMethodIndex()) |
David Brazdil | 86ea7ee | 2016-02-16 09:26:07 +0000 | [diff] [blame] | 65 | << ": " << code_item_.insns_size_in_code_units_ << " code units"; |
Calin Juravle | 48c2b03 | 2014-12-09 18:11:36 +0000 | [diff] [blame] | 66 | MaybeRecordStat(MethodCompilationStat::kNotCompiledLargeMethodNoBranches); |
Nicolas Geoffray | 43a539f | 2014-12-02 10:19:51 +0000 | [diff] [blame] | 67 | return true; |
| 68 | } |
| 69 | |
| 70 | return false; |
| 71 | } |
| 72 | |
David Brazdil | dee58d6 | 2016-04-07 09:54:26 +0000 | [diff] [blame] | 73 | GraphAnalysisResult HGraphBuilder::BuildGraph() { |
David Brazdil | 6032891 | 2016-04-04 17:47:42 +0000 | [diff] [blame] | 74 | DCHECK(graph_->GetBlocks().empty()); |
David Brazdil | dee58d6 | 2016-04-07 09:54:26 +0000 | [diff] [blame] | 75 | |
| 76 | graph_->SetNumberOfVRegs(code_item_.registers_size_); |
| 77 | graph_->SetNumberOfInVRegs(code_item_.ins_size_); |
David Brazdil | 86ea7ee | 2016-02-16 09:26:07 +0000 | [diff] [blame] | 78 | graph_->SetMaximumNumberOfOutVRegs(code_item_.outs_size_); |
| 79 | graph_->SetHasTryCatch(code_item_.tries_size_ != 0); |
David Brazdil | 86ea7ee | 2016-02-16 09:26:07 +0000 | [diff] [blame] | 80 | |
| 81 | // 1) Create basic blocks and link them together. Basic blocks are left |
| 82 | // unpopulated with the exception of synthetic blocks, e.g. HTryBoundaries. |
| 83 | if (!block_builder_.Build()) { |
| 84 | return kAnalysisInvalidBytecode; |
| 85 | } |
| 86 | |
| 87 | // 2) Decide whether to skip this method based on its code size and number |
| 88 | // of branches. |
| 89 | if (SkipCompilation(block_builder_.GetNumberOfBranches())) { |
| 90 | return kAnalysisSkipped; |
| 91 | } |
| 92 | |
| 93 | // 3) Build the dominator tree and fill in loop and try/catch metadata. |
David Brazdil | badd826 | 2016-02-02 16:28:56 +0000 | [diff] [blame] | 94 | GraphAnalysisResult result = graph_->BuildDominatorTree(); |
| 95 | if (result != kAnalysisSuccess) { |
| 96 | return result; |
| 97 | } |
| 98 | |
David Brazdil | 86ea7ee | 2016-02-16 09:26:07 +0000 | [diff] [blame] | 99 | // 4) Populate basic blocks with instructions. |
David Brazdil | dee58d6 | 2016-04-07 09:54:26 +0000 | [diff] [blame] | 100 | if (!instruction_builder_.Build()) { |
David Brazdil | 86ea7ee | 2016-02-16 09:26:07 +0000 | [diff] [blame] | 101 | return kAnalysisInvalidBytecode; |
Nicolas Geoffray | bab4ed7 | 2014-03-11 17:53:17 +0000 | [diff] [blame] | 102 | } |
Nicolas Geoffray | be9a92a | 2014-02-25 14:22:56 +0000 | [diff] [blame] | 103 | |
David Brazdil | 86ea7ee | 2016-02-16 09:26:07 +0000 | [diff] [blame] | 104 | // 5) Type the graph and eliminate dead/redundant phis. |
David Brazdil | dee58d6 | 2016-04-07 09:54:26 +0000 | [diff] [blame] | 105 | return ssa_builder_.BuildSsa(); |
Nicolas Geoffray | 3ff386a | 2014-03-04 14:46:47 +0000 | [diff] [blame] | 106 | } |
| 107 | |
Nicolas Geoffray | 818f210 | 2014-02-18 16:43:35 +0000 | [diff] [blame] | 108 | } // namespace art |