blob: 6b72262e2631127a1fc8ab58a65a98ec3e195665 [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#ifndef ART_COMPILER_DEBUG_ELF_DEBUG_FRAME_WRITER_H_
18#define ART_COMPILER_DEBUG_ELF_DEBUG_FRAME_WRITER_H_
19
20#include <vector>
21
22#include "arch/instruction_set.h"
Vladimir Marko79c4f832022-11-15 17:12:25 +000023#include "base/macros.h"
David Srbeckyc5bfa972016-02-05 15:49:10 +000024#include "debug/method_debug_info.h"
David Srbecky2faab002019-02-12 16:35:48 +000025#include "dwarf/debug_frame_opcode_writer.h"
26#include "dwarf/dwarf_constants.h"
27#include "dwarf/headers.h"
28#include "elf/elf_builder.h"
David Srbeckyc5bfa972016-02-05 15:49:10 +000029
Vladimir Marko79c4f832022-11-15 17:12:25 +000030namespace art HIDDEN {
David Srbeckyc5bfa972016-02-05 15:49:10 +000031namespace debug {
32
David Srbeckyd4f8afb2019-05-10 16:44:38 +000033static constexpr bool kWriteDebugFrameHdr = false;
34
David Srbecky76b9c692019-04-01 19:36:33 +010035// Binary search table is not useful if the number of entries is small.
36// In particular, this avoids it for the in-memory JIT mini-debug-info.
37static constexpr size_t kMinDebugFrameHdrEntries = 100;
38
David Srbecky91b29002019-02-08 15:51:31 +000039static void WriteCIE(InstructionSet isa, /*inout*/ std::vector<uint8_t>* buffer) {
David Srbeckyc5bfa972016-02-05 15:49:10 +000040 using Reg = dwarf::Reg;
41 // Scratch registers should be marked as undefined. This tells the
42 // debugger that its value in the previous frame is not recoverable.
43 bool is64bit = Is64BitInstructionSet(isa);
44 switch (isa) {
Vladimir Marko33bff252017-11-01 14:35:42 +000045 case InstructionSet::kArm:
46 case InstructionSet::kThumb2: {
David Srbeckyc5bfa972016-02-05 15:49:10 +000047 dwarf::DebugFrameOpCodeWriter<> opcodes;
48 opcodes.DefCFA(Reg::ArmCore(13), 0); // R13(SP).
49 // core registers.
50 for (int reg = 0; reg < 13; reg++) {
51 if (reg < 4 || reg == 12) {
52 opcodes.Undefined(Reg::ArmCore(reg));
53 } else {
54 opcodes.SameValue(Reg::ArmCore(reg));
55 }
56 }
57 // fp registers.
58 for (int reg = 0; reg < 32; reg++) {
59 if (reg < 16) {
60 opcodes.Undefined(Reg::ArmFp(reg));
61 } else {
62 opcodes.SameValue(Reg::ArmFp(reg));
63 }
64 }
65 auto return_reg = Reg::ArmCore(14); // R14(LR).
David Srbecky91b29002019-02-08 15:51:31 +000066 WriteCIE(is64bit, return_reg, opcodes, buffer);
David Srbeckyc5bfa972016-02-05 15:49:10 +000067 return;
68 }
Vladimir Marko33bff252017-11-01 14:35:42 +000069 case InstructionSet::kArm64: {
David Srbeckyc5bfa972016-02-05 15:49:10 +000070 dwarf::DebugFrameOpCodeWriter<> opcodes;
71 opcodes.DefCFA(Reg::Arm64Core(31), 0); // R31(SP).
72 // core registers.
73 for (int reg = 0; reg < 30; reg++) {
74 if (reg < 8 || reg == 16 || reg == 17) {
75 opcodes.Undefined(Reg::Arm64Core(reg));
76 } else {
77 opcodes.SameValue(Reg::Arm64Core(reg));
78 }
79 }
80 // fp registers.
81 for (int reg = 0; reg < 32; reg++) {
82 if (reg < 8 || reg >= 16) {
83 opcodes.Undefined(Reg::Arm64Fp(reg));
84 } else {
85 opcodes.SameValue(Reg::Arm64Fp(reg));
86 }
87 }
88 auto return_reg = Reg::Arm64Core(30); // R30(LR).
David Srbecky91b29002019-02-08 15:51:31 +000089 WriteCIE(is64bit, return_reg, opcodes, buffer);
David Srbeckyc5bfa972016-02-05 15:49:10 +000090 return;
91 }
Colin Crossebc548c2022-07-14 18:09:41 -070092 case InstructionSet::kRiscv64: {
93 UNIMPLEMENTED(FATAL);
94 return;
95 }
Vladimir Marko33bff252017-11-01 14:35:42 +000096 case InstructionSet::kX86: {
David Srbeckyc5bfa972016-02-05 15:49:10 +000097 // FIXME: Add fp registers once libunwind adds support for them. Bug: 20491296
98 constexpr bool generate_opcodes_for_x86_fp = false;
99 dwarf::DebugFrameOpCodeWriter<> opcodes;
100 opcodes.DefCFA(Reg::X86Core(4), 4); // R4(ESP).
101 opcodes.Offset(Reg::X86Core(8), -4); // R8(EIP).
102 // core registers.
103 for (int reg = 0; reg < 8; reg++) {
104 if (reg <= 3) {
105 opcodes.Undefined(Reg::X86Core(reg));
106 } else if (reg == 4) {
107 // Stack pointer.
108 } else {
109 opcodes.SameValue(Reg::X86Core(reg));
110 }
111 }
112 // fp registers.
113 if (generate_opcodes_for_x86_fp) {
114 for (int reg = 0; reg < 8; reg++) {
115 opcodes.Undefined(Reg::X86Fp(reg));
116 }
117 }
118 auto return_reg = Reg::X86Core(8); // R8(EIP).
David Srbecky91b29002019-02-08 15:51:31 +0000119 WriteCIE(is64bit, return_reg, opcodes, buffer);
David Srbeckyc5bfa972016-02-05 15:49:10 +0000120 return;
121 }
Vladimir Marko33bff252017-11-01 14:35:42 +0000122 case InstructionSet::kX86_64: {
David Srbeckyc5bfa972016-02-05 15:49:10 +0000123 dwarf::DebugFrameOpCodeWriter<> opcodes;
124 opcodes.DefCFA(Reg::X86_64Core(4), 8); // R4(RSP).
125 opcodes.Offset(Reg::X86_64Core(16), -8); // R16(RIP).
126 // core registers.
127 for (int reg = 0; reg < 16; reg++) {
128 if (reg == 4) {
129 // Stack pointer.
130 } else if (reg < 12 && reg != 3 && reg != 5) { // except EBX and EBP.
131 opcodes.Undefined(Reg::X86_64Core(reg));
132 } else {
133 opcodes.SameValue(Reg::X86_64Core(reg));
134 }
135 }
136 // fp registers.
137 for (int reg = 0; reg < 16; reg++) {
138 if (reg < 12) {
139 opcodes.Undefined(Reg::X86_64Fp(reg));
140 } else {
141 opcodes.SameValue(Reg::X86_64Fp(reg));
142 }
143 }
144 auto return_reg = Reg::X86_64Core(16); // R16(RIP).
David Srbecky91b29002019-02-08 15:51:31 +0000145 WriteCIE(is64bit, return_reg, opcodes, buffer);
David Srbeckyc5bfa972016-02-05 15:49:10 +0000146 return;
147 }
Vladimir Marko33bff252017-11-01 14:35:42 +0000148 case InstructionSet::kNone:
David Srbeckyc5bfa972016-02-05 15:49:10 +0000149 break;
150 }
151 LOG(FATAL) << "Cannot write CIE frame for ISA " << isa;
152 UNREACHABLE();
153}
154
155template<typename ElfTypes>
David Srbecky2faab002019-02-12 16:35:48 +0000156void WriteCFISection(ElfBuilder<ElfTypes>* builder,
David Srbecky7370d922019-02-12 14:00:30 +0000157 const ArrayRef<const MethodDebugInfo>& method_infos) {
David Srbeckyc5bfa972016-02-05 15:49:10 +0000158 // The methods can be written in any order.
159 // Let's therefore sort them in the lexicographical order of the opcodes.
160 // This has no effect on its own. However, if the final .debug_frame section is
161 // compressed it reduces the size since similar opcodes sequences are grouped.
162 std::vector<const MethodDebugInfo*> sorted_method_infos;
163 sorted_method_infos.reserve(method_infos.size());
164 for (size_t i = 0; i < method_infos.size(); i++) {
David Srbecky51bc7522019-01-05 15:41:06 +0000165 if (!method_infos[i].cfi.empty() && !method_infos[i].deduped) {
David Srbeckyb14a5ed2016-03-11 16:54:22 +0000166 sorted_method_infos.push_back(&method_infos[i]);
167 }
David Srbeckyc5bfa972016-02-05 15:49:10 +0000168 }
David Srbeckyb14a5ed2016-03-11 16:54:22 +0000169 if (sorted_method_infos.empty()) {
170 return;
171 }
172 std::stable_sort(
David Srbeckyc5bfa972016-02-05 15:49:10 +0000173 sorted_method_infos.begin(),
174 sorted_method_infos.end(),
175 [](const MethodDebugInfo* lhs, const MethodDebugInfo* rhs) {
David Srbecky197160d2016-03-07 17:33:57 +0000176 ArrayRef<const uint8_t> l = lhs->cfi;
177 ArrayRef<const uint8_t> r = rhs->cfi;
David Srbeckyc5bfa972016-02-05 15:49:10 +0000178 return std::lexicographical_compare(l.begin(), l.end(), r.begin(), r.end());
179 });
180
David Srbeckyb14a5ed2016-03-11 16:54:22 +0000181 std::vector<uint32_t> binary_search_table;
David Srbecky2d3354a2021-04-28 23:10:40 +0100182 bool binary_search_table_is_valid = kWriteDebugFrameHdr;
183 if (binary_search_table_is_valid) {
David Srbeckyd4f8afb2019-05-10 16:44:38 +0000184 binary_search_table.reserve(2 * sorted_method_infos.size());
185 }
David Srbeckyb14a5ed2016-03-11 16:54:22 +0000186
David Srbecky91b29002019-02-08 15:51:31 +0000187 // Write .debug_frame section.
188 auto* cfi_section = builder->GetDebugFrame();
David Srbeckyc5bfa972016-02-05 15:49:10 +0000189 {
190 cfi_section->Start();
191 const bool is64bit = Is64BitInstructionSet(builder->GetIsa());
David Srbeckyc5bfa972016-02-05 15:49:10 +0000192 std::vector<uint8_t> buffer; // Small temporary buffer.
David Srbecky91b29002019-02-08 15:51:31 +0000193 WriteCIE(builder->GetIsa(), &buffer);
David Srbeckyc5bfa972016-02-05 15:49:10 +0000194 cfi_section->WriteFully(buffer.data(), buffer.size());
David Srbeckyc5bfa972016-02-05 15:49:10 +0000195 buffer.clear();
196 for (const MethodDebugInfo* mi : sorted_method_infos) {
David Srbeckyb14a5ed2016-03-11 16:54:22 +0000197 DCHECK(!mi->deduped);
David Srbecky51bc7522019-01-05 15:41:06 +0000198 DCHECK(!mi->cfi.empty());
David Srbecky2d3354a2021-04-28 23:10:40 +0100199 uint64_t code_address = mi->code_address +
David Srbeckyb14a5ed2016-03-11 16:54:22 +0000200 (mi->is_code_address_text_relative ? builder->GetText()->GetAddress() : 0);
David Srbeckyd4f8afb2019-05-10 16:44:38 +0000201 if (kWriteDebugFrameHdr) {
David Srbecky2d3354a2021-04-28 23:10:40 +0100202 // Defensively check that the code address really fits.
203 DCHECK_LE(code_address, std::numeric_limits<uint32_t>::max());
204 binary_search_table_is_valid &= code_address <= std::numeric_limits<uint32_t>::max();
205 binary_search_table.push_back(static_cast<uint32_t>(code_address));
David Srbeckyd4f8afb2019-05-10 16:44:38 +0000206 binary_search_table.push_back(cfi_section->GetPosition());
207 }
David Srbecky91b29002019-02-08 15:51:31 +0000208 dwarf::WriteFDE(is64bit,
David Srbecky7370d922019-02-12 14:00:30 +0000209 /* cie_pointer= */ 0,
David Srbecky91b29002019-02-08 15:51:31 +0000210 code_address,
211 mi->code_size,
212 mi->cfi,
David Srbecky7370d922019-02-12 14:00:30 +0000213 &buffer);
David Srbeckyb14a5ed2016-03-11 16:54:22 +0000214 cfi_section->WriteFully(buffer.data(), buffer.size());
David Srbeckyb14a5ed2016-03-11 16:54:22 +0000215 buffer.clear();
David Srbeckyc5bfa972016-02-05 15:49:10 +0000216 }
217 cfi_section->End();
218 }
219
David Srbecky2d3354a2021-04-28 23:10:40 +0100220 if (binary_search_table_is_valid && method_infos.size() >= kMinDebugFrameHdrEntries) {
David Srbecky5f1465f2019-02-12 17:34:39 +0000221 std::sort(binary_search_table.begin(), binary_search_table.end());
222
223 // Custom Android section. It is very similar to the official .eh_frame_hdr format.
David Srbecky91b29002019-02-08 15:51:31 +0000224 std::vector<uint8_t> header_buffer;
225 dwarf::Writer<> header(&header_buffer);
David Srbeckyc5bfa972016-02-05 15:49:10 +0000226 header.PushUint8(1); // Version.
David Srbecky91b29002019-02-08 15:51:31 +0000227 header.PushUint8(dwarf::DW_EH_PE_omit); // Encoding of .eh_frame pointer - none.
228 header.PushUint8(dwarf::DW_EH_PE_udata4); // Encoding of binary search table size.
229 header.PushUint8(dwarf::DW_EH_PE_udata4); // Encoding of binary search table data.
David Srbeckyc5bfa972016-02-05 15:49:10 +0000230 header.PushUint32(dchecked_integral_cast<uint32_t>(binary_search_table.size()/2));
David Srbecky91b29002019-02-08 15:51:31 +0000231
232 auto* header_section = builder->GetDebugFrameHdr();
233 header_section->Start();
234 header_section->WriteFully(header_buffer.data(), header_buffer.size());
David Srbecky2d3354a2021-04-28 23:10:40 +0100235 header_section->WriteFully(binary_search_table.data(),
236 binary_search_table.size() * sizeof(binary_search_table[0]));
David Srbeckyc5bfa972016-02-05 15:49:10 +0000237 header_section->End();
David Srbeckyc5bfa972016-02-05 15:49:10 +0000238 }
239}
240
241} // namespace debug
242} // namespace art
243
244#endif // ART_COMPILER_DEBUG_ELF_DEBUG_FRAME_WRITER_H_
245