blob: 59a080fc217b08f31dd3c6874ccff242b0bc9822 [file] [log] [blame]
David Srbeckyc5bfa972016-02-05 15:49:10 +00001/*
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
17#include "elf_debug_writer.h"
18
19#include <vector>
David Srbecky56da23c2017-09-08 19:59:15 +010020#include <unordered_map>
David Srbeckyc5bfa972016-02-05 15:49:10 +000021
David Brazdild9c90372016-09-14 16:53:55 +010022#include "base/array_ref.h"
David Srbeckyc5bfa972016-02-05 15:49:10 +000023#include "debug/dwarf/dwarf_constants.h"
24#include "debug/elf_compilation_unit.h"
25#include "debug/elf_debug_frame_writer.h"
26#include "debug/elf_debug_info_writer.h"
27#include "debug/elf_debug_line_writer.h"
28#include "debug/elf_debug_loc_writer.h"
29#include "debug/elf_gnu_debugdata_writer.h"
30#include "debug/elf_symtab_writer.h"
31#include "debug/method_debug_info.h"
Vladimir Marko74527972016-11-29 15:57:32 +000032#include "linker/elf_builder.h"
David Srbeckyc5bfa972016-02-05 15:49:10 +000033#include "linker/vector_output_stream.h"
Andreas Gamped4901292017-05-30 18:41:34 -070034#include "oat.h"
David Srbeckyc5bfa972016-02-05 15:49:10 +000035
36namespace art {
37namespace debug {
38
39template <typename ElfTypes>
Vladimir Marko74527972016-11-29 15:57:32 +000040void WriteDebugInfo(linker::ElfBuilder<ElfTypes>* builder,
David Srbecky32210b92017-12-04 14:39:21 +000041 const DebugInfo& debug_info,
David Srbeckyc5bfa972016-02-05 15:49:10 +000042 dwarf::CFIFormat cfi_format,
43 bool write_oat_patches) {
David Srbecky09c2a6b2016-03-11 17:11:44 +000044 // Write .strtab and .symtab.
David Srbecky32210b92017-12-04 14:39:21 +000045 WriteDebugSymbols(builder, false /* mini-debug-info */, debug_info);
David Srbeckyc5bfa972016-02-05 15:49:10 +000046
David Srbecky09c2a6b2016-03-11 17:11:44 +000047 // Write .debug_frame.
David Srbecky32210b92017-12-04 14:39:21 +000048 WriteCFISection(builder, debug_info.compiled_methods, cfi_format, write_oat_patches);
David Srbecky09c2a6b2016-03-11 17:11:44 +000049
David Srbecky56da23c2017-09-08 19:59:15 +010050 // Group the methods into compilation units based on class.
51 std::unordered_map<const DexFile::ClassDef*, ElfCompilationUnit> class_to_compilation_unit;
David Srbecky32210b92017-12-04 14:39:21 +000052 for (const MethodDebugInfo& mi : debug_info.compiled_methods) {
David Srbecky09c2a6b2016-03-11 17:11:44 +000053 if (mi.dex_file != nullptr) {
54 auto& dex_class_def = mi.dex_file->GetClassDef(mi.class_def_index);
David Srbecky56da23c2017-09-08 19:59:15 +010055 ElfCompilationUnit& cu = class_to_compilation_unit[&dex_class_def];
David Srbecky09c2a6b2016-03-11 17:11:44 +000056 cu.methods.push_back(&mi);
57 // All methods must have the same addressing mode otherwise the min/max below does not work.
58 DCHECK_EQ(cu.methods.front()->is_code_address_text_relative, mi.is_code_address_text_relative);
59 cu.is_code_address_text_relative = mi.is_code_address_text_relative;
60 cu.code_address = std::min(cu.code_address, mi.code_address);
61 cu.code_end = std::max(cu.code_end, mi.code_address + mi.code_size);
David Srbeckyc5bfa972016-02-05 15:49:10 +000062 }
David Srbeckyc5bfa972016-02-05 15:49:10 +000063 }
64
David Srbecky56da23c2017-09-08 19:59:15 +010065 // Sort compilation units to make the compiler output deterministic.
66 std::vector<ElfCompilationUnit> compilation_units;
67 compilation_units.reserve(class_to_compilation_unit.size());
68 for (auto& it : class_to_compilation_unit) {
69 // The .debug_line section requires the methods to be sorted by code address.
70 std::stable_sort(it.second.methods.begin(),
71 it.second.methods.end(),
72 [](const MethodDebugInfo* a, const MethodDebugInfo* b) {
73 return a->code_address < b->code_address;
74 });
75 compilation_units.push_back(std::move(it.second));
76 }
77 std::sort(compilation_units.begin(),
78 compilation_units.end(),
79 [](ElfCompilationUnit& a, ElfCompilationUnit& b) {
80 // Sort by index of the first method within the method_infos array.
81 // This assumes that the order of method_infos is deterministic.
82 // Code address is not good for sorting due to possible duplicates.
83 return a.methods.front() < b.methods.front();
84 });
85
David Srbeckyc5bfa972016-02-05 15:49:10 +000086 // Write .debug_line section.
87 if (!compilation_units.empty()) {
88 ElfDebugLineWriter<ElfTypes> line_writer(builder);
89 line_writer.Start();
90 for (auto& compilation_unit : compilation_units) {
91 line_writer.WriteCompilationUnit(compilation_unit);
92 }
93 line_writer.End(write_oat_patches);
94 }
95
96 // Write .debug_info section.
97 if (!compilation_units.empty()) {
98 ElfDebugInfoWriter<ElfTypes> info_writer(builder);
99 info_writer.Start();
100 for (const auto& compilation_unit : compilation_units) {
101 ElfCompilationUnitWriter<ElfTypes> cu_writer(&info_writer);
102 cu_writer.Write(compilation_unit);
103 }
104 info_writer.End(write_oat_patches);
105 }
106}
107
108std::vector<uint8_t> MakeMiniDebugInfo(
109 InstructionSet isa,
David Srbecky5d811202016-03-08 13:21:22 +0000110 const InstructionSetFeatures* features,
David Srbecky32210b92017-12-04 14:39:21 +0000111 uint64_t text_section_address,
112 size_t text_section_size,
113 uint64_t dex_section_address,
114 size_t dex_section_size,
115 const DebugInfo& debug_info) {
David Srbeckyc5bfa972016-02-05 15:49:10 +0000116 if (Is64BitInstructionSet(isa)) {
David Srbecky5d811202016-03-08 13:21:22 +0000117 return MakeMiniDebugInfoInternal<ElfTypes64>(isa,
118 features,
David Srbecky32210b92017-12-04 14:39:21 +0000119 text_section_address,
120 text_section_size,
121 dex_section_address,
122 dex_section_size,
123 debug_info);
David Srbeckyc5bfa972016-02-05 15:49:10 +0000124 } else {
David Srbecky5d811202016-03-08 13:21:22 +0000125 return MakeMiniDebugInfoInternal<ElfTypes32>(isa,
126 features,
David Srbecky32210b92017-12-04 14:39:21 +0000127 text_section_address,
128 text_section_size,
129 dex_section_address,
130 dex_section_size,
131 debug_info);
David Srbeckyc5bfa972016-02-05 15:49:10 +0000132 }
133}
134
135template <typename ElfTypes>
David Srbeckyf4886df2017-12-11 16:06:29 +0000136static std::vector<uint8_t> MakeElfFileForJITInternal(
David Srbeckyfe736b72016-03-09 11:44:44 +0000137 InstructionSet isa,
David Srbecky5d811202016-03-08 13:21:22 +0000138 const InstructionSetFeatures* features,
David Srbeckyf4886df2017-12-11 16:06:29 +0000139 bool mini_debug_info,
David Srbeckyc684f332018-01-19 17:38:06 +0000140 ArrayRef<const MethodDebugInfo> method_infos) {
141 CHECK_GT(method_infos.size(), 0u);
142 uint64_t min_address = std::numeric_limits<uint64_t>::max();
143 uint64_t max_address = 0;
144 for (const MethodDebugInfo& mi : method_infos) {
145 CHECK_EQ(mi.is_code_address_text_relative, false);
146 min_address = std::min(min_address, mi.code_address);
147 max_address = std::max(max_address, mi.code_address + mi.code_size);
148 }
David Srbecky32210b92017-12-04 14:39:21 +0000149 DebugInfo debug_info{};
David Srbeckyc684f332018-01-19 17:38:06 +0000150 debug_info.compiled_methods = method_infos;
David Srbeckyc5bfa972016-02-05 15:49:10 +0000151 std::vector<uint8_t> buffer;
152 buffer.reserve(KB);
Vladimir Marko74527972016-11-29 15:57:32 +0000153 linker::VectorOutputStream out("Debug ELF file", &buffer);
154 std::unique_ptr<linker::ElfBuilder<ElfTypes>> builder(
155 new linker::ElfBuilder<ElfTypes>(isa, features, &out));
David Srbeckyc5bfa972016-02-05 15:49:10 +0000156 // No program headers since the ELF file is not linked and has no allocated sections.
157 builder->Start(false /* write_program_headers */);
David Srbeckyf4886df2017-12-11 16:06:29 +0000158 if (mini_debug_info) {
David Srbeckyec419db2018-02-16 17:24:16 +0000159 if (method_infos.size() > 1) {
160 std::vector<uint8_t> mdi = MakeMiniDebugInfo(isa,
161 features,
162 min_address,
163 max_address - min_address,
164 /* dex_section_address */ 0,
165 /* dex_section_size */ 0,
166 debug_info);
167 builder->WriteSection(".gnu_debugdata", &mdi);
168 } else {
169 // The compression is great help for multiple methods but it is not worth it for a
170 // single method due to the overheads so skip the compression here for performance.
171 builder->GetText()->AllocateVirtualMemory(min_address, max_address - min_address);
172 WriteDebugSymbols(builder.get(), true /* mini-debug-info */, debug_info);
173 WriteCFISection(builder.get(),
174 debug_info.compiled_methods,
175 dwarf::DW_DEBUG_FRAME_FORMAT,
176 false /* write_oat_paches */);
177 }
David Srbeckyf4886df2017-12-11 16:06:29 +0000178 } else {
David Srbeckyc684f332018-01-19 17:38:06 +0000179 builder->GetText()->AllocateVirtualMemory(min_address, max_address - min_address);
David Srbeckyf4886df2017-12-11 16:06:29 +0000180 WriteDebugInfo(builder.get(),
David Srbecky32210b92017-12-04 14:39:21 +0000181 debug_info,
David Srbeckyf4886df2017-12-11 16:06:29 +0000182 dwarf::DW_DEBUG_FRAME_FORMAT,
183 false /* write_oat_patches */);
184 }
David Srbeckyc5bfa972016-02-05 15:49:10 +0000185 builder->End();
186 CHECK(builder->Good());
Vladimir Marko93205e32016-04-13 11:59:46 +0100187 return buffer;
David Srbeckyc5bfa972016-02-05 15:49:10 +0000188}
189
David Srbeckyf4886df2017-12-11 16:06:29 +0000190std::vector<uint8_t> MakeElfFileForJIT(
David Srbeckyfe736b72016-03-09 11:44:44 +0000191 InstructionSet isa,
192 const InstructionSetFeatures* features,
David Srbeckyf4886df2017-12-11 16:06:29 +0000193 bool mini_debug_info,
David Srbeckyc684f332018-01-19 17:38:06 +0000194 ArrayRef<const MethodDebugInfo> method_infos) {
David Srbeckyc5bfa972016-02-05 15:49:10 +0000195 if (Is64BitInstructionSet(isa)) {
David Srbeckyc684f332018-01-19 17:38:06 +0000196 return MakeElfFileForJITInternal<ElfTypes64>(isa, features, mini_debug_info, method_infos);
David Srbeckyc5bfa972016-02-05 15:49:10 +0000197 } else {
David Srbeckyc684f332018-01-19 17:38:06 +0000198 return MakeElfFileForJITInternal<ElfTypes32>(isa, features, mini_debug_info, method_infos);
David Srbeckyc5bfa972016-02-05 15:49:10 +0000199 }
200}
201
202template <typename ElfTypes>
Vladimir Marko93205e32016-04-13 11:59:46 +0100203static std::vector<uint8_t> WriteDebugElfFileForClassesInternal(
David Srbeckyfe736b72016-03-09 11:44:44 +0000204 InstructionSet isa,
David Srbecky5d811202016-03-08 13:21:22 +0000205 const InstructionSetFeatures* features,
206 const ArrayRef<mirror::Class*>& types)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700207 REQUIRES_SHARED(Locks::mutator_lock_) {
David Srbeckyc5bfa972016-02-05 15:49:10 +0000208 std::vector<uint8_t> buffer;
209 buffer.reserve(KB);
Vladimir Marko74527972016-11-29 15:57:32 +0000210 linker::VectorOutputStream out("Debug ELF file", &buffer);
211 std::unique_ptr<linker::ElfBuilder<ElfTypes>> builder(
212 new linker::ElfBuilder<ElfTypes>(isa, features, &out));
David Srbeckyc5bfa972016-02-05 15:49:10 +0000213 // No program headers since the ELF file is not linked and has no allocated sections.
214 builder->Start(false /* write_program_headers */);
215 ElfDebugInfoWriter<ElfTypes> info_writer(builder.get());
216 info_writer.Start();
217 ElfCompilationUnitWriter<ElfTypes> cu_writer(&info_writer);
218 cu_writer.Write(types);
219 info_writer.End(false /* write_oat_patches */);
220
221 builder->End();
222 CHECK(builder->Good());
Vladimir Marko93205e32016-04-13 11:59:46 +0100223 return buffer;
David Srbeckyc5bfa972016-02-05 15:49:10 +0000224}
225
Vladimir Marko93205e32016-04-13 11:59:46 +0100226std::vector<uint8_t> WriteDebugElfFileForClasses(InstructionSet isa,
227 const InstructionSetFeatures* features,
228 const ArrayRef<mirror::Class*>& types) {
David Srbeckyc5bfa972016-02-05 15:49:10 +0000229 if (Is64BitInstructionSet(isa)) {
David Srbecky5d811202016-03-08 13:21:22 +0000230 return WriteDebugElfFileForClassesInternal<ElfTypes64>(isa, features, types);
David Srbeckyc5bfa972016-02-05 15:49:10 +0000231 } else {
David Srbecky5d811202016-03-08 13:21:22 +0000232 return WriteDebugElfFileForClassesInternal<ElfTypes32>(isa, features, types);
David Srbeckyc5bfa972016-02-05 15:49:10 +0000233 }
234}
235
David Srbeckyc5bfa972016-02-05 15:49:10 +0000236// Explicit instantiations
237template void WriteDebugInfo<ElfTypes32>(
Vladimir Marko74527972016-11-29 15:57:32 +0000238 linker::ElfBuilder<ElfTypes32>* builder,
David Srbecky32210b92017-12-04 14:39:21 +0000239 const DebugInfo& debug_info,
David Srbeckyc5bfa972016-02-05 15:49:10 +0000240 dwarf::CFIFormat cfi_format,
241 bool write_oat_patches);
242template void WriteDebugInfo<ElfTypes64>(
Vladimir Marko74527972016-11-29 15:57:32 +0000243 linker::ElfBuilder<ElfTypes64>* builder,
David Srbecky32210b92017-12-04 14:39:21 +0000244 const DebugInfo& debug_info,
David Srbeckyc5bfa972016-02-05 15:49:10 +0000245 dwarf::CFIFormat cfi_format,
246 bool write_oat_patches);
247
248} // namespace debug
249} // namespace art