blob: 85c9b4761ac5214869e7da2581f9d17f87866b23 [file] [log] [blame]
Brian Carlstrom7940e442013-07-12 13:46:57 -07001/*
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
Brian Carlstromfc0e3212013-07-17 14:40:12 -070017#ifndef ART_COMPILER_OAT_WRITER_H_
18#define ART_COMPILER_OAT_WRITER_H_
Brian Carlstrom7940e442013-07-12 13:46:57 -070019
20#include <stdint.h>
21
22#include <cstddef>
23
24#include "driver/compiler_driver.h"
25#include "mem_map.h"
26#include "oat.h"
27#include "mirror/class.h"
28#include "safe_map.h"
29#include "UniquePtr.h"
30
31namespace art {
32
Brian Carlstromba150c32013-08-27 17:31:03 -070033class BitVector;
Brian Carlstrom7940e442013-07-12 13:46:57 -070034class OutputStream;
35
36// OatHeader variable length with count of D OatDexFiles
37//
38// OatDexFile[0] one variable sized OatDexFile with offsets to Dex and OatClasses
39// OatDexFile[1]
40// ...
41// OatDexFile[D]
42//
43// Dex[0] one variable sized DexFile for each OatDexFile.
44// Dex[1] these are literal copies of the input .dex files.
45// ...
46// Dex[D]
47//
48// OatClass[0] one variable sized OatClass for each of C DexFile::ClassDefs
49// OatClass[1] contains OatClass entries with class status, offsets to code, etc.
50// ...
51// OatClass[C]
52//
Vladimir Marko96c6ab92014-04-08 14:00:50 +010053// GcMap one variable sized blob with GC map.
54// GcMap GC maps are deduplicated.
55// ...
56// GcMap
57//
58// VmapTable one variable sized VmapTable blob (quick compiler only).
59// VmapTable VmapTables are deduplicated.
60// ...
61// VmapTable
62//
63// MappingTable one variable sized blob with MappingTable (quick compiler only).
64// MappingTable MappingTables are deduplicated.
65// ...
66// MappingTable
67//
Brian Carlstrom7940e442013-07-12 13:46:57 -070068// padding if necessary so that the following code will be page aligned
69//
Vladimir Marko96c6ab92014-04-08 14:00:50 +010070// OatMethodHeader fixed size header for a CompiledMethod including the size of the MethodCode.
71// MethodCode one variable sized blob with the code of a CompiledMethod.
72// OatMethodHeader (OatMethodHeader, MethodCode) pairs are deduplicated.
73// MethodCode
Brian Carlstrom7940e442013-07-12 13:46:57 -070074// ...
Vladimir Marko96c6ab92014-04-08 14:00:50 +010075// OatMethodHeader
76// MethodCode
Brian Carlstrom7940e442013-07-12 13:46:57 -070077//
78class OatWriter {
79 public:
Brian Carlstrom7940e442013-07-12 13:46:57 -070080 OatWriter(const std::vector<const DexFile*>& dex_files,
81 uint32_t image_file_location_oat_checksum,
Ian Rogersef7d42f2014-01-06 12:55:46 -080082 uintptr_t image_file_location_oat_begin,
Brian Carlstrom7940e442013-07-12 13:46:57 -070083 const std::string& image_file_location,
Ian Rogersca368cb2013-11-15 15:52:08 -080084 const CompilerDriver* compiler,
85 TimingLogger* timings);
Brian Carlstromc50d8e12013-07-23 22:35:16 -070086
87 const OatHeader& GetOatHeader() const {
88 return *oat_header_;
89 }
90
91 size_t GetSize() const {
92 return size_;
93 }
94
Ian Rogers3d504072014-03-01 09:16:49 -080095 bool Write(OutputStream* out);
Brian Carlstromc50d8e12013-07-23 22:35:16 -070096
Brian Carlstrom7940e442013-07-12 13:46:57 -070097 ~OatWriter();
98
Mark Mendellae9fd932014-02-10 16:14:35 -080099 struct DebugInfo {
100 DebugInfo(const std::string& method_name, uint32_t low_pc, uint32_t high_pc)
101 : method_name_(method_name), low_pc_(low_pc), high_pc_(high_pc) {
102 }
103 std::string method_name_;
104 uint32_t low_pc_;
105 uint32_t high_pc_;
106 };
107
108 const std::vector<DebugInfo>& GetCFIMethodInfo() const {
109 return method_info_;
110 }
111
Brian Carlstromc50d8e12013-07-23 22:35:16 -0700112 private:
Vladimir Marko96c6ab92014-04-08 14:00:50 +0100113 // The DataAccess classes are helper classes that provide access to members related to
114 // a given map, i.e. GC map, mapping table or vmap table. By abstracting these away
115 // we can share a lot of code for processing the maps with template classes below.
116 struct GcMapDataAccess;
117 struct MappingTableDataAccess;
118 struct VmapTableDataAccess;
119
120 // The function VisitDexMethods() below iterates through all the methods in all
121 // the compiled dex files in order of their definitions. The method visitor
122 // classes provide individual bits of processing for each of the passes we need to
123 // first collect the data we want to write to the oat file and then, in later passes,
124 // to actually write it.
125 class DexMethodVisitor;
126 class OatDexMethodVisitor;
127 class InitOatClassesMethodVisitor;
128 class InitCodeMethodVisitor;
129 template <typename DataAccess>
130 class InitMapMethodVisitor;
131 class InitImageMethodVisitor;
132 class WriteCodeMethodVisitor;
133 template <typename DataAccess>
134 class WriteMapMethodVisitor;
135
136 // Visit all the methods in all the compiled dex files in their definition order
137 // with a given DexMethodVisitor.
138 bool VisitDexMethods(DexMethodVisitor* visitor);
139
Brian Carlstrom7940e442013-07-12 13:46:57 -0700140 size_t InitOatHeader();
141 size_t InitOatDexFiles(size_t offset);
142 size_t InitDexFiles(size_t offset);
143 size_t InitOatClasses(size_t offset);
Vladimir Marko96c6ab92014-04-08 14:00:50 +0100144 size_t InitOatMaps(size_t offset);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700145 size_t InitOatCode(size_t offset)
146 SHARED_LOCKS_REQUIRED(Locks::mutator_lock_);
147 size_t InitOatCodeDexFiles(size_t offset)
148 SHARED_LOCKS_REQUIRED(Locks::mutator_lock_);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700149
Ian Rogers3d504072014-03-01 09:16:49 -0800150 bool WriteTables(OutputStream* out, const size_t file_offset);
Vladimir Marko96c6ab92014-04-08 14:00:50 +0100151 size_t WriteMaps(OutputStream* out, const size_t file_offset, size_t relative_offset);
152 size_t WriteCode(OutputStream* out, const size_t file_offset, size_t relative_offset);
Ian Rogers3d504072014-03-01 09:16:49 -0800153 size_t WriteCodeDexFiles(OutputStream* out, const size_t file_offset, size_t relative_offset);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700154
155 class OatDexFile {
156 public:
157 explicit OatDexFile(size_t offset, const DexFile& dex_file);
158 size_t SizeOf() const;
Ian Rogers3d504072014-03-01 09:16:49 -0800159 void UpdateChecksum(OatHeader* oat_header) const;
160 bool Write(OatWriter* oat_writer, OutputStream* out, const size_t file_offset) const;
Brian Carlstrom7940e442013-07-12 13:46:57 -0700161
162 // Offset of start of OatDexFile from beginning of OatHeader. It is
163 // used to validate file position when writing.
164 size_t offset_;
165
166 // data to write
167 uint32_t dex_file_location_size_;
168 const uint8_t* dex_file_location_data_;
169 uint32_t dex_file_location_checksum_;
170 uint32_t dex_file_offset_;
171 std::vector<uint32_t> methods_offsets_;
172
173 private:
174 DISALLOW_COPY_AND_ASSIGN(OatDexFile);
175 };
176
177 class OatClass {
178 public:
Brian Carlstromba150c32013-08-27 17:31:03 -0700179 explicit OatClass(size_t offset,
Vladimir Marko96c6ab92014-04-08 14:00:50 +0100180 const std::vector<CompiledMethod*>& compiled_methods,
Brian Carlstromba150c32013-08-27 17:31:03 -0700181 uint32_t num_non_null_compiled_methods,
182 mirror::Class::Status status);
183 ~OatClass();
Brian Carlstrom7940e442013-07-12 13:46:57 -0700184 size_t GetOatMethodOffsetsOffsetFromOatHeader(size_t class_def_method_index_) const;
185 size_t GetOatMethodOffsetsOffsetFromOatClass(size_t class_def_method_index_) const;
186 size_t SizeOf() const;
Ian Rogers3d504072014-03-01 09:16:49 -0800187 void UpdateChecksum(OatHeader* oat_header) const;
188 bool Write(OatWriter* oat_writer, OutputStream* out, const size_t file_offset) const;
Brian Carlstrom7940e442013-07-12 13:46:57 -0700189
Brian Carlstromba150c32013-08-27 17:31:03 -0700190 CompiledMethod* GetCompiledMethod(size_t class_def_method_index) const {
Vladimir Marko96c6ab92014-04-08 14:00:50 +0100191 DCHECK_LT(class_def_method_index, compiled_methods_.size());
192 return compiled_methods_[class_def_method_index];
Brian Carlstromba150c32013-08-27 17:31:03 -0700193 }
194
Brian Carlstrom7940e442013-07-12 13:46:57 -0700195 // Offset of start of OatClass from beginning of OatHeader. It is
196 // used to validate file position when writing. For Portable, it
197 // is also used to calculate the position of the OatMethodOffsets
198 // so that code pointers within the OatMethodOffsets can be
199 // patched to point to code in the Portable .o ELF objects.
200 size_t offset_;
201
Brian Carlstromba150c32013-08-27 17:31:03 -0700202 // CompiledMethods for each class_def_method_index, or NULL if no method is available.
Vladimir Marko96c6ab92014-04-08 14:00:50 +0100203 std::vector<CompiledMethod*> compiled_methods_;
Brian Carlstromba150c32013-08-27 17:31:03 -0700204
205 // Offset from OatClass::offset_ to the OatMethodOffsets for the
206 // class_def_method_index. If 0, it means the corresponding
207 // CompiledMethod entry in OatClass::compiled_methods_ should be
208 // NULL and that the OatClass::type_ should be kOatClassBitmap.
209 std::vector<uint32_t> oat_method_offsets_offsets_from_oat_class_;
210
Brian Carlstrom7940e442013-07-12 13:46:57 -0700211 // data to write
Brian Carlstromba150c32013-08-27 17:31:03 -0700212
213 COMPILE_ASSERT(mirror::Class::Status::kStatusMax < (2 ^ 16), class_status_wont_fit_in_16bits);
214 int16_t status_;
215
216 COMPILE_ASSERT(OatClassType::kOatClassMax < (2 ^ 16), oat_class_type_wont_fit_in_16bits);
217 uint16_t type_;
218
219 uint32_t method_bitmap_size_;
220
221 // bit vector indexed by ClassDef method index. When
222 // OatClassType::type_ is kOatClassBitmap, a set bit indicates the
223 // method has an OatMethodOffsets in methods_offsets_, otherwise
224 // the entry was ommited to save space. If OatClassType::type_ is
225 // not is kOatClassBitmap, the bitmap will be NULL.
226 BitVector* method_bitmap_;
227
Vladimir Marko8a630572014-04-09 18:45:35 +0100228 // OatMethodOffsets and OatMethodHeaders for each CompiledMethod
229 // present in the OatClass. Note that some may be missing if
Brian Carlstromba150c32013-08-27 17:31:03 -0700230 // OatClass::compiled_methods_ contains NULL values (and
231 // oat_method_offsets_offsets_from_oat_class_ should contain 0
232 // values in this case).
Brian Carlstrom7940e442013-07-12 13:46:57 -0700233 std::vector<OatMethodOffsets> method_offsets_;
Vladimir Marko7624d252014-05-02 14:40:15 +0100234 std::vector<OatQuickMethodHeader> method_headers_;
Brian Carlstrom7940e442013-07-12 13:46:57 -0700235
236 private:
237 DISALLOW_COPY_AND_ASSIGN(OatClass);
238 };
239
Mark Mendellae9fd932014-02-10 16:14:35 -0800240 std::vector<DebugInfo> method_info_;
241
Brian Carlstrom7940e442013-07-12 13:46:57 -0700242 const CompilerDriver* const compiler_driver_;
243
244 // note OatFile does not take ownership of the DexFiles
245 const std::vector<const DexFile*>* dex_files_;
246
Brian Carlstromc50d8e12013-07-23 22:35:16 -0700247 // Size required for Oat data structures.
248 size_t size_;
249
Brian Carlstrom7940e442013-07-12 13:46:57 -0700250 // dependencies on the image.
251 uint32_t image_file_location_oat_checksum_;
Ian Rogersef7d42f2014-01-06 12:55:46 -0800252 uintptr_t image_file_location_oat_begin_;
Brian Carlstrom7940e442013-07-12 13:46:57 -0700253 std::string image_file_location_;
254
255 // data to write
256 OatHeader* oat_header_;
257 std::vector<OatDexFile*> oat_dex_files_;
258 std::vector<OatClass*> oat_classes_;
Ian Rogers468532e2013-08-05 10:56:33 -0700259 UniquePtr<const std::vector<uint8_t> > interpreter_to_interpreter_bridge_;
260 UniquePtr<const std::vector<uint8_t> > interpreter_to_compiled_code_bridge_;
261 UniquePtr<const std::vector<uint8_t> > jni_dlsym_lookup_;
Jeff Hao88474b42013-10-23 16:24:40 -0700262 UniquePtr<const std::vector<uint8_t> > portable_imt_conflict_trampoline_;
Brian Carlstrom7940e442013-07-12 13:46:57 -0700263 UniquePtr<const std::vector<uint8_t> > portable_resolution_trampoline_;
Ian Rogers468532e2013-08-05 10:56:33 -0700264 UniquePtr<const std::vector<uint8_t> > portable_to_interpreter_bridge_;
Andreas Gampe2da88232014-02-27 12:26:20 -0800265 UniquePtr<const std::vector<uint8_t> > quick_generic_jni_trampoline_;
Jeff Hao88474b42013-10-23 16:24:40 -0700266 UniquePtr<const std::vector<uint8_t> > quick_imt_conflict_trampoline_;
Brian Carlstrom7940e442013-07-12 13:46:57 -0700267 UniquePtr<const std::vector<uint8_t> > quick_resolution_trampoline_;
Ian Rogers468532e2013-08-05 10:56:33 -0700268 UniquePtr<const std::vector<uint8_t> > quick_to_interpreter_bridge_;
Brian Carlstrom7940e442013-07-12 13:46:57 -0700269
270 // output stats
271 uint32_t size_dex_file_alignment_;
272 uint32_t size_executable_offset_alignment_;
273 uint32_t size_oat_header_;
274 uint32_t size_oat_header_image_file_location_;
275 uint32_t size_dex_file_;
Ian Rogers468532e2013-08-05 10:56:33 -0700276 uint32_t size_interpreter_to_interpreter_bridge_;
277 uint32_t size_interpreter_to_compiled_code_bridge_;
278 uint32_t size_jni_dlsym_lookup_;
Jeff Hao88474b42013-10-23 16:24:40 -0700279 uint32_t size_portable_imt_conflict_trampoline_;
Brian Carlstrom7940e442013-07-12 13:46:57 -0700280 uint32_t size_portable_resolution_trampoline_;
Ian Rogers468532e2013-08-05 10:56:33 -0700281 uint32_t size_portable_to_interpreter_bridge_;
Andreas Gampe2da88232014-02-27 12:26:20 -0800282 uint32_t size_quick_generic_jni_trampoline_;
Jeff Hao88474b42013-10-23 16:24:40 -0700283 uint32_t size_quick_imt_conflict_trampoline_;
Brian Carlstrom7940e442013-07-12 13:46:57 -0700284 uint32_t size_quick_resolution_trampoline_;
Ian Rogers468532e2013-08-05 10:56:33 -0700285 uint32_t size_quick_to_interpreter_bridge_;
286 uint32_t size_trampoline_alignment_;
Vladimir Marko96c6ab92014-04-08 14:00:50 +0100287 uint32_t size_method_header_;
Brian Carlstrom7940e442013-07-12 13:46:57 -0700288 uint32_t size_code_;
289 uint32_t size_code_alignment_;
290 uint32_t size_mapping_table_;
291 uint32_t size_vmap_table_;
292 uint32_t size_gc_map_;
293 uint32_t size_oat_dex_file_location_size_;
294 uint32_t size_oat_dex_file_location_data_;
295 uint32_t size_oat_dex_file_location_checksum_;
296 uint32_t size_oat_dex_file_offset_;
297 uint32_t size_oat_dex_file_methods_offsets_;
Brian Carlstromba150c32013-08-27 17:31:03 -0700298 uint32_t size_oat_class_type_;
Brian Carlstrom7940e442013-07-12 13:46:57 -0700299 uint32_t size_oat_class_status_;
Brian Carlstromba150c32013-08-27 17:31:03 -0700300 uint32_t size_oat_class_method_bitmaps_;
Brian Carlstrom7940e442013-07-12 13:46:57 -0700301 uint32_t size_oat_class_method_offsets_;
302
Vladimir Marko8a630572014-04-09 18:45:35 +0100303 struct CodeOffsetsKeyComparator {
304 bool operator()(const CompiledMethod* lhs, const CompiledMethod* rhs) const {
305 if (lhs->GetQuickCode() != rhs->GetQuickCode()) {
306 return lhs->GetQuickCode() < rhs->GetQuickCode();
307 }
308 // If the code is the same, all other fields are likely to be the same as well.
309 if (UNLIKELY(&lhs->GetMappingTable() != &rhs->GetMappingTable())) {
310 return &lhs->GetMappingTable() < &rhs->GetMappingTable();
311 }
312 if (UNLIKELY(&lhs->GetVmapTable() != &rhs->GetVmapTable())) {
313 return &lhs->GetVmapTable() < &rhs->GetVmapTable();
314 }
315 return false;
316 }
317 };
318
Brian Carlstrom7940e442013-07-12 13:46:57 -0700319 DISALLOW_COPY_AND_ASSIGN(OatWriter);
320};
321
322} // namespace art
323
Brian Carlstromfc0e3212013-07-17 14:40:12 -0700324#endif // ART_COMPILER_OAT_WRITER_H_