blob: a78a5b364400cadf1124ffe916a0df5104930d2c [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 Marko09d09432015-09-08 13:47:48 +010034#include "gc/space/image_space.h"
Ian Rogers1d54e732013-05-02 21:10:01 -070035#include "gc/space/space.h"
Vladimir Markof4da6752014-08-01 19:04:18 +010036#include "image_writer.h"
Vladimir Markob163bb72015-03-31 21:49:49 +010037#include "linker/relative_patcher.h"
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080038#include "mirror/array.h"
39#include "mirror/class_loader.h"
Vladimir Marko3481ba22015-04-13 12:22:36 +010040#include "mirror/dex_cache-inl.h"
Ian Rogers4f6ad8a2013-03-18 15:27:28 -070041#include "mirror/object-inl.h"
Brian Carlstrome24fa612011-09-29 00:53:55 -070042#include "os.h"
Brian Carlstromcd60ac72013-01-20 17:09:51 -080043#include "output_stream.h"
Elliott Hughesa0e18062012-04-13 15:59:59 -070044#include "safe_map.h"
Ian Rogers00f7d0e2012-07-19 15:28:27 -070045#include "scoped_thread_state_change.h"
Mathieu Chartiereb8167a2014-05-07 15:43:14 -070046#include "handle_scope-inl.h"
Vladimir Marko09d09432015-09-08 13:47:48 +010047#include "utils/dex_cache_arrays_layout-inl.h"
jeffhaoec014232012-09-05 10:42:25 -070048#include "verifier/method_verifier.h"
Brian Carlstrome24fa612011-09-29 00:53:55 -070049
50namespace art {
51
Vladimir Marko96c6ab92014-04-08 14:00:50 +010052#define DCHECK_OFFSET() \
53 DCHECK_EQ(static_cast<off_t>(file_offset + relative_offset), out->Seek(0, kSeekCurrent)) \
54 << "file_offset=" << file_offset << " relative_offset=" << relative_offset
55
56#define DCHECK_OFFSET_() \
57 DCHECK_EQ(static_cast<off_t>(file_offset + offset_), out->Seek(0, kSeekCurrent)) \
58 << "file_offset=" << file_offset << " offset_=" << offset_
59
Brian Carlstrom3320cf42011-10-04 14:58:28 -070060OatWriter::OatWriter(const std::vector<const DexFile*>& dex_files,
Brian Carlstrom28db0122012-10-18 16:20:41 -070061 uint32_t image_file_location_oat_checksum,
Ian Rogersef7d42f2014-01-06 12:55:46 -080062 uintptr_t image_file_location_oat_begin,
Alex Lighta59dd802014-07-02 16:28:08 -070063 int32_t image_patch_delta,
Ian Rogersca368cb2013-11-15 15:52:08 -080064 const CompilerDriver* compiler,
Vladimir Markof4da6752014-08-01 19:04:18 +010065 ImageWriter* image_writer,
Andreas Gampe22f8e5c2014-07-09 11:38:21 -070066 TimingLogger* timings,
67 SafeMap<std::string, std::string>* key_value_store)
Jeff Hao0aba0ba2013-06-03 14:49:28 -070068 : compiler_driver_(compiler),
Vladimir Markof4da6752014-08-01 19:04:18 +010069 image_writer_(image_writer),
Jeff Hao0aba0ba2013-06-03 14:49:28 -070070 dex_files_(&dex_files),
Vladimir Markof4da6752014-08-01 19:04:18 +010071 size_(0u),
Vladimir Marko5c42c292015-02-25 12:02:49 +000072 bss_size_(0u),
Vladimir Markof4da6752014-08-01 19:04:18 +010073 oat_data_offset_(0u),
Jeff Hao0aba0ba2013-06-03 14:49:28 -070074 image_file_location_oat_checksum_(image_file_location_oat_checksum),
75 image_file_location_oat_begin_(image_file_location_oat_begin),
Alex Lighta59dd802014-07-02 16:28:08 -070076 image_patch_delta_(image_patch_delta),
Andreas Gampe22f8e5c2014-07-09 11:38:21 -070077 key_value_store_(key_value_store),
Mathieu Chartier2cebb242015-04-21 16:50:40 -070078 oat_header_(nullptr),
Jeff Hao0aba0ba2013-06-03 14:49:28 -070079 size_dex_file_alignment_(0),
80 size_executable_offset_alignment_(0),
81 size_oat_header_(0),
Andreas Gampe22f8e5c2014-07-09 11:38:21 -070082 size_oat_header_key_value_store_(0),
Jeff Hao0aba0ba2013-06-03 14:49:28 -070083 size_dex_file_(0),
Ian Rogers848871b2013-08-05 10:56:33 -070084 size_interpreter_to_interpreter_bridge_(0),
85 size_interpreter_to_compiled_code_bridge_(0),
86 size_jni_dlsym_lookup_(0),
Andreas Gampe2da88232014-02-27 12:26:20 -080087 size_quick_generic_jni_trampoline_(0),
Jeff Hao88474b42013-10-23 16:24:40 -070088 size_quick_imt_conflict_trampoline_(0),
Jeff Hao0aba0ba2013-06-03 14:49:28 -070089 size_quick_resolution_trampoline_(0),
Ian Rogers848871b2013-08-05 10:56:33 -070090 size_quick_to_interpreter_bridge_(0),
91 size_trampoline_alignment_(0),
Vladimir Marko96c6ab92014-04-08 14:00:50 +010092 size_method_header_(0),
Jeff Hao0aba0ba2013-06-03 14:49:28 -070093 size_code_(0),
94 size_code_alignment_(0),
Vladimir Markof4da6752014-08-01 19:04:18 +010095 size_relative_call_thunks_(0),
Vladimir Markoc74658b2015-03-31 10:26:41 +010096 size_misc_thunks_(0),
Jeff Hao0aba0ba2013-06-03 14:49:28 -070097 size_mapping_table_(0),
98 size_vmap_table_(0),
99 size_gc_map_(0),
100 size_oat_dex_file_location_size_(0),
101 size_oat_dex_file_location_data_(0),
102 size_oat_dex_file_location_checksum_(0),
103 size_oat_dex_file_offset_(0),
104 size_oat_dex_file_methods_offsets_(0),
Brian Carlstromba150c32013-08-27 17:31:03 -0700105 size_oat_class_type_(0),
Jeff Hao0aba0ba2013-06-03 14:49:28 -0700106 size_oat_class_status_(0),
Brian Carlstromba150c32013-08-27 17:31:03 -0700107 size_oat_class_method_bitmaps_(0),
Vladimir Markof4da6752014-08-01 19:04:18 +0100108 size_oat_class_method_offsets_(0),
109 method_offset_map_() {
Andreas Gampe22f8e5c2014-07-09 11:38:21 -0700110 CHECK(key_value_store != nullptr);
111
Vladimir Markob163bb72015-03-31 21:49:49 +0100112 InstructionSet instruction_set = compiler_driver_->GetInstructionSet();
113 const InstructionSetFeatures* features = compiler_driver_->GetInstructionSetFeatures();
114 relative_patcher_ = linker::RelativePatcher::Create(instruction_set, features,
115 &method_offset_map_);
Vladimir Markof4da6752014-08-01 19:04:18 +0100116
Ian Rogersca368cb2013-11-15 15:52:08 -0800117 size_t offset;
118 {
Mathieu Chartierf5997b42014-06-20 10:37:54 -0700119 TimingLogger::ScopedTiming split("InitOatHeader", timings);
Ian Rogersca368cb2013-11-15 15:52:08 -0800120 offset = InitOatHeader();
121 }
122 {
Mathieu Chartierf5997b42014-06-20 10:37:54 -0700123 TimingLogger::ScopedTiming split("InitOatDexFiles", timings);
Ian Rogersca368cb2013-11-15 15:52:08 -0800124 offset = InitOatDexFiles(offset);
125 }
126 {
Mathieu Chartierf5997b42014-06-20 10:37:54 -0700127 TimingLogger::ScopedTiming split("InitDexFiles", timings);
Ian Rogersca368cb2013-11-15 15:52:08 -0800128 offset = InitDexFiles(offset);
129 }
130 {
Mathieu Chartierf5997b42014-06-20 10:37:54 -0700131 TimingLogger::ScopedTiming split("InitOatClasses", timings);
Ian Rogersca368cb2013-11-15 15:52:08 -0800132 offset = InitOatClasses(offset);
133 }
134 {
Mathieu Chartierf5997b42014-06-20 10:37:54 -0700135 TimingLogger::ScopedTiming split("InitOatMaps", timings);
Vladimir Marko96c6ab92014-04-08 14:00:50 +0100136 offset = InitOatMaps(offset);
137 }
138 {
Mathieu Chartierf5997b42014-06-20 10:37:54 -0700139 TimingLogger::ScopedTiming split("InitOatCode", timings);
Ian Rogersca368cb2013-11-15 15:52:08 -0800140 offset = InitOatCode(offset);
141 }
142 {
Mathieu Chartierf5997b42014-06-20 10:37:54 -0700143 TimingLogger::ScopedTiming split("InitOatCodeDexFiles", timings);
Ian Rogersca368cb2013-11-15 15:52:08 -0800144 offset = InitOatCodeDexFiles(offset);
145 }
Brian Carlstromc50d8e12013-07-23 22:35:16 -0700146 size_ = offset;
Brian Carlstrome24fa612011-09-29 00:53:55 -0700147
Vladimir Marko09d09432015-09-08 13:47:48 +0100148 if (!HasImage()) {
149 // Allocate space for app dex cache arrays in the .bss section.
150 size_t bss_start = RoundUp(size_, kPageSize);
151 size_t pointer_size = GetInstructionSetPointerSize(instruction_set);
152 bss_size_ = 0u;
153 for (const DexFile* dex_file : dex_files) {
154 dex_cache_arrays_offsets_.Put(dex_file, bss_start + bss_size_);
155 DexCacheArraysLayout layout(pointer_size, dex_file);
156 bss_size_ += layout.Size();
157 }
158 }
159
Brian Carlstrome24fa612011-09-29 00:53:55 -0700160 CHECK_EQ(dex_files_->size(), oat_dex_files_.size());
Vladimir Markof4da6752014-08-01 19:04:18 +0100161 CHECK_EQ(compiler->IsImage(), image_writer_ != nullptr);
Andreas Gampe22f8e5c2014-07-09 11:38:21 -0700162 CHECK_EQ(compiler->IsImage(),
163 key_value_store_->find(OatHeader::kImageLocationKey) == key_value_store_->end());
Alex Lighta59dd802014-07-02 16:28:08 -0700164 CHECK_ALIGNED(image_patch_delta_, kPageSize);
Brian Carlstrome24fa612011-09-29 00:53:55 -0700165}
166
Ian Rogers0571d352011-11-03 19:51:38 -0700167OatWriter::~OatWriter() {
168 delete oat_header_;
169 STLDeleteElements(&oat_dex_files_);
Brian Carlstrom389efb02012-01-11 12:06:26 -0800170 STLDeleteElements(&oat_classes_);
Ian Rogers0571d352011-11-03 19:51:38 -0700171}
172
Vladimir Marko96c6ab92014-04-08 14:00:50 +0100173struct OatWriter::GcMapDataAccess {
Andreas Gampee21dc3d2014-12-08 16:59:43 -0800174 static const SwapVector<uint8_t>* GetData(const CompiledMethod* compiled_method) ALWAYS_INLINE {
Nicolas Geoffray39468442014-09-02 15:17:15 +0100175 return compiled_method->GetGcMap();
Vladimir Marko96c6ab92014-04-08 14:00:50 +0100176 }
177
178 static uint32_t GetOffset(OatClass* oat_class, size_t method_offsets_index) ALWAYS_INLINE {
Mathieu Chartier957ca1c2014-11-21 16:51:29 -0800179 uint32_t offset = oat_class->method_headers_[method_offsets_index].gc_map_offset_;
180 return offset == 0u ? 0u :
181 (oat_class->method_offsets_[method_offsets_index].code_offset_ & ~1) - offset;
Vladimir Marko96c6ab92014-04-08 14:00:50 +0100182 }
183
184 static void SetOffset(OatClass* oat_class, size_t method_offsets_index, uint32_t offset)
185 ALWAYS_INLINE {
Mathieu Chartier957ca1c2014-11-21 16:51:29 -0800186 oat_class->method_headers_[method_offsets_index].gc_map_offset_ =
187 (oat_class->method_offsets_[method_offsets_index].code_offset_ & ~1) - offset;
Vladimir Marko96c6ab92014-04-08 14:00:50 +0100188 }
189
Mathieu Chartier957ca1c2014-11-21 16:51:29 -0800190 static const char* Name() {
Vladimir Marko96c6ab92014-04-08 14:00:50 +0100191 return "GC map";
192 }
193};
194
195struct OatWriter::MappingTableDataAccess {
Andreas Gampee21dc3d2014-12-08 16:59:43 -0800196 static const SwapVector<uint8_t>* GetData(const CompiledMethod* compiled_method) ALWAYS_INLINE {
Nicolas Geoffray376b2bb2014-12-09 14:26:32 +0000197 return compiled_method->GetMappingTable();
Vladimir Marko96c6ab92014-04-08 14:00:50 +0100198 }
199
200 static uint32_t GetOffset(OatClass* oat_class, size_t method_offsets_index) ALWAYS_INLINE {
Vladimir Marko8a630572014-04-09 18:45:35 +0100201 uint32_t offset = oat_class->method_headers_[method_offsets_index].mapping_table_offset_;
202 return offset == 0u ? 0u :
203 (oat_class->method_offsets_[method_offsets_index].code_offset_ & ~1) - offset;
Vladimir Marko96c6ab92014-04-08 14:00:50 +0100204 }
205
206 static void SetOffset(OatClass* oat_class, size_t method_offsets_index, uint32_t offset)
207 ALWAYS_INLINE {
Vladimir Marko8a630572014-04-09 18:45:35 +0100208 oat_class->method_headers_[method_offsets_index].mapping_table_offset_ =
209 (oat_class->method_offsets_[method_offsets_index].code_offset_ & ~1) - offset;
Vladimir Marko96c6ab92014-04-08 14:00:50 +0100210 }
211
Mathieu Chartier957ca1c2014-11-21 16:51:29 -0800212 static const char* Name() {
Vladimir Marko96c6ab92014-04-08 14:00:50 +0100213 return "mapping table";
214 }
215};
216
217struct OatWriter::VmapTableDataAccess {
Andreas Gampee21dc3d2014-12-08 16:59:43 -0800218 static const SwapVector<uint8_t>* GetData(const CompiledMethod* compiled_method) ALWAYS_INLINE {
Mathieu Chartiere5f13e52015-02-24 09:37:21 -0800219 return compiled_method->GetVmapTable();
Vladimir Marko96c6ab92014-04-08 14:00:50 +0100220 }
221
222 static uint32_t GetOffset(OatClass* oat_class, size_t method_offsets_index) ALWAYS_INLINE {
Vladimir Marko8a630572014-04-09 18:45:35 +0100223 uint32_t offset = oat_class->method_headers_[method_offsets_index].vmap_table_offset_;
224 return offset == 0u ? 0u :
225 (oat_class->method_offsets_[method_offsets_index].code_offset_ & ~1) - offset;
Vladimir Marko96c6ab92014-04-08 14:00:50 +0100226 }
227
228 static void SetOffset(OatClass* oat_class, size_t method_offsets_index, uint32_t offset)
229 ALWAYS_INLINE {
Vladimir Marko8a630572014-04-09 18:45:35 +0100230 oat_class->method_headers_[method_offsets_index].vmap_table_offset_ =
231 (oat_class->method_offsets_[method_offsets_index].code_offset_ & ~1) - offset;
Vladimir Marko96c6ab92014-04-08 14:00:50 +0100232 }
233
Mathieu Chartier957ca1c2014-11-21 16:51:29 -0800234 static const char* Name() {
Vladimir Marko96c6ab92014-04-08 14:00:50 +0100235 return "vmap table";
236 }
237};
238
239class OatWriter::DexMethodVisitor {
240 public:
241 DexMethodVisitor(OatWriter* writer, size_t offset)
242 : writer_(writer),
243 offset_(offset),
244 dex_file_(nullptr),
245 class_def_index_(DexFile::kDexNoIndex) {
246 }
247
248 virtual bool StartClass(const DexFile* dex_file, size_t class_def_index) {
249 DCHECK(dex_file_ == nullptr);
250 DCHECK_EQ(class_def_index_, DexFile::kDexNoIndex);
251 dex_file_ = dex_file;
252 class_def_index_ = class_def_index;
253 return true;
254 }
255
256 virtual bool VisitMethod(size_t class_def_method_index, const ClassDataItemIterator& it) = 0;
257
258 virtual bool EndClass() {
259 if (kIsDebugBuild) {
260 dex_file_ = nullptr;
261 class_def_index_ = DexFile::kDexNoIndex;
262 }
263 return true;
264 }
265
266 size_t GetOffset() const {
267 return offset_;
268 }
269
270 protected:
271 virtual ~DexMethodVisitor() { }
272
273 OatWriter* const writer_;
274
275 // The offset is usually advanced for each visited method by the derived class.
276 size_t offset_;
277
278 // The dex file and class def index are set in StartClass().
279 const DexFile* dex_file_;
280 size_t class_def_index_;
281};
282
283class OatWriter::OatDexMethodVisitor : public DexMethodVisitor {
284 public:
285 OatDexMethodVisitor(OatWriter* writer, size_t offset)
286 : DexMethodVisitor(writer, offset),
287 oat_class_index_(0u),
288 method_offsets_index_(0u) {
289 }
290
291 bool StartClass(const DexFile* dex_file, size_t class_def_index) {
292 DexMethodVisitor::StartClass(dex_file, class_def_index);
293 DCHECK_LT(oat_class_index_, writer_->oat_classes_.size());
294 method_offsets_index_ = 0u;
295 return true;
296 }
297
298 bool EndClass() {
299 ++oat_class_index_;
300 return DexMethodVisitor::EndClass();
301 }
302
303 protected:
304 size_t oat_class_index_;
305 size_t method_offsets_index_;
306};
307
308class OatWriter::InitOatClassesMethodVisitor : public DexMethodVisitor {
309 public:
310 InitOatClassesMethodVisitor(OatWriter* writer, size_t offset)
311 : DexMethodVisitor(writer, offset),
312 compiled_methods_(),
313 num_non_null_compiled_methods_(0u) {
314 compiled_methods_.reserve(256u);
315 }
316
317 bool StartClass(const DexFile* dex_file, size_t class_def_index) {
318 DexMethodVisitor::StartClass(dex_file, class_def_index);
319 compiled_methods_.clear();
320 num_non_null_compiled_methods_ = 0u;
321 return true;
322 }
323
Ian Rogers6a3c1fc2014-10-31 00:33:20 -0700324 bool VisitMethod(size_t class_def_method_index ATTRIBUTE_UNUSED, const ClassDataItemIterator& it) {
Vladimir Marko96c6ab92014-04-08 14:00:50 +0100325 // Fill in the compiled_methods_ array for methods that have a
326 // CompiledMethod. We track the number of non-null entries in
327 // num_non_null_compiled_methods_ since we only want to allocate
328 // OatMethodOffsets for the compiled methods.
329 uint32_t method_idx = it.GetMemberIndex();
330 CompiledMethod* compiled_method =
331 writer_->compiler_driver_->GetCompiledMethod(MethodReference(dex_file_, method_idx));
332 compiled_methods_.push_back(compiled_method);
333 if (compiled_method != nullptr) {
334 ++num_non_null_compiled_methods_;
335 }
336 return true;
337 }
338
339 bool EndClass() {
340 ClassReference class_ref(dex_file_, class_def_index_);
341 CompiledClass* compiled_class = writer_->compiler_driver_->GetCompiledClass(class_ref);
342 mirror::Class::Status status;
Mathieu Chartier2cebb242015-04-21 16:50:40 -0700343 if (compiled_class != nullptr) {
Vladimir Marko96c6ab92014-04-08 14:00:50 +0100344 status = compiled_class->GetStatus();
345 } else if (writer_->compiler_driver_->GetVerificationResults()->IsClassRejected(class_ref)) {
346 status = mirror::Class::kStatusError;
347 } else {
348 status = mirror::Class::kStatusNotReady;
349 }
350
351 OatClass* oat_class = new OatClass(offset_, compiled_methods_,
352 num_non_null_compiled_methods_, status);
353 writer_->oat_classes_.push_back(oat_class);
Vladimir Markof4da6752014-08-01 19:04:18 +0100354 oat_class->UpdateChecksum(writer_->oat_header_);
Vladimir Marko96c6ab92014-04-08 14:00:50 +0100355 offset_ += oat_class->SizeOf();
356 return DexMethodVisitor::EndClass();
357 }
358
359 private:
360 std::vector<CompiledMethod*> compiled_methods_;
361 size_t num_non_null_compiled_methods_;
362};
363
364class OatWriter::InitCodeMethodVisitor : public OatDexMethodVisitor {
365 public:
366 InitCodeMethodVisitor(OatWriter* writer, size_t offset)
David Srbecky009e2a62015-04-15 02:46:30 +0100367 : OatDexMethodVisitor(writer, offset),
David Srbecky009e2a62015-04-15 02:46:30 +0100368 debuggable_(writer->GetCompilerDriver()->GetCompilerOptions().GetDebuggable()) {
David Srbeckyf8980872015-05-22 17:04:47 +0100369 writer_->absolute_patch_locations_.reserve(
Vladimir Markof4da6752014-08-01 19:04:18 +0100370 writer_->compiler_driver_->GetNonRelativeLinkerPatchCount());
371 }
372
373 bool EndClass() {
374 OatDexMethodVisitor::EndClass();
375 if (oat_class_index_ == writer_->oat_classes_.size()) {
Vladimir Marko71b0ddf2015-04-02 19:45:06 +0100376 offset_ = writer_->relative_patcher_->ReserveSpaceEnd(offset_);
Vladimir Markof4da6752014-08-01 19:04:18 +0100377 }
378 return true;
Vladimir Marko96c6ab92014-04-08 14:00:50 +0100379 }
380
381 bool VisitMethod(size_t class_def_method_index, const ClassDataItemIterator& it)
Mathieu Chartier90443472015-07-16 20:32:27 -0700382 SHARED_REQUIRES(Locks::mutator_lock_) {
Vladimir Marko96c6ab92014-04-08 14:00:50 +0100383 OatClass* oat_class = writer_->oat_classes_[oat_class_index_];
384 CompiledMethod* compiled_method = oat_class->GetCompiledMethod(class_def_method_index);
385
386 if (compiled_method != nullptr) {
387 // Derived from CompiledMethod.
388 uint32_t quick_code_offset = 0;
Vladimir Marko96c6ab92014-04-08 14:00:50 +0100389
Andreas Gampee21dc3d2014-12-08 16:59:43 -0800390 const SwapVector<uint8_t>* quick_code = compiled_method->GetQuickCode();
Nicolas Geoffrayed6195a2015-07-13 17:02:30 +0000391 uint32_t code_size = quick_code->size() * sizeof(uint8_t);
Elliott Hughes956af0f2014-12-11 14:34:28 -0800392 uint32_t thumb_offset = compiled_method->CodeDelta();
Elliott Hughes956af0f2014-12-11 14:34:28 -0800393
David Srbecky009e2a62015-04-15 02:46:30 +0100394 // Deduplicate code arrays if we are not producing debuggable code.
Vladimir Markoc74658b2015-03-31 10:26:41 +0100395 bool deduped = false;
Nicolas Geoffrayed6195a2015-07-13 17:02:30 +0000396 if (debuggable_) {
397 quick_code_offset = NewQuickCodeOffset(compiled_method, it, thumb_offset);
398 } else {
399 auto lb = dedupe_map_.lower_bound(compiled_method);
400 if (lb != dedupe_map_.end() && !dedupe_map_.key_comp()(compiled_method, lb->first)) {
401 quick_code_offset = lb->second;
402 deduped = true;
Nicolas Geoffrayf0758792015-07-13 11:56:00 +0000403 } else {
Nicolas Geoffrayed6195a2015-07-13 17:02:30 +0000404 quick_code_offset = NewQuickCodeOffset(compiled_method, it, thumb_offset);
405 dedupe_map_.PutBefore(lb, compiled_method, quick_code_offset);
David Srbecky009e2a62015-04-15 02:46:30 +0100406 }
Elliott Hughes956af0f2014-12-11 14:34:28 -0800407 }
Vladimir Marko96c6ab92014-04-08 14:00:50 +0100408
Nicolas Geoffrayc04c8002015-07-14 11:37:54 +0100409 if (code_size != 0) {
410 MethodReference method_ref(dex_file_, it.GetMemberIndex());
411 auto method_lb = writer_->method_offset_map_.map.lower_bound(method_ref);
412 if (method_lb != writer_->method_offset_map_.map.end() &&
413 !writer_->method_offset_map_.map.key_comp()(method_ref, method_lb->first)) {
414 // TODO: Should this be a hard failure?
415 LOG(WARNING) << "Multiple definitions of "
416 << PrettyMethod(method_ref.dex_method_index, *method_ref.dex_file)
417 << ((method_lb->second != quick_code_offset) ? "; OFFSET MISMATCH" : "");
418 } else {
419 writer_->method_offset_map_.map.PutBefore(method_lb, method_ref, quick_code_offset);
420 }
Elliott Hughes956af0f2014-12-11 14:34:28 -0800421 }
Vladimir Marko96c6ab92014-04-08 14:00:50 +0100422
Elliott Hughes956af0f2014-12-11 14:34:28 -0800423 // Update quick method header.
424 DCHECK_LT(method_offsets_index_, oat_class->method_headers_.size());
425 OatQuickMethodHeader* method_header = &oat_class->method_headers_[method_offsets_index_];
426 uint32_t mapping_table_offset = method_header->mapping_table_offset_;
427 uint32_t vmap_table_offset = method_header->vmap_table_offset_;
Nicolas Geoffrayc04c8002015-07-14 11:37:54 +0100428 // If we don't have quick code, then we must have a vmap, as that is how the dex2dex
429 // compiler records its transformations.
430 DCHECK(quick_code != nullptr || vmap_table_offset != 0);
Elliott Hughes956af0f2014-12-11 14:34:28 -0800431 uint32_t gc_map_offset = method_header->gc_map_offset_;
432 // The code offset was 0 when the mapping/vmap table offset was set, so it's set
433 // to 0-offset and we need to adjust it by code_offset.
434 uint32_t code_offset = quick_code_offset - thumb_offset;
Nicolas Geoffrayc04c8002015-07-14 11:37:54 +0100435 if (mapping_table_offset != 0u && code_offset != 0u) {
Elliott Hughes956af0f2014-12-11 14:34:28 -0800436 mapping_table_offset += code_offset;
Nicolas Geoffrayc04c8002015-07-14 11:37:54 +0100437 DCHECK_LT(mapping_table_offset, code_offset) << "Overflow in oat offsets";
Elliott Hughes956af0f2014-12-11 14:34:28 -0800438 }
Nicolas Geoffrayc04c8002015-07-14 11:37:54 +0100439 if (vmap_table_offset != 0u && code_offset != 0u) {
Elliott Hughes956af0f2014-12-11 14:34:28 -0800440 vmap_table_offset += code_offset;
Nicolas Geoffrayc04c8002015-07-14 11:37:54 +0100441 DCHECK_LT(vmap_table_offset, code_offset) << "Overflow in oat offsets";
Elliott Hughes956af0f2014-12-11 14:34:28 -0800442 }
Nicolas Geoffrayc04c8002015-07-14 11:37:54 +0100443 if (gc_map_offset != 0u && code_offset != 0u) {
Elliott Hughes956af0f2014-12-11 14:34:28 -0800444 gc_map_offset += code_offset;
Nicolas Geoffrayc04c8002015-07-14 11:37:54 +0100445 DCHECK_LT(gc_map_offset, code_offset) << "Overflow in oat offsets";
Elliott Hughes956af0f2014-12-11 14:34:28 -0800446 }
447 uint32_t frame_size_in_bytes = compiled_method->GetFrameSizeInBytes();
448 uint32_t core_spill_mask = compiled_method->GetCoreSpillMask();
449 uint32_t fp_spill_mask = compiled_method->GetFpSpillMask();
450 *method_header = OatQuickMethodHeader(mapping_table_offset, vmap_table_offset,
451 gc_map_offset, frame_size_in_bytes, core_spill_mask,
452 fp_spill_mask, code_size);
Vladimir Marko7624d252014-05-02 14:40:15 +0100453
Nicolas Geoffrayed6195a2015-07-13 17:02:30 +0000454 if (!deduped) {
Elliott Hughes956af0f2014-12-11 14:34:28 -0800455 // Update offsets. (Checksum is updated when writing.)
456 offset_ += sizeof(*method_header); // Method header is prepended before code.
457 offset_ += code_size;
458 // Record absolute patch locations.
459 if (!compiled_method->GetPatches().empty()) {
460 uintptr_t base_loc = offset_ - code_size - writer_->oat_header_->GetExecutableOffset();
461 for (const LinkerPatch& patch : compiled_method->GetPatches()) {
Vladimir Marko20f85592015-03-19 10:07:02 +0000462 if (!patch.IsPcRelative()) {
David Srbeckyf8980872015-05-22 17:04:47 +0100463 writer_->absolute_patch_locations_.push_back(base_loc + patch.LiteralOffset());
Vladimir Markof4da6752014-08-01 19:04:18 +0100464 }
465 }
Vladimir Marko96c6ab92014-04-08 14:00:50 +0100466 }
Elliott Hughes956af0f2014-12-11 14:34:28 -0800467 }
Alex Light78382fa2014-06-06 15:45:32 -0700468
David Srbecky8363c772015-05-28 16:12:43 +0100469 if (writer_->compiler_driver_->GetCompilerOptions().GetGenerateDebugInfo()) {
Elliott Hughes956af0f2014-12-11 14:34:28 -0800470 // Record debug information for this function if we are doing that.
Elliott Hughes956af0f2014-12-11 14:34:28 -0800471 const uint32_t quick_code_start = quick_code_offset -
David Srbecky6f715892015-03-30 14:21:42 +0100472 writer_->oat_header_->GetExecutableOffset() - thumb_offset;
David Srbecky0df9e1f2015-04-07 19:02:58 +0100473 writer_->method_info_.push_back(DebugInfo {
474 dex_file_,
475 class_def_index_,
476 it.GetMemberIndex(),
477 it.GetMethodAccessFlags(),
478 it.GetMethodCodeItem(),
479 deduped,
480 quick_code_start,
481 quick_code_start + code_size,
482 compiled_method});
Vladimir Marko96c6ab92014-04-08 14:00:50 +0100483 }
Vladimir Marko96c6ab92014-04-08 14:00:50 +0100484
485 if (kIsDebugBuild) {
486 // We expect GC maps except when the class hasn't been verified or the method is native.
487 const CompilerDriver* compiler_driver = writer_->compiler_driver_;
488 ClassReference class_ref(dex_file_, class_def_index_);
489 CompiledClass* compiled_class = compiler_driver->GetCompiledClass(class_ref);
490 mirror::Class::Status status;
Mathieu Chartier2cebb242015-04-21 16:50:40 -0700491 if (compiled_class != nullptr) {
Vladimir Marko96c6ab92014-04-08 14:00:50 +0100492 status = compiled_class->GetStatus();
493 } else if (compiler_driver->GetVerificationResults()->IsClassRejected(class_ref)) {
494 status = mirror::Class::kStatusError;
495 } else {
496 status = mirror::Class::kStatusNotReady;
497 }
Andreas Gampee21dc3d2014-12-08 16:59:43 -0800498 const SwapVector<uint8_t>* gc_map = compiled_method->GetGcMap();
Nicolas Geoffray39468442014-09-02 15:17:15 +0100499 if (gc_map != nullptr) {
500 size_t gc_map_size = gc_map->size() * sizeof(gc_map[0]);
Andreas Gampe51829322014-08-25 15:05:04 -0700501 bool is_native = it.MemberIsNative();
Nicolas Geoffray39468442014-09-02 15:17:15 +0100502 CHECK(gc_map_size != 0 || is_native || status < mirror::Class::kStatusVerified)
503 << gc_map << " " << gc_map_size << " " << (is_native ? "true" : "false") << " "
504 << (status < mirror::Class::kStatusVerified) << " " << status << " "
505 << PrettyMethod(it.GetMemberIndex(), *dex_file_);
506 }
Vladimir Marko96c6ab92014-04-08 14:00:50 +0100507 }
508
509 DCHECK_LT(method_offsets_index_, oat_class->method_offsets_.size());
510 OatMethodOffsets* offsets = &oat_class->method_offsets_[method_offsets_index_];
511 offsets->code_offset_ = quick_code_offset;
Vladimir Marko96c6ab92014-04-08 14:00:50 +0100512 ++method_offsets_index_;
513 }
514
515 return true;
516 }
517
518 private:
Vladimir Marko20f85592015-03-19 10:07:02 +0000519 struct CodeOffsetsKeyComparator {
520 bool operator()(const CompiledMethod* lhs, const CompiledMethod* rhs) const {
521 if (lhs->GetQuickCode() != rhs->GetQuickCode()) {
522 return lhs->GetQuickCode() < rhs->GetQuickCode();
523 }
524 // If the code is the same, all other fields are likely to be the same as well.
525 if (UNLIKELY(lhs->GetMappingTable() != rhs->GetMappingTable())) {
526 return lhs->GetMappingTable() < rhs->GetMappingTable();
527 }
528 if (UNLIKELY(lhs->GetVmapTable() != rhs->GetVmapTable())) {
529 return lhs->GetVmapTable() < rhs->GetVmapTable();
530 }
531 if (UNLIKELY(lhs->GetGcMap() != rhs->GetGcMap())) {
532 return lhs->GetGcMap() < rhs->GetGcMap();
533 }
534 const auto& lhs_patches = lhs->GetPatches();
535 const auto& rhs_patches = rhs->GetPatches();
536 if (UNLIKELY(lhs_patches.size() != rhs_patches.size())) {
537 return lhs_patches.size() < rhs_patches.size();
538 }
539 auto rit = rhs_patches.begin();
540 for (const LinkerPatch& lpatch : lhs_patches) {
541 if (UNLIKELY(!(lpatch == *rit))) {
542 return lpatch < *rit;
543 }
544 ++rit;
545 }
546 return false;
547 }
548 };
549
David Srbecky009e2a62015-04-15 02:46:30 +0100550 uint32_t NewQuickCodeOffset(CompiledMethod* compiled_method,
551 const ClassDataItemIterator& it,
552 uint32_t thumb_offset) {
553 offset_ = writer_->relative_patcher_->ReserveSpace(
Nicolas Geoffrayc04c8002015-07-14 11:37:54 +0100554 offset_, compiled_method, MethodReference(dex_file_, it.GetMemberIndex()));
David Srbecky009e2a62015-04-15 02:46:30 +0100555 offset_ = compiled_method->AlignCode(offset_);
556 DCHECK_ALIGNED_PARAM(offset_,
557 GetInstructionSetAlignment(compiled_method->GetInstructionSet()));
558 return offset_ + sizeof(OatQuickMethodHeader) + thumb_offset;
559 }
560
Vladimir Marko96c6ab92014-04-08 14:00:50 +0100561 // Deduplication is already done on a pointer basis by the compiler driver,
562 // so we can simply compare the pointers to find out if things are duplicated.
Vladimir Marko8a630572014-04-09 18:45:35 +0100563 SafeMap<const CompiledMethod*, uint32_t, CodeOffsetsKeyComparator> dedupe_map_;
David Srbecky2f6cdb02015-04-11 00:17:53 +0100564
David Srbecky009e2a62015-04-15 02:46:30 +0100565 // Cache of compiler's --debuggable option.
566 const bool debuggable_;
Vladimir Marko96c6ab92014-04-08 14:00:50 +0100567};
568
569template <typename DataAccess>
570class OatWriter::InitMapMethodVisitor : public OatDexMethodVisitor {
571 public:
572 InitMapMethodVisitor(OatWriter* writer, size_t offset)
573 : OatDexMethodVisitor(writer, offset) {
574 }
575
Ian Rogers6a3c1fc2014-10-31 00:33:20 -0700576 bool VisitMethod(size_t class_def_method_index, const ClassDataItemIterator& it ATTRIBUTE_UNUSED)
Mathieu Chartier90443472015-07-16 20:32:27 -0700577 SHARED_REQUIRES(Locks::mutator_lock_) {
Vladimir Marko96c6ab92014-04-08 14:00:50 +0100578 OatClass* oat_class = writer_->oat_classes_[oat_class_index_];
579 CompiledMethod* compiled_method = oat_class->GetCompiledMethod(class_def_method_index);
580
581 if (compiled_method != nullptr) {
582 DCHECK_LT(method_offsets_index_, oat_class->method_offsets_.size());
583 DCHECK_EQ(DataAccess::GetOffset(oat_class, method_offsets_index_), 0u);
584
Andreas Gampee21dc3d2014-12-08 16:59:43 -0800585 const SwapVector<uint8_t>* map = DataAccess::GetData(compiled_method);
Nicolas Geoffray39468442014-09-02 15:17:15 +0100586 uint32_t map_size = map == nullptr ? 0 : map->size() * sizeof((*map)[0]);
Vladimir Marko96c6ab92014-04-08 14:00:50 +0100587 if (map_size != 0u) {
Vladimir Markobd72fc12014-07-09 16:06:40 +0100588 auto lb = dedupe_map_.lower_bound(map);
589 if (lb != dedupe_map_.end() && !dedupe_map_.key_comp()(map, lb->first)) {
590 DataAccess::SetOffset(oat_class, method_offsets_index_, lb->second);
Vladimir Marko96c6ab92014-04-08 14:00:50 +0100591 } else {
592 DataAccess::SetOffset(oat_class, method_offsets_index_, offset_);
Vladimir Markobd72fc12014-07-09 16:06:40 +0100593 dedupe_map_.PutBefore(lb, map, offset_);
Vladimir Marko96c6ab92014-04-08 14:00:50 +0100594 offset_ += map_size;
595 writer_->oat_header_->UpdateChecksum(&(*map)[0], map_size);
596 }
597 }
598 ++method_offsets_index_;
599 }
600
601 return true;
602 }
603
604 private:
605 // Deduplication is already done on a pointer basis by the compiler driver,
606 // so we can simply compare the pointers to find out if things are duplicated.
Andreas Gampee21dc3d2014-12-08 16:59:43 -0800607 SafeMap<const SwapVector<uint8_t>*, uint32_t> dedupe_map_;
Vladimir Marko96c6ab92014-04-08 14:00:50 +0100608};
609
610class OatWriter::InitImageMethodVisitor : public OatDexMethodVisitor {
611 public:
612 InitImageMethodVisitor(OatWriter* writer, size_t offset)
Jeff Haoc7d11882015-02-03 15:08:39 -0800613 : OatDexMethodVisitor(writer, offset),
614 pointer_size_(GetInstructionSetPointerSize(writer_->compiler_driver_->GetInstructionSet())) {
Vladimir Marko96c6ab92014-04-08 14:00:50 +0100615 }
616
617 bool VisitMethod(size_t class_def_method_index, const ClassDataItemIterator& it)
Mathieu Chartier90443472015-07-16 20:32:27 -0700618 SHARED_REQUIRES(Locks::mutator_lock_) {
Vladimir Marko96c6ab92014-04-08 14:00:50 +0100619 OatClass* oat_class = writer_->oat_classes_[oat_class_index_];
620 CompiledMethod* compiled_method = oat_class->GetCompiledMethod(class_def_method_index);
621
Mathieu Chartier957ca1c2014-11-21 16:51:29 -0800622 OatMethodOffsets offsets(0u);
Vladimir Marko96c6ab92014-04-08 14:00:50 +0100623 if (compiled_method != nullptr) {
624 DCHECK_LT(method_offsets_index_, oat_class->method_offsets_.size());
625 offsets = oat_class->method_offsets_[method_offsets_index_];
626 ++method_offsets_index_;
627 }
628
Vladimir Marko96c6ab92014-04-08 14:00:50 +0100629 ClassLinker* linker = Runtime::Current()->GetClassLinker();
630 InvokeType invoke_type = it.GetMethodInvokeType(dex_file_->GetClassDef(class_def_index_));
631 // Unchecked as we hold mutator_lock_ on entry.
632 ScopedObjectAccessUnchecked soa(Thread::Current());
Mathieu Chartier957ca1c2014-11-21 16:51:29 -0800633 StackHandleScope<1> hs(soa.Self());
Mathieu Chartier673ed3d2015-08-28 14:56:43 -0700634 Handle<mirror::DexCache> dex_cache(hs.NewHandle(linker->FindDexCache(
635 Thread::Current(), *dex_file_)));
Mathieu Chartiere401d142015-04-22 13:56:20 -0700636 ArtMethod* method = linker->ResolveMethod(
637 *dex_file_, it.GetMemberIndex(), dex_cache, NullHandle<mirror::ClassLoader>(), nullptr,
638 invoke_type);
Andreas Gamped9efea62014-07-21 22:56:08 -0700639 if (method == nullptr) {
Nicolas Geoffrayc04c8002015-07-14 11:37:54 +0100640 LOG(INTERNAL_FATAL) << "Unexpected failure to resolve a method: "
641 << PrettyMethod(it.GetMemberIndex(), *dex_file_, true);
Andreas Gamped9efea62014-07-21 22:56:08 -0700642 soa.Self()->AssertPendingException();
Nicolas Geoffray14691c52015-03-05 10:40:17 +0000643 mirror::Throwable* exc = soa.Self()->GetException();
Andreas Gamped9efea62014-07-21 22:56:08 -0700644 std::string dump = exc->Dump();
645 LOG(FATAL) << dump;
Nicolas Geoffrayc04c8002015-07-14 11:37:54 +0100646 UNREACHABLE();
Andreas Gamped9efea62014-07-21 22:56:08 -0700647 }
Nicolas Geoffrayc04c8002015-07-14 11:37:54 +0100648
649 if (compiled_method != nullptr && compiled_method->GetQuickCode()->size() != 0) {
650 method->SetEntryPointFromQuickCompiledCodePtrSize(
651 reinterpret_cast<void*>(offsets.code_offset_), pointer_size_);
652 }
Vladimir Marko96c6ab92014-04-08 14:00:50 +0100653
654 return true;
655 }
Jeff Haoc7d11882015-02-03 15:08:39 -0800656
657 protected:
658 const size_t pointer_size_;
Vladimir Marko96c6ab92014-04-08 14:00:50 +0100659};
660
661class OatWriter::WriteCodeMethodVisitor : public OatDexMethodVisitor {
662 public:
663 WriteCodeMethodVisitor(OatWriter* writer, OutputStream* out, const size_t file_offset,
Vladimir Markof4da6752014-08-01 19:04:18 +0100664 size_t relative_offset) SHARED_LOCK_FUNCTION(Locks::mutator_lock_)
Vladimir Marko96c6ab92014-04-08 14:00:50 +0100665 : OatDexMethodVisitor(writer, relative_offset),
666 out_(out),
Vladimir Markof4da6752014-08-01 19:04:18 +0100667 file_offset_(file_offset),
Vladimir Marko7c2ad5a2014-09-24 12:42:55 +0100668 soa_(Thread::Current()),
669 no_thread_suspension_(soa_.Self(), "OatWriter patching"),
Vladimir Markof4da6752014-08-01 19:04:18 +0100670 class_linker_(Runtime::Current()->GetClassLinker()),
671 dex_cache_(nullptr) {
Vladimir Marko09d09432015-09-08 13:47:48 +0100672 patched_code_.reserve(16 * KB);
673 if (writer_->HasImage()) {
Vladimir Markof4da6752014-08-01 19:04:18 +0100674 // If we're creating the image, the address space must be ready so that we can apply patches.
675 CHECK(writer_->image_writer_->IsImageAddressSpaceReady());
Vladimir Markof4da6752014-08-01 19:04:18 +0100676 }
Vladimir Marko96c6ab92014-04-08 14:00:50 +0100677 }
678
Vladimir Markof4da6752014-08-01 19:04:18 +0100679 ~WriteCodeMethodVisitor() UNLOCK_FUNCTION(Locks::mutator_lock_) {
Vladimir Markof4da6752014-08-01 19:04:18 +0100680 }
681
682 bool StartClass(const DexFile* dex_file, size_t class_def_index)
Mathieu Chartier90443472015-07-16 20:32:27 -0700683 SHARED_REQUIRES(Locks::mutator_lock_) {
Vladimir Markof4da6752014-08-01 19:04:18 +0100684 OatDexMethodVisitor::StartClass(dex_file, class_def_index);
685 if (dex_cache_ == nullptr || dex_cache_->GetDexFile() != dex_file) {
Mathieu Chartier673ed3d2015-08-28 14:56:43 -0700686 dex_cache_ = class_linker_->FindDexCache(Thread::Current(), *dex_file);
Vladimir Markof4da6752014-08-01 19:04:18 +0100687 }
688 return true;
689 }
690
Mathieu Chartier90443472015-07-16 20:32:27 -0700691 bool EndClass() SHARED_REQUIRES(Locks::mutator_lock_) {
Vladimir Markof4da6752014-08-01 19:04:18 +0100692 bool result = OatDexMethodVisitor::EndClass();
693 if (oat_class_index_ == writer_->oat_classes_.size()) {
694 DCHECK(result); // OatDexMethodVisitor::EndClass() never fails.
Vladimir Marko20f85592015-03-19 10:07:02 +0000695 offset_ = writer_->relative_patcher_->WriteThunks(out_, offset_);
Vladimir Markof4da6752014-08-01 19:04:18 +0100696 if (UNLIKELY(offset_ == 0u)) {
697 PLOG(ERROR) << "Failed to write final relative call thunks";
698 result = false;
699 }
700 }
701 return result;
702 }
703
704 bool VisitMethod(size_t class_def_method_index, const ClassDataItemIterator& it)
Mathieu Chartier90443472015-07-16 20:32:27 -0700705 SHARED_REQUIRES(Locks::mutator_lock_) {
Vladimir Marko96c6ab92014-04-08 14:00:50 +0100706 OatClass* oat_class = writer_->oat_classes_[oat_class_index_];
707 const CompiledMethod* compiled_method = oat_class->GetCompiledMethod(class_def_method_index);
708
Mathieu Chartier673ed3d2015-08-28 14:56:43 -0700709 // No thread suspension since dex_cache_ that may get invalidated if that occurs.
710 ScopedAssertNoThreadSuspension tsc(Thread::Current(), __FUNCTION__);
Mathieu Chartier2cebb242015-04-21 16:50:40 -0700711 if (compiled_method != nullptr) { // ie. not an abstract method
Vladimir Marko96c6ab92014-04-08 14:00:50 +0100712 size_t file_offset = file_offset_;
713 OutputStream* out = out_;
714
Andreas Gampee21dc3d2014-12-08 16:59:43 -0800715 const SwapVector<uint8_t>* quick_code = compiled_method->GetQuickCode();
Nicolas Geoffrayc04c8002015-07-14 11:37:54 +0100716 // Need a wrapper if we create a copy for patching.
717 ArrayRef<const uint8_t> wrapped(*quick_code);
718 uint32_t code_size = quick_code->size() * sizeof(uint8_t);
Nicolas Geoffrayf0758792015-07-13 11:56:00 +0000719
Nicolas Geoffrayc04c8002015-07-14 11:37:54 +0100720 // Deduplicate code arrays.
721 const OatMethodOffsets& method_offsets = oat_class->method_offsets_[method_offsets_index_];
722 if (method_offsets.code_offset_ > offset_) {
723 offset_ = writer_->relative_patcher_->WriteThunks(out, offset_);
724 if (offset_ == 0u) {
725 ReportWriteFailure("relative call thunk", it);
726 return false;
Nicolas Geoffrayf0758792015-07-13 11:56:00 +0000727 }
Nicolas Geoffrayc04c8002015-07-14 11:37:54 +0100728 uint32_t aligned_offset = compiled_method->AlignCode(offset_);
729 uint32_t aligned_code_delta = aligned_offset - offset_;
730 if (aligned_code_delta != 0) {
731 if (!writer_->WriteCodeAlignment(out, aligned_code_delta)) {
732 ReportWriteFailure("code alignment padding", it);
733 return false;
734 }
735 offset_ += aligned_code_delta;
736 DCHECK_OFFSET_();
737 }
738 DCHECK_ALIGNED_PARAM(offset_,
739 GetInstructionSetAlignment(compiled_method->GetInstructionSet()));
740 DCHECK_EQ(method_offsets.code_offset_,
741 offset_ + sizeof(OatQuickMethodHeader) + compiled_method->CodeDelta())
742 << PrettyMethod(it.GetMemberIndex(), *dex_file_);
743 const OatQuickMethodHeader& method_header =
744 oat_class->method_headers_[method_offsets_index_];
745 writer_->oat_header_->UpdateChecksum(&method_header, sizeof(method_header));
746 if (!out->WriteFully(&method_header, sizeof(method_header))) {
747 ReportWriteFailure("method header", it);
748 return false;
749 }
750 writer_->size_method_header_ += sizeof(method_header);
751 offset_ += sizeof(method_header);
Nicolas Geoffrayed6195a2015-07-13 17:02:30 +0000752 DCHECK_OFFSET_();
Nicolas Geoffrayc04c8002015-07-14 11:37:54 +0100753
754 if (!compiled_method->GetPatches().empty()) {
755 patched_code_.assign(quick_code->begin(), quick_code->end());
756 wrapped = ArrayRef<const uint8_t>(patched_code_);
757 for (const LinkerPatch& patch : compiled_method->GetPatches()) {
758 if (patch.Type() == kLinkerPatchCallRelative) {
759 // NOTE: Relative calls across oat files are not supported.
760 uint32_t target_offset = GetTargetOffset(patch);
761 uint32_t literal_offset = patch.LiteralOffset();
762 writer_->relative_patcher_->PatchCall(&patched_code_, literal_offset,
763 offset_ + literal_offset, target_offset);
764 } else if (patch.Type() == kLinkerPatchDexCacheArray) {
765 uint32_t target_offset = GetDexCacheOffset(patch);
766 uint32_t literal_offset = patch.LiteralOffset();
767 writer_->relative_patcher_->PatchDexCacheReference(&patched_code_, patch,
768 offset_ + literal_offset,
769 target_offset);
770 } else if (patch.Type() == kLinkerPatchCall) {
771 uint32_t target_offset = GetTargetOffset(patch);
772 PatchCodeAddress(&patched_code_, patch.LiteralOffset(), target_offset);
773 } else if (patch.Type() == kLinkerPatchMethod) {
774 ArtMethod* method = GetTargetMethod(patch);
775 PatchMethodAddress(&patched_code_, patch.LiteralOffset(), method);
776 } else if (patch.Type() == kLinkerPatchType) {
777 mirror::Class* type = GetTargetType(patch);
778 PatchObjectAddress(&patched_code_, patch.LiteralOffset(), type);
779 }
780 }
781 }
782
783 writer_->oat_header_->UpdateChecksum(wrapped.data(), code_size);
784 if (!out->WriteFully(wrapped.data(), code_size)) {
785 ReportWriteFailure("method code", it);
786 return false;
787 }
788 writer_->size_code_ += code_size;
789 offset_ += code_size;
Nicolas Geoffrayf0758792015-07-13 11:56:00 +0000790 }
Nicolas Geoffrayc04c8002015-07-14 11:37:54 +0100791 DCHECK_OFFSET_();
Vladimir Marko96c6ab92014-04-08 14:00:50 +0100792 ++method_offsets_index_;
793 }
794
795 return true;
796 }
797
798 private:
799 OutputStream* const out_;
Vladimir Marko7c2ad5a2014-09-24 12:42:55 +0100800 const size_t file_offset_;
801 const ScopedObjectAccess soa_;
802 const ScopedAssertNoThreadSuspension no_thread_suspension_;
Vladimir Markof4da6752014-08-01 19:04:18 +0100803 ClassLinker* const class_linker_;
804 mirror::DexCache* dex_cache_;
805 std::vector<uint8_t> patched_code_;
Vladimir Marko96c6ab92014-04-08 14:00:50 +0100806
807 void ReportWriteFailure(const char* what, const ClassDataItemIterator& it) {
808 PLOG(ERROR) << "Failed to write " << what << " for "
809 << PrettyMethod(it.GetMemberIndex(), *dex_file_) << " to " << out_->GetLocation();
810 }
Vladimir Markof4da6752014-08-01 19:04:18 +0100811
Mathieu Chartiere401d142015-04-22 13:56:20 -0700812 ArtMethod* GetTargetMethod(const LinkerPatch& patch)
Mathieu Chartier90443472015-07-16 20:32:27 -0700813 SHARED_REQUIRES(Locks::mutator_lock_) {
Vladimir Markof4da6752014-08-01 19:04:18 +0100814 MethodReference ref = patch.TargetMethod();
815 mirror::DexCache* dex_cache =
Mathieu Chartier673ed3d2015-08-28 14:56:43 -0700816 (dex_file_ == ref.dex_file) ? dex_cache_ : class_linker_->FindDexCache(
817 Thread::Current(), *ref.dex_file);
Mathieu Chartiere401d142015-04-22 13:56:20 -0700818 ArtMethod* method = dex_cache->GetResolvedMethod(
819 ref.dex_method_index, class_linker_->GetImagePointerSize());
Vladimir Markof4da6752014-08-01 19:04:18 +0100820 CHECK(method != nullptr);
821 return method;
822 }
823
Mathieu Chartier90443472015-07-16 20:32:27 -0700824 uint32_t GetTargetOffset(const LinkerPatch& patch) SHARED_REQUIRES(Locks::mutator_lock_) {
Vladimir Markob163bb72015-03-31 21:49:49 +0100825 auto target_it = writer_->method_offset_map_.map.find(patch.TargetMethod());
Vladimir Markof4da6752014-08-01 19:04:18 +0100826 uint32_t target_offset =
Vladimir Markob163bb72015-03-31 21:49:49 +0100827 (target_it != writer_->method_offset_map_.map.end()) ? target_it->second : 0u;
Vladimir Markof4da6752014-08-01 19:04:18 +0100828 // If there's no compiled code, point to the correct trampoline.
829 if (UNLIKELY(target_offset == 0)) {
Mathieu Chartiere401d142015-04-22 13:56:20 -0700830 ArtMethod* target = GetTargetMethod(patch);
Vladimir Markof4da6752014-08-01 19:04:18 +0100831 DCHECK(target != nullptr);
Jeff Haoa0acc2d2015-01-27 11:22:04 -0800832 size_t size = GetInstructionSetPointerSize(writer_->compiler_driver_->GetInstructionSet());
833 const void* oat_code_offset = target->GetEntryPointFromQuickCompiledCodePtrSize(size);
834 if (oat_code_offset != 0) {
835 DCHECK(!Runtime::Current()->GetClassLinker()->IsQuickResolutionStub(oat_code_offset));
836 DCHECK(!Runtime::Current()->GetClassLinker()->IsQuickToInterpreterBridge(oat_code_offset));
837 DCHECK(!Runtime::Current()->GetClassLinker()->IsQuickGenericJniStub(oat_code_offset));
838 target_offset = PointerToLowMemUInt32(oat_code_offset);
839 } else {
840 target_offset = target->IsNative()
841 ? writer_->oat_header_->GetQuickGenericJniTrampolineOffset()
842 : writer_->oat_header_->GetQuickToInterpreterBridgeOffset();
843 }
Vladimir Markof4da6752014-08-01 19:04:18 +0100844 }
845 return target_offset;
846 }
847
848 mirror::Class* GetTargetType(const LinkerPatch& patch)
Mathieu Chartier90443472015-07-16 20:32:27 -0700849 SHARED_REQUIRES(Locks::mutator_lock_) {
Vladimir Markof4da6752014-08-01 19:04:18 +0100850 mirror::DexCache* dex_cache = (dex_file_ == patch.TargetTypeDexFile())
Mathieu Chartier673ed3d2015-08-28 14:56:43 -0700851 ? dex_cache_ : class_linker_->FindDexCache(Thread::Current(), *patch.TargetTypeDexFile());
Vladimir Markof4da6752014-08-01 19:04:18 +0100852 mirror::Class* type = dex_cache->GetResolvedType(patch.TargetTypeIndex());
853 CHECK(type != nullptr);
854 return type;
855 }
856
Mathieu Chartier90443472015-07-16 20:32:27 -0700857 uint32_t GetDexCacheOffset(const LinkerPatch& patch) SHARED_REQUIRES(Locks::mutator_lock_) {
Vladimir Marko09d09432015-09-08 13:47:48 +0100858 if (writer_->HasImage()) {
Vladimir Marko05792b92015-08-03 11:56:49 +0100859 auto* element = writer_->image_writer_->GetDexCacheArrayElementImageAddress<const uint8_t*>(
Vladimir Marko20f85592015-03-19 10:07:02 +0000860 patch.TargetDexCacheDexFile(), patch.TargetDexCacheElementOffset());
861 const uint8_t* oat_data = writer_->image_writer_->GetOatFileBegin() + file_offset_;
Vladimir Marko05792b92015-08-03 11:56:49 +0100862 return element - oat_data;
Vladimir Marko20f85592015-03-19 10:07:02 +0000863 } else {
Vladimir Marko09d09432015-09-08 13:47:48 +0100864 size_t start = writer_->dex_cache_arrays_offsets_.Get(patch.TargetDexCacheDexFile());
865 return start + patch.TargetDexCacheElementOffset();
Vladimir Marko20f85592015-03-19 10:07:02 +0000866 }
867 }
868
Vladimir Markof4da6752014-08-01 19:04:18 +0100869 void PatchObjectAddress(std::vector<uint8_t>* code, uint32_t offset, mirror::Object* object)
Mathieu Chartier90443472015-07-16 20:32:27 -0700870 SHARED_REQUIRES(Locks::mutator_lock_) {
Vladimir Marko09d09432015-09-08 13:47:48 +0100871 if (writer_->HasImage()) {
Vladimir Markof4da6752014-08-01 19:04:18 +0100872 object = writer_->image_writer_->GetImageAddress(object);
Vladimir Marko09d09432015-09-08 13:47:48 +0100873 } else {
874 // NOTE: We're using linker patches for app->boot references when the image can
875 // be relocated and therefore we need to emit .oat_patches. We're not using this
876 // for app->app references, so check that the object is in the image space.
877 DCHECK(Runtime::Current()->GetHeap()->FindSpaceFromObject(object, false)->IsImageSpace());
Vladimir Markof4da6752014-08-01 19:04:18 +0100878 }
Vladimir Marko09d09432015-09-08 13:47:48 +0100879 // Note: We only patch targeting Objects in image which is in the low 4gb.
Vladimir Markof4da6752014-08-01 19:04:18 +0100880 uint32_t address = PointerToLowMemUInt32(object);
881 DCHECK_LE(offset + 4, code->size());
882 uint8_t* data = &(*code)[offset];
883 data[0] = address & 0xffu;
884 data[1] = (address >> 8) & 0xffu;
885 data[2] = (address >> 16) & 0xffu;
886 data[3] = (address >> 24) & 0xffu;
887 }
888
Mathieu Chartiere401d142015-04-22 13:56:20 -0700889 void PatchMethodAddress(std::vector<uint8_t>* code, uint32_t offset, ArtMethod* method)
Mathieu Chartier90443472015-07-16 20:32:27 -0700890 SHARED_REQUIRES(Locks::mutator_lock_) {
Vladimir Marko09d09432015-09-08 13:47:48 +0100891 if (writer_->HasImage()) {
Mathieu Chartiere401d142015-04-22 13:56:20 -0700892 method = writer_->image_writer_->GetImageMethodAddress(method);
Vladimir Marko09d09432015-09-08 13:47:48 +0100893 } else if (kIsDebugBuild) {
894 // NOTE: We're using linker patches for app->boot references when the image can
895 // be relocated and therefore we need to emit .oat_patches. We're not using this
896 // for app->app references, so check that the method is an image method.
897 gc::space::ImageSpace* image_space = Runtime::Current()->GetHeap()->GetImageSpace();
898 size_t method_offset = reinterpret_cast<const uint8_t*>(method) - image_space->Begin();
899 CHECK(image_space->GetImageHeader().GetMethodsSection().Contains(method_offset));
Mathieu Chartiere401d142015-04-22 13:56:20 -0700900 }
Vladimir Marko09d09432015-09-08 13:47:48 +0100901 // Note: We only patch targeting ArtMethods in image which is in the low 4gb.
Mathieu Chartiere401d142015-04-22 13:56:20 -0700902 uint32_t address = PointerToLowMemUInt32(method);
903 DCHECK_LE(offset + 4, code->size());
904 uint8_t* data = &(*code)[offset];
905 data[0] = address & 0xffu;
906 data[1] = (address >> 8) & 0xffu;
907 data[2] = (address >> 16) & 0xffu;
908 data[3] = (address >> 24) & 0xffu;
909 }
910
Vladimir Markof4da6752014-08-01 19:04:18 +0100911 void PatchCodeAddress(std::vector<uint8_t>* code, uint32_t offset, uint32_t target_offset)
Mathieu Chartier90443472015-07-16 20:32:27 -0700912 SHARED_REQUIRES(Locks::mutator_lock_) {
Vladimir Marko09d09432015-09-08 13:47:48 +0100913 uint32_t address = target_offset;
914 if (writer_->HasImage()) {
915 address = PointerToLowMemUInt32(writer_->image_writer_->GetOatFileBegin() +
916 writer_->oat_data_offset_ + target_offset);
917 }
Vladimir Markof4da6752014-08-01 19:04:18 +0100918 DCHECK_LE(offset + 4, code->size());
919 uint8_t* data = &(*code)[offset];
920 data[0] = address & 0xffu;
921 data[1] = (address >> 8) & 0xffu;
922 data[2] = (address >> 16) & 0xffu;
923 data[3] = (address >> 24) & 0xffu;
924 }
Vladimir Marko96c6ab92014-04-08 14:00:50 +0100925};
926
927template <typename DataAccess>
928class OatWriter::WriteMapMethodVisitor : public OatDexMethodVisitor {
929 public:
930 WriteMapMethodVisitor(OatWriter* writer, OutputStream* out, const size_t file_offset,
Mathieu Chartier957ca1c2014-11-21 16:51:29 -0800931 size_t relative_offset)
Vladimir Marko96c6ab92014-04-08 14:00:50 +0100932 : OatDexMethodVisitor(writer, relative_offset),
933 out_(out),
934 file_offset_(file_offset) {
935 }
936
937 bool VisitMethod(size_t class_def_method_index, const ClassDataItemIterator& it) {
938 OatClass* oat_class = writer_->oat_classes_[oat_class_index_];
939 const CompiledMethod* compiled_method = oat_class->GetCompiledMethod(class_def_method_index);
940
Mathieu Chartier2cebb242015-04-21 16:50:40 -0700941 if (compiled_method != nullptr) { // ie. not an abstract method
Vladimir Marko96c6ab92014-04-08 14:00:50 +0100942 size_t file_offset = file_offset_;
943 OutputStream* out = out_;
944
945 uint32_t map_offset = DataAccess::GetOffset(oat_class, method_offsets_index_);
946 ++method_offsets_index_;
947
948 // Write deduplicated map.
Andreas Gampee21dc3d2014-12-08 16:59:43 -0800949 const SwapVector<uint8_t>* map = DataAccess::GetData(compiled_method);
Nicolas Geoffray39468442014-09-02 15:17:15 +0100950 size_t map_size = map == nullptr ? 0 : map->size() * sizeof((*map)[0]);
Vladimir Marko96c6ab92014-04-08 14:00:50 +0100951 DCHECK((map_size == 0u && map_offset == 0u) ||
952 (map_size != 0u && map_offset != 0u && map_offset <= offset_))
Mathieu Chartier957ca1c2014-11-21 16:51:29 -0800953 << map_size << " " << map_offset << " " << offset_ << " "
954 << PrettyMethod(it.GetMemberIndex(), *dex_file_) << " for " << DataAccess::Name();
Vladimir Marko96c6ab92014-04-08 14:00:50 +0100955 if (map_size != 0u && map_offset == offset_) {
956 if (UNLIKELY(!out->WriteFully(&(*map)[0], map_size))) {
957 ReportWriteFailure(it);
958 return false;
959 }
960 offset_ += map_size;
961 }
962 DCHECK_OFFSET_();
963 }
964
965 return true;
966 }
967
968 private:
969 OutputStream* const out_;
970 size_t const file_offset_;
971
972 void ReportWriteFailure(const ClassDataItemIterator& it) {
973 PLOG(ERROR) << "Failed to write " << DataAccess::Name() << " for "
974 << PrettyMethod(it.GetMemberIndex(), *dex_file_) << " to " << out_->GetLocation();
975 }
976};
977
978// Visit all methods from all classes in all dex files with the specified visitor.
979bool OatWriter::VisitDexMethods(DexMethodVisitor* visitor) {
980 for (const DexFile* dex_file : *dex_files_) {
981 const size_t class_def_count = dex_file->NumClassDefs();
982 for (size_t class_def_index = 0; class_def_index != class_def_count; ++class_def_index) {
983 if (UNLIKELY(!visitor->StartClass(dex_file, class_def_index))) {
984 return false;
985 }
986 const DexFile::ClassDef& class_def = dex_file->GetClassDef(class_def_index);
Ian Rogers13735952014-10-08 12:43:28 -0700987 const uint8_t* class_data = dex_file->GetClassData(class_def);
Mathieu Chartier2cebb242015-04-21 16:50:40 -0700988 if (class_data != nullptr) { // ie not an empty class, such as a marker interface
Vladimir Marko96c6ab92014-04-08 14:00:50 +0100989 ClassDataItemIterator it(*dex_file, class_data);
990 while (it.HasNextStaticField()) {
991 it.Next();
992 }
993 while (it.HasNextInstanceField()) {
994 it.Next();
995 }
996 size_t class_def_method_index = 0u;
997 while (it.HasNextDirectMethod()) {
998 if (!visitor->VisitMethod(class_def_method_index, it)) {
999 return false;
1000 }
1001 ++class_def_method_index;
1002 it.Next();
1003 }
1004 while (it.HasNextVirtualMethod()) {
1005 if (UNLIKELY(!visitor->VisitMethod(class_def_method_index, it))) {
1006 return false;
1007 }
1008 ++class_def_method_index;
1009 it.Next();
1010 }
1011 }
1012 if (UNLIKELY(!visitor->EndClass())) {
1013 return false;
1014 }
1015 }
1016 }
1017 return true;
1018}
1019
Brian Carlstrom81f3ca12012-03-17 00:27:35 -07001020size_t OatWriter::InitOatHeader() {
Andreas Gampe22f8e5c2014-07-09 11:38:21 -07001021 oat_header_ = OatHeader::Create(compiler_driver_->GetInstructionSet(),
1022 compiler_driver_->GetInstructionSetFeatures(),
1023 dex_files_,
1024 image_file_location_oat_checksum_,
1025 image_file_location_oat_begin_,
1026 key_value_store_);
1027
1028 return oat_header_->GetHeaderSize();
Brian Carlstrome24fa612011-09-29 00:53:55 -07001029}
1030
1031size_t OatWriter::InitOatDexFiles(size_t offset) {
1032 // create the OatDexFiles
1033 for (size_t i = 0; i != dex_files_->size(); ++i) {
1034 const DexFile* dex_file = (*dex_files_)[i];
Mathieu Chartier2cebb242015-04-21 16:50:40 -07001035 CHECK(dex_file != nullptr);
Brian Carlstrom265091e2013-01-30 14:08:26 -08001036 OatDexFile* oat_dex_file = new OatDexFile(offset, *dex_file);
Brian Carlstrome24fa612011-09-29 00:53:55 -07001037 oat_dex_files_.push_back(oat_dex_file);
1038 offset += oat_dex_file->SizeOf();
1039 }
1040 return offset;
1041}
1042
Brian Carlstrom89521892011-12-07 22:05:07 -08001043size_t OatWriter::InitDexFiles(size_t offset) {
1044 // calculate the offsets within OatDexFiles to the DexFiles
1045 for (size_t i = 0; i != dex_files_->size(); ++i) {
1046 // dex files are required to be 4 byte aligned
Jeff Hao0aba0ba2013-06-03 14:49:28 -07001047 size_t original_offset = offset;
Brian Carlstrom89521892011-12-07 22:05:07 -08001048 offset = RoundUp(offset, 4);
Jeff Hao0aba0ba2013-06-03 14:49:28 -07001049 size_dex_file_alignment_ += offset - original_offset;
Brian Carlstrom89521892011-12-07 22:05:07 -08001050
1051 // set offset in OatDexFile to DexFile
1052 oat_dex_files_[i]->dex_file_offset_ = offset;
1053
1054 const DexFile* dex_file = (*dex_files_)[i];
1055 offset += dex_file->GetHeader().file_size_;
1056 }
1057 return offset;
1058}
1059
Brian Carlstrom389efb02012-01-11 12:06:26 -08001060size_t OatWriter::InitOatClasses(size_t offset) {
Brian Carlstrom389efb02012-01-11 12:06:26 -08001061 // calculate the offsets within OatDexFiles to OatClasses
Vladimir Marko96c6ab92014-04-08 14:00:50 +01001062 InitOatClassesMethodVisitor visitor(this, offset);
1063 bool success = VisitDexMethods(&visitor);
1064 CHECK(success);
1065 offset = visitor.GetOffset();
Brian Carlstromba150c32013-08-27 17:31:03 -07001066
Vladimir Marko96c6ab92014-04-08 14:00:50 +01001067 // Update oat_dex_files_.
1068 auto oat_class_it = oat_classes_.begin();
1069 for (OatDexFile* oat_dex_file : oat_dex_files_) {
Andreas Gampe277ccbd2014-11-03 21:36:10 -08001070 for (uint32_t& method_offset : oat_dex_file->methods_offsets_) {
Vladimir Marko96c6ab92014-04-08 14:00:50 +01001071 DCHECK(oat_class_it != oat_classes_.end());
Andreas Gampe277ccbd2014-11-03 21:36:10 -08001072 method_offset = (*oat_class_it)->offset_;
Vladimir Marko96c6ab92014-04-08 14:00:50 +01001073 ++oat_class_it;
Brian Carlstrome24fa612011-09-29 00:53:55 -07001074 }
Vladimir Marko96c6ab92014-04-08 14:00:50 +01001075 oat_dex_file->UpdateChecksum(oat_header_);
Brian Carlstrome24fa612011-09-29 00:53:55 -07001076 }
Vladimir Marko96c6ab92014-04-08 14:00:50 +01001077 CHECK(oat_class_it == oat_classes_.end());
1078
1079 return offset;
1080}
1081
1082size_t OatWriter::InitOatMaps(size_t offset) {
1083 #define VISIT(VisitorType) \
1084 do { \
1085 VisitorType visitor(this, offset); \
1086 bool success = VisitDexMethods(&visitor); \
1087 DCHECK(success); \
1088 offset = visitor.GetOffset(); \
1089 } while (false)
1090
1091 VISIT(InitMapMethodVisitor<GcMapDataAccess>);
1092 VISIT(InitMapMethodVisitor<MappingTableDataAccess>);
1093 VISIT(InitMapMethodVisitor<VmapTableDataAccess>);
1094
1095 #undef VISIT
1096
Brian Carlstrome24fa612011-09-29 00:53:55 -07001097 return offset;
1098}
1099
1100size_t OatWriter::InitOatCode(size_t offset) {
1101 // calculate the offsets within OatHeader to executable code
1102 size_t old_offset = offset;
Dave Allison50abf0a2014-06-23 13:19:59 -07001103 size_t adjusted_offset = offset;
Brian Carlstrome24fa612011-09-29 00:53:55 -07001104 // required to be on a new page boundary
1105 offset = RoundUp(offset, kPageSize);
1106 oat_header_->SetExecutableOffset(offset);
Jeff Hao0aba0ba2013-06-03 14:49:28 -07001107 size_executable_offset_alignment_ = offset - old_offset;
1108 if (compiler_driver_->IsImage()) {
Alex Lighta59dd802014-07-02 16:28:08 -07001109 CHECK_EQ(image_patch_delta_, 0);
Jeff Hao0aba0ba2013-06-03 14:49:28 -07001110 InstructionSet instruction_set = compiler_driver_->GetInstructionSet();
Jeff Hao0aba0ba2013-06-03 14:49:28 -07001111
Ian Rogers848871b2013-08-05 10:56:33 -07001112 #define DO_TRAMPOLINE(field, fn_name) \
1113 offset = CompiledCode::AlignCode(offset, instruction_set); \
Dave Allison50abf0a2014-06-23 13:19:59 -07001114 adjusted_offset = offset + CompiledCode::CodeDelta(instruction_set); \
1115 oat_header_->Set ## fn_name ## Offset(adjusted_offset); \
Ian Rogers848871b2013-08-05 10:56:33 -07001116 field.reset(compiler_driver_->Create ## fn_name()); \
1117 offset += field->size();
Jeff Hao0aba0ba2013-06-03 14:49:28 -07001118
Ian Rogers848871b2013-08-05 10:56:33 -07001119 DO_TRAMPOLINE(jni_dlsym_lookup_, JniDlsymLookup);
Andreas Gampe2da88232014-02-27 12:26:20 -08001120 DO_TRAMPOLINE(quick_generic_jni_trampoline_, QuickGenericJniTrampoline);
Jeff Hao88474b42013-10-23 16:24:40 -07001121 DO_TRAMPOLINE(quick_imt_conflict_trampoline_, QuickImtConflictTrampoline);
Ian Rogers848871b2013-08-05 10:56:33 -07001122 DO_TRAMPOLINE(quick_resolution_trampoline_, QuickResolutionTrampoline);
1123 DO_TRAMPOLINE(quick_to_interpreter_bridge_, QuickToInterpreterBridge);
Jeff Hao0aba0ba2013-06-03 14:49:28 -07001124
Ian Rogers848871b2013-08-05 10:56:33 -07001125 #undef DO_TRAMPOLINE
Jeff Hao0aba0ba2013-06-03 14:49:28 -07001126 } else {
Ian Rogers848871b2013-08-05 10:56:33 -07001127 oat_header_->SetInterpreterToInterpreterBridgeOffset(0);
1128 oat_header_->SetInterpreterToCompiledCodeBridgeOffset(0);
1129 oat_header_->SetJniDlsymLookupOffset(0);
Andreas Gampe2da88232014-02-27 12:26:20 -08001130 oat_header_->SetQuickGenericJniTrampolineOffset(0);
Jeff Hao88474b42013-10-23 16:24:40 -07001131 oat_header_->SetQuickImtConflictTrampolineOffset(0);
Jeff Hao0aba0ba2013-06-03 14:49:28 -07001132 oat_header_->SetQuickResolutionTrampolineOffset(0);
Ian Rogers848871b2013-08-05 10:56:33 -07001133 oat_header_->SetQuickToInterpreterBridgeOffset(0);
Alex Lighta59dd802014-07-02 16:28:08 -07001134 oat_header_->SetImagePatchDelta(image_patch_delta_);
Jeff Hao0aba0ba2013-06-03 14:49:28 -07001135 }
Brian Carlstrome24fa612011-09-29 00:53:55 -07001136 return offset;
1137}
1138
1139size_t OatWriter::InitOatCodeDexFiles(size_t offset) {
Vladimir Marko96c6ab92014-04-08 14:00:50 +01001140 #define VISIT(VisitorType) \
1141 do { \
1142 VisitorType visitor(this, offset); \
1143 bool success = VisitDexMethods(&visitor); \
1144 DCHECK(success); \
1145 offset = visitor.GetOffset(); \
1146 } while (false)
Brian Carlstrome24fa612011-09-29 00:53:55 -07001147
Vladimir Marko96c6ab92014-04-08 14:00:50 +01001148 VISIT(InitCodeMethodVisitor);
Andreas Gampe9edb5b12015-09-21 11:46:52 -07001149 if (compiler_driver_->IsImage()) {
Vladimir Marko96c6ab92014-04-08 14:00:50 +01001150 VISIT(InitImageMethodVisitor);
Ian Rogers0571d352011-11-03 19:51:38 -07001151 }
Logan Chien8b977d32012-02-21 19:14:55 +08001152
Vladimir Marko96c6ab92014-04-08 14:00:50 +01001153 #undef VISIT
1154
Brian Carlstrome24fa612011-09-29 00:53:55 -07001155 return offset;
1156}
1157
David Srbeckybc90fd02015-04-22 19:40:27 +01001158bool OatWriter::WriteRodata(OutputStream* out) {
Vladimir Markof4da6752014-08-01 19:04:18 +01001159 const off_t raw_file_offset = out->Seek(0, kSeekCurrent);
1160 if (raw_file_offset == (off_t) -1) {
1161 LOG(ERROR) << "Failed to get file offset in " << out->GetLocation();
1162 return false;
1163 }
1164 const size_t file_offset = static_cast<size_t>(raw_file_offset);
David Srbeckybc90fd02015-04-22 19:40:27 +01001165 oat_data_offset_ = file_offset;
Brian Carlstromc50d8e12013-07-23 22:35:16 -07001166
Vladimir Markof4da6752014-08-01 19:04:18 +01001167 // Reserve space for header. It will be written last - after updating the checksum.
Andreas Gampe22f8e5c2014-07-09 11:38:21 -07001168 size_t header_size = oat_header_->GetHeaderSize();
Vladimir Markof4da6752014-08-01 19:04:18 +01001169 if (out->Seek(header_size, kSeekCurrent) == (off_t) -1) {
1170 PLOG(ERROR) << "Failed to reserve space for oat header in " << out->GetLocation();
Brian Carlstrome24fa612011-09-29 00:53:55 -07001171 return false;
1172 }
Andreas Gampe22f8e5c2014-07-09 11:38:21 -07001173 size_oat_header_ += sizeof(OatHeader);
1174 size_oat_header_key_value_store_ += oat_header_->GetHeaderSize() - sizeof(OatHeader);
Brian Carlstrom81f3ca12012-03-17 00:27:35 -07001175
Brian Carlstromc50d8e12013-07-23 22:35:16 -07001176 if (!WriteTables(out, file_offset)) {
Ian Rogers3d504072014-03-01 09:16:49 -08001177 LOG(ERROR) << "Failed to write oat tables to " << out->GetLocation();
Brian Carlstrome24fa612011-09-29 00:53:55 -07001178 return false;
1179 }
1180
Vladimir Markof4da6752014-08-01 19:04:18 +01001181 off_t tables_end_offset = out->Seek(0, kSeekCurrent);
1182 if (tables_end_offset == (off_t) -1) {
1183 LOG(ERROR) << "Failed to seek to oat code position in " << out->GetLocation();
1184 return false;
1185 }
1186 size_t relative_offset = static_cast<size_t>(tables_end_offset) - file_offset;
Vladimir Marko96c6ab92014-04-08 14:00:50 +01001187 relative_offset = WriteMaps(out, file_offset, relative_offset);
1188 if (relative_offset == 0) {
1189 LOG(ERROR) << "Failed to write oat code to " << out->GetLocation();
1190 return false;
1191 }
1192
David Srbeckybc90fd02015-04-22 19:40:27 +01001193 // Write padding.
1194 off_t new_offset = out->Seek(size_executable_offset_alignment_, kSeekCurrent);
1195 relative_offset += size_executable_offset_alignment_;
1196 DCHECK_EQ(relative_offset, oat_header_->GetExecutableOffset());
1197 size_t expected_file_offset = file_offset + relative_offset;
1198 if (static_cast<uint32_t>(new_offset) != expected_file_offset) {
1199 PLOG(ERROR) << "Failed to seek to oat code section. Actual: " << new_offset
1200 << " Expected: " << expected_file_offset << " File: " << out->GetLocation();
1201 return 0;
1202 }
1203 DCHECK_OFFSET();
1204
1205 return true;
1206}
1207
1208bool OatWriter::WriteCode(OutputStream* out) {
1209 size_t header_size = oat_header_->GetHeaderSize();
1210 const size_t file_offset = oat_data_offset_;
1211 size_t relative_offset = oat_header_->GetExecutableOffset();
1212 DCHECK_OFFSET();
1213
Vladimir Marko96c6ab92014-04-08 14:00:50 +01001214 relative_offset = WriteCode(out, file_offset, relative_offset);
Brian Carlstromc50d8e12013-07-23 22:35:16 -07001215 if (relative_offset == 0) {
Ian Rogers3d504072014-03-01 09:16:49 -08001216 LOG(ERROR) << "Failed to write oat code to " << out->GetLocation();
Brian Carlstrome24fa612011-09-29 00:53:55 -07001217 return false;
1218 }
1219
Brian Carlstromc50d8e12013-07-23 22:35:16 -07001220 relative_offset = WriteCodeDexFiles(out, file_offset, relative_offset);
1221 if (relative_offset == 0) {
Ian Rogers3d504072014-03-01 09:16:49 -08001222 LOG(ERROR) << "Failed to write oat code for dex files to " << out->GetLocation();
Brian Carlstrome24fa612011-09-29 00:53:55 -07001223 return false;
1224 }
1225
Vladimir Markof4da6752014-08-01 19:04:18 +01001226 const off_t oat_end_file_offset = out->Seek(0, kSeekCurrent);
1227 if (oat_end_file_offset == (off_t) -1) {
1228 LOG(ERROR) << "Failed to get oat end file offset in " << out->GetLocation();
1229 return false;
1230 }
1231
Ian Rogers4bdbbc82013-06-10 16:02:31 -07001232 if (kIsDebugBuild) {
1233 uint32_t size_total = 0;
1234 #define DO_STAT(x) \
Anwar Ghuloum75a43f12013-08-13 17:22:14 -07001235 VLOG(compiler) << #x "=" << PrettySize(x) << " (" << x << "B)"; \
Ian Rogers4bdbbc82013-06-10 16:02:31 -07001236 size_total += x;
Jeff Hao0aba0ba2013-06-03 14:49:28 -07001237
Ian Rogers4bdbbc82013-06-10 16:02:31 -07001238 DO_STAT(size_dex_file_alignment_);
1239 DO_STAT(size_executable_offset_alignment_);
1240 DO_STAT(size_oat_header_);
Andreas Gampe22f8e5c2014-07-09 11:38:21 -07001241 DO_STAT(size_oat_header_key_value_store_);
Ian Rogers4bdbbc82013-06-10 16:02:31 -07001242 DO_STAT(size_dex_file_);
Ian Rogers848871b2013-08-05 10:56:33 -07001243 DO_STAT(size_interpreter_to_interpreter_bridge_);
1244 DO_STAT(size_interpreter_to_compiled_code_bridge_);
1245 DO_STAT(size_jni_dlsym_lookup_);
Andreas Gampe2da88232014-02-27 12:26:20 -08001246 DO_STAT(size_quick_generic_jni_trampoline_);
Jeff Hao88474b42013-10-23 16:24:40 -07001247 DO_STAT(size_quick_imt_conflict_trampoline_);
Ian Rogers4bdbbc82013-06-10 16:02:31 -07001248 DO_STAT(size_quick_resolution_trampoline_);
Ian Rogers848871b2013-08-05 10:56:33 -07001249 DO_STAT(size_quick_to_interpreter_bridge_);
1250 DO_STAT(size_trampoline_alignment_);
Vladimir Marko96c6ab92014-04-08 14:00:50 +01001251 DO_STAT(size_method_header_);
Ian Rogers4bdbbc82013-06-10 16:02:31 -07001252 DO_STAT(size_code_);
1253 DO_STAT(size_code_alignment_);
Vladimir Markof4da6752014-08-01 19:04:18 +01001254 DO_STAT(size_relative_call_thunks_);
Vladimir Markoc74658b2015-03-31 10:26:41 +01001255 DO_STAT(size_misc_thunks_);
Ian Rogers4bdbbc82013-06-10 16:02:31 -07001256 DO_STAT(size_mapping_table_);
1257 DO_STAT(size_vmap_table_);
1258 DO_STAT(size_gc_map_);
1259 DO_STAT(size_oat_dex_file_location_size_);
1260 DO_STAT(size_oat_dex_file_location_data_);
1261 DO_STAT(size_oat_dex_file_location_checksum_);
1262 DO_STAT(size_oat_dex_file_offset_);
1263 DO_STAT(size_oat_dex_file_methods_offsets_);
Brian Carlstromba150c32013-08-27 17:31:03 -07001264 DO_STAT(size_oat_class_type_);
Ian Rogers4bdbbc82013-06-10 16:02:31 -07001265 DO_STAT(size_oat_class_status_);
Brian Carlstromba150c32013-08-27 17:31:03 -07001266 DO_STAT(size_oat_class_method_bitmaps_);
Ian Rogers4bdbbc82013-06-10 16:02:31 -07001267 DO_STAT(size_oat_class_method_offsets_);
1268 #undef DO_STAT
Jeff Hao0aba0ba2013-06-03 14:49:28 -07001269
Anwar Ghuloum75a43f12013-08-13 17:22:14 -07001270 VLOG(compiler) << "size_total=" << PrettySize(size_total) << " (" << size_total << "B)"; \
Vladimir Markof4da6752014-08-01 19:04:18 +01001271 CHECK_EQ(file_offset + size_total, static_cast<size_t>(oat_end_file_offset));
Brian Carlstromc50d8e12013-07-23 22:35:16 -07001272 CHECK_EQ(size_, size_total);
Ian Rogers4bdbbc82013-06-10 16:02:31 -07001273 }
Jeff Hao0aba0ba2013-06-03 14:49:28 -07001274
Vladimir Markof4da6752014-08-01 19:04:18 +01001275 CHECK_EQ(file_offset + size_, static_cast<size_t>(oat_end_file_offset));
Brian Carlstromc50d8e12013-07-23 22:35:16 -07001276 CHECK_EQ(size_, relative_offset);
1277
Vladimir Markof4da6752014-08-01 19:04:18 +01001278 // Write the header now that the checksum is final.
1279 if (out->Seek(file_offset, kSeekSet) == (off_t) -1) {
1280 PLOG(ERROR) << "Failed to seek to oat header position in " << out->GetLocation();
1281 return false;
1282 }
David Srbeckybc90fd02015-04-22 19:40:27 +01001283 DCHECK_EQ(file_offset, static_cast<size_t>(out->Seek(0, kSeekCurrent)));
Vladimir Markof4da6752014-08-01 19:04:18 +01001284 if (!out->WriteFully(oat_header_, header_size)) {
1285 PLOG(ERROR) << "Failed to write oat header to " << out->GetLocation();
1286 return false;
1287 }
1288 if (out->Seek(oat_end_file_offset, kSeekSet) == (off_t) -1) {
1289 PLOG(ERROR) << "Failed to seek to end after writing oat header to " << out->GetLocation();
1290 return false;
1291 }
1292 DCHECK_EQ(oat_end_file_offset, out->Seek(0, kSeekCurrent));
1293
Brian Carlstrome24fa612011-09-29 00:53:55 -07001294 return true;
1295}
1296
Ian Rogers3d504072014-03-01 09:16:49 -08001297bool OatWriter::WriteTables(OutputStream* out, const size_t file_offset) {
Brian Carlstrome24fa612011-09-29 00:53:55 -07001298 for (size_t i = 0; i != oat_dex_files_.size(); ++i) {
Brian Carlstromc50d8e12013-07-23 22:35:16 -07001299 if (!oat_dex_files_[i]->Write(this, out, file_offset)) {
Ian Rogers3d504072014-03-01 09:16:49 -08001300 PLOG(ERROR) << "Failed to write oat dex information to " << out->GetLocation();
Brian Carlstrome24fa612011-09-29 00:53:55 -07001301 return false;
1302 }
1303 }
Brian Carlstrom89521892011-12-07 22:05:07 -08001304 for (size_t i = 0; i != oat_dex_files_.size(); ++i) {
Brian Carlstromc50d8e12013-07-23 22:35:16 -07001305 uint32_t expected_offset = file_offset + oat_dex_files_[i]->dex_file_offset_;
Ian Rogers3d504072014-03-01 09:16:49 -08001306 off_t actual_offset = out->Seek(expected_offset, kSeekSet);
Brian Carlstrom89521892011-12-07 22:05:07 -08001307 if (static_cast<uint32_t>(actual_offset) != expected_offset) {
1308 const DexFile* dex_file = (*dex_files_)[i];
1309 PLOG(ERROR) << "Failed to seek to dex file section. Actual: " << actual_offset
1310 << " Expected: " << expected_offset << " File: " << dex_file->GetLocation();
1311 return false;
1312 }
1313 const DexFile* dex_file = (*dex_files_)[i];
Ian Rogers3d504072014-03-01 09:16:49 -08001314 if (!out->WriteFully(&dex_file->GetHeader(), dex_file->GetHeader().file_size_)) {
Brian Carlstromc50d8e12013-07-23 22:35:16 -07001315 PLOG(ERROR) << "Failed to write dex file " << dex_file->GetLocation()
Ian Rogers3d504072014-03-01 09:16:49 -08001316 << " to " << out->GetLocation();
Brian Carlstrom89521892011-12-07 22:05:07 -08001317 return false;
1318 }
Jeff Hao0aba0ba2013-06-03 14:49:28 -07001319 size_dex_file_ += dex_file->GetHeader().file_size_;
Brian Carlstrom89521892011-12-07 22:05:07 -08001320 }
Brian Carlstrom389efb02012-01-11 12:06:26 -08001321 for (size_t i = 0; i != oat_classes_.size(); ++i) {
Brian Carlstromc50d8e12013-07-23 22:35:16 -07001322 if (!oat_classes_[i]->Write(this, out, file_offset)) {
Ian Rogers3d504072014-03-01 09:16:49 -08001323 PLOG(ERROR) << "Failed to write oat methods information to " << out->GetLocation();
Brian Carlstrome24fa612011-09-29 00:53:55 -07001324 return false;
1325 }
1326 }
1327 return true;
1328}
1329
Vladimir Marko96c6ab92014-04-08 14:00:50 +01001330size_t OatWriter::WriteMaps(OutputStream* out, const size_t file_offset, size_t relative_offset) {
1331 #define VISIT(VisitorType) \
1332 do { \
1333 VisitorType visitor(this, out, file_offset, relative_offset); \
1334 if (UNLIKELY(!VisitDexMethods(&visitor))) { \
1335 return 0; \
1336 } \
1337 relative_offset = visitor.GetOffset(); \
1338 } while (false)
1339
1340 size_t gc_maps_offset = relative_offset;
1341 VISIT(WriteMapMethodVisitor<GcMapDataAccess>);
1342 size_gc_map_ = relative_offset - gc_maps_offset;
1343
1344 size_t mapping_tables_offset = relative_offset;
1345 VISIT(WriteMapMethodVisitor<MappingTableDataAccess>);
1346 size_mapping_table_ = relative_offset - mapping_tables_offset;
1347
1348 size_t vmap_tables_offset = relative_offset;
1349 VISIT(WriteMapMethodVisitor<VmapTableDataAccess>);
1350 size_vmap_table_ = relative_offset - vmap_tables_offset;
1351
1352 #undef VISIT
1353
1354 return relative_offset;
1355}
1356
1357size_t OatWriter::WriteCode(OutputStream* out, const size_t file_offset, size_t relative_offset) {
Jeff Hao0aba0ba2013-06-03 14:49:28 -07001358 if (compiler_driver_->IsImage()) {
1359 InstructionSet instruction_set = compiler_driver_->GetInstructionSet();
Jeff Hao0aba0ba2013-06-03 14:49:28 -07001360
Ian Rogers848871b2013-08-05 10:56:33 -07001361 #define DO_TRAMPOLINE(field) \
1362 do { \
1363 uint32_t aligned_offset = CompiledCode::AlignCode(relative_offset, instruction_set); \
1364 uint32_t alignment_padding = aligned_offset - relative_offset; \
Ian Rogers3d504072014-03-01 09:16:49 -08001365 out->Seek(alignment_padding, kSeekCurrent); \
Ian Rogers848871b2013-08-05 10:56:33 -07001366 size_trampoline_alignment_ += alignment_padding; \
Ian Rogers3d504072014-03-01 09:16:49 -08001367 if (!out->WriteFully(&(*field)[0], field->size())) { \
1368 PLOG(ERROR) << "Failed to write " # field " to " << out->GetLocation(); \
Ian Rogers848871b2013-08-05 10:56:33 -07001369 return false; \
1370 } \
1371 size_ ## field += field->size(); \
1372 relative_offset += alignment_padding + field->size(); \
1373 DCHECK_OFFSET(); \
1374 } while (false)
Jeff Hao0aba0ba2013-06-03 14:49:28 -07001375
Ian Rogers848871b2013-08-05 10:56:33 -07001376 DO_TRAMPOLINE(jni_dlsym_lookup_);
Andreas Gampe2da88232014-02-27 12:26:20 -08001377 DO_TRAMPOLINE(quick_generic_jni_trampoline_);
Jeff Hao88474b42013-10-23 16:24:40 -07001378 DO_TRAMPOLINE(quick_imt_conflict_trampoline_);
Ian Rogers848871b2013-08-05 10:56:33 -07001379 DO_TRAMPOLINE(quick_resolution_trampoline_);
1380 DO_TRAMPOLINE(quick_to_interpreter_bridge_);
1381 #undef DO_TRAMPOLINE
Jeff Hao0aba0ba2013-06-03 14:49:28 -07001382 }
Brian Carlstromc50d8e12013-07-23 22:35:16 -07001383 return relative_offset;
Brian Carlstrome24fa612011-09-29 00:53:55 -07001384}
1385
Ian Rogers3d504072014-03-01 09:16:49 -08001386size_t OatWriter::WriteCodeDexFiles(OutputStream* out,
Brian Carlstromc50d8e12013-07-23 22:35:16 -07001387 const size_t file_offset,
1388 size_t relative_offset) {
Vladimir Marko96c6ab92014-04-08 14:00:50 +01001389 #define VISIT(VisitorType) \
1390 do { \
1391 VisitorType visitor(this, out, file_offset, relative_offset); \
1392 if (UNLIKELY(!VisitDexMethods(&visitor))) { \
1393 return 0; \
1394 } \
1395 relative_offset = visitor.GetOffset(); \
1396 } while (false)
Brian Carlstrome24fa612011-09-29 00:53:55 -07001397
Vladimir Marko96c6ab92014-04-08 14:00:50 +01001398 VISIT(WriteCodeMethodVisitor);
Brian Carlstrome24fa612011-09-29 00:53:55 -07001399
Vladimir Marko96c6ab92014-04-08 14:00:50 +01001400 #undef VISIT
Brian Carlstrom265091e2013-01-30 14:08:26 -08001401
Vladimir Markob163bb72015-03-31 21:49:49 +01001402 size_code_alignment_ += relative_patcher_->CodeAlignmentSize();
1403 size_relative_call_thunks_ += relative_patcher_->RelativeCallThunksSize();
1404 size_misc_thunks_ += relative_patcher_->MiscThunksSize();
1405
Brian Carlstromc50d8e12013-07-23 22:35:16 -07001406 return relative_offset;
Brian Carlstrome24fa612011-09-29 00:53:55 -07001407}
1408
Vladimir Markof4da6752014-08-01 19:04:18 +01001409bool OatWriter::WriteCodeAlignment(OutputStream* out, uint32_t aligned_code_delta) {
1410 static const uint8_t kPadding[] = {
1411 0u, 0u, 0u, 0u, 0u, 0u, 0u, 0u, 0u, 0u, 0u, 0u, 0u, 0u, 0u, 0u
1412 };
1413 DCHECK_LE(aligned_code_delta, sizeof(kPadding));
1414 if (UNLIKELY(!out->WriteFully(kPadding, aligned_code_delta))) {
1415 return false;
1416 }
1417 size_code_alignment_ += aligned_code_delta;
1418 return true;
1419}
1420
Vladimir Markob163bb72015-03-31 21:49:49 +01001421std::pair<bool, uint32_t> OatWriter::MethodOffsetMap::FindMethodOffset(MethodReference ref) {
1422 auto it = map.find(ref);
1423 if (it == map.end()) {
1424 return std::pair<bool, uint32_t>(false, 0u);
1425 } else {
1426 return std::pair<bool, uint32_t>(true, it->second);
1427 }
1428}
1429
Brian Carlstrom265091e2013-01-30 14:08:26 -08001430OatWriter::OatDexFile::OatDexFile(size_t offset, const DexFile& dex_file) {
1431 offset_ = offset;
Elliott Hughes95572412011-12-13 18:14:20 -08001432 const std::string& location(dex_file.GetLocation());
Brian Carlstrome24fa612011-09-29 00:53:55 -07001433 dex_file_location_size_ = location.size();
1434 dex_file_location_data_ = reinterpret_cast<const uint8_t*>(location.data());
Brian Carlstrom5b332c82012-02-01 15:02:31 -08001435 dex_file_location_checksum_ = dex_file.GetLocationChecksum();
Brian Carlstrom89521892011-12-07 22:05:07 -08001436 dex_file_offset_ = 0;
Brian Carlstrom6e3b1d92012-01-11 01:36:32 -08001437 methods_offsets_.resize(dex_file.NumClassDefs());
Brian Carlstrome24fa612011-09-29 00:53:55 -07001438}
1439
1440size_t OatWriter::OatDexFile::SizeOf() const {
1441 return sizeof(dex_file_location_size_)
1442 + dex_file_location_size_
Brian Carlstrom5b332c82012-02-01 15:02:31 -08001443 + sizeof(dex_file_location_checksum_)
Brian Carlstrom89521892011-12-07 22:05:07 -08001444 + sizeof(dex_file_offset_)
Brian Carlstrom6e3b1d92012-01-11 01:36:32 -08001445 + (sizeof(methods_offsets_[0]) * methods_offsets_.size());
Brian Carlstrome24fa612011-09-29 00:53:55 -07001446}
1447
Ian Rogers3d504072014-03-01 09:16:49 -08001448void OatWriter::OatDexFile::UpdateChecksum(OatHeader* oat_header) const {
1449 oat_header->UpdateChecksum(&dex_file_location_size_, sizeof(dex_file_location_size_));
1450 oat_header->UpdateChecksum(dex_file_location_data_, dex_file_location_size_);
1451 oat_header->UpdateChecksum(&dex_file_location_checksum_, sizeof(dex_file_location_checksum_));
1452 oat_header->UpdateChecksum(&dex_file_offset_, sizeof(dex_file_offset_));
1453 oat_header->UpdateChecksum(&methods_offsets_[0],
Brian Carlstrom6e3b1d92012-01-11 01:36:32 -08001454 sizeof(methods_offsets_[0]) * methods_offsets_.size());
Brian Carlstrome24fa612011-09-29 00:53:55 -07001455}
1456
Brian Carlstromc50d8e12013-07-23 22:35:16 -07001457bool OatWriter::OatDexFile::Write(OatWriter* oat_writer,
Ian Rogers3d504072014-03-01 09:16:49 -08001458 OutputStream* out,
Brian Carlstromc50d8e12013-07-23 22:35:16 -07001459 const size_t file_offset) const {
Brian Carlstrom265091e2013-01-30 14:08:26 -08001460 DCHECK_OFFSET_();
Ian Rogers3d504072014-03-01 09:16:49 -08001461 if (!out->WriteFully(&dex_file_location_size_, sizeof(dex_file_location_size_))) {
1462 PLOG(ERROR) << "Failed to write dex file location length to " << out->GetLocation();
Brian Carlstrome24fa612011-09-29 00:53:55 -07001463 return false;
1464 }
Jeff Hao0aba0ba2013-06-03 14:49:28 -07001465 oat_writer->size_oat_dex_file_location_size_ += sizeof(dex_file_location_size_);
Ian Rogers3d504072014-03-01 09:16:49 -08001466 if (!out->WriteFully(dex_file_location_data_, dex_file_location_size_)) {
1467 PLOG(ERROR) << "Failed to write dex file location data to " << out->GetLocation();
Brian Carlstrome24fa612011-09-29 00:53:55 -07001468 return false;
1469 }
Jeff Hao0aba0ba2013-06-03 14:49:28 -07001470 oat_writer->size_oat_dex_file_location_data_ += dex_file_location_size_;
Ian Rogers3d504072014-03-01 09:16:49 -08001471 if (!out->WriteFully(&dex_file_location_checksum_, sizeof(dex_file_location_checksum_))) {
1472 PLOG(ERROR) << "Failed to write dex file location checksum to " << out->GetLocation();
Brian Carlstrome24fa612011-09-29 00:53:55 -07001473 return false;
1474 }
Jeff Hao0aba0ba2013-06-03 14:49:28 -07001475 oat_writer->size_oat_dex_file_location_checksum_ += sizeof(dex_file_location_checksum_);
Ian Rogers3d504072014-03-01 09:16:49 -08001476 if (!out->WriteFully(&dex_file_offset_, sizeof(dex_file_offset_))) {
1477 PLOG(ERROR) << "Failed to write dex file offset to " << out->GetLocation();
Brian Carlstrom89521892011-12-07 22:05:07 -08001478 return false;
1479 }
Jeff Hao0aba0ba2013-06-03 14:49:28 -07001480 oat_writer->size_oat_dex_file_offset_ += sizeof(dex_file_offset_);
Ian Rogers3d504072014-03-01 09:16:49 -08001481 if (!out->WriteFully(&methods_offsets_[0],
Brian Carlstromcd60ac72013-01-20 17:09:51 -08001482 sizeof(methods_offsets_[0]) * methods_offsets_.size())) {
Ian Rogers3d504072014-03-01 09:16:49 -08001483 PLOG(ERROR) << "Failed to write methods offsets to " << out->GetLocation();
Brian Carlstrome24fa612011-09-29 00:53:55 -07001484 return false;
1485 }
Jeff Hao0aba0ba2013-06-03 14:49:28 -07001486 oat_writer->size_oat_dex_file_methods_offsets_ +=
1487 sizeof(methods_offsets_[0]) * methods_offsets_.size();
Brian Carlstrome24fa612011-09-29 00:53:55 -07001488 return true;
1489}
1490
Brian Carlstromba150c32013-08-27 17:31:03 -07001491OatWriter::OatClass::OatClass(size_t offset,
Vladimir Marko96c6ab92014-04-08 14:00:50 +01001492 const std::vector<CompiledMethod*>& compiled_methods,
Brian Carlstromba150c32013-08-27 17:31:03 -07001493 uint32_t num_non_null_compiled_methods,
Vladimir Marko96c6ab92014-04-08 14:00:50 +01001494 mirror::Class::Status status)
1495 : compiled_methods_(compiled_methods) {
1496 uint32_t num_methods = compiled_methods.size();
Brian Carlstromba150c32013-08-27 17:31:03 -07001497 CHECK_LE(num_non_null_compiled_methods, num_methods);
1498
Brian Carlstrom265091e2013-01-30 14:08:26 -08001499 offset_ = offset;
Brian Carlstromba150c32013-08-27 17:31:03 -07001500 oat_method_offsets_offsets_from_oat_class_.resize(num_methods);
1501
1502 // Since both kOatClassNoneCompiled and kOatClassAllCompiled could
1503 // apply when there are 0 methods, we just arbitrarily say that 0
1504 // methods means kOatClassNoneCompiled and that we won't use
1505 // kOatClassAllCompiled unless there is at least one compiled
1506 // method. This means in an interpretter only system, we can assert
1507 // that all classes are kOatClassNoneCompiled.
1508 if (num_non_null_compiled_methods == 0) {
1509 type_ = kOatClassNoneCompiled;
1510 } else if (num_non_null_compiled_methods == num_methods) {
1511 type_ = kOatClassAllCompiled;
1512 } else {
1513 type_ = kOatClassSomeCompiled;
1514 }
1515
Brian Carlstrom0755ec52012-01-11 15:19:46 -08001516 status_ = status;
Brian Carlstromba150c32013-08-27 17:31:03 -07001517 method_offsets_.resize(num_non_null_compiled_methods);
Vladimir Marko8a630572014-04-09 18:45:35 +01001518 method_headers_.resize(num_non_null_compiled_methods);
Brian Carlstromba150c32013-08-27 17:31:03 -07001519
1520 uint32_t oat_method_offsets_offset_from_oat_class = sizeof(type_) + sizeof(status_);
1521 if (type_ == kOatClassSomeCompiled) {
1522 method_bitmap_ = new BitVector(num_methods, false, Allocator::GetMallocAllocator());
1523 method_bitmap_size_ = method_bitmap_->GetSizeOf();
1524 oat_method_offsets_offset_from_oat_class += sizeof(method_bitmap_size_);
1525 oat_method_offsets_offset_from_oat_class += method_bitmap_size_;
1526 } else {
Mathieu Chartier2cebb242015-04-21 16:50:40 -07001527 method_bitmap_ = nullptr;
Brian Carlstromba150c32013-08-27 17:31:03 -07001528 method_bitmap_size_ = 0;
1529 }
1530
1531 for (size_t i = 0; i < num_methods; i++) {
Vladimir Marko96c6ab92014-04-08 14:00:50 +01001532 CompiledMethod* compiled_method = compiled_methods_[i];
Mathieu Chartier2cebb242015-04-21 16:50:40 -07001533 if (compiled_method == nullptr) {
Brian Carlstromba150c32013-08-27 17:31:03 -07001534 oat_method_offsets_offsets_from_oat_class_[i] = 0;
1535 } else {
1536 oat_method_offsets_offsets_from_oat_class_[i] = oat_method_offsets_offset_from_oat_class;
1537 oat_method_offsets_offset_from_oat_class += sizeof(OatMethodOffsets);
1538 if (type_ == kOatClassSomeCompiled) {
1539 method_bitmap_->SetBit(i);
1540 }
1541 }
1542 }
Brian Carlstrome24fa612011-09-29 00:53:55 -07001543}
1544
Brian Carlstromba150c32013-08-27 17:31:03 -07001545OatWriter::OatClass::~OatClass() {
Mathieu Chartier661974a2014-01-09 11:23:53 -08001546 delete method_bitmap_;
Brian Carlstromba150c32013-08-27 17:31:03 -07001547}
1548
Brian Carlstrom265091e2013-01-30 14:08:26 -08001549size_t OatWriter::OatClass::GetOatMethodOffsetsOffsetFromOatHeader(
1550 size_t class_def_method_index_) const {
Brian Carlstromba150c32013-08-27 17:31:03 -07001551 uint32_t method_offset = GetOatMethodOffsetsOffsetFromOatClass(class_def_method_index_);
1552 if (method_offset == 0) {
1553 return 0;
1554 }
1555 return offset_ + method_offset;
Brian Carlstrom265091e2013-01-30 14:08:26 -08001556}
1557
1558size_t OatWriter::OatClass::GetOatMethodOffsetsOffsetFromOatClass(
1559 size_t class_def_method_index_) const {
Brian Carlstromba150c32013-08-27 17:31:03 -07001560 return oat_method_offsets_offsets_from_oat_class_[class_def_method_index_];
Brian Carlstrom265091e2013-01-30 14:08:26 -08001561}
1562
1563size_t OatWriter::OatClass::SizeOf() const {
Brian Carlstromba150c32013-08-27 17:31:03 -07001564 return sizeof(status_)
1565 + sizeof(type_)
1566 + ((method_bitmap_size_ == 0) ? 0 : sizeof(method_bitmap_size_))
1567 + method_bitmap_size_
1568 + (sizeof(method_offsets_[0]) * method_offsets_.size());
Brian Carlstrome24fa612011-09-29 00:53:55 -07001569}
1570
Ian Rogers3d504072014-03-01 09:16:49 -08001571void OatWriter::OatClass::UpdateChecksum(OatHeader* oat_header) const {
1572 oat_header->UpdateChecksum(&status_, sizeof(status_));
1573 oat_header->UpdateChecksum(&type_, sizeof(type_));
Brian Carlstromba150c32013-08-27 17:31:03 -07001574 if (method_bitmap_size_ != 0) {
1575 CHECK_EQ(kOatClassSomeCompiled, type_);
Ian Rogers3d504072014-03-01 09:16:49 -08001576 oat_header->UpdateChecksum(&method_bitmap_size_, sizeof(method_bitmap_size_));
1577 oat_header->UpdateChecksum(method_bitmap_->GetRawStorage(), method_bitmap_size_);
Brian Carlstromba150c32013-08-27 17:31:03 -07001578 }
Ian Rogers3d504072014-03-01 09:16:49 -08001579 oat_header->UpdateChecksum(&method_offsets_[0],
1580 sizeof(method_offsets_[0]) * method_offsets_.size());
Brian Carlstrome24fa612011-09-29 00:53:55 -07001581}
1582
Brian Carlstromc50d8e12013-07-23 22:35:16 -07001583bool OatWriter::OatClass::Write(OatWriter* oat_writer,
Ian Rogers3d504072014-03-01 09:16:49 -08001584 OutputStream* out,
Brian Carlstromc50d8e12013-07-23 22:35:16 -07001585 const size_t file_offset) const {
Brian Carlstrom265091e2013-01-30 14:08:26 -08001586 DCHECK_OFFSET_();
Ian Rogers3d504072014-03-01 09:16:49 -08001587 if (!out->WriteFully(&status_, sizeof(status_))) {
1588 PLOG(ERROR) << "Failed to write class status to " << out->GetLocation();
Brian Carlstrom0755ec52012-01-11 15:19:46 -08001589 return false;
1590 }
Jeff Hao0aba0ba2013-06-03 14:49:28 -07001591 oat_writer->size_oat_class_status_ += sizeof(status_);
Ian Rogers3d504072014-03-01 09:16:49 -08001592 if (!out->WriteFully(&type_, sizeof(type_))) {
1593 PLOG(ERROR) << "Failed to write oat class type to " << out->GetLocation();
Brian Carlstromba150c32013-08-27 17:31:03 -07001594 return false;
1595 }
1596 oat_writer->size_oat_class_type_ += sizeof(type_);
1597 if (method_bitmap_size_ != 0) {
1598 CHECK_EQ(kOatClassSomeCompiled, type_);
Ian Rogers3d504072014-03-01 09:16:49 -08001599 if (!out->WriteFully(&method_bitmap_size_, sizeof(method_bitmap_size_))) {
1600 PLOG(ERROR) << "Failed to write method bitmap size to " << out->GetLocation();
Brian Carlstromba150c32013-08-27 17:31:03 -07001601 return false;
1602 }
1603 oat_writer->size_oat_class_method_bitmaps_ += sizeof(method_bitmap_size_);
Ian Rogers3d504072014-03-01 09:16:49 -08001604 if (!out->WriteFully(method_bitmap_->GetRawStorage(), method_bitmap_size_)) {
1605 PLOG(ERROR) << "Failed to write method bitmap to " << out->GetLocation();
Brian Carlstromba150c32013-08-27 17:31:03 -07001606 return false;
1607 }
1608 oat_writer->size_oat_class_method_bitmaps_ += method_bitmap_size_;
1609 }
Ian Rogers3d504072014-03-01 09:16:49 -08001610 if (!out->WriteFully(&method_offsets_[0],
Brian Carlstromcd60ac72013-01-20 17:09:51 -08001611 sizeof(method_offsets_[0]) * method_offsets_.size())) {
Ian Rogers3d504072014-03-01 09:16:49 -08001612 PLOG(ERROR) << "Failed to write method offsets to " << out->GetLocation();
Brian Carlstrome24fa612011-09-29 00:53:55 -07001613 return false;
1614 }
Jeff Hao0aba0ba2013-06-03 14:49:28 -07001615 oat_writer->size_oat_class_method_offsets_ += sizeof(method_offsets_[0]) * method_offsets_.size();
Brian Carlstrome24fa612011-09-29 00:53:55 -07001616 return true;
1617}
1618
Brian Carlstrome24fa612011-09-29 00:53:55 -07001619} // namespace art