David Sehr | 7629f60 | 2016-08-07 16:01:51 -0700 | [diff] [blame] | 1 | /* |
| 2 | * Copyright (C) 2016 The Android Open Source Project |
| 3 | * |
| 4 | * Licensed under the Apache License, Version 2.0 (the "License"); |
| 5 | * you may not use this file except in compliance with the License. |
| 6 | * You may obtain a copy of the License at |
| 7 | * |
| 8 | * http://www.apache.org/licenses/LICENSE-2.0 |
| 9 | * |
| 10 | * Unless required by applicable law or agreed to in writing, software |
| 11 | * distributed under the License is distributed on an "AS IS" BASIS, |
| 12 | * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. |
| 13 | * See the License for the specific language governing permissions and |
| 14 | * limitations under the License. |
| 15 | * |
| 16 | * Header file of the dexlayout utility. |
| 17 | * |
| 18 | * This is a tool to read dex files into an internal representation, |
| 19 | * reorganize the representation, and emit dex files with a better |
| 20 | * file layout. |
| 21 | */ |
| 22 | |
| 23 | #ifndef ART_DEXLAYOUT_DEXLAYOUT_H_ |
| 24 | #define ART_DEXLAYOUT_DEXLAYOUT_H_ |
| 25 | |
| 26 | #include <stdint.h> |
| 27 | #include <stdio.h> |
Mathieu Chartier | 3e0c517 | 2017-11-12 12:58:40 -0800 | [diff] [blame] | 28 | #include <unordered_map> |
David Sehr | 7629f60 | 2016-08-07 16:01:51 -0700 | [diff] [blame] | 29 | |
David Sehr | 9e734c7 | 2018-01-04 17:56:19 -0800 | [diff] [blame] | 30 | #include "dex/compact_dex_level.h" |
Mathieu Chartier | e6b6ff8 | 2018-01-19 18:58:34 -0800 | [diff] [blame] | 31 | #include "dex_container.h" |
David Sehr | 9e734c7 | 2018-01-04 17:56:19 -0800 | [diff] [blame] | 32 | #include "dex/dex_file_layout.h" |
Jeff Hao | ea7c629 | 2016-11-14 18:10:16 -0800 | [diff] [blame] | 33 | #include "dex_ir.h" |
Jeff Hao | ea7c629 | 2016-11-14 18:10:16 -0800 | [diff] [blame] | 34 | |
David Sehr | 7629f60 | 2016-08-07 16:01:51 -0700 | [diff] [blame] | 35 | namespace art { |
| 36 | |
Jeff Hao | ea7c629 | 2016-11-14 18:10:16 -0800 | [diff] [blame] | 37 | class DexFile; |
| 38 | class Instruction; |
David Sehr | cdcfde7 | 2016-09-26 07:44:04 -0700 | [diff] [blame] | 39 | class ProfileCompilationInfo; |
| 40 | |
David Sehr | 7629f60 | 2016-08-07 16:01:51 -0700 | [diff] [blame] | 41 | /* Supported output formats. */ |
| 42 | enum OutputFormat { |
| 43 | kOutputPlain = 0, // default |
| 44 | kOutputXml, // XML-style |
| 45 | }; |
| 46 | |
| 47 | /* Command-line options. */ |
Jeff Hao | ea7c629 | 2016-11-14 18:10:16 -0800 | [diff] [blame] | 48 | class Options { |
| 49 | public: |
| 50 | Options() = default; |
| 51 | |
| 52 | bool dump_ = false; |
| 53 | bool build_dex_ir_ = false; |
| 54 | bool checksum_only_ = false; |
| 55 | bool disassemble_ = false; |
| 56 | bool exports_only_ = false; |
| 57 | bool ignore_bad_checksum_ = false; |
Mathieu Chartier | e6b6ff8 | 2018-01-19 18:58:34 -0800 | [diff] [blame] | 58 | bool output_to_container_ = false; |
Jeff Hao | ea7c629 | 2016-11-14 18:10:16 -0800 | [diff] [blame] | 59 | bool show_annotations_ = false; |
| 60 | bool show_file_headers_ = false; |
| 61 | bool show_section_headers_ = false; |
David Sehr | 9335749 | 2017-03-09 08:02:44 -0800 | [diff] [blame] | 62 | bool show_section_statistics_ = false; |
Jeff Hao | ea7c629 | 2016-11-14 18:10:16 -0800 | [diff] [blame] | 63 | bool verbose_ = false; |
Mathieu Chartier | 2ef3b88 | 2017-10-20 19:50:39 -0700 | [diff] [blame] | 64 | bool verify_output_ = kIsDebugBuild; |
Jeff Hao | ea7c629 | 2016-11-14 18:10:16 -0800 | [diff] [blame] | 65 | bool visualize_pattern_ = false; |
Mathieu Chartier | 2c4b084 | 2017-12-13 11:49:51 -0800 | [diff] [blame] | 66 | bool update_checksum_ = false; |
Mathieu Chartier | 603ccab | 2017-10-20 14:34:28 -0700 | [diff] [blame] | 67 | CompactDexLevel compact_dex_level_ = CompactDexLevel::kCompactDexLevelNone; |
Mathieu Chartier | 279e3a3 | 2018-01-24 18:17:55 -0800 | [diff] [blame] | 68 | bool dedupe_code_items_ = true; |
Jeff Hao | ea7c629 | 2016-11-14 18:10:16 -0800 | [diff] [blame] | 69 | OutputFormat output_format_ = kOutputPlain; |
| 70 | const char* output_dex_directory_ = nullptr; |
| 71 | const char* output_file_name_ = nullptr; |
| 72 | const char* profile_file_name_ = nullptr; |
Mathieu Chartier | 807b21b | 2018-01-29 05:18:24 -0800 | [diff] [blame] | 73 | // Filter that removes classes that don't have a matching descriptor (during IR creation). |
| 74 | // This speeds up cases when the output only requires a single class. |
Mathieu Chartier | 7517555 | 2018-01-25 11:23:01 -0800 | [diff] [blame] | 75 | std::set<std::string> class_filter_; |
David Sehr | 7629f60 | 2016-08-07 16:01:51 -0700 | [diff] [blame] | 76 | }; |
| 77 | |
Mathieu Chartier | 3e0c517 | 2017-11-12 12:58:40 -0800 | [diff] [blame] | 78 | // Hotness info |
| 79 | class DexLayoutHotnessInfo { |
| 80 | public: |
| 81 | // Store layout information so that the offset calculation can specify the section sizes. |
| 82 | std::unordered_map<dex_ir::CodeItem*, LayoutType> code_item_layout_; |
| 83 | }; |
| 84 | |
Jeff Hao | ea7c629 | 2016-11-14 18:10:16 -0800 | [diff] [blame] | 85 | class DexLayout { |
| 86 | public: |
Mathieu Chartier | e6b6ff8 | 2018-01-19 18:58:34 -0800 | [diff] [blame] | 87 | class VectorOutputContainer { |
| 88 | public: |
| 89 | // Begin is not necessarily aligned (for now). |
| 90 | uint8_t* Begin() { |
| 91 | return &data_[0]; |
| 92 | } |
| 93 | |
| 94 | private: |
| 95 | std::vector<uint8_t> data_; |
| 96 | }; |
| 97 | |
| 98 | |
Mathieu Chartier | 2c4b084 | 2017-12-13 11:49:51 -0800 | [diff] [blame] | 99 | // Setting this to false disables class def layout entirely, which is stronger than strictly |
| 100 | // necessary to ensure the partial order w.r.t. class derivation. TODO: Re-enable (b/68317550). |
| 101 | static constexpr bool kChangeClassDefOrder = false; |
| 102 | |
Jeff Hao | ea7c629 | 2016-11-14 18:10:16 -0800 | [diff] [blame] | 103 | DexLayout(Options& options, |
| 104 | ProfileCompilationInfo* info, |
| 105 | FILE* out_file, |
Mathieu Chartier | e6b6ff8 | 2018-01-19 18:58:34 -0800 | [diff] [blame] | 106 | dex_ir::Header* header) |
| 107 | : options_(options), |
| 108 | info_(info), |
| 109 | out_file_(out_file), |
| 110 | header_(header) { } |
Jeff Hao | ea7c629 | 2016-11-14 18:10:16 -0800 | [diff] [blame] | 111 | |
| 112 | int ProcessFile(const char* file_name); |
Mathieu Chartier | 05f90d1 | 2018-02-07 13:47:17 -0800 | [diff] [blame] | 113 | bool ProcessDexFile(const char* file_name, |
Mathieu Chartier | e6b6ff8 | 2018-01-19 18:58:34 -0800 | [diff] [blame] | 114 | const DexFile* dex_file, |
| 115 | size_t dex_file_index, |
Mathieu Chartier | 05f90d1 | 2018-02-07 13:47:17 -0800 | [diff] [blame] | 116 | std::unique_ptr<DexContainer>* dex_container, |
| 117 | std::string* error_msg); |
Jeff Hao | ea7c629 | 2016-11-14 18:10:16 -0800 | [diff] [blame] | 118 | |
| 119 | dex_ir::Header* GetHeader() const { return header_; } |
| 120 | void SetHeader(dex_ir::Header* header) { header_ = header; } |
| 121 | |
Mathieu Chartier | 3e0c517 | 2017-11-12 12:58:40 -0800 | [diff] [blame] | 122 | DexLayoutSections& GetSections() { |
Mathieu Chartier | 120aa28 | 2017-08-05 16:03:03 -0700 | [diff] [blame] | 123 | return dex_sections_; |
| 124 | } |
| 125 | |
Mathieu Chartier | 3e0c517 | 2017-11-12 12:58:40 -0800 | [diff] [blame] | 126 | const DexLayoutHotnessInfo& LayoutHotnessInfo() const { |
| 127 | return layout_hotness_info_; |
| 128 | } |
| 129 | |
Mathieu Chartier | 2c4b084 | 2017-12-13 11:49:51 -0800 | [diff] [blame] | 130 | const Options& GetOptions() const { |
| 131 | return options_; |
| 132 | } |
| 133 | |
Jeff Hao | ea7c629 | 2016-11-14 18:10:16 -0800 | [diff] [blame] | 134 | private: |
| 135 | void DumpAnnotationSetItem(dex_ir::AnnotationSetItem* set_item); |
| 136 | void DumpBytecodes(uint32_t idx, const dex_ir::CodeItem* code, uint32_t code_offset); |
| 137 | void DumpCatches(const dex_ir::CodeItem* code); |
| 138 | void DumpClass(int idx, char** last_package); |
| 139 | void DumpClassAnnotations(int idx); |
| 140 | void DumpClassDef(int idx); |
David Sehr | aa6abb0 | 2017-10-12 08:25:11 -0700 | [diff] [blame] | 141 | void DumpCode(uint32_t idx, |
| 142 | const dex_ir::CodeItem* code, |
| 143 | uint32_t code_offset, |
| 144 | const char* declaring_class_descriptor, |
| 145 | const char* method_name, |
| 146 | bool is_static, |
| 147 | const dex_ir::ProtoId* proto); |
Jeff Hao | ea7c629 | 2016-11-14 18:10:16 -0800 | [diff] [blame] | 148 | void DumpEncodedAnnotation(dex_ir::EncodedAnnotation* annotation); |
| 149 | void DumpEncodedValue(const dex_ir::EncodedValue* data); |
| 150 | void DumpFileHeader(); |
| 151 | void DumpIField(uint32_t idx, uint32_t flags, int i); |
| 152 | void DumpInstruction(const dex_ir::CodeItem* code, |
| 153 | uint32_t code_offset, |
| 154 | uint32_t insn_idx, |
| 155 | uint32_t insn_width, |
| 156 | const Instruction* dec_insn); |
| 157 | void DumpInterface(const dex_ir::TypeId* type_item, int i); |
| 158 | void DumpLocalInfo(const dex_ir::CodeItem* code); |
| 159 | void DumpMethod(uint32_t idx, uint32_t flags, const dex_ir::CodeItem* code, int i); |
| 160 | void DumpPositionInfo(const dex_ir::CodeItem* code); |
| 161 | void DumpSField(uint32_t idx, uint32_t flags, int i, dex_ir::EncodedValue* init); |
Jeff Hao | ea7c629 | 2016-11-14 18:10:16 -0800 | [diff] [blame] | 162 | void DumpDexFile(); |
Jeff Hao | 042e898 | 2016-10-19 11:17:11 -0700 | [diff] [blame] | 163 | |
Mathieu Chartier | 3e0c517 | 2017-11-12 12:58:40 -0800 | [diff] [blame] | 164 | void LayoutClassDefsAndClassData(const DexFile* dex_file); |
| 165 | void LayoutCodeItems(const DexFile* dex_file); |
| 166 | void LayoutStringData(const DexFile* dex_file); |
Jeff Hao | 042e898 | 2016-10-19 11:17:11 -0700 | [diff] [blame] | 167 | |
| 168 | // Creates a new layout for the dex file based on profile info. |
| 169 | // Currently reorders ClassDefs, ClassDataItems, and CodeItems. |
Jeff Hao | ea7c629 | 2016-11-14 18:10:16 -0800 | [diff] [blame] | 170 | void LayoutOutputFile(const DexFile* dex_file); |
Mathieu Chartier | 05f90d1 | 2018-02-07 13:47:17 -0800 | [diff] [blame] | 171 | bool OutputDexFile(const DexFile* input_dex_file, |
Mathieu Chartier | e6b6ff8 | 2018-01-19 18:58:34 -0800 | [diff] [blame] | 172 | bool compute_offsets, |
Mathieu Chartier | 05f90d1 | 2018-02-07 13:47:17 -0800 | [diff] [blame] | 173 | std::unique_ptr<DexContainer>* dex_container, |
| 174 | std::string* error_msg); |
Jeff Hao | ea7c629 | 2016-11-14 18:10:16 -0800 | [diff] [blame] | 175 | |
| 176 | void DumpCFG(const DexFile* dex_file, int idx); |
| 177 | void DumpCFG(const DexFile* dex_file, uint32_t dex_method_idx, const DexFile::CodeItem* code); |
| 178 | |
| 179 | Options& options_; |
| 180 | ProfileCompilationInfo* info_; |
| 181 | FILE* out_file_; |
| 182 | dex_ir::Header* header_; |
Mathieu Chartier | 120aa28 | 2017-08-05 16:03:03 -0700 | [diff] [blame] | 183 | DexLayoutSections dex_sections_; |
Mathieu Chartier | 3e0c517 | 2017-11-12 12:58:40 -0800 | [diff] [blame] | 184 | // Layout hotness information is only calculated when dexlayout is enabled. |
| 185 | DexLayoutHotnessInfo layout_hotness_info_; |
Jeff Hao | ea7c629 | 2016-11-14 18:10:16 -0800 | [diff] [blame] | 186 | |
| 187 | DISALLOW_COPY_AND_ASSIGN(DexLayout); |
| 188 | }; |
David Sehr | 7629f60 | 2016-08-07 16:01:51 -0700 | [diff] [blame] | 189 | |
| 190 | } // namespace art |
| 191 | |
| 192 | #endif // ART_DEXLAYOUT_DEXLAYOUT_H_ |