| /* |
| * 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. |
| */ |
| |
| #ifndef ART_COMPILER_OPTIMIZING_OPTIMIZATION_H_ |
| #define ART_COMPILER_OPTIMIZING_OPTIMIZATION_H_ |
| |
| #include "base/arena_object.h" |
| #include "nodes.h" |
| #include "optimizing_compiler_stats.h" |
| |
| namespace art { |
| |
| class CodeGenerator; |
| class CompilerDriver; |
| class DexCompilationUnit; |
| |
| /** |
| * Abstraction to implement an optimization pass. |
| */ |
| class HOptimization : public ArenaObject<kArenaAllocOptimization> { |
| public: |
| HOptimization(HGraph* graph, |
| const char* pass_name, |
| OptimizingCompilerStats* stats = nullptr) |
| : graph_(graph), |
| stats_(stats), |
| pass_name_(pass_name) {} |
| |
| virtual ~HOptimization() {} |
| |
| // Return the name of the pass. Pass names for a single HOptimization should be of form |
| // <optimization_name> or <optimization_name>$<pass_name> for common <optimization_name> prefix. |
| // Example: 'instruction_simplifier', 'instruction_simplifier$after_bce', |
| // 'instruction_simplifier$before_codegen'. |
| const char* GetPassName() const { return pass_name_; } |
| |
| // Perform the pass or analysis. Returns false if no optimizations occurred or no useful |
| // information was computed (this is best effort, returning true is always ok). |
| virtual bool Run() = 0; |
| |
| protected: |
| HGraph* const graph_; |
| // Used to record stats about the optimization. |
| OptimizingCompilerStats* const stats_; |
| |
| private: |
| // Optimization pass name. |
| const char* pass_name_; |
| |
| DISALLOW_COPY_AND_ASSIGN(HOptimization); |
| }; |
| |
| // Optimization passes that can be constructed by the helper method below. An enum |
| // field is preferred over a string lookup at places where performance matters. |
| // TODO: generate this table and lookup methods below automatically? |
| enum class OptimizationPass { |
| kBoundsCheckElimination, |
| kCHAGuardOptimization, |
| kCodeSinking, |
| kConstantFolding, |
| kConstructorFenceRedundancyElimination, |
| kDeadCodeElimination, |
| kGlobalValueNumbering, |
| kInductionVarAnalysis, |
| kInliner, |
| kInstructionSimplifier, |
| kInvariantCodeMotion, |
| kLoadStoreAnalysis, |
| kLoadStoreElimination, |
| kLoopOptimization, |
| kScheduling, |
| kSelectGenerator, |
| kSideEffectsAnalysis, |
| #ifdef ART_ENABLE_CODEGEN_arm |
| kInstructionSimplifierArm, |
| #endif |
| #ifdef ART_ENABLE_CODEGEN_arm64 |
| kInstructionSimplifierArm64, |
| #endif |
| #ifdef ART_ENABLE_CODEGEN_mips |
| kPcRelativeFixupsMips, |
| kInstructionSimplifierMips, |
| #endif |
| #ifdef ART_ENABLE_CODEGEN_x86 |
| kPcRelativeFixupsX86, |
| kInstructionSimplifierX86, |
| #endif |
| #ifdef ART_ENABLE_CODEGEN_x86_64 |
| kInstructionSimplifierX86_64, |
| #endif |
| #if defined(ART_ENABLE_CODEGEN_x86) || defined(ART_ENABLE_CODEGEN_x86_64) |
| kX86MemoryOperandGeneration, |
| #endif |
| kNone, |
| kLast = kNone |
| }; |
| |
| // Lookup name of optimization pass. |
| const char* OptimizationPassName(OptimizationPass pass); |
| |
| // Lookup optimization pass by name. |
| OptimizationPass OptimizationPassByName(const std::string& pass_name); |
| |
| // Optimization definition consisting of an optimization pass |
| // an optional alternative name (nullptr denotes default), and |
| // an optional pass dependence (kNone denotes no dependence). |
| struct OptimizationDef { |
| OptimizationDef(OptimizationPass p, const char* pn, OptimizationPass d) |
| : pass(p), pass_name(pn), depends_on(d) {} |
| OptimizationPass pass; |
| const char* pass_name; |
| OptimizationPass depends_on; |
| }; |
| |
| // Helper method for optimization definition array entries. |
| inline OptimizationDef OptDef(OptimizationPass pass, |
| const char* pass_name = nullptr, |
| OptimizationPass depends_on = OptimizationPass::kNone) { |
| return OptimizationDef(pass, pass_name, depends_on); |
| } |
| |
| // Helper method to construct series of optimization passes. |
| // The array should consist of the requested optimizations |
| // and optional alternative names for repeated passes. |
| // Example: |
| // { OptPass(kConstantFolding), |
| // OptPass(Inliner), |
| // OptPass(kConstantFolding, "constant_folding$after_inlining") |
| // } |
| ArenaVector<HOptimization*> ConstructOptimizations( |
| const OptimizationDef definitions[], |
| size_t length, |
| ArenaAllocator* allocator, |
| HGraph* graph, |
| OptimizingCompilerStats* stats, |
| CodeGenerator* codegen, |
| CompilerDriver* driver, |
| const DexCompilationUnit& dex_compilation_unit, |
| VariableSizedHandleScope* handles); |
| |
| } // namespace art |
| |
| #endif // ART_COMPILER_OPTIMIZING_OPTIMIZATION_H_ |