1 /* 2 * Copyright (C) 2016 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 17 #ifndef ART_COMPILER_OPTIMIZING_BLOCK_BUILDER_H_ 18 #define ART_COMPILER_OPTIMIZING_BLOCK_BUILDER_H_ 19 20 #include "base/scoped_arena_allocator.h" 21 #include "base/scoped_arena_containers.h" 22 #include "dex/code_item_accessors.h" 23 #include "dex/dex_file.h" 24 #include "nodes.h" 25 26 namespace art { 27 28 class HBasicBlockBuilder : public ValueObject { 29 public: 30 HBasicBlockBuilder(HGraph* graph, 31 const DexFile* const dex_file, 32 const CodeItemDebugInfoAccessor& accessor, 33 ScopedArenaAllocator* local_allocator); 34 35 // Creates basic blocks in `graph_` at branch target dex_pc positions of the 36 // `code_item_`. Blocks are connected but left unpopulated with instructions. 37 // TryBoundary blocks are inserted at positions where control-flow enters/ 38 // exits a try block. 39 bool Build(); 40 41 // Creates basic blocks in `graph_` for compiling an intrinsic. 42 void BuildIntrinsic(); 43 GetNumberOfBranches()44 size_t GetNumberOfBranches() const { return number_of_branches_; } GetBlockAt(uint32_t dex_pc)45 HBasicBlock* GetBlockAt(uint32_t dex_pc) const { return branch_targets_[dex_pc]; } 46 47 size_t GetQuickenIndex(uint32_t dex_pc) const; 48 49 private: 50 // Creates a basic block starting at given `dex_pc`. 51 HBasicBlock* MaybeCreateBlockAt(uint32_t dex_pc); 52 53 // Creates a basic block for bytecode instructions at `semantic_dex_pc` and 54 // stores it under the `store_dex_pc` key. This is used when multiple blocks 55 // share the same semantic dex_pc, e.g. when building switch decision trees. 56 HBasicBlock* MaybeCreateBlockAt(uint32_t semantic_dex_pc, uint32_t store_dex_pc); 57 58 bool CreateBranchTargets(); 59 void ConnectBasicBlocks(); 60 void InsertTryBoundaryBlocks(); 61 62 // Helper method which decides whether `catch_block` may have live normal 63 // predecessors and thus whether a synthetic catch block needs to be created 64 // to avoid mixing normal and exceptional predecessors. 65 // Should only be called during InsertTryBoundaryBlocks on blocks at catch 66 // handler dex_pcs. 67 bool MightHaveLiveNormalPredecessors(HBasicBlock* catch_block); 68 69 ArenaAllocator* const allocator_; 70 HGraph* const graph_; 71 72 const DexFile* const dex_file_; 73 CodeItemDataAccessor code_item_accessor_; // null code item for intrinsic graph. 74 75 ScopedArenaAllocator* const local_allocator_; 76 ScopedArenaVector<HBasicBlock*> branch_targets_; 77 ScopedArenaVector<HBasicBlock*> throwing_blocks_; 78 size_t number_of_branches_; 79 80 // A table to quickly find the quicken index for the first instruction of a basic block. 81 ScopedArenaSafeMap<uint32_t, uint32_t> quicken_index_for_dex_pc_; 82 83 static constexpr size_t kDefaultNumberOfThrowingBlocks = 2u; 84 85 DISALLOW_COPY_AND_ASSIGN(HBasicBlockBuilder); 86 }; 87 88 } // namespace art 89 90 #endif // ART_COMPILER_OPTIMIZING_BLOCK_BUILDER_H_ 91