buzbee | 67bf885 | 2011-08-17 17:51:35 -0700 | [diff] [blame] | 1 | /* |
| 2 | * Copyright (C) 2011 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 | |
buzbee | 395116c | 2013-02-27 14:30:25 -0800 | [diff] [blame] | 17 | #ifndef ART_SRC_COMPILER_DEX_COMPILER_UTILITY_H_ |
| 18 | #define ART_SRC_COMPILER_DEX_COMPILER_UTILITY_H_ |
buzbee | 67bf885 | 2011-08-17 17:51:35 -0700 | [diff] [blame] | 19 | |
buzbee | eaf09bc | 2012-11-15 14:51:41 -0800 | [diff] [blame] | 20 | #include <stdint.h> |
| 21 | #include <stddef.h> |
buzbee | 02031b1 | 2012-11-23 09:41:35 -0800 | [diff] [blame] | 22 | #include "compiler_enums.h" |
buzbee | 67bf885 | 2011-08-17 17:51:35 -0700 | [diff] [blame] | 23 | |
Elliott Hughes | 11d1b0c | 2012-01-23 16:57:47 -0800 | [diff] [blame] | 24 | namespace art { |
| 25 | |
buzbee | eaf09bc | 2012-11-15 14:51:41 -0800 | [diff] [blame] | 26 | struct CompilationUnit; |
| 27 | |
buzbee | 02031b1 | 2012-11-23 09:41:35 -0800 | [diff] [blame] | 28 | // Each arena page has some overhead, so take a few bytes off. |
buzbee | ba938cb | 2012-02-03 14:47:55 -0800 | [diff] [blame] | 29 | #define ARENA_DEFAULT_SIZE ((2 * 1024 * 1024) - 256) |
buzbee | 67bf885 | 2011-08-17 17:51:35 -0700 | [diff] [blame] | 30 | |
buzbee | 02031b1 | 2012-11-23 09:41:35 -0800 | [diff] [blame] | 31 | // Type of allocation for memory tuning. |
buzbee | fa57c47 | 2012-11-21 12:06:18 -0800 | [diff] [blame] | 32 | enum oat_alloc_kind { |
buzbee | eaf09bc | 2012-11-15 14:51:41 -0800 | [diff] [blame] | 33 | kAllocMisc, |
| 34 | kAllocBB, |
| 35 | kAllocLIR, |
| 36 | kAllocMIR, |
| 37 | kAllocDFInfo, |
| 38 | kAllocGrowableList, |
| 39 | kAllocGrowableBitMap, |
| 40 | kAllocDalvikToSSAMap, |
| 41 | kAllocDebugInfo, |
| 42 | kAllocSuccessor, |
| 43 | kAllocRegAlloc, |
| 44 | kAllocData, |
| 45 | kAllocPredecessors, |
| 46 | kNumAllocKinds |
| 47 | }; |
| 48 | |
buzbee | 02031b1 | 2012-11-23 09:41:35 -0800 | [diff] [blame] | 49 | // Type of growable list for memory tuning. |
buzbee | fa57c47 | 2012-11-21 12:06:18 -0800 | [diff] [blame] | 50 | enum oat_list_kind { |
buzbee | eaf09bc | 2012-11-15 14:51:41 -0800 | [diff] [blame] | 51 | kListMisc = 0, |
| 52 | kListBlockList, |
| 53 | kListSSAtoDalvikMap, |
| 54 | kListDfsOrder, |
| 55 | kListDfsPostOrder, |
| 56 | kListDomPostOrderTraversal, |
| 57 | kListThrowLaunchPads, |
| 58 | kListSuspendLaunchPads, |
| 59 | kListSwitchTables, |
| 60 | kListFillArrayData, |
| 61 | kListSuccessorBlocks, |
| 62 | kListPredecessors, |
| 63 | kNumListKinds |
| 64 | }; |
| 65 | |
buzbee | 02031b1 | 2012-11-23 09:41:35 -0800 | [diff] [blame] | 66 | // Type of growable bitmap for memory tuning. |
buzbee | fa57c47 | 2012-11-21 12:06:18 -0800 | [diff] [blame] | 67 | enum oat_bit_map_kind { |
buzbee | eaf09bc | 2012-11-15 14:51:41 -0800 | [diff] [blame] | 68 | kBitMapMisc = 0, |
| 69 | kBitMapUse, |
| 70 | kBitMapDef, |
| 71 | kBitMapLiveIn, |
| 72 | kBitMapBMatrix, |
| 73 | kBitMapDominators, |
| 74 | kBitMapIDominated, |
| 75 | kBitMapDomFrontier, |
| 76 | kBitMapPhi, |
| 77 | kBitMapTmpBlocks, |
| 78 | kBitMapInputBlocks, |
| 79 | kBitMapRegisterV, |
| 80 | kBitMapTempSSARegisterV, |
| 81 | kBitMapNullCheck, |
| 82 | kBitMapTmpBlockV, |
| 83 | kBitMapPredecessors, |
| 84 | kNumBitMapKinds |
| 85 | }; |
| 86 | |
buzbee | 67bf885 | 2011-08-17 17:51:35 -0700 | [diff] [blame] | 87 | |
buzbee | 02031b1 | 2012-11-23 09:41:35 -0800 | [diff] [blame] | 88 | // Uncomment to collect memory usage statistics. |
buzbee | 5abfa3e | 2012-01-31 17:01:43 -0800 | [diff] [blame] | 89 | //#define WITH_MEMSTATS |
| 90 | |
Elliott Hughes | 719ace4 | 2012-03-09 18:06:03 -0800 | [diff] [blame] | 91 | struct ArenaMemBlock { |
buzbee | fa57c47 | 2012-11-21 12:06:18 -0800 | [diff] [blame] | 92 | size_t block_size; |
| 93 | size_t bytes_allocated; |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 94 | ArenaMemBlock *next; |
| 95 | char ptr[0]; |
Elliott Hughes | 719ace4 | 2012-03-09 18:06:03 -0800 | [diff] [blame] | 96 | }; |
buzbee | 67bf885 | 2011-08-17 17:51:35 -0700 | [diff] [blame] | 97 | |
Elliott Hughes | 719ace4 | 2012-03-09 18:06:03 -0800 | [diff] [blame] | 98 | struct GrowableList { |
buzbee | fa57c47 | 2012-11-21 12:06:18 -0800 | [diff] [blame] | 99 | GrowableList() : num_allocated(0), num_used(0), elem_list(NULL) { |
Elliott Hughes | e52e49b | 2012-04-02 16:05:44 -0700 | [diff] [blame] | 100 | } |
| 101 | |
buzbee | fa57c47 | 2012-11-21 12:06:18 -0800 | [diff] [blame] | 102 | size_t num_allocated; |
| 103 | size_t num_used; |
| 104 | uintptr_t* elem_list; |
buzbee | 5abfa3e | 2012-01-31 17:01:43 -0800 | [diff] [blame] | 105 | #ifdef WITH_MEMSTATS |
buzbee | fa57c47 | 2012-11-21 12:06:18 -0800 | [diff] [blame] | 106 | oat_list_kind kind; |
buzbee | 5abfa3e | 2012-01-31 17:01:43 -0800 | [diff] [blame] | 107 | #endif |
Elliott Hughes | 719ace4 | 2012-03-09 18:06:03 -0800 | [diff] [blame] | 108 | }; |
buzbee | 67bf885 | 2011-08-17 17:51:35 -0700 | [diff] [blame] | 109 | |
Elliott Hughes | 719ace4 | 2012-03-09 18:06:03 -0800 | [diff] [blame] | 110 | struct GrowableListIterator { |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 111 | GrowableList* list; |
| 112 | size_t idx; |
| 113 | size_t size; |
Elliott Hughes | 719ace4 | 2012-03-09 18:06:03 -0800 | [diff] [blame] | 114 | }; |
buzbee | 67bf885 | 2011-08-17 17:51:35 -0700 | [diff] [blame] | 115 | |
| 116 | /* |
| 117 | * Expanding bitmap, used for tracking resources. Bits are numbered starting |
buzbee | 02031b1 | 2012-11-23 09:41:35 -0800 | [diff] [blame] | 118 | * from zero. All operations on a BitVector are unsynchronized. |
buzbee | 67bf885 | 2011-08-17 17:51:35 -0700 | [diff] [blame] | 119 | */ |
| 120 | struct ArenaBitVector { |
buzbee | 02031b1 | 2012-11-23 09:41:35 -0800 | [diff] [blame] | 121 | bool expandable; // expand bitmap if we run out? |
| 122 | uint32_t storage_size; // current size, in 32-bit words. |
buzbee | eaf09bc | 2012-11-15 14:51:41 -0800 | [diff] [blame] | 123 | uint32_t* storage; |
buzbee | 5abfa3e | 2012-01-31 17:01:43 -0800 | [diff] [blame] | 124 | #ifdef WITH_MEMSTATS |
buzbee | 02031b1 | 2012-11-23 09:41:35 -0800 | [diff] [blame] | 125 | oat_bit_map_kind kind; // for memory use tuning. |
buzbee | 5abfa3e | 2012-01-31 17:01:43 -0800 | [diff] [blame] | 126 | #endif |
buzbee | 67bf885 | 2011-08-17 17:51:35 -0700 | [diff] [blame] | 127 | }; |
| 128 | |
buzbee | 02031b1 | 2012-11-23 09:41:35 -0800 | [diff] [blame] | 129 | // Handy iterator to walk through the bit positions set to 1. |
buzbee | 67bf885 | 2011-08-17 17:51:35 -0700 | [diff] [blame] | 130 | struct ArenaBitVectorIterator { |
buzbee | fa57c47 | 2012-11-21 12:06:18 -0800 | [diff] [blame] | 131 | ArenaBitVector* p_bits; |
buzbee | eaf09bc | 2012-11-15 14:51:41 -0800 | [diff] [blame] | 132 | uint32_t idx; |
buzbee | fa57c47 | 2012-11-21 12:06:18 -0800 | [diff] [blame] | 133 | uint32_t bit_size; |
buzbee | 67bf885 | 2011-08-17 17:51:35 -0700 | [diff] [blame] | 134 | }; |
| 135 | |
buzbee | fa57c47 | 2012-11-21 12:06:18 -0800 | [diff] [blame] | 136 | #define GET_ELEM_N(LIST, TYPE, N) ((reinterpret_cast<TYPE*>(LIST->elem_list)[N])) |
buzbee | 67bf885 | 2011-08-17 17:51:35 -0700 | [diff] [blame] | 137 | |
| 138 | #define BLOCK_NAME_LEN 80 |
| 139 | |
buzbee | 02031b1 | 2012-11-23 09:41:35 -0800 | [diff] [blame] | 140 | // Forward declarations |
buzbee | 67bf885 | 2011-08-17 17:51:35 -0700 | [diff] [blame] | 141 | struct BasicBlock; |
| 142 | struct CompilationUnit; |
buzbee | 02031b1 | 2012-11-23 09:41:35 -0800 | [diff] [blame] | 143 | enum BBType; |
buzbee | 67bf885 | 2011-08-17 17:51:35 -0700 | [diff] [blame] | 144 | |
buzbee | 1fd3346 | 2013-03-25 13:40:45 -0700 | [diff] [blame^] | 145 | // Allocate the initial memory block for arena-based allocation. |
| 146 | bool HeapInit(CompilationUnit* cu); |
| 147 | void* NewMem(CompilationUnit* cu, size_t size, bool zero, oat_alloc_kind kind); |
| 148 | BasicBlock* NewMemBB(CompilationUnit* cu, BBType block_type, int block_id); |
| 149 | void ArenaReset(CompilationUnit *cu); |
buzbee | fa57c47 | 2012-11-21 12:06:18 -0800 | [diff] [blame] | 150 | void CompilerInitGrowableList(CompilationUnit* cu, GrowableList* g_list, |
buzbee | 02031b1 | 2012-11-23 09:41:35 -0800 | [diff] [blame] | 151 | size_t init_length, oat_list_kind kind = kListMisc); |
buzbee | 311ca16 | 2013-02-28 15:56:43 -0800 | [diff] [blame] | 152 | void ReallocGrowableList(CompilationUnit* cu, GrowableList* g_list, size_t new_length); |
buzbee | 02031b1 | 2012-11-23 09:41:35 -0800 | [diff] [blame] | 153 | void InsertGrowableList(CompilationUnit* cu, GrowableList* g_list, uintptr_t elem); |
buzbee | fa57c47 | 2012-11-21 12:06:18 -0800 | [diff] [blame] | 154 | void DeleteGrowableList(GrowableList* g_list, uintptr_t elem); |
buzbee | 02031b1 | 2012-11-23 09:41:35 -0800 | [diff] [blame] | 155 | void GrowableListIteratorInit(GrowableList* g_list, GrowableListIterator* iterator); |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame] | 156 | uintptr_t GrowableListIteratorNext(GrowableListIterator* iterator); |
buzbee | fa57c47 | 2012-11-21 12:06:18 -0800 | [diff] [blame] | 157 | uintptr_t GrowableListGetElement(const GrowableList* g_list, size_t idx); |
buzbee | 02031b1 | 2012-11-23 09:41:35 -0800 | [diff] [blame] | 158 | ArenaBitVector* AllocBitVector(CompilationUnit* cu, unsigned int start_bits, bool expandable, |
| 159 | oat_bit_map_kind = kBitMapMisc); |
| 160 | void BitVectorIteratorInit(ArenaBitVector* p_bits, ArenaBitVectorIterator* iterator); |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame] | 161 | int BitVectorIteratorNext(ArenaBitVectorIterator* iterator); |
buzbee | fa57c47 | 2012-11-21 12:06:18 -0800 | [diff] [blame] | 162 | bool SetBit(CompilationUnit *cu, ArenaBitVector* p_bits, unsigned int num); |
| 163 | bool ClearBit(ArenaBitVector* p_bits, unsigned int num); |
| 164 | void MarkAllBits(ArenaBitVector* p_bits, bool set); |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame] | 165 | void DebugBitVector(char* msg, const ArenaBitVector* bv, int length); |
buzbee | fa57c47 | 2012-11-21 12:06:18 -0800 | [diff] [blame] | 166 | bool IsBitSet(const ArenaBitVector* p_bits, unsigned int num); |
| 167 | void ClearAllBits(ArenaBitVector* p_bits); |
| 168 | void SetInitialBits(ArenaBitVector* p_bits, unsigned int num_bits); |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame] | 169 | void CopyBitVector(ArenaBitVector* dest, const ArenaBitVector* src); |
| 170 | bool IntersectBitVectors(ArenaBitVector* dest, const ArenaBitVector* src1, |
buzbee | 02031b1 | 2012-11-23 09:41:35 -0800 | [diff] [blame] | 171 | const ArenaBitVector* src2); |
| 172 | bool UnifyBitVetors(ArenaBitVector* dest, const ArenaBitVector* src1, const ArenaBitVector* src2); |
| 173 | bool CompareBitVectors(const ArenaBitVector* src1, const ArenaBitVector* src2); |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame] | 174 | bool TestBitVectors(const ArenaBitVector* src1, const ArenaBitVector* src2); |
buzbee | fa57c47 | 2012-11-21 12:06:18 -0800 | [diff] [blame] | 175 | int CountSetBits(const ArenaBitVector* p_bits); |
buzbee | 02031b1 | 2012-11-23 09:41:35 -0800 | [diff] [blame] | 176 | void DumpBlockBitVector(const GrowableList* blocks, char* msg, const ArenaBitVector* bv, |
| 177 | int length); |
buzbee | fa57c47 | 2012-11-21 12:06:18 -0800 | [diff] [blame] | 178 | void DumpMemStats(CompilationUnit* cu); |
buzbee | 1fd3346 | 2013-03-25 13:40:45 -0700 | [diff] [blame^] | 179 | |
buzbee | 311ca16 | 2013-02-28 15:56:43 -0800 | [diff] [blame] | 180 | void ReplaceSpecialChars(std::string& str); |
buzbee | 311ca16 | 2013-02-28 15:56:43 -0800 | [diff] [blame] | 181 | std::string GetSSAName(const CompilationUnit* cu, int ssa_reg); |
| 182 | std::string GetSSANameWithConst(const CompilationUnit* cu, int ssa_reg, bool singles_only); |
buzbee | 1fd3346 | 2013-03-25 13:40:45 -0700 | [diff] [blame^] | 183 | void GetBlockName(BasicBlock* bb, char* name); |
| 184 | const char* GetShortyFromTargetIdx(CompilationUnit*, int); |
buzbee | 67bf885 | 2011-08-17 17:51:35 -0700 | [diff] [blame] | 185 | |
Elliott Hughes | 11d1b0c | 2012-01-23 16:57:47 -0800 | [diff] [blame] | 186 | } // namespace art |
| 187 | |
buzbee | 395116c | 2013-02-27 14:30:25 -0800 | [diff] [blame] | 188 | #endif // ART_SRC_COMPILER_DEX_COMPILER_UTILITY_H_ |