| /* |
| * Copyright (C) 2014 The Android Open Source Project |
| * |
| * Licensed under the Apache License, Version 2.0 (the "License"); |
| * you may not use this file except in compliance with the License. |
| * You may obtain a copy of the License at |
| * |
| * http://www.apache.org/licenses/LICENSE-2.0 |
| * |
| * Unless required by applicable law or agreed to in writing, software |
| * distributed under the License is distributed on an "AS IS" BASIS, |
| * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. |
| * See the License for the specific language governing permissions and |
| * limitations under the License. |
| */ |
| |
| #include "builder.h" |
| |
| #include "art_field-inl.h" |
| #include "base/arena_bit_vector.h" |
| #include "base/bit_vector-inl.h" |
| #include "base/logging.h" |
| #include "block_builder.h" |
| #include "code_generator.h" |
| #include "data_type-inl.h" |
| #include "dex/verified_method.h" |
| #include "driver/compiler_options.h" |
| #include "driver/dex_compilation_unit.h" |
| #include "instruction_builder.h" |
| #include "mirror/class_loader.h" |
| #include "mirror/dex_cache.h" |
| #include "nodes.h" |
| #include "optimizing_compiler_stats.h" |
| #include "ssa_builder.h" |
| #include "thread.h" |
| #include "utils/dex_cache_arrays_layout-inl.h" |
| |
| namespace art { |
| |
| HGraphBuilder::HGraphBuilder(HGraph* graph, |
| const CodeItemDebugInfoAccessor& accessor, |
| const DexCompilationUnit* dex_compilation_unit, |
| const DexCompilationUnit* outer_compilation_unit, |
| CodeGenerator* code_generator, |
| OptimizingCompilerStats* compiler_stats, |
| ArrayRef<const uint8_t> interpreter_metadata) |
| : graph_(graph), |
| dex_file_(&graph->GetDexFile()), |
| code_item_accessor_(accessor), |
| dex_compilation_unit_(dex_compilation_unit), |
| outer_compilation_unit_(outer_compilation_unit), |
| code_generator_(code_generator), |
| compilation_stats_(compiler_stats), |
| interpreter_metadata_(interpreter_metadata), |
| return_type_(DataType::FromShorty(dex_compilation_unit_->GetShorty()[0])) {} |
| |
| HGraphBuilder::HGraphBuilder(HGraph* graph, |
| const DexCompilationUnit* dex_compilation_unit, |
| const CodeItemDebugInfoAccessor& accessor, |
| DataType::Type return_type) |
| : graph_(graph), |
| dex_file_(&graph->GetDexFile()), |
| code_item_accessor_(accessor), |
| dex_compilation_unit_(dex_compilation_unit), |
| outer_compilation_unit_(nullptr), |
| code_generator_(nullptr), |
| compilation_stats_(nullptr), |
| return_type_(return_type) {} |
| |
| bool HGraphBuilder::SkipCompilation(size_t number_of_branches) { |
| if (code_generator_ == nullptr) { |
| // Note that the codegen is null when unit testing. |
| return false; |
| } |
| |
| const CompilerOptions& compiler_options = code_generator_->GetCompilerOptions(); |
| CompilerFilter::Filter compiler_filter = compiler_options.GetCompilerFilter(); |
| if (compiler_filter == CompilerFilter::kEverything) { |
| return false; |
| } |
| |
| const uint32_t code_units = code_item_accessor_.InsnsSizeInCodeUnits(); |
| if (compiler_options.IsHugeMethod(code_units)) { |
| VLOG(compiler) << "Skip compilation of huge method " |
| << dex_file_->PrettyMethod(dex_compilation_unit_->GetDexMethodIndex()) |
| << ": " << code_units << " code units"; |
| MaybeRecordStat(compilation_stats_, MethodCompilationStat::kNotCompiledHugeMethod); |
| return true; |
| } |
| |
| // If it's large and contains no branches, it's likely to be machine generated initialization. |
| if (compiler_options.IsLargeMethod(code_units) && (number_of_branches == 0)) { |
| VLOG(compiler) << "Skip compilation of large method with no branch " |
| << dex_file_->PrettyMethod(dex_compilation_unit_->GetDexMethodIndex()) |
| << ": " << code_units << " code units"; |
| MaybeRecordStat(compilation_stats_, MethodCompilationStat::kNotCompiledLargeMethodNoBranches); |
| return true; |
| } |
| |
| return false; |
| } |
| |
| GraphAnalysisResult HGraphBuilder::BuildGraph() { |
| DCHECK(code_item_accessor_.HasCodeItem()); |
| DCHECK(graph_->GetBlocks().empty()); |
| |
| graph_->SetNumberOfVRegs(code_item_accessor_.RegistersSize()); |
| graph_->SetNumberOfInVRegs(code_item_accessor_.InsSize()); |
| graph_->SetMaximumNumberOfOutVRegs(code_item_accessor_.OutsSize()); |
| graph_->SetHasTryCatch(code_item_accessor_.TriesSize() != 0); |
| |
| // Use ScopedArenaAllocator for all local allocations. |
| ScopedArenaAllocator local_allocator(graph_->GetArenaStack()); |
| HBasicBlockBuilder block_builder(graph_, dex_file_, code_item_accessor_, &local_allocator); |
| SsaBuilder ssa_builder(graph_, |
| dex_compilation_unit_->GetClassLoader(), |
| dex_compilation_unit_->GetDexCache(), |
| &local_allocator); |
| HInstructionBuilder instruction_builder(graph_, |
| &block_builder, |
| &ssa_builder, |
| dex_file_, |
| code_item_accessor_, |
| return_type_, |
| dex_compilation_unit_, |
| outer_compilation_unit_, |
| code_generator_, |
| interpreter_metadata_, |
| compilation_stats_, |
| &local_allocator); |
| |
| // 1) Create basic blocks and link them together. Basic blocks are left |
| // unpopulated with the exception of synthetic blocks, e.g. HTryBoundaries. |
| if (!block_builder.Build()) { |
| return kAnalysisInvalidBytecode; |
| } |
| |
| // 2) Decide whether to skip this method based on its code size and number |
| // of branches. |
| if (SkipCompilation(block_builder.GetNumberOfBranches())) { |
| return kAnalysisSkipped; |
| } |
| |
| // 3) Build the dominator tree and fill in loop and try/catch metadata. |
| GraphAnalysisResult result = graph_->BuildDominatorTree(); |
| if (result != kAnalysisSuccess) { |
| return result; |
| } |
| |
| // 4) Populate basic blocks with instructions. |
| if (!instruction_builder.Build()) { |
| return kAnalysisInvalidBytecode; |
| } |
| |
| // 5) Type the graph and eliminate dead/redundant phis. |
| return ssa_builder.BuildSsa(); |
| } |
| |
| void HGraphBuilder::BuildIntrinsicGraph(ArtMethod* method) { |
| DCHECK(!code_item_accessor_.HasCodeItem()); |
| DCHECK(graph_->GetBlocks().empty()); |
| |
| // Determine the number of arguments and associated vregs. |
| uint32_t method_idx = dex_compilation_unit_->GetDexMethodIndex(); |
| const char* shorty = dex_file_->GetMethodShorty(dex_file_->GetMethodId(method_idx)); |
| size_t num_args = strlen(shorty + 1); |
| size_t num_wide_args = std::count(shorty + 1, shorty + 1 + num_args, 'J') + |
| std::count(shorty + 1, shorty + 1 + num_args, 'D'); |
| size_t num_arg_vregs = num_args + num_wide_args + (dex_compilation_unit_->IsStatic() ? 0u : 1u); |
| |
| // For simplicity, reserve 2 vregs (the maximum) for return value regardless of the return type. |
| size_t return_vregs = 2u; |
| graph_->SetNumberOfVRegs(return_vregs + num_arg_vregs); |
| graph_->SetNumberOfInVRegs(num_arg_vregs); |
| graph_->SetMaximumNumberOfOutVRegs(num_arg_vregs); |
| graph_->SetHasTryCatch(false); |
| |
| // Use ScopedArenaAllocator for all local allocations. |
| ScopedArenaAllocator local_allocator(graph_->GetArenaStack()); |
| HBasicBlockBuilder block_builder(graph_, |
| dex_file_, |
| CodeItemDebugInfoAccessor(), |
| &local_allocator); |
| SsaBuilder ssa_builder(graph_, |
| dex_compilation_unit_->GetClassLoader(), |
| dex_compilation_unit_->GetDexCache(), |
| &local_allocator); |
| HInstructionBuilder instruction_builder(graph_, |
| &block_builder, |
| &ssa_builder, |
| dex_file_, |
| CodeItemDebugInfoAccessor(), |
| return_type_, |
| dex_compilation_unit_, |
| outer_compilation_unit_, |
| code_generator_, |
| interpreter_metadata_, |
| compilation_stats_, |
| &local_allocator); |
| |
| // 1) Create basic blocks for the intrinsic and link them together. |
| block_builder.BuildIntrinsic(); |
| |
| // 2) Build the trivial dominator tree. |
| GraphAnalysisResult bdt_result = graph_->BuildDominatorTree(); |
| DCHECK_EQ(bdt_result, kAnalysisSuccess); |
| |
| // 3) Populate basic blocks with instructions for the intrinsic. |
| instruction_builder.BuildIntrinsic(method); |
| |
| // 4) Type the graph (no dead/redundant phis to eliminate). |
| GraphAnalysisResult build_ssa_result = ssa_builder.BuildSsa(); |
| DCHECK_EQ(build_ssa_result, kAnalysisSuccess); |
| } |
| |
| } // namespace art |