blob: 4a90b4ea73bee71dde1431c3f19ed0bf8fe579cb [file] [log] [blame]
Brian Carlstrom7940e442013-07-12 13:46:57 -07001/*
2 * Copyright (C) 2012 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
17#include "elf_writer_quick.h"
18
Yevgeny Roubane3ea8382014-08-08 16:29:38 +070019#include <unordered_map>
David Srbecky626a1662015-04-12 13:12:26 +010020#include <unordered_set>
Yevgeny Roubane3ea8382014-08-08 16:29:38 +070021
David Srbeckyf8980872015-05-22 17:04:47 +010022#include "base/casts.h"
Brian Carlstrom7940e442013-07-12 13:46:57 -070023#include "base/logging.h"
24#include "base/unix_file/fd_file.h"
Vladimir Marko20f85592015-03-19 10:07:02 +000025#include "compiled_method.h"
David Srbecky0df9e1f2015-04-07 19:02:58 +010026#include "dex_file-inl.h"
Brian Carlstrom7940e442013-07-12 13:46:57 -070027#include "driver/compiler_driver.h"
Vladimir Marko20f85592015-03-19 10:07:02 +000028#include "driver/compiler_options.h"
Andreas Gampe54fc26c2014-09-04 21:47:42 -070029#include "elf_builder.h"
Yevgeny Roubane3ea8382014-08-08 16:29:38 +070030#include "elf_file.h"
Nicolas Geoffray50cfe742014-02-19 13:27:42 +000031#include "elf_utils.h"
David Srbecky3b9d57a2015-04-10 00:22:14 +010032#include "elf_writer_debug.h"
Brian Carlstrom7940e442013-07-12 13:46:57 -070033#include "globals.h"
Andreas Gampe79273802014-08-05 20:21:05 -070034#include "leb128.h"
Brian Carlstrom7940e442013-07-12 13:46:57 -070035#include "oat.h"
Brian Carlstromc50d8e12013-07-23 22:35:16 -070036#include "oat_writer.h"
Brian Carlstrom7940e442013-07-12 13:46:57 -070037#include "utils.h"
38
39namespace art {
40
David Srbeckyad5fa8c2015-05-06 18:27:35 +010041// .eh_frame and .debug_frame are almost identical.
42// Except for some minor formatting differences, the main difference
43// is that .eh_frame is allocated within the running program because
44// it is used by C++ exception handling (which we do not use so we
45// can choose either). C++ compilers generally tend to use .eh_frame
46// because if they need it sometimes, they might as well always use it.
David Srbeckyaaf143d2015-05-21 14:03:48 +010047// Let's use .debug_frame because it is easier to strip or compress.
48constexpr dwarf::CFIFormat kCFIFormat = dwarf::DW_DEBUG_FRAME_FORMAT;
David Srbeckyad5fa8c2015-05-06 18:27:35 +010049
David Srbecky388d2862015-05-21 19:11:18 +010050// The ARM specification defines three special mapping symbols
51// $a, $t and $d which mark ARM, Thumb and data ranges respectively.
52// These symbols can be used by tools, for example, to pretty
53// print instructions correctly. Objdump will use them if they
54// exist, but it will still work well without them.
55// However, these extra symbols take space, so let's just generate
56// one symbol which marks the whole .text section as code.
57constexpr bool kGenerateSingleArmMappingSymbol = true;
58
David Srbecky533c2072015-04-22 12:20:22 +010059template <typename ElfTypes>
60bool ElfWriterQuick<ElfTypes>::Create(File* elf_file,
61 OatWriter* oat_writer,
62 const std::vector<const DexFile*>& dex_files,
63 const std::string& android_root,
64 bool is_host,
65 const CompilerDriver& driver) {
Brian Carlstromb12f3472014-06-11 14:54:46 -070066 ElfWriterQuick elf_writer(driver, elf_file);
67 return elf_writer.Write(oat_writer, dex_files, android_root, is_host);
68}
69
David Srbecky533c2072015-04-22 12:20:22 +010070template <typename ElfTypes>
71static void WriteDebugSymbols(ElfBuilder<ElfTypes>* builder, OatWriter* oat_writer);
Andreas Gampe54fc26c2014-09-04 21:47:42 -070072
David Srbeckyf8980872015-05-22 17:04:47 +010073// Encode patch locations as LEB128 list of deltas between consecutive addresses.
David Srbecky533c2072015-04-22 12:20:22 +010074template <typename ElfTypes>
David Srbeckyf8980872015-05-22 17:04:47 +010075void ElfWriterQuick<ElfTypes>::EncodeOatPatches(const std::vector<uintptr_t>& locations,
76 std::vector<uint8_t>* buffer) {
77 buffer->reserve(buffer->size() + locations.size() * 2); // guess 2 bytes per ULEB128.
78 uintptr_t address = 0; // relative to start of section.
79 for (uintptr_t location : locations) {
80 DCHECK_GE(location, address) << "Patch locations are not in sorted order";
81 EncodeUnsignedLeb128(buffer, dchecked_integral_cast<uint32_t>(location - address));
82 address = location;
David Srbecky2f6cdb02015-04-11 00:17:53 +010083 }
David Srbecky2f6cdb02015-04-11 00:17:53 +010084}
85
David Srbeckybc90fd02015-04-22 19:40:27 +010086class RodataWriter FINAL : public CodeOutput {
87 public:
88 explicit RodataWriter(OatWriter* oat_writer) : oat_writer_(oat_writer) {}
89
90 bool Write(OutputStream* out) OVERRIDE {
91 return oat_writer_->WriteRodata(out);
David Srbecky527c9c72015-04-17 21:14:10 +010092 }
David Srbeckybc90fd02015-04-22 19:40:27 +010093
94 private:
95 OatWriter* oat_writer_;
96};
97
98class TextWriter FINAL : public CodeOutput {
99 public:
100 explicit TextWriter(OatWriter* oat_writer) : oat_writer_(oat_writer) {}
101
102 bool Write(OutputStream* out) OVERRIDE {
103 return oat_writer_->WriteCode(out);
104 }
105
106 private:
107 OatWriter* oat_writer_;
108};
David Srbecky527c9c72015-04-17 21:14:10 +0100109
David Srbecky033d7452015-04-30 19:57:35 +0100110enum PatchResult {
111 kAbsoluteAddress, // Absolute memory location.
112 kPointerRelativeAddress, // Offset relative to the location of the pointer.
113 kSectionRelativeAddress, // Offset relative to start of containing section.
114};
115
116// Patch memory addresses within a buffer.
117// It assumes that the unpatched addresses are offsets relative to base_address.
118// (which generally means method's low_pc relative to the start of .text)
119template <typename Elf_Addr, typename Address, PatchResult kPatchResult>
120static void Patch(const std::vector<uintptr_t>& patch_locations,
121 Elf_Addr buffer_address, Elf_Addr base_address,
122 std::vector<uint8_t>* buffer) {
123 for (uintptr_t location : patch_locations) {
124 typedef __attribute__((__aligned__(1))) Address UnalignedAddress;
125 auto* to_patch = reinterpret_cast<UnalignedAddress*>(buffer->data() + location);
126 switch (kPatchResult) {
127 case kAbsoluteAddress:
128 *to_patch = (base_address + *to_patch);
129 break;
130 case kPointerRelativeAddress:
131 *to_patch = (base_address + *to_patch) - (buffer_address + location);
132 break;
133 case kSectionRelativeAddress:
134 *to_patch = (base_address + *to_patch) - buffer_address;
135 break;
136 }
137 }
138}
139
David Srbecky533c2072015-04-22 12:20:22 +0100140template <typename ElfTypes>
141bool ElfWriterQuick<ElfTypes>::Write(
142 OatWriter* oat_writer,
143 const std::vector<const DexFile*>& dex_files_unused ATTRIBUTE_UNUSED,
144 const std::string& android_root_unused ATTRIBUTE_UNUSED,
145 bool is_host_unused ATTRIBUTE_UNUSED) {
David Srbecky033d7452015-04-30 19:57:35 +0100146 using Elf_Addr = typename ElfTypes::Addr;
David Srbeckybc90fd02015-04-22 19:40:27 +0100147 const InstructionSet isa = compiler_driver_->GetInstructionSet();
Brian Carlstromb12f3472014-06-11 14:54:46 -0700148
David Srbeckybc90fd02015-04-22 19:40:27 +0100149 // Setup the builder with the main OAT sections (.rodata .text .bss).
150 const size_t rodata_size = oat_writer->GetOatHeader().GetExecutableOffset();
151 const size_t text_size = oat_writer->GetSize() - rodata_size;
152 const size_t bss_size = oat_writer->GetBssSize();
153 RodataWriter rodata_writer(oat_writer);
154 TextWriter text_writer(oat_writer);
David Srbecky533c2072015-04-22 12:20:22 +0100155 std::unique_ptr<ElfBuilder<ElfTypes>> builder(new ElfBuilder<ElfTypes>(
David Srbeckybc90fd02015-04-22 19:40:27 +0100156 isa, rodata_size, &rodata_writer, text_size, &text_writer, bss_size));
Alex Light78382fa2014-06-06 15:45:32 -0700157
David Srbeckybc90fd02015-04-22 19:40:27 +0100158 // Add debug sections.
159 // They are stack allocated here (in the same scope as the builder),
David Srbeckyf8980872015-05-22 17:04:47 +0100160 // but they are registered with the builder only if they are used.
David Srbeckybc90fd02015-04-22 19:40:27 +0100161 using RawSection = typename ElfBuilder<ElfTypes>::RawSection;
David Srbeckybc90fd02015-04-22 19:40:27 +0100162 const auto* text = builder->GetText();
David Srbeckybc90fd02015-04-22 19:40:27 +0100163 const bool is64bit = Is64BitInstructionSet(isa);
David Srbeckyad5fa8c2015-05-06 18:27:35 +0100164 const int pointer_size = GetInstructionSetPointerSize(isa);
David Srbecky033d7452015-04-30 19:57:35 +0100165 RawSection eh_frame(".eh_frame", SHT_PROGBITS, SHF_ALLOC, nullptr, 0, kPageSize, 0,
166 is64bit ? Patch<Elf_Addr, uint64_t, kPointerRelativeAddress> :
167 Patch<Elf_Addr, uint32_t, kPointerRelativeAddress>,
168 text);
169 RawSection eh_frame_hdr(".eh_frame_hdr", SHT_PROGBITS, SHF_ALLOC, nullptr, 0, 4, 0,
170 Patch<Elf_Addr, uint32_t, kSectionRelativeAddress>, text);
David Srbeckyad5fa8c2015-05-06 18:27:35 +0100171 RawSection debug_frame(".debug_frame", SHT_PROGBITS, 0, nullptr, 0, pointer_size, 0,
172 is64bit ? Patch<Elf_Addr, uint64_t, kAbsoluteAddress> :
173 Patch<Elf_Addr, uint32_t, kAbsoluteAddress>,
174 text);
David Srbeckyf8980872015-05-22 17:04:47 +0100175 RawSection debug_frame_oat_patches(".debug_frame.oat_patches", SHT_OAT_PATCH);
David Srbecky033d7452015-04-30 19:57:35 +0100176 RawSection debug_info(".debug_info", SHT_PROGBITS, 0, nullptr, 0, 1, 0,
177 Patch<Elf_Addr, uint32_t, kAbsoluteAddress>, text);
David Srbeckyf8980872015-05-22 17:04:47 +0100178 RawSection debug_info_oat_patches(".debug_info.oat_patches", SHT_OAT_PATCH);
179 RawSection debug_abbrev(".debug_abbrev", SHT_PROGBITS);
180 RawSection debug_str(".debug_str", SHT_PROGBITS);
David Srbecky033d7452015-04-30 19:57:35 +0100181 RawSection debug_line(".debug_line", SHT_PROGBITS, 0, nullptr, 0, 1, 0,
182 Patch<Elf_Addr, uint32_t, kAbsoluteAddress>, text);
David Srbeckyf8980872015-05-22 17:04:47 +0100183 RawSection debug_line_oat_patches(".debug_line.oat_patches", SHT_OAT_PATCH);
David Srbeckybc90fd02015-04-22 19:40:27 +0100184 if (!oat_writer->GetMethodDebugInfo().empty()) {
185 if (compiler_driver_->GetCompilerOptions().GetIncludeCFI()) {
David Srbeckyad5fa8c2015-05-06 18:27:35 +0100186 if (kCFIFormat == dwarf::DW_EH_FRAME_FORMAT) {
187 dwarf::WriteCFISection(
188 compiler_driver_, oat_writer,
189 dwarf::DW_EH_PE_pcrel, kCFIFormat,
190 eh_frame.GetBuffer(), eh_frame.GetPatchLocations(),
191 eh_frame_hdr.GetBuffer(), eh_frame_hdr.GetPatchLocations());
192 builder->RegisterSection(&eh_frame);
193 builder->RegisterSection(&eh_frame_hdr);
194 } else {
195 DCHECK(kCFIFormat == dwarf::DW_DEBUG_FRAME_FORMAT);
196 dwarf::WriteCFISection(
197 compiler_driver_, oat_writer,
198 dwarf::DW_EH_PE_absptr, kCFIFormat,
199 debug_frame.GetBuffer(), debug_frame.GetPatchLocations(),
200 nullptr, nullptr);
201 builder->RegisterSection(&debug_frame);
David Srbeckyf8980872015-05-22 17:04:47 +0100202 EncodeOatPatches(*debug_frame.GetPatchLocations(),
203 debug_frame_oat_patches.GetBuffer());
204 builder->RegisterSection(&debug_frame_oat_patches);
David Srbeckyad5fa8c2015-05-06 18:27:35 +0100205 }
David Srbeckybc90fd02015-04-22 19:40:27 +0100206 }
207 if (compiler_driver_->GetCompilerOptions().GetIncludeDebugSymbols()) {
208 // Add methods to .symtab.
209 WriteDebugSymbols(builder.get(), oat_writer);
210 // Generate DWARF .debug_* sections.
211 dwarf::WriteDebugSections(
212 compiler_driver_, oat_writer,
213 debug_info.GetBuffer(), debug_info.GetPatchLocations(),
214 debug_abbrev.GetBuffer(),
215 debug_str.GetBuffer(),
216 debug_line.GetBuffer(), debug_line.GetPatchLocations());
217 builder->RegisterSection(&debug_info);
David Srbeckyf8980872015-05-22 17:04:47 +0100218 EncodeOatPatches(*debug_info.GetPatchLocations(),
219 debug_info_oat_patches.GetBuffer());
220 builder->RegisterSection(&debug_info_oat_patches);
David Srbeckybc90fd02015-04-22 19:40:27 +0100221 builder->RegisterSection(&debug_abbrev);
222 builder->RegisterSection(&debug_str);
223 builder->RegisterSection(&debug_line);
David Srbeckyf8980872015-05-22 17:04:47 +0100224 EncodeOatPatches(*debug_line.GetPatchLocations(),
225 debug_line_oat_patches.GetBuffer());
226 builder->RegisterSection(&debug_line_oat_patches);
David Srbeckybc90fd02015-04-22 19:40:27 +0100227 }
228 }
229
David Srbeckyf8980872015-05-22 17:04:47 +0100230 // Add relocation section for .text.
231 RawSection text_oat_patches(".text.oat_patches", SHT_OAT_PATCH);
232 if (compiler_driver_->GetCompilerOptions().GetIncludePatchInformation()) {
233 // Note that ElfWriter::Fixup will be called regardless and therefore
234 // we need to include oat_patches for debug sections unconditionally.
235 EncodeOatPatches(oat_writer->GetAbsolutePatchLocations(),
236 text_oat_patches.GetBuffer());
237 builder->RegisterSection(&text_oat_patches);
David Srbecky527c9c72015-04-17 21:14:10 +0100238 }
239
David Srbeckybc90fd02015-04-22 19:40:27 +0100240 return builder->Write(elf_file_);
Brian Carlstromb12f3472014-06-11 14:54:46 -0700241}
Mark Mendellae9fd932014-02-10 16:14:35 -0800242
David Srbecky533c2072015-04-22 12:20:22 +0100243template <typename ElfTypes>
David Srbecky533c2072015-04-22 12:20:22 +0100244static void WriteDebugSymbols(ElfBuilder<ElfTypes>* builder, OatWriter* oat_writer) {
David Srbecky3b9d57a2015-04-10 00:22:14 +0100245 const std::vector<OatWriter::DebugInfo>& method_info = oat_writer->GetMethodDebugInfo();
David Srbecky388d2862015-05-21 19:11:18 +0100246 bool generated_mapping_symbol = false;
David Srbecky626a1662015-04-12 13:12:26 +0100247
248 // Find all addresses (low_pc) which contain deduped methods.
249 // The first instance of method is not marked deduped_, but the rest is.
250 std::unordered_set<uint32_t> deduped_addresses;
251 for (auto it = method_info.begin(); it != method_info.end(); ++it) {
252 if (it->deduped_) {
253 deduped_addresses.insert(it->low_pc_);
254 }
255 }
256
David Srbeckybc90fd02015-04-22 19:40:27 +0100257 auto* symtab = builder->GetSymtab();
Andreas Gampe54fc26c2014-09-04 21:47:42 -0700258 for (auto it = method_info.begin(); it != method_info.end(); ++it) {
David Srbecky6d73c9d2015-05-01 15:00:40 +0100259 if (it->deduped_) {
260 continue; // Add symbol only for the first instance.
261 }
David Srbecky0df9e1f2015-04-07 19:02:58 +0100262 std::string name = PrettyMethod(it->dex_method_index_, *it->dex_file_, true);
David Srbecky626a1662015-04-12 13:12:26 +0100263 if (deduped_addresses.find(it->low_pc_) != deduped_addresses.end()) {
264 name += " [DEDUPED]";
David Srbecky0df9e1f2015-04-07 19:02:58 +0100265 }
266
David Srbecky6f715892015-03-30 14:21:42 +0100267 uint32_t low_pc = it->low_pc_;
268 // Add in code delta, e.g., thumb bit 0 for Thumb2 code.
269 low_pc += it->compiled_method_->CodeDelta();
David Srbeckybc90fd02015-04-22 19:40:27 +0100270 symtab->AddSymbol(name, builder->GetText(), low_pc,
David Srbecky6f715892015-03-30 14:21:42 +0100271 true, it->high_pc_ - it->low_pc_, STB_GLOBAL, STT_FUNC);
Andreas Gampe54fc26c2014-09-04 21:47:42 -0700272
Ningsheng Jianf9734552014-10-27 14:56:34 +0800273 // Conforming to aaelf, add $t mapping symbol to indicate start of a sequence of thumb2
274 // instructions, so that disassembler tools can correctly disassemble.
David Srbecky388d2862015-05-21 19:11:18 +0100275 // Note that even if we generate just a single mapping symbol, ARM's Streamline
276 // requires it to match function symbol. Just address 0 does not work.
Ningsheng Jianf9734552014-10-27 14:56:34 +0800277 if (it->compiled_method_->GetInstructionSet() == kThumb2) {
David Srbecky388d2862015-05-21 19:11:18 +0100278 if (!generated_mapping_symbol || !kGenerateSingleArmMappingSymbol) {
279 symtab->AddSymbol("$t", builder->GetText(), it->low_pc_ & ~1, true,
280 0, STB_LOCAL, STT_NOTYPE);
281 generated_mapping_symbol = true;
282 }
Ningsheng Jianf9734552014-10-27 14:56:34 +0800283 }
Andreas Gampe54fc26c2014-09-04 21:47:42 -0700284 }
Andreas Gampe54fc26c2014-09-04 21:47:42 -0700285}
286
Nicolas Geoffrayf9b87b12014-09-02 08:12:09 +0000287// Explicit instantiations
David Srbecky533c2072015-04-22 12:20:22 +0100288template class ElfWriterQuick<ElfTypes32>;
289template class ElfWriterQuick<ElfTypes64>;
Nicolas Geoffrayf9b87b12014-09-02 08:12:09 +0000290
Brian Carlstrom7940e442013-07-12 13:46:57 -0700291} // namespace art