Brian Carlstrom | e24fa61 | 2011-09-29 00:53:55 -0700 | [diff] [blame] | 1 | // Copyright 2011 Google Inc. All Rights Reserved. |
| 2 | |
| 3 | #include "oat_writer.h" |
| 4 | |
| 5 | #include "class_linker.h" |
| 6 | #include "class_loader.h" |
| 7 | #include "file.h" |
| 8 | #include "os.h" |
| 9 | #include "stl_util.h" |
| 10 | |
| 11 | namespace art { |
| 12 | |
Elliott Hughes | 234da57 | 2011-11-03 22:13:06 -0700 | [diff] [blame] | 13 | bool OatWriter::Create(File* file, |
Brian Carlstrom | 3320cf4 | 2011-10-04 14:58:28 -0700 | [diff] [blame] | 14 | const ClassLoader* class_loader, |
| 15 | const Compiler& compiler) { |
Brian Carlstrom | aded5f7 | 2011-10-07 17:15:04 -0700 | [diff] [blame] | 16 | const std::vector<const DexFile*>& dex_files = ClassLoader::GetCompileTimeClassPath(class_loader); |
Brian Carlstrom | 3320cf4 | 2011-10-04 14:58:28 -0700 | [diff] [blame] | 17 | OatWriter oat_writer(dex_files, class_loader, compiler); |
Elliott Hughes | 234da57 | 2011-11-03 22:13:06 -0700 | [diff] [blame] | 18 | return oat_writer.Write(file); |
Brian Carlstrom | e24fa61 | 2011-09-29 00:53:55 -0700 | [diff] [blame] | 19 | } |
| 20 | |
Brian Carlstrom | 3320cf4 | 2011-10-04 14:58:28 -0700 | [diff] [blame] | 21 | OatWriter::OatWriter(const std::vector<const DexFile*>& dex_files, |
| 22 | const ClassLoader* class_loader, |
| 23 | const Compiler& compiler) { |
| 24 | compiler_ = &compiler; |
Brian Carlstrom | e24fa61 | 2011-09-29 00:53:55 -0700 | [diff] [blame] | 25 | class_loader_ = class_loader; |
| 26 | dex_files_ = &dex_files; |
Ian Rogers | 0571d35 | 2011-11-03 19:51:38 -0700 | [diff] [blame] | 27 | oat_header_ = NULL; |
| 28 | executable_offset_padding_length_ = 0; |
Brian Carlstrom | e24fa61 | 2011-09-29 00:53:55 -0700 | [diff] [blame] | 29 | |
| 30 | size_t offset = InitOatHeader(); |
| 31 | offset = InitOatDexFiles(offset); |
Brian Carlstrom | 8952189 | 2011-12-07 22:05:07 -0800 | [diff] [blame] | 32 | offset = InitDexFiles(offset); |
Brian Carlstrom | 389efb0 | 2012-01-11 12:06:26 -0800 | [diff] [blame] | 33 | offset = InitOatClasses(offset); |
Brian Carlstrom | e24fa61 | 2011-09-29 00:53:55 -0700 | [diff] [blame] | 34 | offset = InitOatCode(offset); |
| 35 | offset = InitOatCodeDexFiles(offset); |
| 36 | |
| 37 | CHECK_EQ(dex_files_->size(), oat_dex_files_.size()); |
Brian Carlstrom | e24fa61 | 2011-09-29 00:53:55 -0700 | [diff] [blame] | 38 | } |
| 39 | |
Ian Rogers | 0571d35 | 2011-11-03 19:51:38 -0700 | [diff] [blame] | 40 | OatWriter::~OatWriter() { |
| 41 | delete oat_header_; |
| 42 | STLDeleteElements(&oat_dex_files_); |
Brian Carlstrom | 389efb0 | 2012-01-11 12:06:26 -0800 | [diff] [blame] | 43 | STLDeleteElements(&oat_classes_); |
Ian Rogers | 0571d35 | 2011-11-03 19:51:38 -0700 | [diff] [blame] | 44 | } |
| 45 | |
Brian Carlstrom | e24fa61 | 2011-09-29 00:53:55 -0700 | [diff] [blame] | 46 | size_t OatWriter::InitOatHeader() { |
| 47 | // create the OatHeader |
| 48 | oat_header_ = new OatHeader(dex_files_); |
| 49 | size_t offset = sizeof(*oat_header_); |
| 50 | return offset; |
| 51 | } |
| 52 | |
| 53 | size_t OatWriter::InitOatDexFiles(size_t offset) { |
| 54 | // create the OatDexFiles |
| 55 | for (size_t i = 0; i != dex_files_->size(); ++i) { |
| 56 | const DexFile* dex_file = (*dex_files_)[i]; |
| 57 | CHECK(dex_file != NULL); |
| 58 | OatDexFile* oat_dex_file = new OatDexFile(*dex_file); |
| 59 | oat_dex_files_.push_back(oat_dex_file); |
| 60 | offset += oat_dex_file->SizeOf(); |
| 61 | } |
| 62 | return offset; |
| 63 | } |
| 64 | |
Brian Carlstrom | 8952189 | 2011-12-07 22:05:07 -0800 | [diff] [blame] | 65 | size_t OatWriter::InitDexFiles(size_t offset) { |
| 66 | // calculate the offsets within OatDexFiles to the DexFiles |
| 67 | for (size_t i = 0; i != dex_files_->size(); ++i) { |
| 68 | // dex files are required to be 4 byte aligned |
| 69 | offset = RoundUp(offset, 4); |
| 70 | |
| 71 | // set offset in OatDexFile to DexFile |
| 72 | oat_dex_files_[i]->dex_file_offset_ = offset; |
| 73 | |
| 74 | const DexFile* dex_file = (*dex_files_)[i]; |
| 75 | offset += dex_file->GetHeader().file_size_; |
| 76 | } |
| 77 | return offset; |
| 78 | } |
| 79 | |
Brian Carlstrom | 389efb0 | 2012-01-11 12:06:26 -0800 | [diff] [blame] | 80 | size_t OatWriter::InitOatClasses(size_t offset) { |
| 81 | // create the OatClasses |
| 82 | // calculate the offsets within OatDexFiles to OatClasses |
Brian Carlstrom | e24fa61 | 2011-09-29 00:53:55 -0700 | [diff] [blame] | 83 | size_t class_index = 0; |
| 84 | for (size_t i = 0; i != dex_files_->size(); ++i) { |
| 85 | const DexFile* dex_file = (*dex_files_)[i]; |
| 86 | for (size_t class_def_index = 0; |
| 87 | class_def_index < dex_file->NumClassDefs(); |
| 88 | class_def_index++, class_index++) { |
Brian Carlstrom | 6e3b1d9 | 2012-01-11 01:36:32 -0800 | [diff] [blame] | 89 | oat_dex_files_[i]->methods_offsets_[class_def_index] = offset; |
Brian Carlstrom | e24fa61 | 2011-09-29 00:53:55 -0700 | [diff] [blame] | 90 | const DexFile::ClassDef& class_def = dex_file->GetClassDef(class_def_index); |
| 91 | const byte* class_data = dex_file->GetClassData(class_def); |
Ian Rogers | 0571d35 | 2011-11-03 19:51:38 -0700 | [diff] [blame] | 92 | uint32_t num_methods = 0; |
| 93 | if (class_data != NULL) { // ie not an empty class, such as a marker interface |
| 94 | ClassDataItemIterator it(*dex_file, class_data); |
| 95 | size_t num_direct_methods = it.NumDirectMethods(); |
| 96 | size_t num_virtual_methods = it.NumVirtualMethods(); |
| 97 | num_methods = num_direct_methods + num_virtual_methods; |
| 98 | } |
Brian Carlstrom | 0755ec5 | 2012-01-11 15:19:46 -0800 | [diff] [blame^] | 99 | |
| 100 | CompiledClass* compiled_class = |
| 101 | compiler_->GetCompiledClass(art::Compiler::MethodReference(dex_file, class_def_index)); |
| 102 | Class::Status status = |
| 103 | (compiled_class != NULL) ? compiled_class->GetStatus() : Class::kStatusNotReady; |
| 104 | |
| 105 | OatClass* oat_class = new OatClass(status, num_methods); |
Brian Carlstrom | 389efb0 | 2012-01-11 12:06:26 -0800 | [diff] [blame] | 106 | oat_classes_.push_back(oat_class); |
| 107 | offset += oat_class->SizeOf(); |
Brian Carlstrom | e24fa61 | 2011-09-29 00:53:55 -0700 | [diff] [blame] | 108 | } |
Brian Carlstrom | 6e3b1d9 | 2012-01-11 01:36:32 -0800 | [diff] [blame] | 109 | oat_dex_files_[i]->UpdateChecksum(*oat_header_); |
Brian Carlstrom | e24fa61 | 2011-09-29 00:53:55 -0700 | [diff] [blame] | 110 | } |
| 111 | return offset; |
| 112 | } |
| 113 | |
| 114 | size_t OatWriter::InitOatCode(size_t offset) { |
| 115 | // calculate the offsets within OatHeader to executable code |
| 116 | size_t old_offset = offset; |
| 117 | // required to be on a new page boundary |
| 118 | offset = RoundUp(offset, kPageSize); |
| 119 | oat_header_->SetExecutableOffset(offset); |
| 120 | executable_offset_padding_length_ = offset - old_offset; |
| 121 | return offset; |
| 122 | } |
| 123 | |
| 124 | size_t OatWriter::InitOatCodeDexFiles(size_t offset) { |
Brian Carlstrom | e24fa61 | 2011-09-29 00:53:55 -0700 | [diff] [blame] | 125 | size_t oat_class_index = 0; |
| 126 | for (size_t i = 0; i != dex_files_->size(); ++i) { |
| 127 | const DexFile* dex_file = (*dex_files_)[i]; |
| 128 | CHECK(dex_file != NULL); |
| 129 | offset = InitOatCodeDexFile(offset, oat_class_index, *dex_file); |
| 130 | } |
| 131 | return offset; |
| 132 | } |
| 133 | |
| 134 | size_t OatWriter::InitOatCodeDexFile(size_t offset, |
| 135 | size_t& oat_class_index, |
| 136 | const DexFile& dex_file) { |
Brian Carlstrom | 389efb0 | 2012-01-11 12:06:26 -0800 | [diff] [blame] | 137 | for (size_t class_def_index = 0; |
Brian Carlstrom | e24fa61 | 2011-09-29 00:53:55 -0700 | [diff] [blame] | 138 | class_def_index < dex_file.NumClassDefs(); |
| 139 | class_def_index++, oat_class_index++) { |
| 140 | const DexFile::ClassDef& class_def = dex_file.GetClassDef(class_def_index); |
| 141 | offset = InitOatCodeClassDef(offset, oat_class_index, dex_file, class_def); |
Brian Carlstrom | 389efb0 | 2012-01-11 12:06:26 -0800 | [diff] [blame] | 142 | oat_classes_[oat_class_index]->UpdateChecksum(*oat_header_); |
Brian Carlstrom | e24fa61 | 2011-09-29 00:53:55 -0700 | [diff] [blame] | 143 | } |
| 144 | return offset; |
| 145 | } |
| 146 | |
| 147 | size_t OatWriter::InitOatCodeClassDef(size_t offset, |
| 148 | size_t oat_class_index, |
| 149 | const DexFile& dex_file, |
| 150 | const DexFile::ClassDef& class_def) { |
| 151 | const byte* class_data = dex_file.GetClassData(class_def); |
Ian Rogers | 0571d35 | 2011-11-03 19:51:38 -0700 | [diff] [blame] | 152 | if (class_data == NULL) { |
| 153 | // empty class, such as a marker interface |
Ian Rogers | 387b699 | 2011-10-31 17:52:37 -0700 | [diff] [blame] | 154 | return offset; |
| 155 | } |
Ian Rogers | 0571d35 | 2011-11-03 19:51:38 -0700 | [diff] [blame] | 156 | ClassDataItemIterator it(dex_file, class_data); |
Brian Carlstrom | 389efb0 | 2012-01-11 12:06:26 -0800 | [diff] [blame] | 157 | CHECK_EQ(oat_classes_[oat_class_index]->method_offsets_.size(), |
Ian Rogers | 0571d35 | 2011-11-03 19:51:38 -0700 | [diff] [blame] | 158 | it.NumDirectMethods() + it.NumVirtualMethods()); |
| 159 | // Skip fields |
| 160 | while (it.HasNextStaticField()) { |
| 161 | it.Next(); |
| 162 | } |
| 163 | while (it.HasNextInstanceField()) { |
| 164 | it.Next(); |
| 165 | } |
| 166 | // Process methods |
Brian Carlstrom | e24fa61 | 2011-09-29 00:53:55 -0700 | [diff] [blame] | 167 | size_t class_def_method_index = 0; |
Ian Rogers | 0571d35 | 2011-11-03 19:51:38 -0700 | [diff] [blame] | 168 | while (it.HasNextDirectMethod()) { |
| 169 | bool is_static = (it.GetMemberAccessFlags() & kAccStatic) != 0; |
| 170 | offset = InitOatCodeMethod(offset, oat_class_index, class_def_method_index, is_static, true, |
| 171 | it.GetMemberIndex(), &dex_file); |
| 172 | class_def_method_index++; |
| 173 | it.Next(); |
Brian Carlstrom | e24fa61 | 2011-09-29 00:53:55 -0700 | [diff] [blame] | 174 | } |
Ian Rogers | 0571d35 | 2011-11-03 19:51:38 -0700 | [diff] [blame] | 175 | while (it.HasNextVirtualMethod()) { |
| 176 | CHECK_EQ(it.GetMemberAccessFlags() & kAccStatic, 0U); |
| 177 | offset = InitOatCodeMethod(offset, oat_class_index, class_def_method_index, false, false, |
| 178 | it.GetMemberIndex(), &dex_file); |
| 179 | class_def_method_index++; |
| 180 | it.Next(); |
Brian Carlstrom | e24fa61 | 2011-09-29 00:53:55 -0700 | [diff] [blame] | 181 | } |
Ian Rogers | 0571d35 | 2011-11-03 19:51:38 -0700 | [diff] [blame] | 182 | DCHECK(!it.HasNext()); |
Brian Carlstrom | e24fa61 | 2011-09-29 00:53:55 -0700 | [diff] [blame] | 183 | return offset; |
| 184 | } |
| 185 | |
Ian Rogers | 0571d35 | 2011-11-03 19:51:38 -0700 | [diff] [blame] | 186 | size_t OatWriter::InitOatCodeMethod(size_t offset, size_t oat_class_index, |
| 187 | size_t class_def_method_index, bool is_static, bool is_direct, |
| 188 | uint32_t method_idx, const DexFile* dex_file) { |
Brian Carlstrom | 3320cf4 | 2011-10-04 14:58:28 -0700 | [diff] [blame] | 189 | // derived from CompiledMethod if available |
| 190 | uint32_t code_offset = 0; |
| 191 | uint32_t frame_size_in_bytes = kStackAlignment; |
Brian Carlstrom | 3320cf4 | 2011-10-04 14:58:28 -0700 | [diff] [blame] | 192 | uint32_t core_spill_mask = 0; |
| 193 | uint32_t fp_spill_mask = 0; |
| 194 | uint32_t mapping_table_offset = 0; |
| 195 | uint32_t vmap_table_offset = 0; |
| 196 | // derived from CompiledInvokeStub if available |
| 197 | uint32_t invoke_stub_offset = 0; |
Brian Carlstrom | e24fa61 | 2011-09-29 00:53:55 -0700 | [diff] [blame] | 198 | |
Ian Rogers | 0571d35 | 2011-11-03 19:51:38 -0700 | [diff] [blame] | 199 | CompiledMethod* compiled_method = |
| 200 | compiler_->GetCompiledMethod(art::Compiler::MethodReference(dex_file, method_idx)); |
Brian Carlstrom | 3320cf4 | 2011-10-04 14:58:28 -0700 | [diff] [blame] | 201 | if (compiled_method != NULL) { |
Brian Carlstrom | 3320cf4 | 2011-10-04 14:58:28 -0700 | [diff] [blame] | 202 | offset = compiled_method->AlignCode(offset); |
Elliott Hughes | 06b37d9 | 2011-10-16 11:51:29 -0700 | [diff] [blame] | 203 | DCHECK_ALIGNED(offset, kArmAlignment); |
Brian Carlstrom | 3320cf4 | 2011-10-04 14:58:28 -0700 | [diff] [blame] | 204 | const std::vector<uint8_t>& code = compiled_method->GetCode(); |
| 205 | size_t code_size = code.size() * sizeof(code[0]); |
| 206 | uint32_t thumb_offset = compiled_method->CodeDelta(); |
| 207 | code_offset = (code_size == 0) ? 0 : offset + thumb_offset; |
jeffhao | 55d7821 | 2011-11-02 11:41:50 -0700 | [diff] [blame] | 208 | |
| 209 | // Deduplicate code arrays |
jeffhao | f479dcc | 2011-11-02 15:54:15 -0700 | [diff] [blame] | 210 | std::map<const std::vector<uint8_t>*, uint32_t>::iterator code_iter = code_offsets_.find(&code); |
jeffhao | 55d7821 | 2011-11-02 11:41:50 -0700 | [diff] [blame] | 211 | if (code_iter != code_offsets_.end()) { |
| 212 | code_offset = code_iter->second; |
| 213 | } else { |
jeffhao | f479dcc | 2011-11-02 15:54:15 -0700 | [diff] [blame] | 214 | code_offsets_.insert(std::pair<const std::vector<uint8_t>*, uint32_t>(&code, code_offset)); |
jeffhao | 55d7821 | 2011-11-02 11:41:50 -0700 | [diff] [blame] | 215 | offset += code_size; |
| 216 | oat_header_->UpdateChecksum(&code[0], code_size); |
| 217 | } |
Brian Carlstrom | 3320cf4 | 2011-10-04 14:58:28 -0700 | [diff] [blame] | 218 | |
| 219 | frame_size_in_bytes = compiled_method->GetFrameSizeInBytes(); |
Brian Carlstrom | 3320cf4 | 2011-10-04 14:58:28 -0700 | [diff] [blame] | 220 | core_spill_mask = compiled_method->GetCoreSpillMask(); |
| 221 | fp_spill_mask = compiled_method->GetFpSpillMask(); |
Brian Carlstrom | e24fa61 | 2011-09-29 00:53:55 -0700 | [diff] [blame] | 222 | } |
Brian Carlstrom | 3320cf4 | 2011-10-04 14:58:28 -0700 | [diff] [blame] | 223 | |
| 224 | offset += sizeof(frame_size_in_bytes); |
| 225 | oat_header_->UpdateChecksum(&frame_size_in_bytes, sizeof(frame_size_in_bytes)); |
| 226 | |
Brian Carlstrom | 3320cf4 | 2011-10-04 14:58:28 -0700 | [diff] [blame] | 227 | offset += sizeof(core_spill_mask); |
| 228 | oat_header_->UpdateChecksum(&core_spill_mask, sizeof(core_spill_mask)); |
| 229 | |
| 230 | offset += sizeof(fp_spill_mask); |
| 231 | oat_header_->UpdateChecksum(&fp_spill_mask, sizeof(fp_spill_mask)); |
| 232 | |
| 233 | if (compiled_method != NULL) { |
Brian Carlstrom | 3320cf4 | 2011-10-04 14:58:28 -0700 | [diff] [blame] | 234 | const std::vector<uint32_t>& mapping_table = compiled_method->GetMappingTable(); |
| 235 | size_t mapping_table_size = mapping_table.size() * sizeof(mapping_table[0]); |
| 236 | mapping_table_offset = (mapping_table_size == 0) ? 0 : offset; |
jeffhao | 55d7821 | 2011-11-02 11:41:50 -0700 | [diff] [blame] | 237 | |
| 238 | // Deduplicate mapping tables |
jeffhao | f479dcc | 2011-11-02 15:54:15 -0700 | [diff] [blame] | 239 | std::map<const std::vector<uint32_t>*, uint32_t>::iterator mapping_iter = mapping_table_offsets_.find(&mapping_table); |
jeffhao | 55d7821 | 2011-11-02 11:41:50 -0700 | [diff] [blame] | 240 | if (mapping_iter != mapping_table_offsets_.end()) { |
| 241 | mapping_table_offset = mapping_iter->second; |
| 242 | } else { |
jeffhao | f479dcc | 2011-11-02 15:54:15 -0700 | [diff] [blame] | 243 | mapping_table_offsets_.insert(std::pair<const std::vector<uint32_t>*, uint32_t>(&mapping_table, mapping_table_offset)); |
jeffhao | 55d7821 | 2011-11-02 11:41:50 -0700 | [diff] [blame] | 244 | offset += mapping_table_size; |
| 245 | oat_header_->UpdateChecksum(&mapping_table[0], mapping_table_size); |
| 246 | } |
Brian Carlstrom | 3320cf4 | 2011-10-04 14:58:28 -0700 | [diff] [blame] | 247 | |
| 248 | const std::vector<uint16_t>& vmap_table = compiled_method->GetVmapTable(); |
| 249 | size_t vmap_table_size = vmap_table.size() * sizeof(vmap_table[0]); |
| 250 | vmap_table_offset = (vmap_table_size == 0) ? 0 : offset; |
jeffhao | 55d7821 | 2011-11-02 11:41:50 -0700 | [diff] [blame] | 251 | |
| 252 | // Deduplicate vmap tables |
jeffhao | f479dcc | 2011-11-02 15:54:15 -0700 | [diff] [blame] | 253 | std::map<const std::vector<uint16_t>*, uint32_t>::iterator vmap_iter = vmap_table_offsets_.find(&vmap_table); |
jeffhao | 55d7821 | 2011-11-02 11:41:50 -0700 | [diff] [blame] | 254 | if (vmap_iter != vmap_table_offsets_.end()) { |
| 255 | vmap_table_offset = vmap_iter->second; |
| 256 | } else { |
jeffhao | f479dcc | 2011-11-02 15:54:15 -0700 | [diff] [blame] | 257 | vmap_table_offsets_.insert(std::pair<const std::vector<uint16_t>*, uint32_t>(&vmap_table, vmap_table_offset)); |
jeffhao | 55d7821 | 2011-11-02 11:41:50 -0700 | [diff] [blame] | 258 | offset += vmap_table_size; |
| 259 | oat_header_->UpdateChecksum(&vmap_table[0], vmap_table_size); |
| 260 | } |
Brian Carlstrom | 3320cf4 | 2011-10-04 14:58:28 -0700 | [diff] [blame] | 261 | } |
| 262 | |
Ian Rogers | 0571d35 | 2011-11-03 19:51:38 -0700 | [diff] [blame] | 263 | const char* shorty = dex_file->GetMethodShorty(dex_file->GetMethodId(method_idx)); |
| 264 | const CompiledInvokeStub* compiled_invoke_stub = compiler_->FindInvokeStub(is_static, shorty); |
Brian Carlstrom | 3320cf4 | 2011-10-04 14:58:28 -0700 | [diff] [blame] | 265 | if (compiled_invoke_stub != NULL) { |
| 266 | offset = CompiledMethod::AlignCode(offset, compiler_->GetInstructionSet()); |
Elliott Hughes | 06b37d9 | 2011-10-16 11:51:29 -0700 | [diff] [blame] | 267 | DCHECK_ALIGNED(offset, kArmAlignment); |
Brian Carlstrom | 3320cf4 | 2011-10-04 14:58:28 -0700 | [diff] [blame] | 268 | const std::vector<uint8_t>& invoke_stub = compiled_invoke_stub->GetCode(); |
| 269 | size_t invoke_stub_size = invoke_stub.size() * sizeof(invoke_stub[0]); |
| 270 | invoke_stub_offset = (invoke_stub_size == 0) ? 0 : offset; |
jeffhao | 55d7821 | 2011-11-02 11:41:50 -0700 | [diff] [blame] | 271 | |
| 272 | // Deduplicate invoke stubs |
jeffhao | f479dcc | 2011-11-02 15:54:15 -0700 | [diff] [blame] | 273 | std::map<const std::vector<uint8_t>*, uint32_t>::iterator stub_iter = code_offsets_.find(&invoke_stub); |
jeffhao | 55d7821 | 2011-11-02 11:41:50 -0700 | [diff] [blame] | 274 | if (stub_iter != code_offsets_.end()) { |
| 275 | invoke_stub_offset = stub_iter->second; |
| 276 | } else { |
jeffhao | f479dcc | 2011-11-02 15:54:15 -0700 | [diff] [blame] | 277 | code_offsets_.insert(std::pair<const std::vector<uint8_t>*, uint32_t>(&invoke_stub, invoke_stub_offset)); |
jeffhao | 55d7821 | 2011-11-02 11:41:50 -0700 | [diff] [blame] | 278 | offset += invoke_stub_size; |
| 279 | oat_header_->UpdateChecksum(&invoke_stub[0], invoke_stub_size); |
| 280 | } |
Brian Carlstrom | 3320cf4 | 2011-10-04 14:58:28 -0700 | [diff] [blame] | 281 | } |
| 282 | |
Brian Carlstrom | 389efb0 | 2012-01-11 12:06:26 -0800 | [diff] [blame] | 283 | oat_classes_[oat_class_index]->method_offsets_[class_def_method_index] |
Brian Carlstrom | 3320cf4 | 2011-10-04 14:58:28 -0700 | [diff] [blame] | 284 | = OatMethodOffsets(code_offset, |
| 285 | frame_size_in_bytes, |
Brian Carlstrom | 3320cf4 | 2011-10-04 14:58:28 -0700 | [diff] [blame] | 286 | core_spill_mask, |
| 287 | fp_spill_mask, |
| 288 | mapping_table_offset, |
| 289 | vmap_table_offset, |
| 290 | invoke_stub_offset); |
| 291 | |
Ian Rogers | 0571d35 | 2011-11-03 19:51:38 -0700 | [diff] [blame] | 292 | if (compiler_->IsImage()) { |
| 293 | ClassLinker* linker = Runtime::Current()->GetClassLinker(); |
| 294 | DexCache* dex_cache = linker->FindDexCache(*dex_file); |
| 295 | Method* method = linker->ResolveMethod(*dex_file, method_idx, dex_cache, class_loader_, |
| 296 | is_direct); |
| 297 | CHECK(method != NULL); |
| 298 | method->SetFrameSizeInBytes(frame_size_in_bytes); |
| 299 | method->SetCoreSpillMask(core_spill_mask); |
| 300 | method->SetFpSpillMask(fp_spill_mask); |
| 301 | method->SetOatMappingTableOffset(mapping_table_offset); |
| 302 | method->SetOatCodeOffset(code_offset); |
| 303 | method->SetOatVmapTableOffset(vmap_table_offset); |
| 304 | method->SetOatInvokeStubOffset(invoke_stub_offset); |
| 305 | } |
Brian Carlstrom | e24fa61 | 2011-09-29 00:53:55 -0700 | [diff] [blame] | 306 | return offset; |
| 307 | } |
| 308 | |
Brian Carlstrom | 3320cf4 | 2011-10-04 14:58:28 -0700 | [diff] [blame] | 309 | #define DCHECK_CODE_OFFSET() \ |
Elliott Hughes | 2a2ff56 | 2012-01-06 18:07:59 -0800 | [diff] [blame] | 310 | DCHECK_EQ(static_cast<off_t>(code_offset), lseek(file->Fd(), 0, SEEK_CUR)) |
Brian Carlstrom | 3320cf4 | 2011-10-04 14:58:28 -0700 | [diff] [blame] | 311 | |
Elliott Hughes | 234da57 | 2011-11-03 22:13:06 -0700 | [diff] [blame] | 312 | bool OatWriter::Write(File* file) { |
Brian Carlstrom | e24fa61 | 2011-09-29 00:53:55 -0700 | [diff] [blame] | 313 | if (!file->WriteFully(oat_header_, sizeof(*oat_header_))) { |
Elliott Hughes | 234da57 | 2011-11-03 22:13:06 -0700 | [diff] [blame] | 314 | PLOG(ERROR) << "Failed to write oat header to " << file->name(); |
Brian Carlstrom | e24fa61 | 2011-09-29 00:53:55 -0700 | [diff] [blame] | 315 | return false; |
| 316 | } |
| 317 | |
Elliott Hughes | 234da57 | 2011-11-03 22:13:06 -0700 | [diff] [blame] | 318 | if (!WriteTables(file)) { |
| 319 | LOG(ERROR) << "Failed to write oat tables to " << file->name(); |
Brian Carlstrom | e24fa61 | 2011-09-29 00:53:55 -0700 | [diff] [blame] | 320 | return false; |
| 321 | } |
| 322 | |
Elliott Hughes | 234da57 | 2011-11-03 22:13:06 -0700 | [diff] [blame] | 323 | size_t code_offset = WriteCode(file); |
Brian Carlstrom | e24fa61 | 2011-09-29 00:53:55 -0700 | [diff] [blame] | 324 | if (code_offset == 0) { |
Elliott Hughes | 234da57 | 2011-11-03 22:13:06 -0700 | [diff] [blame] | 325 | LOG(ERROR) << "Failed to write oat code to " << file->name(); |
Brian Carlstrom | e24fa61 | 2011-09-29 00:53:55 -0700 | [diff] [blame] | 326 | return false; |
| 327 | } |
| 328 | |
Elliott Hughes | 234da57 | 2011-11-03 22:13:06 -0700 | [diff] [blame] | 329 | code_offset = WriteCodeDexFiles(file, code_offset); |
Brian Carlstrom | e24fa61 | 2011-09-29 00:53:55 -0700 | [diff] [blame] | 330 | if (code_offset == 0) { |
Elliott Hughes | 234da57 | 2011-11-03 22:13:06 -0700 | [diff] [blame] | 331 | LOG(ERROR) << "Failed to write oat code for dex files to " << file->name(); |
Brian Carlstrom | e24fa61 | 2011-09-29 00:53:55 -0700 | [diff] [blame] | 332 | return false; |
| 333 | } |
| 334 | |
| 335 | return true; |
| 336 | } |
| 337 | |
| 338 | bool OatWriter::WriteTables(File* file) { |
| 339 | for (size_t i = 0; i != oat_dex_files_.size(); ++i) { |
| 340 | if (!oat_dex_files_[i]->Write(file)) { |
Elliott Hughes | 234da57 | 2011-11-03 22:13:06 -0700 | [diff] [blame] | 341 | PLOG(ERROR) << "Failed to write oat dex information to " << file->name(); |
Brian Carlstrom | e24fa61 | 2011-09-29 00:53:55 -0700 | [diff] [blame] | 342 | return false; |
| 343 | } |
| 344 | } |
Brian Carlstrom | 8952189 | 2011-12-07 22:05:07 -0800 | [diff] [blame] | 345 | for (size_t i = 0; i != oat_dex_files_.size(); ++i) { |
| 346 | uint32_t expected_offset = oat_dex_files_[i]->dex_file_offset_; |
Elliott Hughes | 2a2ff56 | 2012-01-06 18:07:59 -0800 | [diff] [blame] | 347 | off_t actual_offset = lseek(file->Fd(), expected_offset, SEEK_SET); |
Brian Carlstrom | 8952189 | 2011-12-07 22:05:07 -0800 | [diff] [blame] | 348 | if (static_cast<uint32_t>(actual_offset) != expected_offset) { |
| 349 | const DexFile* dex_file = (*dex_files_)[i]; |
| 350 | PLOG(ERROR) << "Failed to seek to dex file section. Actual: " << actual_offset |
| 351 | << " Expected: " << expected_offset << " File: " << dex_file->GetLocation(); |
| 352 | return false; |
| 353 | } |
| 354 | const DexFile* dex_file = (*dex_files_)[i]; |
| 355 | if (!file->WriteFully(&dex_file->GetHeader(), dex_file->GetHeader().file_size_)) { |
| 356 | PLOG(ERROR) << "Failed to write dex file " << dex_file->GetLocation() << " to " << file->name(); |
| 357 | return false; |
| 358 | } |
| 359 | } |
Brian Carlstrom | 389efb0 | 2012-01-11 12:06:26 -0800 | [diff] [blame] | 360 | for (size_t i = 0; i != oat_classes_.size(); ++i) { |
| 361 | if (!oat_classes_[i]->Write(file)) { |
Elliott Hughes | 234da57 | 2011-11-03 22:13:06 -0700 | [diff] [blame] | 362 | PLOG(ERROR) << "Failed to write oat methods information to " << file->name(); |
Brian Carlstrom | e24fa61 | 2011-09-29 00:53:55 -0700 | [diff] [blame] | 363 | return false; |
| 364 | } |
| 365 | } |
| 366 | return true; |
| 367 | } |
| 368 | |
| 369 | size_t OatWriter::WriteCode(File* file) { |
| 370 | uint32_t code_offset = oat_header_->GetExecutableOffset(); |
Elliott Hughes | 2a2ff56 | 2012-01-06 18:07:59 -0800 | [diff] [blame] | 371 | off_t new_offset = lseek(file->Fd(), executable_offset_padding_length_, SEEK_CUR); |
Brian Carlstrom | e24fa61 | 2011-09-29 00:53:55 -0700 | [diff] [blame] | 372 | if (static_cast<uint32_t>(new_offset) != code_offset) { |
Brian Carlstrom | 3320cf4 | 2011-10-04 14:58:28 -0700 | [diff] [blame] | 373 | PLOG(ERROR) << "Failed to seek to oat code section. Actual: " << new_offset |
Elliott Hughes | 234da57 | 2011-11-03 22:13:06 -0700 | [diff] [blame] | 374 | << " Expected: " << code_offset << " File: " << file->name(); |
Brian Carlstrom | e24fa61 | 2011-09-29 00:53:55 -0700 | [diff] [blame] | 375 | return 0; |
| 376 | } |
Brian Carlstrom | 3320cf4 | 2011-10-04 14:58:28 -0700 | [diff] [blame] | 377 | DCHECK_CODE_OFFSET(); |
Brian Carlstrom | e24fa61 | 2011-09-29 00:53:55 -0700 | [diff] [blame] | 378 | return code_offset; |
| 379 | } |
| 380 | |
| 381 | size_t OatWriter::WriteCodeDexFiles(File* file, size_t code_offset) { |
Ian Rogers | 0571d35 | 2011-11-03 19:51:38 -0700 | [diff] [blame] | 382 | size_t oat_class_index = 0; |
Brian Carlstrom | 6e3b1d9 | 2012-01-11 01:36:32 -0800 | [diff] [blame] | 383 | for (size_t i = 0; i != oat_dex_files_.size(); ++i) { |
Brian Carlstrom | e24fa61 | 2011-09-29 00:53:55 -0700 | [diff] [blame] | 384 | const DexFile* dex_file = (*dex_files_)[i]; |
| 385 | CHECK(dex_file != NULL); |
Ian Rogers | 0571d35 | 2011-11-03 19:51:38 -0700 | [diff] [blame] | 386 | code_offset = WriteCodeDexFile(file, code_offset, oat_class_index, *dex_file); |
Brian Carlstrom | e24fa61 | 2011-09-29 00:53:55 -0700 | [diff] [blame] | 387 | if (code_offset == 0) { |
| 388 | return 0; |
| 389 | } |
| 390 | } |
| 391 | return code_offset; |
| 392 | } |
| 393 | |
Ian Rogers | 0571d35 | 2011-11-03 19:51:38 -0700 | [diff] [blame] | 394 | size_t OatWriter::WriteCodeDexFile(File* file, size_t code_offset, size_t& oat_class_index, |
| 395 | const DexFile& dex_file) { |
| 396 | for (size_t class_def_index = 0; class_def_index < dex_file.NumClassDefs(); |
| 397 | class_def_index++, oat_class_index++) { |
Brian Carlstrom | e24fa61 | 2011-09-29 00:53:55 -0700 | [diff] [blame] | 398 | const DexFile::ClassDef& class_def = dex_file.GetClassDef(class_def_index); |
Ian Rogers | 0571d35 | 2011-11-03 19:51:38 -0700 | [diff] [blame] | 399 | code_offset = WriteCodeClassDef(file, code_offset, oat_class_index, dex_file, class_def); |
Brian Carlstrom | e24fa61 | 2011-09-29 00:53:55 -0700 | [diff] [blame] | 400 | if (code_offset == 0) { |
| 401 | return 0; |
| 402 | } |
| 403 | } |
| 404 | return code_offset; |
| 405 | } |
| 406 | |
Ian Rogers | 0571d35 | 2011-11-03 19:51:38 -0700 | [diff] [blame] | 407 | void OatWriter::ReportWriteFailure(const char* what, uint32_t method_idx, |
| 408 | const DexFile& dex_file, File* f) const { |
| 409 | PLOG(ERROR) << "Failed to write " << what << " for " << PrettyMethod(method_idx, dex_file) |
| 410 | << " to " << f->name(); |
Elliott Hughes | 234da57 | 2011-11-03 22:13:06 -0700 | [diff] [blame] | 411 | } |
| 412 | |
Brian Carlstrom | e24fa61 | 2011-09-29 00:53:55 -0700 | [diff] [blame] | 413 | size_t OatWriter::WriteCodeClassDef(File* file, |
Ian Rogers | 0571d35 | 2011-11-03 19:51:38 -0700 | [diff] [blame] | 414 | size_t code_offset, size_t oat_class_index, |
Brian Carlstrom | e24fa61 | 2011-09-29 00:53:55 -0700 | [diff] [blame] | 415 | const DexFile& dex_file, |
| 416 | const DexFile::ClassDef& class_def) { |
Brian Carlstrom | e24fa61 | 2011-09-29 00:53:55 -0700 | [diff] [blame] | 417 | const byte* class_data = dex_file.GetClassData(class_def); |
Ian Rogers | 0571d35 | 2011-11-03 19:51:38 -0700 | [diff] [blame] | 418 | if (class_data == NULL) { |
| 419 | // ie. an empty class such as a marker interface |
Ian Rogers | 387b699 | 2011-10-31 17:52:37 -0700 | [diff] [blame] | 420 | return code_offset; |
| 421 | } |
Ian Rogers | 0571d35 | 2011-11-03 19:51:38 -0700 | [diff] [blame] | 422 | ClassDataItemIterator it(dex_file, class_data); |
| 423 | // Skip fields |
| 424 | while (it.HasNextStaticField()) { |
| 425 | it.Next(); |
| 426 | } |
| 427 | while (it.HasNextInstanceField()) { |
| 428 | it.Next(); |
| 429 | } |
| 430 | // Process methods |
| 431 | size_t class_def_method_index = 0; |
| 432 | while (it.HasNextDirectMethod()) { |
| 433 | bool is_static = (it.GetMemberAccessFlags() & kAccStatic) != 0; |
| 434 | code_offset = WriteCodeMethod(file, code_offset, oat_class_index, class_def_method_index, |
| 435 | is_static, it.GetMemberIndex(), dex_file); |
Brian Carlstrom | e24fa61 | 2011-09-29 00:53:55 -0700 | [diff] [blame] | 436 | if (code_offset == 0) { |
| 437 | return 0; |
| 438 | } |
Ian Rogers | 0571d35 | 2011-11-03 19:51:38 -0700 | [diff] [blame] | 439 | class_def_method_index++; |
| 440 | it.Next(); |
Brian Carlstrom | e24fa61 | 2011-09-29 00:53:55 -0700 | [diff] [blame] | 441 | } |
Ian Rogers | 0571d35 | 2011-11-03 19:51:38 -0700 | [diff] [blame] | 442 | while (it.HasNextVirtualMethod()) { |
| 443 | code_offset = WriteCodeMethod(file, code_offset, oat_class_index, class_def_method_index, |
| 444 | false, it.GetMemberIndex(), dex_file); |
Brian Carlstrom | e24fa61 | 2011-09-29 00:53:55 -0700 | [diff] [blame] | 445 | if (code_offset == 0) { |
| 446 | return 0; |
| 447 | } |
Ian Rogers | 0571d35 | 2011-11-03 19:51:38 -0700 | [diff] [blame] | 448 | class_def_method_index++; |
| 449 | it.Next(); |
Brian Carlstrom | e24fa61 | 2011-09-29 00:53:55 -0700 | [diff] [blame] | 450 | } |
| 451 | return code_offset; |
| 452 | } |
| 453 | |
Ian Rogers | 0571d35 | 2011-11-03 19:51:38 -0700 | [diff] [blame] | 454 | size_t OatWriter::WriteCodeMethod(File* file, size_t code_offset, size_t oat_class_index, |
| 455 | size_t class_def_method_index, bool is_static, |
| 456 | uint32_t method_idx, const DexFile& dex_file) { |
| 457 | const CompiledMethod* compiled_method = |
| 458 | compiler_->GetCompiledMethod(art::Compiler::MethodReference(&dex_file, method_idx)); |
| 459 | |
| 460 | uint32_t frame_size_in_bytes = 0; |
| 461 | uint32_t core_spill_mask = 0; |
| 462 | uint32_t fp_spill_mask = 0; |
| 463 | |
| 464 | OatMethodOffsets method_offsets = |
Brian Carlstrom | 389efb0 | 2012-01-11 12:06:26 -0800 | [diff] [blame] | 465 | oat_classes_[oat_class_index]->method_offsets_[class_def_method_index]; |
Ian Rogers | 0571d35 | 2011-11-03 19:51:38 -0700 | [diff] [blame] | 466 | |
| 467 | |
| 468 | if (compiled_method != NULL) { // ie. not an abstract method |
Brian Carlstrom | 3320cf4 | 2011-10-04 14:58:28 -0700 | [diff] [blame] | 469 | uint32_t aligned_code_offset = compiled_method->AlignCode(code_offset); |
Brian Carlstrom | e24fa61 | 2011-09-29 00:53:55 -0700 | [diff] [blame] | 470 | uint32_t aligned_code_delta = aligned_code_offset - code_offset; |
| 471 | if (aligned_code_delta != 0) { |
Elliott Hughes | 2a2ff56 | 2012-01-06 18:07:59 -0800 | [diff] [blame] | 472 | off_t new_offset = lseek(file->Fd(), aligned_code_delta, SEEK_CUR); |
Brian Carlstrom | e24fa61 | 2011-09-29 00:53:55 -0700 | [diff] [blame] | 473 | if (static_cast<uint32_t>(new_offset) != aligned_code_offset) { |
Brian Carlstrom | 3320cf4 | 2011-10-04 14:58:28 -0700 | [diff] [blame] | 474 | PLOG(ERROR) << "Failed to seek to align oat code. Actual: " << new_offset |
Elliott Hughes | 234da57 | 2011-11-03 22:13:06 -0700 | [diff] [blame] | 475 | << " Expected: " << aligned_code_offset << " File: " << file->name(); |
Brian Carlstrom | e24fa61 | 2011-09-29 00:53:55 -0700 | [diff] [blame] | 476 | return false; |
| 477 | } |
| 478 | code_offset += aligned_code_delta; |
Brian Carlstrom | 3320cf4 | 2011-10-04 14:58:28 -0700 | [diff] [blame] | 479 | DCHECK_CODE_OFFSET(); |
Brian Carlstrom | e24fa61 | 2011-09-29 00:53:55 -0700 | [diff] [blame] | 480 | } |
Elliott Hughes | 06b37d9 | 2011-10-16 11:51:29 -0700 | [diff] [blame] | 481 | DCHECK_ALIGNED(code_offset, kArmAlignment); |
Brian Carlstrom | 3320cf4 | 2011-10-04 14:58:28 -0700 | [diff] [blame] | 482 | const std::vector<uint8_t>& code = compiled_method->GetCode(); |
| 483 | size_t code_size = code.size() * sizeof(code[0]); |
jeffhao | 55d7821 | 2011-11-02 11:41:50 -0700 | [diff] [blame] | 484 | |
| 485 | // Deduplicate code arrays |
| 486 | size_t offset = code_offset + compiled_method->CodeDelta(); |
jeffhao | f479dcc | 2011-11-02 15:54:15 -0700 | [diff] [blame] | 487 | std::map<const std::vector<uint8_t>*, uint32_t>::iterator code_iter = code_offsets_.find(&code); |
Ian Rogers | 0571d35 | 2011-11-03 19:51:38 -0700 | [diff] [blame] | 488 | if (code_iter != code_offsets_.end() && offset != method_offsets.code_offset_) { |
| 489 | DCHECK((code_size == 0 && method_offsets.code_offset_ == 0) |
| 490 | || code_iter->second == method_offsets.code_offset_) |
| 491 | << PrettyMethod(method_idx, dex_file); |
jeffhao | 55d7821 | 2011-11-02 11:41:50 -0700 | [diff] [blame] | 492 | } else { |
Ian Rogers | 0571d35 | 2011-11-03 19:51:38 -0700 | [diff] [blame] | 493 | DCHECK((code_size == 0 && method_offsets.code_offset_ == 0) |
| 494 | || offset == method_offsets.code_offset_) |
| 495 | << PrettyMethod(method_idx, dex_file); |
jeffhao | 55d7821 | 2011-11-02 11:41:50 -0700 | [diff] [blame] | 496 | if (!file->WriteFully(&code[0], code_size)) { |
Ian Rogers | 0571d35 | 2011-11-03 19:51:38 -0700 | [diff] [blame] | 497 | ReportWriteFailure("method code", method_idx, dex_file, file); |
jeffhao | 55d7821 | 2011-11-02 11:41:50 -0700 | [diff] [blame] | 498 | return false; |
| 499 | } |
| 500 | code_offset += code_size; |
Brian Carlstrom | e24fa61 | 2011-09-29 00:53:55 -0700 | [diff] [blame] | 501 | } |
Brian Carlstrom | 3320cf4 | 2011-10-04 14:58:28 -0700 | [diff] [blame] | 502 | DCHECK_CODE_OFFSET(); |
Ian Rogers | 0571d35 | 2011-11-03 19:51:38 -0700 | [diff] [blame] | 503 | frame_size_in_bytes = compiled_method->GetFrameSizeInBytes(); |
| 504 | core_spill_mask = compiled_method->GetCoreSpillMask(); |
| 505 | fp_spill_mask = compiled_method->GetFpSpillMask(); |
Brian Carlstrom | e24fa61 | 2011-09-29 00:53:55 -0700 | [diff] [blame] | 506 | } |
Brian Carlstrom | 3320cf4 | 2011-10-04 14:58:28 -0700 | [diff] [blame] | 507 | |
Brian Carlstrom | 3320cf4 | 2011-10-04 14:58:28 -0700 | [diff] [blame] | 508 | if (!file->WriteFully(&frame_size_in_bytes, sizeof(frame_size_in_bytes))) { |
Ian Rogers | 0571d35 | 2011-11-03 19:51:38 -0700 | [diff] [blame] | 509 | ReportWriteFailure("method frame size", method_idx, dex_file, file); |
Brian Carlstrom | 3320cf4 | 2011-10-04 14:58:28 -0700 | [diff] [blame] | 510 | return false; |
| 511 | } |
| 512 | code_offset += sizeof(frame_size_in_bytes); |
Brian Carlstrom | 3320cf4 | 2011-10-04 14:58:28 -0700 | [diff] [blame] | 513 | if (!file->WriteFully(&core_spill_mask, sizeof(core_spill_mask))) { |
Ian Rogers | 0571d35 | 2011-11-03 19:51:38 -0700 | [diff] [blame] | 514 | ReportWriteFailure("method core spill mask", method_idx, dex_file, file); |
Brian Carlstrom | 3320cf4 | 2011-10-04 14:58:28 -0700 | [diff] [blame] | 515 | return false; |
| 516 | } |
| 517 | code_offset += sizeof(core_spill_mask); |
| 518 | if (!file->WriteFully(&fp_spill_mask, sizeof(fp_spill_mask))) { |
Ian Rogers | 0571d35 | 2011-11-03 19:51:38 -0700 | [diff] [blame] | 519 | ReportWriteFailure("method fp spill mask", method_idx, dex_file, file); |
Brian Carlstrom | 3320cf4 | 2011-10-04 14:58:28 -0700 | [diff] [blame] | 520 | return false; |
| 521 | } |
| 522 | code_offset += sizeof(fp_spill_mask); |
| 523 | |
| 524 | if (compiled_method != NULL) { |
| 525 | const std::vector<uint32_t>& mapping_table = compiled_method->GetMappingTable(); |
| 526 | size_t mapping_table_size = mapping_table.size() * sizeof(mapping_table[0]); |
jeffhao | 55d7821 | 2011-11-02 11:41:50 -0700 | [diff] [blame] | 527 | |
| 528 | // Deduplicate mapping tables |
Ian Rogers | 0571d35 | 2011-11-03 19:51:38 -0700 | [diff] [blame] | 529 | std::map<const std::vector<uint32_t>*, uint32_t>::iterator mapping_iter = |
| 530 | mapping_table_offsets_.find(&mapping_table); |
| 531 | if (mapping_iter != mapping_table_offsets_.end() && |
| 532 | code_offset != method_offsets.mapping_table_offset_) { |
| 533 | DCHECK((mapping_table_size == 0 && method_offsets.mapping_table_offset_ == 0) |
| 534 | || mapping_iter->second == method_offsets.mapping_table_offset_) |
| 535 | << PrettyMethod(method_idx, dex_file); |
jeffhao | 55d7821 | 2011-11-02 11:41:50 -0700 | [diff] [blame] | 536 | } else { |
Ian Rogers | 0571d35 | 2011-11-03 19:51:38 -0700 | [diff] [blame] | 537 | DCHECK((mapping_table_size == 0 && method_offsets.mapping_table_offset_ == 0) |
| 538 | || code_offset == method_offsets.mapping_table_offset_) |
| 539 | << PrettyMethod(method_idx, dex_file); |
jeffhao | 55d7821 | 2011-11-02 11:41:50 -0700 | [diff] [blame] | 540 | if (!file->WriteFully(&mapping_table[0], mapping_table_size)) { |
Ian Rogers | 0571d35 | 2011-11-03 19:51:38 -0700 | [diff] [blame] | 541 | ReportWriteFailure("mapping table", method_idx, dex_file, file); |
jeffhao | 55d7821 | 2011-11-02 11:41:50 -0700 | [diff] [blame] | 542 | return false; |
| 543 | } |
| 544 | code_offset += mapping_table_size; |
Brian Carlstrom | 3320cf4 | 2011-10-04 14:58:28 -0700 | [diff] [blame] | 545 | } |
Brian Carlstrom | 3320cf4 | 2011-10-04 14:58:28 -0700 | [diff] [blame] | 546 | DCHECK_CODE_OFFSET(); |
| 547 | |
| 548 | const std::vector<uint16_t>& vmap_table = compiled_method->GetVmapTable(); |
| 549 | size_t vmap_table_size = vmap_table.size() * sizeof(vmap_table[0]); |
jeffhao | 55d7821 | 2011-11-02 11:41:50 -0700 | [diff] [blame] | 550 | |
| 551 | // Deduplicate vmap tables |
Ian Rogers | 0571d35 | 2011-11-03 19:51:38 -0700 | [diff] [blame] | 552 | std::map<const std::vector<uint16_t>*, uint32_t>::iterator vmap_iter = |
| 553 | vmap_table_offsets_.find(&vmap_table); |
| 554 | if (vmap_iter != vmap_table_offsets_.end() && |
| 555 | code_offset != method_offsets.vmap_table_offset_) { |
| 556 | DCHECK((vmap_table_size == 0 && method_offsets.vmap_table_offset_ == 0) |
| 557 | || vmap_iter->second == method_offsets.vmap_table_offset_) |
| 558 | << PrettyMethod(method_idx, dex_file); |
jeffhao | 55d7821 | 2011-11-02 11:41:50 -0700 | [diff] [blame] | 559 | } else { |
Ian Rogers | 0571d35 | 2011-11-03 19:51:38 -0700 | [diff] [blame] | 560 | DCHECK((vmap_table_size == 0 && method_offsets.vmap_table_offset_ == 0) |
| 561 | || code_offset == method_offsets.vmap_table_offset_) |
| 562 | << PrettyMethod(method_idx, dex_file); |
jeffhao | 55d7821 | 2011-11-02 11:41:50 -0700 | [diff] [blame] | 563 | if (!file->WriteFully(&vmap_table[0], vmap_table_size)) { |
Ian Rogers | 0571d35 | 2011-11-03 19:51:38 -0700 | [diff] [blame] | 564 | ReportWriteFailure("vmap table", method_idx, dex_file, file); |
jeffhao | 55d7821 | 2011-11-02 11:41:50 -0700 | [diff] [blame] | 565 | return false; |
| 566 | } |
| 567 | code_offset += vmap_table_size; |
Brian Carlstrom | 3320cf4 | 2011-10-04 14:58:28 -0700 | [diff] [blame] | 568 | } |
Brian Carlstrom | 3320cf4 | 2011-10-04 14:58:28 -0700 | [diff] [blame] | 569 | DCHECK_CODE_OFFSET(); |
| 570 | } |
Ian Rogers | 0571d35 | 2011-11-03 19:51:38 -0700 | [diff] [blame] | 571 | const char* shorty = dex_file.GetMethodShorty(dex_file.GetMethodId(method_idx)); |
| 572 | const CompiledInvokeStub* compiled_invoke_stub = compiler_->FindInvokeStub(is_static, shorty); |
Brian Carlstrom | 3320cf4 | 2011-10-04 14:58:28 -0700 | [diff] [blame] | 573 | if (compiled_invoke_stub != NULL) { |
| 574 | uint32_t aligned_code_offset = CompiledMethod::AlignCode(code_offset, |
| 575 | compiler_->GetInstructionSet()); |
| 576 | uint32_t aligned_code_delta = aligned_code_offset - code_offset; |
| 577 | if (aligned_code_delta != 0) { |
Elliott Hughes | 2a2ff56 | 2012-01-06 18:07:59 -0800 | [diff] [blame] | 578 | off_t new_offset = lseek(file->Fd(), aligned_code_delta, SEEK_CUR); |
Brian Carlstrom | 3320cf4 | 2011-10-04 14:58:28 -0700 | [diff] [blame] | 579 | if (static_cast<uint32_t>(new_offset) != aligned_code_offset) { |
| 580 | PLOG(ERROR) << "Failed to seek to align invoke stub code. Actual: " << new_offset |
| 581 | << " Expected: " << aligned_code_offset; |
| 582 | return false; |
| 583 | } |
| 584 | code_offset += aligned_code_delta; |
| 585 | DCHECK_CODE_OFFSET(); |
| 586 | } |
Elliott Hughes | 06b37d9 | 2011-10-16 11:51:29 -0700 | [diff] [blame] | 587 | DCHECK_ALIGNED(code_offset, kArmAlignment); |
Brian Carlstrom | 3320cf4 | 2011-10-04 14:58:28 -0700 | [diff] [blame] | 588 | const std::vector<uint8_t>& invoke_stub = compiled_invoke_stub->GetCode(); |
| 589 | size_t invoke_stub_size = invoke_stub.size() * sizeof(invoke_stub[0]); |
jeffhao | 55d7821 | 2011-11-02 11:41:50 -0700 | [diff] [blame] | 590 | |
| 591 | // Deduplicate invoke stubs |
Ian Rogers | 0571d35 | 2011-11-03 19:51:38 -0700 | [diff] [blame] | 592 | std::map<const std::vector<uint8_t>*, uint32_t>::iterator stub_iter = |
| 593 | code_offsets_.find(&invoke_stub); |
| 594 | if (stub_iter != code_offsets_.end() && |
| 595 | code_offset != method_offsets.invoke_stub_offset_) { |
| 596 | DCHECK((invoke_stub_size == 0 && method_offsets.invoke_stub_offset_ == 0) |
| 597 | || stub_iter->second == method_offsets.invoke_stub_offset_) |
| 598 | << PrettyMethod(method_idx, dex_file); |
jeffhao | 55d7821 | 2011-11-02 11:41:50 -0700 | [diff] [blame] | 599 | } else { |
Ian Rogers | 0571d35 | 2011-11-03 19:51:38 -0700 | [diff] [blame] | 600 | DCHECK((invoke_stub_size == 0 && method_offsets.invoke_stub_offset_ == 0) |
| 601 | || code_offset == method_offsets.invoke_stub_offset_) |
| 602 | << PrettyMethod(method_idx, dex_file); |
jeffhao | 55d7821 | 2011-11-02 11:41:50 -0700 | [diff] [blame] | 603 | if (!file->WriteFully(&invoke_stub[0], invoke_stub_size)) { |
Ian Rogers | 0571d35 | 2011-11-03 19:51:38 -0700 | [diff] [blame] | 604 | ReportWriteFailure("invoke stub code", method_idx, dex_file, file); |
jeffhao | 55d7821 | 2011-11-02 11:41:50 -0700 | [diff] [blame] | 605 | return false; |
| 606 | } |
| 607 | code_offset += invoke_stub_size; |
Brian Carlstrom | 3320cf4 | 2011-10-04 14:58:28 -0700 | [diff] [blame] | 608 | } |
Brian Carlstrom | 3320cf4 | 2011-10-04 14:58:28 -0700 | [diff] [blame] | 609 | DCHECK_CODE_OFFSET(); |
| 610 | } |
Brian Carlstrom | e24fa61 | 2011-09-29 00:53:55 -0700 | [diff] [blame] | 611 | return code_offset; |
| 612 | } |
| 613 | |
Brian Carlstrom | e24fa61 | 2011-09-29 00:53:55 -0700 | [diff] [blame] | 614 | OatWriter::OatDexFile::OatDexFile(const DexFile& dex_file) { |
Elliott Hughes | 9557241 | 2011-12-13 18:14:20 -0800 | [diff] [blame] | 615 | const std::string& location(dex_file.GetLocation()); |
Brian Carlstrom | e24fa61 | 2011-09-29 00:53:55 -0700 | [diff] [blame] | 616 | dex_file_location_size_ = location.size(); |
| 617 | dex_file_location_data_ = reinterpret_cast<const uint8_t*>(location.data()); |
| 618 | dex_file_checksum_ = dex_file.GetHeader().checksum_; |
Brian Carlstrom | 8952189 | 2011-12-07 22:05:07 -0800 | [diff] [blame] | 619 | dex_file_offset_ = 0; |
Brian Carlstrom | 6e3b1d9 | 2012-01-11 01:36:32 -0800 | [diff] [blame] | 620 | methods_offsets_.resize(dex_file.NumClassDefs()); |
Brian Carlstrom | e24fa61 | 2011-09-29 00:53:55 -0700 | [diff] [blame] | 621 | } |
| 622 | |
| 623 | size_t OatWriter::OatDexFile::SizeOf() const { |
| 624 | return sizeof(dex_file_location_size_) |
| 625 | + dex_file_location_size_ |
| 626 | + sizeof(dex_file_checksum_) |
Brian Carlstrom | 8952189 | 2011-12-07 22:05:07 -0800 | [diff] [blame] | 627 | + sizeof(dex_file_offset_) |
Brian Carlstrom | 6e3b1d9 | 2012-01-11 01:36:32 -0800 | [diff] [blame] | 628 | + (sizeof(methods_offsets_[0]) * methods_offsets_.size()); |
Brian Carlstrom | e24fa61 | 2011-09-29 00:53:55 -0700 | [diff] [blame] | 629 | } |
| 630 | |
| 631 | void OatWriter::OatDexFile::UpdateChecksum(OatHeader& oat_header) const { |
| 632 | oat_header.UpdateChecksum(&dex_file_location_size_, sizeof(dex_file_location_size_)); |
| 633 | oat_header.UpdateChecksum(dex_file_location_data_, dex_file_location_size_); |
| 634 | oat_header.UpdateChecksum(&dex_file_checksum_, sizeof(dex_file_checksum_)); |
Brian Carlstrom | 8952189 | 2011-12-07 22:05:07 -0800 | [diff] [blame] | 635 | oat_header.UpdateChecksum(&dex_file_offset_, sizeof(dex_file_offset_)); |
Brian Carlstrom | 6e3b1d9 | 2012-01-11 01:36:32 -0800 | [diff] [blame] | 636 | oat_header.UpdateChecksum(&methods_offsets_[0], |
| 637 | sizeof(methods_offsets_[0]) * methods_offsets_.size()); |
Brian Carlstrom | e24fa61 | 2011-09-29 00:53:55 -0700 | [diff] [blame] | 638 | } |
| 639 | |
| 640 | bool OatWriter::OatDexFile::Write(File* file) const { |
| 641 | if (!file->WriteFully(&dex_file_location_size_, sizeof(dex_file_location_size_))) { |
Elliott Hughes | 234da57 | 2011-11-03 22:13:06 -0700 | [diff] [blame] | 642 | PLOG(ERROR) << "Failed to write dex file location length to " << file->name(); |
Brian Carlstrom | e24fa61 | 2011-09-29 00:53:55 -0700 | [diff] [blame] | 643 | return false; |
| 644 | } |
| 645 | if (!file->WriteFully(dex_file_location_data_, dex_file_location_size_)) { |
Elliott Hughes | 234da57 | 2011-11-03 22:13:06 -0700 | [diff] [blame] | 646 | PLOG(ERROR) << "Failed to write dex file location data to " << file->name(); |
Brian Carlstrom | e24fa61 | 2011-09-29 00:53:55 -0700 | [diff] [blame] | 647 | return false; |
| 648 | } |
| 649 | if (!file->WriteFully(&dex_file_checksum_, sizeof(dex_file_checksum_))) { |
Elliott Hughes | 234da57 | 2011-11-03 22:13:06 -0700 | [diff] [blame] | 650 | PLOG(ERROR) << "Failed to write dex file checksum to " << file->name(); |
Brian Carlstrom | e24fa61 | 2011-09-29 00:53:55 -0700 | [diff] [blame] | 651 | return false; |
| 652 | } |
Brian Carlstrom | 8952189 | 2011-12-07 22:05:07 -0800 | [diff] [blame] | 653 | if (!file->WriteFully(&dex_file_offset_, sizeof(dex_file_offset_))) { |
| 654 | PLOG(ERROR) << "Failed to write dex file offset to " << file->name(); |
| 655 | return false; |
| 656 | } |
Brian Carlstrom | 6e3b1d9 | 2012-01-11 01:36:32 -0800 | [diff] [blame] | 657 | if (!file->WriteFully(&methods_offsets_[0], |
| 658 | sizeof(methods_offsets_[0]) * methods_offsets_.size())) { |
Elliott Hughes | 234da57 | 2011-11-03 22:13:06 -0700 | [diff] [blame] | 659 | PLOG(ERROR) << "Failed to write methods offsets to " << file->name(); |
Brian Carlstrom | e24fa61 | 2011-09-29 00:53:55 -0700 | [diff] [blame] | 660 | return false; |
| 661 | } |
| 662 | return true; |
| 663 | } |
| 664 | |
Brian Carlstrom | 0755ec5 | 2012-01-11 15:19:46 -0800 | [diff] [blame^] | 665 | OatWriter::OatClass::OatClass(Class::Status status, uint32_t methods_count) { |
| 666 | status_ = status; |
Brian Carlstrom | e24fa61 | 2011-09-29 00:53:55 -0700 | [diff] [blame] | 667 | method_offsets_.resize(methods_count); |
| 668 | } |
| 669 | |
Brian Carlstrom | 389efb0 | 2012-01-11 12:06:26 -0800 | [diff] [blame] | 670 | size_t OatWriter::OatClass::SizeOf() const { |
Brian Carlstrom | 0755ec5 | 2012-01-11 15:19:46 -0800 | [diff] [blame^] | 671 | return sizeof(status_) |
| 672 | + (sizeof(method_offsets_[0]) * method_offsets_.size()); |
Brian Carlstrom | e24fa61 | 2011-09-29 00:53:55 -0700 | [diff] [blame] | 673 | } |
| 674 | |
Brian Carlstrom | 389efb0 | 2012-01-11 12:06:26 -0800 | [diff] [blame] | 675 | void OatWriter::OatClass::UpdateChecksum(OatHeader& oat_header) const { |
Brian Carlstrom | 0755ec5 | 2012-01-11 15:19:46 -0800 | [diff] [blame^] | 676 | oat_header.UpdateChecksum(&status_, sizeof(status_)); |
| 677 | oat_header.UpdateChecksum(&method_offsets_[0], |
| 678 | sizeof(method_offsets_[0]) * method_offsets_.size()); |
Brian Carlstrom | e24fa61 | 2011-09-29 00:53:55 -0700 | [diff] [blame] | 679 | } |
| 680 | |
Brian Carlstrom | 389efb0 | 2012-01-11 12:06:26 -0800 | [diff] [blame] | 681 | bool OatWriter::OatClass::Write(File* file) const { |
Brian Carlstrom | 0755ec5 | 2012-01-11 15:19:46 -0800 | [diff] [blame^] | 682 | if (!file->WriteFully(&status_, sizeof(status_))) { |
| 683 | PLOG(ERROR) << "Failed to write class status to " << file->name(); |
| 684 | return false; |
| 685 | } |
| 686 | if (!file->WriteFully(&method_offsets_[0], |
| 687 | sizeof(method_offsets_[0]) * method_offsets_.size())) { |
Elliott Hughes | 234da57 | 2011-11-03 22:13:06 -0700 | [diff] [blame] | 688 | PLOG(ERROR) << "Failed to write method offsets to " << file->name(); |
Brian Carlstrom | e24fa61 | 2011-09-29 00:53:55 -0700 | [diff] [blame] | 689 | return false; |
| 690 | } |
| 691 | return true; |
| 692 | } |
| 693 | |
| 694 | } // namespace art |