blob: 6bb526c536b4b272f3699096675100ad03657f61 [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
Ian Rogerse77493c2014-08-20 15:08:45 -070021#include "base/allocator.h"
Brian Carlstromba150c32013-08-27 17:31:03 -070022#include "base/bit_vector.h"
Elliott Hughes1aa246d2012-12-13 09:29:36 -080023#include "base/stl_util.h"
Elliott Hughes76160052012-12-12 16:31:20 -080024#include "base/unix_file/fd_file.h"
Brian Carlstrome24fa612011-09-29 00:53:55 -070025#include "class_linker.h"
Mingyao Yang98d1cc82014-05-15 17:02:16 -070026#include "compiled_class.h"
Ian Rogers4f6ad8a2013-03-18 15:27:28 -070027#include "dex_file-inl.h"
Vladimir Markoc7f83202014-01-24 17:55:18 +000028#include "dex/verification_results.h"
Ian Rogers1d54e732013-05-02 21:10:01 -070029#include "gc/space/space.h"
Vladimir Markof4da6752014-08-01 19:04:18 +010030#include "image_writer.h"
Brian Carlstromea46f952013-07-30 01:26:50 -070031#include "mirror/art_method-inl.h"
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080032#include "mirror/array.h"
33#include "mirror/class_loader.h"
Ian Rogers4f6ad8a2013-03-18 15:27:28 -070034#include "mirror/object-inl.h"
Brian Carlstrome24fa612011-09-29 00:53:55 -070035#include "os.h"
Brian Carlstromcd60ac72013-01-20 17:09:51 -080036#include "output_stream.h"
Elliott Hughesa0e18062012-04-13 15:59:59 -070037#include "safe_map.h"
Ian Rogers00f7d0e2012-07-19 15:28:27 -070038#include "scoped_thread_state_change.h"
Mathieu Chartiereb8167a2014-05-07 15:43:14 -070039#include "handle_scope-inl.h"
Vladimir Markof4da6752014-08-01 19:04:18 +010040#include "utils/arm/assembler_thumb2.h"
Vladimir Marko7c2ad5a2014-09-24 12:42:55 +010041#include "utils/arm64/assembler_arm64.h"
jeffhaoec014232012-09-05 10:42:25 -070042#include "verifier/method_verifier.h"
Brian Carlstrome24fa612011-09-29 00:53:55 -070043
44namespace art {
45
Vladimir Markof4da6752014-08-01 19:04:18 +010046class OatWriter::RelativeCallPatcher {
47 public:
48 virtual ~RelativeCallPatcher() { }
49
50 // Reserve space for relative call thunks if needed, return adjusted offset.
51 // After all methods have been processed it's call one last time with compiled_method == nullptr.
52 virtual uint32_t ReserveSpace(uint32_t offset, const CompiledMethod* compiled_method) = 0;
53
54 // Write relative call thunks if needed, return adjusted offset.
55 virtual uint32_t WriteThunks(OutputStream* out, uint32_t offset) = 0;
56
57 // Patch method code. The input displacement is relative to the patched location,
58 // the patcher may need to adjust it if the correct base is different.
59 virtual void Patch(std::vector<uint8_t>* code, uint32_t literal_offset, uint32_t patch_offset,
60 uint32_t target_offset) = 0;
61
62 protected:
63 RelativeCallPatcher() { }
64
65 private:
66 DISALLOW_COPY_AND_ASSIGN(RelativeCallPatcher);
67};
68
69class OatWriter::NoRelativeCallPatcher FINAL : public RelativeCallPatcher {
70 public:
71 NoRelativeCallPatcher() { }
72
Ian Rogers6a3c1fc2014-10-31 00:33:20 -070073 uint32_t ReserveSpace(uint32_t offset,
74 const CompiledMethod* compiled_method ATTRIBUTE_UNUSED) OVERRIDE {
Vladimir Markof4da6752014-08-01 19:04:18 +010075 return offset; // No space reserved; no patches expected.
76 }
77
Ian Rogers6a3c1fc2014-10-31 00:33:20 -070078 uint32_t WriteThunks(OutputStream* out ATTRIBUTE_UNUSED, uint32_t offset) OVERRIDE {
Vladimir Markof4da6752014-08-01 19:04:18 +010079 return offset; // No thunks added; no patches expected.
80 }
81
Ian Rogers6a3c1fc2014-10-31 00:33:20 -070082 void Patch(std::vector<uint8_t>* code ATTRIBUTE_UNUSED, uint32_t literal_offset ATTRIBUTE_UNUSED,
83 uint32_t patch_offset ATTRIBUTE_UNUSED,
84 uint32_t target_offset ATTRIBUTE_UNUSED) OVERRIDE {
Vladimir Markof4da6752014-08-01 19:04:18 +010085 LOG(FATAL) << "Unexpected relative patch.";
86 }
87
88 private:
89 DISALLOW_COPY_AND_ASSIGN(NoRelativeCallPatcher);
90};
91
92class OatWriter::X86RelativeCallPatcher FINAL : public RelativeCallPatcher {
93 public:
94 X86RelativeCallPatcher() { }
95
Ian Rogers6a3c1fc2014-10-31 00:33:20 -070096 uint32_t ReserveSpace(uint32_t offset,
97 const CompiledMethod* compiled_method ATTRIBUTE_UNUSED) OVERRIDE {
Vladimir Markof4da6752014-08-01 19:04:18 +010098 return offset; // No space reserved; no limit on relative call distance.
99 }
100
Ian Rogers6a3c1fc2014-10-31 00:33:20 -0700101 uint32_t WriteThunks(OutputStream* out ATTRIBUTE_UNUSED, uint32_t offset) OVERRIDE {
Vladimir Markof4da6752014-08-01 19:04:18 +0100102 return offset; // No thunks added; no limit on relative call distance.
103 }
104
105 void Patch(std::vector<uint8_t>* code, uint32_t literal_offset, uint32_t patch_offset,
106 uint32_t target_offset) OVERRIDE {
107 DCHECK_LE(literal_offset + 4u, code->size());
108 // Unsigned arithmetic with its well-defined overflow behavior is just fine here.
109 uint32_t displacement = target_offset - patch_offset;
110 displacement -= kPcDisplacement; // The base PC is at the end of the 4-byte patch.
111
112 typedef __attribute__((__aligned__(1))) int32_t unaligned_int32_t;
113 reinterpret_cast<unaligned_int32_t*>(&(*code)[literal_offset])[0] = displacement;
114 }
115
116 private:
117 // PC displacement from patch location; x86 PC for relative calls points to the next
118 // instruction and the patch location is 4 bytes earlier.
119 static constexpr int32_t kPcDisplacement = 4;
120
121 DISALLOW_COPY_AND_ASSIGN(X86RelativeCallPatcher);
122};
123
Vladimir Marko7c2ad5a2014-09-24 12:42:55 +0100124class OatWriter::ArmBaseRelativeCallPatcher : public RelativeCallPatcher {
Vladimir Markof4da6752014-08-01 19:04:18 +0100125 public:
Vladimir Marko7c2ad5a2014-09-24 12:42:55 +0100126 ArmBaseRelativeCallPatcher(OatWriter* writer,
127 InstructionSet instruction_set, std::vector<uint8_t> thunk_code,
128 uint32_t max_positive_displacement, uint32_t max_negative_displacement)
129 : writer_(writer), instruction_set_(instruction_set), thunk_code_(thunk_code),
130 max_positive_displacement_(max_positive_displacement),
131 max_negative_displacement_(max_negative_displacement),
Vladimir Markof4da6752014-08-01 19:04:18 +0100132 thunk_locations_(), current_thunk_to_write_(0u), unprocessed_patches_() {
133 }
134
135 uint32_t ReserveSpace(uint32_t offset, const CompiledMethod* compiled_method) OVERRIDE {
136 // NOTE: The final thunk can be reserved from InitCodeMethodVisitor::EndClass() while it
137 // may be written early by WriteCodeMethodVisitor::VisitMethod() for a deduplicated chunk
138 // of code. To avoid any alignment discrepancies for the final chunk, we always align the
139 // offset after reserving of writing any chunk.
140 if (UNLIKELY(compiled_method == nullptr)) {
Vladimir Marko7c2ad5a2014-09-24 12:42:55 +0100141 uint32_t aligned_offset = CompiledMethod::AlignCode(offset, instruction_set_);
Vladimir Markof4da6752014-08-01 19:04:18 +0100142 bool needs_thunk = ReserveSpaceProcessPatches(aligned_offset);
143 if (needs_thunk) {
144 thunk_locations_.push_back(aligned_offset);
Vladimir Marko7c2ad5a2014-09-24 12:42:55 +0100145 offset = CompiledMethod::AlignCode(aligned_offset + thunk_code_.size(), instruction_set_);
Vladimir Markof4da6752014-08-01 19:04:18 +0100146 }
147 return offset;
148 }
149 DCHECK(compiled_method->GetQuickCode() != nullptr);
150 uint32_t quick_code_size = compiled_method->GetQuickCode()->size();
151 uint32_t quick_code_offset = compiled_method->AlignCode(offset) + sizeof(OatQuickMethodHeader);
152 uint32_t next_aligned_offset = compiled_method->AlignCode(quick_code_offset + quick_code_size);
153 if (!unprocessed_patches_.empty() &&
Vladimir Marko7c2ad5a2014-09-24 12:42:55 +0100154 next_aligned_offset - unprocessed_patches_.front().second > max_positive_displacement_) {
Vladimir Markof4da6752014-08-01 19:04:18 +0100155 bool needs_thunk = ReserveSpaceProcessPatches(next_aligned_offset);
156 if (needs_thunk) {
157 // A single thunk will cover all pending patches.
158 unprocessed_patches_.clear();
159 uint32_t thunk_location = compiled_method->AlignCode(offset);
160 thunk_locations_.push_back(thunk_location);
Vladimir Marko7c2ad5a2014-09-24 12:42:55 +0100161 offset = CompiledMethod::AlignCode(thunk_location + thunk_code_.size(), instruction_set_);
Vladimir Markof4da6752014-08-01 19:04:18 +0100162 }
163 }
164 for (const LinkerPatch& patch : compiled_method->GetPatches()) {
165 if (patch.Type() == kLinkerPatchCallRelative) {
166 unprocessed_patches_.emplace_back(patch.TargetMethod(),
167 quick_code_offset + patch.LiteralOffset());
168 }
169 }
170 return offset;
171 }
172
173 uint32_t WriteThunks(OutputStream* out, uint32_t offset) OVERRIDE {
174 if (current_thunk_to_write_ == thunk_locations_.size()) {
175 return offset;
176 }
Vladimir Marko7c2ad5a2014-09-24 12:42:55 +0100177 uint32_t aligned_offset = CompiledMethod::AlignCode(offset, instruction_set_);
Vladimir Markof4da6752014-08-01 19:04:18 +0100178 if (UNLIKELY(aligned_offset == thunk_locations_[current_thunk_to_write_])) {
179 ++current_thunk_to_write_;
180 uint32_t aligned_code_delta = aligned_offset - offset;
181 if (aligned_code_delta != 0u && !writer_->WriteCodeAlignment(out, aligned_code_delta)) {
182 return 0u;
183 }
184 if (!out->WriteFully(thunk_code_.data(), thunk_code_.size())) {
185 return 0u;
186 }
187 writer_->size_relative_call_thunks_ += thunk_code_.size();
188 uint32_t thunk_end_offset = aligned_offset + thunk_code_.size();
189 // Align after writing chunk, see the ReserveSpace() above.
Vladimir Marko7c2ad5a2014-09-24 12:42:55 +0100190 offset = CompiledMethod::AlignCode(thunk_end_offset, instruction_set_);
Vladimir Markof4da6752014-08-01 19:04:18 +0100191 aligned_code_delta = offset - thunk_end_offset;
192 if (aligned_code_delta != 0u && !writer_->WriteCodeAlignment(out, aligned_code_delta)) {
193 return 0u;
194 }
195 }
196 return offset;
197 }
198
Vladimir Marko7c2ad5a2014-09-24 12:42:55 +0100199 protected:
200 uint32_t CalculateDisplacement(uint32_t patch_offset, uint32_t target_offset) {
Vladimir Markof4da6752014-08-01 19:04:18 +0100201 // Unsigned arithmetic with its well-defined overflow behavior is just fine here.
Vladimir Marko7c2ad5a2014-09-24 12:42:55 +0100202 uint32_t displacement = target_offset - patch_offset;
Vladimir Markof4da6752014-08-01 19:04:18 +0100203 // NOTE: With unsigned arithmetic we do mean to use && rather than || below.
Vladimir Marko7c2ad5a2014-09-24 12:42:55 +0100204 if (displacement > max_positive_displacement_ && displacement < -max_negative_displacement_) {
Vladimir Markof4da6752014-08-01 19:04:18 +0100205 // Unwritten thunks have higher offsets, check if it's within range.
206 DCHECK(current_thunk_to_write_ == thunk_locations_.size() ||
207 thunk_locations_[current_thunk_to_write_] > patch_offset);
208 if (current_thunk_to_write_ != thunk_locations_.size() &&
Vladimir Marko7c2ad5a2014-09-24 12:42:55 +0100209 thunk_locations_[current_thunk_to_write_] - patch_offset < max_positive_displacement_) {
Vladimir Markof4da6752014-08-01 19:04:18 +0100210 displacement = thunk_locations_[current_thunk_to_write_] - patch_offset;
211 } else {
212 // We must have a previous thunk then.
213 DCHECK_NE(current_thunk_to_write_, 0u);
214 DCHECK_LT(thunk_locations_[current_thunk_to_write_ - 1], patch_offset);
215 displacement = thunk_locations_[current_thunk_to_write_ - 1] - patch_offset;
Vladimir Marko7c2ad5a2014-09-24 12:42:55 +0100216 DCHECK(displacement >= -max_negative_displacement_);
Vladimir Markof4da6752014-08-01 19:04:18 +0100217 }
218 }
Vladimir Marko7c2ad5a2014-09-24 12:42:55 +0100219 return displacement;
220 }
221
222 private:
223 bool ReserveSpaceProcessPatches(uint32_t next_aligned_offset) {
224 // Process as many patches as possible, stop only on unresolved targets or calls too far back.
225 while (!unprocessed_patches_.empty()) {
226 uint32_t patch_offset = unprocessed_patches_.front().second;
227 auto it = writer_->method_offset_map_.find(unprocessed_patches_.front().first);
228 if (it == writer_->method_offset_map_.end()) {
229 // If still unresolved, check if we have a thunk within range.
230 DCHECK(thunk_locations_.empty() || thunk_locations_.back() <= patch_offset);
231 if (thunk_locations_.empty() ||
232 patch_offset - thunk_locations_.back() > max_negative_displacement_) {
233 return next_aligned_offset - patch_offset > max_positive_displacement_;
234 }
235 } else if (it->second >= patch_offset) {
236 DCHECK_LE(it->second - patch_offset, max_positive_displacement_);
237 } else {
238 // When calling back, check if we have a thunk that's closer than the actual target.
239 uint32_t target_offset = (thunk_locations_.empty() || it->second > thunk_locations_.back())
240 ? it->second
241 : thunk_locations_.back();
242 DCHECK_GT(patch_offset, target_offset);
243 if (patch_offset - target_offset > max_negative_displacement_) {
244 return true;
245 }
246 }
247 unprocessed_patches_.pop_front();
248 }
249 return false;
250 }
251
252 OatWriter* const writer_;
253 const InstructionSet instruction_set_;
254 const std::vector<uint8_t> thunk_code_;
255 const uint32_t max_positive_displacement_;
256 const uint32_t max_negative_displacement_;
257 std::vector<uint32_t> thunk_locations_;
258 size_t current_thunk_to_write_;
259
260 // ReserveSpace() tracks unprocessed patches.
261 typedef std::pair<MethodReference, uint32_t> UnprocessedPatch;
262 std::deque<UnprocessedPatch> unprocessed_patches_;
263
264 DISALLOW_COPY_AND_ASSIGN(ArmBaseRelativeCallPatcher);
265};
266
267class OatWriter::Thumb2RelativeCallPatcher FINAL : public ArmBaseRelativeCallPatcher {
268 public:
269 explicit Thumb2RelativeCallPatcher(OatWriter* writer)
270 : ArmBaseRelativeCallPatcher(writer, kThumb2, CompileThunkCode(),
271 kMaxPositiveDisplacement, kMaxNegativeDisplacement) {
272 }
273
274 void Patch(std::vector<uint8_t>* code, uint32_t literal_offset, uint32_t patch_offset,
275 uint32_t target_offset) OVERRIDE {
276 DCHECK_LE(literal_offset + 4u, code->size());
277 DCHECK_EQ(literal_offset & 1u, 0u);
278 DCHECK_EQ(patch_offset & 1u, 0u);
279 DCHECK_EQ(target_offset & 1u, 1u); // Thumb2 mode bit.
280 uint32_t displacement = CalculateDisplacement(patch_offset, target_offset & ~1u);
Vladimir Markof4da6752014-08-01 19:04:18 +0100281 displacement -= kPcDisplacement; // The base PC is at the end of the 4-byte patch.
282 DCHECK_EQ(displacement & 1u, 0u);
283 DCHECK((displacement >> 24) == 0u || (displacement >> 24) == 255u); // 25-bit signed.
284 uint32_t signbit = (displacement >> 31) & 0x1;
285 uint32_t i1 = (displacement >> 23) & 0x1;
286 uint32_t i2 = (displacement >> 22) & 0x1;
287 uint32_t imm10 = (displacement >> 12) & 0x03ff;
288 uint32_t imm11 = (displacement >> 1) & 0x07ff;
289 uint32_t j1 = i1 ^ (signbit ^ 1);
290 uint32_t j2 = i2 ^ (signbit ^ 1);
291 uint32_t value = (signbit << 26) | (j1 << 13) | (j2 << 11) | (imm10 << 16) | imm11;
292 value |= 0xf000d000; // BL
293
294 uint8_t* addr = &(*code)[literal_offset];
295 // Check that we're just overwriting an existing BL.
296 DCHECK_EQ(addr[1] & 0xf8, 0xf0);
297 DCHECK_EQ(addr[3] & 0xd0, 0xd0);
298 // Write the new BL.
299 addr[0] = (value >> 16) & 0xff;
300 addr[1] = (value >> 24) & 0xff;
301 addr[2] = (value >> 0) & 0xff;
302 addr[3] = (value >> 8) & 0xff;
303 }
304
305 private:
Vladimir Markof4da6752014-08-01 19:04:18 +0100306 static std::vector<uint8_t> CompileThunkCode() {
307 // The thunk just uses the entry point in the ArtMethod. This works even for calls
308 // to the generic JNI and interpreter trampolines.
309 arm::Thumb2Assembler assembler;
310 assembler.LoadFromOffset(
311 arm::kLoadWord, arm::PC, arm::R0,
Mathieu Chartier2d721012014-11-10 11:08:06 -0800312 mirror::ArtMethod::EntryPointFromQuickCompiledCodeOffset(kArmPointerSize).Int32Value());
Vladimir Markof4da6752014-08-01 19:04:18 +0100313 assembler.bkpt(0);
314 std::vector<uint8_t> thunk_code(assembler.CodeSize());
315 MemoryRegion code(thunk_code.data(), thunk_code.size());
316 assembler.FinalizeInstructions(code);
317 return thunk_code;
318 }
319
320 // PC displacement from patch location; Thumb2 PC is always at instruction address + 4.
321 static constexpr int32_t kPcDisplacement = 4;
322
323 // Maximum positive and negative displacement measured from the patch location.
324 // (Signed 25 bit displacement with the last bit 0 has range [-2^24, 2^24-2] measured from
325 // the Thumb2 PC pointing right after the BL, i.e. 4 bytes later than the patch location.)
326 static constexpr uint32_t kMaxPositiveDisplacement = (1u << 24) - 2 + kPcDisplacement;
327 static constexpr uint32_t kMaxNegativeDisplacement = (1u << 24) - kPcDisplacement;
328
Vladimir Markof4da6752014-08-01 19:04:18 +0100329 DISALLOW_COPY_AND_ASSIGN(Thumb2RelativeCallPatcher);
330};
331
Vladimir Marko7c2ad5a2014-09-24 12:42:55 +0100332class OatWriter::Arm64RelativeCallPatcher FINAL : public ArmBaseRelativeCallPatcher {
333 public:
334 explicit Arm64RelativeCallPatcher(OatWriter* writer)
335 : ArmBaseRelativeCallPatcher(writer, kArm64, CompileThunkCode(),
336 kMaxPositiveDisplacement, kMaxNegativeDisplacement) {
337 }
338
339 void Patch(std::vector<uint8_t>* code, uint32_t literal_offset, uint32_t patch_offset,
340 uint32_t target_offset) OVERRIDE {
341 DCHECK_LE(literal_offset + 4u, code->size());
342 DCHECK_EQ(literal_offset & 3u, 0u);
343 DCHECK_EQ(patch_offset & 3u, 0u);
344 DCHECK_EQ(target_offset & 3u, 0u);
345 uint32_t displacement = CalculateDisplacement(patch_offset, target_offset & ~1u);
346 DCHECK_EQ(displacement & 3u, 0u);
347 DCHECK((displacement >> 27) == 0u || (displacement >> 27) == 31u); // 28-bit signed.
348 uint32_t value = (displacement & 0x0fffffffu) >> 2;
349 value |= 0x94000000; // BL
350
351 uint8_t* addr = &(*code)[literal_offset];
352 // Check that we're just overwriting an existing BL.
353 DCHECK_EQ(addr[3] & 0xfc, 0x94);
354 // Write the new BL.
355 addr[0] = (value >> 0) & 0xff;
356 addr[1] = (value >> 8) & 0xff;
357 addr[2] = (value >> 16) & 0xff;
358 addr[3] = (value >> 24) & 0xff;
359 }
360
361 private:
362 static std::vector<uint8_t> CompileThunkCode() {
363 // The thunk just uses the entry point in the ArtMethod. This works even for calls
364 // to the generic JNI and interpreter trampolines.
365 arm64::Arm64Assembler assembler;
Mathieu Chartier2d721012014-11-10 11:08:06 -0800366 Offset offset(mirror::ArtMethod::EntryPointFromQuickCompiledCodeOffset(
367 kArm64PointerSize).Int32Value());
Vladimir Marko7c2ad5a2014-09-24 12:42:55 +0100368 assembler.JumpTo(ManagedRegister(arm64::X0), offset, ManagedRegister(arm64::IP0));
Serban Constantinescu32f5b4d2014-11-25 20:05:46 +0000369 // Ensure we emit the literal pool.
370 assembler.EmitSlowPaths();
Vladimir Marko7c2ad5a2014-09-24 12:42:55 +0100371 std::vector<uint8_t> thunk_code(assembler.CodeSize());
372 MemoryRegion code(thunk_code.data(), thunk_code.size());
373 assembler.FinalizeInstructions(code);
374 return thunk_code;
375 }
376
377 // Maximum positive and negative displacement measured from the patch location.
378 // (Signed 28 bit displacement with the last bit 0 has range [-2^27, 2^27-4] measured from
379 // the ARM64 PC pointing to the BL.)
380 static constexpr uint32_t kMaxPositiveDisplacement = (1u << 27) - 4u;
381 static constexpr uint32_t kMaxNegativeDisplacement = (1u << 27);
382
383 DISALLOW_COPY_AND_ASSIGN(Arm64RelativeCallPatcher);
384};
385
Vladimir Marko96c6ab92014-04-08 14:00:50 +0100386#define DCHECK_OFFSET() \
387 DCHECK_EQ(static_cast<off_t>(file_offset + relative_offset), out->Seek(0, kSeekCurrent)) \
388 << "file_offset=" << file_offset << " relative_offset=" << relative_offset
389
390#define DCHECK_OFFSET_() \
391 DCHECK_EQ(static_cast<off_t>(file_offset + offset_), out->Seek(0, kSeekCurrent)) \
392 << "file_offset=" << file_offset << " offset_=" << offset_
393
Brian Carlstrom3320cf42011-10-04 14:58:28 -0700394OatWriter::OatWriter(const std::vector<const DexFile*>& dex_files,
Brian Carlstrom28db0122012-10-18 16:20:41 -0700395 uint32_t image_file_location_oat_checksum,
Ian Rogersef7d42f2014-01-06 12:55:46 -0800396 uintptr_t image_file_location_oat_begin,
Alex Lighta59dd802014-07-02 16:28:08 -0700397 int32_t image_patch_delta,
Ian Rogersca368cb2013-11-15 15:52:08 -0800398 const CompilerDriver* compiler,
Vladimir Markof4da6752014-08-01 19:04:18 +0100399 ImageWriter* image_writer,
Andreas Gampe22f8e5c2014-07-09 11:38:21 -0700400 TimingLogger* timings,
401 SafeMap<std::string, std::string>* key_value_store)
Jeff Hao0aba0ba2013-06-03 14:49:28 -0700402 : compiler_driver_(compiler),
Vladimir Markof4da6752014-08-01 19:04:18 +0100403 image_writer_(image_writer),
Jeff Hao0aba0ba2013-06-03 14:49:28 -0700404 dex_files_(&dex_files),
Vladimir Markof4da6752014-08-01 19:04:18 +0100405 size_(0u),
406 oat_data_offset_(0u),
Jeff Hao0aba0ba2013-06-03 14:49:28 -0700407 image_file_location_oat_checksum_(image_file_location_oat_checksum),
408 image_file_location_oat_begin_(image_file_location_oat_begin),
Alex Lighta59dd802014-07-02 16:28:08 -0700409 image_patch_delta_(image_patch_delta),
Andreas Gampe22f8e5c2014-07-09 11:38:21 -0700410 key_value_store_(key_value_store),
Jeff Hao0aba0ba2013-06-03 14:49:28 -0700411 oat_header_(NULL),
412 size_dex_file_alignment_(0),
413 size_executable_offset_alignment_(0),
414 size_oat_header_(0),
Andreas Gampe22f8e5c2014-07-09 11:38:21 -0700415 size_oat_header_key_value_store_(0),
Jeff Hao0aba0ba2013-06-03 14:49:28 -0700416 size_dex_file_(0),
Ian Rogers848871b2013-08-05 10:56:33 -0700417 size_interpreter_to_interpreter_bridge_(0),
418 size_interpreter_to_compiled_code_bridge_(0),
419 size_jni_dlsym_lookup_(0),
Jeff Hao88474b42013-10-23 16:24:40 -0700420 size_portable_imt_conflict_trampoline_(0),
Jeff Hao0aba0ba2013-06-03 14:49:28 -0700421 size_portable_resolution_trampoline_(0),
Ian Rogers848871b2013-08-05 10:56:33 -0700422 size_portable_to_interpreter_bridge_(0),
Andreas Gampe2da88232014-02-27 12:26:20 -0800423 size_quick_generic_jni_trampoline_(0),
Jeff Hao88474b42013-10-23 16:24:40 -0700424 size_quick_imt_conflict_trampoline_(0),
Jeff Hao0aba0ba2013-06-03 14:49:28 -0700425 size_quick_resolution_trampoline_(0),
Ian Rogers848871b2013-08-05 10:56:33 -0700426 size_quick_to_interpreter_bridge_(0),
427 size_trampoline_alignment_(0),
Vladimir Marko96c6ab92014-04-08 14:00:50 +0100428 size_method_header_(0),
Jeff Hao0aba0ba2013-06-03 14:49:28 -0700429 size_code_(0),
430 size_code_alignment_(0),
Vladimir Markof4da6752014-08-01 19:04:18 +0100431 size_relative_call_thunks_(0),
Jeff Hao0aba0ba2013-06-03 14:49:28 -0700432 size_mapping_table_(0),
433 size_vmap_table_(0),
434 size_gc_map_(0),
435 size_oat_dex_file_location_size_(0),
436 size_oat_dex_file_location_data_(0),
437 size_oat_dex_file_location_checksum_(0),
438 size_oat_dex_file_offset_(0),
439 size_oat_dex_file_methods_offsets_(0),
Brian Carlstromba150c32013-08-27 17:31:03 -0700440 size_oat_class_type_(0),
Jeff Hao0aba0ba2013-06-03 14:49:28 -0700441 size_oat_class_status_(0),
Brian Carlstromba150c32013-08-27 17:31:03 -0700442 size_oat_class_method_bitmaps_(0),
Vladimir Markof4da6752014-08-01 19:04:18 +0100443 size_oat_class_method_offsets_(0),
444 method_offset_map_() {
Andreas Gampe22f8e5c2014-07-09 11:38:21 -0700445 CHECK(key_value_store != nullptr);
446
Vladimir Markof4da6752014-08-01 19:04:18 +0100447 switch (compiler_driver_->GetInstructionSet()) {
448 case kX86:
449 case kX86_64:
450 relative_call_patcher_.reset(new X86RelativeCallPatcher);
451 break;
452 case kArm:
453 // Fall through: we generate Thumb2 code for "arm".
454 case kThumb2:
455 relative_call_patcher_.reset(new Thumb2RelativeCallPatcher(this));
456 break;
457 case kArm64:
Vladimir Marko7c2ad5a2014-09-24 12:42:55 +0100458 relative_call_patcher_.reset(new Arm64RelativeCallPatcher(this));
459 break;
Vladimir Markof4da6752014-08-01 19:04:18 +0100460 default:
461 relative_call_patcher_.reset(new NoRelativeCallPatcher);
462 break;
463 }
464
Ian Rogersca368cb2013-11-15 15:52:08 -0800465 size_t offset;
466 {
Mathieu Chartierf5997b42014-06-20 10:37:54 -0700467 TimingLogger::ScopedTiming split("InitOatHeader", timings);
Ian Rogersca368cb2013-11-15 15:52:08 -0800468 offset = InitOatHeader();
469 }
470 {
Mathieu Chartierf5997b42014-06-20 10:37:54 -0700471 TimingLogger::ScopedTiming split("InitOatDexFiles", timings);
Ian Rogersca368cb2013-11-15 15:52:08 -0800472 offset = InitOatDexFiles(offset);
473 }
474 {
Mathieu Chartierf5997b42014-06-20 10:37:54 -0700475 TimingLogger::ScopedTiming split("InitDexFiles", timings);
Ian Rogersca368cb2013-11-15 15:52:08 -0800476 offset = InitDexFiles(offset);
477 }
478 {
Mathieu Chartierf5997b42014-06-20 10:37:54 -0700479 TimingLogger::ScopedTiming split("InitOatClasses", timings);
Ian Rogersca368cb2013-11-15 15:52:08 -0800480 offset = InitOatClasses(offset);
481 }
482 {
Mathieu Chartierf5997b42014-06-20 10:37:54 -0700483 TimingLogger::ScopedTiming split("InitOatMaps", timings);
Vladimir Marko96c6ab92014-04-08 14:00:50 +0100484 offset = InitOatMaps(offset);
485 }
486 {
Mathieu Chartierf5997b42014-06-20 10:37:54 -0700487 TimingLogger::ScopedTiming split("InitOatCode", timings);
Ian Rogersca368cb2013-11-15 15:52:08 -0800488 offset = InitOatCode(offset);
489 }
490 {
Mathieu Chartierf5997b42014-06-20 10:37:54 -0700491 TimingLogger::ScopedTiming split("InitOatCodeDexFiles", timings);
Ian Rogersca368cb2013-11-15 15:52:08 -0800492 offset = InitOatCodeDexFiles(offset);
493 }
Brian Carlstromc50d8e12013-07-23 22:35:16 -0700494 size_ = offset;
Brian Carlstrome24fa612011-09-29 00:53:55 -0700495
496 CHECK_EQ(dex_files_->size(), oat_dex_files_.size());
Vladimir Markof4da6752014-08-01 19:04:18 +0100497 CHECK_EQ(compiler->IsImage(), image_writer_ != nullptr);
Andreas Gampe22f8e5c2014-07-09 11:38:21 -0700498 CHECK_EQ(compiler->IsImage(),
499 key_value_store_->find(OatHeader::kImageLocationKey) == key_value_store_->end());
Alex Lighta59dd802014-07-02 16:28:08 -0700500 CHECK_ALIGNED(image_patch_delta_, kPageSize);
Brian Carlstrome24fa612011-09-29 00:53:55 -0700501}
502
Ian Rogers0571d352011-11-03 19:51:38 -0700503OatWriter::~OatWriter() {
504 delete oat_header_;
505 STLDeleteElements(&oat_dex_files_);
Brian Carlstrom389efb02012-01-11 12:06:26 -0800506 STLDeleteElements(&oat_classes_);
Ian Rogers0571d352011-11-03 19:51:38 -0700507}
508
Vladimir Marko96c6ab92014-04-08 14:00:50 +0100509struct OatWriter::GcMapDataAccess {
510 static const std::vector<uint8_t>* GetData(const CompiledMethod* compiled_method) ALWAYS_INLINE {
Nicolas Geoffray39468442014-09-02 15:17:15 +0100511 return compiled_method->GetGcMap();
Vladimir Marko96c6ab92014-04-08 14:00:50 +0100512 }
513
514 static uint32_t GetOffset(OatClass* oat_class, size_t method_offsets_index) ALWAYS_INLINE {
Mathieu Chartier957ca1c2014-11-21 16:51:29 -0800515 uint32_t offset = oat_class->method_headers_[method_offsets_index].gc_map_offset_;
516 return offset == 0u ? 0u :
517 (oat_class->method_offsets_[method_offsets_index].code_offset_ & ~1) - offset;
Vladimir Marko96c6ab92014-04-08 14:00:50 +0100518 }
519
520 static void SetOffset(OatClass* oat_class, size_t method_offsets_index, uint32_t offset)
521 ALWAYS_INLINE {
Mathieu Chartier957ca1c2014-11-21 16:51:29 -0800522 oat_class->method_headers_[method_offsets_index].gc_map_offset_ =
523 (oat_class->method_offsets_[method_offsets_index].code_offset_ & ~1) - offset;
Vladimir Marko96c6ab92014-04-08 14:00:50 +0100524 }
525
Mathieu Chartier957ca1c2014-11-21 16:51:29 -0800526 static const char* Name() {
Vladimir Marko96c6ab92014-04-08 14:00:50 +0100527 return "GC map";
528 }
529};
530
531struct OatWriter::MappingTableDataAccess {
532 static const std::vector<uint8_t>* GetData(const CompiledMethod* compiled_method) ALWAYS_INLINE {
Nicolas Geoffray376b2bb2014-12-09 14:26:32 +0000533 return compiled_method->GetMappingTable();
Vladimir Marko96c6ab92014-04-08 14:00:50 +0100534 }
535
536 static uint32_t GetOffset(OatClass* oat_class, size_t method_offsets_index) ALWAYS_INLINE {
Vladimir Marko8a630572014-04-09 18:45:35 +0100537 uint32_t offset = oat_class->method_headers_[method_offsets_index].mapping_table_offset_;
538 return offset == 0u ? 0u :
539 (oat_class->method_offsets_[method_offsets_index].code_offset_ & ~1) - offset;
Vladimir Marko96c6ab92014-04-08 14:00:50 +0100540 }
541
542 static void SetOffset(OatClass* oat_class, size_t method_offsets_index, uint32_t offset)
543 ALWAYS_INLINE {
Vladimir Marko8a630572014-04-09 18:45:35 +0100544 oat_class->method_headers_[method_offsets_index].mapping_table_offset_ =
545 (oat_class->method_offsets_[method_offsets_index].code_offset_ & ~1) - offset;
Vladimir Marko96c6ab92014-04-08 14:00:50 +0100546 }
547
Mathieu Chartier957ca1c2014-11-21 16:51:29 -0800548 static const char* Name() {
Vladimir Marko96c6ab92014-04-08 14:00:50 +0100549 return "mapping table";
550 }
551};
552
553struct OatWriter::VmapTableDataAccess {
554 static const std::vector<uint8_t>* GetData(const CompiledMethod* compiled_method) ALWAYS_INLINE {
555 return &compiled_method->GetVmapTable();
556 }
557
558 static uint32_t GetOffset(OatClass* oat_class, size_t method_offsets_index) ALWAYS_INLINE {
Vladimir Marko8a630572014-04-09 18:45:35 +0100559 uint32_t offset = oat_class->method_headers_[method_offsets_index].vmap_table_offset_;
560 return offset == 0u ? 0u :
561 (oat_class->method_offsets_[method_offsets_index].code_offset_ & ~1) - offset;
Vladimir Marko96c6ab92014-04-08 14:00:50 +0100562 }
563
564 static void SetOffset(OatClass* oat_class, size_t method_offsets_index, uint32_t offset)
565 ALWAYS_INLINE {
Vladimir Marko8a630572014-04-09 18:45:35 +0100566 oat_class->method_headers_[method_offsets_index].vmap_table_offset_ =
567 (oat_class->method_offsets_[method_offsets_index].code_offset_ & ~1) - offset;
Vladimir Marko96c6ab92014-04-08 14:00:50 +0100568 }
569
Mathieu Chartier957ca1c2014-11-21 16:51:29 -0800570 static const char* Name() {
Vladimir Marko96c6ab92014-04-08 14:00:50 +0100571 return "vmap table";
572 }
573};
574
575class OatWriter::DexMethodVisitor {
576 public:
577 DexMethodVisitor(OatWriter* writer, size_t offset)
578 : writer_(writer),
579 offset_(offset),
580 dex_file_(nullptr),
581 class_def_index_(DexFile::kDexNoIndex) {
582 }
583
584 virtual bool StartClass(const DexFile* dex_file, size_t class_def_index) {
585 DCHECK(dex_file_ == nullptr);
586 DCHECK_EQ(class_def_index_, DexFile::kDexNoIndex);
587 dex_file_ = dex_file;
588 class_def_index_ = class_def_index;
589 return true;
590 }
591
592 virtual bool VisitMethod(size_t class_def_method_index, const ClassDataItemIterator& it) = 0;
593
594 virtual bool EndClass() {
595 if (kIsDebugBuild) {
596 dex_file_ = nullptr;
597 class_def_index_ = DexFile::kDexNoIndex;
598 }
599 return true;
600 }
601
602 size_t GetOffset() const {
603 return offset_;
604 }
605
606 protected:
607 virtual ~DexMethodVisitor() { }
608
609 OatWriter* const writer_;
610
611 // The offset is usually advanced for each visited method by the derived class.
612 size_t offset_;
613
614 // The dex file and class def index are set in StartClass().
615 const DexFile* dex_file_;
616 size_t class_def_index_;
617};
618
619class OatWriter::OatDexMethodVisitor : public DexMethodVisitor {
620 public:
621 OatDexMethodVisitor(OatWriter* writer, size_t offset)
622 : DexMethodVisitor(writer, offset),
623 oat_class_index_(0u),
624 method_offsets_index_(0u) {
625 }
626
627 bool StartClass(const DexFile* dex_file, size_t class_def_index) {
628 DexMethodVisitor::StartClass(dex_file, class_def_index);
629 DCHECK_LT(oat_class_index_, writer_->oat_classes_.size());
630 method_offsets_index_ = 0u;
631 return true;
632 }
633
634 bool EndClass() {
635 ++oat_class_index_;
636 return DexMethodVisitor::EndClass();
637 }
638
639 protected:
640 size_t oat_class_index_;
641 size_t method_offsets_index_;
642};
643
644class OatWriter::InitOatClassesMethodVisitor : public DexMethodVisitor {
645 public:
646 InitOatClassesMethodVisitor(OatWriter* writer, size_t offset)
647 : DexMethodVisitor(writer, offset),
648 compiled_methods_(),
649 num_non_null_compiled_methods_(0u) {
650 compiled_methods_.reserve(256u);
651 }
652
653 bool StartClass(const DexFile* dex_file, size_t class_def_index) {
654 DexMethodVisitor::StartClass(dex_file, class_def_index);
655 compiled_methods_.clear();
656 num_non_null_compiled_methods_ = 0u;
657 return true;
658 }
659
Ian Rogers6a3c1fc2014-10-31 00:33:20 -0700660 bool VisitMethod(size_t class_def_method_index ATTRIBUTE_UNUSED, const ClassDataItemIterator& it) {
Vladimir Marko96c6ab92014-04-08 14:00:50 +0100661 // Fill in the compiled_methods_ array for methods that have a
662 // CompiledMethod. We track the number of non-null entries in
663 // num_non_null_compiled_methods_ since we only want to allocate
664 // OatMethodOffsets for the compiled methods.
665 uint32_t method_idx = it.GetMemberIndex();
666 CompiledMethod* compiled_method =
667 writer_->compiler_driver_->GetCompiledMethod(MethodReference(dex_file_, method_idx));
668 compiled_methods_.push_back(compiled_method);
669 if (compiled_method != nullptr) {
670 ++num_non_null_compiled_methods_;
671 }
672 return true;
673 }
674
675 bool EndClass() {
676 ClassReference class_ref(dex_file_, class_def_index_);
677 CompiledClass* compiled_class = writer_->compiler_driver_->GetCompiledClass(class_ref);
678 mirror::Class::Status status;
679 if (compiled_class != NULL) {
680 status = compiled_class->GetStatus();
681 } else if (writer_->compiler_driver_->GetVerificationResults()->IsClassRejected(class_ref)) {
682 status = mirror::Class::kStatusError;
683 } else {
684 status = mirror::Class::kStatusNotReady;
685 }
686
687 OatClass* oat_class = new OatClass(offset_, compiled_methods_,
688 num_non_null_compiled_methods_, status);
689 writer_->oat_classes_.push_back(oat_class);
Vladimir Markof4da6752014-08-01 19:04:18 +0100690 oat_class->UpdateChecksum(writer_->oat_header_);
Vladimir Marko96c6ab92014-04-08 14:00:50 +0100691 offset_ += oat_class->SizeOf();
692 return DexMethodVisitor::EndClass();
693 }
694
695 private:
696 std::vector<CompiledMethod*> compiled_methods_;
697 size_t num_non_null_compiled_methods_;
698};
699
700class OatWriter::InitCodeMethodVisitor : public OatDexMethodVisitor {
701 public:
702 InitCodeMethodVisitor(OatWriter* writer, size_t offset)
703 : OatDexMethodVisitor(writer, offset) {
Vladimir Markof4da6752014-08-01 19:04:18 +0100704 writer_->absolute_patch_locations_.reserve(
705 writer_->compiler_driver_->GetNonRelativeLinkerPatchCount());
706 }
707
708 bool EndClass() {
709 OatDexMethodVisitor::EndClass();
710 if (oat_class_index_ == writer_->oat_classes_.size()) {
711 offset_ = writer_->relative_call_patcher_->ReserveSpace(offset_, nullptr);
712 }
713 return true;
Vladimir Marko96c6ab92014-04-08 14:00:50 +0100714 }
715
716 bool VisitMethod(size_t class_def_method_index, const ClassDataItemIterator& it)
717 SHARED_LOCKS_REQUIRED(Locks::mutator_lock_) {
718 OatClass* oat_class = writer_->oat_classes_[oat_class_index_];
719 CompiledMethod* compiled_method = oat_class->GetCompiledMethod(class_def_method_index);
720
721 if (compiled_method != nullptr) {
722 // Derived from CompiledMethod.
723 uint32_t quick_code_offset = 0;
Vladimir Marko96c6ab92014-04-08 14:00:50 +0100724
725 const std::vector<uint8_t>* portable_code = compiled_method->GetPortableCode();
726 const std::vector<uint8_t>* quick_code = compiled_method->GetQuickCode();
727 if (portable_code != nullptr) {
728 CHECK(quick_code == nullptr);
729 size_t oat_method_offsets_offset =
730 oat_class->GetOatMethodOffsetsOffsetFromOatHeader(class_def_method_index);
731 compiled_method->AddOatdataOffsetToCompliledCodeOffset(
732 oat_method_offsets_offset + OFFSETOF_MEMBER(OatMethodOffsets, code_offset_));
733 } else {
734 CHECK(quick_code != nullptr);
Vladimir Markof4da6752014-08-01 19:04:18 +0100735 offset_ = writer_->relative_call_patcher_->ReserveSpace(offset_, compiled_method);
Vladimir Marko96c6ab92014-04-08 14:00:50 +0100736 offset_ = compiled_method->AlignCode(offset_);
737 DCHECK_ALIGNED_PARAM(offset_,
738 GetInstructionSetAlignment(compiled_method->GetInstructionSet()));
739 uint32_t code_size = quick_code->size() * sizeof(uint8_t);
740 CHECK_NE(code_size, 0U);
741 uint32_t thumb_offset = compiled_method->CodeDelta();
Vladimir Marko7624d252014-05-02 14:40:15 +0100742 quick_code_offset = offset_ + sizeof(OatQuickMethodHeader) + thumb_offset;
Vladimir Marko96c6ab92014-04-08 14:00:50 +0100743
Alex Light78382fa2014-06-06 15:45:32 -0700744 bool deduped = false;
Vladimir Marko96c6ab92014-04-08 14:00:50 +0100745
746 // Deduplicate code arrays.
Vladimir Markobd72fc12014-07-09 16:06:40 +0100747 auto lb = dedupe_map_.lower_bound(compiled_method);
748 if (lb != dedupe_map_.end() && !dedupe_map_.key_comp()(compiled_method, lb->first)) {
749 quick_code_offset = lb->second;
Alex Light78382fa2014-06-06 15:45:32 -0700750 deduped = true;
Vladimir Marko96c6ab92014-04-08 14:00:50 +0100751 } else {
Vladimir Markobd72fc12014-07-09 16:06:40 +0100752 dedupe_map_.PutBefore(lb, compiled_method, quick_code_offset);
Vladimir Marko7624d252014-05-02 14:40:15 +0100753 }
754
Vladimir Markof4da6752014-08-01 19:04:18 +0100755 MethodReference method_ref(dex_file_, it.GetMemberIndex());
756 auto method_lb = writer_->method_offset_map_.lower_bound(method_ref);
757 if (method_lb != writer_->method_offset_map_.end() &&
758 !writer_->method_offset_map_.key_comp()(method_ref, method_lb->first)) {
759 // TODO: Should this be a hard failure?
760 LOG(WARNING) << "Multiple definitions of "
761 << PrettyMethod(method_ref.dex_method_index, *method_ref.dex_file)
762 << ((method_lb->second != quick_code_offset) ? "; OFFSET MISMATCH" : "");
763 } else {
764 writer_->method_offset_map_.PutBefore(method_lb, method_ref, quick_code_offset);
765 }
766
Vladimir Marko7624d252014-05-02 14:40:15 +0100767 // Update quick method header.
768 DCHECK_LT(method_offsets_index_, oat_class->method_headers_.size());
769 OatQuickMethodHeader* method_header = &oat_class->method_headers_[method_offsets_index_];
770 uint32_t mapping_table_offset = method_header->mapping_table_offset_;
771 uint32_t vmap_table_offset = method_header->vmap_table_offset_;
Mathieu Chartier957ca1c2014-11-21 16:51:29 -0800772 uint32_t gc_map_offset = method_header->gc_map_offset_;
Vladimir Marko7624d252014-05-02 14:40:15 +0100773 // The code offset was 0 when the mapping/vmap table offset was set, so it's set
774 // to 0-offset and we need to adjust it by code_offset.
775 uint32_t code_offset = quick_code_offset - thumb_offset;
776 if (mapping_table_offset != 0u) {
777 mapping_table_offset += code_offset;
778 DCHECK_LT(mapping_table_offset, code_offset);
779 }
780 if (vmap_table_offset != 0u) {
781 vmap_table_offset += code_offset;
782 DCHECK_LT(vmap_table_offset, code_offset);
783 }
Mathieu Chartier957ca1c2014-11-21 16:51:29 -0800784 if (gc_map_offset != 0u) {
785 gc_map_offset += code_offset;
786 DCHECK_LT(gc_map_offset, code_offset);
787 }
Vladimir Marko7624d252014-05-02 14:40:15 +0100788 uint32_t frame_size_in_bytes = compiled_method->GetFrameSizeInBytes();
789 uint32_t core_spill_mask = compiled_method->GetCoreSpillMask();
790 uint32_t fp_spill_mask = compiled_method->GetFpSpillMask();
791 *method_header = OatQuickMethodHeader(mapping_table_offset, vmap_table_offset,
Mathieu Chartier957ca1c2014-11-21 16:51:29 -0800792 gc_map_offset, frame_size_in_bytes, core_spill_mask,
793 fp_spill_mask, code_size);
Vladimir Marko7624d252014-05-02 14:40:15 +0100794
Vladimir Markobd72fc12014-07-09 16:06:40 +0100795 if (!deduped) {
Vladimir Markof4da6752014-08-01 19:04:18 +0100796 // Update offsets. (Checksum is updated when writing.)
Vladimir Marko8a630572014-04-09 18:45:35 +0100797 offset_ += sizeof(*method_header); // Method header is prepended before code.
Vladimir Marko8a630572014-04-09 18:45:35 +0100798 offset_ += code_size;
Vladimir Markof4da6752014-08-01 19:04:18 +0100799 // Record absolute patch locations.
800 if (!compiled_method->GetPatches().empty()) {
801 uintptr_t base_loc = offset_ - code_size - writer_->oat_header_->GetExecutableOffset();
802 for (const LinkerPatch& patch : compiled_method->GetPatches()) {
803 if (patch.Type() != kLinkerPatchCallRelative) {
804 writer_->absolute_patch_locations_.push_back(base_loc + patch.LiteralOffset());
805 }
806 }
807 }
Vladimir Marko96c6ab92014-04-08 14:00:50 +0100808 }
Alex Light78382fa2014-06-06 15:45:32 -0700809
Andreas Gampe79273802014-08-05 20:21:05 -0700810 if (writer_->compiler_driver_->GetCompilerOptions().GetIncludeDebugSymbols()) {
811 // Record debug information for this function if we are doing that.
Alex Light78382fa2014-06-06 15:45:32 -0700812
Alex Light78382fa2014-06-06 15:45:32 -0700813 std::string name = PrettyMethod(it.GetMemberIndex(), *dex_file_, true);
814 if (deduped) {
Andreas Gampe79273802014-08-05 20:21:05 -0700815 // TODO We should place the DEDUPED tag on the first instance of a deduplicated symbol
816 // so that it will show up in a debuggerd crash report.
Alex Light78382fa2014-06-06 15:45:32 -0700817 name += " [ DEDUPED ]";
818 }
Andreas Gampe79273802014-08-05 20:21:05 -0700819
820 const uint32_t quick_code_start = quick_code_offset -
821 writer_->oat_header_->GetExecutableOffset();
Yevgeny Roubane3ea8382014-08-08 16:29:38 +0700822 const DexFile::CodeItem *code_item = it.GetMethodCodeItem();
Andreas Gampe79273802014-08-05 20:21:05 -0700823 writer_->method_info_.push_back(DebugInfo(name,
Yevgeny Roubane3ea8382014-08-08 16:29:38 +0700824 dex_file_->GetSourceFile(dex_file_->GetClassDef(class_def_index_)),
825 quick_code_start, quick_code_start + code_size,
826 code_item == nullptr ? nullptr : dex_file_->GetDebugInfoStream(code_item),
827 compiled_method));
Alex Light78382fa2014-06-06 15:45:32 -0700828 }
Vladimir Marko96c6ab92014-04-08 14:00:50 +0100829 }
Vladimir Marko96c6ab92014-04-08 14:00:50 +0100830
831 if (kIsDebugBuild) {
832 // We expect GC maps except when the class hasn't been verified or the method is native.
833 const CompilerDriver* compiler_driver = writer_->compiler_driver_;
834 ClassReference class_ref(dex_file_, class_def_index_);
835 CompiledClass* compiled_class = compiler_driver->GetCompiledClass(class_ref);
836 mirror::Class::Status status;
837 if (compiled_class != NULL) {
838 status = compiled_class->GetStatus();
839 } else if (compiler_driver->GetVerificationResults()->IsClassRejected(class_ref)) {
840 status = mirror::Class::kStatusError;
841 } else {
842 status = mirror::Class::kStatusNotReady;
843 }
Nicolas Geoffray39468442014-09-02 15:17:15 +0100844 std::vector<uint8_t> const * gc_map = compiled_method->GetGcMap();
845 if (gc_map != nullptr) {
846 size_t gc_map_size = gc_map->size() * sizeof(gc_map[0]);
Andreas Gampe51829322014-08-25 15:05:04 -0700847 bool is_native = it.MemberIsNative();
Nicolas Geoffray39468442014-09-02 15:17:15 +0100848 CHECK(gc_map_size != 0 || is_native || status < mirror::Class::kStatusVerified)
849 << gc_map << " " << gc_map_size << " " << (is_native ? "true" : "false") << " "
850 << (status < mirror::Class::kStatusVerified) << " " << status << " "
851 << PrettyMethod(it.GetMemberIndex(), *dex_file_);
852 }
Vladimir Marko96c6ab92014-04-08 14:00:50 +0100853 }
854
855 DCHECK_LT(method_offsets_index_, oat_class->method_offsets_.size());
856 OatMethodOffsets* offsets = &oat_class->method_offsets_[method_offsets_index_];
857 offsets->code_offset_ = quick_code_offset;
Vladimir Marko96c6ab92014-04-08 14:00:50 +0100858 ++method_offsets_index_;
859 }
860
861 return true;
862 }
863
864 private:
865 // Deduplication is already done on a pointer basis by the compiler driver,
866 // so we can simply compare the pointers to find out if things are duplicated.
Vladimir Marko8a630572014-04-09 18:45:35 +0100867 SafeMap<const CompiledMethod*, uint32_t, CodeOffsetsKeyComparator> dedupe_map_;
Vladimir Marko96c6ab92014-04-08 14:00:50 +0100868};
869
870template <typename DataAccess>
871class OatWriter::InitMapMethodVisitor : public OatDexMethodVisitor {
872 public:
873 InitMapMethodVisitor(OatWriter* writer, size_t offset)
874 : OatDexMethodVisitor(writer, offset) {
875 }
876
Ian Rogers6a3c1fc2014-10-31 00:33:20 -0700877 bool VisitMethod(size_t class_def_method_index, const ClassDataItemIterator& it ATTRIBUTE_UNUSED)
Vladimir Marko96c6ab92014-04-08 14:00:50 +0100878 SHARED_LOCKS_REQUIRED(Locks::mutator_lock_) {
879 OatClass* oat_class = writer_->oat_classes_[oat_class_index_];
880 CompiledMethod* compiled_method = oat_class->GetCompiledMethod(class_def_method_index);
881
882 if (compiled_method != nullptr) {
883 DCHECK_LT(method_offsets_index_, oat_class->method_offsets_.size());
884 DCHECK_EQ(DataAccess::GetOffset(oat_class, method_offsets_index_), 0u);
885
886 const std::vector<uint8_t>* map = DataAccess::GetData(compiled_method);
Nicolas Geoffray39468442014-09-02 15:17:15 +0100887 uint32_t map_size = map == nullptr ? 0 : map->size() * sizeof((*map)[0]);
Vladimir Marko96c6ab92014-04-08 14:00:50 +0100888 if (map_size != 0u) {
Vladimir Markobd72fc12014-07-09 16:06:40 +0100889 auto lb = dedupe_map_.lower_bound(map);
890 if (lb != dedupe_map_.end() && !dedupe_map_.key_comp()(map, lb->first)) {
891 DataAccess::SetOffset(oat_class, method_offsets_index_, lb->second);
Vladimir Marko96c6ab92014-04-08 14:00:50 +0100892 } else {
893 DataAccess::SetOffset(oat_class, method_offsets_index_, offset_);
Vladimir Markobd72fc12014-07-09 16:06:40 +0100894 dedupe_map_.PutBefore(lb, map, offset_);
Vladimir Marko96c6ab92014-04-08 14:00:50 +0100895 offset_ += map_size;
896 writer_->oat_header_->UpdateChecksum(&(*map)[0], map_size);
897 }
898 }
899 ++method_offsets_index_;
900 }
901
902 return true;
903 }
904
905 private:
906 // Deduplication is already done on a pointer basis by the compiler driver,
907 // so we can simply compare the pointers to find out if things are duplicated.
908 SafeMap<const std::vector<uint8_t>*, uint32_t> dedupe_map_;
909};
910
911class OatWriter::InitImageMethodVisitor : public OatDexMethodVisitor {
912 public:
913 InitImageMethodVisitor(OatWriter* writer, size_t offset)
914 : OatDexMethodVisitor(writer, offset) {
915 }
916
917 bool VisitMethod(size_t class_def_method_index, const ClassDataItemIterator& it)
918 SHARED_LOCKS_REQUIRED(Locks::mutator_lock_) {
919 OatClass* oat_class = writer_->oat_classes_[oat_class_index_];
920 CompiledMethod* compiled_method = oat_class->GetCompiledMethod(class_def_method_index);
921
Mathieu Chartier957ca1c2014-11-21 16:51:29 -0800922 OatMethodOffsets offsets(0u);
Vladimir Marko96c6ab92014-04-08 14:00:50 +0100923 if (compiled_method != nullptr) {
924 DCHECK_LT(method_offsets_index_, oat_class->method_offsets_.size());
925 offsets = oat_class->method_offsets_[method_offsets_index_];
926 ++method_offsets_index_;
927 }
928
Vladimir Marko96c6ab92014-04-08 14:00:50 +0100929 ClassLinker* linker = Runtime::Current()->GetClassLinker();
930 InvokeType invoke_type = it.GetMethodInvokeType(dex_file_->GetClassDef(class_def_index_));
931 // Unchecked as we hold mutator_lock_ on entry.
932 ScopedObjectAccessUnchecked soa(Thread::Current());
Mathieu Chartier957ca1c2014-11-21 16:51:29 -0800933 StackHandleScope<1> hs(soa.Self());
Mathieu Chartiereb8167a2014-05-07 15:43:14 -0700934 Handle<mirror::DexCache> dex_cache(hs.NewHandle(linker->FindDexCache(*dex_file_)));
Vladimir Marko7624d252014-05-02 14:40:15 +0100935 mirror::ArtMethod* method = linker->ResolveMethod(*dex_file_, it.GetMemberIndex(), dex_cache,
Mathieu Chartier0cd81352014-05-22 16:48:55 -0700936 NullHandle<mirror::ClassLoader>(),
937 NullHandle<mirror::ArtMethod>(),
938 invoke_type);
Andreas Gamped9efea62014-07-21 22:56:08 -0700939 if (method == nullptr) {
940 LOG(ERROR) << "Unexpected failure to resolve a method: "
941 << PrettyMethod(it.GetMemberIndex(), *dex_file_, true);
942 soa.Self()->AssertPendingException();
943 mirror::Throwable* exc = soa.Self()->GetException(nullptr);
944 std::string dump = exc->Dump();
945 LOG(FATAL) << dump;
946 }
Vladimir Marko96c6ab92014-04-08 14:00:50 +0100947 // Portable code offsets are set by ElfWriterMclinker::FixupCompiledCodeOffset after linking.
948 method->SetQuickOatCodeOffset(offsets.code_offset_);
Vladimir Marko96c6ab92014-04-08 14:00:50 +0100949
950 return true;
951 }
952};
953
954class OatWriter::WriteCodeMethodVisitor : public OatDexMethodVisitor {
955 public:
956 WriteCodeMethodVisitor(OatWriter* writer, OutputStream* out, const size_t file_offset,
Vladimir Markof4da6752014-08-01 19:04:18 +0100957 size_t relative_offset) SHARED_LOCK_FUNCTION(Locks::mutator_lock_)
Vladimir Marko96c6ab92014-04-08 14:00:50 +0100958 : OatDexMethodVisitor(writer, relative_offset),
959 out_(out),
Vladimir Markof4da6752014-08-01 19:04:18 +0100960 file_offset_(file_offset),
Vladimir Marko7c2ad5a2014-09-24 12:42:55 +0100961 soa_(Thread::Current()),
962 no_thread_suspension_(soa_.Self(), "OatWriter patching"),
Vladimir Markof4da6752014-08-01 19:04:18 +0100963 class_linker_(Runtime::Current()->GetClassLinker()),
964 dex_cache_(nullptr) {
965 if (writer_->image_writer_ != nullptr) {
966 // If we're creating the image, the address space must be ready so that we can apply patches.
967 CHECK(writer_->image_writer_->IsImageAddressSpaceReady());
968 patched_code_.reserve(16 * KB);
969 }
Vladimir Marko96c6ab92014-04-08 14:00:50 +0100970 }
971
Vladimir Markof4da6752014-08-01 19:04:18 +0100972 ~WriteCodeMethodVisitor() UNLOCK_FUNCTION(Locks::mutator_lock_) {
Vladimir Markof4da6752014-08-01 19:04:18 +0100973 }
974
975 bool StartClass(const DexFile* dex_file, size_t class_def_index)
976 SHARED_LOCKS_REQUIRED(Locks::mutator_lock_) {
977 OatDexMethodVisitor::StartClass(dex_file, class_def_index);
978 if (dex_cache_ == nullptr || dex_cache_->GetDexFile() != dex_file) {
979 dex_cache_ = class_linker_->FindDexCache(*dex_file);
980 }
981 return true;
982 }
983
984 bool EndClass() SHARED_LOCKS_REQUIRED(Locks::mutator_lock_) {
985 bool result = OatDexMethodVisitor::EndClass();
986 if (oat_class_index_ == writer_->oat_classes_.size()) {
987 DCHECK(result); // OatDexMethodVisitor::EndClass() never fails.
988 offset_ = writer_->relative_call_patcher_->WriteThunks(out_, offset_);
989 if (UNLIKELY(offset_ == 0u)) {
990 PLOG(ERROR) << "Failed to write final relative call thunks";
991 result = false;
992 }
993 }
994 return result;
995 }
996
997 bool VisitMethod(size_t class_def_method_index, const ClassDataItemIterator& it)
998 SHARED_LOCKS_REQUIRED(Locks::mutator_lock_) {
Vladimir Marko96c6ab92014-04-08 14:00:50 +0100999 OatClass* oat_class = writer_->oat_classes_[oat_class_index_];
1000 const CompiledMethod* compiled_method = oat_class->GetCompiledMethod(class_def_method_index);
1001
1002 if (compiled_method != NULL) { // ie. not an abstract method
1003 size_t file_offset = file_offset_;
1004 OutputStream* out = out_;
1005
1006 const std::vector<uint8_t>* quick_code = compiled_method->GetQuickCode();
1007 if (quick_code != nullptr) {
1008 CHECK(compiled_method->GetPortableCode() == nullptr);
Vladimir Markof4da6752014-08-01 19:04:18 +01001009 offset_ = writer_->relative_call_patcher_->WriteThunks(out, offset_);
1010 if (offset_ == 0u) {
1011 ReportWriteFailure("relative call thunk", it);
1012 return false;
1013 }
Vladimir Marko96c6ab92014-04-08 14:00:50 +01001014 uint32_t aligned_offset = compiled_method->AlignCode(offset_);
1015 uint32_t aligned_code_delta = aligned_offset - offset_;
1016 if (aligned_code_delta != 0) {
Vladimir Markof4da6752014-08-01 19:04:18 +01001017 if (!writer_->WriteCodeAlignment(out, aligned_code_delta)) {
Vladimir Marko96c6ab92014-04-08 14:00:50 +01001018 ReportWriteFailure("code alignment padding", it);
1019 return false;
1020 }
Vladimir Marko96c6ab92014-04-08 14:00:50 +01001021 offset_ += aligned_code_delta;
1022 DCHECK_OFFSET_();
1023 }
1024 DCHECK_ALIGNED_PARAM(offset_,
1025 GetInstructionSetAlignment(compiled_method->GetInstructionSet()));
1026 uint32_t code_size = quick_code->size() * sizeof(uint8_t);
1027 CHECK_NE(code_size, 0U);
1028
1029 // Deduplicate code arrays.
1030 const OatMethodOffsets& method_offsets = oat_class->method_offsets_[method_offsets_index_];
1031 DCHECK(method_offsets.code_offset_ < offset_ || method_offsets.code_offset_ ==
Vladimir Marko7624d252014-05-02 14:40:15 +01001032 offset_ + sizeof(OatQuickMethodHeader) + compiled_method->CodeDelta())
Vladimir Marko96c6ab92014-04-08 14:00:50 +01001033 << PrettyMethod(it.GetMemberIndex(), *dex_file_);
1034 if (method_offsets.code_offset_ >= offset_) {
Vladimir Markof4da6752014-08-01 19:04:18 +01001035 const OatQuickMethodHeader& method_header =
1036 oat_class->method_headers_[method_offsets_index_];
1037 writer_->oat_header_->UpdateChecksum(&method_header, sizeof(method_header));
Vladimir Marko96c6ab92014-04-08 14:00:50 +01001038 if (!out->WriteFully(&method_header, sizeof(method_header))) {
1039 ReportWriteFailure("method header", it);
1040 return false;
1041 }
1042 writer_->size_method_header_ += sizeof(method_header);
1043 offset_ += sizeof(method_header);
1044 DCHECK_OFFSET_();
Vladimir Markof4da6752014-08-01 19:04:18 +01001045
1046 if (!compiled_method->GetPatches().empty()) {
1047 patched_code_ = *quick_code;
1048 quick_code = &patched_code_;
1049 for (const LinkerPatch& patch : compiled_method->GetPatches()) {
1050 if (patch.Type() == kLinkerPatchCallRelative) {
1051 // NOTE: Relative calls across oat files are not supported.
1052 uint32_t target_offset = GetTargetOffset(patch);
1053 uint32_t literal_offset = patch.LiteralOffset();
1054 writer_->relative_call_patcher_->Patch(&patched_code_, literal_offset,
1055 offset_ + literal_offset, target_offset);
1056 } else if (patch.Type() == kLinkerPatchCall) {
1057 uint32_t target_offset = GetTargetOffset(patch);
1058 PatchCodeAddress(&patched_code_, patch.LiteralOffset(), target_offset);
1059 } else if (patch.Type() == kLinkerPatchMethod) {
1060 mirror::ArtMethod* method = GetTargetMethod(patch);
1061 PatchObjectAddress(&patched_code_, patch.LiteralOffset(), method);
1062 } else if (patch.Type() == kLinkerPatchType) {
1063 mirror::Class* type = GetTargetType(patch);
1064 PatchObjectAddress(&patched_code_, patch.LiteralOffset(), type);
1065 }
1066 }
1067 }
1068
1069 writer_->oat_header_->UpdateChecksum(&(*quick_code)[0], code_size);
Vladimir Marko96c6ab92014-04-08 14:00:50 +01001070 if (!out->WriteFully(&(*quick_code)[0], code_size)) {
1071 ReportWriteFailure("method code", it);
1072 return false;
1073 }
1074 writer_->size_code_ += code_size;
1075 offset_ += code_size;
1076 }
1077 DCHECK_OFFSET_();
1078 }
1079 ++method_offsets_index_;
1080 }
1081
1082 return true;
1083 }
1084
1085 private:
1086 OutputStream* const out_;
Vladimir Marko7c2ad5a2014-09-24 12:42:55 +01001087 const size_t file_offset_;
1088 const ScopedObjectAccess soa_;
1089 const ScopedAssertNoThreadSuspension no_thread_suspension_;
Vladimir Markof4da6752014-08-01 19:04:18 +01001090 ClassLinker* const class_linker_;
1091 mirror::DexCache* dex_cache_;
1092 std::vector<uint8_t> patched_code_;
Vladimir Marko96c6ab92014-04-08 14:00:50 +01001093
1094 void ReportWriteFailure(const char* what, const ClassDataItemIterator& it) {
1095 PLOG(ERROR) << "Failed to write " << what << " for "
1096 << PrettyMethod(it.GetMemberIndex(), *dex_file_) << " to " << out_->GetLocation();
1097 }
Vladimir Markof4da6752014-08-01 19:04:18 +01001098
1099 mirror::ArtMethod* GetTargetMethod(const LinkerPatch& patch)
1100 SHARED_LOCKS_REQUIRED(Locks::mutator_lock_) {
1101 MethodReference ref = patch.TargetMethod();
1102 mirror::DexCache* dex_cache =
1103 (dex_file_ == ref.dex_file) ? dex_cache_ : class_linker_->FindDexCache(*ref.dex_file);
1104 mirror::ArtMethod* method = dex_cache->GetResolvedMethod(ref.dex_method_index);
1105 CHECK(method != nullptr);
1106 return method;
1107 }
1108
1109 uint32_t GetTargetOffset(const LinkerPatch& patch) SHARED_LOCKS_REQUIRED(Locks::mutator_lock_) {
1110 auto target_it = writer_->method_offset_map_.find(patch.TargetMethod());
1111 uint32_t target_offset =
1112 (target_it != writer_->method_offset_map_.end()) ? target_it->second : 0u;
1113 // If there's no compiled code, point to the correct trampoline.
1114 if (UNLIKELY(target_offset == 0)) {
1115 mirror::ArtMethod* target = GetTargetMethod(patch);
1116 DCHECK(target != nullptr);
1117 DCHECK_EQ(target->GetQuickOatCodeOffset(), 0u);
1118 target_offset = target->IsNative()
1119 ? writer_->oat_header_->GetQuickGenericJniTrampolineOffset()
1120 : writer_->oat_header_->GetQuickToInterpreterBridgeOffset();
1121 }
1122 return target_offset;
1123 }
1124
1125 mirror::Class* GetTargetType(const LinkerPatch& patch)
1126 SHARED_LOCKS_REQUIRED(Locks::mutator_lock_) {
1127 mirror::DexCache* dex_cache = (dex_file_ == patch.TargetTypeDexFile())
1128 ? dex_cache_ : class_linker_->FindDexCache(*patch.TargetTypeDexFile());
1129 mirror::Class* type = dex_cache->GetResolvedType(patch.TargetTypeIndex());
1130 CHECK(type != nullptr);
1131 return type;
1132 }
1133
1134 void PatchObjectAddress(std::vector<uint8_t>* code, uint32_t offset, mirror::Object* object)
1135 SHARED_LOCKS_REQUIRED(Locks::mutator_lock_) {
1136 // NOTE: Direct method pointers across oat files don't use linker patches. However, direct
1137 // type pointers across oat files do. (TODO: Investigate why.)
1138 if (writer_->image_writer_ != nullptr) {
1139 object = writer_->image_writer_->GetImageAddress(object);
1140 }
1141 uint32_t address = PointerToLowMemUInt32(object);
1142 DCHECK_LE(offset + 4, code->size());
1143 uint8_t* data = &(*code)[offset];
1144 data[0] = address & 0xffu;
1145 data[1] = (address >> 8) & 0xffu;
1146 data[2] = (address >> 16) & 0xffu;
1147 data[3] = (address >> 24) & 0xffu;
1148 }
1149
1150 void PatchCodeAddress(std::vector<uint8_t>* code, uint32_t offset, uint32_t target_offset)
1151 SHARED_LOCKS_REQUIRED(Locks::mutator_lock_) {
1152 // NOTE: Direct calls across oat files don't use linker patches.
1153 DCHECK(writer_->image_writer_ != nullptr);
1154 uint32_t address = PointerToLowMemUInt32(writer_->image_writer_->GetOatFileBegin() +
1155 writer_->oat_data_offset_ + target_offset);
1156 DCHECK_LE(offset + 4, code->size());
1157 uint8_t* data = &(*code)[offset];
1158 data[0] = address & 0xffu;
1159 data[1] = (address >> 8) & 0xffu;
1160 data[2] = (address >> 16) & 0xffu;
1161 data[3] = (address >> 24) & 0xffu;
1162 }
Vladimir Marko96c6ab92014-04-08 14:00:50 +01001163};
1164
1165template <typename DataAccess>
1166class OatWriter::WriteMapMethodVisitor : public OatDexMethodVisitor {
1167 public:
1168 WriteMapMethodVisitor(OatWriter* writer, OutputStream* out, const size_t file_offset,
Mathieu Chartier957ca1c2014-11-21 16:51:29 -08001169 size_t relative_offset)
Vladimir Marko96c6ab92014-04-08 14:00:50 +01001170 : OatDexMethodVisitor(writer, relative_offset),
1171 out_(out),
1172 file_offset_(file_offset) {
1173 }
1174
1175 bool VisitMethod(size_t class_def_method_index, const ClassDataItemIterator& it) {
1176 OatClass* oat_class = writer_->oat_classes_[oat_class_index_];
1177 const CompiledMethod* compiled_method = oat_class->GetCompiledMethod(class_def_method_index);
1178
1179 if (compiled_method != NULL) { // ie. not an abstract method
1180 size_t file_offset = file_offset_;
1181 OutputStream* out = out_;
1182
1183 uint32_t map_offset = DataAccess::GetOffset(oat_class, method_offsets_index_);
1184 ++method_offsets_index_;
1185
1186 // Write deduplicated map.
1187 const std::vector<uint8_t>* map = DataAccess::GetData(compiled_method);
Nicolas Geoffray39468442014-09-02 15:17:15 +01001188 size_t map_size = map == nullptr ? 0 : map->size() * sizeof((*map)[0]);
Vladimir Marko96c6ab92014-04-08 14:00:50 +01001189 DCHECK((map_size == 0u && map_offset == 0u) ||
1190 (map_size != 0u && map_offset != 0u && map_offset <= offset_))
Mathieu Chartier957ca1c2014-11-21 16:51:29 -08001191 << map_size << " " << map_offset << " " << offset_ << " "
1192 << PrettyMethod(it.GetMemberIndex(), *dex_file_) << " for " << DataAccess::Name();
Vladimir Marko96c6ab92014-04-08 14:00:50 +01001193 if (map_size != 0u && map_offset == offset_) {
1194 if (UNLIKELY(!out->WriteFully(&(*map)[0], map_size))) {
1195 ReportWriteFailure(it);
1196 return false;
1197 }
1198 offset_ += map_size;
1199 }
1200 DCHECK_OFFSET_();
1201 }
1202
1203 return true;
1204 }
1205
1206 private:
1207 OutputStream* const out_;
1208 size_t const file_offset_;
1209
1210 void ReportWriteFailure(const ClassDataItemIterator& it) {
1211 PLOG(ERROR) << "Failed to write " << DataAccess::Name() << " for "
1212 << PrettyMethod(it.GetMemberIndex(), *dex_file_) << " to " << out_->GetLocation();
1213 }
1214};
1215
1216// Visit all methods from all classes in all dex files with the specified visitor.
1217bool OatWriter::VisitDexMethods(DexMethodVisitor* visitor) {
1218 for (const DexFile* dex_file : *dex_files_) {
1219 const size_t class_def_count = dex_file->NumClassDefs();
1220 for (size_t class_def_index = 0; class_def_index != class_def_count; ++class_def_index) {
1221 if (UNLIKELY(!visitor->StartClass(dex_file, class_def_index))) {
1222 return false;
1223 }
1224 const DexFile::ClassDef& class_def = dex_file->GetClassDef(class_def_index);
Ian Rogers13735952014-10-08 12:43:28 -07001225 const uint8_t* class_data = dex_file->GetClassData(class_def);
Vladimir Marko96c6ab92014-04-08 14:00:50 +01001226 if (class_data != NULL) { // ie not an empty class, such as a marker interface
1227 ClassDataItemIterator it(*dex_file, class_data);
1228 while (it.HasNextStaticField()) {
1229 it.Next();
1230 }
1231 while (it.HasNextInstanceField()) {
1232 it.Next();
1233 }
1234 size_t class_def_method_index = 0u;
1235 while (it.HasNextDirectMethod()) {
1236 if (!visitor->VisitMethod(class_def_method_index, it)) {
1237 return false;
1238 }
1239 ++class_def_method_index;
1240 it.Next();
1241 }
1242 while (it.HasNextVirtualMethod()) {
1243 if (UNLIKELY(!visitor->VisitMethod(class_def_method_index, it))) {
1244 return false;
1245 }
1246 ++class_def_method_index;
1247 it.Next();
1248 }
1249 }
1250 if (UNLIKELY(!visitor->EndClass())) {
1251 return false;
1252 }
1253 }
1254 }
1255 return true;
1256}
1257
Brian Carlstrom81f3ca12012-03-17 00:27:35 -07001258size_t OatWriter::InitOatHeader() {
Andreas Gampe22f8e5c2014-07-09 11:38:21 -07001259 oat_header_ = OatHeader::Create(compiler_driver_->GetInstructionSet(),
1260 compiler_driver_->GetInstructionSetFeatures(),
1261 dex_files_,
1262 image_file_location_oat_checksum_,
1263 image_file_location_oat_begin_,
1264 key_value_store_);
1265
1266 return oat_header_->GetHeaderSize();
Brian Carlstrome24fa612011-09-29 00:53:55 -07001267}
1268
1269size_t OatWriter::InitOatDexFiles(size_t offset) {
1270 // create the OatDexFiles
1271 for (size_t i = 0; i != dex_files_->size(); ++i) {
1272 const DexFile* dex_file = (*dex_files_)[i];
1273 CHECK(dex_file != NULL);
Brian Carlstrom265091e2013-01-30 14:08:26 -08001274 OatDexFile* oat_dex_file = new OatDexFile(offset, *dex_file);
Brian Carlstrome24fa612011-09-29 00:53:55 -07001275 oat_dex_files_.push_back(oat_dex_file);
1276 offset += oat_dex_file->SizeOf();
1277 }
1278 return offset;
1279}
1280
Brian Carlstrom89521892011-12-07 22:05:07 -08001281size_t OatWriter::InitDexFiles(size_t offset) {
1282 // calculate the offsets within OatDexFiles to the DexFiles
1283 for (size_t i = 0; i != dex_files_->size(); ++i) {
1284 // dex files are required to be 4 byte aligned
Jeff Hao0aba0ba2013-06-03 14:49:28 -07001285 size_t original_offset = offset;
Brian Carlstrom89521892011-12-07 22:05:07 -08001286 offset = RoundUp(offset, 4);
Jeff Hao0aba0ba2013-06-03 14:49:28 -07001287 size_dex_file_alignment_ += offset - original_offset;
Brian Carlstrom89521892011-12-07 22:05:07 -08001288
1289 // set offset in OatDexFile to DexFile
1290 oat_dex_files_[i]->dex_file_offset_ = offset;
1291
1292 const DexFile* dex_file = (*dex_files_)[i];
1293 offset += dex_file->GetHeader().file_size_;
1294 }
1295 return offset;
1296}
1297
Brian Carlstrom389efb02012-01-11 12:06:26 -08001298size_t OatWriter::InitOatClasses(size_t offset) {
Brian Carlstrom389efb02012-01-11 12:06:26 -08001299 // calculate the offsets within OatDexFiles to OatClasses
Vladimir Marko96c6ab92014-04-08 14:00:50 +01001300 InitOatClassesMethodVisitor visitor(this, offset);
1301 bool success = VisitDexMethods(&visitor);
1302 CHECK(success);
1303 offset = visitor.GetOffset();
Brian Carlstromba150c32013-08-27 17:31:03 -07001304
Vladimir Marko96c6ab92014-04-08 14:00:50 +01001305 // Update oat_dex_files_.
1306 auto oat_class_it = oat_classes_.begin();
1307 for (OatDexFile* oat_dex_file : oat_dex_files_) {
Andreas Gampe277ccbd2014-11-03 21:36:10 -08001308 for (uint32_t& method_offset : oat_dex_file->methods_offsets_) {
Vladimir Marko96c6ab92014-04-08 14:00:50 +01001309 DCHECK(oat_class_it != oat_classes_.end());
Andreas Gampe277ccbd2014-11-03 21:36:10 -08001310 method_offset = (*oat_class_it)->offset_;
Vladimir Marko96c6ab92014-04-08 14:00:50 +01001311 ++oat_class_it;
Brian Carlstrome24fa612011-09-29 00:53:55 -07001312 }
Vladimir Marko96c6ab92014-04-08 14:00:50 +01001313 oat_dex_file->UpdateChecksum(oat_header_);
Brian Carlstrome24fa612011-09-29 00:53:55 -07001314 }
Vladimir Marko96c6ab92014-04-08 14:00:50 +01001315 CHECK(oat_class_it == oat_classes_.end());
1316
1317 return offset;
1318}
1319
1320size_t OatWriter::InitOatMaps(size_t offset) {
1321 #define VISIT(VisitorType) \
1322 do { \
1323 VisitorType visitor(this, offset); \
1324 bool success = VisitDexMethods(&visitor); \
1325 DCHECK(success); \
1326 offset = visitor.GetOffset(); \
1327 } while (false)
1328
1329 VISIT(InitMapMethodVisitor<GcMapDataAccess>);
1330 VISIT(InitMapMethodVisitor<MappingTableDataAccess>);
1331 VISIT(InitMapMethodVisitor<VmapTableDataAccess>);
1332
1333 #undef VISIT
1334
Brian Carlstrome24fa612011-09-29 00:53:55 -07001335 return offset;
1336}
1337
1338size_t OatWriter::InitOatCode(size_t offset) {
1339 // calculate the offsets within OatHeader to executable code
1340 size_t old_offset = offset;
Dave Allison50abf0a2014-06-23 13:19:59 -07001341 size_t adjusted_offset = offset;
Brian Carlstrome24fa612011-09-29 00:53:55 -07001342 // required to be on a new page boundary
1343 offset = RoundUp(offset, kPageSize);
1344 oat_header_->SetExecutableOffset(offset);
Jeff Hao0aba0ba2013-06-03 14:49:28 -07001345 size_executable_offset_alignment_ = offset - old_offset;
1346 if (compiler_driver_->IsImage()) {
Alex Lighta59dd802014-07-02 16:28:08 -07001347 CHECK_EQ(image_patch_delta_, 0);
Jeff Hao0aba0ba2013-06-03 14:49:28 -07001348 InstructionSet instruction_set = compiler_driver_->GetInstructionSet();
Jeff Hao0aba0ba2013-06-03 14:49:28 -07001349
Ian Rogers848871b2013-08-05 10:56:33 -07001350 #define DO_TRAMPOLINE(field, fn_name) \
1351 offset = CompiledCode::AlignCode(offset, instruction_set); \
Dave Allison50abf0a2014-06-23 13:19:59 -07001352 adjusted_offset = offset + CompiledCode::CodeDelta(instruction_set); \
1353 oat_header_->Set ## fn_name ## Offset(adjusted_offset); \
Ian Rogers848871b2013-08-05 10:56:33 -07001354 field.reset(compiler_driver_->Create ## fn_name()); \
1355 offset += field->size();
Jeff Hao0aba0ba2013-06-03 14:49:28 -07001356
Ian Rogers848871b2013-08-05 10:56:33 -07001357 DO_TRAMPOLINE(interpreter_to_interpreter_bridge_, InterpreterToInterpreterBridge);
1358 DO_TRAMPOLINE(interpreter_to_compiled_code_bridge_, InterpreterToCompiledCodeBridge);
1359 DO_TRAMPOLINE(jni_dlsym_lookup_, JniDlsymLookup);
Jeff Hao88474b42013-10-23 16:24:40 -07001360 DO_TRAMPOLINE(portable_imt_conflict_trampoline_, PortableImtConflictTrampoline);
Ian Rogers848871b2013-08-05 10:56:33 -07001361 DO_TRAMPOLINE(portable_resolution_trampoline_, PortableResolutionTrampoline);
1362 DO_TRAMPOLINE(portable_to_interpreter_bridge_, PortableToInterpreterBridge);
Andreas Gampe2da88232014-02-27 12:26:20 -08001363 DO_TRAMPOLINE(quick_generic_jni_trampoline_, QuickGenericJniTrampoline);
Jeff Hao88474b42013-10-23 16:24:40 -07001364 DO_TRAMPOLINE(quick_imt_conflict_trampoline_, QuickImtConflictTrampoline);
Ian Rogers848871b2013-08-05 10:56:33 -07001365 DO_TRAMPOLINE(quick_resolution_trampoline_, QuickResolutionTrampoline);
1366 DO_TRAMPOLINE(quick_to_interpreter_bridge_, QuickToInterpreterBridge);
Jeff Hao0aba0ba2013-06-03 14:49:28 -07001367
Ian Rogers848871b2013-08-05 10:56:33 -07001368 #undef DO_TRAMPOLINE
Jeff Hao0aba0ba2013-06-03 14:49:28 -07001369 } else {
Ian Rogers848871b2013-08-05 10:56:33 -07001370 oat_header_->SetInterpreterToInterpreterBridgeOffset(0);
1371 oat_header_->SetInterpreterToCompiledCodeBridgeOffset(0);
1372 oat_header_->SetJniDlsymLookupOffset(0);
Jeff Hao88474b42013-10-23 16:24:40 -07001373 oat_header_->SetPortableImtConflictTrampolineOffset(0);
Jeff Hao0aba0ba2013-06-03 14:49:28 -07001374 oat_header_->SetPortableResolutionTrampolineOffset(0);
Ian Rogers848871b2013-08-05 10:56:33 -07001375 oat_header_->SetPortableToInterpreterBridgeOffset(0);
Andreas Gampe2da88232014-02-27 12:26:20 -08001376 oat_header_->SetQuickGenericJniTrampolineOffset(0);
Jeff Hao88474b42013-10-23 16:24:40 -07001377 oat_header_->SetQuickImtConflictTrampolineOffset(0);
Jeff Hao0aba0ba2013-06-03 14:49:28 -07001378 oat_header_->SetQuickResolutionTrampolineOffset(0);
Ian Rogers848871b2013-08-05 10:56:33 -07001379 oat_header_->SetQuickToInterpreterBridgeOffset(0);
Alex Lighta59dd802014-07-02 16:28:08 -07001380 oat_header_->SetImagePatchDelta(image_patch_delta_);
Jeff Hao0aba0ba2013-06-03 14:49:28 -07001381 }
Brian Carlstrome24fa612011-09-29 00:53:55 -07001382 return offset;
1383}
1384
1385size_t OatWriter::InitOatCodeDexFiles(size_t offset) {
Vladimir Marko96c6ab92014-04-08 14:00:50 +01001386 #define VISIT(VisitorType) \
1387 do { \
1388 VisitorType visitor(this, offset); \
1389 bool success = VisitDexMethods(&visitor); \
1390 DCHECK(success); \
1391 offset = visitor.GetOffset(); \
1392 } while (false)
Brian Carlstrome24fa612011-09-29 00:53:55 -07001393
Vladimir Marko96c6ab92014-04-08 14:00:50 +01001394 VISIT(InitCodeMethodVisitor);
Ian Rogers1212a022013-03-04 10:48:41 -08001395 if (compiler_driver_->IsImage()) {
Vladimir Marko96c6ab92014-04-08 14:00:50 +01001396 VISIT(InitImageMethodVisitor);
Ian Rogers0571d352011-11-03 19:51:38 -07001397 }
Logan Chien8b977d32012-02-21 19:14:55 +08001398
Vladimir Marko96c6ab92014-04-08 14:00:50 +01001399 #undef VISIT
1400
Brian Carlstrome24fa612011-09-29 00:53:55 -07001401 return offset;
1402}
1403
Ian Rogers3d504072014-03-01 09:16:49 -08001404bool OatWriter::Write(OutputStream* out) {
Vladimir Markof4da6752014-08-01 19:04:18 +01001405 const off_t raw_file_offset = out->Seek(0, kSeekCurrent);
1406 if (raw_file_offset == (off_t) -1) {
1407 LOG(ERROR) << "Failed to get file offset in " << out->GetLocation();
1408 return false;
1409 }
1410 const size_t file_offset = static_cast<size_t>(raw_file_offset);
Brian Carlstromc50d8e12013-07-23 22:35:16 -07001411
Vladimir Markof4da6752014-08-01 19:04:18 +01001412 // Reserve space for header. It will be written last - after updating the checksum.
Andreas Gampe22f8e5c2014-07-09 11:38:21 -07001413 size_t header_size = oat_header_->GetHeaderSize();
Vladimir Markof4da6752014-08-01 19:04:18 +01001414 if (out->Seek(header_size, kSeekCurrent) == (off_t) -1) {
1415 PLOG(ERROR) << "Failed to reserve space for oat header in " << out->GetLocation();
Brian Carlstrome24fa612011-09-29 00:53:55 -07001416 return false;
1417 }
Andreas Gampe22f8e5c2014-07-09 11:38:21 -07001418 size_oat_header_ += sizeof(OatHeader);
1419 size_oat_header_key_value_store_ += oat_header_->GetHeaderSize() - sizeof(OatHeader);
Brian Carlstrom81f3ca12012-03-17 00:27:35 -07001420
Brian Carlstromc50d8e12013-07-23 22:35:16 -07001421 if (!WriteTables(out, file_offset)) {
Ian Rogers3d504072014-03-01 09:16:49 -08001422 LOG(ERROR) << "Failed to write oat tables to " << out->GetLocation();
Brian Carlstrome24fa612011-09-29 00:53:55 -07001423 return false;
1424 }
1425
Vladimir Markof4da6752014-08-01 19:04:18 +01001426 off_t tables_end_offset = out->Seek(0, kSeekCurrent);
1427 if (tables_end_offset == (off_t) -1) {
1428 LOG(ERROR) << "Failed to seek to oat code position in " << out->GetLocation();
1429 return false;
1430 }
1431 size_t relative_offset = static_cast<size_t>(tables_end_offset) - file_offset;
Vladimir Marko96c6ab92014-04-08 14:00:50 +01001432 relative_offset = WriteMaps(out, file_offset, relative_offset);
1433 if (relative_offset == 0) {
1434 LOG(ERROR) << "Failed to write oat code to " << out->GetLocation();
1435 return false;
1436 }
1437
1438 relative_offset = WriteCode(out, file_offset, relative_offset);
Brian Carlstromc50d8e12013-07-23 22:35:16 -07001439 if (relative_offset == 0) {
Ian Rogers3d504072014-03-01 09:16:49 -08001440 LOG(ERROR) << "Failed to write oat code to " << out->GetLocation();
Brian Carlstrome24fa612011-09-29 00:53:55 -07001441 return false;
1442 }
1443
Brian Carlstromc50d8e12013-07-23 22:35:16 -07001444 relative_offset = WriteCodeDexFiles(out, file_offset, relative_offset);
1445 if (relative_offset == 0) {
Ian Rogers3d504072014-03-01 09:16:49 -08001446 LOG(ERROR) << "Failed to write oat code for dex files to " << out->GetLocation();
Brian Carlstrome24fa612011-09-29 00:53:55 -07001447 return false;
1448 }
1449
Vladimir Markof4da6752014-08-01 19:04:18 +01001450 const off_t oat_end_file_offset = out->Seek(0, kSeekCurrent);
1451 if (oat_end_file_offset == (off_t) -1) {
1452 LOG(ERROR) << "Failed to get oat end file offset in " << out->GetLocation();
1453 return false;
1454 }
1455
Ian Rogers4bdbbc82013-06-10 16:02:31 -07001456 if (kIsDebugBuild) {
1457 uint32_t size_total = 0;
1458 #define DO_STAT(x) \
Anwar Ghuloum75a43f12013-08-13 17:22:14 -07001459 VLOG(compiler) << #x "=" << PrettySize(x) << " (" << x << "B)"; \
Ian Rogers4bdbbc82013-06-10 16:02:31 -07001460 size_total += x;
Jeff Hao0aba0ba2013-06-03 14:49:28 -07001461
Ian Rogers4bdbbc82013-06-10 16:02:31 -07001462 DO_STAT(size_dex_file_alignment_);
1463 DO_STAT(size_executable_offset_alignment_);
1464 DO_STAT(size_oat_header_);
Andreas Gampe22f8e5c2014-07-09 11:38:21 -07001465 DO_STAT(size_oat_header_key_value_store_);
Ian Rogers4bdbbc82013-06-10 16:02:31 -07001466 DO_STAT(size_dex_file_);
Ian Rogers848871b2013-08-05 10:56:33 -07001467 DO_STAT(size_interpreter_to_interpreter_bridge_);
1468 DO_STAT(size_interpreter_to_compiled_code_bridge_);
1469 DO_STAT(size_jni_dlsym_lookup_);
Jeff Hao88474b42013-10-23 16:24:40 -07001470 DO_STAT(size_portable_imt_conflict_trampoline_);
Ian Rogers4bdbbc82013-06-10 16:02:31 -07001471 DO_STAT(size_portable_resolution_trampoline_);
Ian Rogers848871b2013-08-05 10:56:33 -07001472 DO_STAT(size_portable_to_interpreter_bridge_);
Andreas Gampe2da88232014-02-27 12:26:20 -08001473 DO_STAT(size_quick_generic_jni_trampoline_);
Jeff Hao88474b42013-10-23 16:24:40 -07001474 DO_STAT(size_quick_imt_conflict_trampoline_);
Ian Rogers4bdbbc82013-06-10 16:02:31 -07001475 DO_STAT(size_quick_resolution_trampoline_);
Ian Rogers848871b2013-08-05 10:56:33 -07001476 DO_STAT(size_quick_to_interpreter_bridge_);
1477 DO_STAT(size_trampoline_alignment_);
Vladimir Marko96c6ab92014-04-08 14:00:50 +01001478 DO_STAT(size_method_header_);
Ian Rogers4bdbbc82013-06-10 16:02:31 -07001479 DO_STAT(size_code_);
1480 DO_STAT(size_code_alignment_);
Vladimir Markof4da6752014-08-01 19:04:18 +01001481 DO_STAT(size_relative_call_thunks_);
Ian Rogers4bdbbc82013-06-10 16:02:31 -07001482 DO_STAT(size_mapping_table_);
1483 DO_STAT(size_vmap_table_);
1484 DO_STAT(size_gc_map_);
1485 DO_STAT(size_oat_dex_file_location_size_);
1486 DO_STAT(size_oat_dex_file_location_data_);
1487 DO_STAT(size_oat_dex_file_location_checksum_);
1488 DO_STAT(size_oat_dex_file_offset_);
1489 DO_STAT(size_oat_dex_file_methods_offsets_);
Brian Carlstromba150c32013-08-27 17:31:03 -07001490 DO_STAT(size_oat_class_type_);
Ian Rogers4bdbbc82013-06-10 16:02:31 -07001491 DO_STAT(size_oat_class_status_);
Brian Carlstromba150c32013-08-27 17:31:03 -07001492 DO_STAT(size_oat_class_method_bitmaps_);
Ian Rogers4bdbbc82013-06-10 16:02:31 -07001493 DO_STAT(size_oat_class_method_offsets_);
1494 #undef DO_STAT
Jeff Hao0aba0ba2013-06-03 14:49:28 -07001495
Anwar Ghuloum75a43f12013-08-13 17:22:14 -07001496 VLOG(compiler) << "size_total=" << PrettySize(size_total) << " (" << size_total << "B)"; \
Vladimir Markof4da6752014-08-01 19:04:18 +01001497 CHECK_EQ(file_offset + size_total, static_cast<size_t>(oat_end_file_offset));
Brian Carlstromc50d8e12013-07-23 22:35:16 -07001498 CHECK_EQ(size_, size_total);
Ian Rogers4bdbbc82013-06-10 16:02:31 -07001499 }
Jeff Hao0aba0ba2013-06-03 14:49:28 -07001500
Vladimir Markof4da6752014-08-01 19:04:18 +01001501 CHECK_EQ(file_offset + size_, static_cast<size_t>(oat_end_file_offset));
Brian Carlstromc50d8e12013-07-23 22:35:16 -07001502 CHECK_EQ(size_, relative_offset);
1503
Vladimir Markof4da6752014-08-01 19:04:18 +01001504 // Write the header now that the checksum is final.
1505 if (out->Seek(file_offset, kSeekSet) == (off_t) -1) {
1506 PLOG(ERROR) << "Failed to seek to oat header position in " << out->GetLocation();
1507 return false;
1508 }
1509 DCHECK_EQ(raw_file_offset, out->Seek(0, kSeekCurrent));
1510 if (!out->WriteFully(oat_header_, header_size)) {
1511 PLOG(ERROR) << "Failed to write oat header to " << out->GetLocation();
1512 return false;
1513 }
1514 if (out->Seek(oat_end_file_offset, kSeekSet) == (off_t) -1) {
1515 PLOG(ERROR) << "Failed to seek to end after writing oat header to " << out->GetLocation();
1516 return false;
1517 }
1518 DCHECK_EQ(oat_end_file_offset, out->Seek(0, kSeekCurrent));
1519
Brian Carlstrome24fa612011-09-29 00:53:55 -07001520 return true;
1521}
1522
Ian Rogers3d504072014-03-01 09:16:49 -08001523bool OatWriter::WriteTables(OutputStream* out, const size_t file_offset) {
Brian Carlstrome24fa612011-09-29 00:53:55 -07001524 for (size_t i = 0; i != oat_dex_files_.size(); ++i) {
Brian Carlstromc50d8e12013-07-23 22:35:16 -07001525 if (!oat_dex_files_[i]->Write(this, out, file_offset)) {
Ian Rogers3d504072014-03-01 09:16:49 -08001526 PLOG(ERROR) << "Failed to write oat dex information to " << out->GetLocation();
Brian Carlstrome24fa612011-09-29 00:53:55 -07001527 return false;
1528 }
1529 }
Brian Carlstrom89521892011-12-07 22:05:07 -08001530 for (size_t i = 0; i != oat_dex_files_.size(); ++i) {
Brian Carlstromc50d8e12013-07-23 22:35:16 -07001531 uint32_t expected_offset = file_offset + oat_dex_files_[i]->dex_file_offset_;
Ian Rogers3d504072014-03-01 09:16:49 -08001532 off_t actual_offset = out->Seek(expected_offset, kSeekSet);
Brian Carlstrom89521892011-12-07 22:05:07 -08001533 if (static_cast<uint32_t>(actual_offset) != expected_offset) {
1534 const DexFile* dex_file = (*dex_files_)[i];
1535 PLOG(ERROR) << "Failed to seek to dex file section. Actual: " << actual_offset
1536 << " Expected: " << expected_offset << " File: " << dex_file->GetLocation();
1537 return false;
1538 }
1539 const DexFile* dex_file = (*dex_files_)[i];
Ian Rogers3d504072014-03-01 09:16:49 -08001540 if (!out->WriteFully(&dex_file->GetHeader(), dex_file->GetHeader().file_size_)) {
Brian Carlstromc50d8e12013-07-23 22:35:16 -07001541 PLOG(ERROR) << "Failed to write dex file " << dex_file->GetLocation()
Ian Rogers3d504072014-03-01 09:16:49 -08001542 << " to " << out->GetLocation();
Brian Carlstrom89521892011-12-07 22:05:07 -08001543 return false;
1544 }
Jeff Hao0aba0ba2013-06-03 14:49:28 -07001545 size_dex_file_ += dex_file->GetHeader().file_size_;
Brian Carlstrom89521892011-12-07 22:05:07 -08001546 }
Brian Carlstrom389efb02012-01-11 12:06:26 -08001547 for (size_t i = 0; i != oat_classes_.size(); ++i) {
Brian Carlstromc50d8e12013-07-23 22:35:16 -07001548 if (!oat_classes_[i]->Write(this, out, file_offset)) {
Ian Rogers3d504072014-03-01 09:16:49 -08001549 PLOG(ERROR) << "Failed to write oat methods information to " << out->GetLocation();
Brian Carlstrome24fa612011-09-29 00:53:55 -07001550 return false;
1551 }
1552 }
1553 return true;
1554}
1555
Vladimir Marko96c6ab92014-04-08 14:00:50 +01001556size_t OatWriter::WriteMaps(OutputStream* out, const size_t file_offset, size_t relative_offset) {
1557 #define VISIT(VisitorType) \
1558 do { \
1559 VisitorType visitor(this, out, file_offset, relative_offset); \
1560 if (UNLIKELY(!VisitDexMethods(&visitor))) { \
1561 return 0; \
1562 } \
1563 relative_offset = visitor.GetOffset(); \
1564 } while (false)
1565
1566 size_t gc_maps_offset = relative_offset;
1567 VISIT(WriteMapMethodVisitor<GcMapDataAccess>);
1568 size_gc_map_ = relative_offset - gc_maps_offset;
1569
1570 size_t mapping_tables_offset = relative_offset;
1571 VISIT(WriteMapMethodVisitor<MappingTableDataAccess>);
1572 size_mapping_table_ = relative_offset - mapping_tables_offset;
1573
1574 size_t vmap_tables_offset = relative_offset;
1575 VISIT(WriteMapMethodVisitor<VmapTableDataAccess>);
1576 size_vmap_table_ = relative_offset - vmap_tables_offset;
1577
1578 #undef VISIT
1579
1580 return relative_offset;
1581}
1582
1583size_t OatWriter::WriteCode(OutputStream* out, const size_t file_offset, size_t relative_offset) {
Ian Rogers3d504072014-03-01 09:16:49 -08001584 off_t new_offset = out->Seek(size_executable_offset_alignment_, kSeekCurrent);
Vladimir Marko96c6ab92014-04-08 14:00:50 +01001585 relative_offset += size_executable_offset_alignment_;
1586 DCHECK_EQ(relative_offset, oat_header_->GetExecutableOffset());
Brian Carlstromc50d8e12013-07-23 22:35:16 -07001587 size_t expected_file_offset = file_offset + relative_offset;
1588 if (static_cast<uint32_t>(new_offset) != expected_file_offset) {
Brian Carlstrom3320cf42011-10-04 14:58:28 -07001589 PLOG(ERROR) << "Failed to seek to oat code section. Actual: " << new_offset
Ian Rogers3d504072014-03-01 09:16:49 -08001590 << " Expected: " << expected_file_offset << " File: " << out->GetLocation();
Brian Carlstrome24fa612011-09-29 00:53:55 -07001591 return 0;
1592 }
Brian Carlstrom265091e2013-01-30 14:08:26 -08001593 DCHECK_OFFSET();
Jeff Hao0aba0ba2013-06-03 14:49:28 -07001594 if (compiler_driver_->IsImage()) {
1595 InstructionSet instruction_set = compiler_driver_->GetInstructionSet();
Jeff Hao0aba0ba2013-06-03 14:49:28 -07001596
Ian Rogers848871b2013-08-05 10:56:33 -07001597 #define DO_TRAMPOLINE(field) \
1598 do { \
1599 uint32_t aligned_offset = CompiledCode::AlignCode(relative_offset, instruction_set); \
1600 uint32_t alignment_padding = aligned_offset - relative_offset; \
Ian Rogers3d504072014-03-01 09:16:49 -08001601 out->Seek(alignment_padding, kSeekCurrent); \
Ian Rogers848871b2013-08-05 10:56:33 -07001602 size_trampoline_alignment_ += alignment_padding; \
Ian Rogers3d504072014-03-01 09:16:49 -08001603 if (!out->WriteFully(&(*field)[0], field->size())) { \
1604 PLOG(ERROR) << "Failed to write " # field " to " << out->GetLocation(); \
Ian Rogers848871b2013-08-05 10:56:33 -07001605 return false; \
1606 } \
1607 size_ ## field += field->size(); \
1608 relative_offset += alignment_padding + field->size(); \
1609 DCHECK_OFFSET(); \
1610 } while (false)
Jeff Hao0aba0ba2013-06-03 14:49:28 -07001611
Ian Rogers848871b2013-08-05 10:56:33 -07001612 DO_TRAMPOLINE(interpreter_to_interpreter_bridge_);
1613 DO_TRAMPOLINE(interpreter_to_compiled_code_bridge_);
1614 DO_TRAMPOLINE(jni_dlsym_lookup_);
Jeff Hao88474b42013-10-23 16:24:40 -07001615 DO_TRAMPOLINE(portable_imt_conflict_trampoline_);
Ian Rogers848871b2013-08-05 10:56:33 -07001616 DO_TRAMPOLINE(portable_resolution_trampoline_);
1617 DO_TRAMPOLINE(portable_to_interpreter_bridge_);
Andreas Gampe2da88232014-02-27 12:26:20 -08001618 DO_TRAMPOLINE(quick_generic_jni_trampoline_);
Jeff Hao88474b42013-10-23 16:24:40 -07001619 DO_TRAMPOLINE(quick_imt_conflict_trampoline_);
Ian Rogers848871b2013-08-05 10:56:33 -07001620 DO_TRAMPOLINE(quick_resolution_trampoline_);
1621 DO_TRAMPOLINE(quick_to_interpreter_bridge_);
1622 #undef DO_TRAMPOLINE
Jeff Hao0aba0ba2013-06-03 14:49:28 -07001623 }
Brian Carlstromc50d8e12013-07-23 22:35:16 -07001624 return relative_offset;
Brian Carlstrome24fa612011-09-29 00:53:55 -07001625}
1626
Ian Rogers3d504072014-03-01 09:16:49 -08001627size_t OatWriter::WriteCodeDexFiles(OutputStream* out,
Brian Carlstromc50d8e12013-07-23 22:35:16 -07001628 const size_t file_offset,
1629 size_t relative_offset) {
Vladimir Marko96c6ab92014-04-08 14:00:50 +01001630 #define VISIT(VisitorType) \
1631 do { \
1632 VisitorType visitor(this, out, file_offset, relative_offset); \
1633 if (UNLIKELY(!VisitDexMethods(&visitor))) { \
1634 return 0; \
1635 } \
1636 relative_offset = visitor.GetOffset(); \
1637 } while (false)
Brian Carlstrome24fa612011-09-29 00:53:55 -07001638
Vladimir Marko96c6ab92014-04-08 14:00:50 +01001639 VISIT(WriteCodeMethodVisitor);
Brian Carlstrome24fa612011-09-29 00:53:55 -07001640
Vladimir Marko96c6ab92014-04-08 14:00:50 +01001641 #undef VISIT
Brian Carlstrom265091e2013-01-30 14:08:26 -08001642
Brian Carlstromc50d8e12013-07-23 22:35:16 -07001643 return relative_offset;
Brian Carlstrome24fa612011-09-29 00:53:55 -07001644}
1645
Vladimir Markof4da6752014-08-01 19:04:18 +01001646bool OatWriter::WriteCodeAlignment(OutputStream* out, uint32_t aligned_code_delta) {
1647 static const uint8_t kPadding[] = {
1648 0u, 0u, 0u, 0u, 0u, 0u, 0u, 0u, 0u, 0u, 0u, 0u, 0u, 0u, 0u, 0u
1649 };
1650 DCHECK_LE(aligned_code_delta, sizeof(kPadding));
1651 if (UNLIKELY(!out->WriteFully(kPadding, aligned_code_delta))) {
1652 return false;
1653 }
1654 size_code_alignment_ += aligned_code_delta;
1655 return true;
1656}
1657
Brian Carlstrom265091e2013-01-30 14:08:26 -08001658OatWriter::OatDexFile::OatDexFile(size_t offset, const DexFile& dex_file) {
1659 offset_ = offset;
Elliott Hughes95572412011-12-13 18:14:20 -08001660 const std::string& location(dex_file.GetLocation());
Brian Carlstrome24fa612011-09-29 00:53:55 -07001661 dex_file_location_size_ = location.size();
1662 dex_file_location_data_ = reinterpret_cast<const uint8_t*>(location.data());
Brian Carlstrom5b332c82012-02-01 15:02:31 -08001663 dex_file_location_checksum_ = dex_file.GetLocationChecksum();
Brian Carlstrom89521892011-12-07 22:05:07 -08001664 dex_file_offset_ = 0;
Brian Carlstrom6e3b1d92012-01-11 01:36:32 -08001665 methods_offsets_.resize(dex_file.NumClassDefs());
Brian Carlstrome24fa612011-09-29 00:53:55 -07001666}
1667
1668size_t OatWriter::OatDexFile::SizeOf() const {
1669 return sizeof(dex_file_location_size_)
1670 + dex_file_location_size_
Brian Carlstrom5b332c82012-02-01 15:02:31 -08001671 + sizeof(dex_file_location_checksum_)
Brian Carlstrom89521892011-12-07 22:05:07 -08001672 + sizeof(dex_file_offset_)
Brian Carlstrom6e3b1d92012-01-11 01:36:32 -08001673 + (sizeof(methods_offsets_[0]) * methods_offsets_.size());
Brian Carlstrome24fa612011-09-29 00:53:55 -07001674}
1675
Ian Rogers3d504072014-03-01 09:16:49 -08001676void OatWriter::OatDexFile::UpdateChecksum(OatHeader* oat_header) const {
1677 oat_header->UpdateChecksum(&dex_file_location_size_, sizeof(dex_file_location_size_));
1678 oat_header->UpdateChecksum(dex_file_location_data_, dex_file_location_size_);
1679 oat_header->UpdateChecksum(&dex_file_location_checksum_, sizeof(dex_file_location_checksum_));
1680 oat_header->UpdateChecksum(&dex_file_offset_, sizeof(dex_file_offset_));
1681 oat_header->UpdateChecksum(&methods_offsets_[0],
Brian Carlstrom6e3b1d92012-01-11 01:36:32 -08001682 sizeof(methods_offsets_[0]) * methods_offsets_.size());
Brian Carlstrome24fa612011-09-29 00:53:55 -07001683}
1684
Brian Carlstromc50d8e12013-07-23 22:35:16 -07001685bool OatWriter::OatDexFile::Write(OatWriter* oat_writer,
Ian Rogers3d504072014-03-01 09:16:49 -08001686 OutputStream* out,
Brian Carlstromc50d8e12013-07-23 22:35:16 -07001687 const size_t file_offset) const {
Brian Carlstrom265091e2013-01-30 14:08:26 -08001688 DCHECK_OFFSET_();
Ian Rogers3d504072014-03-01 09:16:49 -08001689 if (!out->WriteFully(&dex_file_location_size_, sizeof(dex_file_location_size_))) {
1690 PLOG(ERROR) << "Failed to write dex file location length to " << out->GetLocation();
Brian Carlstrome24fa612011-09-29 00:53:55 -07001691 return false;
1692 }
Jeff Hao0aba0ba2013-06-03 14:49:28 -07001693 oat_writer->size_oat_dex_file_location_size_ += sizeof(dex_file_location_size_);
Ian Rogers3d504072014-03-01 09:16:49 -08001694 if (!out->WriteFully(dex_file_location_data_, dex_file_location_size_)) {
1695 PLOG(ERROR) << "Failed to write dex file location data to " << out->GetLocation();
Brian Carlstrome24fa612011-09-29 00:53:55 -07001696 return false;
1697 }
Jeff Hao0aba0ba2013-06-03 14:49:28 -07001698 oat_writer->size_oat_dex_file_location_data_ += dex_file_location_size_;
Ian Rogers3d504072014-03-01 09:16:49 -08001699 if (!out->WriteFully(&dex_file_location_checksum_, sizeof(dex_file_location_checksum_))) {
1700 PLOG(ERROR) << "Failed to write dex file location checksum to " << out->GetLocation();
Brian Carlstrome24fa612011-09-29 00:53:55 -07001701 return false;
1702 }
Jeff Hao0aba0ba2013-06-03 14:49:28 -07001703 oat_writer->size_oat_dex_file_location_checksum_ += sizeof(dex_file_location_checksum_);
Ian Rogers3d504072014-03-01 09:16:49 -08001704 if (!out->WriteFully(&dex_file_offset_, sizeof(dex_file_offset_))) {
1705 PLOG(ERROR) << "Failed to write dex file offset to " << out->GetLocation();
Brian Carlstrom89521892011-12-07 22:05:07 -08001706 return false;
1707 }
Jeff Hao0aba0ba2013-06-03 14:49:28 -07001708 oat_writer->size_oat_dex_file_offset_ += sizeof(dex_file_offset_);
Ian Rogers3d504072014-03-01 09:16:49 -08001709 if (!out->WriteFully(&methods_offsets_[0],
Brian Carlstromcd60ac72013-01-20 17:09:51 -08001710 sizeof(methods_offsets_[0]) * methods_offsets_.size())) {
Ian Rogers3d504072014-03-01 09:16:49 -08001711 PLOG(ERROR) << "Failed to write methods offsets to " << out->GetLocation();
Brian Carlstrome24fa612011-09-29 00:53:55 -07001712 return false;
1713 }
Jeff Hao0aba0ba2013-06-03 14:49:28 -07001714 oat_writer->size_oat_dex_file_methods_offsets_ +=
1715 sizeof(methods_offsets_[0]) * methods_offsets_.size();
Brian Carlstrome24fa612011-09-29 00:53:55 -07001716 return true;
1717}
1718
Brian Carlstromba150c32013-08-27 17:31:03 -07001719OatWriter::OatClass::OatClass(size_t offset,
Vladimir Marko96c6ab92014-04-08 14:00:50 +01001720 const std::vector<CompiledMethod*>& compiled_methods,
Brian Carlstromba150c32013-08-27 17:31:03 -07001721 uint32_t num_non_null_compiled_methods,
Vladimir Marko96c6ab92014-04-08 14:00:50 +01001722 mirror::Class::Status status)
1723 : compiled_methods_(compiled_methods) {
1724 uint32_t num_methods = compiled_methods.size();
Brian Carlstromba150c32013-08-27 17:31:03 -07001725 CHECK_LE(num_non_null_compiled_methods, num_methods);
1726
Brian Carlstrom265091e2013-01-30 14:08:26 -08001727 offset_ = offset;
Brian Carlstromba150c32013-08-27 17:31:03 -07001728 oat_method_offsets_offsets_from_oat_class_.resize(num_methods);
1729
1730 // Since both kOatClassNoneCompiled and kOatClassAllCompiled could
1731 // apply when there are 0 methods, we just arbitrarily say that 0
1732 // methods means kOatClassNoneCompiled and that we won't use
1733 // kOatClassAllCompiled unless there is at least one compiled
1734 // method. This means in an interpretter only system, we can assert
1735 // that all classes are kOatClassNoneCompiled.
1736 if (num_non_null_compiled_methods == 0) {
1737 type_ = kOatClassNoneCompiled;
1738 } else if (num_non_null_compiled_methods == num_methods) {
1739 type_ = kOatClassAllCompiled;
1740 } else {
1741 type_ = kOatClassSomeCompiled;
1742 }
1743
Brian Carlstrom0755ec52012-01-11 15:19:46 -08001744 status_ = status;
Brian Carlstromba150c32013-08-27 17:31:03 -07001745 method_offsets_.resize(num_non_null_compiled_methods);
Vladimir Marko8a630572014-04-09 18:45:35 +01001746 method_headers_.resize(num_non_null_compiled_methods);
Brian Carlstromba150c32013-08-27 17:31:03 -07001747
1748 uint32_t oat_method_offsets_offset_from_oat_class = sizeof(type_) + sizeof(status_);
1749 if (type_ == kOatClassSomeCompiled) {
1750 method_bitmap_ = new BitVector(num_methods, false, Allocator::GetMallocAllocator());
1751 method_bitmap_size_ = method_bitmap_->GetSizeOf();
1752 oat_method_offsets_offset_from_oat_class += sizeof(method_bitmap_size_);
1753 oat_method_offsets_offset_from_oat_class += method_bitmap_size_;
1754 } else {
1755 method_bitmap_ = NULL;
1756 method_bitmap_size_ = 0;
1757 }
1758
1759 for (size_t i = 0; i < num_methods; i++) {
Vladimir Marko96c6ab92014-04-08 14:00:50 +01001760 CompiledMethod* compiled_method = compiled_methods_[i];
Brian Carlstromba150c32013-08-27 17:31:03 -07001761 if (compiled_method == NULL) {
1762 oat_method_offsets_offsets_from_oat_class_[i] = 0;
1763 } else {
1764 oat_method_offsets_offsets_from_oat_class_[i] = oat_method_offsets_offset_from_oat_class;
1765 oat_method_offsets_offset_from_oat_class += sizeof(OatMethodOffsets);
1766 if (type_ == kOatClassSomeCompiled) {
1767 method_bitmap_->SetBit(i);
1768 }
1769 }
1770 }
Brian Carlstrome24fa612011-09-29 00:53:55 -07001771}
1772
Brian Carlstromba150c32013-08-27 17:31:03 -07001773OatWriter::OatClass::~OatClass() {
Mathieu Chartier661974a2014-01-09 11:23:53 -08001774 delete method_bitmap_;
Brian Carlstromba150c32013-08-27 17:31:03 -07001775}
1776
Brian Carlstrom265091e2013-01-30 14:08:26 -08001777size_t OatWriter::OatClass::GetOatMethodOffsetsOffsetFromOatHeader(
1778 size_t class_def_method_index_) const {
Brian Carlstromba150c32013-08-27 17:31:03 -07001779 uint32_t method_offset = GetOatMethodOffsetsOffsetFromOatClass(class_def_method_index_);
1780 if (method_offset == 0) {
1781 return 0;
1782 }
1783 return offset_ + method_offset;
Brian Carlstrom265091e2013-01-30 14:08:26 -08001784}
1785
1786size_t OatWriter::OatClass::GetOatMethodOffsetsOffsetFromOatClass(
1787 size_t class_def_method_index_) const {
Brian Carlstromba150c32013-08-27 17:31:03 -07001788 return oat_method_offsets_offsets_from_oat_class_[class_def_method_index_];
Brian Carlstrom265091e2013-01-30 14:08:26 -08001789}
1790
1791size_t OatWriter::OatClass::SizeOf() const {
Brian Carlstromba150c32013-08-27 17:31:03 -07001792 return sizeof(status_)
1793 + sizeof(type_)
1794 + ((method_bitmap_size_ == 0) ? 0 : sizeof(method_bitmap_size_))
1795 + method_bitmap_size_
1796 + (sizeof(method_offsets_[0]) * method_offsets_.size());
Brian Carlstrome24fa612011-09-29 00:53:55 -07001797}
1798
Ian Rogers3d504072014-03-01 09:16:49 -08001799void OatWriter::OatClass::UpdateChecksum(OatHeader* oat_header) const {
1800 oat_header->UpdateChecksum(&status_, sizeof(status_));
1801 oat_header->UpdateChecksum(&type_, sizeof(type_));
Brian Carlstromba150c32013-08-27 17:31:03 -07001802 if (method_bitmap_size_ != 0) {
1803 CHECK_EQ(kOatClassSomeCompiled, type_);
Ian Rogers3d504072014-03-01 09:16:49 -08001804 oat_header->UpdateChecksum(&method_bitmap_size_, sizeof(method_bitmap_size_));
1805 oat_header->UpdateChecksum(method_bitmap_->GetRawStorage(), method_bitmap_size_);
Brian Carlstromba150c32013-08-27 17:31:03 -07001806 }
Ian Rogers3d504072014-03-01 09:16:49 -08001807 oat_header->UpdateChecksum(&method_offsets_[0],
1808 sizeof(method_offsets_[0]) * method_offsets_.size());
Brian Carlstrome24fa612011-09-29 00:53:55 -07001809}
1810
Brian Carlstromc50d8e12013-07-23 22:35:16 -07001811bool OatWriter::OatClass::Write(OatWriter* oat_writer,
Ian Rogers3d504072014-03-01 09:16:49 -08001812 OutputStream* out,
Brian Carlstromc50d8e12013-07-23 22:35:16 -07001813 const size_t file_offset) const {
Brian Carlstrom265091e2013-01-30 14:08:26 -08001814 DCHECK_OFFSET_();
Ian Rogers3d504072014-03-01 09:16:49 -08001815 if (!out->WriteFully(&status_, sizeof(status_))) {
1816 PLOG(ERROR) << "Failed to write class status to " << out->GetLocation();
Brian Carlstrom0755ec52012-01-11 15:19:46 -08001817 return false;
1818 }
Jeff Hao0aba0ba2013-06-03 14:49:28 -07001819 oat_writer->size_oat_class_status_ += sizeof(status_);
Ian Rogers3d504072014-03-01 09:16:49 -08001820 if (!out->WriteFully(&type_, sizeof(type_))) {
1821 PLOG(ERROR) << "Failed to write oat class type to " << out->GetLocation();
Brian Carlstromba150c32013-08-27 17:31:03 -07001822 return false;
1823 }
1824 oat_writer->size_oat_class_type_ += sizeof(type_);
1825 if (method_bitmap_size_ != 0) {
1826 CHECK_EQ(kOatClassSomeCompiled, type_);
Ian Rogers3d504072014-03-01 09:16:49 -08001827 if (!out->WriteFully(&method_bitmap_size_, sizeof(method_bitmap_size_))) {
1828 PLOG(ERROR) << "Failed to write method bitmap size to " << out->GetLocation();
Brian Carlstromba150c32013-08-27 17:31:03 -07001829 return false;
1830 }
1831 oat_writer->size_oat_class_method_bitmaps_ += sizeof(method_bitmap_size_);
Ian Rogers3d504072014-03-01 09:16:49 -08001832 if (!out->WriteFully(method_bitmap_->GetRawStorage(), method_bitmap_size_)) {
1833 PLOG(ERROR) << "Failed to write method bitmap to " << out->GetLocation();
Brian Carlstromba150c32013-08-27 17:31:03 -07001834 return false;
1835 }
1836 oat_writer->size_oat_class_method_bitmaps_ += method_bitmap_size_;
1837 }
Ian Rogers3d504072014-03-01 09:16:49 -08001838 if (!out->WriteFully(&method_offsets_[0],
Brian Carlstromcd60ac72013-01-20 17:09:51 -08001839 sizeof(method_offsets_[0]) * method_offsets_.size())) {
Ian Rogers3d504072014-03-01 09:16:49 -08001840 PLOG(ERROR) << "Failed to write method offsets to " << out->GetLocation();
Brian Carlstrome24fa612011-09-29 00:53:55 -07001841 return false;
1842 }
Jeff Hao0aba0ba2013-06-03 14:49:28 -07001843 oat_writer->size_oat_class_method_offsets_ += sizeof(method_offsets_[0]) * method_offsets_.size();
Brian Carlstrome24fa612011-09-29 00:53:55 -07001844 return true;
1845}
1846
Brian Carlstrome24fa612011-09-29 00:53:55 -07001847} // namespace art