blob: 1950d564198e76d332cbd4d4ca3bfd3ca7edd218 [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 Carlstrom78128a62011-09-15 17:21:19 -070016
17#include <stdio.h>
18#include <stdlib.h>
19
Brian Carlstrom27ec9612011-09-19 20:20:38 -070020#include <fstream>
21#include <iostream>
Igor Murashkin37743352014-11-13 14:38:00 -080022#include <map>
23#include <set>
Brian Carlstrom78128a62011-09-15 17:21:19 -070024#include <string>
Andreas Gampe54fc26c2014-09-04 21:47:42 -070025#include <unordered_map>
Brian Carlstrom78128a62011-09-15 17:21:19 -070026#include <vector>
27
Ian Rogersd582fa42014-11-05 23:46:43 -080028#include "arch/instruction_set_features.h"
Mathieu Chartierc7853442015-03-27 14:35:38 -070029#include "art_field-inl.h"
Mathieu Chartiere401d142015-04-22 13:56:20 -070030#include "art_method-inl.h"
Elliott Hughes76160052012-12-12 16:31:20 -080031#include "base/unix_file/fd_file.h"
Brian Carlstrom78128a62011-09-15 17:21:19 -070032#include "class_linker.h"
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080033#include "class_linker-inl.h"
Ian Rogers4f6ad8a2013-03-18 15:27:28 -070034#include "dex_file-inl.h"
Elliott Hughese3c845c2012-02-28 17:23:01 -080035#include "dex_instruction.h"
Ian Rogers3a5c1ce2012-02-29 10:06:46 -080036#include "disassembler.h"
Andreas Gampe54fc26c2014-09-04 21:47:42 -070037#include "elf_builder.h"
Ian Rogers2bcb4a42012-11-08 10:39:18 -080038#include "gc_map.h"
Ian Rogers1d54e732013-05-02 21:10:01 -070039#include "gc/space/image_space.h"
40#include "gc/space/large_object_space.h"
41#include "gc/space/space-inl.h"
Brian Carlstrom78128a62011-09-15 17:21:19 -070042#include "image.h"
Ian Rogers2bcb4a42012-11-08 10:39:18 -080043#include "indenter.h"
Ian Rogers1809a722013-08-09 22:05:32 -070044#include "mapping_table.h"
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080045#include "mirror/array-inl.h"
46#include "mirror/class-inl.h"
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080047#include "mirror/object-inl.h"
48#include "mirror/object_array-inl.h"
Brian Carlstrom700c8d32012-11-05 10:42:02 -080049#include "oat.h"
Vladimir Marko8a630572014-04-09 18:45:35 +010050#include "oat_file-inl.h"
Elliott Hughese5448b52012-01-18 16:44:06 -080051#include "os.h"
Andreas Gampe54fc26c2014-09-04 21:47:42 -070052#include "output_stream.h"
Elliott Hughesa0e18062012-04-13 15:59:59 -070053#include "safe_map.h"
Ian Rogers00f7d0e2012-07-19 15:28:27 -070054#include "scoped_thread_state_change.h"
Andreas Gampe00b25f32014-09-17 21:49:05 -070055#include "ScopedLocalRef.h"
Mathieu Chartierc22c59e2014-02-24 15:16:06 -080056#include "thread_list.h"
Ian Rogersef7d42f2014-01-06 12:55:46 -080057#include "verifier/dex_gc_map.h"
Ian Rogers2bcb4a42012-11-08 10:39:18 -080058#include "verifier/method_verifier.h"
Ian Rogers1809a722013-08-09 22:05:32 -070059#include "vmap_table.h"
Andreas Gampe00b25f32014-09-17 21:49:05 -070060#include "well_known_classes.h"
Brian Carlstrom78128a62011-09-15 17:21:19 -070061
Igor Murashkin37743352014-11-13 14:38:00 -080062#include <sys/stat.h>
63#include "cmdline.h"
Brian Carlstrom78128a62011-09-15 17:21:19 -070064
Igor Murashkin37743352014-11-13 14:38:00 -080065namespace art {
Brian Carlstrom78128a62011-09-15 17:21:19 -070066
Mathieu Chartiere401d142015-04-22 13:56:20 -070067const char* image_methods_descriptions_[] = {
Ian Rogers19846512012-02-24 11:42:47 -080068 "kResolutionMethod",
Jeff Hao88474b42013-10-23 16:24:40 -070069 "kImtConflictMethod",
Mathieu Chartier2d2621a2014-10-23 16:48:06 -070070 "kImtUnimplementedMethod",
Brian Carlstrome24fa612011-09-29 00:53:55 -070071 "kCalleeSaveMethod",
Brian Carlstromaded5f72011-10-07 17:15:04 -070072 "kRefsOnlySaveMethod",
73 "kRefsAndArgsSaveMethod",
Mathieu Chartiere401d142015-04-22 13:56:20 -070074};
75
76const char* image_roots_descriptions_[] = {
Brian Carlstrom58ae9412011-10-04 00:56:06 -070077 "kDexCaches",
Brian Carlstrom34f426c2011-10-04 12:58:02 -070078 "kClassRoots",
Brian Carlstrom78128a62011-09-15 17:21:19 -070079};
80
David Srbeckybc90fd02015-04-22 19:40:27 +010081class OatSymbolizer FINAL {
Andreas Gampe54fc26c2014-09-04 21:47:42 -070082 public:
David Srbeckybc90fd02015-04-22 19:40:27 +010083 class RodataWriter FINAL : public CodeOutput {
84 public:
85 explicit RodataWriter(const OatFile* oat_file) : oat_file_(oat_file) {}
Andreas Gampe54fc26c2014-09-04 21:47:42 -070086
David Srbeckybc90fd02015-04-22 19:40:27 +010087 bool Write(OutputStream* out) OVERRIDE {
88 const size_t rodata_size = oat_file_->GetOatHeader().GetExecutableOffset();
89 return out->WriteFully(oat_file_->Begin(), rodata_size);
Andreas Gampe54fc26c2014-09-04 21:47:42 -070090 }
91
David Srbeckybc90fd02015-04-22 19:40:27 +010092 private:
93 const OatFile* oat_file_;
94 };
95
96 class TextWriter FINAL : public CodeOutput {
97 public:
98 explicit TextWriter(const OatFile* oat_file) : oat_file_(oat_file) {}
99
100 bool Write(OutputStream* out) OVERRIDE {
101 const size_t rodata_size = oat_file_->GetOatHeader().GetExecutableOffset();
102 const uint8_t* text_begin = oat_file_->Begin() + rodata_size;
103 return out->WriteFully(text_begin, oat_file_->End() - text_begin);
104 }
105
106 private:
107 const OatFile* oat_file_;
108 };
109
Roland Levillain3887c462015-08-12 18:15:42 +0100110 OatSymbolizer(const OatFile* oat_file, const std::string& output_name) :
David Srbeckybc90fd02015-04-22 19:40:27 +0100111 oat_file_(oat_file), builder_(nullptr),
112 output_name_(output_name.empty() ? "symbolized.oat" : output_name) {
Andreas Gampe54fc26c2014-09-04 21:47:42 -0700113 }
114
115 typedef void (OatSymbolizer::*Callback)(const DexFile::ClassDef&,
116 uint32_t,
117 const OatFile::OatMethod&,
118 const DexFile&,
119 uint32_t,
120 const DexFile::CodeItem*,
121 uint32_t);
122
123 bool Symbolize() {
David Srbeckybc90fd02015-04-22 19:40:27 +0100124 Elf32_Word rodata_size = oat_file_->GetOatHeader().GetExecutableOffset();
125 uint32_t size = static_cast<uint32_t>(oat_file_->End() - oat_file_->Begin());
126 uint32_t text_size = size - rodata_size;
127 uint32_t bss_size = oat_file_->BssSize();
128 RodataWriter rodata_writer(oat_file_);
129 TextWriter text_writer(oat_file_);
130 builder_.reset(new ElfBuilder<ElfTypes32>(
131 oat_file_->GetOatHeader().GetInstructionSet(),
132 rodata_size, &rodata_writer,
133 text_size, &text_writer,
134 bss_size));
Andreas Gampe54fc26c2014-09-04 21:47:42 -0700135
136 Walk(&art::OatSymbolizer::RegisterForDedup);
137
138 NormalizeState();
139
140 Walk(&art::OatSymbolizer::AddSymbol);
141
David Srbeckybc90fd02015-04-22 19:40:27 +0100142 File* elf_output = OS::CreateEmptyFile(output_name_.c_str());
143 bool result = builder_->Write(elf_output);
Andreas Gampe54fc26c2014-09-04 21:47:42 -0700144
Andreas Gampe4303ba92014-11-06 01:00:46 -0800145 // Ignore I/O errors.
David Srbeckybc90fd02015-04-22 19:40:27 +0100146 UNUSED(elf_output->FlushClose());
Andreas Gampe54fc26c2014-09-04 21:47:42 -0700147
148 return result;
149 }
150
151 void Walk(Callback callback) {
152 std::vector<const OatFile::OatDexFile*> oat_dex_files = oat_file_->GetOatDexFiles();
153 for (size_t i = 0; i < oat_dex_files.size(); i++) {
154 const OatFile::OatDexFile* oat_dex_file = oat_dex_files[i];
Mathieu Chartier2cebb242015-04-21 16:50:40 -0700155 CHECK(oat_dex_file != nullptr);
Andreas Gampe54fc26c2014-09-04 21:47:42 -0700156 WalkOatDexFile(oat_dex_file, callback);
157 }
158 }
159
160 void WalkOatDexFile(const OatFile::OatDexFile* oat_dex_file, Callback callback) {
161 std::string error_msg;
Igor Murashkinb1d8c312015-08-04 11:18:43 -0700162 std::unique_ptr<const DexFile> dex_file(oat_dex_file->OpenDexFile(&error_msg));
Andreas Gampe54fc26c2014-09-04 21:47:42 -0700163 if (dex_file.get() == nullptr) {
164 return;
165 }
166 for (size_t class_def_index = 0;
167 class_def_index < dex_file->NumClassDefs();
168 class_def_index++) {
169 const DexFile::ClassDef& class_def = dex_file->GetClassDef(class_def_index);
170 const OatFile::OatClass oat_class = oat_dex_file->GetOatClass(class_def_index);
171 OatClassType type = oat_class.GetType();
172 switch (type) {
173 case kOatClassAllCompiled:
174 case kOatClassSomeCompiled:
175 WalkOatClass(oat_class, *dex_file.get(), class_def, callback);
176 break;
177
178 case kOatClassNoneCompiled:
179 case kOatClassMax:
180 // Ignore.
181 break;
182 }
183 }
184 }
185
186 void WalkOatClass(const OatFile::OatClass& oat_class, const DexFile& dex_file,
187 const DexFile::ClassDef& class_def, Callback callback) {
Ian Rogers13735952014-10-08 12:43:28 -0700188 const uint8_t* class_data = dex_file.GetClassData(class_def);
Andreas Gampe54fc26c2014-09-04 21:47:42 -0700189 if (class_data == nullptr) { // empty class such as a marker interface?
190 return;
191 }
192 // Note: even if this is an interface or a native class, we still have to walk it, as there
193 // might be a static initializer.
194 ClassDataItemIterator it(dex_file, class_data);
195 SkipAllFields(&it);
196 uint32_t class_method_idx = 0;
197 while (it.HasNextDirectMethod()) {
198 const OatFile::OatMethod oat_method = oat_class.GetOatMethod(class_method_idx);
199 WalkOatMethod(class_def, class_method_idx, oat_method, dex_file, it.GetMemberIndex(),
Andreas Gampe51829322014-08-25 15:05:04 -0700200 it.GetMethodCodeItem(), it.GetMethodAccessFlags(), callback);
Andreas Gampe54fc26c2014-09-04 21:47:42 -0700201 class_method_idx++;
202 it.Next();
203 }
204 while (it.HasNextVirtualMethod()) {
205 const OatFile::OatMethod oat_method = oat_class.GetOatMethod(class_method_idx);
206 WalkOatMethod(class_def, class_method_idx, oat_method, dex_file, it.GetMemberIndex(),
Andreas Gampe51829322014-08-25 15:05:04 -0700207 it.GetMethodCodeItem(), it.GetMethodAccessFlags(), callback);
Andreas Gampe54fc26c2014-09-04 21:47:42 -0700208 class_method_idx++;
209 it.Next();
210 }
211 DCHECK(!it.HasNext());
212 }
213
214 void WalkOatMethod(const DexFile::ClassDef& class_def, uint32_t class_method_index,
215 const OatFile::OatMethod& oat_method, const DexFile& dex_file,
216 uint32_t dex_method_idx, const DexFile::CodeItem* code_item,
217 uint32_t method_access_flags, Callback callback) {
218 if ((method_access_flags & kAccAbstract) != 0) {
219 // Abstract method, no code.
220 return;
221 }
222 if (oat_method.GetCodeOffset() == 0) {
223 // No code.
224 return;
225 }
226
227 (this->*callback)(class_def, class_method_index, oat_method, dex_file, dex_method_idx, code_item,
228 method_access_flags);
229 }
230
Ian Rogers6a3c1fc2014-10-31 00:33:20 -0700231 void RegisterForDedup(const DexFile::ClassDef& class_def ATTRIBUTE_UNUSED,
232 uint32_t class_method_index ATTRIBUTE_UNUSED,
233 const OatFile::OatMethod& oat_method,
234 const DexFile& dex_file ATTRIBUTE_UNUSED,
235 uint32_t dex_method_idx ATTRIBUTE_UNUSED,
236 const DexFile::CodeItem* code_item ATTRIBUTE_UNUSED,
237 uint32_t method_access_flags ATTRIBUTE_UNUSED) {
Andreas Gampe54fc26c2014-09-04 21:47:42 -0700238 state_[oat_method.GetCodeOffset()]++;
239 }
240
241 void NormalizeState() {
242 for (auto& x : state_) {
243 if (x.second == 1) {
244 state_[x.first] = 0;
245 }
246 }
247 }
248
249 enum class DedupState { // private
250 kNotDeduplicated,
251 kDeduplicatedFirst,
252 kDeduplicatedOther
253 };
254 DedupState IsDuplicated(uint32_t offset) {
255 if (state_[offset] == 0) {
256 return DedupState::kNotDeduplicated;
257 }
258 if (state_[offset] == 1) {
259 return DedupState::kDeduplicatedOther;
260 }
261 state_[offset] = 1;
262 return DedupState::kDeduplicatedFirst;
263 }
264
Ian Rogers6a3c1fc2014-10-31 00:33:20 -0700265 void AddSymbol(const DexFile::ClassDef& class_def ATTRIBUTE_UNUSED,
266 uint32_t class_method_index ATTRIBUTE_UNUSED,
267 const OatFile::OatMethod& oat_method,
268 const DexFile& dex_file,
269 uint32_t dex_method_idx,
270 const DexFile::CodeItem* code_item ATTRIBUTE_UNUSED,
271 uint32_t method_access_flags ATTRIBUTE_UNUSED) {
Andreas Gampe54fc26c2014-09-04 21:47:42 -0700272 DedupState dedup = IsDuplicated(oat_method.GetCodeOffset());
273 if (dedup != DedupState::kDeduplicatedOther) {
274 std::string pretty_name = PrettyMethod(dex_method_idx, dex_file, true);
275
276 if (dedup == DedupState::kDeduplicatedFirst) {
277 pretty_name = "[Dedup]" + pretty_name;
278 }
279
David Srbeckybc90fd02015-04-22 19:40:27 +0100280 auto* symtab = builder_->GetSymtab();
Andreas Gampe54fc26c2014-09-04 21:47:42 -0700281
David Srbeckybc90fd02015-04-22 19:40:27 +0100282 symtab->AddSymbol(pretty_name, builder_->GetText(),
Ian Rogers0279ebb2014-10-08 17:27:48 -0700283 oat_method.GetCodeOffset() - oat_file_->GetOatHeader().GetExecutableOffset(),
284 true, oat_method.GetQuickCodeSize(), STB_GLOBAL, STT_FUNC);
Andreas Gampe54fc26c2014-09-04 21:47:42 -0700285 }
286 }
287
Andreas Gampe54fc26c2014-09-04 21:47:42 -0700288 private:
289 static void SkipAllFields(ClassDataItemIterator* it) {
290 while (it->HasNextStaticField()) {
291 it->Next();
292 }
293 while (it->HasNextInstanceField()) {
294 it->Next();
295 }
296 }
297
298 const OatFile* oat_file_;
David Srbecky533c2072015-04-22 12:20:22 +0100299 std::unique_ptr<ElfBuilder<ElfTypes32> > builder_;
Andreas Gampe54fc26c2014-09-04 21:47:42 -0700300 std::unordered_map<uint32_t, uint32_t> state_;
Ian Rogers0279ebb2014-10-08 17:27:48 -0700301 const std::string output_name_;
Andreas Gampe54fc26c2014-09-04 21:47:42 -0700302};
303
Brian Carlstrom2cbaccb2014-09-14 20:34:17 -0700304class OatDumperOptions {
305 public:
306 OatDumperOptions(bool dump_raw_mapping_table,
307 bool dump_raw_gc_map,
308 bool dump_vmap,
Roland Levillainf2650d12015-05-28 14:53:28 +0100309 bool dump_code_info_stack_maps,
Brian Carlstrom2cbaccb2014-09-14 20:34:17 -0700310 bool disassemble_code,
Andreas Gampe00b25f32014-09-17 21:49:05 -0700311 bool absolute_addresses,
Anestis Bechtsoudis32f500d2015-02-22 22:32:57 -0800312 const char* class_filter,
313 const char* method_filter,
314 bool list_classes,
315 bool list_methods,
316 const char* export_dex_location,
317 uint32_t addr2instr)
Brian Carlstrom2cbaccb2014-09-14 20:34:17 -0700318 : dump_raw_mapping_table_(dump_raw_mapping_table),
319 dump_raw_gc_map_(dump_raw_gc_map),
320 dump_vmap_(dump_vmap),
Roland Levillainf2650d12015-05-28 14:53:28 +0100321 dump_code_info_stack_maps_(dump_code_info_stack_maps),
Brian Carlstrom2cbaccb2014-09-14 20:34:17 -0700322 disassemble_code_(disassemble_code),
Andreas Gampe00b25f32014-09-17 21:49:05 -0700323 absolute_addresses_(absolute_addresses),
Anestis Bechtsoudis32f500d2015-02-22 22:32:57 -0800324 class_filter_(class_filter),
Nicolas Geoffray3fcd2202014-11-12 18:02:36 +0000325 method_filter_(method_filter),
Anestis Bechtsoudis32f500d2015-02-22 22:32:57 -0800326 list_classes_(list_classes),
327 list_methods_(list_methods),
328 export_dex_location_(export_dex_location),
329 addr2instr_(addr2instr),
Igor Murashkin37743352014-11-13 14:38:00 -0800330 class_loader_(nullptr) {}
Brian Carlstrom2cbaccb2014-09-14 20:34:17 -0700331
332 const bool dump_raw_mapping_table_;
333 const bool dump_raw_gc_map_;
334 const bool dump_vmap_;
Roland Levillainf2650d12015-05-28 14:53:28 +0100335 const bool dump_code_info_stack_maps_;
Brian Carlstrom2cbaccb2014-09-14 20:34:17 -0700336 const bool disassemble_code_;
337 const bool absolute_addresses_;
Anestis Bechtsoudis32f500d2015-02-22 22:32:57 -0800338 const char* const class_filter_;
Nicolas Geoffray3fcd2202014-11-12 18:02:36 +0000339 const char* const method_filter_;
Anestis Bechtsoudis32f500d2015-02-22 22:32:57 -0800340 const bool list_classes_;
341 const bool list_methods_;
342 const char* const export_dex_location_;
343 uint32_t addr2instr_;
Andreas Gampe00b25f32014-09-17 21:49:05 -0700344 Handle<mirror::ClassLoader>* class_loader_;
Brian Carlstrom2cbaccb2014-09-14 20:34:17 -0700345};
346
Elliott Hughese3c845c2012-02-28 17:23:01 -0800347class OatDumper {
Brian Carlstromaded5f72011-10-07 17:15:04 -0700348 public:
Roland Levillain3887c462015-08-12 18:15:42 +0100349 OatDumper(const OatFile& oat_file, const OatDumperOptions& options)
Nicolas Geoffray9583fbc2014-02-28 15:21:07 +0000350 : oat_file_(oat_file),
Elliott Hughesa72ec822012-03-05 17:12:22 -0800351 oat_dex_files_(oat_file.GetOatDexFiles()),
Brian Carlstrom2cbaccb2014-09-14 20:34:17 -0700352 options_(options),
Anestis Bechtsoudis32f500d2015-02-22 22:32:57 -0800353 resolved_addr2instr_(0),
Mathieu Chartiera7dd0382014-11-20 17:08:58 -0800354 instruction_set_(oat_file_.GetOatHeader().GetInstructionSet()),
355 disassembler_(Disassembler::Create(instruction_set_,
Anestis Bechtsoudis32f500d2015-02-22 22:32:57 -0800356 new DisassemblerOptions(options_.absolute_addresses_,
Alexandre Ramesa37d9252014-10-27 11:28:14 +0000357 oat_file.Begin(),
Alexandre Rameseb7b7392015-06-19 14:47:01 +0100358 true /* can_read_literals_ */))) {
Anestis Bechtsoudis32f500d2015-02-22 22:32:57 -0800359 CHECK(options_.class_loader_ != nullptr);
360 CHECK(options_.class_filter_ != nullptr);
361 CHECK(options_.method_filter_ != nullptr);
Ian Rogers3a5c1ce2012-02-29 10:06:46 -0800362 AddAllOffsets();
363 }
364
Brian Carlstrom2cbaccb2014-09-14 20:34:17 -0700365 ~OatDumper() {
Brian Carlstrom2cbaccb2014-09-14 20:34:17 -0700366 delete disassembler_;
367 }
368
Mathieu Chartiera7dd0382014-11-20 17:08:58 -0800369 InstructionSet GetInstructionSet() {
370 return instruction_set_;
371 }
372
Brian Carlstrom2cbaccb2014-09-14 20:34:17 -0700373 bool Dump(std::ostream& os) {
374 bool success = true;
Ian Rogers3a5c1ce2012-02-29 10:06:46 -0800375 const OatHeader& oat_header = oat_file_.GetOatHeader();
Brian Carlstromaded5f72011-10-07 17:15:04 -0700376
377 os << "MAGIC:\n";
378 os << oat_header.GetMagic() << "\n\n";
379
380 os << "CHECKSUM:\n";
Elliott Hughesed2adb62012-02-29 14:41:01 -0800381 os << StringPrintf("0x%08x\n\n", oat_header.GetChecksum());
Brian Carlstromaded5f72011-10-07 17:15:04 -0700382
Elliott Hughesa72ec822012-03-05 17:12:22 -0800383 os << "INSTRUCTION SET:\n";
384 os << oat_header.GetInstructionSet() << "\n\n";
385
Ian Rogers6f3dbba2014-10-14 17:41:57 -0700386 {
387 std::unique_ptr<const InstructionSetFeatures> features(
388 InstructionSetFeatures::FromBitmap(oat_header.GetInstructionSet(),
389 oat_header.GetInstructionSetFeaturesBitmap()));
390 os << "INSTRUCTION SET FEATURES:\n";
391 os << features->GetFeatureString() << "\n\n";
392 }
Dave Allison70202782013-10-22 17:52:19 -0700393
Brian Carlstromaded5f72011-10-07 17:15:04 -0700394 os << "DEX FILE COUNT:\n";
395 os << oat_header.GetDexFileCount() << "\n\n";
396
Brian Carlstrom2ec65202014-03-03 15:16:37 -0800397#define DUMP_OAT_HEADER_OFFSET(label, offset) \
398 os << label " OFFSET:\n"; \
399 os << StringPrintf("0x%08x", oat_header.offset()); \
Anestis Bechtsoudis32f500d2015-02-22 22:32:57 -0800400 if (oat_header.offset() != 0 && options_.absolute_addresses_) { \
Brian Carlstrom2ec65202014-03-03 15:16:37 -0800401 os << StringPrintf(" (%p)", oat_file_.Begin() + oat_header.offset()); \
402 } \
403 os << StringPrintf("\n\n");
404
405 DUMP_OAT_HEADER_OFFSET("EXECUTABLE", GetExecutableOffset);
406 DUMP_OAT_HEADER_OFFSET("INTERPRETER TO INTERPRETER BRIDGE",
407 GetInterpreterToInterpreterBridgeOffset);
408 DUMP_OAT_HEADER_OFFSET("INTERPRETER TO COMPILED CODE BRIDGE",
409 GetInterpreterToCompiledCodeBridgeOffset);
410 DUMP_OAT_HEADER_OFFSET("JNI DLSYM LOOKUP",
411 GetJniDlsymLookupOffset);
Brian Carlstrom2ec65202014-03-03 15:16:37 -0800412 DUMP_OAT_HEADER_OFFSET("QUICK GENERIC JNI TRAMPOLINE",
413 GetQuickGenericJniTrampolineOffset);
414 DUMP_OAT_HEADER_OFFSET("QUICK IMT CONFLICT TRAMPOLINE",
415 GetQuickImtConflictTrampolineOffset);
416 DUMP_OAT_HEADER_OFFSET("QUICK RESOLUTION TRAMPOLINE",
417 GetQuickResolutionTrampolineOffset);
418 DUMP_OAT_HEADER_OFFSET("QUICK TO INTERPRETER BRIDGE",
419 GetQuickToInterpreterBridgeOffset);
420#undef DUMP_OAT_HEADER_OFFSET
Brian Carlstromaded5f72011-10-07 17:15:04 -0700421
Brian Carlstrom2cbaccb2014-09-14 20:34:17 -0700422 os << "IMAGE PATCH DELTA:\n";
423 os << StringPrintf("%d (0x%08x)\n\n",
424 oat_header.GetImagePatchDelta(),
425 oat_header.GetImagePatchDelta());
Alex Lighta59dd802014-07-02 16:28:08 -0700426
Brian Carlstrom28db0122012-10-18 16:20:41 -0700427 os << "IMAGE FILE LOCATION OAT CHECKSUM:\n";
428 os << StringPrintf("0x%08x\n\n", oat_header.GetImageFileLocationOatChecksum());
429
430 os << "IMAGE FILE LOCATION OAT BEGIN:\n";
Brian Carlstrom700c8d32012-11-05 10:42:02 -0800431 os << StringPrintf("0x%08x\n\n", oat_header.GetImageFileLocationOatDataBegin());
Brian Carlstrom81f3ca12012-03-17 00:27:35 -0700432
Andreas Gampe22f8e5c2014-07-09 11:38:21 -0700433 // Print the key-value store.
434 {
435 os << "KEY VALUE STORE:\n";
436 size_t index = 0;
437 const char* key;
438 const char* value;
439 while (oat_header.GetStoreKeyValuePairByIndex(index, &key, &value)) {
440 os << key << " = " << value << "\n";
441 index++;
442 }
443 os << "\n";
444 }
Brian Carlstrom81f3ca12012-03-17 00:27:35 -0700445
Anestis Bechtsoudis32f500d2015-02-22 22:32:57 -0800446 if (options_.absolute_addresses_) {
Brian Carlstrom2cbaccb2014-09-14 20:34:17 -0700447 os << "BEGIN:\n";
448 os << reinterpret_cast<const void*>(oat_file_.Begin()) << "\n\n";
Brian Carlstromaded5f72011-10-07 17:15:04 -0700449
Brian Carlstrom2cbaccb2014-09-14 20:34:17 -0700450 os << "END:\n";
451 os << reinterpret_cast<const void*>(oat_file_.End()) << "\n\n";
452 }
453
454 os << "SIZE:\n";
455 os << oat_file_.Size() << "\n\n";
Brian Carlstromaded5f72011-10-07 17:15:04 -0700456
457 os << std::flush;
458
Anestis Bechtsoudis32f500d2015-02-22 22:32:57 -0800459 // If set, adjust relative address to be searched
460 if (options_.addr2instr_ != 0) {
461 resolved_addr2instr_ = options_.addr2instr_ + oat_header.GetExecutableOffset();
462 os << "SEARCH ADDRESS (executable offset + input):\n";
463 os << StringPrintf("0x%08x\n\n", resolved_addr2instr_);
464 }
465
Ian Rogers3a5c1ce2012-02-29 10:06:46 -0800466 for (size_t i = 0; i < oat_dex_files_.size(); i++) {
467 const OatFile::OatDexFile* oat_dex_file = oat_dex_files_[i];
Andreas Gampe2ed8def2014-08-28 14:41:02 -0700468 CHECK(oat_dex_file != nullptr);
Anestis Bechtsoudis32f500d2015-02-22 22:32:57 -0800469
470 // If file export selected skip file analysis
471 if (options_.export_dex_location_) {
472 if (!ExportDexFile(os, *oat_dex_file)) {
473 success = false;
474 }
475 } else {
476 if (!DumpOatDexFile(os, *oat_dex_file)) {
477 success = false;
478 }
Brian Carlstrom2cbaccb2014-09-14 20:34:17 -0700479 }
Brian Carlstromaded5f72011-10-07 17:15:04 -0700480 }
Brian Carlstrom2cbaccb2014-09-14 20:34:17 -0700481 os << std::flush;
482 return success;
Brian Carlstromaded5f72011-10-07 17:15:04 -0700483 }
484
Ian Rogers3a5c1ce2012-02-29 10:06:46 -0800485 size_t ComputeSize(const void* oat_data) {
Ian Rogers13735952014-10-08 12:43:28 -0700486 if (reinterpret_cast<const uint8_t*>(oat_data) < oat_file_.Begin() ||
487 reinterpret_cast<const uint8_t*>(oat_data) > oat_file_.End()) {
Ian Rogers3a5c1ce2012-02-29 10:06:46 -0800488 return 0; // Address not in oat file
489 }
Ian Rogersef7d42f2014-01-06 12:55:46 -0800490 uintptr_t begin_offset = reinterpret_cast<uintptr_t>(oat_data) -
491 reinterpret_cast<uintptr_t>(oat_file_.Begin());
492 auto it = offsets_.upper_bound(begin_offset);
Ian Rogers3a5c1ce2012-02-29 10:06:46 -0800493 CHECK(it != offsets_.end());
Ian Rogersef7d42f2014-01-06 12:55:46 -0800494 uintptr_t end_offset = *it;
Ian Rogers3a5c1ce2012-02-29 10:06:46 -0800495 return end_offset - begin_offset;
496 }
497
Mathieu Chartiera7dd0382014-11-20 17:08:58 -0800498 InstructionSet GetOatInstructionSet() {
Brian Carlstromf8bbb842012-03-14 03:01:42 -0700499 return oat_file_.GetOatHeader().GetInstructionSet();
500 }
501
Mathieu Chartier90443472015-07-16 20:32:27 -0700502 const void* GetQuickOatCode(ArtMethod* m) SHARED_REQUIRES(Locks::mutator_lock_) {
Ian Rogers3a5c1ce2012-02-29 10:06:46 -0800503 for (size_t i = 0; i < oat_dex_files_.size(); i++) {
504 const OatFile::OatDexFile* oat_dex_file = oat_dex_files_[i];
Ian Rogers8d31bbd2013-10-13 10:44:14 -0700505 CHECK(oat_dex_file != nullptr);
506 std::string error_msg;
Igor Murashkinb1d8c312015-08-04 11:18:43 -0700507 std::unique_ptr<const DexFile> dex_file(oat_dex_file->OpenDexFile(&error_msg));
Ian Rogers8d31bbd2013-10-13 10:44:14 -0700508 if (dex_file.get() == nullptr) {
509 LOG(WARNING) << "Failed to open dex file '" << oat_dex_file->GetDexFileLocation()
510 << "': " << error_msg;
511 } else {
Mathieu Chartiere7c9a8c2014-11-06 16:35:45 -0800512 const char* descriptor = m->GetDeclaringClassDescriptor();
Ian Rogers8b2c0b92013-09-19 02:56:49 -0700513 const DexFile::ClassDef* class_def =
Mathieu Chartiere7c9a8c2014-11-06 16:35:45 -0800514 dex_file->FindClassDef(descriptor, ComputeModifiedUtf8Hash(descriptor));
Andreas Gampe2ed8def2014-08-28 14:41:02 -0700515 if (class_def != nullptr) {
Ian Rogers8b2c0b92013-09-19 02:56:49 -0700516 uint16_t class_def_index = dex_file->GetIndexForClassDef(*class_def);
Vladimir Markod3c5beb2014-04-11 16:32:51 +0100517 const OatFile::OatClass oat_class = oat_dex_file->GetOatClass(class_def_index);
Ian Rogers3a5c1ce2012-02-29 10:06:46 -0800518 size_t method_index = m->GetMethodIndex();
Vladimir Markod3c5beb2014-04-11 16:32:51 +0100519 return oat_class.GetOatMethod(method_index).GetQuickCode();
Ian Rogers3a5c1ce2012-02-29 10:06:46 -0800520 }
521 }
522 }
Andreas Gampe2ed8def2014-08-28 14:41:02 -0700523 return nullptr;
Ian Rogers3a5c1ce2012-02-29 10:06:46 -0800524 }
525
Brian Carlstromaded5f72011-10-07 17:15:04 -0700526 private:
Ian Rogers3a5c1ce2012-02-29 10:06:46 -0800527 void AddAllOffsets() {
Elliott Hughese3c845c2012-02-28 17:23:01 -0800528 // We don't know the length of the code for each method, but we need to know where to stop
529 // when disassembling. What we do know is that a region of code will be followed by some other
530 // region, so if we keep a sorted sequence of the start of each region, we can infer the length
531 // of a piece of code by using upper_bound to find the start of the next region.
Ian Rogers3a5c1ce2012-02-29 10:06:46 -0800532 for (size_t i = 0; i < oat_dex_files_.size(); i++) {
533 const OatFile::OatDexFile* oat_dex_file = oat_dex_files_[i];
Andreas Gampe2ed8def2014-08-28 14:41:02 -0700534 CHECK(oat_dex_file != nullptr);
Ian Rogers8d31bbd2013-10-13 10:44:14 -0700535 std::string error_msg;
Igor Murashkinb1d8c312015-08-04 11:18:43 -0700536 std::unique_ptr<const DexFile> dex_file(oat_dex_file->OpenDexFile(&error_msg));
Ian Rogers8d31bbd2013-10-13 10:44:14 -0700537 if (dex_file.get() == nullptr) {
538 LOG(WARNING) << "Failed to open dex file '" << oat_dex_file->GetDexFileLocation()
539 << "': " << error_msg;
Ian Rogers3a5c1ce2012-02-29 10:06:46 -0800540 continue;
Elliott Hughese3c845c2012-02-28 17:23:01 -0800541 }
Ian Rogersef7d42f2014-01-06 12:55:46 -0800542 offsets_.insert(reinterpret_cast<uintptr_t>(&dex_file->GetHeader()));
Brian Carlstrom2ec65202014-03-03 15:16:37 -0800543 for (size_t class_def_index = 0;
544 class_def_index < dex_file->NumClassDefs();
545 class_def_index++) {
Elliott Hughese3c845c2012-02-28 17:23:01 -0800546 const DexFile::ClassDef& class_def = dex_file->GetClassDef(class_def_index);
Vladimir Markod3c5beb2014-04-11 16:32:51 +0100547 const OatFile::OatClass oat_class = oat_dex_file->GetOatClass(class_def_index);
Ian Rogers13735952014-10-08 12:43:28 -0700548 const uint8_t* class_data = dex_file->GetClassData(class_def);
Andreas Gampe2ed8def2014-08-28 14:41:02 -0700549 if (class_data != nullptr) {
Elliott Hughese3c845c2012-02-28 17:23:01 -0800550 ClassDataItemIterator it(*dex_file, class_data);
551 SkipAllFields(it);
552 uint32_t class_method_index = 0;
553 while (it.HasNextDirectMethod()) {
Vladimir Markod3c5beb2014-04-11 16:32:51 +0100554 AddOffsets(oat_class.GetOatMethod(class_method_index++));
Elliott Hughese3c845c2012-02-28 17:23:01 -0800555 it.Next();
556 }
557 while (it.HasNextVirtualMethod()) {
Vladimir Markod3c5beb2014-04-11 16:32:51 +0100558 AddOffsets(oat_class.GetOatMethod(class_method_index++));
Elliott Hughese3c845c2012-02-28 17:23:01 -0800559 it.Next();
560 }
561 }
562 }
563 }
564
565 // If the last thing in the file is code for a method, there won't be an offset for the "next"
566 // thing. Instead of having a special case in the upper_bound code, let's just add an entry
567 // for the end of the file.
Ian Rogersef7d42f2014-01-06 12:55:46 -0800568 offsets_.insert(oat_file_.Size());
Elliott Hughese3c845c2012-02-28 17:23:01 -0800569 }
570
Brian Carlstrom2cbaccb2014-09-14 20:34:17 -0700571 static uint32_t AlignCodeOffset(uint32_t maybe_thumb_offset) {
572 return maybe_thumb_offset & ~0x1; // TODO: Make this Thumb2 specific.
573 }
574
Elliott Hughese3c845c2012-02-28 17:23:01 -0800575 void AddOffsets(const OatFile::OatMethod& oat_method) {
Brian Carlstrom95ba0dc2012-03-05 22:06:14 -0800576 uint32_t code_offset = oat_method.GetCodeOffset();
577 if (oat_file_.GetOatHeader().GetInstructionSet() == kThumb2) {
578 code_offset &= ~0x1;
579 }
580 offsets_.insert(code_offset);
Elliott Hughese3c845c2012-02-28 17:23:01 -0800581 offsets_.insert(oat_method.GetMappingTableOffset());
582 offsets_.insert(oat_method.GetVmapTableOffset());
Mathieu Chartier957ca1c2014-11-21 16:51:29 -0800583 offsets_.insert(oat_method.GetGcMapOffset());
Elliott Hughese3c845c2012-02-28 17:23:01 -0800584 }
585
Brian Carlstrom2cbaccb2014-09-14 20:34:17 -0700586 bool DumpOatDexFile(std::ostream& os, const OatFile::OatDexFile& oat_dex_file) {
587 bool success = true;
Anestis Bechtsoudis32f500d2015-02-22 22:32:57 -0800588 bool stop_analysis = false;
Brian Carlstrom2cbaccb2014-09-14 20:34:17 -0700589 os << "OatDexFile:\n";
Brian Carlstroma004aa92012-02-08 18:05:09 -0800590 os << StringPrintf("location: %s\n", oat_dex_file.GetDexFileLocation().c_str());
Elliott Hughesed2adb62012-02-29 14:41:01 -0800591 os << StringPrintf("checksum: 0x%08x\n", oat_dex_file.GetDexFileLocationChecksum());
Mathieu Chartier590fee92013-09-13 13:46:47 -0700592
593 // Create the verifier early.
594
Ian Rogers8d31bbd2013-10-13 10:44:14 -0700595 std::string error_msg;
Igor Murashkinb1d8c312015-08-04 11:18:43 -0700596 std::unique_ptr<const DexFile> dex_file(oat_dex_file.OpenDexFile(&error_msg));
Andreas Gampe2ed8def2014-08-28 14:41:02 -0700597 if (dex_file.get() == nullptr) {
Ian Rogers8d31bbd2013-10-13 10:44:14 -0700598 os << "NOT FOUND: " << error_msg << "\n\n";
Brian Carlstrom2cbaccb2014-09-14 20:34:17 -0700599 os << std::flush;
600 return false;
Brian Carlstromaded5f72011-10-07 17:15:04 -0700601 }
Vladimir Marko8f1e08a2015-06-26 12:06:30 +0100602
603 VariableIndentationOutputStream vios(&os);
604 ScopedIndentation indent1(&vios);
Brian Carlstrom2ec65202014-03-03 15:16:37 -0800605 for (size_t class_def_index = 0;
606 class_def_index < dex_file->NumClassDefs();
607 class_def_index++) {
Brian Carlstromaded5f72011-10-07 17:15:04 -0700608 const DexFile::ClassDef& class_def = dex_file->GetClassDef(class_def_index);
609 const char* descriptor = dex_file->GetClassDescriptor(class_def);
Anestis Bechtsoudis32f500d2015-02-22 22:32:57 -0800610
611 // TODO: Support regex
612 if (DescriptorToDot(descriptor).find(options_.class_filter_) == std::string::npos) {
613 continue;
614 }
615
Brian Carlstrom2cbaccb2014-09-14 20:34:17 -0700616 uint32_t oat_class_offset = oat_dex_file.GetOatClassOffset(class_def_index);
Vladimir Markod3c5beb2014-04-11 16:32:51 +0100617 const OatFile::OatClass oat_class = oat_dex_file.GetOatClass(class_def_index);
Brian Carlstrom2cbaccb2014-09-14 20:34:17 -0700618 os << StringPrintf("%zd: %s (offset=0x%08x) (type_idx=%d)",
619 class_def_index, descriptor, oat_class_offset, class_def.class_idx_)
Vladimir Markod3c5beb2014-04-11 16:32:51 +0100620 << " (" << oat_class.GetStatus() << ")"
621 << " (" << oat_class.GetType() << ")\n";
622 // TODO: include bitmap here if type is kOatClassSomeCompiled?
Anestis Bechtsoudis32f500d2015-02-22 22:32:57 -0800623 if (options_.list_classes_) continue;
Vladimir Marko8f1e08a2015-06-26 12:06:30 +0100624 if (!DumpOatClass(&vios, oat_class, *(dex_file.get()), class_def, &stop_analysis)) {
Brian Carlstrom2cbaccb2014-09-14 20:34:17 -0700625 success = false;
626 }
Anestis Bechtsoudis32f500d2015-02-22 22:32:57 -0800627 if (stop_analysis) {
628 os << std::flush;
629 return success;
630 }
Brian Carlstromaded5f72011-10-07 17:15:04 -0700631 }
632
633 os << std::flush;
Brian Carlstrom2cbaccb2014-09-14 20:34:17 -0700634 return success;
Brian Carlstromaded5f72011-10-07 17:15:04 -0700635 }
636
Anestis Bechtsoudis32f500d2015-02-22 22:32:57 -0800637 bool ExportDexFile(std::ostream& os, const OatFile::OatDexFile& oat_dex_file) {
638 std::string error_msg;
639 std::string dex_file_location = oat_dex_file.GetDexFileLocation();
640
Igor Murashkinb1d8c312015-08-04 11:18:43 -0700641 std::unique_ptr<const DexFile> dex_file(oat_dex_file.OpenDexFile(&error_msg));
Anestis Bechtsoudis32f500d2015-02-22 22:32:57 -0800642 if (dex_file == nullptr) {
643 os << "Failed to open dex file '" << dex_file_location << "': " << error_msg;
644 return false;
645 }
646 size_t fsize = oat_dex_file.FileSize();
647
648 // Some quick checks just in case
649 if (fsize == 0 || fsize < sizeof(DexFile::Header)) {
650 os << "Invalid dex file\n";
651 return false;
652 }
653
654 // Verify output directory exists
655 if (!OS::DirectoryExists(options_.export_dex_location_)) {
656 // TODO: Extend OS::DirectoryExists if symlink support is required
657 os << options_.export_dex_location_ << " output directory not found or symlink\n";
658 return false;
659 }
660
661 // Beautify path names
662 if (dex_file_location.size() > PATH_MAX || dex_file_location.size() <= 0) {
663 return false;
664 }
665
666 std::string dex_orig_name;
667 size_t dex_orig_pos = dex_file_location.rfind('/');
668 if (dex_orig_pos == std::string::npos)
669 dex_orig_name = dex_file_location;
670 else
671 dex_orig_name = dex_file_location.substr(dex_orig_pos + 1);
672
673 // A more elegant approach to efficiently name user installed apps is welcome
674 if (dex_orig_name.size() == 8 && !dex_orig_name.compare("base.apk")) {
675 dex_file_location.erase(dex_orig_pos, strlen("base.apk") + 1);
676 size_t apk_orig_pos = dex_file_location.rfind('/');
677 if (apk_orig_pos != std::string::npos) {
678 dex_orig_name = dex_file_location.substr(++apk_orig_pos);
679 }
680 }
681
682 std::string out_dex_path(options_.export_dex_location_);
683 if (out_dex_path.back() != '/') {
684 out_dex_path.append("/");
685 }
686 out_dex_path.append(dex_orig_name);
687 out_dex_path.append("_export.dex");
688 if (out_dex_path.length() > PATH_MAX) {
689 return false;
690 }
691
692 std::unique_ptr<File> file(OS::CreateEmptyFile(out_dex_path.c_str()));
693 if (file.get() == nullptr) {
694 os << "Failed to open output dex file " << out_dex_path;
695 return false;
696 }
697
698 if (!file->WriteFully(dex_file->Begin(), fsize)) {
699 os << "Failed to write dex file";
700 file->Erase();
701 return false;
702 }
703
704 if (file->FlushCloseOrErase() != 0) {
705 os << "Flush and close failed";
706 return false;
707 }
708
709 os << StringPrintf("Dex file exported at %s (%zd bytes)\n", out_dex_path.c_str(), fsize);
710 os << std::flush;
711
712 return true;
713 }
714
Elliott Hughese3c845c2012-02-28 17:23:01 -0800715 static void SkipAllFields(ClassDataItemIterator& it) {
Ian Rogers0571d352011-11-03 19:51:38 -0700716 while (it.HasNextStaticField()) {
717 it.Next();
Brian Carlstromaded5f72011-10-07 17:15:04 -0700718 }
Ian Rogers0571d352011-11-03 19:51:38 -0700719 while (it.HasNextInstanceField()) {
720 it.Next();
Brian Carlstromaded5f72011-10-07 17:15:04 -0700721 }
Elliott Hughese3c845c2012-02-28 17:23:01 -0800722 }
Brian Carlstromaded5f72011-10-07 17:15:04 -0700723
Vladimir Marko8f1e08a2015-06-26 12:06:30 +0100724 bool DumpOatClass(VariableIndentationOutputStream* vios,
725 const OatFile::OatClass& oat_class, const DexFile& dex_file,
Anestis Bechtsoudis32f500d2015-02-22 22:32:57 -0800726 const DexFile::ClassDef& class_def, bool* stop_analysis) {
Brian Carlstrom2cbaccb2014-09-14 20:34:17 -0700727 bool success = true;
Anestis Bechtsoudis32f500d2015-02-22 22:32:57 -0800728 bool addr_found = false;
Ian Rogers13735952014-10-08 12:43:28 -0700729 const uint8_t* class_data = dex_file.GetClassData(class_def);
Andreas Gampe2ed8def2014-08-28 14:41:02 -0700730 if (class_data == nullptr) { // empty class such as a marker interface?
Vladimir Marko8f1e08a2015-06-26 12:06:30 +0100731 vios->Stream() << std::flush;
Brian Carlstrom2cbaccb2014-09-14 20:34:17 -0700732 return success;
Elliott Hughese3c845c2012-02-28 17:23:01 -0800733 }
734 ClassDataItemIterator it(dex_file, class_data);
735 SkipAllFields(it);
Brian Carlstrom2cbaccb2014-09-14 20:34:17 -0700736 uint32_t class_method_index = 0;
Ian Rogers0571d352011-11-03 19:51:38 -0700737 while (it.HasNextDirectMethod()) {
Vladimir Marko8f1e08a2015-06-26 12:06:30 +0100738 if (!DumpOatMethod(vios, class_def, class_method_index, oat_class, dex_file,
Brian Carlstrom2cbaccb2014-09-14 20:34:17 -0700739 it.GetMemberIndex(), it.GetMethodCodeItem(),
Anestis Bechtsoudis32f500d2015-02-22 22:32:57 -0800740 it.GetRawMemberAccessFlags(), &addr_found)) {
Brian Carlstrom2cbaccb2014-09-14 20:34:17 -0700741 success = false;
742 }
Anestis Bechtsoudis32f500d2015-02-22 22:32:57 -0800743 if (addr_found) {
744 *stop_analysis = true;
745 return success;
746 }
Brian Carlstrom2cbaccb2014-09-14 20:34:17 -0700747 class_method_index++;
Ian Rogers0571d352011-11-03 19:51:38 -0700748 it.Next();
Brian Carlstromaded5f72011-10-07 17:15:04 -0700749 }
Ian Rogers0571d352011-11-03 19:51:38 -0700750 while (it.HasNextVirtualMethod()) {
Vladimir Marko8f1e08a2015-06-26 12:06:30 +0100751 if (!DumpOatMethod(vios, class_def, class_method_index, oat_class, dex_file,
Brian Carlstrom2cbaccb2014-09-14 20:34:17 -0700752 it.GetMemberIndex(), it.GetMethodCodeItem(),
Anestis Bechtsoudis32f500d2015-02-22 22:32:57 -0800753 it.GetRawMemberAccessFlags(), &addr_found)) {
Brian Carlstrom2cbaccb2014-09-14 20:34:17 -0700754 success = false;
755 }
Anestis Bechtsoudis32f500d2015-02-22 22:32:57 -0800756 if (addr_found) {
757 *stop_analysis = true;
758 return success;
759 }
Brian Carlstrom2cbaccb2014-09-14 20:34:17 -0700760 class_method_index++;
Ian Rogers0571d352011-11-03 19:51:38 -0700761 it.Next();
Brian Carlstromaded5f72011-10-07 17:15:04 -0700762 }
Ian Rogers0571d352011-11-03 19:51:38 -0700763 DCHECK(!it.HasNext());
Vladimir Marko8f1e08a2015-06-26 12:06:30 +0100764 vios->Stream() << std::flush;
Brian Carlstrom2cbaccb2014-09-14 20:34:17 -0700765 return success;
Brian Carlstromaded5f72011-10-07 17:15:04 -0700766 }
Elliott Hughese3c845c2012-02-28 17:23:01 -0800767
Brian Carlstrom2cbaccb2014-09-14 20:34:17 -0700768 static constexpr uint32_t kPrologueBytes = 16;
769
770 // When this was picked, the largest arm method was 55,256 bytes and arm64 was 50,412 bytes.
771 static constexpr uint32_t kMaxCodeSize = 100 * 1000;
772
Vladimir Marko8f1e08a2015-06-26 12:06:30 +0100773 bool DumpOatMethod(VariableIndentationOutputStream* vios,
774 const DexFile::ClassDef& class_def,
Ian Rogers8b2c0b92013-09-19 02:56:49 -0700775 uint32_t class_method_index,
Brian Carlstrom2cbaccb2014-09-14 20:34:17 -0700776 const OatFile::OatClass& oat_class, const DexFile& dex_file,
Ian Rogers2bcb4a42012-11-08 10:39:18 -0800777 uint32_t dex_method_idx, const DexFile::CodeItem* code_item,
Anestis Bechtsoudis32f500d2015-02-22 22:32:57 -0800778 uint32_t method_access_flags, bool* addr_found) {
Brian Carlstrom2cbaccb2014-09-14 20:34:17 -0700779 bool success = true;
Anestis Bechtsoudis32f500d2015-02-22 22:32:57 -0800780
781 // TODO: Support regex
782 std::string method_name = dex_file.GetMethodName(dex_file.GetMethodId(dex_method_idx));
783 if (method_name.find(options_.method_filter_) == std::string::npos) {
Nicolas Geoffray3fcd2202014-11-12 18:02:36 +0000784 return success;
785 }
786
Anestis Bechtsoudis32f500d2015-02-22 22:32:57 -0800787 std::string pretty_method = PrettyMethod(dex_method_idx, dex_file, true);
Vladimir Marko8f1e08a2015-06-26 12:06:30 +0100788 vios->Stream() << StringPrintf("%d: %s (dex_method_idx=%d)\n",
789 class_method_index, pretty_method.c_str(),
790 dex_method_idx);
Anestis Bechtsoudis32f500d2015-02-22 22:32:57 -0800791 if (options_.list_methods_) return success;
792
Anestis Bechtsoudis32f500d2015-02-22 22:32:57 -0800793 uint32_t oat_method_offsets_offset = oat_class.GetOatMethodOffsetsOffset(class_method_index);
794 const OatMethodOffsets* oat_method_offsets = oat_class.GetOatMethodOffsets(class_method_index);
795 const OatFile::OatMethod oat_method = oat_class.GetOatMethod(class_method_index);
796 uint32_t code_offset = oat_method.GetCodeOffset();
797 uint32_t code_size = oat_method.GetQuickCodeSize();
798 if (resolved_addr2instr_ != 0) {
799 if (resolved_addr2instr_ > code_offset + code_size) {
800 return success;
801 } else {
802 *addr_found = true; // stop analyzing file at next iteration
803 }
804 }
805
Vladimir Marko8f1e08a2015-06-26 12:06:30 +0100806 // Everything below is indented at least once.
807 ScopedIndentation indent1(vios);
808
Ian Rogers2bcb4a42012-11-08 10:39:18 -0800809 {
Vladimir Marko8f1e08a2015-06-26 12:06:30 +0100810 vios->Stream() << "DEX CODE:\n";
811 ScopedIndentation indent2(vios);
812 DumpDexCode(vios->Stream(), dex_file, code_item);
Ian Rogersb23a7722012-10-09 16:54:26 -0700813 }
Andreas Gampe2ed8def2014-08-28 14:41:02 -0700814
Mathieu Chartier3ae6b1d2015-08-14 14:03:10 -0700815 std::unique_ptr<StackHandleScope<1>> hs;
Andreas Gampe2ed8def2014-08-28 14:41:02 -0700816 std::unique_ptr<verifier::MethodVerifier> verifier;
817 if (Runtime::Current() != nullptr) {
Mathieu Chartier3ae6b1d2015-08-14 14:03:10 -0700818 // We need to have the handle scope stay live until after the verifier since the verifier has
819 // a handle to the dex cache from hs.
820 hs.reset(new StackHandleScope<1>(Thread::Current()));
Vladimir Marko8f1e08a2015-06-26 12:06:30 +0100821 vios->Stream() << "VERIFIER TYPE ANALYSIS:\n";
822 ScopedIndentation indent2(vios);
Mathieu Chartier3ae6b1d2015-08-14 14:03:10 -0700823 verifier.reset(DumpVerifier(vios, hs.get(),
Vladimir Marko8f1e08a2015-06-26 12:06:30 +0100824 dex_method_idx, &dex_file, class_def, code_item,
Andreas Gampe2ed8def2014-08-28 14:41:02 -0700825 method_access_flags));
Ian Rogersb23a7722012-10-09 16:54:26 -0700826 }
Ian Rogers2bcb4a42012-11-08 10:39:18 -0800827 {
Vladimir Marko8f1e08a2015-06-26 12:06:30 +0100828 vios->Stream() << "OatMethodOffsets ";
Anestis Bechtsoudis32f500d2015-02-22 22:32:57 -0800829 if (options_.absolute_addresses_) {
Vladimir Marko8f1e08a2015-06-26 12:06:30 +0100830 vios->Stream() << StringPrintf("%p ", oat_method_offsets);
Nicolas Geoffray39468442014-09-02 15:17:15 +0100831 }
Vladimir Marko8f1e08a2015-06-26 12:06:30 +0100832 vios->Stream() << StringPrintf("(offset=0x%08x)\n", oat_method_offsets_offset);
Brian Carlstrom2cbaccb2014-09-14 20:34:17 -0700833 if (oat_method_offsets_offset > oat_file_.Size()) {
Vladimir Marko8f1e08a2015-06-26 12:06:30 +0100834 vios->Stream() << StringPrintf(
Brian Carlstrom2cbaccb2014-09-14 20:34:17 -0700835 "WARNING: oat method offsets offset 0x%08x is past end of file 0x%08zx.\n",
836 oat_method_offsets_offset, oat_file_.Size());
837 // If we can't read OatMethodOffsets, the rest of the data is dangerous to read.
Vladimir Marko8f1e08a2015-06-26 12:06:30 +0100838 vios->Stream() << std::flush;
Brian Carlstrom2cbaccb2014-09-14 20:34:17 -0700839 return false;
Ian Rogers2bcb4a42012-11-08 10:39:18 -0800840 }
Brian Carlstrom2cbaccb2014-09-14 20:34:17 -0700841
Vladimir Marko8f1e08a2015-06-26 12:06:30 +0100842 ScopedIndentation indent2(vios);
843 vios->Stream() << StringPrintf("code_offset: 0x%08x ", code_offset);
Brian Carlstrom2cbaccb2014-09-14 20:34:17 -0700844 uint32_t aligned_code_begin = AlignCodeOffset(oat_method.GetCodeOffset());
845 if (aligned_code_begin > oat_file_.Size()) {
Vladimir Marko8f1e08a2015-06-26 12:06:30 +0100846 vios->Stream() << StringPrintf("WARNING: "
847 "code offset 0x%08x is past end of file 0x%08zx.\n",
848 aligned_code_begin, oat_file_.Size());
Brian Carlstrom2cbaccb2014-09-14 20:34:17 -0700849 success = false;
850 }
Vladimir Marko8f1e08a2015-06-26 12:06:30 +0100851 vios->Stream() << "\n";
Brian Carlstrom2cbaccb2014-09-14 20:34:17 -0700852
Vladimir Marko8f1e08a2015-06-26 12:06:30 +0100853 vios->Stream() << "gc_map: ";
Anestis Bechtsoudis32f500d2015-02-22 22:32:57 -0800854 if (options_.absolute_addresses_) {
Vladimir Marko8f1e08a2015-06-26 12:06:30 +0100855 vios->Stream() << StringPrintf("%p ", oat_method.GetGcMap());
Brian Carlstrom2cbaccb2014-09-14 20:34:17 -0700856 }
Mathieu Chartier957ca1c2014-11-21 16:51:29 -0800857 uint32_t gc_map_offset = oat_method.GetGcMapOffset();
Vladimir Marko8f1e08a2015-06-26 12:06:30 +0100858 vios->Stream() << StringPrintf("(offset=0x%08x)\n", gc_map_offset);
Brian Carlstrom2cbaccb2014-09-14 20:34:17 -0700859 if (gc_map_offset > oat_file_.Size()) {
Vladimir Marko8f1e08a2015-06-26 12:06:30 +0100860 vios->Stream() << StringPrintf("WARNING: "
861 "gc map table offset 0x%08x is past end of file 0x%08zx.\n",
862 gc_map_offset, oat_file_.Size());
Brian Carlstrom2cbaccb2014-09-14 20:34:17 -0700863 success = false;
Anestis Bechtsoudis32f500d2015-02-22 22:32:57 -0800864 } else if (options_.dump_raw_gc_map_) {
Vladimir Marko8f1e08a2015-06-26 12:06:30 +0100865 ScopedIndentation indent3(vios);
866 DumpGcMap(vios->Stream(), oat_method, code_item);
Ian Rogers2bcb4a42012-11-08 10:39:18 -0800867 }
868 }
869 {
Vladimir Marko8f1e08a2015-06-26 12:06:30 +0100870 vios->Stream() << "OatQuickMethodHeader ";
Brian Carlstrom2cbaccb2014-09-14 20:34:17 -0700871 uint32_t method_header_offset = oat_method.GetOatQuickMethodHeaderOffset();
872 const OatQuickMethodHeader* method_header = oat_method.GetOatQuickMethodHeader();
Mathieu Chartier590fee92013-09-13 13:46:47 -0700873
Anestis Bechtsoudis32f500d2015-02-22 22:32:57 -0800874 if (options_.absolute_addresses_) {
Vladimir Marko8f1e08a2015-06-26 12:06:30 +0100875 vios->Stream() << StringPrintf("%p ", method_header);
Brian Carlstrom2cbaccb2014-09-14 20:34:17 -0700876 }
Vladimir Marko8f1e08a2015-06-26 12:06:30 +0100877 vios->Stream() << StringPrintf("(offset=0x%08x)\n", method_header_offset);
Brian Carlstrom2cbaccb2014-09-14 20:34:17 -0700878 if (method_header_offset > oat_file_.Size()) {
Vladimir Marko8f1e08a2015-06-26 12:06:30 +0100879 vios->Stream() << StringPrintf(
Brian Carlstrom2cbaccb2014-09-14 20:34:17 -0700880 "WARNING: oat quick method header offset 0x%08x is past end of file 0x%08zx.\n",
881 method_header_offset, oat_file_.Size());
882 // If we can't read the OatQuickMethodHeader, the rest of the data is dangerous to read.
Vladimir Marko8f1e08a2015-06-26 12:06:30 +0100883 vios->Stream() << std::flush;
Brian Carlstrom2cbaccb2014-09-14 20:34:17 -0700884 return false;
885 }
886
Vladimir Marko8f1e08a2015-06-26 12:06:30 +0100887 ScopedIndentation indent2(vios);
888 vios->Stream() << "mapping_table: ";
Anestis Bechtsoudis32f500d2015-02-22 22:32:57 -0800889 if (options_.absolute_addresses_) {
Vladimir Marko8f1e08a2015-06-26 12:06:30 +0100890 vios->Stream() << StringPrintf("%p ", oat_method.GetMappingTable());
Brian Carlstrom2cbaccb2014-09-14 20:34:17 -0700891 }
892 uint32_t mapping_table_offset = oat_method.GetMappingTableOffset();
Vladimir Marko8f1e08a2015-06-26 12:06:30 +0100893 vios->Stream() << StringPrintf("(offset=0x%08x)\n", oat_method.GetMappingTableOffset());
Brian Carlstrom2cbaccb2014-09-14 20:34:17 -0700894 if (mapping_table_offset > oat_file_.Size()) {
Vladimir Marko8f1e08a2015-06-26 12:06:30 +0100895 vios->Stream() << StringPrintf("WARNING: "
896 "mapping table offset 0x%08x is past end of file 0x%08zx. "
897 "mapping table offset was loaded from offset 0x%08x.\n",
898 mapping_table_offset, oat_file_.Size(),
899 oat_method.GetMappingTableOffsetOffset());
Brian Carlstrom2cbaccb2014-09-14 20:34:17 -0700900 success = false;
Anestis Bechtsoudis32f500d2015-02-22 22:32:57 -0800901 } else if (options_.dump_raw_mapping_table_) {
Vladimir Marko8f1e08a2015-06-26 12:06:30 +0100902 ScopedIndentation indent3(vios);
903 DumpMappingTable(vios, oat_method);
Brian Carlstrom2cbaccb2014-09-14 20:34:17 -0700904 }
905
Vladimir Marko8f1e08a2015-06-26 12:06:30 +0100906 vios->Stream() << "vmap_table: ";
Anestis Bechtsoudis32f500d2015-02-22 22:32:57 -0800907 if (options_.absolute_addresses_) {
Vladimir Marko8f1e08a2015-06-26 12:06:30 +0100908 vios->Stream() << StringPrintf("%p ", oat_method.GetVmapTable());
Brian Carlstrom2cbaccb2014-09-14 20:34:17 -0700909 }
910 uint32_t vmap_table_offset = oat_method.GetVmapTableOffset();
Vladimir Marko8f1e08a2015-06-26 12:06:30 +0100911 vios->Stream() << StringPrintf("(offset=0x%08x)\n", vmap_table_offset);
Brian Carlstrom2cbaccb2014-09-14 20:34:17 -0700912 if (vmap_table_offset > oat_file_.Size()) {
Vladimir Marko8f1e08a2015-06-26 12:06:30 +0100913 vios->Stream() << StringPrintf("WARNING: "
914 "vmap table offset 0x%08x is past end of file 0x%08zx. "
915 "vmap table offset was loaded from offset 0x%08x.\n",
916 vmap_table_offset, oat_file_.Size(),
917 oat_method.GetVmapTableOffsetOffset());
Brian Carlstrom2cbaccb2014-09-14 20:34:17 -0700918 success = false;
Anestis Bechtsoudis32f500d2015-02-22 22:32:57 -0800919 } else if (options_.dump_vmap_) {
Vladimir Marko8f1e08a2015-06-26 12:06:30 +0100920 DumpVmapData(vios, oat_method, code_item);
Brian Carlstrom2cbaccb2014-09-14 20:34:17 -0700921 }
Ian Rogers2bcb4a42012-11-08 10:39:18 -0800922 }
Brian Carlstrom2cbaccb2014-09-14 20:34:17 -0700923 {
Vladimir Marko8f1e08a2015-06-26 12:06:30 +0100924 vios->Stream() << "QuickMethodFrameInfo\n";
Brian Carlstrom2cbaccb2014-09-14 20:34:17 -0700925
Vladimir Marko8f1e08a2015-06-26 12:06:30 +0100926 ScopedIndentation indent2(vios);
927 vios->Stream()
928 << StringPrintf("frame_size_in_bytes: %zd\n", oat_method.GetFrameSizeInBytes());
929 vios->Stream() << StringPrintf("core_spill_mask: 0x%08x ", oat_method.GetCoreSpillMask());
930 DumpSpillMask(vios->Stream(), oat_method.GetCoreSpillMask(), false);
931 vios->Stream() << "\n";
932 vios->Stream() << StringPrintf("fp_spill_mask: 0x%08x ", oat_method.GetFpSpillMask());
933 DumpSpillMask(vios->Stream(), oat_method.GetFpSpillMask(), true);
934 vios->Stream() << "\n";
Brian Carlstrom2cbaccb2014-09-14 20:34:17 -0700935 }
936 {
Vladimir Marko8f1e08a2015-06-26 12:06:30 +0100937 // Based on spill masks from QuickMethodFrameInfo so placed
938 // after it is dumped, but useful for understanding quick
939 // code, so dumped here.
940 ScopedIndentation indent2(vios);
941 DumpVregLocations(vios->Stream(), oat_method, code_item);
Brian Carlstrom2cbaccb2014-09-14 20:34:17 -0700942 }
943 {
Vladimir Marko8f1e08a2015-06-26 12:06:30 +0100944 vios->Stream() << "CODE: ";
Brian Carlstrom2cbaccb2014-09-14 20:34:17 -0700945 uint32_t code_size_offset = oat_method.GetQuickCodeSizeOffset();
946 if (code_size_offset > oat_file_.Size()) {
Vladimir Marko8f1e08a2015-06-26 12:06:30 +0100947 ScopedIndentation indent2(vios);
948 vios->Stream() << StringPrintf("WARNING: "
949 "code size offset 0x%08x is past end of file 0x%08zx.",
950 code_size_offset, oat_file_.Size());
Brian Carlstrom2cbaccb2014-09-14 20:34:17 -0700951 success = false;
952 } else {
953 const void* code = oat_method.GetQuickCode();
Brian Carlstrom2cbaccb2014-09-14 20:34:17 -0700954 uint32_t aligned_code_begin = AlignCodeOffset(code_offset);
955 uint64_t aligned_code_end = aligned_code_begin + code_size;
956
Anestis Bechtsoudis32f500d2015-02-22 22:32:57 -0800957 if (options_.absolute_addresses_) {
Vladimir Marko8f1e08a2015-06-26 12:06:30 +0100958 vios->Stream() << StringPrintf("%p ", code);
Brian Carlstrom2cbaccb2014-09-14 20:34:17 -0700959 }
Vladimir Marko8f1e08a2015-06-26 12:06:30 +0100960 vios->Stream() << StringPrintf("(code_offset=0x%08x size_offset=0x%08x size=%u)%s\n",
961 code_offset,
962 code_size_offset,
963 code_size,
964 code != nullptr ? "..." : "");
Brian Carlstrom2cbaccb2014-09-14 20:34:17 -0700965
Vladimir Marko8f1e08a2015-06-26 12:06:30 +0100966 ScopedIndentation indent2(vios);
Brian Carlstrom2cbaccb2014-09-14 20:34:17 -0700967 if (aligned_code_begin > oat_file_.Size()) {
Vladimir Marko8f1e08a2015-06-26 12:06:30 +0100968 vios->Stream() << StringPrintf("WARNING: "
969 "start of code at 0x%08x is past end of file 0x%08zx.",
970 aligned_code_begin, oat_file_.Size());
Brian Carlstrom2cbaccb2014-09-14 20:34:17 -0700971 success = false;
972 } else if (aligned_code_end > oat_file_.Size()) {
Vladimir Marko8f1e08a2015-06-26 12:06:30 +0100973 vios->Stream() << StringPrintf(
974 "WARNING: "
975 "end of code at 0x%08" PRIx64 " is past end of file 0x%08zx. "
976 "code size is 0x%08x loaded from offset 0x%08x.\n",
977 aligned_code_end, oat_file_.Size(),
978 code_size, code_size_offset);
Brian Carlstrom2cbaccb2014-09-14 20:34:17 -0700979 success = false;
Anestis Bechtsoudis32f500d2015-02-22 22:32:57 -0800980 if (options_.disassemble_code_) {
Brian Carlstrom2cbaccb2014-09-14 20:34:17 -0700981 if (code_size_offset + kPrologueBytes <= oat_file_.Size()) {
Vladimir Marko8f1e08a2015-06-26 12:06:30 +0100982 DumpCode(vios, verifier.get(), oat_method, code_item, true, kPrologueBytes);
Brian Carlstrom2cbaccb2014-09-14 20:34:17 -0700983 }
984 }
985 } else if (code_size > kMaxCodeSize) {
Vladimir Marko8f1e08a2015-06-26 12:06:30 +0100986 vios->Stream() << StringPrintf(
987 "WARNING: "
988 "code size %d is bigger than max expected threshold of %d. "
989 "code size is 0x%08x loaded from offset 0x%08x.\n",
990 code_size, kMaxCodeSize,
991 code_size, code_size_offset);
Brian Carlstrom2cbaccb2014-09-14 20:34:17 -0700992 success = false;
Anestis Bechtsoudis32f500d2015-02-22 22:32:57 -0800993 if (options_.disassemble_code_) {
Brian Carlstrom2cbaccb2014-09-14 20:34:17 -0700994 if (code_size_offset + kPrologueBytes <= oat_file_.Size()) {
Vladimir Marko8f1e08a2015-06-26 12:06:30 +0100995 DumpCode(vios, verifier.get(), oat_method, code_item, true, kPrologueBytes);
Brian Carlstrom2cbaccb2014-09-14 20:34:17 -0700996 }
997 }
Anestis Bechtsoudis32f500d2015-02-22 22:32:57 -0800998 } else if (options_.disassemble_code_) {
Vladimir Marko8f1e08a2015-06-26 12:06:30 +0100999 DumpCode(vios, verifier.get(), oat_method, code_item, !success, 0);
Brian Carlstrom2cbaccb2014-09-14 20:34:17 -07001000 }
1001 }
1002 }
Vladimir Marko8f1e08a2015-06-26 12:06:30 +01001003 vios->Stream() << std::flush;
Brian Carlstrom2cbaccb2014-09-14 20:34:17 -07001004 return success;
Brian Carlstromaded5f72011-10-07 17:15:04 -07001005 }
Elliott Hughese3c845c2012-02-28 17:23:01 -08001006
Ian Rogers3a5c1ce2012-02-29 10:06:46 -08001007 void DumpSpillMask(std::ostream& os, uint32_t spill_mask, bool is_float) {
1008 if (spill_mask == 0) {
1009 return;
1010 }
Ian Rogers2bcb4a42012-11-08 10:39:18 -08001011 os << "(";
Ian Rogers3a5c1ce2012-02-29 10:06:46 -08001012 for (size_t i = 0; i < 32; i++) {
1013 if ((spill_mask & (1 << i)) != 0) {
1014 if (is_float) {
1015 os << "fr" << i;
1016 } else {
1017 os << "r" << i;
1018 }
1019 spill_mask ^= 1 << i; // clear bit
1020 if (spill_mask != 0) {
1021 os << ", ";
1022 } else {
1023 break;
1024 }
1025 }
1026 }
1027 os << ")";
1028 }
1029
Roland Levillain442b46a2015-02-18 16:54:21 +00001030 // Display data stored at the the vmap offset of an oat method.
Vladimir Marko8f1e08a2015-06-26 12:06:30 +01001031 void DumpVmapData(VariableIndentationOutputStream* vios,
Roland Levillain442b46a2015-02-18 16:54:21 +00001032 const OatFile::OatMethod& oat_method,
1033 const DexFile::CodeItem* code_item) {
Roland Levillainf2650d12015-05-28 14:53:28 +01001034 if (IsMethodGeneratedByOptimizingCompiler(oat_method, code_item)) {
1035 // The optimizing compiler outputs its CodeInfo data in the vmap table.
Roland Levillain442b46a2015-02-18 16:54:21 +00001036 const void* raw_code_info = oat_method.GetVmapTable();
1037 if (raw_code_info != nullptr) {
1038 CodeInfo code_info(raw_code_info);
1039 DCHECK(code_item != nullptr);
Vladimir Marko8f1e08a2015-06-26 12:06:30 +01001040 ScopedIndentation indent1(vios);
1041 DumpCodeInfo(vios, code_info, oat_method, *code_item);
Roland Levillain442b46a2015-02-18 16:54:21 +00001042 }
Nicolas Geoffray0a5cd122015-07-16 14:15:05 +01001043 } else if (IsMethodGeneratedByDexToDexCompiler(oat_method, code_item)) {
1044 // We don't encode the size in the table, so just emit that we have quickened
1045 // information.
1046 ScopedIndentation indent(vios);
1047 vios->Stream() << "quickened data\n";
Roland Levillain442b46a2015-02-18 16:54:21 +00001048 } else {
1049 // Otherwise, display the vmap table.
1050 const uint8_t* raw_table = oat_method.GetVmapTable();
1051 if (raw_table != nullptr) {
1052 VmapTable vmap_table(raw_table);
Vladimir Marko8f1e08a2015-06-26 12:06:30 +01001053 DumpVmapTable(vios->Stream(), oat_method, vmap_table);
Roland Levillain442b46a2015-02-18 16:54:21 +00001054 }
Nicolas Geoffray20d3eae2014-09-17 11:27:23 +01001055 }
Roland Levillain442b46a2015-02-18 16:54:21 +00001056 }
1057
1058 // Display a CodeInfo object emitted by the optimizing compiler.
Vladimir Marko8f1e08a2015-06-26 12:06:30 +01001059 void DumpCodeInfo(VariableIndentationOutputStream* vios,
Roland Levillain442b46a2015-02-18 16:54:21 +00001060 const CodeInfo& code_info,
Roland Levillainf2650d12015-05-28 14:53:28 +01001061 const OatFile::OatMethod& oat_method,
Roland Levillain442b46a2015-02-18 16:54:21 +00001062 const DexFile::CodeItem& code_item) {
Vladimir Marko8f1e08a2015-06-26 12:06:30 +01001063 code_info.Dump(vios,
Roland Levillainf2650d12015-05-28 14:53:28 +01001064 oat_method.GetCodeOffset(),
1065 code_item.registers_size_,
1066 options_.dump_code_info_stack_maps_);
Ian Rogers3a5c1ce2012-02-29 10:06:46 -08001067 }
1068
Roland Levillain442b46a2015-02-18 16:54:21 +00001069 // Display a vmap table.
1070 void DumpVmapTable(std::ostream& os,
1071 const OatFile::OatMethod& oat_method,
1072 const VmapTable& vmap_table) {
1073 bool first = true;
1074 bool processing_fp = false;
1075 uint32_t spill_mask = oat_method.GetCoreSpillMask();
1076 for (size_t i = 0; i < vmap_table.Size(); i++) {
1077 uint16_t dex_reg = vmap_table[i];
1078 uint32_t cpu_reg = vmap_table.ComputeRegister(spill_mask, i,
1079 processing_fp ? kFloatVReg : kIntVReg);
1080 os << (first ? "v" : ", v") << dex_reg;
1081 if (!processing_fp) {
1082 os << "/r" << cpu_reg;
1083 } else {
1084 os << "/fr" << cpu_reg;
1085 }
1086 first = false;
1087 if (!processing_fp && dex_reg == 0xFFFF) {
1088 processing_fp = true;
1089 spill_mask = oat_method.GetFpSpillMask();
1090 }
1091 }
1092 os << "\n";
1093 }
1094
Razvan A Lupusorufaf9f0d2014-08-29 17:56:46 -07001095 void DumpVregLocations(std::ostream& os, const OatFile::OatMethod& oat_method,
1096 const DexFile::CodeItem* code_item) {
1097 if (code_item != nullptr) {
1098 size_t num_locals_ins = code_item->registers_size_;
1099 size_t num_ins = code_item->ins_size_;
1100 size_t num_locals = num_locals_ins - num_ins;
1101 size_t num_outs = code_item->outs_size_;
1102
1103 os << "vr_stack_locations:";
1104 for (size_t reg = 0; reg <= num_locals_ins; reg++) {
1105 // For readability, delimit the different kinds of VRs.
1106 if (reg == num_locals_ins) {
1107 os << "\n\tmethod*:";
1108 } else if (reg == num_locals && num_ins > 0) {
1109 os << "\n\tins:";
1110 } else if (reg == 0 && num_locals > 0) {
1111 os << "\n\tlocals:";
1112 }
1113
Nicolas Geoffray15b9d522015-03-12 15:05:13 +00001114 uint32_t offset = StackVisitor::GetVRegOffsetFromQuickCode(
1115 code_item,
1116 oat_method.GetCoreSpillMask(),
1117 oat_method.GetFpSpillMask(),
1118 oat_method.GetFrameSizeInBytes(),
1119 reg,
1120 GetInstructionSet());
Razvan A Lupusorufaf9f0d2014-08-29 17:56:46 -07001121 os << " v" << reg << "[sp + #" << offset << "]";
1122 }
1123
1124 for (size_t out_reg = 0; out_reg < num_outs; out_reg++) {
1125 if (out_reg == 0) {
1126 os << "\n\touts:";
1127 }
1128
1129 uint32_t offset = StackVisitor::GetOutVROffset(out_reg, GetInstructionSet());
1130 os << " v" << out_reg << "[sp + #" << offset << "]";
1131 }
1132
1133 os << "\n";
1134 }
1135 }
1136
Ian Rogersb23a7722012-10-09 16:54:26 -07001137 void DescribeVReg(std::ostream& os, const OatFile::OatMethod& oat_method,
Ian Rogers2bcb4a42012-11-08 10:39:18 -08001138 const DexFile::CodeItem* code_item, size_t reg, VRegKind kind) {
Ian Rogers1809a722013-08-09 22:05:32 -07001139 const uint8_t* raw_table = oat_method.GetVmapTable();
Andreas Gampe2ed8def2014-08-28 14:41:02 -07001140 if (raw_table != nullptr) {
Ian Rogersb23a7722012-10-09 16:54:26 -07001141 const VmapTable vmap_table(raw_table);
1142 uint32_t vmap_offset;
Ian Rogers1809a722013-08-09 22:05:32 -07001143 if (vmap_table.IsInContext(reg, kind, &vmap_offset)) {
Ian Rogers2bcb4a42012-11-08 10:39:18 -08001144 bool is_float = (kind == kFloatVReg) || (kind == kDoubleLoVReg) || (kind == kDoubleHiVReg);
1145 uint32_t spill_mask = is_float ? oat_method.GetFpSpillMask()
1146 : oat_method.GetCoreSpillMask();
1147 os << (is_float ? "fr" : "r") << vmap_table.ComputeRegister(spill_mask, vmap_offset, kind);
Ian Rogersb23a7722012-10-09 16:54:26 -07001148 } else {
Nicolas Geoffray15b9d522015-03-12 15:05:13 +00001149 uint32_t offset = StackVisitor::GetVRegOffsetFromQuickCode(
1150 code_item,
1151 oat_method.GetCoreSpillMask(),
1152 oat_method.GetFpSpillMask(),
1153 oat_method.GetFrameSizeInBytes(),
1154 reg,
1155 GetInstructionSet());
Ian Rogersb23a7722012-10-09 16:54:26 -07001156 os << "[sp + #" << offset << "]";
1157 }
1158 }
1159 }
1160
Ian Rogersef7d42f2014-01-06 12:55:46 -08001161 void DumpGcMapRegisters(std::ostream& os, const OatFile::OatMethod& oat_method,
1162 const DexFile::CodeItem* code_item,
1163 size_t num_regs, const uint8_t* reg_bitmap) {
1164 bool first = true;
1165 for (size_t reg = 0; reg < num_regs; reg++) {
1166 if (((reg_bitmap[reg / 8] >> (reg % 8)) & 0x01) != 0) {
1167 if (first) {
1168 os << " v" << reg << " (";
1169 DescribeVReg(os, oat_method, code_item, reg, kReferenceVReg);
1170 os << ")";
1171 first = false;
1172 } else {
1173 os << ", v" << reg << " (";
1174 DescribeVReg(os, oat_method, code_item, reg, kReferenceVReg);
1175 os << ")";
1176 }
1177 }
1178 }
1179 if (first) {
1180 os << "No registers in GC map\n";
1181 } else {
1182 os << "\n";
1183 }
1184 }
Ian Rogersb23a7722012-10-09 16:54:26 -07001185 void DumpGcMap(std::ostream& os, const OatFile::OatMethod& oat_method,
1186 const DexFile::CodeItem* code_item) {
Mathieu Chartier957ca1c2014-11-21 16:51:29 -08001187 const uint8_t* gc_map_raw = oat_method.GetGcMap();
Ian Rogersef7d42f2014-01-06 12:55:46 -08001188 if (gc_map_raw == nullptr) {
1189 return; // No GC map.
Ian Rogers3a5c1ce2012-02-29 10:06:46 -08001190 }
Ian Rogersef7d42f2014-01-06 12:55:46 -08001191 const void* quick_code = oat_method.GetQuickCode();
Elliott Hughes956af0f2014-12-11 14:34:28 -08001192 NativePcOffsetToReferenceMap map(gc_map_raw);
1193 for (size_t entry = 0; entry < map.NumEntries(); entry++) {
1194 const uint8_t* native_pc = reinterpret_cast<const uint8_t*>(quick_code) +
1195 map.GetNativePcOffset(entry);
1196 os << StringPrintf("%p", native_pc);
1197 DumpGcMapRegisters(os, oat_method, code_item, map.RegWidth() * 8, map.GetBitMap(entry));
Ian Rogers3a5c1ce2012-02-29 10:06:46 -08001198 }
1199 }
1200
Vladimir Marko8f1e08a2015-06-26 12:06:30 +01001201 void DumpMappingTable(VariableIndentationOutputStream* vios,
1202 const OatFile::OatMethod& oat_method) {
Ian Rogersef7d42f2014-01-06 12:55:46 -08001203 const void* quick_code = oat_method.GetQuickCode();
1204 if (quick_code == nullptr) {
Elliott Hughese3c845c2012-02-28 17:23:01 -08001205 return;
1206 }
Ian Rogers1809a722013-08-09 22:05:32 -07001207 MappingTable table(oat_method.GetMappingTable());
1208 if (table.TotalSize() != 0) {
Ian Rogers1809a722013-08-09 22:05:32 -07001209 if (table.PcToDexSize() != 0) {
1210 typedef MappingTable::PcToDexIterator It;
Vladimir Marko8f1e08a2015-06-26 12:06:30 +01001211 vios->Stream() << "suspend point mappings {\n";
Ian Rogers1809a722013-08-09 22:05:32 -07001212 for (It cur = table.PcToDexBegin(), end = table.PcToDexEnd(); cur != end; ++cur) {
Vladimir Marko8f1e08a2015-06-26 12:06:30 +01001213 ScopedIndentation indent1(vios);
1214 vios->Stream() << StringPrintf("0x%04x -> 0x%04x\n", cur.NativePcOffset(), cur.DexPc());
Ian Rogers1809a722013-08-09 22:05:32 -07001215 }
Vladimir Marko8f1e08a2015-06-26 12:06:30 +01001216 vios->Stream() << "}\n";
Ian Rogers1809a722013-08-09 22:05:32 -07001217 }
1218 if (table.DexToPcSize() != 0) {
1219 typedef MappingTable::DexToPcIterator It;
Vladimir Marko8f1e08a2015-06-26 12:06:30 +01001220 vios->Stream() << "catch entry mappings {\n";
Ian Rogers1809a722013-08-09 22:05:32 -07001221 for (It cur = table.DexToPcBegin(), end = table.DexToPcEnd(); cur != end; ++cur) {
Vladimir Marko8f1e08a2015-06-26 12:06:30 +01001222 ScopedIndentation indent1(vios);
1223 vios->Stream() << StringPrintf("0x%04x -> 0x%04x\n", cur.NativePcOffset(), cur.DexPc());
Ian Rogers1809a722013-08-09 22:05:32 -07001224 }
Vladimir Marko8f1e08a2015-06-26 12:06:30 +01001225 vios->Stream() << "}\n";
Ian Rogers3a5c1ce2012-02-29 10:06:46 -08001226 }
1227 }
Ian Rogers3a5c1ce2012-02-29 10:06:46 -08001228 }
1229
Vladimir Marko8f1e08a2015-06-26 12:06:30 +01001230 uint32_t DumpInformationAtOffset(VariableIndentationOutputStream* vios,
Roland Levillainf2650d12015-05-28 14:53:28 +01001231 const OatFile::OatMethod& oat_method,
1232 const DexFile::CodeItem* code_item,
1233 size_t offset,
1234 bool suspend_point_mapping) {
1235 if (IsMethodGeneratedByOptimizingCompiler(oat_method, code_item)) {
1236 if (suspend_point_mapping) {
Vladimir Marko8f1e08a2015-06-26 12:06:30 +01001237 ScopedIndentation indent1(vios);
1238 DumpDexRegisterMapAtOffset(vios, oat_method, code_item, offset);
Roland Levillainf2650d12015-05-28 14:53:28 +01001239 }
1240 // The return value is not used in the case of a method compiled
1241 // with the optimizing compiler.
1242 return DexFile::kDexNoIndex;
1243 } else {
Vladimir Marko8f1e08a2015-06-26 12:06:30 +01001244 return DumpMappingAtOffset(vios->Stream(), oat_method, offset, suspend_point_mapping);
Roland Levillainf2650d12015-05-28 14:53:28 +01001245 }
1246 }
1247
Ian Rogers1809a722013-08-09 22:05:32 -07001248 uint32_t DumpMappingAtOffset(std::ostream& os, const OatFile::OatMethod& oat_method,
1249 size_t offset, bool suspend_point_mapping) {
1250 MappingTable table(oat_method.GetMappingTable());
1251 if (suspend_point_mapping && table.PcToDexSize() > 0) {
1252 typedef MappingTable::PcToDexIterator It;
1253 for (It cur = table.PcToDexBegin(), end = table.PcToDexEnd(); cur != end; ++cur) {
1254 if (offset == cur.NativePcOffset()) {
Brian Carlstrom4b8c13e2013-08-23 18:10:32 -07001255 os << StringPrintf("suspend point dex PC: 0x%04x\n", cur.DexPc());
Ian Rogers1809a722013-08-09 22:05:32 -07001256 return cur.DexPc();
1257 }
Elliott Hughese3c845c2012-02-28 17:23:01 -08001258 }
Ian Rogers1809a722013-08-09 22:05:32 -07001259 } else if (!suspend_point_mapping && table.DexToPcSize() > 0) {
1260 typedef MappingTable::DexToPcIterator It;
1261 for (It cur = table.DexToPcBegin(), end = table.DexToPcEnd(); cur != end; ++cur) {
1262 if (offset == cur.NativePcOffset()) {
Brian Carlstrom4b8c13e2013-08-23 18:10:32 -07001263 os << StringPrintf("catch entry dex PC: 0x%04x\n", cur.DexPc());
Ian Rogers1809a722013-08-09 22:05:32 -07001264 return cur.DexPc();
Ian Rogersb23a7722012-10-09 16:54:26 -07001265 }
1266 }
Elliott Hughese3c845c2012-02-28 17:23:01 -08001267 }
Ian Rogers2bcb4a42012-11-08 10:39:18 -08001268 return DexFile::kDexNoIndex;
Ian Rogersb23a7722012-10-09 16:54:26 -07001269 }
1270
Ian Rogers2bcb4a42012-11-08 10:39:18 -08001271 void DumpGcMapAtNativePcOffset(std::ostream& os, const OatFile::OatMethod& oat_method,
1272 const DexFile::CodeItem* code_item, size_t native_pc_offset) {
Mathieu Chartier957ca1c2014-11-21 16:51:29 -08001273 const uint8_t* gc_map_raw = oat_method.GetGcMap();
Andreas Gampe2ed8def2014-08-28 14:41:02 -07001274 if (gc_map_raw != nullptr) {
Ian Rogersb23a7722012-10-09 16:54:26 -07001275 NativePcOffsetToReferenceMap map(gc_map_raw);
Ian Rogers2bcb4a42012-11-08 10:39:18 -08001276 if (map.HasEntry(native_pc_offset)) {
Ian Rogersb23a7722012-10-09 16:54:26 -07001277 size_t num_regs = map.RegWidth() * 8;
Ian Rogers2bcb4a42012-11-08 10:39:18 -08001278 const uint8_t* reg_bitmap = map.FindBitMap(native_pc_offset);
Ian Rogersb23a7722012-10-09 16:54:26 -07001279 bool first = true;
1280 for (size_t reg = 0; reg < num_regs; reg++) {
1281 if (((reg_bitmap[reg / 8] >> (reg % 8)) & 0x01) != 0) {
1282 if (first) {
Ian Rogers2bcb4a42012-11-08 10:39:18 -08001283 os << "GC map objects: v" << reg << " (";
1284 DescribeVReg(os, oat_method, code_item, reg, kReferenceVReg);
Ian Rogersb23a7722012-10-09 16:54:26 -07001285 os << ")";
1286 first = false;
1287 } else {
1288 os << ", v" << reg << " (";
Ian Rogers2bcb4a42012-11-08 10:39:18 -08001289 DescribeVReg(os, oat_method, code_item, reg, kReferenceVReg);
Ian Rogersb23a7722012-10-09 16:54:26 -07001290 os << ")";
1291 }
1292 }
1293 }
1294 if (!first) {
1295 os << "\n";
1296 }
1297 }
1298 }
1299 }
1300
Mathieu Chartier590fee92013-09-13 13:46:47 -07001301 void DumpVRegsAtDexPc(std::ostream& os, verifier::MethodVerifier* verifier,
1302 const OatFile::OatMethod& oat_method,
1303 const DexFile::CodeItem* code_item, uint32_t dex_pc) {
1304 DCHECK(verifier != nullptr);
Ian Rogers7b3ddd22013-02-21 15:19:52 -08001305 std::vector<int32_t> kinds = verifier->DescribeVRegs(dex_pc);
Ian Rogers2bcb4a42012-11-08 10:39:18 -08001306 bool first = true;
Ian Rogers2bcb4a42012-11-08 10:39:18 -08001307 for (size_t reg = 0; reg < code_item->registers_size_; reg++) {
1308 VRegKind kind = static_cast<VRegKind>(kinds.at(reg * 2));
1309 if (kind != kUndefined) {
1310 if (first) {
1311 os << "VRegs: v";
1312 first = false;
1313 } else {
1314 os << ", v";
1315 }
1316 os << reg << " (";
1317 switch (kind) {
1318 case kImpreciseConstant:
1319 os << "Imprecise Constant: " << kinds.at((reg * 2) + 1) << ", ";
1320 DescribeVReg(os, oat_method, code_item, reg, kind);
1321 break;
1322 case kConstant:
1323 os << "Constant: " << kinds.at((reg * 2) + 1);
1324 break;
1325 default:
1326 DescribeVReg(os, oat_method, code_item, reg, kind);
1327 break;
1328 }
1329 os << ")";
1330 }
1331 }
1332 if (!first) {
1333 os << "\n";
1334 }
1335 }
1336
1337
Ian Rogersb23a7722012-10-09 16:54:26 -07001338 void DumpDexCode(std::ostream& os, const DexFile& dex_file, const DexFile::CodeItem* code_item) {
Andreas Gampe2ed8def2014-08-28 14:41:02 -07001339 if (code_item != nullptr) {
Ian Rogersb23a7722012-10-09 16:54:26 -07001340 size_t i = 0;
1341 while (i < code_item->insns_size_in_code_units_) {
1342 const Instruction* instruction = Instruction::At(&code_item->insns_[i]);
Anestis Bechtsoudis32f500d2015-02-22 22:32:57 -08001343 os << StringPrintf("0x%04zx: ", i) << instruction->DumpHexLE(5)
1344 << StringPrintf("\t| %s\n", instruction->DumpString(&dex_file).c_str());
Ian Rogersb23a7722012-10-09 16:54:26 -07001345 i += instruction->SizeInCodeUnits();
1346 }
1347 }
1348 }
1349
Roland Levillainf2650d12015-05-28 14:53:28 +01001350 // Has `oat_method` -- corresponding to the Dex `code_item` -- been compiled by
1351 // the optimizing compiler?
1352 static bool IsMethodGeneratedByOptimizingCompiler(const OatFile::OatMethod& oat_method,
1353 const DexFile::CodeItem* code_item) {
1354 // If the native GC map is null and the Dex `code_item` is not
1355 // null, then this method has been compiled with the optimizing
1356 // compiler.
Nicolas Geoffray0a5cd122015-07-16 14:15:05 +01001357 return oat_method.GetQuickCode() != nullptr &&
1358 oat_method.GetGcMap() == nullptr &&
1359 code_item != nullptr;
1360 }
1361
1362 // Has `oat_method` -- corresponding to the Dex `code_item` -- been compiled by
1363 // the dextodex compiler?
1364 static bool IsMethodGeneratedByDexToDexCompiler(const OatFile::OatMethod& oat_method,
1365 const DexFile::CodeItem* code_item) {
1366 // If the quick code is null, the Dex `code_item` is not
1367 // null, and the vmap table is not null, then this method has been compiled
1368 // with the dextodex compiler.
1369 return oat_method.GetQuickCode() == nullptr &&
1370 oat_method.GetVmapTable() != nullptr &&
1371 code_item != nullptr;
Roland Levillainf2650d12015-05-28 14:53:28 +01001372 }
1373
Vladimir Marko8f1e08a2015-06-26 12:06:30 +01001374 void DumpDexRegisterMapAtOffset(VariableIndentationOutputStream* vios,
Roland Levillainf2650d12015-05-28 14:53:28 +01001375 const OatFile::OatMethod& oat_method,
1376 const DexFile::CodeItem* code_item,
1377 size_t offset) {
1378 // This method is only relevant for oat methods compiled with the
1379 // optimizing compiler.
1380 DCHECK(IsMethodGeneratedByOptimizingCompiler(oat_method, code_item));
1381
1382 // The optimizing compiler outputs its CodeInfo data in the vmap table.
1383 const void* raw_code_info = oat_method.GetVmapTable();
1384 if (raw_code_info != nullptr) {
1385 CodeInfo code_info(raw_code_info);
David Brazdilf677ebf2015-05-29 16:29:43 +01001386 StackMapEncoding encoding = code_info.ExtractEncoding();
1387 StackMap stack_map = code_info.GetStackMapForNativePcOffset(offset, encoding);
Roland Levillainf2650d12015-05-28 14:53:28 +01001388 if (stack_map.IsValid()) {
Vladimir Marko8f1e08a2015-06-26 12:06:30 +01001389 stack_map.Dump(vios, code_info, encoding, oat_method.GetCodeOffset(),
1390 code_item->registers_size_);
Roland Levillainf2650d12015-05-28 14:53:28 +01001391 }
1392 }
1393 }
1394
Vladimir Marko8f1e08a2015-06-26 12:06:30 +01001395 verifier::MethodVerifier* DumpVerifier(VariableIndentationOutputStream* vios,
Mathieu Chartier3ae6b1d2015-08-14 14:03:10 -07001396 StackHandleScope<1>* hs,
Vladimir Marko8f1e08a2015-06-26 12:06:30 +01001397 uint32_t dex_method_idx,
Andreas Gampe2ed8def2014-08-28 14:41:02 -07001398 const DexFile* dex_file,
1399 const DexFile::ClassDef& class_def,
1400 const DexFile::CodeItem* code_item,
1401 uint32_t method_access_flags) {
Ian Rogers2bcb4a42012-11-08 10:39:18 -08001402 if ((method_access_flags & kAccNative) == 0) {
1403 ScopedObjectAccess soa(Thread::Current());
Mathieu Chartiereb8167a2014-05-07 15:43:14 -07001404 Handle<mirror::DexCache> dex_cache(
Mathieu Chartier3ae6b1d2015-08-14 14:03:10 -07001405 hs->NewHandle(Runtime::Current()->GetClassLinker()->RegisterDexFile(*dex_file)));
Anestis Bechtsoudis32f500d2015-02-22 22:32:57 -08001406 DCHECK(options_.class_loader_ != nullptr);
Mathieu Chartiere401d142015-04-22 13:56:20 -07001407 return verifier::MethodVerifier::VerifyMethodAndDump(
Vladimir Marko8f1e08a2015-06-26 12:06:30 +01001408 soa.Self(), vios, dex_method_idx, dex_file, dex_cache, *options_.class_loader_,
1409 &class_def, code_item, nullptr, method_access_flags);
Ian Rogers2bcb4a42012-11-08 10:39:18 -08001410 }
Andreas Gampe2ed8def2014-08-28 14:41:02 -07001411
1412 return nullptr;
Ian Rogers2bcb4a42012-11-08 10:39:18 -08001413 }
1414
Vladimir Marko8f1e08a2015-06-26 12:06:30 +01001415 void DumpCode(VariableIndentationOutputStream* vios,
1416 verifier::MethodVerifier* verifier,
Brian Carlstrom2cbaccb2014-09-14 20:34:17 -07001417 const OatFile::OatMethod& oat_method, const DexFile::CodeItem* code_item,
1418 bool bad_input, size_t code_size) {
Ian Rogersef7d42f2014-01-06 12:55:46 -08001419 const void* quick_code = oat_method.GetQuickCode();
1420
Brian Carlstrom2cbaccb2014-09-14 20:34:17 -07001421 if (code_size == 0) {
1422 code_size = oat_method.GetQuickCodeSize();
1423 }
Elliott Hughes956af0f2014-12-11 14:34:28 -08001424 if (code_size == 0 || quick_code == nullptr) {
Vladimir Marko8f1e08a2015-06-26 12:06:30 +01001425 vios->Stream() << "NO CODE!\n";
Ian Rogersb23a7722012-10-09 16:54:26 -07001426 return;
Elliott Hughes956af0f2014-12-11 14:34:28 -08001427 } else {
Ian Rogersef7d42f2014-01-06 12:55:46 -08001428 const uint8_t* quick_native_pc = reinterpret_cast<const uint8_t*>(quick_code);
1429 size_t offset = 0;
1430 while (offset < code_size) {
Brian Carlstrom2cbaccb2014-09-14 20:34:17 -07001431 if (!bad_input) {
Vladimir Marko8f1e08a2015-06-26 12:06:30 +01001432 DumpInformationAtOffset(vios, oat_method, code_item, offset, false);
Brian Carlstrom2cbaccb2014-09-14 20:34:17 -07001433 }
Vladimir Marko8f1e08a2015-06-26 12:06:30 +01001434 offset += disassembler_->Dump(vios->Stream(), quick_native_pc + offset);
Brian Carlstrom2cbaccb2014-09-14 20:34:17 -07001435 if (!bad_input) {
Vladimir Marko8f1e08a2015-06-26 12:06:30 +01001436 uint32_t dex_pc =
1437 DumpInformationAtOffset(vios, oat_method, code_item, offset, true);
Brian Carlstrom2cbaccb2014-09-14 20:34:17 -07001438 if (dex_pc != DexFile::kDexNoIndex) {
Vladimir Marko8f1e08a2015-06-26 12:06:30 +01001439 DumpGcMapAtNativePcOffset(vios->Stream(), oat_method, code_item, offset);
Brian Carlstrom2cbaccb2014-09-14 20:34:17 -07001440 if (verifier != nullptr) {
Vladimir Marko8f1e08a2015-06-26 12:06:30 +01001441 DumpVRegsAtDexPc(vios->Stream(), verifier, oat_method, code_item, dex_pc);
Brian Carlstrom2cbaccb2014-09-14 20:34:17 -07001442 }
Ian Rogersef7d42f2014-01-06 12:55:46 -08001443 }
Ian Rogers2bcb4a42012-11-08 10:39:18 -08001444 }
1445 }
Ian Rogersb23a7722012-10-09 16:54:26 -07001446 }
1447 }
1448
Ian Rogers3a5c1ce2012-02-29 10:06:46 -08001449 const OatFile& oat_file_;
Brian Carlstrom2cbaccb2014-09-14 20:34:17 -07001450 const std::vector<const OatFile::OatDexFile*> oat_dex_files_;
Anestis Bechtsoudis32f500d2015-02-22 22:32:57 -08001451 const OatDumperOptions& options_;
1452 uint32_t resolved_addr2instr_;
Mathieu Chartiera7dd0382014-11-20 17:08:58 -08001453 InstructionSet instruction_set_;
Ian Rogersef7d42f2014-01-06 12:55:46 -08001454 std::set<uintptr_t> offsets_;
Brian Carlstrom2cbaccb2014-09-14 20:34:17 -07001455 Disassembler* disassembler_;
Brian Carlstromaded5f72011-10-07 17:15:04 -07001456};
1457
Ian Rogers3a5c1ce2012-02-29 10:06:46 -08001458class ImageDumper {
Brian Carlstrom27ec9612011-09-19 20:20:38 -07001459 public:
Roland Levillain3887c462015-08-12 18:15:42 +01001460 ImageDumper(std::ostream* os, gc::space::ImageSpace& image_space,
1461 const ImageHeader& image_header, OatDumperOptions* oat_dumper_options)
Brian Carlstrom2cbaccb2014-09-14 20:34:17 -07001462 : os_(os),
Vladimir Marko8f1e08a2015-06-26 12:06:30 +01001463 vios_(os),
1464 indent1_(&vios_),
Brian Carlstrom2cbaccb2014-09-14 20:34:17 -07001465 image_space_(image_space),
1466 image_header_(image_header),
1467 oat_dumper_options_(oat_dumper_options) {}
Brian Carlstrom27ec9612011-09-19 20:20:38 -07001468
Mathieu Chartier90443472015-07-16 20:32:27 -07001469 bool Dump() SHARED_REQUIRES(Locks::mutator_lock_) {
Ian Rogers2bcb4a42012-11-08 10:39:18 -08001470 std::ostream& os = *os_;
Vladimir Marko8f1e08a2015-06-26 12:06:30 +01001471 std::ostream& indent_os = vios_.Stream();
1472
Ian Rogers2bcb4a42012-11-08 10:39:18 -08001473 os << "MAGIC: " << image_header_.GetMagic() << "\n\n";
Brian Carlstrome24fa612011-09-29 00:53:55 -07001474
Ian Rogers2bcb4a42012-11-08 10:39:18 -08001475 os << "IMAGE BEGIN: " << reinterpret_cast<void*>(image_header_.GetImageBegin()) << "\n\n";
Brian Carlstromaded5f72011-10-07 17:15:04 -07001476
Mathieu Chartiere401d142015-04-22 13:56:20 -07001477 os << "IMAGE SIZE: " << image_header_.GetImageSize() << "\n\n";
1478
1479 for (size_t i = 0; i < ImageHeader::kSectionCount; ++i) {
1480 auto section = static_cast<ImageHeader::ImageSections>(i);
1481 os << "IMAGE SECTION " << section << ": " << image_header_.GetImageSection(section) << "\n\n";
1482 }
Mathieu Chartier31e89252013-08-28 11:29:12 -07001483
Ian Rogers2bcb4a42012-11-08 10:39:18 -08001484 os << "OAT CHECKSUM: " << StringPrintf("0x%08x\n\n", image_header_.GetOatChecksum());
Brian Carlstrom916e74e2011-09-23 11:42:01 -07001485
Brian Carlstrom700c8d32012-11-05 10:42:02 -08001486 os << "OAT FILE BEGIN:" << reinterpret_cast<void*>(image_header_.GetOatFileBegin()) << "\n\n";
Brian Carlstromaded5f72011-10-07 17:15:04 -07001487
Brian Carlstrom700c8d32012-11-05 10:42:02 -08001488 os << "OAT DATA BEGIN:" << reinterpret_cast<void*>(image_header_.GetOatDataBegin()) << "\n\n";
1489
1490 os << "OAT DATA END:" << reinterpret_cast<void*>(image_header_.GetOatDataEnd()) << "\n\n";
1491
1492 os << "OAT FILE END:" << reinterpret_cast<void*>(image_header_.GetOatFileEnd()) << "\n\n";
Ian Rogers3a5c1ce2012-02-29 10:06:46 -08001493
Alex Lighta59dd802014-07-02 16:28:08 -07001494 os << "PATCH DELTA:" << image_header_.GetPatchDelta() << "\n\n";
1495
Igor Murashkin46774762014-10-22 11:37:02 -07001496 os << "COMPILE PIC: " << (image_header_.CompilePic() ? "yes" : "no") << "\n\n";
1497
Ian Rogers2bcb4a42012-11-08 10:39:18 -08001498 {
1499 os << "ROOTS: " << reinterpret_cast<void*>(image_header_.GetImageRoots()) << "\n";
Mathieu Chartiere401d142015-04-22 13:56:20 -07001500 static_assert(arraysize(image_roots_descriptions_) ==
1501 static_cast<size_t>(ImageHeader::kImageRootsMax), "sizes must match");
Ian Rogers2bcb4a42012-11-08 10:39:18 -08001502 for (int i = 0; i < ImageHeader::kImageRootsMax; i++) {
1503 ImageHeader::ImageRoot image_root = static_cast<ImageHeader::ImageRoot>(i);
1504 const char* image_root_description = image_roots_descriptions_[i];
Ian Rogers2dd0e2c2013-01-24 12:42:14 -08001505 mirror::Object* image_root_object = image_header_.GetImageRoot(image_root);
Vladimir Marko8f1e08a2015-06-26 12:06:30 +01001506 indent_os << StringPrintf("%s: %p\n", image_root_description, image_root_object);
Ian Rogers2bcb4a42012-11-08 10:39:18 -08001507 if (image_root_object->IsObjectArray()) {
Ian Rogers2dd0e2c2013-01-24 12:42:14 -08001508 mirror::ObjectArray<mirror::Object>* image_root_object_array
Ian Rogersfa824272013-11-05 16:12:57 -08001509 = image_root_object->AsObjectArray<mirror::Object>();
Vladimir Marko8f1e08a2015-06-26 12:06:30 +01001510 ScopedIndentation indent2(&vios_);
Andreas Gampe277ccbd2014-11-03 21:36:10 -08001511 for (int j = 0; j < image_root_object_array->GetLength(); j++) {
1512 mirror::Object* value = image_root_object_array->Get(j);
Ian Rogersfa824272013-11-05 16:12:57 -08001513 size_t run = 0;
Andreas Gampe277ccbd2014-11-03 21:36:10 -08001514 for (int32_t k = j + 1; k < image_root_object_array->GetLength(); k++) {
1515 if (value == image_root_object_array->Get(k)) {
Ian Rogersfa824272013-11-05 16:12:57 -08001516 run++;
1517 } else {
1518 break;
1519 }
1520 }
1521 if (run == 0) {
Vladimir Marko8f1e08a2015-06-26 12:06:30 +01001522 indent_os << StringPrintf("%d: ", j);
Ian Rogersfa824272013-11-05 16:12:57 -08001523 } else {
Vladimir Marko8f1e08a2015-06-26 12:06:30 +01001524 indent_os << StringPrintf("%d to %zd: ", j, j + run);
Andreas Gampe277ccbd2014-11-03 21:36:10 -08001525 j = j + run;
Ian Rogersfa824272013-11-05 16:12:57 -08001526 }
Andreas Gampe2ed8def2014-08-28 14:41:02 -07001527 if (value != nullptr) {
Vladimir Marko8f1e08a2015-06-26 12:06:30 +01001528 PrettyObjectValue(indent_os, value->GetClass(), value);
Ian Rogers2bcb4a42012-11-08 10:39:18 -08001529 } else {
Vladimir Marko8f1e08a2015-06-26 12:06:30 +01001530 indent_os << j << ": null\n";
Ian Rogers2bcb4a42012-11-08 10:39:18 -08001531 }
Ian Rogersd5b32602012-02-26 16:40:04 -08001532 }
Brian Carlstrom34f426c2011-10-04 12:58:02 -07001533 }
1534 }
Vladimir Marko8f1e08a2015-06-26 12:06:30 +01001535 }
Mathieu Chartiere401d142015-04-22 13:56:20 -07001536
Vladimir Marko8f1e08a2015-06-26 12:06:30 +01001537 {
Mathieu Chartiere401d142015-04-22 13:56:20 -07001538 os << "METHOD ROOTS\n";
1539 static_assert(arraysize(image_methods_descriptions_) ==
1540 static_cast<size_t>(ImageHeader::kImageMethodsCount), "sizes must match");
1541 for (int i = 0; i < ImageHeader::kImageMethodsCount; i++) {
1542 auto image_root = static_cast<ImageHeader::ImageMethod>(i);
1543 const char* description = image_methods_descriptions_[i];
1544 auto* image_method = image_header_.GetImageMethod(image_root);
Vladimir Marko8f1e08a2015-06-26 12:06:30 +01001545 indent_os << StringPrintf("%s: %p\n", description, image_method);
Mathieu Chartiere401d142015-04-22 13:56:20 -07001546 }
Brian Carlstrom27ec9612011-09-19 20:20:38 -07001547 }
Ian Rogers2bcb4a42012-11-08 10:39:18 -08001548 os << "\n";
Brian Carlstrom27ec9612011-09-19 20:20:38 -07001549
Brian Carlstromaded5f72011-10-07 17:15:04 -07001550 ClassLinker* class_linker = Runtime::Current()->GetClassLinker();
Brian Carlstrom2ec65202014-03-03 15:16:37 -08001551 std::string image_filename = image_space_.GetImageFilename();
1552 std::string oat_location = ImageHeader::GetOatLocationFromImageLocation(image_filename);
Ian Rogers2bcb4a42012-11-08 10:39:18 -08001553 os << "OAT LOCATION: " << oat_location;
Ian Rogers2bcb4a42012-11-08 10:39:18 -08001554 os << "\n";
Ian Rogers8d31bbd2013-10-13 10:44:14 -07001555 std::string error_msg;
Alex Lighta59dd802014-07-02 16:28:08 -07001556 const OatFile* oat_file = class_linker->FindOpenedOatFileFromOatLocation(oat_location);
1557 if (oat_file == nullptr) {
Richard Uhlere5fed032015-03-18 08:21:11 -07001558 oat_file = OatFile::Open(oat_location, oat_location,
1559 nullptr, nullptr, false, nullptr,
Igor Murashkinb1d8c312015-08-04 11:18:43 -07001560 &error_msg);
Alex Lighta59dd802014-07-02 16:28:08 -07001561 if (oat_file == nullptr) {
1562 os << "NOT FOUND: " << error_msg << "\n";
Brian Carlstrom2cbaccb2014-09-14 20:34:17 -07001563 return false;
Alex Lighta59dd802014-07-02 16:28:08 -07001564 }
Brian Carlstromaded5f72011-10-07 17:15:04 -07001565 }
Ian Rogers2bcb4a42012-11-08 10:39:18 -08001566 os << "\n";
Brian Carlstromaded5f72011-10-07 17:15:04 -07001567
Ian Rogers3a5c1ce2012-02-29 10:06:46 -08001568 stats_.oat_file_bytes = oat_file->Size();
1569
Anestis Bechtsoudis32f500d2015-02-22 22:32:57 -08001570 oat_dumper_.reset(new OatDumper(*oat_file, *oat_dumper_options_));
Ian Rogers3a5c1ce2012-02-29 10:06:46 -08001571
Mathieu Chartier02e25112013-08-14 16:14:24 -07001572 for (const OatFile::OatDexFile* oat_dex_file : oat_file->GetOatDexFiles()) {
Andreas Gampe2ed8def2014-08-28 14:41:02 -07001573 CHECK(oat_dex_file != nullptr);
Mathieu Chartier02e25112013-08-14 16:14:24 -07001574 stats_.oat_dex_file_sizes.push_back(std::make_pair(oat_dex_file->GetDexFileLocation(),
1575 oat_dex_file->FileSize()));
Ian Rogers05f28c62012-10-23 18:12:13 -07001576 }
1577
Ian Rogers2bcb4a42012-11-08 10:39:18 -08001578 os << "OBJECTS:\n" << std::flush;
Mathieu Chartierb062fdd2012-07-03 09:51:48 -07001579
1580 // Loop through all the image spaces and dump their objects.
Ian Rogers1d54e732013-05-02 21:10:01 -07001581 gc::Heap* heap = Runtime::Current()->GetHeap();
1582 const std::vector<gc::space::ContinuousSpace*>& spaces = heap->GetContinuousSpaces();
Ian Rogers50b35e22012-10-04 10:09:15 -07001583 Thread* self = Thread::Current();
Mathieu Chartier357e9be2012-08-01 11:00:14 -07001584 {
Mathieu Chartierc22c59e2014-02-24 15:16:06 -08001585 {
1586 WriterMutexLock mu(self, *Locks::heap_bitmap_lock_);
1587 heap->FlushAllocStack();
1588 }
Hiroshi Yamauchi90d70682014-02-20 16:17:30 -08001589 // Since FlushAllocStack() above resets the (active) allocation
1590 // stack. Need to revoke the thread-local allocation stacks that
1591 // point into it.
Mathieu Chartierc22c59e2014-02-24 15:16:06 -08001592 {
1593 self->TransitionFromRunnableToSuspended(kNative);
1594 ThreadList* thread_list = Runtime::Current()->GetThreadList();
Mathieu Chartierbf9fc582015-03-13 17:21:25 -07001595 thread_list->SuspendAll(__FUNCTION__);
Mathieu Chartierc22c59e2014-02-24 15:16:06 -08001596 heap->RevokeAllThreadLocalAllocationStacks(self);
1597 thread_list->ResumeAll();
1598 self->TransitionFromSuspendedToRunnable();
1599 }
Mathieu Chartier357e9be2012-08-01 11:00:14 -07001600 }
Ian Rogers2bcb4a42012-11-08 10:39:18 -08001601 {
Mathieu Chartiere401d142015-04-22 13:56:20 -07001602 // Mark dex caches.
1603 dex_cache_arrays_.clear();
1604 {
1605 ReaderMutexLock mu(self, *class_linker->DexLock());
Mathieu Chartier3ae6b1d2015-08-14 14:03:10 -07001606 for (jobject weak_root : class_linker->GetDexCaches()) {
1607 mirror::DexCache* dex_cache =
1608 down_cast<mirror::DexCache*>(self->DecodeJObject(weak_root));
1609 if (dex_cache != nullptr) {
1610 dex_cache_arrays_.insert(dex_cache->GetResolvedFields());
1611 dex_cache_arrays_.insert(dex_cache->GetResolvedMethods());
1612 }
Mathieu Chartiere401d142015-04-22 13:56:20 -07001613 }
1614 }
Ian Rogers2bcb4a42012-11-08 10:39:18 -08001615 ReaderMutexLock mu(self, *Locks::heap_bitmap_lock_);
Mathieu Chartier02e25112013-08-14 16:14:24 -07001616 for (const auto& space : spaces) {
Ian Rogers2bcb4a42012-11-08 10:39:18 -08001617 if (space->IsImageSpace()) {
Mathieu Chartiere401d142015-04-22 13:56:20 -07001618 auto* image_space = space->AsImageSpace();
1619 // Dump the normal objects before ArtMethods.
Ian Rogers2bcb4a42012-11-08 10:39:18 -08001620 image_space->GetLiveBitmap()->Walk(ImageDumper::Callback, this);
1621 indent_os << "\n";
Mathieu Chartiere401d142015-04-22 13:56:20 -07001622 // TODO: Dump fields.
1623 // Dump methods after.
1624 const auto& methods_section = image_header_.GetMethodsSection();
Mathieu Chartier54d220e2015-07-30 16:20:06 -07001625 const size_t pointer_size =
Mathieu Chartiere401d142015-04-22 13:56:20 -07001626 InstructionSetPointerSize(oat_dumper_->GetOatInstructionSet());
Mathieu Chartier54d220e2015-07-30 16:20:06 -07001627 DumpArtMethodVisitor visitor(this);
Vladimir Markocf36d492015-08-12 19:27:26 +01001628 methods_section.VisitPackedArtMethods(&visitor, image_space->Begin(), pointer_size);
Ian Rogers2bcb4a42012-11-08 10:39:18 -08001629 }
Mathieu Chartier2fde5332012-09-14 14:51:54 -07001630 }
Ian Rogers2bcb4a42012-11-08 10:39:18 -08001631 // Dump the large objects separately.
Mathieu Chartierbbd695c2014-04-16 09:48:48 -07001632 heap->GetLargeObjectsSpace()->GetLiveBitmap()->Walk(ImageDumper::Callback, this);
Ian Rogers2bcb4a42012-11-08 10:39:18 -08001633 indent_os << "\n";
Mathieu Chartierb062fdd2012-07-03 09:51:48 -07001634 }
Ian Rogers2bcb4a42012-11-08 10:39:18 -08001635 os << "STATS:\n" << std::flush;
Ian Rogers700a4022014-05-19 16:49:03 -07001636 std::unique_ptr<File> file(OS::OpenFileForReading(image_filename.c_str()));
Andreas Gampe2ed8def2014-08-28 14:41:02 -07001637 if (file.get() == nullptr) {
Brian Carlstrom2ec65202014-03-03 15:16:37 -08001638 LOG(WARNING) << "Failed to find image in " << image_filename;
Brian Carlstrom6f277752013-09-30 17:56:45 -07001639 }
Andreas Gampe2ed8def2014-08-28 14:41:02 -07001640 if (file.get() != nullptr) {
Brian Carlstrom2ec65202014-03-03 15:16:37 -08001641 stats_.file_bytes = file->GetLength();
Brian Carlstrom6f277752013-09-30 17:56:45 -07001642 }
Ian Rogers3a5c1ce2012-02-29 10:06:46 -08001643 size_t header_bytes = sizeof(ImageHeader);
Mathieu Chartiere401d142015-04-22 13:56:20 -07001644 const auto& bitmap_section = image_header_.GetImageSection(ImageHeader::kSectionImageBitmap);
1645 const auto& field_section = image_header_.GetImageSection(ImageHeader::kSectionArtFields);
1646 const auto& method_section = image_header_.GetMethodsSection();
Mathieu Chartierd39645e2015-06-09 17:50:29 -07001647 const auto& intern_section = image_header_.GetImageSection(
1648 ImageHeader::kSectionInternedStrings);
Ian Rogers3a5c1ce2012-02-29 10:06:46 -08001649 stats_.header_bytes = header_bytes;
Vladimir Markocf36d492015-08-12 19:27:26 +01001650 stats_.alignment_bytes += RoundUp(header_bytes, kObjectAlignment) - header_bytes;
1651 // Add padding between the field and method section.
1652 // (Field section is 4-byte aligned, method section is 8-byte aligned on 64-bit targets.)
1653 stats_.alignment_bytes +=
1654 method_section.Offset() - (field_section.Offset() + field_section.Size());
1655 // Add padding between the method section and the intern table.
1656 // (Method section is 4-byte aligned on 32-bit targets, intern table is 8-byte aligned.)
1657 stats_.alignment_bytes +=
1658 intern_section.Offset() - (method_section.Offset() + method_section.Size());
Mathieu Chartiere401d142015-04-22 13:56:20 -07001659 stats_.alignment_bytes += bitmap_section.Offset() - image_header_.GetImageSize();
1660 stats_.bitmap_bytes += bitmap_section.Size();
1661 stats_.art_field_bytes += field_section.Size();
Vladimir Markocf36d492015-08-12 19:27:26 +01001662 stats_.art_method_bytes += method_section.Size();
Mathieu Chartierd39645e2015-06-09 17:50:29 -07001663 stats_.interned_strings_bytes += intern_section.Size();
Vladimir Marko8f1e08a2015-06-26 12:06:30 +01001664 stats_.Dump(os, indent_os);
Ian Rogers2bcb4a42012-11-08 10:39:18 -08001665 os << "\n";
Ian Rogers3a5c1ce2012-02-29 10:06:46 -08001666
Ian Rogers2bcb4a42012-11-08 10:39:18 -08001667 os << std::flush;
Ian Rogers3a5c1ce2012-02-29 10:06:46 -08001668
Brian Carlstrom2cbaccb2014-09-14 20:34:17 -07001669 return oat_dumper_->Dump(os);
Brian Carlstrom78128a62011-09-15 17:21:19 -07001670 }
1671
Brian Carlstrom27ec9612011-09-19 20:20:38 -07001672 private:
Mathieu Chartier54d220e2015-07-30 16:20:06 -07001673 class DumpArtMethodVisitor : public ArtMethodVisitor {
1674 public:
1675 explicit DumpArtMethodVisitor(ImageDumper* image_dumper) : image_dumper_(image_dumper) {}
1676
1677 virtual void Visit(ArtMethod* method) OVERRIDE SHARED_REQUIRES(Locks::mutator_lock_) {
1678 std::ostream& indent_os = image_dumper_->vios_.Stream();
1679 indent_os << method << " " << " ArtMethod: " << PrettyMethod(method) << "\n";
1680 image_dumper_->DumpMethod(method, image_dumper_, indent_os);
1681 indent_os << "\n";
1682 }
1683
1684 private:
1685 ImageDumper* const image_dumper_;
1686 };
1687
Ian Rogers2dd0e2c2013-01-24 12:42:14 -08001688 static void PrettyObjectValue(std::ostream& os, mirror::Class* type, mirror::Object* value)
Mathieu Chartier90443472015-07-16 20:32:27 -07001689 SHARED_REQUIRES(Locks::mutator_lock_) {
Andreas Gampe2ed8def2014-08-28 14:41:02 -07001690 CHECK(type != nullptr);
1691 if (value == nullptr) {
Ian Rogers2bcb4a42012-11-08 10:39:18 -08001692 os << StringPrintf("null %s\n", PrettyDescriptor(type).c_str());
Ian Rogersd5b32602012-02-26 16:40:04 -08001693 } else if (type->IsStringClass()) {
Ian Rogers2dd0e2c2013-01-24 12:42:14 -08001694 mirror::String* string = value->AsString();
Ian Rogers2bcb4a42012-11-08 10:39:18 -08001695 os << StringPrintf("%p String: %s\n", string,
Ian Rogers68b56852014-08-29 20:19:11 -07001696 PrintableString(string->ToModifiedUtf8().c_str()).c_str());
Ian Rogers64b6d142012-10-29 16:34:15 -07001697 } else if (type->IsClassClass()) {
Ian Rogers2dd0e2c2013-01-24 12:42:14 -08001698 mirror::Class* klass = value->AsClass();
Ian Rogers2bcb4a42012-11-08 10:39:18 -08001699 os << StringPrintf("%p Class: %s\n", klass, PrettyDescriptor(klass).c_str());
Ian Rogersd5b32602012-02-26 16:40:04 -08001700 } else {
Ian Rogers2bcb4a42012-11-08 10:39:18 -08001701 os << StringPrintf("%p %s\n", value, PrettyDescriptor(type).c_str());
Ian Rogersd5b32602012-02-26 16:40:04 -08001702 }
1703 }
1704
Mathieu Chartierc7853442015-03-27 14:35:38 -07001705 static void PrintField(std::ostream& os, ArtField* field, mirror::Object* obj)
Mathieu Chartier90443472015-07-16 20:32:27 -07001706 SHARED_REQUIRES(Locks::mutator_lock_) {
Mathieu Chartier61c5ebc2014-06-05 17:42:53 -07001707 os << StringPrintf("%s: ", field->GetName());
Ian Rogers08f1f502014-12-02 15:04:37 -08001708 switch (field->GetTypeAsPrimitiveType()) {
1709 case Primitive::kPrimLong:
Ian Rogersef7d42f2014-01-06 12:55:46 -08001710 os << StringPrintf("%" PRId64 " (0x%" PRIx64 ")\n", field->Get64(obj), field->Get64(obj));
Ian Rogers08f1f502014-12-02 15:04:37 -08001711 break;
1712 case Primitive::kPrimDouble:
Ian Rogers2bcb4a42012-11-08 10:39:18 -08001713 os << StringPrintf("%f (%a)\n", field->GetDouble(obj), field->GetDouble(obj));
Ian Rogers08f1f502014-12-02 15:04:37 -08001714 break;
1715 case Primitive::kPrimFloat:
Ian Rogers2bcb4a42012-11-08 10:39:18 -08001716 os << StringPrintf("%f (%a)\n", field->GetFloat(obj), field->GetFloat(obj));
Ian Rogers08f1f502014-12-02 15:04:37 -08001717 break;
1718 case Primitive::kPrimInt:
Ian Rogers2bcb4a42012-11-08 10:39:18 -08001719 os << StringPrintf("%d (0x%x)\n", field->Get32(obj), field->Get32(obj));
Ian Rogers08f1f502014-12-02 15:04:37 -08001720 break;
1721 case Primitive::kPrimChar:
Fred Shih37f05ef2014-07-16 18:38:08 -07001722 os << StringPrintf("%u (0x%x)\n", field->GetChar(obj), field->GetChar(obj));
Ian Rogers08f1f502014-12-02 15:04:37 -08001723 break;
1724 case Primitive::kPrimShort:
Fred Shih37f05ef2014-07-16 18:38:08 -07001725 os << StringPrintf("%d (0x%x)\n", field->GetShort(obj), field->GetShort(obj));
Ian Rogers08f1f502014-12-02 15:04:37 -08001726 break;
1727 case Primitive::kPrimBoolean:
Fred Shih37f05ef2014-07-16 18:38:08 -07001728 os << StringPrintf("%s (0x%x)\n", field->GetBoolean(obj)? "true" : "false",
1729 field->GetBoolean(obj));
Ian Rogers08f1f502014-12-02 15:04:37 -08001730 break;
1731 case Primitive::kPrimByte:
Fred Shih37f05ef2014-07-16 18:38:08 -07001732 os << StringPrintf("%d (0x%x)\n", field->GetByte(obj), field->GetByte(obj));
Ian Rogers08f1f502014-12-02 15:04:37 -08001733 break;
1734 case Primitive::kPrimNot: {
1735 // Get the value, don't compute the type unless it is non-null as we don't want
1736 // to cause class loading.
1737 mirror::Object* value = field->GetObj(obj);
1738 if (value == nullptr) {
1739 os << StringPrintf("null %s\n", PrettyDescriptor(field->GetTypeDescriptor()).c_str());
Ian Rogers50239c72013-06-17 14:53:22 -07001740 } else {
Ian Rogers08f1f502014-12-02 15:04:37 -08001741 // Grab the field type without causing resolution.
Mathieu Chartierdaaf3262015-03-24 13:30:28 -07001742 mirror::Class* field_type = field->GetType<false>();
Ian Rogers08f1f502014-12-02 15:04:37 -08001743 if (field_type != nullptr) {
1744 PrettyObjectValue(os, field_type, value);
1745 } else {
1746 os << StringPrintf("%p %s\n", value,
1747 PrettyDescriptor(field->GetTypeDescriptor()).c_str());
1748 }
Ian Rogers50239c72013-06-17 14:53:22 -07001749 }
Ian Rogers08f1f502014-12-02 15:04:37 -08001750 break;
Ian Rogers48efc2b2012-08-27 17:20:31 -07001751 }
Ian Rogers08f1f502014-12-02 15:04:37 -08001752 default:
1753 os << "unexpected field type: " << field->GetTypeDescriptor() << "\n";
1754 break;
Ian Rogersd5b32602012-02-26 16:40:04 -08001755 }
1756 }
1757
Ian Rogers2dd0e2c2013-01-24 12:42:14 -08001758 static void DumpFields(std::ostream& os, mirror::Object* obj, mirror::Class* klass)
Mathieu Chartier90443472015-07-16 20:32:27 -07001759 SHARED_REQUIRES(Locks::mutator_lock_) {
Ian Rogers2dd0e2c2013-01-24 12:42:14 -08001760 mirror::Class* super = klass->GetSuperClass();
Andreas Gampe2ed8def2014-08-28 14:41:02 -07001761 if (super != nullptr) {
Ian Rogers2bcb4a42012-11-08 10:39:18 -08001762 DumpFields(os, obj, super);
Ian Rogersd5b32602012-02-26 16:40:04 -08001763 }
Mathieu Chartier54d220e2015-07-30 16:20:06 -07001764 for (ArtField& field : klass->GetIFields()) {
1765 PrintField(os, &field, obj);
Ian Rogersd5b32602012-02-26 16:40:04 -08001766 }
1767 }
1768
Ian Rogers2dd0e2c2013-01-24 12:42:14 -08001769 bool InDumpSpace(const mirror::Object* object) {
Ian Rogers3a5c1ce2012-02-29 10:06:46 -08001770 return image_space_.Contains(object);
Brian Carlstromf8bbb842012-03-14 03:01:42 -07001771 }
Ian Rogers3a5c1ce2012-02-29 10:06:46 -08001772
Mathieu Chartiere401d142015-04-22 13:56:20 -07001773 const void* GetQuickOatCodeBegin(ArtMethod* m)
Mathieu Chartier90443472015-07-16 20:32:27 -07001774 SHARED_REQUIRES(Locks::mutator_lock_) {
Mathieu Chartiera7dd0382014-11-20 17:08:58 -08001775 const void* quick_code = m->GetEntryPointFromQuickCompiledCodePtrSize(
1776 InstructionSetPointerSize(oat_dumper_->GetOatInstructionSet()));
Ian Rogers6f3dbba2014-10-14 17:41:57 -07001777 if (Runtime::Current()->GetClassLinker()->IsQuickResolutionStub(quick_code)) {
Ian Rogersef7d42f2014-01-06 12:55:46 -08001778 quick_code = oat_dumper_->GetQuickOatCode(m);
Ian Rogers3a5c1ce2012-02-29 10:06:46 -08001779 }
Brian Carlstromf8bbb842012-03-14 03:01:42 -07001780 if (oat_dumper_->GetInstructionSet() == kThumb2) {
Ian Rogersef7d42f2014-01-06 12:55:46 -08001781 quick_code = reinterpret_cast<void*>(reinterpret_cast<uintptr_t>(quick_code) & ~0x1);
Brian Carlstromf8bbb842012-03-14 03:01:42 -07001782 }
Ian Rogersef7d42f2014-01-06 12:55:46 -08001783 return quick_code;
Ian Rogers3a5c1ce2012-02-29 10:06:46 -08001784 }
1785
Mathieu Chartiere401d142015-04-22 13:56:20 -07001786 uint32_t GetQuickOatCodeSize(ArtMethod* m)
Mathieu Chartier90443472015-07-16 20:32:27 -07001787 SHARED_REQUIRES(Locks::mutator_lock_) {
Ian Rogersef7d42f2014-01-06 12:55:46 -08001788 const uint32_t* oat_code_begin = reinterpret_cast<const uint32_t*>(GetQuickOatCodeBegin(m));
1789 if (oat_code_begin == nullptr) {
Brian Carlstromf8bbb842012-03-14 03:01:42 -07001790 return 0;
1791 }
1792 return oat_code_begin[-1];
1793 }
1794
Mathieu Chartiere401d142015-04-22 13:56:20 -07001795 const void* GetQuickOatCodeEnd(ArtMethod* m)
Mathieu Chartier90443472015-07-16 20:32:27 -07001796 SHARED_REQUIRES(Locks::mutator_lock_) {
Ian Rogersef7d42f2014-01-06 12:55:46 -08001797 const uint8_t* oat_code_begin = reinterpret_cast<const uint8_t*>(GetQuickOatCodeBegin(m));
Andreas Gampe2ed8def2014-08-28 14:41:02 -07001798 if (oat_code_begin == nullptr) {
1799 return nullptr;
Brian Carlstromf8bbb842012-03-14 03:01:42 -07001800 }
Ian Rogersef7d42f2014-01-06 12:55:46 -08001801 return oat_code_begin + GetQuickOatCodeSize(m);
Brian Carlstromf8bbb842012-03-14 03:01:42 -07001802 }
1803
Mathieu Chartier90443472015-07-16 20:32:27 -07001804 static void Callback(mirror::Object* obj, void* arg) SHARED_REQUIRES(Locks::mutator_lock_) {
Andreas Gampe2ed8def2014-08-28 14:41:02 -07001805 DCHECK(obj != nullptr);
1806 DCHECK(arg != nullptr);
Ian Rogers3a5c1ce2012-02-29 10:06:46 -08001807 ImageDumper* state = reinterpret_cast<ImageDumper*>(arg);
Brian Carlstrom78128a62011-09-15 17:21:19 -07001808 if (!state->InDumpSpace(obj)) {
1809 return;
1810 }
Brian Carlstrom916e74e2011-09-23 11:42:01 -07001811
1812 size_t object_bytes = obj->SizeOf();
1813 size_t alignment_bytes = RoundUp(object_bytes, kObjectAlignment) - object_bytes;
1814 state->stats_.object_bytes += object_bytes;
1815 state->stats_.alignment_bytes += alignment_bytes;
1816
Vladimir Marko8f1e08a2015-06-26 12:06:30 +01001817 std::ostream& os = state->vios_.Stream();
1818
Ian Rogers2dd0e2c2013-01-24 12:42:14 -08001819 mirror::Class* obj_class = obj->GetClass();
Ian Rogersd5b32602012-02-26 16:40:04 -08001820 if (obj_class->IsArrayClass()) {
Ian Rogers2bcb4a42012-11-08 10:39:18 -08001821 os << StringPrintf("%p: %s length:%d\n", obj, PrettyDescriptor(obj_class).c_str(),
1822 obj->AsArray()->GetLength());
Ian Rogersd5b32602012-02-26 16:40:04 -08001823 } else if (obj->IsClass()) {
Ian Rogers2dd0e2c2013-01-24 12:42:14 -08001824 mirror::Class* klass = obj->AsClass();
Ian Rogers2bcb4a42012-11-08 10:39:18 -08001825 os << StringPrintf("%p: java.lang.Class \"%s\" (", obj, PrettyDescriptor(klass).c_str())
1826 << klass->GetStatus() << ")\n";
Ian Rogersd5b32602012-02-26 16:40:04 -08001827 } else if (obj_class->IsStringClass()) {
Ian Rogers2bcb4a42012-11-08 10:39:18 -08001828 os << StringPrintf("%p: java.lang.String %s\n", obj,
Ian Rogers68b56852014-08-29 20:19:11 -07001829 PrintableString(obj->AsString()->ToModifiedUtf8().c_str()).c_str());
Ian Rogersd5b32602012-02-26 16:40:04 -08001830 } else {
Ian Rogers2bcb4a42012-11-08 10:39:18 -08001831 os << StringPrintf("%p: %s\n", obj, PrettyDescriptor(obj_class).c_str());
Ian Rogersd5b32602012-02-26 16:40:04 -08001832 }
Vladimir Marko8f1e08a2015-06-26 12:06:30 +01001833 ScopedIndentation indent1(&state->vios_);
1834 DumpFields(os, obj, obj_class);
Mathieu Chartiere401d142015-04-22 13:56:20 -07001835 const auto image_pointer_size =
1836 InstructionSetPointerSize(state->oat_dumper_->GetOatInstructionSet());
Ian Rogersd5b32602012-02-26 16:40:04 -08001837 if (obj->IsObjectArray()) {
Mathieu Chartiere401d142015-04-22 13:56:20 -07001838 auto* obj_array = obj->AsObjectArray<mirror::Object>();
1839 for (int32_t i = 0, length = obj_array->GetLength(); i < length; i++) {
Ian Rogers2dd0e2c2013-01-24 12:42:14 -08001840 mirror::Object* value = obj_array->Get(i);
Ian Rogersd5b32602012-02-26 16:40:04 -08001841 size_t run = 0;
1842 for (int32_t j = i + 1; j < length; j++) {
1843 if (value == obj_array->Get(j)) {
1844 run++;
1845 } else {
1846 break;
1847 }
1848 }
1849 if (run == 0) {
Vladimir Marko8f1e08a2015-06-26 12:06:30 +01001850 os << StringPrintf("%d: ", i);
Ian Rogersd5b32602012-02-26 16:40:04 -08001851 } else {
Vladimir Marko8f1e08a2015-06-26 12:06:30 +01001852 os << StringPrintf("%d to %zd: ", i, i + run);
Ian Rogersd5b32602012-02-26 16:40:04 -08001853 i = i + run;
1854 }
Brian Carlstrom2ec65202014-03-03 15:16:37 -08001855 mirror::Class* value_class =
Andreas Gampe2ed8def2014-08-28 14:41:02 -07001856 (value == nullptr) ? obj_class->GetComponentType() : value->GetClass();
Vladimir Marko8f1e08a2015-06-26 12:06:30 +01001857 PrettyObjectValue(os, value_class, value);
Ian Rogersd5b32602012-02-26 16:40:04 -08001858 }
1859 } else if (obj->IsClass()) {
Mathieu Chartierc7853442015-03-27 14:35:38 -07001860 mirror::Class* klass = obj->AsClass();
Mathieu Chartier54d220e2015-07-30 16:20:06 -07001861 if (klass->NumStaticFields() != 0) {
Vladimir Marko8f1e08a2015-06-26 12:06:30 +01001862 os << "STATICS:\n";
1863 ScopedIndentation indent2(&state->vios_);
Mathieu Chartier54d220e2015-07-30 16:20:06 -07001864 for (ArtField& field : klass->GetSFields()) {
1865 PrintField(os, &field, field.GetDeclaringClass());
Ian Rogersd5b32602012-02-26 16:40:04 -08001866 }
1867 }
Mathieu Chartiere401d142015-04-22 13:56:20 -07001868 } else {
1869 auto it = state->dex_cache_arrays_.find(obj);
1870 if (it != state->dex_cache_arrays_.end()) {
1871 const auto& field_section = state->image_header_.GetImageSection(
1872 ImageHeader::kSectionArtFields);
1873 const auto& method_section = state->image_header_.GetMethodsSection();
1874 auto* arr = down_cast<mirror::PointerArray*>(obj);
1875 for (int32_t i = 0, length = arr->GetLength(); i < length; i++) {
1876 void* elem = arr->GetElementPtrSize<void*>(i, image_pointer_size);
1877 size_t run = 0;
1878 for (int32_t j = i + 1; j < length &&
1879 elem == arr->GetElementPtrSize<void*>(j, image_pointer_size); j++, run++) { }
1880 if (run == 0) {
Vladimir Marko8f1e08a2015-06-26 12:06:30 +01001881 os << StringPrintf("%d: ", i);
Mathieu Chartiere401d142015-04-22 13:56:20 -07001882 } else {
Vladimir Marko8f1e08a2015-06-26 12:06:30 +01001883 os << StringPrintf("%d to %zd: ", i, i + run);
Mathieu Chartiere401d142015-04-22 13:56:20 -07001884 i = i + run;
Ian Rogers0d2d3782012-04-10 11:09:18 -07001885 }
Mathieu Chartiere401d142015-04-22 13:56:20 -07001886 auto offset = reinterpret_cast<uint8_t*>(elem) - state->image_space_.Begin();
1887 std::string msg;
1888 if (field_section.Contains(offset)) {
1889 msg = PrettyField(reinterpret_cast<ArtField*>(elem));
1890 } else if (method_section.Contains(offset)) {
1891 msg = PrettyMethod(reinterpret_cast<ArtMethod*>(elem));
1892 } else {
1893 msg = "Unknown type";
1894 }
Vladimir Marko8f1e08a2015-06-26 12:06:30 +01001895 os << StringPrintf("%p %s\n", elem, msg.c_str());
Ian Rogers3a5c1ce2012-02-29 10:06:46 -08001896 }
Brian Carlstrom78128a62011-09-15 17:21:19 -07001897 }
1898 }
Ian Rogers1ff3c982014-08-12 02:30:58 -07001899 std::string temp;
1900 state->stats_.Update(obj_class->GetDescriptor(&temp), object_bytes);
Brian Carlstrom78128a62011-09-15 17:21:19 -07001901 }
Brian Carlstrom27ec9612011-09-19 20:20:38 -07001902
Mathieu Chartiere401d142015-04-22 13:56:20 -07001903 void DumpMethod(ArtMethod* method, ImageDumper* state, std::ostream& indent_os)
Mathieu Chartier90443472015-07-16 20:32:27 -07001904 SHARED_REQUIRES(Locks::mutator_lock_) {
Mathieu Chartiere401d142015-04-22 13:56:20 -07001905 DCHECK(method != nullptr);
1906 const auto image_pointer_size =
1907 InstructionSetPointerSize(state->oat_dumper_->GetOatInstructionSet());
1908 if (method->IsNative()) {
1909 DCHECK(method->GetNativeGcMap(image_pointer_size) == nullptr) << PrettyMethod(method);
1910 DCHECK(method->GetMappingTable(image_pointer_size) == nullptr) << PrettyMethod(method);
1911 bool first_occurrence;
1912 const void* quick_oat_code = state->GetQuickOatCodeBegin(method);
1913 uint32_t quick_oat_code_size = state->GetQuickOatCodeSize(method);
1914 state->ComputeOatSize(quick_oat_code, &first_occurrence);
1915 if (first_occurrence) {
1916 state->stats_.native_to_managed_code_bytes += quick_oat_code_size;
1917 }
1918 if (quick_oat_code != method->GetEntryPointFromQuickCompiledCodePtrSize(image_pointer_size)) {
1919 indent_os << StringPrintf("OAT CODE: %p\n", quick_oat_code);
1920 }
1921 } else if (method->IsAbstract() || method->IsCalleeSaveMethod() ||
1922 method->IsResolutionMethod() || method->IsImtConflictMethod() ||
1923 method->IsImtUnimplementedMethod() || method->IsClassInitializer()) {
1924 DCHECK(method->GetNativeGcMap(image_pointer_size) == nullptr) << PrettyMethod(method);
1925 DCHECK(method->GetMappingTable(image_pointer_size) == nullptr) << PrettyMethod(method);
1926 } else {
1927 const DexFile::CodeItem* code_item = method->GetCodeItem();
1928 size_t dex_instruction_bytes = code_item->insns_size_in_code_units_ * 2;
1929 state->stats_.dex_instruction_bytes += dex_instruction_bytes;
1930
1931 bool first_occurrence;
1932 size_t gc_map_bytes = state->ComputeOatSize(
1933 method->GetNativeGcMap(image_pointer_size), &first_occurrence);
1934 if (first_occurrence) {
1935 state->stats_.gc_map_bytes += gc_map_bytes;
1936 }
1937
1938 size_t pc_mapping_table_bytes = state->ComputeOatSize(
1939 method->GetMappingTable(image_pointer_size), &first_occurrence);
1940 if (first_occurrence) {
1941 state->stats_.pc_mapping_table_bytes += pc_mapping_table_bytes;
1942 }
1943
Roland Levillain6d7f1792015-07-02 10:59:15 +01001944 size_t vmap_table_bytes = 0u;
1945 if (!method->IsOptimized(image_pointer_size)) {
1946 // Method compiled with the optimizing compiler have no vmap table.
1947 vmap_table_bytes = state->ComputeOatSize(
1948 method->GetVmapTable(image_pointer_size), &first_occurrence);
1949 if (first_occurrence) {
1950 state->stats_.vmap_table_bytes += vmap_table_bytes;
1951 }
Mathieu Chartiere401d142015-04-22 13:56:20 -07001952 }
1953
1954 const void* quick_oat_code_begin = state->GetQuickOatCodeBegin(method);
1955 const void* quick_oat_code_end = state->GetQuickOatCodeEnd(method);
1956 uint32_t quick_oat_code_size = state->GetQuickOatCodeSize(method);
1957 state->ComputeOatSize(quick_oat_code_begin, &first_occurrence);
1958 if (first_occurrence) {
1959 state->stats_.managed_code_bytes += quick_oat_code_size;
1960 if (method->IsConstructor()) {
1961 if (method->IsStatic()) {
1962 state->stats_.class_initializer_code_bytes += quick_oat_code_size;
1963 } else if (dex_instruction_bytes > kLargeConstructorDexBytes) {
1964 state->stats_.large_initializer_code_bytes += quick_oat_code_size;
1965 }
1966 } else if (dex_instruction_bytes > kLargeMethodDexBytes) {
1967 state->stats_.large_method_code_bytes += quick_oat_code_size;
1968 }
1969 }
1970 state->stats_.managed_code_bytes_ignoring_deduplication += quick_oat_code_size;
1971
Igor Murashkin7617abd2015-07-10 18:27:47 -07001972 uint32_t method_access_flags = method->GetAccessFlags();
1973
Mathieu Chartiere401d142015-04-22 13:56:20 -07001974 indent_os << StringPrintf("OAT CODE: %p-%p\n", quick_oat_code_begin, quick_oat_code_end);
Igor Murashkin7617abd2015-07-10 18:27:47 -07001975 indent_os << StringPrintf("SIZE: Dex Instructions=%zd GC=%zd Mapping=%zd AccessFlags=0x%x\n",
1976 dex_instruction_bytes, gc_map_bytes, pc_mapping_table_bytes,
1977 method_access_flags);
Mathieu Chartiere401d142015-04-22 13:56:20 -07001978
1979 size_t total_size = dex_instruction_bytes + gc_map_bytes + pc_mapping_table_bytes +
Vladimir Marko14632852015-08-17 12:07:23 +01001980 vmap_table_bytes + quick_oat_code_size + ArtMethod::Size(image_pointer_size);
Mathieu Chartiere401d142015-04-22 13:56:20 -07001981
1982 double expansion =
1983 static_cast<double>(quick_oat_code_size) / static_cast<double>(dex_instruction_bytes);
1984 state->stats_.ComputeOutliers(total_size, expansion, method);
1985 }
1986 }
1987
Ian Rogers3a5c1ce2012-02-29 10:06:46 -08001988 std::set<const void*> already_seen_;
1989 // Compute the size of the given data within the oat file and whether this is the first time
1990 // this data has been requested
Elliott Hughesa0e18062012-04-13 15:59:59 -07001991 size_t ComputeOatSize(const void* oat_data, bool* first_occurrence) {
Ian Rogers3a5c1ce2012-02-29 10:06:46 -08001992 if (already_seen_.count(oat_data) == 0) {
Elliott Hughesa0e18062012-04-13 15:59:59 -07001993 *first_occurrence = true;
Ian Rogers3a5c1ce2012-02-29 10:06:46 -08001994 already_seen_.insert(oat_data);
1995 } else {
Elliott Hughesa0e18062012-04-13 15:59:59 -07001996 *first_occurrence = false;
Ian Rogers3a5c1ce2012-02-29 10:06:46 -08001997 }
1998 return oat_dumper_->ComputeSize(oat_data);
Brian Carlstrom27ec9612011-09-19 20:20:38 -07001999 }
Brian Carlstrom916e74e2011-09-23 11:42:01 -07002000
2001 public:
2002 struct Stats {
Ian Rogers3a5c1ce2012-02-29 10:06:46 -08002003 size_t oat_file_bytes;
Brian Carlstrom916e74e2011-09-23 11:42:01 -07002004 size_t file_bytes;
2005
2006 size_t header_bytes;
2007 size_t object_bytes;
Mathieu Chartiere401d142015-04-22 13:56:20 -07002008 size_t art_field_bytes;
2009 size_t art_method_bytes;
Mathieu Chartierd39645e2015-06-09 17:50:29 -07002010 size_t interned_strings_bytes;
Mathieu Chartier32327092013-08-30 14:04:08 -07002011 size_t bitmap_bytes;
Brian Carlstrom916e74e2011-09-23 11:42:01 -07002012 size_t alignment_bytes;
2013
2014 size_t managed_code_bytes;
Ian Rogers3a5c1ce2012-02-29 10:06:46 -08002015 size_t managed_code_bytes_ignoring_deduplication;
Brian Carlstrom916e74e2011-09-23 11:42:01 -07002016 size_t managed_to_native_code_bytes;
2017 size_t native_to_managed_code_bytes;
Ian Rogers0d2d3782012-04-10 11:09:18 -07002018 size_t class_initializer_code_bytes;
2019 size_t large_initializer_code_bytes;
2020 size_t large_method_code_bytes;
Brian Carlstrom916e74e2011-09-23 11:42:01 -07002021
Ian Rogers3a5c1ce2012-02-29 10:06:46 -08002022 size_t gc_map_bytes;
Brian Carlstrom916e74e2011-09-23 11:42:01 -07002023 size_t pc_mapping_table_bytes;
Ian Rogers3a5c1ce2012-02-29 10:06:46 -08002024 size_t vmap_table_bytes;
Brian Carlstrom916e74e2011-09-23 11:42:01 -07002025
2026 size_t dex_instruction_bytes;
2027
Mathieu Chartiere401d142015-04-22 13:56:20 -07002028 std::vector<ArtMethod*> method_outlier;
Ian Rogers3a5c1ce2012-02-29 10:06:46 -08002029 std::vector<size_t> method_outlier_size;
2030 std::vector<double> method_outlier_expansion;
Ian Rogers700a4022014-05-19 16:49:03 -07002031 std::vector<std::pair<std::string, size_t>> oat_dex_file_sizes;
Ian Rogers3a5c1ce2012-02-29 10:06:46 -08002032
Roland Levillain3887c462015-08-12 18:15:42 +01002033 Stats()
Ian Rogers3a5c1ce2012-02-29 10:06:46 -08002034 : oat_file_bytes(0),
2035 file_bytes(0),
Brian Carlstrom916e74e2011-09-23 11:42:01 -07002036 header_bytes(0),
2037 object_bytes(0),
Mathieu Chartiere401d142015-04-22 13:56:20 -07002038 art_field_bytes(0),
2039 art_method_bytes(0),
Mathieu Chartierd39645e2015-06-09 17:50:29 -07002040 interned_strings_bytes(0),
Mathieu Chartier32327092013-08-30 14:04:08 -07002041 bitmap_bytes(0),
Brian Carlstrom916e74e2011-09-23 11:42:01 -07002042 alignment_bytes(0),
2043 managed_code_bytes(0),
Ian Rogers3a5c1ce2012-02-29 10:06:46 -08002044 managed_code_bytes_ignoring_deduplication(0),
Brian Carlstrom916e74e2011-09-23 11:42:01 -07002045 managed_to_native_code_bytes(0),
2046 native_to_managed_code_bytes(0),
Ian Rogers0d2d3782012-04-10 11:09:18 -07002047 class_initializer_code_bytes(0),
2048 large_initializer_code_bytes(0),
2049 large_method_code_bytes(0),
Ian Rogers3a5c1ce2012-02-29 10:06:46 -08002050 gc_map_bytes(0),
Brian Carlstrom916e74e2011-09-23 11:42:01 -07002051 pc_mapping_table_bytes(0),
Ian Rogers3a5c1ce2012-02-29 10:06:46 -08002052 vmap_table_bytes(0),
Brian Carlstrom916e74e2011-09-23 11:42:01 -07002053 dex_instruction_bytes(0) {}
2054
Elliott Hughesa0e18062012-04-13 15:59:59 -07002055 struct SizeAndCount {
Andreas Gampe277ccbd2014-11-03 21:36:10 -08002056 SizeAndCount(size_t bytes_in, size_t count_in) : bytes(bytes_in), count(count_in) {}
Elliott Hughesa0e18062012-04-13 15:59:59 -07002057 size_t bytes;
2058 size_t count;
2059 };
2060 typedef SafeMap<std::string, SizeAndCount> SizeAndCountTable;
2061 SizeAndCountTable sizes_and_counts;
Brian Carlstrom916e74e2011-09-23 11:42:01 -07002062
Andreas Gampe277ccbd2014-11-03 21:36:10 -08002063 void Update(const char* descriptor, size_t object_bytes_in) {
Elliott Hughesa0e18062012-04-13 15:59:59 -07002064 SizeAndCountTable::iterator it = sizes_and_counts.find(descriptor);
2065 if (it != sizes_and_counts.end()) {
Andreas Gampe277ccbd2014-11-03 21:36:10 -08002066 it->second.bytes += object_bytes_in;
Elliott Hughesa0e18062012-04-13 15:59:59 -07002067 it->second.count += 1;
2068 } else {
Andreas Gampe277ccbd2014-11-03 21:36:10 -08002069 sizes_and_counts.Put(descriptor, SizeAndCount(object_bytes_in, 1));
Elliott Hughesa0e18062012-04-13 15:59:59 -07002070 }
2071 }
Brian Carlstrom916e74e2011-09-23 11:42:01 -07002072
Ian Rogers3a5c1ce2012-02-29 10:06:46 -08002073 double PercentOfOatBytes(size_t size) {
2074 return (static_cast<double>(size) / static_cast<double>(oat_file_bytes)) * 100;
2075 }
2076
Brian Carlstrom916e74e2011-09-23 11:42:01 -07002077 double PercentOfFileBytes(size_t size) {
2078 return (static_cast<double>(size) / static_cast<double>(file_bytes)) * 100;
2079 }
2080
2081 double PercentOfObjectBytes(size_t size) {
2082 return (static_cast<double>(size) / static_cast<double>(object_bytes)) * 100;
2083 }
2084
Mathieu Chartiere401d142015-04-22 13:56:20 -07002085 void ComputeOutliers(size_t total_size, double expansion, ArtMethod* method) {
Ian Rogers3a5c1ce2012-02-29 10:06:46 -08002086 method_outlier_size.push_back(total_size);
2087 method_outlier_expansion.push_back(expansion);
2088 method_outlier.push_back(method);
2089 }
Brian Carlstrom916e74e2011-09-23 11:42:01 -07002090
Ian Rogers00f7d0e2012-07-19 15:28:27 -07002091 void DumpOutliers(std::ostream& os)
Mathieu Chartier90443472015-07-16 20:32:27 -07002092 SHARED_REQUIRES(Locks::mutator_lock_) {
Ian Rogers3a5c1ce2012-02-29 10:06:46 -08002093 size_t sum_of_sizes = 0;
2094 size_t sum_of_sizes_squared = 0;
2095 size_t sum_of_expansion = 0;
2096 size_t sum_of_expansion_squared = 0;
2097 size_t n = method_outlier_size.size();
2098 for (size_t i = 0; i < n; i++) {
2099 size_t cur_size = method_outlier_size[i];
2100 sum_of_sizes += cur_size;
2101 sum_of_sizes_squared += cur_size * cur_size;
2102 double cur_expansion = method_outlier_expansion[i];
2103 sum_of_expansion += cur_expansion;
2104 sum_of_expansion_squared += cur_expansion * cur_expansion;
2105 }
2106 size_t size_mean = sum_of_sizes / n;
2107 size_t size_variance = (sum_of_sizes_squared - sum_of_sizes * size_mean) / (n - 1);
2108 double expansion_mean = sum_of_expansion / n;
2109 double expansion_variance =
2110 (sum_of_expansion_squared - sum_of_expansion * expansion_mean) / (n - 1);
2111
2112 // Dump methods whose size is a certain number of standard deviations from the mean
2113 size_t dumped_values = 0;
2114 size_t skipped_values = 0;
2115 for (size_t i = 100; i > 0; i--) { // i is the current number of standard deviations
2116 size_t cur_size_variance = i * i * size_variance;
2117 bool first = true;
2118 for (size_t j = 0; j < n; j++) {
2119 size_t cur_size = method_outlier_size[j];
2120 if (cur_size > size_mean) {
2121 size_t cur_var = cur_size - size_mean;
2122 cur_var = cur_var * cur_var;
2123 if (cur_var > cur_size_variance) {
2124 if (dumped_values > 20) {
2125 if (i == 1) {
2126 skipped_values++;
2127 } else {
2128 i = 2; // jump to counting for 1 standard deviation
2129 break;
2130 }
2131 } else {
2132 if (first) {
Elliott Hughesc073b072012-05-24 19:29:17 -07002133 os << "\nBig methods (size > " << i << " standard deviations the norm):\n";
Ian Rogers3a5c1ce2012-02-29 10:06:46 -08002134 first = false;
2135 }
Ian Rogers2bcb4a42012-11-08 10:39:18 -08002136 os << PrettyMethod(method_outlier[j]) << " requires storage of "
Elliott Hughesc073b072012-05-24 19:29:17 -07002137 << PrettySize(cur_size) << "\n";
Ian Rogers3a5c1ce2012-02-29 10:06:46 -08002138 method_outlier_size[j] = 0; // don't consider this method again
2139 dumped_values++;
2140 }
2141 }
2142 }
2143 }
2144 }
2145 if (skipped_values > 0) {
Ian Rogers2bcb4a42012-11-08 10:39:18 -08002146 os << "... skipped " << skipped_values
Elliott Hughesc073b072012-05-24 19:29:17 -07002147 << " methods with size > 1 standard deviation from the norm\n";
Ian Rogers3a5c1ce2012-02-29 10:06:46 -08002148 }
Elliott Hughesc073b072012-05-24 19:29:17 -07002149 os << std::flush;
Ian Rogers3a5c1ce2012-02-29 10:06:46 -08002150
2151 // Dump methods whose expansion is a certain number of standard deviations from the mean
2152 dumped_values = 0;
2153 skipped_values = 0;
2154 for (size_t i = 10; i > 0; i--) { // i is the current number of standard deviations
2155 double cur_expansion_variance = i * i * expansion_variance;
2156 bool first = true;
2157 for (size_t j = 0; j < n; j++) {
2158 double cur_expansion = method_outlier_expansion[j];
2159 if (cur_expansion > expansion_mean) {
2160 size_t cur_var = cur_expansion - expansion_mean;
2161 cur_var = cur_var * cur_var;
2162 if (cur_var > cur_expansion_variance) {
2163 if (dumped_values > 20) {
2164 if (i == 1) {
2165 skipped_values++;
2166 } else {
2167 i = 2; // jump to counting for 1 standard deviation
2168 break;
2169 }
2170 } else {
2171 if (first) {
2172 os << "\nLarge expansion methods (size > " << i
Elliott Hughesc073b072012-05-24 19:29:17 -07002173 << " standard deviations the norm):\n";
Ian Rogers3a5c1ce2012-02-29 10:06:46 -08002174 first = false;
2175 }
Ian Rogers2bcb4a42012-11-08 10:39:18 -08002176 os << PrettyMethod(method_outlier[j]) << " expanded code by "
Elliott Hughesc073b072012-05-24 19:29:17 -07002177 << cur_expansion << "\n";
Ian Rogers3a5c1ce2012-02-29 10:06:46 -08002178 method_outlier_expansion[j] = 0.0; // don't consider this method again
2179 dumped_values++;
2180 }
2181 }
2182 }
2183 }
2184 }
2185 if (skipped_values > 0) {
Ian Rogers2bcb4a42012-11-08 10:39:18 -08002186 os << "... skipped " << skipped_values
Elliott Hughesc073b072012-05-24 19:29:17 -07002187 << " methods with expansion > 1 standard deviation from the norm\n";
Ian Rogers3a5c1ce2012-02-29 10:06:46 -08002188 }
Elliott Hughesc073b072012-05-24 19:29:17 -07002189 os << "\n" << std::flush;
Ian Rogers3a5c1ce2012-02-29 10:06:46 -08002190 }
2191
Vladimir Marko8f1e08a2015-06-26 12:06:30 +01002192 void Dump(std::ostream& os, std::ostream& indent_os)
Mathieu Chartier90443472015-07-16 20:32:27 -07002193 SHARED_REQUIRES(Locks::mutator_lock_) {
Ian Rogers2bcb4a42012-11-08 10:39:18 -08002194 {
2195 os << "art_file_bytes = " << PrettySize(file_bytes) << "\n\n"
2196 << "art_file_bytes = header_bytes + object_bytes + alignment_bytes\n";
Mathieu Chartierd39645e2015-06-09 17:50:29 -07002197 indent_os << StringPrintf("header_bytes = %8zd (%2.0f%% of art file bytes)\n"
2198 "object_bytes = %8zd (%2.0f%% of art file bytes)\n"
2199 "art_field_bytes = %8zd (%2.0f%% of art file bytes)\n"
2200 "art_method_bytes = %8zd (%2.0f%% of art file bytes)\n"
2201 "interned_string_bytes = %8zd (%2.0f%% of art file bytes)\n"
2202 "bitmap_bytes = %8zd (%2.0f%% of art file bytes)\n"
2203 "alignment_bytes = %8zd (%2.0f%% of art file bytes)\n\n",
Ian Rogers2bcb4a42012-11-08 10:39:18 -08002204 header_bytes, PercentOfFileBytes(header_bytes),
2205 object_bytes, PercentOfFileBytes(object_bytes),
Mathieu Chartiere401d142015-04-22 13:56:20 -07002206 art_field_bytes, PercentOfFileBytes(art_field_bytes),
2207 art_method_bytes, PercentOfFileBytes(art_method_bytes),
Mathieu Chartierd39645e2015-06-09 17:50:29 -07002208 interned_strings_bytes,
2209 PercentOfFileBytes(interned_strings_bytes),
Mathieu Chartier32327092013-08-30 14:04:08 -07002210 bitmap_bytes, PercentOfFileBytes(bitmap_bytes),
Ian Rogers2bcb4a42012-11-08 10:39:18 -08002211 alignment_bytes, PercentOfFileBytes(alignment_bytes))
2212 << std::flush;
Mathieu Chartiere401d142015-04-22 13:56:20 -07002213 CHECK_EQ(file_bytes, header_bytes + object_bytes + art_field_bytes + art_method_bytes +
Mathieu Chartierd39645e2015-06-09 17:50:29 -07002214 interned_strings_bytes + bitmap_bytes + alignment_bytes);
Ian Rogers2bcb4a42012-11-08 10:39:18 -08002215 }
Ian Rogers3a5c1ce2012-02-29 10:06:46 -08002216
Ian Rogers2bcb4a42012-11-08 10:39:18 -08002217 os << "object_bytes breakdown:\n";
Brian Carlstrom916e74e2011-09-23 11:42:01 -07002218 size_t object_bytes_total = 0;
Mathieu Chartier02e25112013-08-14 16:14:24 -07002219 for (const auto& sizes_and_count : sizes_and_counts) {
2220 const std::string& descriptor(sizes_and_count.first);
2221 double average = static_cast<double>(sizes_and_count.second.bytes) /
2222 static_cast<double>(sizes_and_count.second.count);
2223 double percent = PercentOfObjectBytes(sizes_and_count.second.bytes);
Ian Rogers2bcb4a42012-11-08 10:39:18 -08002224 os << StringPrintf("%32s %8zd bytes %6zd instances "
Elliott Hughesa0e18062012-04-13 15:59:59 -07002225 "(%4.0f bytes/instance) %2.0f%% of object_bytes\n",
Mathieu Chartier02e25112013-08-14 16:14:24 -07002226 descriptor.c_str(), sizes_and_count.second.bytes,
2227 sizes_and_count.second.count, average, percent);
2228 object_bytes_total += sizes_and_count.second.bytes;
Brian Carlstrom916e74e2011-09-23 11:42:01 -07002229 }
Elliott Hughesc073b072012-05-24 19:29:17 -07002230 os << "\n" << std::flush;
Brian Carlstrom916e74e2011-09-23 11:42:01 -07002231 CHECK_EQ(object_bytes, object_bytes_total);
2232
Ian Rogers2bcb4a42012-11-08 10:39:18 -08002233 os << StringPrintf("oat_file_bytes = %8zd\n"
2234 "managed_code_bytes = %8zd (%2.0f%% of oat file bytes)\n"
2235 "managed_to_native_code_bytes = %8zd (%2.0f%% of oat file bytes)\n"
2236 "native_to_managed_code_bytes = %8zd (%2.0f%% of oat file bytes)\n\n"
2237 "class_initializer_code_bytes = %8zd (%2.0f%% of oat file bytes)\n"
2238 "large_initializer_code_bytes = %8zd (%2.0f%% of oat file bytes)\n"
2239 "large_method_code_bytes = %8zd (%2.0f%% of oat file bytes)\n\n",
Ian Rogers05f28c62012-10-23 18:12:13 -07002240 oat_file_bytes,
Brian Carlstrom2ec65202014-03-03 15:16:37 -08002241 managed_code_bytes,
2242 PercentOfOatBytes(managed_code_bytes),
2243 managed_to_native_code_bytes,
2244 PercentOfOatBytes(managed_to_native_code_bytes),
2245 native_to_managed_code_bytes,
2246 PercentOfOatBytes(native_to_managed_code_bytes),
2247 class_initializer_code_bytes,
2248 PercentOfOatBytes(class_initializer_code_bytes),
2249 large_initializer_code_bytes,
2250 PercentOfOatBytes(large_initializer_code_bytes),
2251 large_method_code_bytes,
2252 PercentOfOatBytes(large_method_code_bytes))
Ian Rogers2bcb4a42012-11-08 10:39:18 -08002253 << "DexFile sizes:\n";
Mathieu Chartier02e25112013-08-14 16:14:24 -07002254 for (const std::pair<std::string, size_t>& oat_dex_file_size : oat_dex_file_sizes) {
Ian Rogers2bcb4a42012-11-08 10:39:18 -08002255 os << StringPrintf("%s = %zd (%2.0f%% of oat file bytes)\n",
Mathieu Chartier02e25112013-08-14 16:14:24 -07002256 oat_dex_file_size.first.c_str(), oat_dex_file_size.second,
2257 PercentOfOatBytes(oat_dex_file_size.second));
Ian Rogers05f28c62012-10-23 18:12:13 -07002258 }
2259
Ian Rogers2bcb4a42012-11-08 10:39:18 -08002260 os << "\n" << StringPrintf("gc_map_bytes = %7zd (%2.0f%% of oat file bytes)\n"
2261 "pc_mapping_table_bytes = %7zd (%2.0f%% of oat file bytes)\n"
2262 "vmap_table_bytes = %7zd (%2.0f%% of oat file bytes)\n\n",
Ian Rogers05f28c62012-10-23 18:12:13 -07002263 gc_map_bytes, PercentOfOatBytes(gc_map_bytes),
2264 pc_mapping_table_bytes, PercentOfOatBytes(pc_mapping_table_bytes),
2265 vmap_table_bytes, PercentOfOatBytes(vmap_table_bytes))
Elliott Hughesc073b072012-05-24 19:29:17 -07002266 << std::flush;
Brian Carlstrom916e74e2011-09-23 11:42:01 -07002267
Ian Rogers2bcb4a42012-11-08 10:39:18 -08002268 os << StringPrintf("dex_instruction_bytes = %zd\n", dex_instruction_bytes)
2269 << StringPrintf("managed_code_bytes expansion = %.2f (ignoring deduplication %.2f)\n\n",
Brian Carlstrom2ec65202014-03-03 15:16:37 -08002270 static_cast<double>(managed_code_bytes) /
2271 static_cast<double>(dex_instruction_bytes),
Elliott Hughesc073b072012-05-24 19:29:17 -07002272 static_cast<double>(managed_code_bytes_ignoring_deduplication) /
Elliott Hughescf44e6f2012-05-24 19:42:18 -07002273 static_cast<double>(dex_instruction_bytes))
Elliott Hughesc073b072012-05-24 19:29:17 -07002274 << std::flush;
Ian Rogers3a5c1ce2012-02-29 10:06:46 -08002275
2276 DumpOutliers(os);
Brian Carlstrom916e74e2011-09-23 11:42:01 -07002277 }
2278 } stats_;
2279
2280 private:
Ian Rogers0d2d3782012-04-10 11:09:18 -07002281 enum {
2282 // Number of bytes for a constructor to be considered large. Based on the 1000 basic block
2283 // threshold, we assume 2 bytes per instruction and 2 instructions per block.
2284 kLargeConstructorDexBytes = 4000,
2285 // Number of bytes for a method to be considered large. Based on the 4000 basic block
2286 // threshold, we assume 2 bytes per instruction and 2 instructions per block.
2287 kLargeMethodDexBytes = 16000
2288 };
Vladimir Marko8f1e08a2015-06-26 12:06:30 +01002289
2290 // For performance, use the *os_ directly for anything that doesn't need indentation
2291 // and prepare an indentation stream with default indentation 1.
Ian Rogers2bcb4a42012-11-08 10:39:18 -08002292 std::ostream* os_;
Vladimir Marko8f1e08a2015-06-26 12:06:30 +01002293 VariableIndentationOutputStream vios_;
2294 ScopedIndentation indent1_;
2295
Ian Rogers1d54e732013-05-02 21:10:01 -07002296 gc::space::ImageSpace& image_space_;
Ian Rogers3a5c1ce2012-02-29 10:06:46 -08002297 const ImageHeader& image_header_;
Brian Carlstrom2cbaccb2014-09-14 20:34:17 -07002298 std::unique_ptr<OatDumper> oat_dumper_;
Andreas Gampedf2bb1f2015-05-04 18:25:23 -07002299 OatDumperOptions* oat_dumper_options_;
Mathieu Chartiere401d142015-04-22 13:56:20 -07002300 std::set<mirror::Object*> dex_cache_arrays_;
Elliott Hughesd1bb4f62011-09-23 14:09:45 -07002301
Ian Rogers3a5c1ce2012-02-29 10:06:46 -08002302 DISALLOW_COPY_AND_ASSIGN(ImageDumper);
Brian Carlstrom78128a62011-09-15 17:21:19 -07002303};
2304
Andreas Gampe00b25f32014-09-17 21:49:05 -07002305static int DumpImage(Runtime* runtime, const char* image_location, OatDumperOptions* options,
2306 std::ostream* os) {
2307 // Dumping the image, no explicit class loader.
2308 NullHandle<mirror::ClassLoader> null_class_loader;
2309 options->class_loader_ = &null_class_loader;
2310
Ian Rogers00f7d0e2012-07-19 15:28:27 -07002311 ScopedObjectAccess soa(Thread::Current());
Andreas Gampe00b25f32014-09-17 21:49:05 -07002312 gc::Heap* heap = runtime->GetHeap();
Ian Rogers1d54e732013-05-02 21:10:01 -07002313 gc::space::ImageSpace* image_space = heap->GetImageSpace();
Andreas Gampe2ed8def2014-08-28 14:41:02 -07002314 CHECK(image_space != nullptr);
Brian Carlstrom78128a62011-09-15 17:21:19 -07002315 const ImageHeader& image_header = image_space->GetImageHeader();
2316 if (!image_header.IsValid()) {
Brian Carlstrom0f5baa02014-05-22 11:54:18 -07002317 fprintf(stderr, "Invalid image header %s\n", image_location);
Brian Carlstrom78128a62011-09-15 17:21:19 -07002318 return EXIT_FAILURE;
2319 }
Igor Murashkin37743352014-11-13 14:38:00 -08002320
Andreas Gampe00b25f32014-09-17 21:49:05 -07002321 ImageDumper image_dumper(os, *image_space, image_header, options);
Igor Murashkin37743352014-11-13 14:38:00 -08002322
Brian Carlstrom2cbaccb2014-09-14 20:34:17 -07002323 bool success = image_dumper.Dump();
2324 return (success) ? EXIT_SUCCESS : EXIT_FAILURE;
Brian Carlstrom78128a62011-09-15 17:21:19 -07002325}
2326
Andreas Gampe00b25f32014-09-17 21:49:05 -07002327static int DumpOatWithRuntime(Runtime* runtime, OatFile* oat_file, OatDumperOptions* options,
2328 std::ostream* os) {
2329 CHECK(runtime != nullptr && oat_file != nullptr && options != nullptr);
2330
2331 Thread* self = Thread::Current();
2332 CHECK(self != nullptr);
2333 // Need well-known-classes.
2334 WellKnownClasses::Init(self->GetJniEnv());
2335
2336 // Need to register dex files to get a working dex cache.
2337 ScopedObjectAccess soa(self);
2338 ClassLinker* class_linker = runtime->GetClassLinker();
2339 class_linker->RegisterOatFile(oat_file);
Richard Uhlerfbef44d2014-12-23 09:48:51 -08002340 std::vector<std::unique_ptr<const DexFile>> dex_files;
Andreas Gampe00b25f32014-09-17 21:49:05 -07002341 for (const OatFile::OatDexFile* odf : oat_file->GetOatDexFiles()) {
2342 std::string error_msg;
Igor Murashkinb1d8c312015-08-04 11:18:43 -07002343 std::unique_ptr<const DexFile> dex_file = odf->OpenDexFile(&error_msg);
Andreas Gampe00b25f32014-09-17 21:49:05 -07002344 CHECK(dex_file != nullptr) << error_msg;
2345 class_linker->RegisterDexFile(*dex_file);
Richard Uhlerfbef44d2014-12-23 09:48:51 -08002346 dex_files.push_back(std::move(dex_file));
Andreas Gampe00b25f32014-09-17 21:49:05 -07002347 }
2348
2349 // Need a class loader.
Andreas Gampe00b25f32014-09-17 21:49:05 -07002350 // Fake that we're a compiler.
Richard Uhlerfbef44d2014-12-23 09:48:51 -08002351 std::vector<const DexFile*> class_path;
2352 for (auto& dex_file : dex_files) {
2353 class_path.push_back(dex_file.get());
2354 }
Andreas Gampe81c6f8d2015-03-25 17:19:53 -07002355 jobject class_loader = class_linker->CreatePathClassLoader(self, class_path);
Andreas Gampe00b25f32014-09-17 21:49:05 -07002356
2357 // Use the class loader while dumping.
2358 StackHandleScope<1> scope(self);
2359 Handle<mirror::ClassLoader> loader_handle = scope.NewHandle(
2360 soa.Decode<mirror::ClassLoader*>(class_loader));
2361 options->class_loader_ = &loader_handle;
2362
Anestis Bechtsoudis32f500d2015-02-22 22:32:57 -08002363 OatDumper oat_dumper(*oat_file, *options);
Andreas Gampe00b25f32014-09-17 21:49:05 -07002364 bool success = oat_dumper.Dump(*os);
2365 return (success) ? EXIT_SUCCESS : EXIT_FAILURE;
2366}
2367
2368static int DumpOatWithoutRuntime(OatFile* oat_file, OatDumperOptions* options, std::ostream* os) {
Anestis Bechtsoudis32f500d2015-02-22 22:32:57 -08002369 CHECK(oat_file != nullptr && options != nullptr);
Andreas Gampe00b25f32014-09-17 21:49:05 -07002370 // No image = no class loader.
2371 NullHandle<mirror::ClassLoader> null_class_loader;
2372 options->class_loader_ = &null_class_loader;
2373
Anestis Bechtsoudis32f500d2015-02-22 22:32:57 -08002374 OatDumper oat_dumper(*oat_file, *options);
Andreas Gampe00b25f32014-09-17 21:49:05 -07002375 bool success = oat_dumper.Dump(*os);
2376 return (success) ? EXIT_SUCCESS : EXIT_FAILURE;
2377}
2378
2379static int DumpOat(Runtime* runtime, const char* oat_filename, OatDumperOptions* options,
2380 std::ostream* os) {
2381 std::string error_msg;
Igor Murashkin37743352014-11-13 14:38:00 -08002382 OatFile* oat_file = OatFile::Open(oat_filename, oat_filename, nullptr, nullptr, false,
Igor Murashkinb1d8c312015-08-04 11:18:43 -07002383 nullptr, &error_msg);
Andreas Gampe00b25f32014-09-17 21:49:05 -07002384 if (oat_file == nullptr) {
2385 fprintf(stderr, "Failed to open oat file from '%s': %s\n", oat_filename, error_msg.c_str());
2386 return EXIT_FAILURE;
2387 }
2388
2389 if (runtime != nullptr) {
2390 return DumpOatWithRuntime(runtime, oat_file, options, os);
2391 } else {
2392 return DumpOatWithoutRuntime(oat_file, options, os);
2393 }
2394}
2395
2396static int SymbolizeOat(const char* oat_filename, std::string& output_name) {
2397 std::string error_msg;
Igor Murashkin37743352014-11-13 14:38:00 -08002398 OatFile* oat_file = OatFile::Open(oat_filename, oat_filename, nullptr, nullptr, false,
Igor Murashkinb1d8c312015-08-04 11:18:43 -07002399 nullptr, &error_msg);
Andreas Gampe00b25f32014-09-17 21:49:05 -07002400 if (oat_file == nullptr) {
2401 fprintf(stderr, "Failed to open oat file from '%s': %s\n", oat_filename, error_msg.c_str());
2402 return EXIT_FAILURE;
2403 }
2404
2405 OatSymbolizer oat_symbolizer(oat_file, output_name);
Andreas Gampe00b25f32014-09-17 21:49:05 -07002406 if (!oat_symbolizer.Symbolize()) {
2407 fprintf(stderr, "Failed to symbolize\n");
2408 return EXIT_FAILURE;
2409 }
2410
2411 return EXIT_SUCCESS;
2412}
2413
Igor Murashkin37743352014-11-13 14:38:00 -08002414struct OatdumpArgs : public CmdlineArgs {
2415 protected:
2416 using Base = CmdlineArgs;
Andreas Gampe00b25f32014-09-17 21:49:05 -07002417
Igor Murashkin37743352014-11-13 14:38:00 -08002418 virtual ParseStatus ParseCustom(const StringPiece& option,
2419 std::string* error_msg) OVERRIDE {
2420 {
2421 ParseStatus base_parse = Base::ParseCustom(option, error_msg);
2422 if (base_parse != kParseUnknownArgument) {
2423 return base_parse;
Andreas Gampe00b25f32014-09-17 21:49:05 -07002424 }
2425 }
2426
Igor Murashkin37743352014-11-13 14:38:00 -08002427 if (option.starts_with("--oat-file=")) {
2428 oat_filename_ = option.substr(strlen("--oat-file=")).data();
2429 } else if (option.starts_with("--image=")) {
2430 image_location_ = option.substr(strlen("--image=")).data();
2431 } else if (option =="--dump:raw_mapping_table") {
2432 dump_raw_mapping_table_ = true;
2433 } else if (option == "--dump:raw_gc_map") {
2434 dump_raw_gc_map_ = true;
2435 } else if (option == "--no-dump:vmap") {
2436 dump_vmap_ = false;
Roland Levillainf2650d12015-05-28 14:53:28 +01002437 } else if (option =="--dump:code_info_stack_maps") {
2438 dump_code_info_stack_maps_ = true;
Igor Murashkin37743352014-11-13 14:38:00 -08002439 } else if (option == "--no-disassemble") {
2440 disassemble_code_ = false;
2441 } else if (option.starts_with("--symbolize=")) {
2442 oat_filename_ = option.substr(strlen("--symbolize=")).data();
2443 symbolize_ = true;
Anestis Bechtsoudis32f500d2015-02-22 22:32:57 -08002444 } else if (option.starts_with("--class-filter=")) {
2445 class_filter_ = option.substr(strlen("--class-filter=")).data();
Igor Murashkin37743352014-11-13 14:38:00 -08002446 } else if (option.starts_with("--method-filter=")) {
2447 method_filter_ = option.substr(strlen("--method-filter=")).data();
Anestis Bechtsoudis32f500d2015-02-22 22:32:57 -08002448 } else if (option.starts_with("--list-classes")) {
2449 list_classes_ = true;
2450 } else if (option.starts_with("--list-methods")) {
2451 list_methods_ = true;
2452 } else if (option.starts_with("--export-dex-to=")) {
2453 export_dex_location_ = option.substr(strlen("--export-dex-to=")).data();
2454 } else if (option.starts_with("--addr2instr=")) {
2455 if (!ParseUint(option.substr(strlen("--addr2instr=")).data(), &addr2instr_)) {
2456 *error_msg = "Address conversion failed";
2457 return kParseError;
2458 }
Igor Murashkin37743352014-11-13 14:38:00 -08002459 } else {
2460 return kParseUnknownArgument;
Andreas Gampe00b25f32014-09-17 21:49:05 -07002461 }
2462
Igor Murashkin37743352014-11-13 14:38:00 -08002463 return kParseOk;
Andreas Gampe00b25f32014-09-17 21:49:05 -07002464 }
2465
Igor Murashkin37743352014-11-13 14:38:00 -08002466 virtual ParseStatus ParseChecks(std::string* error_msg) OVERRIDE {
2467 // Infer boot image location from the image location if possible.
2468 if (boot_image_location_ == nullptr) {
2469 boot_image_location_ = image_location_;
2470 }
2471
2472 // Perform the parent checks.
2473 ParseStatus parent_checks = Base::ParseChecks(error_msg);
2474 if (parent_checks != kParseOk) {
2475 return parent_checks;
2476 }
2477
2478 // Perform our own checks.
2479 if (image_location_ == nullptr && oat_filename_ == nullptr) {
2480 *error_msg = "Either --image or --oat-file must be specified";
2481 return kParseError;
2482 } else if (image_location_ != nullptr && oat_filename_ != nullptr) {
2483 *error_msg = "Either --image or --oat-file must be specified but not both";
2484 return kParseError;
2485 }
2486
2487 return kParseOk;
2488 }
2489
2490 virtual std::string GetUsage() const {
2491 std::string usage;
2492
2493 usage +=
2494 "Usage: oatdump [options] ...\n"
2495 " Example: oatdump --image=$ANDROID_PRODUCT_OUT/system/framework/boot.art\n"
2496 " Example: adb shell oatdump --image=/system/framework/boot.art\n"
2497 "\n"
2498 // Either oat-file or image is required.
2499 " --oat-file=<file.oat>: specifies an input oat filename.\n"
2500 " Example: --oat-file=/system/framework/boot.oat\n"
2501 "\n"
2502 " --image=<file.art>: specifies an input image location.\n"
2503 " Example: --image=/system/framework/boot.art\n"
2504 "\n";
2505
2506 usage += Base::GetUsage();
2507
2508 usage += // Optional.
2509 " --dump:raw_mapping_table enables dumping of the mapping table.\n"
2510 " Example: --dump:raw_mapping_table\n"
2511 "\n"
Mathieu Chartier19510f02015-05-26 14:44:35 -07002512 " --dump:raw_gc_map enables dumping of the GC map.\n"
Igor Murashkin37743352014-11-13 14:38:00 -08002513 " Example: --dump:raw_gc_map\n"
2514 "\n"
2515 " --no-dump:vmap may be used to disable vmap dumping.\n"
2516 " Example: --no-dump:vmap\n"
2517 "\n"
Roland Levillainf2650d12015-05-28 14:53:28 +01002518 " --dump:code_info_stack_maps enables dumping of stack maps in CodeInfo sections.\n"
2519 " Example: --dump:code_info_stack_maps\n"
2520 "\n"
Igor Murashkin37743352014-11-13 14:38:00 -08002521 " --no-disassemble may be used to disable disassembly.\n"
2522 " Example: --no-disassemble\n"
2523 "\n"
Anestis Bechtsoudis32f500d2015-02-22 22:32:57 -08002524 " --list-classes may be used to list target file classes (can be used with filters).\n"
2525 " Example: --list-classes\n"
2526 " Example: --list-classes --class-filter=com.example.foo\n"
2527 "\n"
2528 " --list-methods may be used to list target file methods (can be used with filters).\n"
2529 " Example: --list-methods\n"
2530 " Example: --list-methods --class-filter=com.example --method-filter=foo\n"
2531 "\n"
2532 " --symbolize=<file.oat>: output a copy of file.oat with elf symbols included.\n"
2533 " Example: --symbolize=/system/framework/boot.oat\n"
2534 "\n"
2535 " --class-filter=<class name>: only dumps classes that contain the filter.\n"
2536 " Example: --class-filter=com.example.foo\n"
2537 "\n"
Igor Murashkin37743352014-11-13 14:38:00 -08002538 " --method-filter=<method name>: only dumps methods that contain the filter.\n"
2539 " Example: --method-filter=foo\n"
Anestis Bechtsoudis32f500d2015-02-22 22:32:57 -08002540 "\n"
2541 " --export-dex-to=<directory>: may be used to export oat embedded dex files.\n"
2542 " Example: --export-dex-to=/data/local/tmp\n"
2543 "\n"
2544 " --addr2instr=<address>: output matching method disassembled code from relative\n"
2545 " address (e.g. PC from crash dump)\n"
2546 " Example: --addr2instr=0x00001a3b\n"
Igor Murashkin37743352014-11-13 14:38:00 -08002547 "\n";
2548
2549 return usage;
2550 }
2551
2552 public:
Andreas Gampe00b25f32014-09-17 21:49:05 -07002553 const char* oat_filename_ = nullptr;
Anestis Bechtsoudis32f500d2015-02-22 22:32:57 -08002554 const char* class_filter_ = "";
Nicolas Geoffray3fcd2202014-11-12 18:02:36 +00002555 const char* method_filter_ = "";
Andreas Gampe00b25f32014-09-17 21:49:05 -07002556 const char* image_location_ = nullptr;
Andreas Gampe00b25f32014-09-17 21:49:05 -07002557 std::string elf_filename_prefix_;
Andreas Gampe00b25f32014-09-17 21:49:05 -07002558 bool dump_raw_mapping_table_ = false;
2559 bool dump_raw_gc_map_ = false;
2560 bool dump_vmap_ = true;
Roland Levillainf2650d12015-05-28 14:53:28 +01002561 bool dump_code_info_stack_maps_ = false;
Andreas Gampe00b25f32014-09-17 21:49:05 -07002562 bool disassemble_code_ = true;
2563 bool symbolize_ = false;
Anestis Bechtsoudis32f500d2015-02-22 22:32:57 -08002564 bool list_classes_ = false;
2565 bool list_methods_ = false;
2566 uint32_t addr2instr_ = 0;
2567 const char* export_dex_location_ = nullptr;
Andreas Gampe00b25f32014-09-17 21:49:05 -07002568};
2569
Igor Murashkin37743352014-11-13 14:38:00 -08002570struct OatdumpMain : public CmdlineMain<OatdumpArgs> {
2571 virtual bool NeedsRuntime() OVERRIDE {
2572 CHECK(args_ != nullptr);
Andreas Gampe00b25f32014-09-17 21:49:05 -07002573
Igor Murashkin37743352014-11-13 14:38:00 -08002574 // If we are only doing the oat file, disable absolute_addresses. Keep them for image dumping.
2575 bool absolute_addresses = (args_->oat_filename_ == nullptr);
2576
2577 oat_dumper_options_ = std::unique_ptr<OatDumperOptions>(new OatDumperOptions(
2578 args_->dump_raw_mapping_table_,
2579 args_->dump_raw_gc_map_,
2580 args_->dump_vmap_,
Roland Levillainf2650d12015-05-28 14:53:28 +01002581 args_->dump_code_info_stack_maps_,
Igor Murashkin37743352014-11-13 14:38:00 -08002582 args_->disassemble_code_,
2583 absolute_addresses,
Anestis Bechtsoudis32f500d2015-02-22 22:32:57 -08002584 args_->class_filter_,
2585 args_->method_filter_,
2586 args_->list_classes_,
2587 args_->list_methods_,
2588 args_->export_dex_location_,
2589 args_->addr2instr_));
Igor Murashkin37743352014-11-13 14:38:00 -08002590
2591 return (args_->boot_image_location_ != nullptr || args_->image_location_ != nullptr) &&
2592 !args_->symbolize_;
Andreas Gampe00b25f32014-09-17 21:49:05 -07002593 }
2594
Igor Murashkin37743352014-11-13 14:38:00 -08002595 virtual bool ExecuteWithoutRuntime() OVERRIDE {
2596 CHECK(args_ != nullptr);
Andreas Gampec24f3992014-12-17 20:40:11 -08002597 CHECK(args_->oat_filename_ != nullptr);
Andreas Gampe00b25f32014-09-17 21:49:05 -07002598
Mathieu Chartierd424d082014-10-15 10:31:46 -07002599 MemMap::Init();
Igor Murashkin37743352014-11-13 14:38:00 -08002600
Andreas Gampec24f3992014-12-17 20:40:11 -08002601 if (args_->symbolize_) {
2602 return SymbolizeOat(args_->oat_filename_, args_->output_name_) == EXIT_SUCCESS;
2603 } else {
2604 return DumpOat(nullptr,
2605 args_->oat_filename_,
Anestis Bechtsoudis32f500d2015-02-22 22:32:57 -08002606 oat_dumper_options_.get(),
Andreas Gampec24f3992014-12-17 20:40:11 -08002607 args_->os_) == EXIT_SUCCESS;
2608 }
Andreas Gampe00b25f32014-09-17 21:49:05 -07002609 }
2610
Igor Murashkin37743352014-11-13 14:38:00 -08002611 virtual bool ExecuteWithRuntime(Runtime* runtime) {
2612 CHECK(args_ != nullptr);
2613
2614 if (args_->oat_filename_ != nullptr) {
2615 return DumpOat(runtime,
2616 args_->oat_filename_,
Anestis Bechtsoudis32f500d2015-02-22 22:32:57 -08002617 oat_dumper_options_.get(),
Igor Murashkin37743352014-11-13 14:38:00 -08002618 args_->os_) == EXIT_SUCCESS;
Andreas Gampe00b25f32014-09-17 21:49:05 -07002619 }
Igor Murashkin37743352014-11-13 14:38:00 -08002620
Anestis Bechtsoudis32f500d2015-02-22 22:32:57 -08002621 return DumpImage(runtime, args_->image_location_, oat_dumper_options_.get(), args_->os_)
Igor Murashkin37743352014-11-13 14:38:00 -08002622 == EXIT_SUCCESS;
Andreas Gampe00b25f32014-09-17 21:49:05 -07002623 }
2624
Igor Murashkin37743352014-11-13 14:38:00 -08002625 std::unique_ptr<OatDumperOptions> oat_dumper_options_;
2626};
Andreas Gampe00b25f32014-09-17 21:49:05 -07002627
Brian Carlstrom7934ac22013-07-26 10:54:15 -07002628} // namespace art
Brian Carlstrom78128a62011-09-15 17:21:19 -07002629
2630int main(int argc, char** argv) {
Igor Murashkin37743352014-11-13 14:38:00 -08002631 art::OatdumpMain main;
2632 return main.Main(argc, argv);
Brian Carlstrom78128a62011-09-15 17:21:19 -07002633}