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