blob: 0087a0df570612b103a9aa1cd20ec072165668d0 [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 Carlstrome24fa612011-09-29 00:53:55 -070016
17#include "oat_writer.h"
18
Elliott Hughesa0e18062012-04-13 15:59:59 -070019#include <zlib.h>
20
Vladimir Markoc74658b2015-03-31 10:26:41 +010021#include "arch/arm64/instruction_set_features_arm64.h"
Mathieu Chartiere401d142015-04-22 13:56:20 -070022#include "art_method-inl.h"
Ian Rogerse77493c2014-08-20 15:08:45 -070023#include "base/allocator.h"
Brian Carlstromba150c32013-08-27 17:31:03 -070024#include "base/bit_vector.h"
Elliott Hughes1aa246d2012-12-13 09:29:36 -080025#include "base/stl_util.h"
Elliott Hughes76160052012-12-12 16:31:20 -080026#include "base/unix_file/fd_file.h"
Brian Carlstrome24fa612011-09-29 00:53:55 -070027#include "class_linker.h"
Mingyao Yang98d1cc82014-05-15 17:02:16 -070028#include "compiled_class.h"
Vladimir Marko20f85592015-03-19 10:07:02 +000029#include "compiled_method.h"
Ian Rogers4f6ad8a2013-03-18 15:27:28 -070030#include "dex_file-inl.h"
Vladimir Markoc7f83202014-01-24 17:55:18 +000031#include "dex/verification_results.h"
Vladimir Marko20f85592015-03-19 10:07:02 +000032#include "driver/compiler_driver.h"
33#include "driver/compiler_options.h"
Vladimir Marko10c13562015-11-25 14:33:36 +000034#include "dwarf/method_debug_info.h"
Vladimir Marko09d09432015-09-08 13:47:48 +010035#include "gc/space/image_space.h"
Ian Rogers1d54e732013-05-02 21:10:01 -070036#include "gc/space/space.h"
Artem Udovichenkod9786b02015-10-14 16:36:55 +030037#include "handle_scope-inl.h"
Vladimir Markof4da6752014-08-01 19:04:18 +010038#include "image_writer.h"
Vladimir Marko131980f2015-12-03 18:29:23 +000039#include "linker/output_stream.h"
Vladimir Markob163bb72015-03-31 21:49:49 +010040#include "linker/relative_patcher.h"
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080041#include "mirror/array.h"
42#include "mirror/class_loader.h"
Vladimir Marko3481ba22015-04-13 12:22:36 +010043#include "mirror/dex_cache-inl.h"
Ian Rogers4f6ad8a2013-03-18 15:27:28 -070044#include "mirror/object-inl.h"
Nicolas Geoffray524e7ea2015-10-16 17:13:34 +010045#include "oat_quick_method_header.h"
Brian Carlstrome24fa612011-09-29 00:53:55 -070046#include "os.h"
Elliott Hughesa0e18062012-04-13 15:59:59 -070047#include "safe_map.h"
Ian Rogers00f7d0e2012-07-19 15:28:27 -070048#include "scoped_thread_state_change.h"
Artem Udovichenkod9786b02015-10-14 16:36:55 +030049#include "type_lookup_table.h"
Vladimir Marko09d09432015-09-08 13:47:48 +010050#include "utils/dex_cache_arrays_layout-inl.h"
jeffhaoec014232012-09-05 10:42:25 -070051#include "verifier/method_verifier.h"
Brian Carlstrome24fa612011-09-29 00:53:55 -070052
53namespace art {
54
Vladimir Marko96c6ab92014-04-08 14:00:50 +010055#define DCHECK_OFFSET() \
56 DCHECK_EQ(static_cast<off_t>(file_offset + relative_offset), out->Seek(0, kSeekCurrent)) \
57 << "file_offset=" << file_offset << " relative_offset=" << relative_offset
58
59#define DCHECK_OFFSET_() \
60 DCHECK_EQ(static_cast<off_t>(file_offset + offset_), out->Seek(0, kSeekCurrent)) \
61 << "file_offset=" << file_offset << " offset_=" << offset_
62
Brian Carlstrom3320cf42011-10-04 14:58:28 -070063OatWriter::OatWriter(const std::vector<const DexFile*>& dex_files,
Brian Carlstrom28db0122012-10-18 16:20:41 -070064 uint32_t image_file_location_oat_checksum,
Ian Rogersef7d42f2014-01-06 12:55:46 -080065 uintptr_t image_file_location_oat_begin,
Alex Lighta59dd802014-07-02 16:28:08 -070066 int32_t image_patch_delta,
Ian Rogersca368cb2013-11-15 15:52:08 -080067 const CompilerDriver* compiler,
Vladimir Markof4da6752014-08-01 19:04:18 +010068 ImageWriter* image_writer,
Mathieu Chartierda5b28a2015-11-05 08:03:47 -080069 bool compiling_boot_image,
Andreas Gampe22f8e5c2014-07-09 11:38:21 -070070 TimingLogger* timings,
71 SafeMap<std::string, std::string>* key_value_store)
Jeff Hao0aba0ba2013-06-03 14:49:28 -070072 : compiler_driver_(compiler),
Vladimir Markof4da6752014-08-01 19:04:18 +010073 image_writer_(image_writer),
Mathieu Chartierda5b28a2015-11-05 08:03:47 -080074 compiling_boot_image_(compiling_boot_image),
Jeff Hao0aba0ba2013-06-03 14:49:28 -070075 dex_files_(&dex_files),
Vladimir Markof4da6752014-08-01 19:04:18 +010076 size_(0u),
Vladimir Marko5c42c292015-02-25 12:02:49 +000077 bss_size_(0u),
Vladimir Markof4da6752014-08-01 19:04:18 +010078 oat_data_offset_(0u),
Jeff Hao0aba0ba2013-06-03 14:49:28 -070079 image_file_location_oat_checksum_(image_file_location_oat_checksum),
80 image_file_location_oat_begin_(image_file_location_oat_begin),
Alex Lighta59dd802014-07-02 16:28:08 -070081 image_patch_delta_(image_patch_delta),
Andreas Gampe22f8e5c2014-07-09 11:38:21 -070082 key_value_store_(key_value_store),
Mathieu Chartier2cebb242015-04-21 16:50:40 -070083 oat_header_(nullptr),
Jeff Hao0aba0ba2013-06-03 14:49:28 -070084 size_dex_file_alignment_(0),
85 size_executable_offset_alignment_(0),
86 size_oat_header_(0),
Andreas Gampe22f8e5c2014-07-09 11:38:21 -070087 size_oat_header_key_value_store_(0),
Jeff Hao0aba0ba2013-06-03 14:49:28 -070088 size_dex_file_(0),
Ian Rogers848871b2013-08-05 10:56:33 -070089 size_interpreter_to_interpreter_bridge_(0),
90 size_interpreter_to_compiled_code_bridge_(0),
91 size_jni_dlsym_lookup_(0),
Andreas Gampe2da88232014-02-27 12:26:20 -080092 size_quick_generic_jni_trampoline_(0),
Jeff Hao88474b42013-10-23 16:24:40 -070093 size_quick_imt_conflict_trampoline_(0),
Jeff Hao0aba0ba2013-06-03 14:49:28 -070094 size_quick_resolution_trampoline_(0),
Ian Rogers848871b2013-08-05 10:56:33 -070095 size_quick_to_interpreter_bridge_(0),
96 size_trampoline_alignment_(0),
Vladimir Marko96c6ab92014-04-08 14:00:50 +010097 size_method_header_(0),
Jeff Hao0aba0ba2013-06-03 14:49:28 -070098 size_code_(0),
99 size_code_alignment_(0),
Vladimir Markof4da6752014-08-01 19:04:18 +0100100 size_relative_call_thunks_(0),
Vladimir Markoc74658b2015-03-31 10:26:41 +0100101 size_misc_thunks_(0),
Jeff Hao0aba0ba2013-06-03 14:49:28 -0700102 size_mapping_table_(0),
103 size_vmap_table_(0),
104 size_gc_map_(0),
105 size_oat_dex_file_location_size_(0),
106 size_oat_dex_file_location_data_(0),
107 size_oat_dex_file_location_checksum_(0),
108 size_oat_dex_file_offset_(0),
109 size_oat_dex_file_methods_offsets_(0),
Brian Carlstromba150c32013-08-27 17:31:03 -0700110 size_oat_class_type_(0),
Jeff Hao0aba0ba2013-06-03 14:49:28 -0700111 size_oat_class_status_(0),
Brian Carlstromba150c32013-08-27 17:31:03 -0700112 size_oat_class_method_bitmaps_(0),
Vladimir Markof4da6752014-08-01 19:04:18 +0100113 size_oat_class_method_offsets_(0),
Artem Udovichenkod9786b02015-10-14 16:36:55 +0300114 size_oat_lookup_table_alignment_(0),
115 size_oat_lookup_table_offset_(0),
116 size_oat_lookup_table_(0),
Vladimir Markof4da6752014-08-01 19:04:18 +0100117 method_offset_map_() {
Andreas Gampe22f8e5c2014-07-09 11:38:21 -0700118 CHECK(key_value_store != nullptr);
Mathieu Chartierda5b28a2015-11-05 08:03:47 -0800119 if (compiling_boot_image) {
120 CHECK(image_writer != nullptr);
121 }
Vladimir Markob163bb72015-03-31 21:49:49 +0100122 InstructionSet instruction_set = compiler_driver_->GetInstructionSet();
123 const InstructionSetFeatures* features = compiler_driver_->GetInstructionSetFeatures();
124 relative_patcher_ = linker::RelativePatcher::Create(instruction_set, features,
125 &method_offset_map_);
Vladimir Markof4da6752014-08-01 19:04:18 +0100126
Ian Rogersca368cb2013-11-15 15:52:08 -0800127 size_t offset;
128 {
Mathieu Chartierf5997b42014-06-20 10:37:54 -0700129 TimingLogger::ScopedTiming split("InitOatHeader", timings);
Ian Rogersca368cb2013-11-15 15:52:08 -0800130 offset = InitOatHeader();
131 }
132 {
Mathieu Chartierf5997b42014-06-20 10:37:54 -0700133 TimingLogger::ScopedTiming split("InitOatDexFiles", timings);
Ian Rogersca368cb2013-11-15 15:52:08 -0800134 offset = InitOatDexFiles(offset);
135 }
136 {
Mathieu Chartierf5997b42014-06-20 10:37:54 -0700137 TimingLogger::ScopedTiming split("InitDexFiles", timings);
Ian Rogersca368cb2013-11-15 15:52:08 -0800138 offset = InitDexFiles(offset);
139 }
140 {
Artem Udovichenkod9786b02015-10-14 16:36:55 +0300141 TimingLogger::ScopedTiming split("InitLookupTables", timings);
142 offset = InitLookupTables(offset);
143 }
144 {
Mathieu Chartierf5997b42014-06-20 10:37:54 -0700145 TimingLogger::ScopedTiming split("InitOatClasses", timings);
Ian Rogersca368cb2013-11-15 15:52:08 -0800146 offset = InitOatClasses(offset);
147 }
148 {
Mathieu Chartierf5997b42014-06-20 10:37:54 -0700149 TimingLogger::ScopedTiming split("InitOatMaps", timings);
Vladimir Marko96c6ab92014-04-08 14:00:50 +0100150 offset = InitOatMaps(offset);
151 }
152 {
Mathieu Chartierf5997b42014-06-20 10:37:54 -0700153 TimingLogger::ScopedTiming split("InitOatCode", timings);
Ian Rogersca368cb2013-11-15 15:52:08 -0800154 offset = InitOatCode(offset);
155 }
156 {
Mathieu Chartierf5997b42014-06-20 10:37:54 -0700157 TimingLogger::ScopedTiming split("InitOatCodeDexFiles", timings);
Ian Rogersca368cb2013-11-15 15:52:08 -0800158 offset = InitOatCodeDexFiles(offset);
159 }
Brian Carlstromc50d8e12013-07-23 22:35:16 -0700160 size_ = offset;
Brian Carlstrome24fa612011-09-29 00:53:55 -0700161
Mathieu Chartierda5b28a2015-11-05 08:03:47 -0800162 if (!HasBootImage()) {
Vladimir Marko09d09432015-09-08 13:47:48 +0100163 // Allocate space for app dex cache arrays in the .bss section.
164 size_t bss_start = RoundUp(size_, kPageSize);
165 size_t pointer_size = GetInstructionSetPointerSize(instruction_set);
166 bss_size_ = 0u;
167 for (const DexFile* dex_file : dex_files) {
168 dex_cache_arrays_offsets_.Put(dex_file, bss_start + bss_size_);
169 DexCacheArraysLayout layout(pointer_size, dex_file);
170 bss_size_ += layout.Size();
171 }
172 }
173
Brian Carlstrome24fa612011-09-29 00:53:55 -0700174 CHECK_EQ(dex_files_->size(), oat_dex_files_.size());
Mathieu Chartierda5b28a2015-11-05 08:03:47 -0800175 if (compiling_boot_image_) {
176 CHECK_EQ(image_writer_ != nullptr,
177 key_value_store_->find(OatHeader::kImageLocationKey) == key_value_store_->end());
178 }
Alex Lighta59dd802014-07-02 16:28:08 -0700179 CHECK_ALIGNED(image_patch_delta_, kPageSize);
Brian Carlstrome24fa612011-09-29 00:53:55 -0700180}
181
Ian Rogers0571d352011-11-03 19:51:38 -0700182OatWriter::~OatWriter() {
183 delete oat_header_;
184 STLDeleteElements(&oat_dex_files_);
Brian Carlstrom389efb02012-01-11 12:06:26 -0800185 STLDeleteElements(&oat_classes_);
Ian Rogers0571d352011-11-03 19:51:38 -0700186}
187
Vladimir Marko96c6ab92014-04-08 14:00:50 +0100188struct OatWriter::GcMapDataAccess {
Vladimir Marko35831e82015-09-11 11:59:18 +0100189 static ArrayRef<const uint8_t> GetData(const CompiledMethod* compiled_method) ALWAYS_INLINE {
Nicolas Geoffray39468442014-09-02 15:17:15 +0100190 return compiled_method->GetGcMap();
Vladimir Marko96c6ab92014-04-08 14:00:50 +0100191 }
192
193 static uint32_t GetOffset(OatClass* oat_class, size_t method_offsets_index) ALWAYS_INLINE {
Mathieu Chartier957ca1c2014-11-21 16:51:29 -0800194 uint32_t offset = oat_class->method_headers_[method_offsets_index].gc_map_offset_;
195 return offset == 0u ? 0u :
196 (oat_class->method_offsets_[method_offsets_index].code_offset_ & ~1) - offset;
Vladimir Marko96c6ab92014-04-08 14:00:50 +0100197 }
198
199 static void SetOffset(OatClass* oat_class, size_t method_offsets_index, uint32_t offset)
200 ALWAYS_INLINE {
Mathieu Chartier957ca1c2014-11-21 16:51:29 -0800201 oat_class->method_headers_[method_offsets_index].gc_map_offset_ =
202 (oat_class->method_offsets_[method_offsets_index].code_offset_ & ~1) - offset;
Vladimir Marko96c6ab92014-04-08 14:00:50 +0100203 }
204
Mathieu Chartier957ca1c2014-11-21 16:51:29 -0800205 static const char* Name() {
Vladimir Marko96c6ab92014-04-08 14:00:50 +0100206 return "GC map";
207 }
208};
209
210struct OatWriter::MappingTableDataAccess {
Vladimir Marko35831e82015-09-11 11:59:18 +0100211 static ArrayRef<const uint8_t> GetData(const CompiledMethod* compiled_method) ALWAYS_INLINE {
Nicolas Geoffray376b2bb2014-12-09 14:26:32 +0000212 return compiled_method->GetMappingTable();
Vladimir Marko96c6ab92014-04-08 14:00:50 +0100213 }
214
215 static uint32_t GetOffset(OatClass* oat_class, size_t method_offsets_index) ALWAYS_INLINE {
Vladimir Marko8a630572014-04-09 18:45:35 +0100216 uint32_t offset = oat_class->method_headers_[method_offsets_index].mapping_table_offset_;
217 return offset == 0u ? 0u :
218 (oat_class->method_offsets_[method_offsets_index].code_offset_ & ~1) - offset;
Vladimir Marko96c6ab92014-04-08 14:00:50 +0100219 }
220
221 static void SetOffset(OatClass* oat_class, size_t method_offsets_index, uint32_t offset)
222 ALWAYS_INLINE {
Vladimir Marko8a630572014-04-09 18:45:35 +0100223 oat_class->method_headers_[method_offsets_index].mapping_table_offset_ =
224 (oat_class->method_offsets_[method_offsets_index].code_offset_ & ~1) - offset;
Vladimir Marko96c6ab92014-04-08 14:00:50 +0100225 }
226
Mathieu Chartier957ca1c2014-11-21 16:51:29 -0800227 static const char* Name() {
Vladimir Marko96c6ab92014-04-08 14:00:50 +0100228 return "mapping table";
229 }
230};
231
232struct OatWriter::VmapTableDataAccess {
Vladimir Marko35831e82015-09-11 11:59:18 +0100233 static ArrayRef<const uint8_t> GetData(const CompiledMethod* compiled_method) ALWAYS_INLINE {
Mathieu Chartiere5f13e52015-02-24 09:37:21 -0800234 return compiled_method->GetVmapTable();
Vladimir Marko96c6ab92014-04-08 14:00:50 +0100235 }
236
237 static uint32_t GetOffset(OatClass* oat_class, size_t method_offsets_index) ALWAYS_INLINE {
Vladimir Marko8a630572014-04-09 18:45:35 +0100238 uint32_t offset = oat_class->method_headers_[method_offsets_index].vmap_table_offset_;
239 return offset == 0u ? 0u :
240 (oat_class->method_offsets_[method_offsets_index].code_offset_ & ~1) - offset;
Vladimir Marko96c6ab92014-04-08 14:00:50 +0100241 }
242
243 static void SetOffset(OatClass* oat_class, size_t method_offsets_index, uint32_t offset)
244 ALWAYS_INLINE {
Vladimir Marko8a630572014-04-09 18:45:35 +0100245 oat_class->method_headers_[method_offsets_index].vmap_table_offset_ =
246 (oat_class->method_offsets_[method_offsets_index].code_offset_ & ~1) - offset;
Vladimir Marko96c6ab92014-04-08 14:00:50 +0100247 }
248
Mathieu Chartier957ca1c2014-11-21 16:51:29 -0800249 static const char* Name() {
Vladimir Marko96c6ab92014-04-08 14:00:50 +0100250 return "vmap table";
251 }
252};
253
254class OatWriter::DexMethodVisitor {
255 public:
256 DexMethodVisitor(OatWriter* writer, size_t offset)
257 : writer_(writer),
258 offset_(offset),
259 dex_file_(nullptr),
260 class_def_index_(DexFile::kDexNoIndex) {
261 }
262
263 virtual bool StartClass(const DexFile* dex_file, size_t class_def_index) {
264 DCHECK(dex_file_ == nullptr);
265 DCHECK_EQ(class_def_index_, DexFile::kDexNoIndex);
266 dex_file_ = dex_file;
267 class_def_index_ = class_def_index;
268 return true;
269 }
270
271 virtual bool VisitMethod(size_t class_def_method_index, const ClassDataItemIterator& it) = 0;
272
273 virtual bool EndClass() {
274 if (kIsDebugBuild) {
275 dex_file_ = nullptr;
276 class_def_index_ = DexFile::kDexNoIndex;
277 }
278 return true;
279 }
280
281 size_t GetOffset() const {
282 return offset_;
283 }
284
285 protected:
286 virtual ~DexMethodVisitor() { }
287
288 OatWriter* const writer_;
289
290 // The offset is usually advanced for each visited method by the derived class.
291 size_t offset_;
292
293 // The dex file and class def index are set in StartClass().
294 const DexFile* dex_file_;
295 size_t class_def_index_;
296};
297
298class OatWriter::OatDexMethodVisitor : public DexMethodVisitor {
299 public:
300 OatDexMethodVisitor(OatWriter* writer, size_t offset)
301 : DexMethodVisitor(writer, offset),
302 oat_class_index_(0u),
303 method_offsets_index_(0u) {
304 }
305
306 bool StartClass(const DexFile* dex_file, size_t class_def_index) {
307 DexMethodVisitor::StartClass(dex_file, class_def_index);
308 DCHECK_LT(oat_class_index_, writer_->oat_classes_.size());
309 method_offsets_index_ = 0u;
310 return true;
311 }
312
313 bool EndClass() {
314 ++oat_class_index_;
315 return DexMethodVisitor::EndClass();
316 }
317
318 protected:
319 size_t oat_class_index_;
320 size_t method_offsets_index_;
321};
322
323class OatWriter::InitOatClassesMethodVisitor : public DexMethodVisitor {
324 public:
325 InitOatClassesMethodVisitor(OatWriter* writer, size_t offset)
326 : DexMethodVisitor(writer, offset),
327 compiled_methods_(),
328 num_non_null_compiled_methods_(0u) {
329 compiled_methods_.reserve(256u);
330 }
331
332 bool StartClass(const DexFile* dex_file, size_t class_def_index) {
333 DexMethodVisitor::StartClass(dex_file, class_def_index);
334 compiled_methods_.clear();
335 num_non_null_compiled_methods_ = 0u;
336 return true;
337 }
338
Artem Udovichenkod9786b02015-10-14 16:36:55 +0300339 bool VisitMethod(size_t class_def_method_index ATTRIBUTE_UNUSED,
340 const ClassDataItemIterator& it) {
Vladimir Marko96c6ab92014-04-08 14:00:50 +0100341 // Fill in the compiled_methods_ array for methods that have a
342 // CompiledMethod. We track the number of non-null entries in
343 // num_non_null_compiled_methods_ since we only want to allocate
344 // OatMethodOffsets for the compiled methods.
345 uint32_t method_idx = it.GetMemberIndex();
346 CompiledMethod* compiled_method =
347 writer_->compiler_driver_->GetCompiledMethod(MethodReference(dex_file_, method_idx));
348 compiled_methods_.push_back(compiled_method);
349 if (compiled_method != nullptr) {
350 ++num_non_null_compiled_methods_;
351 }
352 return true;
353 }
354
355 bool EndClass() {
356 ClassReference class_ref(dex_file_, class_def_index_);
357 CompiledClass* compiled_class = writer_->compiler_driver_->GetCompiledClass(class_ref);
358 mirror::Class::Status status;
Mathieu Chartier2cebb242015-04-21 16:50:40 -0700359 if (compiled_class != nullptr) {
Vladimir Marko96c6ab92014-04-08 14:00:50 +0100360 status = compiled_class->GetStatus();
361 } else if (writer_->compiler_driver_->GetVerificationResults()->IsClassRejected(class_ref)) {
362 status = mirror::Class::kStatusError;
363 } else {
364 status = mirror::Class::kStatusNotReady;
365 }
366
367 OatClass* oat_class = new OatClass(offset_, compiled_methods_,
368 num_non_null_compiled_methods_, status);
369 writer_->oat_classes_.push_back(oat_class);
Vladimir Markof4da6752014-08-01 19:04:18 +0100370 oat_class->UpdateChecksum(writer_->oat_header_);
Vladimir Marko96c6ab92014-04-08 14:00:50 +0100371 offset_ += oat_class->SizeOf();
372 return DexMethodVisitor::EndClass();
373 }
374
375 private:
376 std::vector<CompiledMethod*> compiled_methods_;
377 size_t num_non_null_compiled_methods_;
378};
379
380class OatWriter::InitCodeMethodVisitor : public OatDexMethodVisitor {
381 public:
382 InitCodeMethodVisitor(OatWriter* writer, size_t offset)
David Srbecky009e2a62015-04-15 02:46:30 +0100383 : OatDexMethodVisitor(writer, offset),
David Srbecky009e2a62015-04-15 02:46:30 +0100384 debuggable_(writer->GetCompilerDriver()->GetCompilerOptions().GetDebuggable()) {
David Srbeckyf8980872015-05-22 17:04:47 +0100385 writer_->absolute_patch_locations_.reserve(
Vladimir Markof4da6752014-08-01 19:04:18 +0100386 writer_->compiler_driver_->GetNonRelativeLinkerPatchCount());
387 }
388
389 bool EndClass() {
390 OatDexMethodVisitor::EndClass();
391 if (oat_class_index_ == writer_->oat_classes_.size()) {
Vladimir Marko71b0ddf2015-04-02 19:45:06 +0100392 offset_ = writer_->relative_patcher_->ReserveSpaceEnd(offset_);
Vladimir Markof4da6752014-08-01 19:04:18 +0100393 }
394 return true;
Vladimir Marko96c6ab92014-04-08 14:00:50 +0100395 }
396
397 bool VisitMethod(size_t class_def_method_index, const ClassDataItemIterator& it)
Mathieu Chartier90443472015-07-16 20:32:27 -0700398 SHARED_REQUIRES(Locks::mutator_lock_) {
Vladimir Marko96c6ab92014-04-08 14:00:50 +0100399 OatClass* oat_class = writer_->oat_classes_[oat_class_index_];
400 CompiledMethod* compiled_method = oat_class->GetCompiledMethod(class_def_method_index);
401
402 if (compiled_method != nullptr) {
403 // Derived from CompiledMethod.
404 uint32_t quick_code_offset = 0;
Vladimir Marko96c6ab92014-04-08 14:00:50 +0100405
Vladimir Marko35831e82015-09-11 11:59:18 +0100406 ArrayRef<const uint8_t> quick_code = compiled_method->GetQuickCode();
407 uint32_t code_size = quick_code.size() * sizeof(uint8_t);
Elliott Hughes956af0f2014-12-11 14:34:28 -0800408 uint32_t thumb_offset = compiled_method->CodeDelta();
Elliott Hughes956af0f2014-12-11 14:34:28 -0800409
David Srbecky009e2a62015-04-15 02:46:30 +0100410 // Deduplicate code arrays if we are not producing debuggable code.
Vladimir Markoc74658b2015-03-31 10:26:41 +0100411 bool deduped = false;
Nicolas Geoffrayed6195a2015-07-13 17:02:30 +0000412 if (debuggable_) {
413 quick_code_offset = NewQuickCodeOffset(compiled_method, it, thumb_offset);
414 } else {
415 auto lb = dedupe_map_.lower_bound(compiled_method);
416 if (lb != dedupe_map_.end() && !dedupe_map_.key_comp()(compiled_method, lb->first)) {
417 quick_code_offset = lb->second;
418 deduped = true;
Nicolas Geoffrayf0758792015-07-13 11:56:00 +0000419 } else {
Nicolas Geoffrayed6195a2015-07-13 17:02:30 +0000420 quick_code_offset = NewQuickCodeOffset(compiled_method, it, thumb_offset);
421 dedupe_map_.PutBefore(lb, compiled_method, quick_code_offset);
David Srbecky009e2a62015-04-15 02:46:30 +0100422 }
Elliott Hughes956af0f2014-12-11 14:34:28 -0800423 }
Vladimir Marko96c6ab92014-04-08 14:00:50 +0100424
Nicolas Geoffrayc04c8002015-07-14 11:37:54 +0100425 if (code_size != 0) {
426 MethodReference method_ref(dex_file_, it.GetMemberIndex());
427 auto method_lb = writer_->method_offset_map_.map.lower_bound(method_ref);
428 if (method_lb != writer_->method_offset_map_.map.end() &&
429 !writer_->method_offset_map_.map.key_comp()(method_ref, method_lb->first)) {
430 // TODO: Should this be a hard failure?
431 LOG(WARNING) << "Multiple definitions of "
432 << PrettyMethod(method_ref.dex_method_index, *method_ref.dex_file)
433 << ((method_lb->second != quick_code_offset) ? "; OFFSET MISMATCH" : "");
434 } else {
435 writer_->method_offset_map_.map.PutBefore(method_lb, method_ref, quick_code_offset);
436 }
Elliott Hughes956af0f2014-12-11 14:34:28 -0800437 }
Vladimir Marko96c6ab92014-04-08 14:00:50 +0100438
Elliott Hughes956af0f2014-12-11 14:34:28 -0800439 // Update quick method header.
440 DCHECK_LT(method_offsets_index_, oat_class->method_headers_.size());
441 OatQuickMethodHeader* method_header = &oat_class->method_headers_[method_offsets_index_];
442 uint32_t mapping_table_offset = method_header->mapping_table_offset_;
443 uint32_t vmap_table_offset = method_header->vmap_table_offset_;
Nicolas Geoffrayc04c8002015-07-14 11:37:54 +0100444 // If we don't have quick code, then we must have a vmap, as that is how the dex2dex
445 // compiler records its transformations.
Vladimir Marko35831e82015-09-11 11:59:18 +0100446 DCHECK(!quick_code.empty() || vmap_table_offset != 0);
Elliott Hughes956af0f2014-12-11 14:34:28 -0800447 uint32_t gc_map_offset = method_header->gc_map_offset_;
448 // The code offset was 0 when the mapping/vmap table offset was set, so it's set
449 // to 0-offset and we need to adjust it by code_offset.
450 uint32_t code_offset = quick_code_offset - thumb_offset;
Nicolas Geoffrayc04c8002015-07-14 11:37:54 +0100451 if (mapping_table_offset != 0u && code_offset != 0u) {
Elliott Hughes956af0f2014-12-11 14:34:28 -0800452 mapping_table_offset += code_offset;
Nicolas Geoffrayc04c8002015-07-14 11:37:54 +0100453 DCHECK_LT(mapping_table_offset, code_offset) << "Overflow in oat offsets";
Elliott Hughes956af0f2014-12-11 14:34:28 -0800454 }
Nicolas Geoffrayc04c8002015-07-14 11:37:54 +0100455 if (vmap_table_offset != 0u && code_offset != 0u) {
Elliott Hughes956af0f2014-12-11 14:34:28 -0800456 vmap_table_offset += code_offset;
Nicolas Geoffrayc04c8002015-07-14 11:37:54 +0100457 DCHECK_LT(vmap_table_offset, code_offset) << "Overflow in oat offsets";
Elliott Hughes956af0f2014-12-11 14:34:28 -0800458 }
Nicolas Geoffrayc04c8002015-07-14 11:37:54 +0100459 if (gc_map_offset != 0u && code_offset != 0u) {
Elliott Hughes956af0f2014-12-11 14:34:28 -0800460 gc_map_offset += code_offset;
Nicolas Geoffrayc04c8002015-07-14 11:37:54 +0100461 DCHECK_LT(gc_map_offset, code_offset) << "Overflow in oat offsets";
Elliott Hughes956af0f2014-12-11 14:34:28 -0800462 }
463 uint32_t frame_size_in_bytes = compiled_method->GetFrameSizeInBytes();
464 uint32_t core_spill_mask = compiled_method->GetCoreSpillMask();
465 uint32_t fp_spill_mask = compiled_method->GetFpSpillMask();
466 *method_header = OatQuickMethodHeader(mapping_table_offset, vmap_table_offset,
467 gc_map_offset, frame_size_in_bytes, core_spill_mask,
468 fp_spill_mask, code_size);
Vladimir Marko7624d252014-05-02 14:40:15 +0100469
Nicolas Geoffrayed6195a2015-07-13 17:02:30 +0000470 if (!deduped) {
Elliott Hughes956af0f2014-12-11 14:34:28 -0800471 // Update offsets. (Checksum is updated when writing.)
472 offset_ += sizeof(*method_header); // Method header is prepended before code.
473 offset_ += code_size;
474 // Record absolute patch locations.
475 if (!compiled_method->GetPatches().empty()) {
476 uintptr_t base_loc = offset_ - code_size - writer_->oat_header_->GetExecutableOffset();
477 for (const LinkerPatch& patch : compiled_method->GetPatches()) {
Vladimir Marko20f85592015-03-19 10:07:02 +0000478 if (!patch.IsPcRelative()) {
David Srbeckyf8980872015-05-22 17:04:47 +0100479 writer_->absolute_patch_locations_.push_back(base_loc + patch.LiteralOffset());
Vladimir Markof4da6752014-08-01 19:04:18 +0100480 }
481 }
Vladimir Marko96c6ab92014-04-08 14:00:50 +0100482 }
Elliott Hughes956af0f2014-12-11 14:34:28 -0800483 }
Alex Light78382fa2014-06-06 15:45:32 -0700484
David Srbecky8363c772015-05-28 16:12:43 +0100485 if (writer_->compiler_driver_->GetCompilerOptions().GetGenerateDebugInfo()) {
Elliott Hughes956af0f2014-12-11 14:34:28 -0800486 // Record debug information for this function if we are doing that.
Elliott Hughes956af0f2014-12-11 14:34:28 -0800487 const uint32_t quick_code_start = quick_code_offset -
David Srbecky6f715892015-03-30 14:21:42 +0100488 writer_->oat_header_->GetExecutableOffset() - thumb_offset;
Vladimir Marko10c13562015-11-25 14:33:36 +0000489 writer_->method_info_.push_back(dwarf::MethodDebugInfo {
David Srbecky0df9e1f2015-04-07 19:02:58 +0100490 dex_file_,
491 class_def_index_,
492 it.GetMemberIndex(),
493 it.GetMethodAccessFlags(),
494 it.GetMethodCodeItem(),
495 deduped,
496 quick_code_start,
497 quick_code_start + code_size,
498 compiled_method});
Vladimir Marko96c6ab92014-04-08 14:00:50 +0100499 }
Vladimir Marko96c6ab92014-04-08 14:00:50 +0100500
501 if (kIsDebugBuild) {
502 // We expect GC maps except when the class hasn't been verified or the method is native.
503 const CompilerDriver* compiler_driver = writer_->compiler_driver_;
504 ClassReference class_ref(dex_file_, class_def_index_);
505 CompiledClass* compiled_class = compiler_driver->GetCompiledClass(class_ref);
506 mirror::Class::Status status;
Mathieu Chartier2cebb242015-04-21 16:50:40 -0700507 if (compiled_class != nullptr) {
Vladimir Marko96c6ab92014-04-08 14:00:50 +0100508 status = compiled_class->GetStatus();
509 } else if (compiler_driver->GetVerificationResults()->IsClassRejected(class_ref)) {
510 status = mirror::Class::kStatusError;
511 } else {
512 status = mirror::Class::kStatusNotReady;
513 }
Vladimir Marko35831e82015-09-11 11:59:18 +0100514 ArrayRef<const uint8_t> gc_map = compiled_method->GetGcMap();
515 if (!gc_map.empty()) {
516 size_t gc_map_size = gc_map.size() * sizeof(gc_map[0]);
Andreas Gampe51829322014-08-25 15:05:04 -0700517 bool is_native = it.MemberIsNative();
Nicolas Geoffray39468442014-09-02 15:17:15 +0100518 CHECK(gc_map_size != 0 || is_native || status < mirror::Class::kStatusVerified)
Vladimir Marko35831e82015-09-11 11:59:18 +0100519 << gc_map_size << " " << (is_native ? "true" : "false") << " "
Nicolas Geoffray39468442014-09-02 15:17:15 +0100520 << (status < mirror::Class::kStatusVerified) << " " << status << " "
521 << PrettyMethod(it.GetMemberIndex(), *dex_file_);
522 }
Vladimir Marko96c6ab92014-04-08 14:00:50 +0100523 }
524
525 DCHECK_LT(method_offsets_index_, oat_class->method_offsets_.size());
526 OatMethodOffsets* offsets = &oat_class->method_offsets_[method_offsets_index_];
527 offsets->code_offset_ = quick_code_offset;
Vladimir Marko96c6ab92014-04-08 14:00:50 +0100528 ++method_offsets_index_;
529 }
530
531 return true;
532 }
533
534 private:
Vladimir Marko20f85592015-03-19 10:07:02 +0000535 struct CodeOffsetsKeyComparator {
536 bool operator()(const CompiledMethod* lhs, const CompiledMethod* rhs) const {
Vladimir Marko35831e82015-09-11 11:59:18 +0100537 // Code is deduplicated by CompilerDriver, compare only data pointers.
538 if (lhs->GetQuickCode().data() != rhs->GetQuickCode().data()) {
539 return lhs->GetQuickCode().data() < rhs->GetQuickCode().data();
Vladimir Marko20f85592015-03-19 10:07:02 +0000540 }
541 // If the code is the same, all other fields are likely to be the same as well.
Vladimir Marko35831e82015-09-11 11:59:18 +0100542 if (UNLIKELY(lhs->GetMappingTable().data() != rhs->GetMappingTable().data())) {
543 return lhs->GetMappingTable().data() < rhs->GetMappingTable().data();
Vladimir Marko20f85592015-03-19 10:07:02 +0000544 }
Vladimir Marko35831e82015-09-11 11:59:18 +0100545 if (UNLIKELY(lhs->GetVmapTable().data() != rhs->GetVmapTable().data())) {
546 return lhs->GetVmapTable().data() < rhs->GetVmapTable().data();
Vladimir Marko20f85592015-03-19 10:07:02 +0000547 }
Vladimir Marko35831e82015-09-11 11:59:18 +0100548 if (UNLIKELY(lhs->GetGcMap().data() != rhs->GetGcMap().data())) {
549 return lhs->GetGcMap().data() < rhs->GetGcMap().data();
Vladimir Marko20f85592015-03-19 10:07:02 +0000550 }
Vladimir Marko35831e82015-09-11 11:59:18 +0100551 if (UNLIKELY(lhs->GetPatches().data() != rhs->GetPatches().data())) {
552 return lhs->GetPatches().data() < rhs->GetPatches().data();
Vladimir Marko20f85592015-03-19 10:07:02 +0000553 }
554 return false;
555 }
556 };
557
David Srbecky009e2a62015-04-15 02:46:30 +0100558 uint32_t NewQuickCodeOffset(CompiledMethod* compiled_method,
559 const ClassDataItemIterator& it,
560 uint32_t thumb_offset) {
561 offset_ = writer_->relative_patcher_->ReserveSpace(
Nicolas Geoffrayc04c8002015-07-14 11:37:54 +0100562 offset_, compiled_method, MethodReference(dex_file_, it.GetMemberIndex()));
David Srbecky009e2a62015-04-15 02:46:30 +0100563 offset_ = compiled_method->AlignCode(offset_);
564 DCHECK_ALIGNED_PARAM(offset_,
565 GetInstructionSetAlignment(compiled_method->GetInstructionSet()));
566 return offset_ + sizeof(OatQuickMethodHeader) + thumb_offset;
567 }
568
Vladimir Marko96c6ab92014-04-08 14:00:50 +0100569 // Deduplication is already done on a pointer basis by the compiler driver,
570 // so we can simply compare the pointers to find out if things are duplicated.
Vladimir Marko8a630572014-04-09 18:45:35 +0100571 SafeMap<const CompiledMethod*, uint32_t, CodeOffsetsKeyComparator> dedupe_map_;
David Srbecky2f6cdb02015-04-11 00:17:53 +0100572
David Srbecky009e2a62015-04-15 02:46:30 +0100573 // Cache of compiler's --debuggable option.
574 const bool debuggable_;
Vladimir Marko96c6ab92014-04-08 14:00:50 +0100575};
576
577template <typename DataAccess>
578class OatWriter::InitMapMethodVisitor : public OatDexMethodVisitor {
579 public:
580 InitMapMethodVisitor(OatWriter* writer, size_t offset)
581 : OatDexMethodVisitor(writer, offset) {
582 }
583
Ian Rogers6a3c1fc2014-10-31 00:33:20 -0700584 bool VisitMethod(size_t class_def_method_index, const ClassDataItemIterator& it ATTRIBUTE_UNUSED)
Mathieu Chartier90443472015-07-16 20:32:27 -0700585 SHARED_REQUIRES(Locks::mutator_lock_) {
Vladimir Marko96c6ab92014-04-08 14:00:50 +0100586 OatClass* oat_class = writer_->oat_classes_[oat_class_index_];
587 CompiledMethod* compiled_method = oat_class->GetCompiledMethod(class_def_method_index);
588
589 if (compiled_method != nullptr) {
590 DCHECK_LT(method_offsets_index_, oat_class->method_offsets_.size());
591 DCHECK_EQ(DataAccess::GetOffset(oat_class, method_offsets_index_), 0u);
592
Vladimir Marko35831e82015-09-11 11:59:18 +0100593 ArrayRef<const uint8_t> map = DataAccess::GetData(compiled_method);
594 uint32_t map_size = map.size() * sizeof(map[0]);
Vladimir Marko96c6ab92014-04-08 14:00:50 +0100595 if (map_size != 0u) {
Vladimir Marko35831e82015-09-11 11:59:18 +0100596 auto lb = dedupe_map_.lower_bound(map.data());
597 if (lb != dedupe_map_.end() && !dedupe_map_.key_comp()(map.data(), lb->first)) {
Vladimir Markobd72fc12014-07-09 16:06:40 +0100598 DataAccess::SetOffset(oat_class, method_offsets_index_, lb->second);
Vladimir Marko96c6ab92014-04-08 14:00:50 +0100599 } else {
600 DataAccess::SetOffset(oat_class, method_offsets_index_, offset_);
Vladimir Marko35831e82015-09-11 11:59:18 +0100601 dedupe_map_.PutBefore(lb, map.data(), offset_);
Vladimir Marko96c6ab92014-04-08 14:00:50 +0100602 offset_ += map_size;
Vladimir Marko35831e82015-09-11 11:59:18 +0100603 writer_->oat_header_->UpdateChecksum(&map[0], map_size);
Vladimir Marko96c6ab92014-04-08 14:00:50 +0100604 }
605 }
606 ++method_offsets_index_;
607 }
608
609 return true;
610 }
611
612 private:
613 // Deduplication is already done on a pointer basis by the compiler driver,
614 // so we can simply compare the pointers to find out if things are duplicated.
Vladimir Marko35831e82015-09-11 11:59:18 +0100615 SafeMap<const uint8_t*, uint32_t> dedupe_map_;
Vladimir Marko96c6ab92014-04-08 14:00:50 +0100616};
617
618class OatWriter::InitImageMethodVisitor : public OatDexMethodVisitor {
619 public:
620 InitImageMethodVisitor(OatWriter* writer, size_t offset)
Jeff Haoc7d11882015-02-03 15:08:39 -0800621 : OatDexMethodVisitor(writer, offset),
622 pointer_size_(GetInstructionSetPointerSize(writer_->compiler_driver_->GetInstructionSet())) {
Vladimir Marko96c6ab92014-04-08 14:00:50 +0100623 }
624
625 bool VisitMethod(size_t class_def_method_index, const ClassDataItemIterator& it)
Mathieu Chartier90443472015-07-16 20:32:27 -0700626 SHARED_REQUIRES(Locks::mutator_lock_) {
Vladimir Marko96c6ab92014-04-08 14:00:50 +0100627 OatClass* oat_class = writer_->oat_classes_[oat_class_index_];
628 CompiledMethod* compiled_method = oat_class->GetCompiledMethod(class_def_method_index);
629
Mathieu Chartier957ca1c2014-11-21 16:51:29 -0800630 OatMethodOffsets offsets(0u);
Vladimir Marko96c6ab92014-04-08 14:00:50 +0100631 if (compiled_method != nullptr) {
632 DCHECK_LT(method_offsets_index_, oat_class->method_offsets_.size());
633 offsets = oat_class->method_offsets_[method_offsets_index_];
634 ++method_offsets_index_;
635 }
636
Vladimir Marko96c6ab92014-04-08 14:00:50 +0100637 ClassLinker* linker = Runtime::Current()->GetClassLinker();
638 InvokeType invoke_type = it.GetMethodInvokeType(dex_file_->GetClassDef(class_def_index_));
639 // Unchecked as we hold mutator_lock_ on entry.
640 ScopedObjectAccessUnchecked soa(Thread::Current());
Mathieu Chartier957ca1c2014-11-21 16:51:29 -0800641 StackHandleScope<1> hs(soa.Self());
Mathieu Chartier673ed3d2015-08-28 14:56:43 -0700642 Handle<mirror::DexCache> dex_cache(hs.NewHandle(linker->FindDexCache(
643 Thread::Current(), *dex_file_)));
Mathieu Chartiere401d142015-04-22 13:56:20 -0700644 ArtMethod* method = linker->ResolveMethod(
645 *dex_file_, it.GetMemberIndex(), dex_cache, NullHandle<mirror::ClassLoader>(), nullptr,
646 invoke_type);
Andreas Gamped9efea62014-07-21 22:56:08 -0700647 if (method == nullptr) {
Nicolas Geoffrayc04c8002015-07-14 11:37:54 +0100648 LOG(INTERNAL_FATAL) << "Unexpected failure to resolve a method: "
649 << PrettyMethod(it.GetMemberIndex(), *dex_file_, true);
Andreas Gamped9efea62014-07-21 22:56:08 -0700650 soa.Self()->AssertPendingException();
Nicolas Geoffray14691c52015-03-05 10:40:17 +0000651 mirror::Throwable* exc = soa.Self()->GetException();
Andreas Gamped9efea62014-07-21 22:56:08 -0700652 std::string dump = exc->Dump();
653 LOG(FATAL) << dump;
Nicolas Geoffrayc04c8002015-07-14 11:37:54 +0100654 UNREACHABLE();
Andreas Gamped9efea62014-07-21 22:56:08 -0700655 }
Nicolas Geoffrayc04c8002015-07-14 11:37:54 +0100656
Vladimir Marko35831e82015-09-11 11:59:18 +0100657 if (compiled_method != nullptr && compiled_method->GetQuickCode().size() != 0) {
Nicolas Geoffrayc04c8002015-07-14 11:37:54 +0100658 method->SetEntryPointFromQuickCompiledCodePtrSize(
659 reinterpret_cast<void*>(offsets.code_offset_), pointer_size_);
660 }
Vladimir Marko96c6ab92014-04-08 14:00:50 +0100661
662 return true;
663 }
Jeff Haoc7d11882015-02-03 15:08:39 -0800664
665 protected:
666 const size_t pointer_size_;
Vladimir Marko96c6ab92014-04-08 14:00:50 +0100667};
668
669class OatWriter::WriteCodeMethodVisitor : public OatDexMethodVisitor {
670 public:
671 WriteCodeMethodVisitor(OatWriter* writer, OutputStream* out, const size_t file_offset,
Vladimir Markof4da6752014-08-01 19:04:18 +0100672 size_t relative_offset) SHARED_LOCK_FUNCTION(Locks::mutator_lock_)
Vladimir Marko96c6ab92014-04-08 14:00:50 +0100673 : OatDexMethodVisitor(writer, relative_offset),
674 out_(out),
Vladimir Markof4da6752014-08-01 19:04:18 +0100675 file_offset_(file_offset),
Vladimir Marko7c2ad5a2014-09-24 12:42:55 +0100676 soa_(Thread::Current()),
677 no_thread_suspension_(soa_.Self(), "OatWriter patching"),
Vladimir Markof4da6752014-08-01 19:04:18 +0100678 class_linker_(Runtime::Current()->GetClassLinker()),
679 dex_cache_(nullptr) {
Vladimir Marko09d09432015-09-08 13:47:48 +0100680 patched_code_.reserve(16 * KB);
Mathieu Chartierda5b28a2015-11-05 08:03:47 -0800681 if (writer_->HasBootImage()) {
Vladimir Markof4da6752014-08-01 19:04:18 +0100682 // If we're creating the image, the address space must be ready so that we can apply patches.
683 CHECK(writer_->image_writer_->IsImageAddressSpaceReady());
Vladimir Markof4da6752014-08-01 19:04:18 +0100684 }
Vladimir Marko96c6ab92014-04-08 14:00:50 +0100685 }
686
Vladimir Markof4da6752014-08-01 19:04:18 +0100687 ~WriteCodeMethodVisitor() UNLOCK_FUNCTION(Locks::mutator_lock_) {
Vladimir Markof4da6752014-08-01 19:04:18 +0100688 }
689
690 bool StartClass(const DexFile* dex_file, size_t class_def_index)
Mathieu Chartier90443472015-07-16 20:32:27 -0700691 SHARED_REQUIRES(Locks::mutator_lock_) {
Vladimir Markof4da6752014-08-01 19:04:18 +0100692 OatDexMethodVisitor::StartClass(dex_file, class_def_index);
693 if (dex_cache_ == nullptr || dex_cache_->GetDexFile() != dex_file) {
Mathieu Chartier673ed3d2015-08-28 14:56:43 -0700694 dex_cache_ = class_linker_->FindDexCache(Thread::Current(), *dex_file);
Vladimir Markof4da6752014-08-01 19:04:18 +0100695 }
696 return true;
697 }
698
Mathieu Chartier90443472015-07-16 20:32:27 -0700699 bool EndClass() SHARED_REQUIRES(Locks::mutator_lock_) {
Vladimir Markof4da6752014-08-01 19:04:18 +0100700 bool result = OatDexMethodVisitor::EndClass();
701 if (oat_class_index_ == writer_->oat_classes_.size()) {
702 DCHECK(result); // OatDexMethodVisitor::EndClass() never fails.
Vladimir Marko20f85592015-03-19 10:07:02 +0000703 offset_ = writer_->relative_patcher_->WriteThunks(out_, offset_);
Vladimir Markof4da6752014-08-01 19:04:18 +0100704 if (UNLIKELY(offset_ == 0u)) {
705 PLOG(ERROR) << "Failed to write final relative call thunks";
706 result = false;
707 }
708 }
709 return result;
710 }
711
712 bool VisitMethod(size_t class_def_method_index, const ClassDataItemIterator& it)
Mathieu Chartier90443472015-07-16 20:32:27 -0700713 SHARED_REQUIRES(Locks::mutator_lock_) {
Vladimir Marko96c6ab92014-04-08 14:00:50 +0100714 OatClass* oat_class = writer_->oat_classes_[oat_class_index_];
715 const CompiledMethod* compiled_method = oat_class->GetCompiledMethod(class_def_method_index);
716
Mathieu Chartier673ed3d2015-08-28 14:56:43 -0700717 // No thread suspension since dex_cache_ that may get invalidated if that occurs.
718 ScopedAssertNoThreadSuspension tsc(Thread::Current(), __FUNCTION__);
Mathieu Chartier2cebb242015-04-21 16:50:40 -0700719 if (compiled_method != nullptr) { // ie. not an abstract method
Vladimir Marko96c6ab92014-04-08 14:00:50 +0100720 size_t file_offset = file_offset_;
721 OutputStream* out = out_;
722
Vladimir Marko35831e82015-09-11 11:59:18 +0100723 ArrayRef<const uint8_t> quick_code = compiled_method->GetQuickCode();
724 uint32_t code_size = quick_code.size() * sizeof(uint8_t);
Nicolas Geoffrayf0758792015-07-13 11:56:00 +0000725
Nicolas Geoffrayc04c8002015-07-14 11:37:54 +0100726 // Deduplicate code arrays.
727 const OatMethodOffsets& method_offsets = oat_class->method_offsets_[method_offsets_index_];
728 if (method_offsets.code_offset_ > offset_) {
729 offset_ = writer_->relative_patcher_->WriteThunks(out, offset_);
730 if (offset_ == 0u) {
731 ReportWriteFailure("relative call thunk", it);
732 return false;
Nicolas Geoffrayf0758792015-07-13 11:56:00 +0000733 }
Nicolas Geoffrayc04c8002015-07-14 11:37:54 +0100734 uint32_t aligned_offset = compiled_method->AlignCode(offset_);
735 uint32_t aligned_code_delta = aligned_offset - offset_;
736 if (aligned_code_delta != 0) {
737 if (!writer_->WriteCodeAlignment(out, aligned_code_delta)) {
738 ReportWriteFailure("code alignment padding", it);
739 return false;
740 }
741 offset_ += aligned_code_delta;
742 DCHECK_OFFSET_();
743 }
744 DCHECK_ALIGNED_PARAM(offset_,
745 GetInstructionSetAlignment(compiled_method->GetInstructionSet()));
746 DCHECK_EQ(method_offsets.code_offset_,
747 offset_ + sizeof(OatQuickMethodHeader) + compiled_method->CodeDelta())
748 << PrettyMethod(it.GetMemberIndex(), *dex_file_);
749 const OatQuickMethodHeader& method_header =
750 oat_class->method_headers_[method_offsets_index_];
751 writer_->oat_header_->UpdateChecksum(&method_header, sizeof(method_header));
752 if (!out->WriteFully(&method_header, sizeof(method_header))) {
753 ReportWriteFailure("method header", it);
754 return false;
755 }
756 writer_->size_method_header_ += sizeof(method_header);
757 offset_ += sizeof(method_header);
Nicolas Geoffrayed6195a2015-07-13 17:02:30 +0000758 DCHECK_OFFSET_();
Nicolas Geoffrayc04c8002015-07-14 11:37:54 +0100759
760 if (!compiled_method->GetPatches().empty()) {
Vladimir Marko35831e82015-09-11 11:59:18 +0100761 patched_code_.assign(quick_code.begin(), quick_code.end());
762 quick_code = ArrayRef<const uint8_t>(patched_code_);
Nicolas Geoffrayc04c8002015-07-14 11:37:54 +0100763 for (const LinkerPatch& patch : compiled_method->GetPatches()) {
764 if (patch.Type() == kLinkerPatchCallRelative) {
765 // NOTE: Relative calls across oat files are not supported.
766 uint32_t target_offset = GetTargetOffset(patch);
767 uint32_t literal_offset = patch.LiteralOffset();
768 writer_->relative_patcher_->PatchCall(&patched_code_, literal_offset,
769 offset_ + literal_offset, target_offset);
770 } else if (patch.Type() == kLinkerPatchDexCacheArray) {
771 uint32_t target_offset = GetDexCacheOffset(patch);
772 uint32_t literal_offset = patch.LiteralOffset();
773 writer_->relative_patcher_->PatchDexCacheReference(&patched_code_, patch,
774 offset_ + literal_offset,
775 target_offset);
776 } else if (patch.Type() == kLinkerPatchCall) {
777 uint32_t target_offset = GetTargetOffset(patch);
778 PatchCodeAddress(&patched_code_, patch.LiteralOffset(), target_offset);
779 } else if (patch.Type() == kLinkerPatchMethod) {
780 ArtMethod* method = GetTargetMethod(patch);
781 PatchMethodAddress(&patched_code_, patch.LiteralOffset(), method);
782 } else if (patch.Type() == kLinkerPatchType) {
783 mirror::Class* type = GetTargetType(patch);
784 PatchObjectAddress(&patched_code_, patch.LiteralOffset(), type);
785 }
786 }
787 }
788
Vladimir Marko35831e82015-09-11 11:59:18 +0100789 writer_->oat_header_->UpdateChecksum(quick_code.data(), code_size);
790 if (!out->WriteFully(quick_code.data(), code_size)) {
Nicolas Geoffrayc04c8002015-07-14 11:37:54 +0100791 ReportWriteFailure("method code", it);
792 return false;
793 }
794 writer_->size_code_ += code_size;
795 offset_ += code_size;
Nicolas Geoffrayf0758792015-07-13 11:56:00 +0000796 }
Nicolas Geoffrayc04c8002015-07-14 11:37:54 +0100797 DCHECK_OFFSET_();
Vladimir Marko96c6ab92014-04-08 14:00:50 +0100798 ++method_offsets_index_;
799 }
800
801 return true;
802 }
803
804 private:
805 OutputStream* const out_;
Vladimir Marko7c2ad5a2014-09-24 12:42:55 +0100806 const size_t file_offset_;
807 const ScopedObjectAccess soa_;
808 const ScopedAssertNoThreadSuspension no_thread_suspension_;
Vladimir Markof4da6752014-08-01 19:04:18 +0100809 ClassLinker* const class_linker_;
810 mirror::DexCache* dex_cache_;
811 std::vector<uint8_t> patched_code_;
Vladimir Marko96c6ab92014-04-08 14:00:50 +0100812
813 void ReportWriteFailure(const char* what, const ClassDataItemIterator& it) {
814 PLOG(ERROR) << "Failed to write " << what << " for "
815 << PrettyMethod(it.GetMemberIndex(), *dex_file_) << " to " << out_->GetLocation();
816 }
Vladimir Markof4da6752014-08-01 19:04:18 +0100817
Mathieu Chartiere401d142015-04-22 13:56:20 -0700818 ArtMethod* GetTargetMethod(const LinkerPatch& patch)
Mathieu Chartier90443472015-07-16 20:32:27 -0700819 SHARED_REQUIRES(Locks::mutator_lock_) {
Vladimir Markof4da6752014-08-01 19:04:18 +0100820 MethodReference ref = patch.TargetMethod();
821 mirror::DexCache* dex_cache =
Mathieu Chartier673ed3d2015-08-28 14:56:43 -0700822 (dex_file_ == ref.dex_file) ? dex_cache_ : class_linker_->FindDexCache(
823 Thread::Current(), *ref.dex_file);
Mathieu Chartiere401d142015-04-22 13:56:20 -0700824 ArtMethod* method = dex_cache->GetResolvedMethod(
825 ref.dex_method_index, class_linker_->GetImagePointerSize());
Vladimir Markof4da6752014-08-01 19:04:18 +0100826 CHECK(method != nullptr);
827 return method;
828 }
829
Mathieu Chartier90443472015-07-16 20:32:27 -0700830 uint32_t GetTargetOffset(const LinkerPatch& patch) SHARED_REQUIRES(Locks::mutator_lock_) {
Vladimir Markob163bb72015-03-31 21:49:49 +0100831 auto target_it = writer_->method_offset_map_.map.find(patch.TargetMethod());
Vladimir Markof4da6752014-08-01 19:04:18 +0100832 uint32_t target_offset =
Vladimir Markob163bb72015-03-31 21:49:49 +0100833 (target_it != writer_->method_offset_map_.map.end()) ? target_it->second : 0u;
Vladimir Markof4da6752014-08-01 19:04:18 +0100834 // If there's no compiled code, point to the correct trampoline.
835 if (UNLIKELY(target_offset == 0)) {
Mathieu Chartiere401d142015-04-22 13:56:20 -0700836 ArtMethod* target = GetTargetMethod(patch);
Vladimir Markof4da6752014-08-01 19:04:18 +0100837 DCHECK(target != nullptr);
Jeff Haoa0acc2d2015-01-27 11:22:04 -0800838 size_t size = GetInstructionSetPointerSize(writer_->compiler_driver_->GetInstructionSet());
839 const void* oat_code_offset = target->GetEntryPointFromQuickCompiledCodePtrSize(size);
840 if (oat_code_offset != 0) {
841 DCHECK(!Runtime::Current()->GetClassLinker()->IsQuickResolutionStub(oat_code_offset));
842 DCHECK(!Runtime::Current()->GetClassLinker()->IsQuickToInterpreterBridge(oat_code_offset));
843 DCHECK(!Runtime::Current()->GetClassLinker()->IsQuickGenericJniStub(oat_code_offset));
844 target_offset = PointerToLowMemUInt32(oat_code_offset);
845 } else {
846 target_offset = target->IsNative()
847 ? writer_->oat_header_->GetQuickGenericJniTrampolineOffset()
848 : writer_->oat_header_->GetQuickToInterpreterBridgeOffset();
849 }
Vladimir Markof4da6752014-08-01 19:04:18 +0100850 }
851 return target_offset;
852 }
853
854 mirror::Class* GetTargetType(const LinkerPatch& patch)
Mathieu Chartier90443472015-07-16 20:32:27 -0700855 SHARED_REQUIRES(Locks::mutator_lock_) {
Vladimir Markof4da6752014-08-01 19:04:18 +0100856 mirror::DexCache* dex_cache = (dex_file_ == patch.TargetTypeDexFile())
Mathieu Chartier673ed3d2015-08-28 14:56:43 -0700857 ? dex_cache_ : class_linker_->FindDexCache(Thread::Current(), *patch.TargetTypeDexFile());
Vladimir Markof4da6752014-08-01 19:04:18 +0100858 mirror::Class* type = dex_cache->GetResolvedType(patch.TargetTypeIndex());
859 CHECK(type != nullptr);
860 return type;
861 }
862
Mathieu Chartier90443472015-07-16 20:32:27 -0700863 uint32_t GetDexCacheOffset(const LinkerPatch& patch) SHARED_REQUIRES(Locks::mutator_lock_) {
Mathieu Chartierda5b28a2015-11-05 08:03:47 -0800864 if (writer_->HasBootImage()) {
Vladimir Marko05792b92015-08-03 11:56:49 +0100865 auto* element = writer_->image_writer_->GetDexCacheArrayElementImageAddress<const uint8_t*>(
Vladimir Marko20f85592015-03-19 10:07:02 +0000866 patch.TargetDexCacheDexFile(), patch.TargetDexCacheElementOffset());
867 const uint8_t* oat_data = writer_->image_writer_->GetOatFileBegin() + file_offset_;
Vladimir Marko05792b92015-08-03 11:56:49 +0100868 return element - oat_data;
Vladimir Marko20f85592015-03-19 10:07:02 +0000869 } else {
Vladimir Marko09d09432015-09-08 13:47:48 +0100870 size_t start = writer_->dex_cache_arrays_offsets_.Get(patch.TargetDexCacheDexFile());
871 return start + patch.TargetDexCacheElementOffset();
Vladimir Marko20f85592015-03-19 10:07:02 +0000872 }
873 }
874
Vladimir Markof4da6752014-08-01 19:04:18 +0100875 void PatchObjectAddress(std::vector<uint8_t>* code, uint32_t offset, mirror::Object* object)
Mathieu Chartier90443472015-07-16 20:32:27 -0700876 SHARED_REQUIRES(Locks::mutator_lock_) {
Mathieu Chartierda5b28a2015-11-05 08:03:47 -0800877 if (writer_->HasBootImage()) {
Vladimir Markof4da6752014-08-01 19:04:18 +0100878 object = writer_->image_writer_->GetImageAddress(object);
Vladimir Marko09d09432015-09-08 13:47:48 +0100879 } else {
880 // NOTE: We're using linker patches for app->boot references when the image can
881 // be relocated and therefore we need to emit .oat_patches. We're not using this
882 // for app->app references, so check that the object is in the image space.
883 DCHECK(Runtime::Current()->GetHeap()->FindSpaceFromObject(object, false)->IsImageSpace());
Vladimir Markof4da6752014-08-01 19:04:18 +0100884 }
Vladimir Marko09d09432015-09-08 13:47:48 +0100885 // Note: We only patch targeting Objects in image which is in the low 4gb.
Vladimir Markof4da6752014-08-01 19:04:18 +0100886 uint32_t address = PointerToLowMemUInt32(object);
887 DCHECK_LE(offset + 4, code->size());
888 uint8_t* data = &(*code)[offset];
889 data[0] = address & 0xffu;
890 data[1] = (address >> 8) & 0xffu;
891 data[2] = (address >> 16) & 0xffu;
892 data[3] = (address >> 24) & 0xffu;
893 }
894
Mathieu Chartiere401d142015-04-22 13:56:20 -0700895 void PatchMethodAddress(std::vector<uint8_t>* code, uint32_t offset, ArtMethod* method)
Mathieu Chartier90443472015-07-16 20:32:27 -0700896 SHARED_REQUIRES(Locks::mutator_lock_) {
Mathieu Chartierda5b28a2015-11-05 08:03:47 -0800897 if (writer_->HasBootImage()) {
Mathieu Chartiere401d142015-04-22 13:56:20 -0700898 method = writer_->image_writer_->GetImageMethodAddress(method);
Vladimir Marko09d09432015-09-08 13:47:48 +0100899 } else if (kIsDebugBuild) {
900 // NOTE: We're using linker patches for app->boot references when the image can
901 // be relocated and therefore we need to emit .oat_patches. We're not using this
902 // for app->app references, so check that the method is an image method.
Mathieu Chartier073b16c2015-11-10 14:13:23 -0800903 gc::space::ImageSpace* image_space = Runtime::Current()->GetHeap()->GetBootImageSpace();
Vladimir Marko09d09432015-09-08 13:47:48 +0100904 size_t method_offset = reinterpret_cast<const uint8_t*>(method) - image_space->Begin();
905 CHECK(image_space->GetImageHeader().GetMethodsSection().Contains(method_offset));
Mathieu Chartiere401d142015-04-22 13:56:20 -0700906 }
Vladimir Marko09d09432015-09-08 13:47:48 +0100907 // Note: We only patch targeting ArtMethods in image which is in the low 4gb.
Mathieu Chartiere401d142015-04-22 13:56:20 -0700908 uint32_t address = PointerToLowMemUInt32(method);
909 DCHECK_LE(offset + 4, code->size());
910 uint8_t* data = &(*code)[offset];
911 data[0] = address & 0xffu;
912 data[1] = (address >> 8) & 0xffu;
913 data[2] = (address >> 16) & 0xffu;
914 data[3] = (address >> 24) & 0xffu;
915 }
916
Vladimir Markof4da6752014-08-01 19:04:18 +0100917 void PatchCodeAddress(std::vector<uint8_t>* code, uint32_t offset, uint32_t target_offset)
Mathieu Chartier90443472015-07-16 20:32:27 -0700918 SHARED_REQUIRES(Locks::mutator_lock_) {
Vladimir Marko09d09432015-09-08 13:47:48 +0100919 uint32_t address = target_offset;
Mathieu Chartierda5b28a2015-11-05 08:03:47 -0800920 if (writer_->HasBootImage()) {
Vladimir Marko09d09432015-09-08 13:47:48 +0100921 address = PointerToLowMemUInt32(writer_->image_writer_->GetOatFileBegin() +
922 writer_->oat_data_offset_ + target_offset);
923 }
Vladimir Markof4da6752014-08-01 19:04:18 +0100924 DCHECK_LE(offset + 4, code->size());
925 uint8_t* data = &(*code)[offset];
926 data[0] = address & 0xffu;
927 data[1] = (address >> 8) & 0xffu;
928 data[2] = (address >> 16) & 0xffu;
929 data[3] = (address >> 24) & 0xffu;
930 }
Vladimir Marko96c6ab92014-04-08 14:00:50 +0100931};
932
933template <typename DataAccess>
934class OatWriter::WriteMapMethodVisitor : public OatDexMethodVisitor {
935 public:
936 WriteMapMethodVisitor(OatWriter* writer, OutputStream* out, const size_t file_offset,
Mathieu Chartier957ca1c2014-11-21 16:51:29 -0800937 size_t relative_offset)
Vladimir Marko96c6ab92014-04-08 14:00:50 +0100938 : OatDexMethodVisitor(writer, relative_offset),
939 out_(out),
940 file_offset_(file_offset) {
941 }
942
943 bool VisitMethod(size_t class_def_method_index, const ClassDataItemIterator& it) {
944 OatClass* oat_class = writer_->oat_classes_[oat_class_index_];
945 const CompiledMethod* compiled_method = oat_class->GetCompiledMethod(class_def_method_index);
946
Mathieu Chartier2cebb242015-04-21 16:50:40 -0700947 if (compiled_method != nullptr) { // ie. not an abstract method
Vladimir Marko96c6ab92014-04-08 14:00:50 +0100948 size_t file_offset = file_offset_;
949 OutputStream* out = out_;
950
951 uint32_t map_offset = DataAccess::GetOffset(oat_class, method_offsets_index_);
952 ++method_offsets_index_;
953
954 // Write deduplicated map.
Vladimir Marko35831e82015-09-11 11:59:18 +0100955 ArrayRef<const uint8_t> map = DataAccess::GetData(compiled_method);
956 size_t map_size = map.size() * sizeof(map[0]);
Vladimir Marko96c6ab92014-04-08 14:00:50 +0100957 DCHECK((map_size == 0u && map_offset == 0u) ||
958 (map_size != 0u && map_offset != 0u && map_offset <= offset_))
Mathieu Chartier957ca1c2014-11-21 16:51:29 -0800959 << map_size << " " << map_offset << " " << offset_ << " "
960 << PrettyMethod(it.GetMemberIndex(), *dex_file_) << " for " << DataAccess::Name();
Vladimir Marko96c6ab92014-04-08 14:00:50 +0100961 if (map_size != 0u && map_offset == offset_) {
Vladimir Marko35831e82015-09-11 11:59:18 +0100962 if (UNLIKELY(!out->WriteFully(&map[0], map_size))) {
Vladimir Marko96c6ab92014-04-08 14:00:50 +0100963 ReportWriteFailure(it);
964 return false;
965 }
966 offset_ += map_size;
967 }
968 DCHECK_OFFSET_();
969 }
970
971 return true;
972 }
973
974 private:
975 OutputStream* const out_;
976 size_t const file_offset_;
977
978 void ReportWriteFailure(const ClassDataItemIterator& it) {
979 PLOG(ERROR) << "Failed to write " << DataAccess::Name() << " for "
980 << PrettyMethod(it.GetMemberIndex(), *dex_file_) << " to " << out_->GetLocation();
981 }
982};
983
984// Visit all methods from all classes in all dex files with the specified visitor.
985bool OatWriter::VisitDexMethods(DexMethodVisitor* visitor) {
986 for (const DexFile* dex_file : *dex_files_) {
987 const size_t class_def_count = dex_file->NumClassDefs();
988 for (size_t class_def_index = 0; class_def_index != class_def_count; ++class_def_index) {
989 if (UNLIKELY(!visitor->StartClass(dex_file, class_def_index))) {
990 return false;
991 }
992 const DexFile::ClassDef& class_def = dex_file->GetClassDef(class_def_index);
Ian Rogers13735952014-10-08 12:43:28 -0700993 const uint8_t* class_data = dex_file->GetClassData(class_def);
Mathieu Chartier2cebb242015-04-21 16:50:40 -0700994 if (class_data != nullptr) { // ie not an empty class, such as a marker interface
Vladimir Marko96c6ab92014-04-08 14:00:50 +0100995 ClassDataItemIterator it(*dex_file, class_data);
996 while (it.HasNextStaticField()) {
997 it.Next();
998 }
999 while (it.HasNextInstanceField()) {
1000 it.Next();
1001 }
1002 size_t class_def_method_index = 0u;
1003 while (it.HasNextDirectMethod()) {
1004 if (!visitor->VisitMethod(class_def_method_index, it)) {
1005 return false;
1006 }
1007 ++class_def_method_index;
1008 it.Next();
1009 }
1010 while (it.HasNextVirtualMethod()) {
1011 if (UNLIKELY(!visitor->VisitMethod(class_def_method_index, it))) {
1012 return false;
1013 }
1014 ++class_def_method_index;
1015 it.Next();
1016 }
1017 }
1018 if (UNLIKELY(!visitor->EndClass())) {
1019 return false;
1020 }
1021 }
1022 }
1023 return true;
1024}
1025
Brian Carlstrom81f3ca12012-03-17 00:27:35 -07001026size_t OatWriter::InitOatHeader() {
Andreas Gampe22f8e5c2014-07-09 11:38:21 -07001027 oat_header_ = OatHeader::Create(compiler_driver_->GetInstructionSet(),
1028 compiler_driver_->GetInstructionSetFeatures(),
1029 dex_files_,
1030 image_file_location_oat_checksum_,
1031 image_file_location_oat_begin_,
1032 key_value_store_);
1033
1034 return oat_header_->GetHeaderSize();
Brian Carlstrome24fa612011-09-29 00:53:55 -07001035}
1036
1037size_t OatWriter::InitOatDexFiles(size_t offset) {
1038 // create the OatDexFiles
1039 for (size_t i = 0; i != dex_files_->size(); ++i) {
1040 const DexFile* dex_file = (*dex_files_)[i];
Mathieu Chartier2cebb242015-04-21 16:50:40 -07001041 CHECK(dex_file != nullptr);
Brian Carlstrom265091e2013-01-30 14:08:26 -08001042 OatDexFile* oat_dex_file = new OatDexFile(offset, *dex_file);
Brian Carlstrome24fa612011-09-29 00:53:55 -07001043 oat_dex_files_.push_back(oat_dex_file);
1044 offset += oat_dex_file->SizeOf();
1045 }
1046 return offset;
1047}
1048
Brian Carlstrom89521892011-12-07 22:05:07 -08001049size_t OatWriter::InitDexFiles(size_t offset) {
1050 // calculate the offsets within OatDexFiles to the DexFiles
1051 for (size_t i = 0; i != dex_files_->size(); ++i) {
1052 // dex files are required to be 4 byte aligned
Jeff Hao0aba0ba2013-06-03 14:49:28 -07001053 size_t original_offset = offset;
Brian Carlstrom89521892011-12-07 22:05:07 -08001054 offset = RoundUp(offset, 4);
Jeff Hao0aba0ba2013-06-03 14:49:28 -07001055 size_dex_file_alignment_ += offset - original_offset;
Brian Carlstrom89521892011-12-07 22:05:07 -08001056
1057 // set offset in OatDexFile to DexFile
1058 oat_dex_files_[i]->dex_file_offset_ = offset;
1059
1060 const DexFile* dex_file = (*dex_files_)[i];
Artem Udovichenkod9786b02015-10-14 16:36:55 +03001061
1062 // Initialize type lookup table
1063 oat_dex_files_[i]->lookup_table_ = dex_file->GetTypeLookupTable();
1064
Brian Carlstrom89521892011-12-07 22:05:07 -08001065 offset += dex_file->GetHeader().file_size_;
1066 }
1067 return offset;
1068}
1069
Artem Udovichenkod9786b02015-10-14 16:36:55 +03001070size_t OatWriter::InitLookupTables(size_t offset) {
1071 for (OatDexFile* oat_dex_file : oat_dex_files_) {
1072 if (oat_dex_file->lookup_table_ != nullptr) {
1073 uint32_t aligned_offset = RoundUp(offset, 4);
1074 oat_dex_file->lookup_table_offset_ = aligned_offset;
1075 size_oat_lookup_table_alignment_ += aligned_offset - offset;
1076 offset = aligned_offset + oat_dex_file->lookup_table_->RawDataLength();
1077 } else {
1078 oat_dex_file->lookup_table_offset_ = 0;
1079 }
1080 }
1081 return offset;
1082}
1083
Brian Carlstrom389efb02012-01-11 12:06:26 -08001084size_t OatWriter::InitOatClasses(size_t offset) {
Brian Carlstrom389efb02012-01-11 12:06:26 -08001085 // calculate the offsets within OatDexFiles to OatClasses
Vladimir Marko96c6ab92014-04-08 14:00:50 +01001086 InitOatClassesMethodVisitor visitor(this, offset);
1087 bool success = VisitDexMethods(&visitor);
1088 CHECK(success);
1089 offset = visitor.GetOffset();
Brian Carlstromba150c32013-08-27 17:31:03 -07001090
Vladimir Marko96c6ab92014-04-08 14:00:50 +01001091 // Update oat_dex_files_.
1092 auto oat_class_it = oat_classes_.begin();
1093 for (OatDexFile* oat_dex_file : oat_dex_files_) {
Andreas Gampe277ccbd2014-11-03 21:36:10 -08001094 for (uint32_t& method_offset : oat_dex_file->methods_offsets_) {
Vladimir Marko96c6ab92014-04-08 14:00:50 +01001095 DCHECK(oat_class_it != oat_classes_.end());
Andreas Gampe277ccbd2014-11-03 21:36:10 -08001096 method_offset = (*oat_class_it)->offset_;
Vladimir Marko96c6ab92014-04-08 14:00:50 +01001097 ++oat_class_it;
Brian Carlstrome24fa612011-09-29 00:53:55 -07001098 }
Vladimir Marko96c6ab92014-04-08 14:00:50 +01001099 oat_dex_file->UpdateChecksum(oat_header_);
Brian Carlstrome24fa612011-09-29 00:53:55 -07001100 }
Vladimir Marko96c6ab92014-04-08 14:00:50 +01001101 CHECK(oat_class_it == oat_classes_.end());
1102
1103 return offset;
1104}
1105
1106size_t OatWriter::InitOatMaps(size_t offset) {
1107 #define VISIT(VisitorType) \
1108 do { \
1109 VisitorType visitor(this, offset); \
1110 bool success = VisitDexMethods(&visitor); \
1111 DCHECK(success); \
1112 offset = visitor.GetOffset(); \
1113 } while (false)
1114
1115 VISIT(InitMapMethodVisitor<GcMapDataAccess>);
1116 VISIT(InitMapMethodVisitor<MappingTableDataAccess>);
1117 VISIT(InitMapMethodVisitor<VmapTableDataAccess>);
1118
1119 #undef VISIT
1120
Brian Carlstrome24fa612011-09-29 00:53:55 -07001121 return offset;
1122}
1123
1124size_t OatWriter::InitOatCode(size_t offset) {
1125 // calculate the offsets within OatHeader to executable code
1126 size_t old_offset = offset;
Dave Allison50abf0a2014-06-23 13:19:59 -07001127 size_t adjusted_offset = offset;
Brian Carlstrome24fa612011-09-29 00:53:55 -07001128 // required to be on a new page boundary
1129 offset = RoundUp(offset, kPageSize);
1130 oat_header_->SetExecutableOffset(offset);
Jeff Hao0aba0ba2013-06-03 14:49:28 -07001131 size_executable_offset_alignment_ = offset - old_offset;
Mathieu Chartierda5b28a2015-11-05 08:03:47 -08001132 if (compiler_driver_->IsBootImage()) {
Alex Lighta59dd802014-07-02 16:28:08 -07001133 CHECK_EQ(image_patch_delta_, 0);
Jeff Hao0aba0ba2013-06-03 14:49:28 -07001134 InstructionSet instruction_set = compiler_driver_->GetInstructionSet();
Jeff Hao0aba0ba2013-06-03 14:49:28 -07001135
Ian Rogers848871b2013-08-05 10:56:33 -07001136 #define DO_TRAMPOLINE(field, fn_name) \
1137 offset = CompiledCode::AlignCode(offset, instruction_set); \
Dave Allison50abf0a2014-06-23 13:19:59 -07001138 adjusted_offset = offset + CompiledCode::CodeDelta(instruction_set); \
1139 oat_header_->Set ## fn_name ## Offset(adjusted_offset); \
Ian Rogers848871b2013-08-05 10:56:33 -07001140 field.reset(compiler_driver_->Create ## fn_name()); \
1141 offset += field->size();
Jeff Hao0aba0ba2013-06-03 14:49:28 -07001142
Ian Rogers848871b2013-08-05 10:56:33 -07001143 DO_TRAMPOLINE(jni_dlsym_lookup_, JniDlsymLookup);
Andreas Gampe2da88232014-02-27 12:26:20 -08001144 DO_TRAMPOLINE(quick_generic_jni_trampoline_, QuickGenericJniTrampoline);
Jeff Hao88474b42013-10-23 16:24:40 -07001145 DO_TRAMPOLINE(quick_imt_conflict_trampoline_, QuickImtConflictTrampoline);
Ian Rogers848871b2013-08-05 10:56:33 -07001146 DO_TRAMPOLINE(quick_resolution_trampoline_, QuickResolutionTrampoline);
1147 DO_TRAMPOLINE(quick_to_interpreter_bridge_, QuickToInterpreterBridge);
Jeff Hao0aba0ba2013-06-03 14:49:28 -07001148
Ian Rogers848871b2013-08-05 10:56:33 -07001149 #undef DO_TRAMPOLINE
Jeff Hao0aba0ba2013-06-03 14:49:28 -07001150 } else {
Ian Rogers848871b2013-08-05 10:56:33 -07001151 oat_header_->SetInterpreterToInterpreterBridgeOffset(0);
1152 oat_header_->SetInterpreterToCompiledCodeBridgeOffset(0);
1153 oat_header_->SetJniDlsymLookupOffset(0);
Andreas Gampe2da88232014-02-27 12:26:20 -08001154 oat_header_->SetQuickGenericJniTrampolineOffset(0);
Jeff Hao88474b42013-10-23 16:24:40 -07001155 oat_header_->SetQuickImtConflictTrampolineOffset(0);
Jeff Hao0aba0ba2013-06-03 14:49:28 -07001156 oat_header_->SetQuickResolutionTrampolineOffset(0);
Ian Rogers848871b2013-08-05 10:56:33 -07001157 oat_header_->SetQuickToInterpreterBridgeOffset(0);
Alex Lighta59dd802014-07-02 16:28:08 -07001158 oat_header_->SetImagePatchDelta(image_patch_delta_);
Jeff Hao0aba0ba2013-06-03 14:49:28 -07001159 }
Brian Carlstrome24fa612011-09-29 00:53:55 -07001160 return offset;
1161}
1162
1163size_t OatWriter::InitOatCodeDexFiles(size_t offset) {
Vladimir Marko96c6ab92014-04-08 14:00:50 +01001164 #define VISIT(VisitorType) \
1165 do { \
1166 VisitorType visitor(this, offset); \
1167 bool success = VisitDexMethods(&visitor); \
1168 DCHECK(success); \
1169 offset = visitor.GetOffset(); \
1170 } while (false)
Brian Carlstrome24fa612011-09-29 00:53:55 -07001171
Vladimir Marko96c6ab92014-04-08 14:00:50 +01001172 VISIT(InitCodeMethodVisitor);
Mathieu Chartierda5b28a2015-11-05 08:03:47 -08001173 if (compiler_driver_->IsBootImage()) {
Vladimir Marko96c6ab92014-04-08 14:00:50 +01001174 VISIT(InitImageMethodVisitor);
Ian Rogers0571d352011-11-03 19:51:38 -07001175 }
Logan Chien8b977d32012-02-21 19:14:55 +08001176
Vladimir Marko96c6ab92014-04-08 14:00:50 +01001177 #undef VISIT
1178
Brian Carlstrome24fa612011-09-29 00:53:55 -07001179 return offset;
1180}
1181
David Srbeckybc90fd02015-04-22 19:40:27 +01001182bool OatWriter::WriteRodata(OutputStream* out) {
Vladimir Markof4da6752014-08-01 19:04:18 +01001183 const off_t raw_file_offset = out->Seek(0, kSeekCurrent);
1184 if (raw_file_offset == (off_t) -1) {
1185 LOG(ERROR) << "Failed to get file offset in " << out->GetLocation();
1186 return false;
1187 }
1188 const size_t file_offset = static_cast<size_t>(raw_file_offset);
David Srbeckybc90fd02015-04-22 19:40:27 +01001189 oat_data_offset_ = file_offset;
Brian Carlstromc50d8e12013-07-23 22:35:16 -07001190
Vladimir Markof4da6752014-08-01 19:04:18 +01001191 // Reserve space for header. It will be written last - after updating the checksum.
Andreas Gampe22f8e5c2014-07-09 11:38:21 -07001192 size_t header_size = oat_header_->GetHeaderSize();
Vladimir Markof4da6752014-08-01 19:04:18 +01001193 if (out->Seek(header_size, kSeekCurrent) == (off_t) -1) {
1194 PLOG(ERROR) << "Failed to reserve space for oat header in " << out->GetLocation();
Brian Carlstrome24fa612011-09-29 00:53:55 -07001195 return false;
1196 }
Andreas Gampe22f8e5c2014-07-09 11:38:21 -07001197 size_oat_header_ += sizeof(OatHeader);
1198 size_oat_header_key_value_store_ += oat_header_->GetHeaderSize() - sizeof(OatHeader);
Brian Carlstrom81f3ca12012-03-17 00:27:35 -07001199
Brian Carlstromc50d8e12013-07-23 22:35:16 -07001200 if (!WriteTables(out, file_offset)) {
Ian Rogers3d504072014-03-01 09:16:49 -08001201 LOG(ERROR) << "Failed to write oat tables to " << out->GetLocation();
Brian Carlstrome24fa612011-09-29 00:53:55 -07001202 return false;
1203 }
1204
Vladimir Markof4da6752014-08-01 19:04:18 +01001205 off_t tables_end_offset = out->Seek(0, kSeekCurrent);
1206 if (tables_end_offset == (off_t) -1) {
1207 LOG(ERROR) << "Failed to seek to oat code position in " << out->GetLocation();
1208 return false;
1209 }
1210 size_t relative_offset = static_cast<size_t>(tables_end_offset) - file_offset;
Vladimir Marko96c6ab92014-04-08 14:00:50 +01001211 relative_offset = WriteMaps(out, file_offset, relative_offset);
1212 if (relative_offset == 0) {
1213 LOG(ERROR) << "Failed to write oat code to " << out->GetLocation();
1214 return false;
1215 }
1216
David Srbeckybc90fd02015-04-22 19:40:27 +01001217 // Write padding.
1218 off_t new_offset = out->Seek(size_executable_offset_alignment_, kSeekCurrent);
1219 relative_offset += size_executable_offset_alignment_;
1220 DCHECK_EQ(relative_offset, oat_header_->GetExecutableOffset());
1221 size_t expected_file_offset = file_offset + relative_offset;
1222 if (static_cast<uint32_t>(new_offset) != expected_file_offset) {
1223 PLOG(ERROR) << "Failed to seek to oat code section. Actual: " << new_offset
1224 << " Expected: " << expected_file_offset << " File: " << out->GetLocation();
1225 return 0;
1226 }
1227 DCHECK_OFFSET();
1228
1229 return true;
1230}
1231
1232bool OatWriter::WriteCode(OutputStream* out) {
1233 size_t header_size = oat_header_->GetHeaderSize();
1234 const size_t file_offset = oat_data_offset_;
1235 size_t relative_offset = oat_header_->GetExecutableOffset();
1236 DCHECK_OFFSET();
1237
Vladimir Marko96c6ab92014-04-08 14:00:50 +01001238 relative_offset = WriteCode(out, file_offset, relative_offset);
Brian Carlstromc50d8e12013-07-23 22:35:16 -07001239 if (relative_offset == 0) {
Ian Rogers3d504072014-03-01 09:16:49 -08001240 LOG(ERROR) << "Failed to write oat code to " << out->GetLocation();
Brian Carlstrome24fa612011-09-29 00:53:55 -07001241 return false;
1242 }
1243
Brian Carlstromc50d8e12013-07-23 22:35:16 -07001244 relative_offset = WriteCodeDexFiles(out, file_offset, relative_offset);
1245 if (relative_offset == 0) {
Ian Rogers3d504072014-03-01 09:16:49 -08001246 LOG(ERROR) << "Failed to write oat code for dex files to " << out->GetLocation();
Brian Carlstrome24fa612011-09-29 00:53:55 -07001247 return false;
1248 }
1249
Vladimir Markof4da6752014-08-01 19:04:18 +01001250 const off_t oat_end_file_offset = out->Seek(0, kSeekCurrent);
1251 if (oat_end_file_offset == (off_t) -1) {
1252 LOG(ERROR) << "Failed to get oat end file offset in " << out->GetLocation();
1253 return false;
1254 }
1255
Ian Rogers4bdbbc82013-06-10 16:02:31 -07001256 if (kIsDebugBuild) {
1257 uint32_t size_total = 0;
1258 #define DO_STAT(x) \
Anwar Ghuloum75a43f12013-08-13 17:22:14 -07001259 VLOG(compiler) << #x "=" << PrettySize(x) << " (" << x << "B)"; \
Ian Rogers4bdbbc82013-06-10 16:02:31 -07001260 size_total += x;
Jeff Hao0aba0ba2013-06-03 14:49:28 -07001261
Ian Rogers4bdbbc82013-06-10 16:02:31 -07001262 DO_STAT(size_dex_file_alignment_);
1263 DO_STAT(size_executable_offset_alignment_);
1264 DO_STAT(size_oat_header_);
Andreas Gampe22f8e5c2014-07-09 11:38:21 -07001265 DO_STAT(size_oat_header_key_value_store_);
Ian Rogers4bdbbc82013-06-10 16:02:31 -07001266 DO_STAT(size_dex_file_);
Ian Rogers848871b2013-08-05 10:56:33 -07001267 DO_STAT(size_interpreter_to_interpreter_bridge_);
1268 DO_STAT(size_interpreter_to_compiled_code_bridge_);
1269 DO_STAT(size_jni_dlsym_lookup_);
Andreas Gampe2da88232014-02-27 12:26:20 -08001270 DO_STAT(size_quick_generic_jni_trampoline_);
Jeff Hao88474b42013-10-23 16:24:40 -07001271 DO_STAT(size_quick_imt_conflict_trampoline_);
Ian Rogers4bdbbc82013-06-10 16:02:31 -07001272 DO_STAT(size_quick_resolution_trampoline_);
Ian Rogers848871b2013-08-05 10:56:33 -07001273 DO_STAT(size_quick_to_interpreter_bridge_);
1274 DO_STAT(size_trampoline_alignment_);
Vladimir Marko96c6ab92014-04-08 14:00:50 +01001275 DO_STAT(size_method_header_);
Ian Rogers4bdbbc82013-06-10 16:02:31 -07001276 DO_STAT(size_code_);
1277 DO_STAT(size_code_alignment_);
Vladimir Markof4da6752014-08-01 19:04:18 +01001278 DO_STAT(size_relative_call_thunks_);
Vladimir Markoc74658b2015-03-31 10:26:41 +01001279 DO_STAT(size_misc_thunks_);
Ian Rogers4bdbbc82013-06-10 16:02:31 -07001280 DO_STAT(size_mapping_table_);
1281 DO_STAT(size_vmap_table_);
1282 DO_STAT(size_gc_map_);
1283 DO_STAT(size_oat_dex_file_location_size_);
1284 DO_STAT(size_oat_dex_file_location_data_);
1285 DO_STAT(size_oat_dex_file_location_checksum_);
1286 DO_STAT(size_oat_dex_file_offset_);
1287 DO_STAT(size_oat_dex_file_methods_offsets_);
Brian Carlstromba150c32013-08-27 17:31:03 -07001288 DO_STAT(size_oat_class_type_);
Ian Rogers4bdbbc82013-06-10 16:02:31 -07001289 DO_STAT(size_oat_class_status_);
Brian Carlstromba150c32013-08-27 17:31:03 -07001290 DO_STAT(size_oat_class_method_bitmaps_);
Ian Rogers4bdbbc82013-06-10 16:02:31 -07001291 DO_STAT(size_oat_class_method_offsets_);
Artem Udovichenkod9786b02015-10-14 16:36:55 +03001292 DO_STAT(size_oat_lookup_table_alignment_);
1293 DO_STAT(size_oat_lookup_table_offset_);
1294 DO_STAT(size_oat_lookup_table_);
Ian Rogers4bdbbc82013-06-10 16:02:31 -07001295 #undef DO_STAT
Jeff Hao0aba0ba2013-06-03 14:49:28 -07001296
Anwar Ghuloum75a43f12013-08-13 17:22:14 -07001297 VLOG(compiler) << "size_total=" << PrettySize(size_total) << " (" << size_total << "B)"; \
Vladimir Markof4da6752014-08-01 19:04:18 +01001298 CHECK_EQ(file_offset + size_total, static_cast<size_t>(oat_end_file_offset));
Brian Carlstromc50d8e12013-07-23 22:35:16 -07001299 CHECK_EQ(size_, size_total);
Ian Rogers4bdbbc82013-06-10 16:02:31 -07001300 }
Jeff Hao0aba0ba2013-06-03 14:49:28 -07001301
Vladimir Markof4da6752014-08-01 19:04:18 +01001302 CHECK_EQ(file_offset + size_, static_cast<size_t>(oat_end_file_offset));
Brian Carlstromc50d8e12013-07-23 22:35:16 -07001303 CHECK_EQ(size_, relative_offset);
1304
Vladimir Markof4da6752014-08-01 19:04:18 +01001305 // Write the header now that the checksum is final.
1306 if (out->Seek(file_offset, kSeekSet) == (off_t) -1) {
1307 PLOG(ERROR) << "Failed to seek to oat header position in " << out->GetLocation();
1308 return false;
1309 }
David Srbeckybc90fd02015-04-22 19:40:27 +01001310 DCHECK_EQ(file_offset, static_cast<size_t>(out->Seek(0, kSeekCurrent)));
Vladimir Markof4da6752014-08-01 19:04:18 +01001311 if (!out->WriteFully(oat_header_, header_size)) {
1312 PLOG(ERROR) << "Failed to write oat header to " << out->GetLocation();
1313 return false;
1314 }
1315 if (out->Seek(oat_end_file_offset, kSeekSet) == (off_t) -1) {
1316 PLOG(ERROR) << "Failed to seek to end after writing oat header to " << out->GetLocation();
1317 return false;
1318 }
1319 DCHECK_EQ(oat_end_file_offset, out->Seek(0, kSeekCurrent));
1320
Brian Carlstrome24fa612011-09-29 00:53:55 -07001321 return true;
1322}
1323
Ian Rogers3d504072014-03-01 09:16:49 -08001324bool OatWriter::WriteTables(OutputStream* out, const size_t file_offset) {
Brian Carlstrome24fa612011-09-29 00:53:55 -07001325 for (size_t i = 0; i != oat_dex_files_.size(); ++i) {
Brian Carlstromc50d8e12013-07-23 22:35:16 -07001326 if (!oat_dex_files_[i]->Write(this, out, file_offset)) {
Ian Rogers3d504072014-03-01 09:16:49 -08001327 PLOG(ERROR) << "Failed to write oat dex information to " << out->GetLocation();
Brian Carlstrome24fa612011-09-29 00:53:55 -07001328 return false;
1329 }
1330 }
Brian Carlstrom89521892011-12-07 22:05:07 -08001331 for (size_t i = 0; i != oat_dex_files_.size(); ++i) {
Brian Carlstromc50d8e12013-07-23 22:35:16 -07001332 uint32_t expected_offset = file_offset + oat_dex_files_[i]->dex_file_offset_;
Ian Rogers3d504072014-03-01 09:16:49 -08001333 off_t actual_offset = out->Seek(expected_offset, kSeekSet);
Brian Carlstrom89521892011-12-07 22:05:07 -08001334 if (static_cast<uint32_t>(actual_offset) != expected_offset) {
1335 const DexFile* dex_file = (*dex_files_)[i];
1336 PLOG(ERROR) << "Failed to seek to dex file section. Actual: " << actual_offset
1337 << " Expected: " << expected_offset << " File: " << dex_file->GetLocation();
1338 return false;
1339 }
1340 const DexFile* dex_file = (*dex_files_)[i];
Ian Rogers3d504072014-03-01 09:16:49 -08001341 if (!out->WriteFully(&dex_file->GetHeader(), dex_file->GetHeader().file_size_)) {
Brian Carlstromc50d8e12013-07-23 22:35:16 -07001342 PLOG(ERROR) << "Failed to write dex file " << dex_file->GetLocation()
Ian Rogers3d504072014-03-01 09:16:49 -08001343 << " to " << out->GetLocation();
Brian Carlstrom89521892011-12-07 22:05:07 -08001344 return false;
1345 }
Jeff Hao0aba0ba2013-06-03 14:49:28 -07001346 size_dex_file_ += dex_file->GetHeader().file_size_;
Brian Carlstrom89521892011-12-07 22:05:07 -08001347 }
Artem Udovichenkod9786b02015-10-14 16:36:55 +03001348 if (!WriteLookupTables(out, file_offset)) {
1349 return false;
1350 }
Brian Carlstrom389efb02012-01-11 12:06:26 -08001351 for (size_t i = 0; i != oat_classes_.size(); ++i) {
Brian Carlstromc50d8e12013-07-23 22:35:16 -07001352 if (!oat_classes_[i]->Write(this, out, file_offset)) {
Ian Rogers3d504072014-03-01 09:16:49 -08001353 PLOG(ERROR) << "Failed to write oat methods information to " << out->GetLocation();
Brian Carlstrome24fa612011-09-29 00:53:55 -07001354 return false;
1355 }
1356 }
1357 return true;
1358}
1359
Artem Udovichenkod9786b02015-10-14 16:36:55 +03001360bool OatWriter::WriteLookupTables(OutputStream* out, const size_t file_offset) {
1361 for (size_t i = 0; i < oat_dex_files_.size(); ++i) {
1362 const uint32_t lookup_table_offset = oat_dex_files_[i]->lookup_table_offset_;
1363 const TypeLookupTable* table = oat_dex_files_[i]->lookup_table_;
1364 DCHECK_EQ(lookup_table_offset == 0, table == nullptr);
1365 if (lookup_table_offset == 0) {
1366 continue;
1367 }
1368 const uint32_t expected_offset = file_offset + lookup_table_offset;
1369 off_t actual_offset = out->Seek(expected_offset, kSeekSet);
1370 if (static_cast<uint32_t>(actual_offset) != expected_offset) {
1371 const DexFile* dex_file = (*dex_files_)[i];
1372 PLOG(ERROR) << "Failed to seek to lookup table section. Actual: " << actual_offset
1373 << " Expected: " << expected_offset << " File: " << dex_file->GetLocation();
1374 return false;
1375 }
1376 if (table != nullptr) {
1377 if (!out->WriteFully(table->RawData(), table->RawDataLength())) {
1378 const DexFile* dex_file = (*dex_files_)[i];
1379 PLOG(ERROR) << "Failed to write lookup table for " << dex_file->GetLocation()
1380 << " to " << out->GetLocation();
1381 return false;
1382 }
1383 size_oat_lookup_table_ += table->RawDataLength();
1384 }
1385 }
1386 return true;
1387}
1388
Vladimir Marko96c6ab92014-04-08 14:00:50 +01001389size_t OatWriter::WriteMaps(OutputStream* out, const size_t file_offset, size_t relative_offset) {
1390 #define VISIT(VisitorType) \
1391 do { \
1392 VisitorType visitor(this, out, file_offset, relative_offset); \
1393 if (UNLIKELY(!VisitDexMethods(&visitor))) { \
1394 return 0; \
1395 } \
1396 relative_offset = visitor.GetOffset(); \
1397 } while (false)
1398
1399 size_t gc_maps_offset = relative_offset;
1400 VISIT(WriteMapMethodVisitor<GcMapDataAccess>);
1401 size_gc_map_ = relative_offset - gc_maps_offset;
1402
1403 size_t mapping_tables_offset = relative_offset;
1404 VISIT(WriteMapMethodVisitor<MappingTableDataAccess>);
1405 size_mapping_table_ = relative_offset - mapping_tables_offset;
1406
1407 size_t vmap_tables_offset = relative_offset;
1408 VISIT(WriteMapMethodVisitor<VmapTableDataAccess>);
1409 size_vmap_table_ = relative_offset - vmap_tables_offset;
1410
1411 #undef VISIT
1412
1413 return relative_offset;
1414}
1415
1416size_t OatWriter::WriteCode(OutputStream* out, const size_t file_offset, size_t relative_offset) {
Mathieu Chartierda5b28a2015-11-05 08:03:47 -08001417 if (compiler_driver_->IsBootImage()) {
Jeff Hao0aba0ba2013-06-03 14:49:28 -07001418 InstructionSet instruction_set = compiler_driver_->GetInstructionSet();
Jeff Hao0aba0ba2013-06-03 14:49:28 -07001419
Ian Rogers848871b2013-08-05 10:56:33 -07001420 #define DO_TRAMPOLINE(field) \
1421 do { \
1422 uint32_t aligned_offset = CompiledCode::AlignCode(relative_offset, instruction_set); \
1423 uint32_t alignment_padding = aligned_offset - relative_offset; \
Ian Rogers3d504072014-03-01 09:16:49 -08001424 out->Seek(alignment_padding, kSeekCurrent); \
Ian Rogers848871b2013-08-05 10:56:33 -07001425 size_trampoline_alignment_ += alignment_padding; \
Ian Rogers3d504072014-03-01 09:16:49 -08001426 if (!out->WriteFully(&(*field)[0], field->size())) { \
1427 PLOG(ERROR) << "Failed to write " # field " to " << out->GetLocation(); \
Ian Rogers848871b2013-08-05 10:56:33 -07001428 return false; \
1429 } \
1430 size_ ## field += field->size(); \
1431 relative_offset += alignment_padding + field->size(); \
1432 DCHECK_OFFSET(); \
1433 } while (false)
Jeff Hao0aba0ba2013-06-03 14:49:28 -07001434
Ian Rogers848871b2013-08-05 10:56:33 -07001435 DO_TRAMPOLINE(jni_dlsym_lookup_);
Andreas Gampe2da88232014-02-27 12:26:20 -08001436 DO_TRAMPOLINE(quick_generic_jni_trampoline_);
Jeff Hao88474b42013-10-23 16:24:40 -07001437 DO_TRAMPOLINE(quick_imt_conflict_trampoline_);
Ian Rogers848871b2013-08-05 10:56:33 -07001438 DO_TRAMPOLINE(quick_resolution_trampoline_);
1439 DO_TRAMPOLINE(quick_to_interpreter_bridge_);
1440 #undef DO_TRAMPOLINE
Jeff Hao0aba0ba2013-06-03 14:49:28 -07001441 }
Brian Carlstromc50d8e12013-07-23 22:35:16 -07001442 return relative_offset;
Brian Carlstrome24fa612011-09-29 00:53:55 -07001443}
1444
Ian Rogers3d504072014-03-01 09:16:49 -08001445size_t OatWriter::WriteCodeDexFiles(OutputStream* out,
Brian Carlstromc50d8e12013-07-23 22:35:16 -07001446 const size_t file_offset,
1447 size_t relative_offset) {
Vladimir Marko96c6ab92014-04-08 14:00:50 +01001448 #define VISIT(VisitorType) \
1449 do { \
1450 VisitorType visitor(this, out, file_offset, relative_offset); \
1451 if (UNLIKELY(!VisitDexMethods(&visitor))) { \
1452 return 0; \
1453 } \
1454 relative_offset = visitor.GetOffset(); \
1455 } while (false)
Brian Carlstrome24fa612011-09-29 00:53:55 -07001456
Vladimir Marko96c6ab92014-04-08 14:00:50 +01001457 VISIT(WriteCodeMethodVisitor);
Brian Carlstrome24fa612011-09-29 00:53:55 -07001458
Vladimir Marko96c6ab92014-04-08 14:00:50 +01001459 #undef VISIT
Brian Carlstrom265091e2013-01-30 14:08:26 -08001460
Vladimir Markob163bb72015-03-31 21:49:49 +01001461 size_code_alignment_ += relative_patcher_->CodeAlignmentSize();
1462 size_relative_call_thunks_ += relative_patcher_->RelativeCallThunksSize();
1463 size_misc_thunks_ += relative_patcher_->MiscThunksSize();
1464
Brian Carlstromc50d8e12013-07-23 22:35:16 -07001465 return relative_offset;
Brian Carlstrome24fa612011-09-29 00:53:55 -07001466}
1467
Vladimir Markof4da6752014-08-01 19:04:18 +01001468bool OatWriter::WriteCodeAlignment(OutputStream* out, uint32_t aligned_code_delta) {
1469 static const uint8_t kPadding[] = {
1470 0u, 0u, 0u, 0u, 0u, 0u, 0u, 0u, 0u, 0u, 0u, 0u, 0u, 0u, 0u, 0u
1471 };
1472 DCHECK_LE(aligned_code_delta, sizeof(kPadding));
1473 if (UNLIKELY(!out->WriteFully(kPadding, aligned_code_delta))) {
1474 return false;
1475 }
1476 size_code_alignment_ += aligned_code_delta;
1477 return true;
1478}
1479
Vladimir Markob163bb72015-03-31 21:49:49 +01001480std::pair<bool, uint32_t> OatWriter::MethodOffsetMap::FindMethodOffset(MethodReference ref) {
1481 auto it = map.find(ref);
1482 if (it == map.end()) {
1483 return std::pair<bool, uint32_t>(false, 0u);
1484 } else {
1485 return std::pair<bool, uint32_t>(true, it->second);
1486 }
1487}
1488
Brian Carlstrom265091e2013-01-30 14:08:26 -08001489OatWriter::OatDexFile::OatDexFile(size_t offset, const DexFile& dex_file) {
1490 offset_ = offset;
Elliott Hughes95572412011-12-13 18:14:20 -08001491 const std::string& location(dex_file.GetLocation());
Brian Carlstrome24fa612011-09-29 00:53:55 -07001492 dex_file_location_size_ = location.size();
1493 dex_file_location_data_ = reinterpret_cast<const uint8_t*>(location.data());
Brian Carlstrom5b332c82012-02-01 15:02:31 -08001494 dex_file_location_checksum_ = dex_file.GetLocationChecksum();
Brian Carlstrom89521892011-12-07 22:05:07 -08001495 dex_file_offset_ = 0;
Artem Udovichenkod9786b02015-10-14 16:36:55 +03001496 lookup_table_offset_ = 0;
Brian Carlstrom6e3b1d92012-01-11 01:36:32 -08001497 methods_offsets_.resize(dex_file.NumClassDefs());
Brian Carlstrome24fa612011-09-29 00:53:55 -07001498}
1499
1500size_t OatWriter::OatDexFile::SizeOf() const {
1501 return sizeof(dex_file_location_size_)
1502 + dex_file_location_size_
Brian Carlstrom5b332c82012-02-01 15:02:31 -08001503 + sizeof(dex_file_location_checksum_)
Brian Carlstrom89521892011-12-07 22:05:07 -08001504 + sizeof(dex_file_offset_)
Artem Udovichenkod9786b02015-10-14 16:36:55 +03001505 + sizeof(lookup_table_offset_)
Brian Carlstrom6e3b1d92012-01-11 01:36:32 -08001506 + (sizeof(methods_offsets_[0]) * methods_offsets_.size());
Brian Carlstrome24fa612011-09-29 00:53:55 -07001507}
1508
Ian Rogers3d504072014-03-01 09:16:49 -08001509void OatWriter::OatDexFile::UpdateChecksum(OatHeader* oat_header) const {
1510 oat_header->UpdateChecksum(&dex_file_location_size_, sizeof(dex_file_location_size_));
1511 oat_header->UpdateChecksum(dex_file_location_data_, dex_file_location_size_);
1512 oat_header->UpdateChecksum(&dex_file_location_checksum_, sizeof(dex_file_location_checksum_));
1513 oat_header->UpdateChecksum(&dex_file_offset_, sizeof(dex_file_offset_));
Artem Udovichenkod9786b02015-10-14 16:36:55 +03001514 oat_header->UpdateChecksum(&lookup_table_offset_, sizeof(lookup_table_offset_));
1515 if (lookup_table_ != nullptr) {
1516 oat_header->UpdateChecksum(lookup_table_->RawData(), lookup_table_->RawDataLength());
1517 }
Ian Rogers3d504072014-03-01 09:16:49 -08001518 oat_header->UpdateChecksum(&methods_offsets_[0],
Brian Carlstrom6e3b1d92012-01-11 01:36:32 -08001519 sizeof(methods_offsets_[0]) * methods_offsets_.size());
Brian Carlstrome24fa612011-09-29 00:53:55 -07001520}
1521
Brian Carlstromc50d8e12013-07-23 22:35:16 -07001522bool OatWriter::OatDexFile::Write(OatWriter* oat_writer,
Ian Rogers3d504072014-03-01 09:16:49 -08001523 OutputStream* out,
Brian Carlstromc50d8e12013-07-23 22:35:16 -07001524 const size_t file_offset) const {
Brian Carlstrom265091e2013-01-30 14:08:26 -08001525 DCHECK_OFFSET_();
Ian Rogers3d504072014-03-01 09:16:49 -08001526 if (!out->WriteFully(&dex_file_location_size_, sizeof(dex_file_location_size_))) {
1527 PLOG(ERROR) << "Failed to write dex file location length to " << out->GetLocation();
Brian Carlstrome24fa612011-09-29 00:53:55 -07001528 return false;
1529 }
Jeff Hao0aba0ba2013-06-03 14:49:28 -07001530 oat_writer->size_oat_dex_file_location_size_ += sizeof(dex_file_location_size_);
Ian Rogers3d504072014-03-01 09:16:49 -08001531 if (!out->WriteFully(dex_file_location_data_, dex_file_location_size_)) {
1532 PLOG(ERROR) << "Failed to write dex file location data to " << out->GetLocation();
Brian Carlstrome24fa612011-09-29 00:53:55 -07001533 return false;
1534 }
Jeff Hao0aba0ba2013-06-03 14:49:28 -07001535 oat_writer->size_oat_dex_file_location_data_ += dex_file_location_size_;
Ian Rogers3d504072014-03-01 09:16:49 -08001536 if (!out->WriteFully(&dex_file_location_checksum_, sizeof(dex_file_location_checksum_))) {
1537 PLOG(ERROR) << "Failed to write dex file location checksum to " << out->GetLocation();
Brian Carlstrome24fa612011-09-29 00:53:55 -07001538 return false;
1539 }
Jeff Hao0aba0ba2013-06-03 14:49:28 -07001540 oat_writer->size_oat_dex_file_location_checksum_ += sizeof(dex_file_location_checksum_);
Ian Rogers3d504072014-03-01 09:16:49 -08001541 if (!out->WriteFully(&dex_file_offset_, sizeof(dex_file_offset_))) {
1542 PLOG(ERROR) << "Failed to write dex file offset to " << out->GetLocation();
Brian Carlstrom89521892011-12-07 22:05:07 -08001543 return false;
1544 }
Jeff Hao0aba0ba2013-06-03 14:49:28 -07001545 oat_writer->size_oat_dex_file_offset_ += sizeof(dex_file_offset_);
Artem Udovichenkod9786b02015-10-14 16:36:55 +03001546 if (!out->WriteFully(&lookup_table_offset_, sizeof(lookup_table_offset_))) {
1547 PLOG(ERROR) << "Failed to write lookup table offset to " << out->GetLocation();
1548 return false;
1549 }
1550 oat_writer->size_oat_lookup_table_offset_ += sizeof(lookup_table_offset_);
Ian Rogers3d504072014-03-01 09:16:49 -08001551 if (!out->WriteFully(&methods_offsets_[0],
Brian Carlstromcd60ac72013-01-20 17:09:51 -08001552 sizeof(methods_offsets_[0]) * methods_offsets_.size())) {
Ian Rogers3d504072014-03-01 09:16:49 -08001553 PLOG(ERROR) << "Failed to write methods offsets to " << out->GetLocation();
Brian Carlstrome24fa612011-09-29 00:53:55 -07001554 return false;
1555 }
Jeff Hao0aba0ba2013-06-03 14:49:28 -07001556 oat_writer->size_oat_dex_file_methods_offsets_ +=
1557 sizeof(methods_offsets_[0]) * methods_offsets_.size();
Brian Carlstrome24fa612011-09-29 00:53:55 -07001558 return true;
1559}
1560
Brian Carlstromba150c32013-08-27 17:31:03 -07001561OatWriter::OatClass::OatClass(size_t offset,
Vladimir Marko96c6ab92014-04-08 14:00:50 +01001562 const std::vector<CompiledMethod*>& compiled_methods,
Brian Carlstromba150c32013-08-27 17:31:03 -07001563 uint32_t num_non_null_compiled_methods,
Vladimir Marko96c6ab92014-04-08 14:00:50 +01001564 mirror::Class::Status status)
1565 : compiled_methods_(compiled_methods) {
1566 uint32_t num_methods = compiled_methods.size();
Brian Carlstromba150c32013-08-27 17:31:03 -07001567 CHECK_LE(num_non_null_compiled_methods, num_methods);
1568
Brian Carlstrom265091e2013-01-30 14:08:26 -08001569 offset_ = offset;
Brian Carlstromba150c32013-08-27 17:31:03 -07001570 oat_method_offsets_offsets_from_oat_class_.resize(num_methods);
1571
1572 // Since both kOatClassNoneCompiled and kOatClassAllCompiled could
1573 // apply when there are 0 methods, we just arbitrarily say that 0
1574 // methods means kOatClassNoneCompiled and that we won't use
1575 // kOatClassAllCompiled unless there is at least one compiled
1576 // method. This means in an interpretter only system, we can assert
1577 // that all classes are kOatClassNoneCompiled.
1578 if (num_non_null_compiled_methods == 0) {
1579 type_ = kOatClassNoneCompiled;
1580 } else if (num_non_null_compiled_methods == num_methods) {
1581 type_ = kOatClassAllCompiled;
1582 } else {
1583 type_ = kOatClassSomeCompiled;
1584 }
1585
Brian Carlstrom0755ec52012-01-11 15:19:46 -08001586 status_ = status;
Brian Carlstromba150c32013-08-27 17:31:03 -07001587 method_offsets_.resize(num_non_null_compiled_methods);
Vladimir Marko8a630572014-04-09 18:45:35 +01001588 method_headers_.resize(num_non_null_compiled_methods);
Brian Carlstromba150c32013-08-27 17:31:03 -07001589
1590 uint32_t oat_method_offsets_offset_from_oat_class = sizeof(type_) + sizeof(status_);
1591 if (type_ == kOatClassSomeCompiled) {
1592 method_bitmap_ = new BitVector(num_methods, false, Allocator::GetMallocAllocator());
1593 method_bitmap_size_ = method_bitmap_->GetSizeOf();
1594 oat_method_offsets_offset_from_oat_class += sizeof(method_bitmap_size_);
1595 oat_method_offsets_offset_from_oat_class += method_bitmap_size_;
1596 } else {
Mathieu Chartier2cebb242015-04-21 16:50:40 -07001597 method_bitmap_ = nullptr;
Brian Carlstromba150c32013-08-27 17:31:03 -07001598 method_bitmap_size_ = 0;
1599 }
1600
1601 for (size_t i = 0; i < num_methods; i++) {
Vladimir Marko96c6ab92014-04-08 14:00:50 +01001602 CompiledMethod* compiled_method = compiled_methods_[i];
Mathieu Chartier2cebb242015-04-21 16:50:40 -07001603 if (compiled_method == nullptr) {
Brian Carlstromba150c32013-08-27 17:31:03 -07001604 oat_method_offsets_offsets_from_oat_class_[i] = 0;
1605 } else {
1606 oat_method_offsets_offsets_from_oat_class_[i] = oat_method_offsets_offset_from_oat_class;
1607 oat_method_offsets_offset_from_oat_class += sizeof(OatMethodOffsets);
1608 if (type_ == kOatClassSomeCompiled) {
1609 method_bitmap_->SetBit(i);
1610 }
1611 }
1612 }
Brian Carlstrome24fa612011-09-29 00:53:55 -07001613}
1614
Brian Carlstromba150c32013-08-27 17:31:03 -07001615OatWriter::OatClass::~OatClass() {
Mathieu Chartier661974a2014-01-09 11:23:53 -08001616 delete method_bitmap_;
Brian Carlstromba150c32013-08-27 17:31:03 -07001617}
1618
Brian Carlstrom265091e2013-01-30 14:08:26 -08001619size_t OatWriter::OatClass::GetOatMethodOffsetsOffsetFromOatHeader(
1620 size_t class_def_method_index_) const {
Brian Carlstromba150c32013-08-27 17:31:03 -07001621 uint32_t method_offset = GetOatMethodOffsetsOffsetFromOatClass(class_def_method_index_);
1622 if (method_offset == 0) {
1623 return 0;
1624 }
1625 return offset_ + method_offset;
Brian Carlstrom265091e2013-01-30 14:08:26 -08001626}
1627
1628size_t OatWriter::OatClass::GetOatMethodOffsetsOffsetFromOatClass(
1629 size_t class_def_method_index_) const {
Brian Carlstromba150c32013-08-27 17:31:03 -07001630 return oat_method_offsets_offsets_from_oat_class_[class_def_method_index_];
Brian Carlstrom265091e2013-01-30 14:08:26 -08001631}
1632
1633size_t OatWriter::OatClass::SizeOf() const {
Brian Carlstromba150c32013-08-27 17:31:03 -07001634 return sizeof(status_)
1635 + sizeof(type_)
1636 + ((method_bitmap_size_ == 0) ? 0 : sizeof(method_bitmap_size_))
1637 + method_bitmap_size_
1638 + (sizeof(method_offsets_[0]) * method_offsets_.size());
Brian Carlstrome24fa612011-09-29 00:53:55 -07001639}
1640
Ian Rogers3d504072014-03-01 09:16:49 -08001641void OatWriter::OatClass::UpdateChecksum(OatHeader* oat_header) const {
1642 oat_header->UpdateChecksum(&status_, sizeof(status_));
1643 oat_header->UpdateChecksum(&type_, sizeof(type_));
Brian Carlstromba150c32013-08-27 17:31:03 -07001644 if (method_bitmap_size_ != 0) {
1645 CHECK_EQ(kOatClassSomeCompiled, type_);
Ian Rogers3d504072014-03-01 09:16:49 -08001646 oat_header->UpdateChecksum(&method_bitmap_size_, sizeof(method_bitmap_size_));
1647 oat_header->UpdateChecksum(method_bitmap_->GetRawStorage(), method_bitmap_size_);
Brian Carlstromba150c32013-08-27 17:31:03 -07001648 }
Ian Rogers3d504072014-03-01 09:16:49 -08001649 oat_header->UpdateChecksum(&method_offsets_[0],
1650 sizeof(method_offsets_[0]) * method_offsets_.size());
Brian Carlstrome24fa612011-09-29 00:53:55 -07001651}
1652
Brian Carlstromc50d8e12013-07-23 22:35:16 -07001653bool OatWriter::OatClass::Write(OatWriter* oat_writer,
Ian Rogers3d504072014-03-01 09:16:49 -08001654 OutputStream* out,
Brian Carlstromc50d8e12013-07-23 22:35:16 -07001655 const size_t file_offset) const {
Brian Carlstrom265091e2013-01-30 14:08:26 -08001656 DCHECK_OFFSET_();
Ian Rogers3d504072014-03-01 09:16:49 -08001657 if (!out->WriteFully(&status_, sizeof(status_))) {
1658 PLOG(ERROR) << "Failed to write class status to " << out->GetLocation();
Brian Carlstrom0755ec52012-01-11 15:19:46 -08001659 return false;
1660 }
Jeff Hao0aba0ba2013-06-03 14:49:28 -07001661 oat_writer->size_oat_class_status_ += sizeof(status_);
Ian Rogers3d504072014-03-01 09:16:49 -08001662 if (!out->WriteFully(&type_, sizeof(type_))) {
1663 PLOG(ERROR) << "Failed to write oat class type to " << out->GetLocation();
Brian Carlstromba150c32013-08-27 17:31:03 -07001664 return false;
1665 }
1666 oat_writer->size_oat_class_type_ += sizeof(type_);
1667 if (method_bitmap_size_ != 0) {
1668 CHECK_EQ(kOatClassSomeCompiled, type_);
Ian Rogers3d504072014-03-01 09:16:49 -08001669 if (!out->WriteFully(&method_bitmap_size_, sizeof(method_bitmap_size_))) {
1670 PLOG(ERROR) << "Failed to write method bitmap size to " << out->GetLocation();
Brian Carlstromba150c32013-08-27 17:31:03 -07001671 return false;
1672 }
1673 oat_writer->size_oat_class_method_bitmaps_ += sizeof(method_bitmap_size_);
Ian Rogers3d504072014-03-01 09:16:49 -08001674 if (!out->WriteFully(method_bitmap_->GetRawStorage(), method_bitmap_size_)) {
1675 PLOG(ERROR) << "Failed to write method bitmap to " << out->GetLocation();
Brian Carlstromba150c32013-08-27 17:31:03 -07001676 return false;
1677 }
1678 oat_writer->size_oat_class_method_bitmaps_ += method_bitmap_size_;
1679 }
Ian Rogers3d504072014-03-01 09:16:49 -08001680 if (!out->WriteFully(&method_offsets_[0],
Brian Carlstromcd60ac72013-01-20 17:09:51 -08001681 sizeof(method_offsets_[0]) * method_offsets_.size())) {
Ian Rogers3d504072014-03-01 09:16:49 -08001682 PLOG(ERROR) << "Failed to write method offsets to " << out->GetLocation();
Brian Carlstrome24fa612011-09-29 00:53:55 -07001683 return false;
1684 }
Jeff Hao0aba0ba2013-06-03 14:49:28 -07001685 oat_writer->size_oat_class_method_offsets_ += sizeof(method_offsets_[0]) * method_offsets_.size();
Brian Carlstrome24fa612011-09-29 00:53:55 -07001686 return true;
1687}
1688
Brian Carlstrome24fa612011-09-29 00:53:55 -07001689} // namespace art