Elliott Hughes | 2faa5f1 | 2012-01-30 14:42:07 -0800 | [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 | */ |
Brian Carlstrom | 3320cf4 | 2011-10-04 14:58:28 -0700 | [diff] [blame] | 16 | |
Mathieu Chartier | 193bad9 | 2013-08-29 18:46:00 -0700 | [diff] [blame] | 17 | #ifndef ART_COMPILER_COMPILED_METHOD_H_ |
| 18 | #define ART_COMPILER_COMPILED_METHOD_H_ |
Brian Carlstrom | 3320cf4 | 2011-10-04 14:58:28 -0700 | [diff] [blame] | 19 | |
Brian Carlstrom | 265091e | 2013-01-30 14:08:26 -0800 | [diff] [blame] | 20 | #include <string> |
Brian Carlstrom | 3320cf4 | 2011-10-04 14:58:28 -0700 | [diff] [blame] | 21 | #include <vector> |
| 22 | |
Elliott Hughes | 0f3c553 | 2012-03-30 14:51:51 -0700 | [diff] [blame] | 23 | #include "instruction_set.h" |
Brian Carlstrom | 3320cf4 | 2011-10-04 14:58:28 -0700 | [diff] [blame] | 24 | #include "utils.h" |
TDYa127 | eead4ac | 2012-06-03 07:15:25 -0700 | [diff] [blame] | 25 | #include "UniquePtr.h" |
Dave Allison | f9487c0 | 2014-04-08 23:08:12 +0000 | [diff] [blame^] | 26 | #include "final_relocations.h" |
Brian Carlstrom | 3320cf4 | 2011-10-04 14:58:28 -0700 | [diff] [blame] | 27 | |
Shih-wei Liao | d1fec81 | 2012-02-13 09:51:10 -0800 | [diff] [blame] | 28 | namespace llvm { |
| 29 | class Function; |
Ian Rogers | a182704 | 2013-04-18 16:36:43 -0700 | [diff] [blame] | 30 | } // namespace llvm |
Shih-wei Liao | d1fec81 | 2012-02-13 09:51:10 -0800 | [diff] [blame] | 31 | |
Brian Carlstrom | 3320cf4 | 2011-10-04 14:58:28 -0700 | [diff] [blame] | 32 | namespace art { |
| 33 | |
Mathieu Chartier | 193bad9 | 2013-08-29 18:46:00 -0700 | [diff] [blame] | 34 | class CompilerDriver; |
Dave Allison | f9487c0 | 2014-04-08 23:08:12 +0000 | [diff] [blame^] | 35 | class OatWriter; |
Mathieu Chartier | 193bad9 | 2013-08-29 18:46:00 -0700 | [diff] [blame] | 36 | |
Logan Chien | 598c513 | 2012-04-28 22:00:44 +0800 | [diff] [blame] | 37 | class CompiledCode { |
| 38 | public: |
Brian Carlstrom | 265091e | 2013-01-30 14:08:26 -0800 | [diff] [blame] | 39 | // For Quick to supply an code blob |
Mathieu Chartier | 193bad9 | 2013-08-29 18:46:00 -0700 | [diff] [blame] | 40 | CompiledCode(CompilerDriver* compiler_driver, InstructionSet instruction_set, |
Dave Allison | f9487c0 | 2014-04-08 23:08:12 +0000 | [diff] [blame^] | 41 | const std::vector<uint8_t>& quick_code, |
| 42 | const FinalRelocations* relocations); |
Logan Chien | 598c513 | 2012-04-28 22:00:44 +0800 | [diff] [blame] | 43 | |
Brian Carlstrom | 265091e | 2013-01-30 14:08:26 -0800 | [diff] [blame] | 44 | // For Portable to supply an ELF object |
Mathieu Chartier | 193bad9 | 2013-08-29 18:46:00 -0700 | [diff] [blame] | 45 | CompiledCode(CompilerDriver* compiler_driver, InstructionSet instruction_set, |
| 46 | const std::string& elf_object, const std::string &symbol); |
Logan Chien | 598c513 | 2012-04-28 22:00:44 +0800 | [diff] [blame] | 47 | |
Logan Chien | 598c513 | 2012-04-28 22:00:44 +0800 | [diff] [blame] | 48 | InstructionSet GetInstructionSet() const { |
| 49 | return instruction_set_; |
| 50 | } |
| 51 | |
Ian Rogers | ef7d42f | 2014-01-06 12:55:46 -0800 | [diff] [blame] | 52 | const std::vector<uint8_t>* GetPortableCode() const { |
| 53 | return portable_code_; |
Logan Chien | 598c513 | 2012-04-28 22:00:44 +0800 | [diff] [blame] | 54 | } |
| 55 | |
Ian Rogers | ef7d42f | 2014-01-06 12:55:46 -0800 | [diff] [blame] | 56 | const std::vector<uint8_t>* GetQuickCode() const { |
| 57 | return quick_code_; |
Logan Chien | 598c513 | 2012-04-28 22:00:44 +0800 | [diff] [blame] | 58 | } |
| 59 | |
Ian Rogers | ef7d42f | 2014-01-06 12:55:46 -0800 | [diff] [blame] | 60 | void SetCode(const std::vector<uint8_t>* quick_code, const std::vector<uint8_t>* portable_code); |
| 61 | |
| 62 | bool operator==(const CompiledCode& rhs) const; |
| 63 | |
Logan Chien | 598c513 | 2012-04-28 22:00:44 +0800 | [diff] [blame] | 64 | // To align an offset from a page-aligned value to make it suitable |
| 65 | // for code storage. For example on ARM, to ensure that PC relative |
| 66 | // valu computations work out as expected. |
| 67 | uint32_t AlignCode(uint32_t offset) const; |
| 68 | static uint32_t AlignCode(uint32_t offset, InstructionSet instruction_set); |
| 69 | |
| 70 | // returns the difference between the code address and a usable PC. |
| 71 | // mainly to cope with kThumb2 where the lower bit must be set. |
| 72 | size_t CodeDelta() const; |
| 73 | |
| 74 | // Returns a pointer suitable for invoking the code at the argument |
| 75 | // code_pointer address. Mainly to cope with kThumb2 where the |
| 76 | // lower bit must be set to indicate Thumb mode. |
| 77 | static const void* CodePointer(const void* code_pointer, |
| 78 | InstructionSet instruction_set); |
| 79 | |
Brian Carlstrom | 265091e | 2013-01-30 14:08:26 -0800 | [diff] [blame] | 80 | const std::string& GetSymbol() const; |
| 81 | const std::vector<uint32_t>& GetOatdataOffsetsToCompliledCodeOffset() const; |
| 82 | void AddOatdataOffsetToCompliledCodeOffset(uint32_t offset); |
Brian Carlstrom | 265091e | 2013-01-30 14:08:26 -0800 | [diff] [blame] | 83 | |
Dave Allison | f9487c0 | 2014-04-08 23:08:12 +0000 | [diff] [blame^] | 84 | // Apply all the final relocations to the quick code sequence. |
| 85 | void ApplyFinalRelocations(const OatWriter *writer, uint32_t address) { |
| 86 | if (final_relocations_.get() != nullptr) { |
| 87 | final_relocations_->Apply(&(*quick_code_)[0], writer, address); |
| 88 | } |
| 89 | } |
| 90 | |
Logan Chien | 598c513 | 2012-04-28 22:00:44 +0800 | [diff] [blame] | 91 | private: |
Ian Rogers | ef7d42f | 2014-01-06 12:55:46 -0800 | [diff] [blame] | 92 | CompilerDriver* const compiler_driver_; |
Mathieu Chartier | 193bad9 | 2013-08-29 18:46:00 -0700 | [diff] [blame] | 93 | |
Logan Chien | 598c513 | 2012-04-28 22:00:44 +0800 | [diff] [blame] | 94 | const InstructionSet instruction_set_; |
Brian Carlstrom | 8227cc1 | 2013-03-06 14:26:48 -0800 | [diff] [blame] | 95 | |
Ian Rogers | ef7d42f | 2014-01-06 12:55:46 -0800 | [diff] [blame] | 96 | // The ELF image for portable. |
| 97 | std::vector<uint8_t>* portable_code_; |
| 98 | |
| 99 | // Used to store the PIC code for Quick. |
| 100 | std::vector<uint8_t>* quick_code_; |
Brian Carlstrom | 265091e | 2013-01-30 14:08:26 -0800 | [diff] [blame] | 101 | |
| 102 | // Used for the Portable ELF symbol name. |
Ian Rogers | a182704 | 2013-04-18 16:36:43 -0700 | [diff] [blame] | 103 | const std::string symbol_; |
Brian Carlstrom | 265091e | 2013-01-30 14:08:26 -0800 | [diff] [blame] | 104 | |
| 105 | // There are offsets from the oatdata symbol to where the offset to |
| 106 | // the compiled method will be found. These are computed by the |
| 107 | // OatWriter and then used by the ElfWriter to add relocations so |
| 108 | // that MCLinker can update the values to the location in the linked .so. |
| 109 | std::vector<uint32_t> oatdata_offsets_to_compiled_code_offset_; |
Dave Allison | f9487c0 | 2014-04-08 23:08:12 +0000 | [diff] [blame^] | 110 | |
| 111 | // Set of relocations to apply as the final pass. This happens |
| 112 | // only when the the final oat file addresses are known. |
| 113 | UniquePtr<const FinalRelocations> final_relocations_; |
Logan Chien | 598c513 | 2012-04-28 22:00:44 +0800 | [diff] [blame] | 114 | }; |
| 115 | |
| 116 | class CompiledMethod : public CompiledCode { |
Brian Carlstrom | 3320cf4 | 2011-10-04 14:58:28 -0700 | [diff] [blame] | 117 | public: |
Elliott Hughes | 3fa1b7e | 2012-03-13 17:06:22 -0700 | [diff] [blame] | 118 | // Constructs a CompiledMethod for the non-LLVM compilers. |
Mathieu Chartier | 193bad9 | 2013-08-29 18:46:00 -0700 | [diff] [blame] | 119 | CompiledMethod(CompilerDriver& driver, |
| 120 | InstructionSet instruction_set, |
Ian Rogers | ef7d42f | 2014-01-06 12:55:46 -0800 | [diff] [blame] | 121 | const std::vector<uint8_t>& quick_code, |
Brian Carlstrom | 3320cf4 | 2011-10-04 14:58:28 -0700 | [diff] [blame] | 122 | const size_t frame_size_in_bytes, |
Brian Carlstrom | 3320cf4 | 2011-10-04 14:58:28 -0700 | [diff] [blame] | 123 | const uint32_t core_spill_mask, |
| 124 | const uint32_t fp_spill_mask, |
Ian Rogers | 96faf5b | 2013-08-09 22:05:32 -0700 | [diff] [blame] | 125 | const std::vector<uint8_t>& mapping_table, |
| 126 | const std::vector<uint8_t>& vmap_table, |
Mark Mendell | ae9fd93 | 2014-02-10 16:14:35 -0800 | [diff] [blame] | 127 | const std::vector<uint8_t>& native_gc_map, |
Dave Allison | f9487c0 | 2014-04-08 23:08:12 +0000 | [diff] [blame^] | 128 | const std::vector<uint8_t>* cfi_info, |
| 129 | const FinalRelocations* relocations); |
Brian Carlstrom | 3320cf4 | 2011-10-04 14:58:28 -0700 | [diff] [blame] | 130 | |
Ian Rogers | ef7d42f | 2014-01-06 12:55:46 -0800 | [diff] [blame] | 131 | // Constructs a CompiledMethod for the QuickJniCompiler. |
Mathieu Chartier | 193bad9 | 2013-08-29 18:46:00 -0700 | [diff] [blame] | 132 | CompiledMethod(CompilerDriver& driver, |
| 133 | InstructionSet instruction_set, |
Ian Rogers | ef7d42f | 2014-01-06 12:55:46 -0800 | [diff] [blame] | 134 | const std::vector<uint8_t>& quick_code, |
Brian Carlstrom | 3320cf4 | 2011-10-04 14:58:28 -0700 | [diff] [blame] | 135 | const size_t frame_size_in_bytes, |
Brian Carlstrom | 3320cf4 | 2011-10-04 14:58:28 -0700 | [diff] [blame] | 136 | const uint32_t core_spill_mask, |
| 137 | const uint32_t fp_spill_mask); |
| 138 | |
Brian Carlstrom | 265091e | 2013-01-30 14:08:26 -0800 | [diff] [blame] | 139 | // Constructs a CompiledMethod for the Portable compiler. |
Mathieu Chartier | 193bad9 | 2013-08-29 18:46:00 -0700 | [diff] [blame] | 140 | CompiledMethod(CompilerDriver& driver, InstructionSet instruction_set, const std::string& code, |
| 141 | const std::vector<uint8_t>& gc_map, const std::string& symbol); |
TDYa127 | ce4cc0d | 2012-11-18 16:59:53 -0800 | [diff] [blame] | 142 | |
Brian Carlstrom | 265091e | 2013-01-30 14:08:26 -0800 | [diff] [blame] | 143 | // Constructs a CompiledMethod for the Portable JniCompiler. |
Mathieu Chartier | 193bad9 | 2013-08-29 18:46:00 -0700 | [diff] [blame] | 144 | CompiledMethod(CompilerDriver& driver, InstructionSet instruction_set, const std::string& code, |
| 145 | const std::string& symbol); |
Logan Chien | 6920bce | 2012-03-17 21:44:01 +0800 | [diff] [blame] | 146 | |
Ian Rogers | 0c7abda | 2012-09-19 13:33:42 -0700 | [diff] [blame] | 147 | ~CompiledMethod() {} |
Brian Carlstrom | 3320cf4 | 2011-10-04 14:58:28 -0700 | [diff] [blame] | 148 | |
Ian Rogers | 0c7abda | 2012-09-19 13:33:42 -0700 | [diff] [blame] | 149 | size_t GetFrameSizeInBytes() const { |
| 150 | return frame_size_in_bytes_; |
Logan Chien | 110bcba | 2012-04-16 19:11:28 +0800 | [diff] [blame] | 151 | } |
Ian Rogers | 0c7abda | 2012-09-19 13:33:42 -0700 | [diff] [blame] | 152 | |
| 153 | uint32_t GetCoreSpillMask() const { |
| 154 | return core_spill_mask_; |
| 155 | } |
| 156 | |
| 157 | uint32_t GetFpSpillMask() const { |
| 158 | return fp_spill_mask_; |
| 159 | } |
| 160 | |
Ian Rogers | 96faf5b | 2013-08-09 22:05:32 -0700 | [diff] [blame] | 161 | const std::vector<uint8_t>& GetMappingTable() const { |
Mathieu Chartier | 193bad9 | 2013-08-29 18:46:00 -0700 | [diff] [blame] | 162 | DCHECK(mapping_table_ != nullptr); |
| 163 | return *mapping_table_; |
Ian Rogers | 0c7abda | 2012-09-19 13:33:42 -0700 | [diff] [blame] | 164 | } |
| 165 | |
Ian Rogers | 96faf5b | 2013-08-09 22:05:32 -0700 | [diff] [blame] | 166 | const std::vector<uint8_t>& GetVmapTable() const { |
Mathieu Chartier | 193bad9 | 2013-08-29 18:46:00 -0700 | [diff] [blame] | 167 | DCHECK(vmap_table_ != nullptr); |
| 168 | return *vmap_table_; |
Ian Rogers | 0c7abda | 2012-09-19 13:33:42 -0700 | [diff] [blame] | 169 | } |
| 170 | |
Ian Rogers | a182704 | 2013-04-18 16:36:43 -0700 | [diff] [blame] | 171 | const std::vector<uint8_t>& GetGcMap() const { |
Mathieu Chartier | 193bad9 | 2013-08-29 18:46:00 -0700 | [diff] [blame] | 172 | DCHECK(gc_map_ != nullptr); |
| 173 | return *gc_map_; |
Ian Rogers | 0c7abda | 2012-09-19 13:33:42 -0700 | [diff] [blame] | 174 | } |
Logan Chien | 110bcba | 2012-04-16 19:11:28 +0800 | [diff] [blame] | 175 | |
Mark Mendell | ae9fd93 | 2014-02-10 16:14:35 -0800 | [diff] [blame] | 176 | const std::vector<uint8_t>* GetCFIInfo() const { |
| 177 | return cfi_info_; |
| 178 | } |
| 179 | |
Brian Carlstrom | 3320cf4 | 2011-10-04 14:58:28 -0700 | [diff] [blame] | 180 | private: |
Ian Rogers | a182704 | 2013-04-18 16:36:43 -0700 | [diff] [blame] | 181 | // For quick code, the size of the activation used by the code. |
Ian Rogers | 0c7abda | 2012-09-19 13:33:42 -0700 | [diff] [blame] | 182 | const size_t frame_size_in_bytes_; |
Ian Rogers | a182704 | 2013-04-18 16:36:43 -0700 | [diff] [blame] | 183 | // For quick code, a bit mask describing spilled GPR callee-save registers. |
Ian Rogers | 169c9a7 | 2011-11-13 20:13:17 -0800 | [diff] [blame] | 184 | const uint32_t core_spill_mask_; |
Ian Rogers | a182704 | 2013-04-18 16:36:43 -0700 | [diff] [blame] | 185 | // For quick code, a bit mask describing spilled FPR callee-save registers. |
Ian Rogers | 169c9a7 | 2011-11-13 20:13:17 -0800 | [diff] [blame] | 186 | const uint32_t fp_spill_mask_; |
Ian Rogers | 96faf5b | 2013-08-09 22:05:32 -0700 | [diff] [blame] | 187 | // For quick code, a uleb128 encoded map from native PC offset to dex PC aswell as dex PC to |
| 188 | // native PC offset. Size prefixed. |
Mathieu Chartier | 193bad9 | 2013-08-29 18:46:00 -0700 | [diff] [blame] | 189 | std::vector<uint8_t>* mapping_table_; |
Ian Rogers | 96faf5b | 2013-08-09 22:05:32 -0700 | [diff] [blame] | 190 | // For quick code, a uleb128 encoded map from GPR/FPR register to dex register. Size prefixed. |
Mathieu Chartier | 193bad9 | 2013-08-29 18:46:00 -0700 | [diff] [blame] | 191 | std::vector<uint8_t>* vmap_table_; |
Ian Rogers | a182704 | 2013-04-18 16:36:43 -0700 | [diff] [blame] | 192 | // For quick code, a map keyed by native PC indices to bitmaps describing what dalvik registers |
| 193 | // are live. For portable code, the key is a dalvik PC. |
Mathieu Chartier | 193bad9 | 2013-08-29 18:46:00 -0700 | [diff] [blame] | 194 | std::vector<uint8_t>* gc_map_; |
Mark Mendell | ae9fd93 | 2014-02-10 16:14:35 -0800 | [diff] [blame] | 195 | // For quick code, a FDE entry for the debug_frame section. |
| 196 | std::vector<uint8_t>* cfi_info_; |
Brian Carlstrom | 3320cf4 | 2011-10-04 14:58:28 -0700 | [diff] [blame] | 197 | }; |
| 198 | |
Brian Carlstrom | 3320cf4 | 2011-10-04 14:58:28 -0700 | [diff] [blame] | 199 | } // namespace art |
| 200 | |
Mathieu Chartier | 193bad9 | 2013-08-29 18:46:00 -0700 | [diff] [blame] | 201 | #endif // ART_COMPILER_COMPILED_METHOD_H_ |