blob: f76f76f7b6f4481bff9ec3f54df28b1e0bc9dbae [file] [log] [blame]
David Srbeckyb5362472015-04-08 19:37:39 +01001/*
2 * Copyright (C) 2015 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_DWARF_HEADERS_H_
18#define ART_COMPILER_DWARF_HEADERS_H_
19
David Srbecky2f6cdb02015-04-11 00:17:53 +010020#include <cstdint>
21
David Srbecky7c869b32015-04-12 08:47:47 +010022#include "dwarf/debug_frame_opcode_writer.h"
23#include "dwarf/debug_info_entry_writer.h"
24#include "dwarf/debug_line_opcode_writer.h"
David Srbecky527c9c72015-04-17 21:14:10 +010025#include "dwarf/dwarf_constants.h"
David Srbecky7c869b32015-04-12 08:47:47 +010026#include "dwarf/register.h"
27#include "dwarf/writer.h"
Vladimir Marko35831e82015-09-11 11:59:18 +010028#include "utils/array_ref.h"
David Srbeckyb5362472015-04-08 19:37:39 +010029
30namespace art {
31namespace dwarf {
32
David Srbecky2f6cdb02015-04-11 00:17:53 +010033// Note that all headers start with 32-bit length.
34// DWARF also supports 64-bit lengths, but we never use that.
35// It is intended to support very large debug sections (>4GB),
36// and compilers are expected *not* to use it by default.
37// In particular, it is not related to machine architecture.
38
David Srbeckyad5fa8c2015-05-06 18:27:35 +010039// Write common information entry (CIE) to .debug_frame or .eh_frame section.
Vladimir Markoec7802a2015-10-01 20:57:57 +010040template<typename Vector>
David Srbecky6d8c8f02015-10-26 10:57:09 +000041void WriteCIE(bool is64bit,
42 Reg return_address_register,
43 const DebugFrameOpCodeWriter<Vector>& opcodes,
44 CFIFormat format,
45 std::vector<uint8_t>* buffer) {
Vladimir Markoec7802a2015-10-01 20:57:57 +010046 static_assert(std::is_same<typename Vector::value_type, uint8_t>::value, "Invalid value type");
47
David Srbecky6d8c8f02015-10-26 10:57:09 +000048 Writer<> writer(buffer);
David Srbeckyb5362472015-04-08 19:37:39 +010049 size_t cie_header_start_ = writer.data()->size();
David Srbecky2f6cdb02015-04-11 00:17:53 +010050 writer.PushUint32(0); // Length placeholder.
David Srbeckyad5fa8c2015-05-06 18:27:35 +010051 writer.PushUint32((format == DW_EH_FRAME_FORMAT) ? 0 : 0xFFFFFFFF); // CIE id.
David Srbeckyb5362472015-04-08 19:37:39 +010052 writer.PushUint8(1); // Version.
53 writer.PushString("zR");
Vladimir Markoec7802a2015-10-01 20:57:57 +010054 writer.PushUleb128(DebugFrameOpCodeWriter<Vector>::kCodeAlignmentFactor);
55 writer.PushSleb128(DebugFrameOpCodeWriter<Vector>::kDataAlignmentFactor);
David Srbeckyb5362472015-04-08 19:37:39 +010056 writer.PushUleb128(return_address_register.num()); // ubyte in DWARF2.
57 writer.PushUleb128(1); // z: Augmentation data size.
58 if (is64bit) {
David Srbecky6d8c8f02015-10-26 10:57:09 +000059 if (format == DW_EH_FRAME_FORMAT) {
David Srbecky17065882015-06-20 05:01:22 +010060 writer.PushUint8(DW_EH_PE_pcrel | DW_EH_PE_sdata8); // R: Pointer encoding.
61 } else {
David Srbecky6d8c8f02015-10-26 10:57:09 +000062 DCHECK(format == DW_DEBUG_FRAME_FORMAT);
David Srbecky17065882015-06-20 05:01:22 +010063 writer.PushUint8(DW_EH_PE_absptr | DW_EH_PE_udata8); // R: Pointer encoding.
64 }
David Srbeckyb5362472015-04-08 19:37:39 +010065 } else {
David Srbecky6d8c8f02015-10-26 10:57:09 +000066 if (format == DW_EH_FRAME_FORMAT) {
David Srbecky17065882015-06-20 05:01:22 +010067 writer.PushUint8(DW_EH_PE_pcrel | DW_EH_PE_sdata4); // R: Pointer encoding.
68 } else {
David Srbecky6d8c8f02015-10-26 10:57:09 +000069 DCHECK(format == DW_DEBUG_FRAME_FORMAT);
David Srbecky17065882015-06-20 05:01:22 +010070 writer.PushUint8(DW_EH_PE_absptr | DW_EH_PE_udata4); // R: Pointer encoding.
71 }
David Srbeckyb5362472015-04-08 19:37:39 +010072 }
Vladimir Marko35831e82015-09-11 11:59:18 +010073 writer.PushData(*opcodes.data());
David Srbeckyb5362472015-04-08 19:37:39 +010074 writer.Pad(is64bit ? 8 : 4);
David Srbecky2f6cdb02015-04-11 00:17:53 +010075 writer.UpdateUint32(cie_header_start_, writer.data()->size() - cie_header_start_ - 4);
David Srbeckyb5362472015-04-08 19:37:39 +010076}
77
David Srbeckyad5fa8c2015-05-06 18:27:35 +010078// Write frame description entry (FDE) to .debug_frame or .eh_frame section.
Vladimir Marko35831e82015-09-11 11:59:18 +010079inline
David Srbecky6d8c8f02015-10-26 10:57:09 +000080void WriteFDE(bool is64bit,
81 uint64_t section_address, // Absolute address of the section.
82 uint64_t cie_address, // Absolute address of last CIE.
83 uint64_t code_address,
84 uint64_t code_size,
85 const ArrayRef<const uint8_t>& opcodes,
86 CFIFormat format,
87 uint64_t buffer_address, // Address of buffer in linked application.
88 std::vector<uint8_t>* buffer,
89 std::vector<uintptr_t>* patch_locations) {
90 CHECK_GE(cie_address, section_address);
91 CHECK_GE(buffer_address, section_address);
92
93 Writer<> writer(buffer);
David Srbeckyb5362472015-04-08 19:37:39 +010094 size_t fde_header_start = writer.data()->size();
David Srbecky2f6cdb02015-04-11 00:17:53 +010095 writer.PushUint32(0); // Length placeholder.
David Srbeckyad5fa8c2015-05-06 18:27:35 +010096 if (format == DW_EH_FRAME_FORMAT) {
David Srbecky6d8c8f02015-10-26 10:57:09 +000097 uint32_t cie_pointer = (buffer_address + buffer->size()) - cie_address;
David Srbeckyad5fa8c2015-05-06 18:27:35 +010098 writer.PushUint32(cie_pointer);
99 } else {
David Srbecky6d8c8f02015-10-26 10:57:09 +0000100 DCHECK(format == DW_DEBUG_FRAME_FORMAT);
101 uint32_t cie_pointer = cie_address - section_address;
David Srbeckyad5fa8c2015-05-06 18:27:35 +0100102 writer.PushUint32(cie_pointer);
103 }
David Srbecky6d8c8f02015-10-26 10:57:09 +0000104 if (format == DW_EH_FRAME_FORMAT) {
105 // .eh_frame encodes the location as relative address.
106 code_address -= buffer_address + buffer->size();
David Srbeckyb5362472015-04-08 19:37:39 +0100107 } else {
David Srbecky6d8c8f02015-10-26 10:57:09 +0000108 DCHECK(format == DW_DEBUG_FRAME_FORMAT);
109 // Relocate code_address if it has absolute value.
110 patch_locations->push_back(buffer_address + buffer->size() - section_address);
111 }
112 if (is64bit) {
113 writer.PushUint64(code_address);
114 writer.PushUint64(code_size);
115 } else {
116 writer.PushUint32(code_address);
117 writer.PushUint32(code_size);
David Srbeckyb5362472015-04-08 19:37:39 +0100118 }
119 writer.PushUleb128(0); // Augmentation data size.
120 writer.PushData(opcodes);
121 writer.Pad(is64bit ? 8 : 4);
David Srbecky2f6cdb02015-04-11 00:17:53 +0100122 writer.UpdateUint32(fde_header_start, writer.data()->size() - fde_header_start - 4);
David Srbeckyb5362472015-04-08 19:37:39 +0100123}
124
125// Write compilation unit (CU) to .debug_info section.
Vladimir Markoec7802a2015-10-01 20:57:57 +0100126template<typename Vector>
David Srbeckyb5362472015-04-08 19:37:39 +0100127void WriteDebugInfoCU(uint32_t debug_abbrev_offset,
Vladimir Markoec7802a2015-10-01 20:57:57 +0100128 const DebugInfoEntryWriter<Vector>& entries,
David Srbeckyb851b492015-11-11 20:19:38 +0000129 size_t debug_info_offset, // offset from start of .debug_info.
David Srbecky2f6cdb02015-04-11 00:17:53 +0100130 std::vector<uint8_t>* debug_info,
131 std::vector<uintptr_t>* debug_info_patches) {
Vladimir Markoec7802a2015-10-01 20:57:57 +0100132 static_assert(std::is_same<typename Vector::value_type, uint8_t>::value, "Invalid value type");
133
David Srbeckyb5362472015-04-08 19:37:39 +0100134 Writer<> writer(debug_info);
135 size_t start = writer.data()->size();
136 writer.PushUint32(0); // Length placeholder.
David Srbecky0fd295f2015-11-16 16:39:10 +0000137 writer.PushUint16(4); // Version.
David Srbeckyb5362472015-04-08 19:37:39 +0100138 writer.PushUint32(debug_abbrev_offset);
David Srbecky2f6cdb02015-04-11 00:17:53 +0100139 writer.PushUint8(entries.Is64bit() ? 8 : 4);
140 size_t entries_offset = writer.data()->size();
David Srbecky04b05262015-11-09 18:05:48 +0000141 DCHECK_EQ(entries_offset, DebugInfoEntryWriter<Vector>::kCompilationUnitHeaderSize);
Vladimir Marko35831e82015-09-11 11:59:18 +0100142 writer.PushData(*entries.data());
David Srbeckyb5362472015-04-08 19:37:39 +0100143 writer.UpdateUint32(start, writer.data()->size() - start - 4);
David Srbecky2f6cdb02015-04-11 00:17:53 +0100144 // Copy patch locations and make them relative to .debug_info section.
145 for (uintptr_t patch_location : entries.GetPatchLocations()) {
David Srbeckyb851b492015-11-11 20:19:38 +0000146 debug_info_patches->push_back(debug_info_offset + entries_offset + patch_location);
David Srbecky2f6cdb02015-04-11 00:17:53 +0100147 }
David Srbeckyb5362472015-04-08 19:37:39 +0100148}
149
150struct FileEntry {
151 std::string file_name;
152 int directory_index;
153 int modification_time;
154 int file_size;
155};
156
157// Write line table to .debug_line section.
Vladimir Markoec7802a2015-10-01 20:57:57 +0100158template<typename Vector>
David Srbeckyb5362472015-04-08 19:37:39 +0100159void WriteDebugLineTable(const std::vector<std::string>& include_directories,
160 const std::vector<FileEntry>& files,
Vladimir Markoec7802a2015-10-01 20:57:57 +0100161 const DebugLineOpCodeWriter<Vector>& opcodes,
David Srbeckyb851b492015-11-11 20:19:38 +0000162 size_t debug_line_offset, // offset from start of .debug_line.
David Srbecky2f6cdb02015-04-11 00:17:53 +0100163 std::vector<uint8_t>* debug_line,
164 std::vector<uintptr_t>* debug_line_patches) {
Vladimir Markoec7802a2015-10-01 20:57:57 +0100165 static_assert(std::is_same<typename Vector::value_type, uint8_t>::value, "Invalid value type");
166
David Srbeckyb5362472015-04-08 19:37:39 +0100167 Writer<> writer(debug_line);
168 size_t header_start = writer.data()->size();
169 writer.PushUint32(0); // Section-length placeholder.
David Srbecky0fd295f2015-11-16 16:39:10 +0000170 writer.PushUint16(3); // .debug_line version.
David Srbeckyb5362472015-04-08 19:37:39 +0100171 size_t header_length_pos = writer.data()->size();
172 writer.PushUint32(0); // Header-length placeholder.
173 writer.PushUint8(1 << opcodes.GetCodeFactorBits());
Vladimir Markoec7802a2015-10-01 20:57:57 +0100174 writer.PushUint8(DebugLineOpCodeWriter<Vector>::kDefaultIsStmt ? 1 : 0);
175 writer.PushInt8(DebugLineOpCodeWriter<Vector>::kLineBase);
176 writer.PushUint8(DebugLineOpCodeWriter<Vector>::kLineRange);
177 writer.PushUint8(DebugLineOpCodeWriter<Vector>::kOpcodeBase);
178 static const int opcode_lengths[DebugLineOpCodeWriter<Vector>::kOpcodeBase] = {
David Srbeckyb5362472015-04-08 19:37:39 +0100179 0, 0, 1, 1, 1, 1, 0, 0, 0, 1, 0, 0, 1 };
Vladimir Markoec7802a2015-10-01 20:57:57 +0100180 for (int i = 1; i < DebugLineOpCodeWriter<Vector>::kOpcodeBase; i++) {
David Srbeckyb5362472015-04-08 19:37:39 +0100181 writer.PushUint8(opcode_lengths[i]);
182 }
183 for (const std::string& directory : include_directories) {
184 writer.PushData(directory.data(), directory.size() + 1);
185 }
186 writer.PushUint8(0); // Terminate include_directories list.
187 for (const FileEntry& file : files) {
188 writer.PushData(file.file_name.data(), file.file_name.size() + 1);
189 writer.PushUleb128(file.directory_index);
190 writer.PushUleb128(file.modification_time);
191 writer.PushUleb128(file.file_size);
192 }
193 writer.PushUint8(0); // Terminate file list.
194 writer.UpdateUint32(header_length_pos, writer.data()->size() - header_length_pos - 4);
David Srbecky2f6cdb02015-04-11 00:17:53 +0100195 size_t opcodes_offset = writer.data()->size();
Vladimir Marko35831e82015-09-11 11:59:18 +0100196 writer.PushData(*opcodes.data());
David Srbeckyb5362472015-04-08 19:37:39 +0100197 writer.UpdateUint32(header_start, writer.data()->size() - header_start - 4);
David Srbecky2f6cdb02015-04-11 00:17:53 +0100198 // Copy patch locations and make them relative to .debug_line section.
199 for (uintptr_t patch_location : opcodes.GetPatchLocations()) {
David Srbeckyb851b492015-11-11 20:19:38 +0000200 debug_line_patches->push_back(debug_line_offset + opcodes_offset + patch_location);
David Srbecky2f6cdb02015-04-11 00:17:53 +0100201 }
David Srbeckyb5362472015-04-08 19:37:39 +0100202}
203
204} // namespace dwarf
205} // namespace art
206
207#endif // ART_COMPILER_DWARF_HEADERS_H_