blob: d02cbff7fcaf72ddc0a781741a900e2899772f2f [file] [log] [blame]
Elliott Hughes2faa5f12012-01-30 14:42:07 -08001/*
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 Carlstrom3320cf42011-10-04 14:58:28 -070016
Mathieu Chartier193bad92013-08-29 18:46:00 -070017#ifndef ART_COMPILER_COMPILED_METHOD_H_
18#define ART_COMPILER_COMPILED_METHOD_H_
Brian Carlstrom3320cf42011-10-04 14:58:28 -070019
Ian Rogers700a4022014-05-19 16:49:03 -070020#include <memory>
Brian Carlstrom265091e2013-01-30 14:08:26 -080021#include <string>
Brian Carlstrom3320cf42011-10-04 14:58:28 -070022#include <vector>
23
Elliott Hughes0f3c5532012-03-30 14:51:51 -070024#include "instruction_set.h"
Brian Carlstrom3320cf42011-10-04 14:58:28 -070025#include "utils.h"
26
Shih-wei Liaod1fec812012-02-13 09:51:10 -080027namespace llvm {
28 class Function;
Ian Rogersa1827042013-04-18 16:36:43 -070029} // namespace llvm
Shih-wei Liaod1fec812012-02-13 09:51:10 -080030
Brian Carlstrom3320cf42011-10-04 14:58:28 -070031namespace art {
32
Mathieu Chartier193bad92013-08-29 18:46:00 -070033class CompilerDriver;
34
Logan Chien598c5132012-04-28 22:00:44 +080035class CompiledCode {
36 public:
Brian Carlstrom265091e2013-01-30 14:08:26 -080037 // For Quick to supply an code blob
Mathieu Chartier193bad92013-08-29 18:46:00 -070038 CompiledCode(CompilerDriver* compiler_driver, InstructionSet instruction_set,
Dave Allisond6ed6422014-04-09 23:36:15 +000039 const std::vector<uint8_t>& quick_code);
Logan Chien598c5132012-04-28 22:00:44 +080040
Brian Carlstrom265091e2013-01-30 14:08:26 -080041 // For Portable to supply an ELF object
Mathieu Chartier193bad92013-08-29 18:46:00 -070042 CompiledCode(CompilerDriver* compiler_driver, InstructionSet instruction_set,
43 const std::string& elf_object, const std::string &symbol);
Logan Chien598c5132012-04-28 22:00:44 +080044
Logan Chien598c5132012-04-28 22:00:44 +080045 InstructionSet GetInstructionSet() const {
46 return instruction_set_;
47 }
48
Ian Rogersef7d42f2014-01-06 12:55:46 -080049 const std::vector<uint8_t>* GetPortableCode() const {
50 return portable_code_;
Logan Chien598c5132012-04-28 22:00:44 +080051 }
52
Ian Rogersef7d42f2014-01-06 12:55:46 -080053 const std::vector<uint8_t>* GetQuickCode() const {
54 return quick_code_;
Logan Chien598c5132012-04-28 22:00:44 +080055 }
56
Ian Rogersef7d42f2014-01-06 12:55:46 -080057 void SetCode(const std::vector<uint8_t>* quick_code, const std::vector<uint8_t>* portable_code);
58
59 bool operator==(const CompiledCode& rhs) const;
60
Logan Chien598c5132012-04-28 22:00:44 +080061 // To align an offset from a page-aligned value to make it suitable
62 // for code storage. For example on ARM, to ensure that PC relative
63 // valu computations work out as expected.
64 uint32_t AlignCode(uint32_t offset) const;
65 static uint32_t AlignCode(uint32_t offset, InstructionSet instruction_set);
66
67 // returns the difference between the code address and a usable PC.
68 // mainly to cope with kThumb2 where the lower bit must be set.
69 size_t CodeDelta() const;
Dave Allison50abf0a2014-06-23 13:19:59 -070070 static size_t CodeDelta(InstructionSet instruction_set);
Logan Chien598c5132012-04-28 22:00:44 +080071
72 // Returns a pointer suitable for invoking the code at the argument
73 // code_pointer address. Mainly to cope with kThumb2 where the
74 // lower bit must be set to indicate Thumb mode.
75 static const void* CodePointer(const void* code_pointer,
76 InstructionSet instruction_set);
77
Brian Carlstrom265091e2013-01-30 14:08:26 -080078 const std::string& GetSymbol() const;
79 const std::vector<uint32_t>& GetOatdataOffsetsToCompliledCodeOffset() const;
80 void AddOatdataOffsetToCompliledCodeOffset(uint32_t offset);
Brian Carlstrom265091e2013-01-30 14:08:26 -080081
Logan Chien598c5132012-04-28 22:00:44 +080082 private:
Ian Rogersef7d42f2014-01-06 12:55:46 -080083 CompilerDriver* const compiler_driver_;
Mathieu Chartier193bad92013-08-29 18:46:00 -070084
Logan Chien598c5132012-04-28 22:00:44 +080085 const InstructionSet instruction_set_;
Brian Carlstrom8227cc12013-03-06 14:26:48 -080086
Ian Rogersef7d42f2014-01-06 12:55:46 -080087 // The ELF image for portable.
88 std::vector<uint8_t>* portable_code_;
89
90 // Used to store the PIC code for Quick.
91 std::vector<uint8_t>* quick_code_;
Brian Carlstrom265091e2013-01-30 14:08:26 -080092
93 // Used for the Portable ELF symbol name.
Ian Rogersa1827042013-04-18 16:36:43 -070094 const std::string symbol_;
Brian Carlstrom265091e2013-01-30 14:08:26 -080095
96 // There are offsets from the oatdata symbol to where the offset to
97 // the compiled method will be found. These are computed by the
98 // OatWriter and then used by the ElfWriter to add relocations so
99 // that MCLinker can update the values to the location in the linked .so.
100 std::vector<uint32_t> oatdata_offsets_to_compiled_code_offset_;
Logan Chien598c5132012-04-28 22:00:44 +0800101};
102
Yevgeny Roubane3ea8382014-08-08 16:29:38 +0700103class SrcMapElem {
104 public:
105 uint32_t from_;
106 int32_t to_;
107
108 bool operator<(const SrcMapElem& sme) const {
109 uint64_t lhs = (static_cast<uint64_t>(from_) << 32) + to_;
110 uint64_t rhs = (static_cast<uint64_t>(sme.from_) << 32) + sme.to_;
111 return lhs < rhs;
112 }
113
114 operator uint8_t() const {
115 return static_cast<uint8_t>(from_ + to_);
116 }
117};
118
119class SrcMap FINAL : public std::vector<SrcMapElem> {
120 public:
121 struct CompareByTo {
122 bool operator()(const SrcMapElem& lhs, const SrcMapElem& rhs) {
123 return lhs.to_ < rhs.to_;
124 }
125 };
126
127 struct CompareByFrom {
128 bool operator()(const SrcMapElem& lhs, const SrcMapElem& rhs) {
129 return lhs.from_ < rhs.from_;
130 }
131 };
132
133 void SortByTo() {
134 std::sort(begin(), end(), CompareByTo());
135 }
136
137 void SortByFrom() {
138 std::sort(begin(), end(), CompareByFrom());
139 }
140
141 const_iterator FindByTo(int32_t to) const {
142 return std::lower_bound(begin(), end(), SrcMapElem({0, to}), CompareByTo());
143 }
144
145 SrcMap& Arrange() {
146 SortByTo();
147
148 // Remove duplicate pairs.
149 if (!empty()) {
150 SrcMap tmp;
151 tmp.swap(*this);
152 iterator it = tmp.begin();
153 iterator prev = it;
154 it++;
155 push_back(*prev);
156 for (; it != tmp.end(); it++) {
157 if (prev->from_ != it->from_ || prev->to_ != it->to_) {
158 push_back(*(prev = it));
159 }
160 }
161 }
162 return *this;
163 }
164
165 void DeltaFormat(const SrcMapElem& start, uint32_t highest_pc) {
166 // Convert from abs values to deltas.
167 if (!empty()) {
168 SortByFrom();
169
170 // TODO: one PC can be mapped to several Java src lines.
171 // do we want such a one-to-many correspondence?
172
173 // get rid of the highest values
174 size_t i = size() - 1;
175 for (; i > 0 ; i--) {
176 if ((*this)[i].from_ >= highest_pc) {
177 break;
178 }
179 }
180 this->resize(i + 1);
181
182 for (size_t i = size(); --i >= 1; ) {
183 (*this)[i].from_ -= (*this)[i-1].from_;
184 (*this)[i].to_ -= (*this)[i-1].to_;
185 }
186 DCHECK((*this)[0].from_ >= start.from_);
187 (*this)[0].from_ -= start.from_;
188 (*this)[0].to_ -= start.to_;
189 }
190 }
191};
192
193class CompiledMethod FINAL : public CompiledCode {
Brian Carlstrom3320cf42011-10-04 14:58:28 -0700194 public:
Elliott Hughes3fa1b7e2012-03-13 17:06:22 -0700195 // Constructs a CompiledMethod for the non-LLVM compilers.
Ian Rogers72d32622014-05-06 16:20:11 -0700196 CompiledMethod(CompilerDriver* driver,
Mathieu Chartier193bad92013-08-29 18:46:00 -0700197 InstructionSet instruction_set,
Ian Rogersef7d42f2014-01-06 12:55:46 -0800198 const std::vector<uint8_t>& quick_code,
Brian Carlstrom3320cf42011-10-04 14:58:28 -0700199 const size_t frame_size_in_bytes,
Brian Carlstrom3320cf42011-10-04 14:58:28 -0700200 const uint32_t core_spill_mask,
201 const uint32_t fp_spill_mask,
Yevgeny Roubane3ea8382014-08-08 16:29:38 +0700202 SrcMap* src_mapping_table,
Ian Rogers96faf5b2013-08-09 22:05:32 -0700203 const std::vector<uint8_t>& mapping_table,
204 const std::vector<uint8_t>& vmap_table,
Mark Mendellae9fd932014-02-10 16:14:35 -0800205 const std::vector<uint8_t>& native_gc_map,
Dave Allisond6ed6422014-04-09 23:36:15 +0000206 const std::vector<uint8_t>* cfi_info);
Brian Carlstrom3320cf42011-10-04 14:58:28 -0700207
Ian Rogersef7d42f2014-01-06 12:55:46 -0800208 // Constructs a CompiledMethod for the QuickJniCompiler.
Ian Rogers72d32622014-05-06 16:20:11 -0700209 CompiledMethod(CompilerDriver* driver,
Mathieu Chartier193bad92013-08-29 18:46:00 -0700210 InstructionSet instruction_set,
Ian Rogersef7d42f2014-01-06 12:55:46 -0800211 const std::vector<uint8_t>& quick_code,
Brian Carlstrom3320cf42011-10-04 14:58:28 -0700212 const size_t frame_size_in_bytes,
Brian Carlstrom3320cf42011-10-04 14:58:28 -0700213 const uint32_t core_spill_mask,
Tong Shen547cdfd2014-08-05 01:54:19 -0700214 const uint32_t fp_spill_mask,
215 const std::vector<uint8_t>* cfi_info);
Brian Carlstrom3320cf42011-10-04 14:58:28 -0700216
Brian Carlstrom265091e2013-01-30 14:08:26 -0800217 // Constructs a CompiledMethod for the Portable compiler.
Ian Rogers72d32622014-05-06 16:20:11 -0700218 CompiledMethod(CompilerDriver* driver, InstructionSet instruction_set, const std::string& code,
Mathieu Chartier193bad92013-08-29 18:46:00 -0700219 const std::vector<uint8_t>& gc_map, const std::string& symbol);
TDYa127ce4cc0d2012-11-18 16:59:53 -0800220
Brian Carlstrom265091e2013-01-30 14:08:26 -0800221 // Constructs a CompiledMethod for the Portable JniCompiler.
Ian Rogers72d32622014-05-06 16:20:11 -0700222 CompiledMethod(CompilerDriver* driver, InstructionSet instruction_set, const std::string& code,
Mathieu Chartier193bad92013-08-29 18:46:00 -0700223 const std::string& symbol);
Logan Chien6920bce2012-03-17 21:44:01 +0800224
Ian Rogers0c7abda2012-09-19 13:33:42 -0700225 ~CompiledMethod() {}
Brian Carlstrom3320cf42011-10-04 14:58:28 -0700226
Ian Rogers0c7abda2012-09-19 13:33:42 -0700227 size_t GetFrameSizeInBytes() const {
228 return frame_size_in_bytes_;
Logan Chien110bcba2012-04-16 19:11:28 +0800229 }
Ian Rogers0c7abda2012-09-19 13:33:42 -0700230
231 uint32_t GetCoreSpillMask() const {
232 return core_spill_mask_;
233 }
234
235 uint32_t GetFpSpillMask() const {
236 return fp_spill_mask_;
237 }
238
Yevgeny Roubane3ea8382014-08-08 16:29:38 +0700239 const SrcMap& GetSrcMappingTable() const {
240 DCHECK(src_mapping_table_ != nullptr);
241 return *src_mapping_table_;
242 }
243
Ian Rogers96faf5b2013-08-09 22:05:32 -0700244 const std::vector<uint8_t>& GetMappingTable() const {
Mathieu Chartier193bad92013-08-29 18:46:00 -0700245 DCHECK(mapping_table_ != nullptr);
246 return *mapping_table_;
Ian Rogers0c7abda2012-09-19 13:33:42 -0700247 }
248
Ian Rogers96faf5b2013-08-09 22:05:32 -0700249 const std::vector<uint8_t>& GetVmapTable() const {
Mathieu Chartier193bad92013-08-29 18:46:00 -0700250 DCHECK(vmap_table_ != nullptr);
251 return *vmap_table_;
Ian Rogers0c7abda2012-09-19 13:33:42 -0700252 }
253
Ian Rogersa1827042013-04-18 16:36:43 -0700254 const std::vector<uint8_t>& GetGcMap() const {
Mathieu Chartier193bad92013-08-29 18:46:00 -0700255 DCHECK(gc_map_ != nullptr);
256 return *gc_map_;
Ian Rogers0c7abda2012-09-19 13:33:42 -0700257 }
Logan Chien110bcba2012-04-16 19:11:28 +0800258
Mark Mendellae9fd932014-02-10 16:14:35 -0800259 const std::vector<uint8_t>* GetCFIInfo() const {
260 return cfi_info_;
261 }
262
Brian Carlstrom3320cf42011-10-04 14:58:28 -0700263 private:
Ian Rogersa1827042013-04-18 16:36:43 -0700264 // For quick code, the size of the activation used by the code.
Ian Rogers0c7abda2012-09-19 13:33:42 -0700265 const size_t frame_size_in_bytes_;
Ian Rogersa1827042013-04-18 16:36:43 -0700266 // For quick code, a bit mask describing spilled GPR callee-save registers.
Ian Rogers169c9a72011-11-13 20:13:17 -0800267 const uint32_t core_spill_mask_;
Ian Rogersa1827042013-04-18 16:36:43 -0700268 // For quick code, a bit mask describing spilled FPR callee-save registers.
Ian Rogers169c9a72011-11-13 20:13:17 -0800269 const uint32_t fp_spill_mask_;
Yevgeny Roubane3ea8382014-08-08 16:29:38 +0700270 // For quick code, a set of pairs (PC, Line) mapping from native PC offset to Java line
271 SrcMap* src_mapping_table_;
Ian Rogers96faf5b2013-08-09 22:05:32 -0700272 // For quick code, a uleb128 encoded map from native PC offset to dex PC aswell as dex PC to
273 // native PC offset. Size prefixed.
Mathieu Chartier193bad92013-08-29 18:46:00 -0700274 std::vector<uint8_t>* mapping_table_;
Ian Rogers96faf5b2013-08-09 22:05:32 -0700275 // For quick code, a uleb128 encoded map from GPR/FPR register to dex register. Size prefixed.
Mathieu Chartier193bad92013-08-29 18:46:00 -0700276 std::vector<uint8_t>* vmap_table_;
Ian Rogersa1827042013-04-18 16:36:43 -0700277 // For quick code, a map keyed by native PC indices to bitmaps describing what dalvik registers
278 // are live. For portable code, the key is a dalvik PC.
Mathieu Chartier193bad92013-08-29 18:46:00 -0700279 std::vector<uint8_t>* gc_map_;
Mark Mendellae9fd932014-02-10 16:14:35 -0800280 // For quick code, a FDE entry for the debug_frame section.
281 std::vector<uint8_t>* cfi_info_;
Brian Carlstrom3320cf42011-10-04 14:58:28 -0700282};
283
Brian Carlstrom3320cf42011-10-04 14:58:28 -0700284} // namespace art
285
Mathieu Chartier193bad92013-08-29 18:46:00 -0700286#endif // ART_COMPILER_COMPILED_METHOD_H_