Details | Last modification | View Log | RSS feed
Rev | Author | Line No. | Line |
---|---|---|---|
14 | pmbaty | 1 | //===- GsymCreator.h --------------------------------------------*- C++ -*-===// |
2 | // |
||
3 | // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. |
||
4 | // See https://llvm.org/LICENSE.txt for license information. |
||
5 | // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception |
||
6 | // |
||
7 | //===----------------------------------------------------------------------===// |
||
8 | |||
9 | #ifndef LLVM_DEBUGINFO_GSYM_GSYMCREATOR_H |
||
10 | #define LLVM_DEBUGINFO_GSYM_GSYMCREATOR_H |
||
11 | |||
12 | #include <functional> |
||
13 | #include <memory> |
||
14 | #include <mutex> |
||
15 | #include <thread> |
||
16 | |||
17 | #include "llvm/ADT/AddressRanges.h" |
||
18 | #include "llvm/ADT/ArrayRef.h" |
||
19 | #include "llvm/ADT/StringSet.h" |
||
20 | #include "llvm/DebugInfo/GSYM/FileEntry.h" |
||
21 | #include "llvm/DebugInfo/GSYM/FunctionInfo.h" |
||
22 | #include "llvm/MC/StringTableBuilder.h" |
||
23 | #include "llvm/Support/Endian.h" |
||
24 | #include "llvm/Support/Error.h" |
||
25 | #include "llvm/Support/Path.h" |
||
26 | |||
27 | namespace llvm { |
||
28 | |||
29 | namespace gsym { |
||
30 | class FileWriter; |
||
31 | |||
32 | /// GsymCreator is used to emit GSYM data to a stand alone file or section |
||
33 | /// within a file. |
||
34 | /// |
||
35 | /// The GsymCreator is designed to be used in 3 stages: |
||
36 | /// - Create FunctionInfo objects and add them |
||
37 | /// - Finalize the GsymCreator object |
||
38 | /// - Save to file or section |
||
39 | /// |
||
40 | /// The first stage involves creating FunctionInfo objects from another source |
||
41 | /// of information like compiler debug info metadata, DWARF or Breakpad files. |
||
42 | /// Any strings in the FunctionInfo or contained information, like InlineInfo |
||
43 | /// or LineTable objects, should get the string table offsets by calling |
||
44 | /// GsymCreator::insertString(...). Any file indexes that are needed should be |
||
45 | /// obtained by calling GsymCreator::insertFile(...). All of the function calls |
||
46 | /// in GsymCreator are thread safe. This allows multiple threads to create and |
||
47 | /// add FunctionInfo objects while parsing debug information. |
||
48 | /// |
||
49 | /// Once all of the FunctionInfo objects have been added, the |
||
50 | /// GsymCreator::finalize(...) must be called prior to saving. This function |
||
51 | /// will sort the FunctionInfo objects, finalize the string table, and do any |
||
52 | /// other passes on the information needed to prepare the information to be |
||
53 | /// saved. |
||
54 | /// |
||
55 | /// Once the object has been finalized, it can be saved to a file or section. |
||
56 | /// |
||
57 | /// ENCODING |
||
58 | /// |
||
59 | /// GSYM files are designed to be memory mapped into a process as shared, read |
||
60 | /// only data, and used as is. |
||
61 | /// |
||
62 | /// The GSYM file format when in a stand alone file consists of: |
||
63 | /// - Header |
||
64 | /// - Address Table |
||
65 | /// - Function Info Offsets |
||
66 | /// - File Table |
||
67 | /// - String Table |
||
68 | /// - Function Info Data |
||
69 | /// |
||
70 | /// HEADER |
||
71 | /// |
||
72 | /// The header is fully described in "llvm/DebugInfo/GSYM/Header.h". |
||
73 | /// |
||
74 | /// ADDRESS TABLE |
||
75 | /// |
||
76 | /// The address table immediately follows the header in the file and consists |
||
77 | /// of Header.NumAddresses address offsets. These offsets are sorted and can be |
||
78 | /// binary searched for efficient lookups. Addresses in the address table are |
||
79 | /// stored as offsets from a 64 bit base address found in Header.BaseAddress. |
||
80 | /// This allows the address table to contain 8, 16, or 32 offsets. This allows |
||
81 | /// the address table to not require full 64 bit addresses for each address. |
||
82 | /// The resulting GSYM size is smaller and causes fewer pages to be touched |
||
83 | /// during address lookups when the address table is smaller. The size of the |
||
84 | /// address offsets in the address table is specified in the header in |
||
85 | /// Header.AddrOffSize. The first offset in the address table is aligned to |
||
86 | /// Header.AddrOffSize alignment to ensure efficient access when loaded into |
||
87 | /// memory. |
||
88 | /// |
||
89 | /// FUNCTION INFO OFFSETS TABLE |
||
90 | /// |
||
91 | /// The function info offsets table immediately follows the address table and |
||
92 | /// consists of Header.NumAddresses 32 bit file offsets: one for each address |
||
93 | /// in the address table. This data is aligned to a 4 byte boundary. The |
||
94 | /// offsets in this table are the relative offsets from the start offset of the |
||
95 | /// GSYM header and point to the function info data for each address in the |
||
96 | /// address table. Keeping this data separate from the address table helps to |
||
97 | /// reduce the number of pages that are touched when address lookups occur on a |
||
98 | /// GSYM file. |
||
99 | /// |
||
100 | /// FILE TABLE |
||
101 | /// |
||
102 | /// The file table immediately follows the function info offsets table. The |
||
103 | /// encoding of the FileTable is: |
||
104 | /// |
||
105 | /// struct FileTable { |
||
106 | /// uint32_t Count; |
||
107 | /// FileEntry Files[]; |
||
108 | /// }; |
||
109 | /// |
||
110 | /// The file table starts with a 32 bit count of the number of files that are |
||
111 | /// used in all of the function info, followed by that number of FileEntry |
||
112 | /// structures. The file table is aligned to a 4 byte boundary, Each file in |
||
113 | /// the file table is represented with a FileEntry structure. |
||
114 | /// See "llvm/DebugInfo/GSYM/FileEntry.h" for details. |
||
115 | /// |
||
116 | /// STRING TABLE |
||
117 | /// |
||
118 | /// The string table follows the file table in stand alone GSYM files and |
||
119 | /// contains all strings for everything contained in the GSYM file. Any string |
||
120 | /// data should be added to the string table and any references to strings |
||
121 | /// inside GSYM information must be stored as 32 bit string table offsets into |
||
122 | /// this string table. The string table always starts with an empty string at |
||
123 | /// offset zero and is followed by any strings needed by the GSYM information. |
||
124 | /// The start of the string table is not aligned to any boundary. |
||
125 | /// |
||
126 | /// FUNCTION INFO DATA |
||
127 | /// |
||
128 | /// The function info data is the payload that contains information about the |
||
129 | /// address that is being looked up. It contains all of the encoded |
||
130 | /// FunctionInfo objects. Each encoded FunctionInfo's data is pointed to by an |
||
131 | /// entry in the Function Info Offsets Table. For details on the exact encoding |
||
132 | /// of FunctionInfo objects, see "llvm/DebugInfo/GSYM/FunctionInfo.h". |
||
133 | class GsymCreator { |
||
134 | // Private member variables require Mutex protections |
||
135 | mutable std::mutex Mutex; |
||
136 | std::vector<FunctionInfo> Funcs; |
||
137 | StringTableBuilder StrTab; |
||
138 | StringSet<> StringStorage; |
||
139 | DenseMap<llvm::gsym::FileEntry, uint32_t> FileEntryToIndex; |
||
140 | std::vector<llvm::gsym::FileEntry> Files; |
||
141 | std::vector<uint8_t> UUID; |
||
142 | std::optional<AddressRanges> ValidTextRanges; |
||
143 | AddressRanges Ranges; |
||
144 | std::optional<uint64_t> BaseAddress; |
||
145 | bool Finalized = false; |
||
146 | bool Quiet; |
||
147 | |||
148 | public: |
||
149 | GsymCreator(bool Quiet = false); |
||
150 | |||
151 | /// Save a GSYM file to a stand alone file. |
||
152 | /// |
||
153 | /// \param Path The file path to save the GSYM file to. |
||
154 | /// \param ByteOrder The endianness to use when saving the file. |
||
155 | /// \returns An error object that indicates success or failure of the save. |
||
156 | llvm::Error save(StringRef Path, llvm::support::endianness ByteOrder) const; |
||
157 | |||
158 | /// Encode a GSYM into the file writer stream at the current position. |
||
159 | /// |
||
160 | /// \param O The stream to save the binary data to |
||
161 | /// \returns An error object that indicates success or failure of the save. |
||
162 | llvm::Error encode(FileWriter &O) const; |
||
163 | |||
164 | /// Insert a string into the GSYM string table. |
||
165 | /// |
||
166 | /// All strings used by GSYM files must be uniqued by adding them to this |
||
167 | /// string pool and using the returned offset for any string values. |
||
168 | /// |
||
169 | /// \param S The string to insert into the string table. |
||
170 | /// \param Copy If true, then make a backing copy of the string. If false, |
||
171 | /// the string is owned by another object that will stay around |
||
172 | /// long enough for the GsymCreator to save the GSYM file. |
||
173 | /// \returns The unique 32 bit offset into the string table. |
||
174 | uint32_t insertString(StringRef S, bool Copy = true); |
||
175 | |||
176 | /// Insert a file into this GSYM creator. |
||
177 | /// |
||
178 | /// Inserts a file by adding a FileEntry into the "Files" member variable if |
||
179 | /// the file has not already been added. The file path is split into |
||
180 | /// directory and filename which are both added to the string table. This |
||
181 | /// allows paths to be stored efficiently by reusing the directories that are |
||
182 | /// common between multiple files. |
||
183 | /// |
||
184 | /// \param Path The path to the file to insert. |
||
185 | /// \param Style The path style for the "Path" parameter. |
||
186 | /// \returns The unique file index for the inserted file. |
||
187 | uint32_t insertFile(StringRef Path, |
||
188 | sys::path::Style Style = sys::path::Style::native); |
||
189 | |||
190 | /// Add a function info to this GSYM creator. |
||
191 | /// |
||
192 | /// All information in the FunctionInfo object must use the |
||
193 | /// GsymCreator::insertString(...) function when creating string table |
||
194 | /// offsets for names and other strings. |
||
195 | /// |
||
196 | /// \param FI The function info object to emplace into our functions list. |
||
197 | void addFunctionInfo(FunctionInfo &&FI); |
||
198 | |||
199 | /// Finalize the data in the GSYM creator prior to saving the data out. |
||
200 | /// |
||
201 | /// Finalize must be called after all FunctionInfo objects have been added |
||
202 | /// and before GsymCreator::save() is called. |
||
203 | /// |
||
204 | /// \param OS Output stream to report duplicate function infos, overlapping |
||
205 | /// function infos, and function infos that were merged or removed. |
||
206 | /// \returns An error object that indicates success or failure of the |
||
207 | /// finalize. |
||
208 | llvm::Error finalize(llvm::raw_ostream &OS); |
||
209 | |||
210 | /// Set the UUID value. |
||
211 | /// |
||
212 | /// \param UUIDBytes The new UUID bytes. |
||
213 | void setUUID(llvm::ArrayRef<uint8_t> UUIDBytes) { |
||
214 | UUID.assign(UUIDBytes.begin(), UUIDBytes.end()); |
||
215 | } |
||
216 | |||
217 | /// Thread safe iteration over all function infos. |
||
218 | /// |
||
219 | /// \param Callback A callback function that will get called with each |
||
220 | /// FunctionInfo. If the callback returns false, stop iterating. |
||
221 | void forEachFunctionInfo( |
||
222 | std::function<bool(FunctionInfo &)> const &Callback); |
||
223 | |||
224 | /// Thread safe const iteration over all function infos. |
||
225 | /// |
||
226 | /// \param Callback A callback function that will get called with each |
||
227 | /// FunctionInfo. If the callback returns false, stop iterating. |
||
228 | void forEachFunctionInfo( |
||
229 | std::function<bool(const FunctionInfo &)> const &Callback) const; |
||
230 | |||
231 | /// Get the current number of FunctionInfo objects contained in this |
||
232 | /// object. |
||
233 | size_t getNumFunctionInfos() const; |
||
234 | |||
235 | /// Check if an address has already been added as a function info. |
||
236 | /// |
||
237 | /// FunctionInfo data can come from many sources: debug info, symbol tables, |
||
238 | /// exception information, and more. Symbol tables should be added after |
||
239 | /// debug info and can use this function to see if a symbol's start address |
||
240 | /// has already been added to the GsymReader. Calling this before adding |
||
241 | /// a function info from a source other than debug info avoids clients adding |
||
242 | /// many redundant FunctionInfo objects from many sources only for them to be |
||
243 | /// removed during the finalize() call. |
||
244 | bool hasFunctionInfoForAddress(uint64_t Addr) const; |
||
245 | |||
246 | /// Set valid .text address ranges that all functions must be contained in. |
||
247 | void SetValidTextRanges(AddressRanges &TextRanges) { |
||
248 | ValidTextRanges = TextRanges; |
||
249 | } |
||
250 | |||
251 | /// Get the valid text ranges. |
||
252 | const std::optional<AddressRanges> GetValidTextRanges() const { |
||
253 | return ValidTextRanges; |
||
254 | } |
||
255 | |||
256 | /// Check if an address is a valid code address. |
||
257 | /// |
||
258 | /// Any functions whose addresses do not exist within these function bounds |
||
259 | /// will not be converted into the final GSYM. This allows the object file |
||
260 | /// to figure out the valid file address ranges of all the code sections |
||
261 | /// and ensure we don't add invalid functions to the final output. Many |
||
262 | /// linkers have issues when dead stripping functions from DWARF debug info |
||
263 | /// where they set the DW_AT_low_pc to zero, but newer DWARF has the |
||
264 | /// DW_AT_high_pc as an offset from the DW_AT_low_pc and these size |
||
265 | /// attributes have no relocations that can be applied. This results in DWARF |
||
266 | /// where many functions have an DW_AT_low_pc of zero and a valid offset size |
||
267 | /// for DW_AT_high_pc. If we extract all valid ranges from an object file |
||
268 | /// that are marked with executable permissions, we can properly ensure that |
||
269 | /// these functions are removed. |
||
270 | /// |
||
271 | /// \param Addr An address to check. |
||
272 | /// |
||
273 | /// \returns True if the address is in the valid text ranges or if no valid |
||
274 | /// text ranges have been set, false otherwise. |
||
275 | bool IsValidTextAddress(uint64_t Addr) const; |
||
276 | |||
277 | /// Set the base address to use for the GSYM file. |
||
278 | /// |
||
279 | /// Setting the base address to use for the GSYM file. Object files typically |
||
280 | /// get loaded from a base address when the OS loads them into memory. Using |
||
281 | /// GSYM files for symbolication becomes easier if the base address in the |
||
282 | /// GSYM header is the same address as it allows addresses to be easily slid |
||
283 | /// and allows symbolication without needing to find the original base |
||
284 | /// address in the original object file. |
||
285 | /// |
||
286 | /// \param Addr The address to use as the base address of the GSYM file |
||
287 | /// when it is saved to disk. |
||
288 | void setBaseAddress(uint64_t Addr) { |
||
289 | BaseAddress = Addr; |
||
290 | } |
||
291 | |||
292 | /// Whether the transformation should be quiet, i.e. not output warnings. |
||
293 | bool isQuiet() const { return Quiet; } |
||
294 | }; |
||
295 | |||
296 | } // namespace gsym |
||
297 | } // namespace llvm |
||
298 | |||
299 | #endif // LLVM_DEBUGINFO_GSYM_GSYMCREATOR_H |