Details | Last modification | View Log | RSS feed
Rev | Author | Line No. | Line |
---|---|---|---|
14 | pmbaty | 1 | //===- MCDwarf.h - Machine Code Dwarf support -------------------*- 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 | // This file contains the declaration of the MCDwarfFile to support the dwarf |
||
10 | // .file directive and the .loc directive. |
||
11 | // |
||
12 | //===----------------------------------------------------------------------===// |
||
13 | |||
14 | #ifndef LLVM_MC_MCDWARF_H |
||
15 | #define LLVM_MC_MCDWARF_H |
||
16 | |||
17 | #include "llvm/ADT/MapVector.h" |
||
18 | #include "llvm/ADT/SmallVector.h" |
||
19 | #include "llvm/ADT/StringMap.h" |
||
20 | #include "llvm/ADT/StringRef.h" |
||
21 | #include "llvm/MC/StringTableBuilder.h" |
||
22 | #include "llvm/Support/Error.h" |
||
23 | #include "llvm/Support/MD5.h" |
||
24 | #include "llvm/Support/StringSaver.h" |
||
25 | #include <cassert> |
||
26 | #include <cstdint> |
||
27 | #include <optional> |
||
28 | #include <string> |
||
29 | #include <utility> |
||
30 | #include <vector> |
||
31 | |||
32 | namespace llvm { |
||
33 | |||
34 | template <typename T> class ArrayRef; |
||
35 | class MCAsmBackend; |
||
36 | class MCContext; |
||
37 | class MCObjectStreamer; |
||
38 | class MCSection; |
||
39 | class MCStreamer; |
||
40 | class MCSymbol; |
||
41 | class raw_ostream; |
||
42 | class SMLoc; |
||
43 | class SourceMgr; |
||
44 | |||
45 | namespace mcdwarf { |
||
46 | // Emit the common part of the DWARF 5 range/locations list tables header. |
||
47 | MCSymbol *emitListsTableHeaderStart(MCStreamer &S); |
||
48 | } // namespace mcdwarf |
||
49 | |||
50 | /// Manage the .debug_line_str section contents, if we use it. |
||
51 | class MCDwarfLineStr { |
||
52 | BumpPtrAllocator Alloc; |
||
53 | StringSaver Saver{Alloc}; |
||
54 | MCSymbol *LineStrLabel = nullptr; |
||
55 | StringTableBuilder LineStrings{StringTableBuilder::DWARF}; |
||
56 | bool UseRelocs = false; |
||
57 | |||
58 | public: |
||
59 | /// Construct an instance that can emit .debug_line_str (for use in a normal |
||
60 | /// v5 line table). |
||
61 | explicit MCDwarfLineStr(MCContext &Ctx); |
||
62 | |||
63 | StringSaver &getSaver() { return Saver; } |
||
64 | |||
65 | /// Emit a reference to the string. |
||
66 | void emitRef(MCStreamer *MCOS, StringRef Path); |
||
67 | |||
68 | /// Emit the .debug_line_str section if appropriate. |
||
69 | void emitSection(MCStreamer *MCOS); |
||
70 | |||
71 | /// Returns finalized section. |
||
72 | SmallString<0> getFinalizedData(); |
||
73 | }; |
||
74 | |||
75 | /// Instances of this class represent the name of the dwarf .file directive and |
||
76 | /// its associated dwarf file number in the MC file. MCDwarfFile's are created |
||
77 | /// and uniqued by the MCContext class. In Dwarf 4 file numbers start from 1; |
||
78 | /// i.e. the entry with file number 1 is the first element in the vector of |
||
79 | /// DwarfFiles and there is no MCDwarfFile with file number 0. In Dwarf 5 file |
||
80 | /// numbers start from 0, with the MCDwarfFile with file number 0 being the |
||
81 | /// primary source file, and file numbers correspond to their index in the |
||
82 | /// vector. |
||
83 | struct MCDwarfFile { |
||
84 | // The base name of the file without its directory path. |
||
85 | std::string Name; |
||
86 | |||
87 | // The index into the list of directory names for this file name. |
||
88 | unsigned DirIndex = 0; |
||
89 | |||
90 | /// The MD5 checksum, if there is one. Non-owning pointer to data allocated |
||
91 | /// in MCContext. |
||
92 | std::optional<MD5::MD5Result> Checksum; |
||
93 | |||
94 | /// The source code of the file. Non-owning reference to data allocated in |
||
95 | /// MCContext. |
||
96 | std::optional<StringRef> Source; |
||
97 | }; |
||
98 | |||
99 | /// Instances of this class represent the information from a |
||
100 | /// dwarf .loc directive. |
||
101 | class MCDwarfLoc { |
||
102 | uint32_t FileNum; |
||
103 | uint32_t Line; |
||
104 | uint16_t Column; |
||
105 | // Flags (see #define's below) |
||
106 | uint8_t Flags; |
||
107 | uint8_t Isa; |
||
108 | uint32_t Discriminator; |
||
109 | |||
110 | // Flag that indicates the initial value of the is_stmt_start flag. |
||
111 | #define DWARF2_LINE_DEFAULT_IS_STMT 1 |
||
112 | |||
113 | #define DWARF2_FLAG_IS_STMT (1 << 0) |
||
114 | #define DWARF2_FLAG_BASIC_BLOCK (1 << 1) |
||
115 | #define DWARF2_FLAG_PROLOGUE_END (1 << 2) |
||
116 | #define DWARF2_FLAG_EPILOGUE_BEGIN (1 << 3) |
||
117 | |||
118 | private: // MCContext manages these |
||
119 | friend class MCContext; |
||
120 | friend class MCDwarfLineEntry; |
||
121 | |||
122 | MCDwarfLoc(unsigned fileNum, unsigned line, unsigned column, unsigned flags, |
||
123 | unsigned isa, unsigned discriminator) |
||
124 | : FileNum(fileNum), Line(line), Column(column), Flags(flags), Isa(isa), |
||
125 | Discriminator(discriminator) {} |
||
126 | |||
127 | // Allow the default copy constructor and assignment operator to be used |
||
128 | // for an MCDwarfLoc object. |
||
129 | |||
130 | public: |
||
131 | /// Get the FileNum of this MCDwarfLoc. |
||
132 | unsigned getFileNum() const { return FileNum; } |
||
133 | |||
134 | /// Get the Line of this MCDwarfLoc. |
||
135 | unsigned getLine() const { return Line; } |
||
136 | |||
137 | /// Get the Column of this MCDwarfLoc. |
||
138 | unsigned getColumn() const { return Column; } |
||
139 | |||
140 | /// Get the Flags of this MCDwarfLoc. |
||
141 | unsigned getFlags() const { return Flags; } |
||
142 | |||
143 | /// Get the Isa of this MCDwarfLoc. |
||
144 | unsigned getIsa() const { return Isa; } |
||
145 | |||
146 | /// Get the Discriminator of this MCDwarfLoc. |
||
147 | unsigned getDiscriminator() const { return Discriminator; } |
||
148 | |||
149 | /// Set the FileNum of this MCDwarfLoc. |
||
150 | void setFileNum(unsigned fileNum) { FileNum = fileNum; } |
||
151 | |||
152 | /// Set the Line of this MCDwarfLoc. |
||
153 | void setLine(unsigned line) { Line = line; } |
||
154 | |||
155 | /// Set the Column of this MCDwarfLoc. |
||
156 | void setColumn(unsigned column) { |
||
157 | assert(column <= UINT16_MAX); |
||
158 | Column = column; |
||
159 | } |
||
160 | |||
161 | /// Set the Flags of this MCDwarfLoc. |
||
162 | void setFlags(unsigned flags) { |
||
163 | assert(flags <= UINT8_MAX); |
||
164 | Flags = flags; |
||
165 | } |
||
166 | |||
167 | /// Set the Isa of this MCDwarfLoc. |
||
168 | void setIsa(unsigned isa) { |
||
169 | assert(isa <= UINT8_MAX); |
||
170 | Isa = isa; |
||
171 | } |
||
172 | |||
173 | /// Set the Discriminator of this MCDwarfLoc. |
||
174 | void setDiscriminator(unsigned discriminator) { |
||
175 | Discriminator = discriminator; |
||
176 | } |
||
177 | }; |
||
178 | |||
179 | /// Instances of this class represent the line information for |
||
180 | /// the dwarf line table entries. Which is created after a machine |
||
181 | /// instruction is assembled and uses an address from a temporary label |
||
182 | /// created at the current address in the current section and the info from |
||
183 | /// the last .loc directive seen as stored in the context. |
||
184 | class MCDwarfLineEntry : public MCDwarfLoc { |
||
185 | MCSymbol *Label; |
||
186 | |||
187 | private: |
||
188 | // Allow the default copy constructor and assignment operator to be used |
||
189 | // for an MCDwarfLineEntry object. |
||
190 | |||
191 | public: |
||
192 | // Constructor to create an MCDwarfLineEntry given a symbol and the dwarf loc. |
||
193 | MCDwarfLineEntry(MCSymbol *label, const MCDwarfLoc loc) |
||
194 | : MCDwarfLoc(loc), Label(label) {} |
||
195 | |||
196 | MCSymbol *getLabel() const { return Label; } |
||
197 | |||
198 | // This indicates the line entry is synthesized for an end entry. |
||
199 | bool IsEndEntry = false; |
||
200 | |||
201 | // Override the label with the given EndLabel. |
||
202 | void setEndLabel(MCSymbol *EndLabel) { |
||
203 | Label = EndLabel; |
||
204 | IsEndEntry = true; |
||
205 | } |
||
206 | |||
207 | // This is called when an instruction is assembled into the specified |
||
208 | // section and if there is information from the last .loc directive that |
||
209 | // has yet to have a line entry made for it is made. |
||
210 | static void make(MCStreamer *MCOS, MCSection *Section); |
||
211 | }; |
||
212 | |||
213 | /// Instances of this class represent the line information for a compile |
||
214 | /// unit where machine instructions have been assembled after seeing .loc |
||
215 | /// directives. This is the information used to build the dwarf line |
||
216 | /// table for a section. |
||
217 | class MCLineSection { |
||
218 | public: |
||
219 | // Add an entry to this MCLineSection's line entries. |
||
220 | void addLineEntry(const MCDwarfLineEntry &LineEntry, MCSection *Sec) { |
||
221 | MCLineDivisions[Sec].push_back(LineEntry); |
||
222 | } |
||
223 | |||
224 | // Add an end entry by cloning the last entry, if exists, for the section |
||
225 | // the given EndLabel belongs to. The label is replaced by the given EndLabel. |
||
226 | void addEndEntry(MCSymbol *EndLabel); |
||
227 | |||
228 | using MCDwarfLineEntryCollection = std::vector<MCDwarfLineEntry>; |
||
229 | using iterator = MCDwarfLineEntryCollection::iterator; |
||
230 | using const_iterator = MCDwarfLineEntryCollection::const_iterator; |
||
231 | using MCLineDivisionMap = MapVector<MCSection *, MCDwarfLineEntryCollection>; |
||
232 | |||
233 | private: |
||
234 | // A collection of MCDwarfLineEntry for each section. |
||
235 | MCLineDivisionMap MCLineDivisions; |
||
236 | |||
237 | public: |
||
238 | // Returns the collection of MCDwarfLineEntry for a given Compile Unit ID. |
||
239 | const MCLineDivisionMap &getMCLineEntries() const { |
||
240 | return MCLineDivisions; |
||
241 | } |
||
242 | }; |
||
243 | |||
244 | struct MCDwarfLineTableParams { |
||
245 | /// First special line opcode - leave room for the standard opcodes. |
||
246 | /// Note: If you want to change this, you'll have to update the |
||
247 | /// "StandardOpcodeLengths" table that is emitted in |
||
248 | /// \c Emit(). |
||
249 | uint8_t DWARF2LineOpcodeBase = 13; |
||
250 | /// Minimum line offset in a special line info. opcode. The value |
||
251 | /// -5 was chosen to give a reasonable range of values. |
||
252 | int8_t DWARF2LineBase = -5; |
||
253 | /// Range of line offsets in a special line info. opcode. |
||
254 | uint8_t DWARF2LineRange = 14; |
||
255 | }; |
||
256 | |||
257 | struct MCDwarfLineTableHeader { |
||
258 | MCSymbol *Label = nullptr; |
||
259 | SmallVector<std::string, 3> MCDwarfDirs; |
||
260 | SmallVector<MCDwarfFile, 3> MCDwarfFiles; |
||
261 | StringMap<unsigned> SourceIdMap; |
||
262 | std::string CompilationDir; |
||
263 | MCDwarfFile RootFile; |
||
264 | bool HasSource = false; |
||
265 | private: |
||
266 | bool HasAllMD5 = true; |
||
267 | bool HasAnyMD5 = false; |
||
268 | |||
269 | public: |
||
270 | MCDwarfLineTableHeader() = default; |
||
271 | |||
272 | Expected<unsigned> tryGetFile(StringRef &Directory, StringRef &FileName, |
||
273 | std::optional<MD5::MD5Result> Checksum, |
||
274 | std::optional<StringRef> Source, |
||
275 | uint16_t DwarfVersion, unsigned FileNumber = 0); |
||
276 | std::pair<MCSymbol *, MCSymbol *> |
||
277 | Emit(MCStreamer *MCOS, MCDwarfLineTableParams Params, |
||
278 | std::optional<MCDwarfLineStr> &LineStr) const; |
||
279 | std::pair<MCSymbol *, MCSymbol *> |
||
280 | Emit(MCStreamer *MCOS, MCDwarfLineTableParams Params, |
||
281 | ArrayRef<char> SpecialOpcodeLengths, |
||
282 | std::optional<MCDwarfLineStr> &LineStr) const; |
||
283 | void resetMD5Usage() { |
||
284 | HasAllMD5 = true; |
||
285 | HasAnyMD5 = false; |
||
286 | } |
||
287 | void trackMD5Usage(bool MD5Used) { |
||
288 | HasAllMD5 &= MD5Used; |
||
289 | HasAnyMD5 |= MD5Used; |
||
290 | } |
||
291 | bool isMD5UsageConsistent() const { |
||
292 | return MCDwarfFiles.empty() || (HasAllMD5 == HasAnyMD5); |
||
293 | } |
||
294 | |||
295 | void setRootFile(StringRef Directory, StringRef FileName, |
||
296 | std::optional<MD5::MD5Result> Checksum, |
||
297 | std::optional<StringRef> Source) { |
||
298 | CompilationDir = std::string(Directory); |
||
299 | RootFile.Name = std::string(FileName); |
||
300 | RootFile.DirIndex = 0; |
||
301 | RootFile.Checksum = Checksum; |
||
302 | RootFile.Source = Source; |
||
303 | trackMD5Usage(Checksum.has_value()); |
||
304 | HasSource = Source.has_value(); |
||
305 | } |
||
306 | |||
307 | void resetFileTable() { |
||
308 | MCDwarfDirs.clear(); |
||
309 | MCDwarfFiles.clear(); |
||
310 | RootFile.Name.clear(); |
||
311 | resetMD5Usage(); |
||
312 | HasSource = false; |
||
313 | } |
||
314 | |||
315 | private: |
||
316 | void emitV2FileDirTables(MCStreamer *MCOS) const; |
||
317 | void emitV5FileDirTables(MCStreamer *MCOS, |
||
318 | std::optional<MCDwarfLineStr> &LineStr) const; |
||
319 | }; |
||
320 | |||
321 | class MCDwarfDwoLineTable { |
||
322 | MCDwarfLineTableHeader Header; |
||
323 | bool HasSplitLineTable = false; |
||
324 | |||
325 | public: |
||
326 | void maybeSetRootFile(StringRef Directory, StringRef FileName, |
||
327 | std::optional<MD5::MD5Result> Checksum, |
||
328 | std::optional<StringRef> Source) { |
||
329 | if (!Header.RootFile.Name.empty()) |
||
330 | return; |
||
331 | Header.setRootFile(Directory, FileName, Checksum, Source); |
||
332 | } |
||
333 | |||
334 | unsigned getFile(StringRef Directory, StringRef FileName, |
||
335 | std::optional<MD5::MD5Result> Checksum, |
||
336 | uint16_t DwarfVersion, std::optional<StringRef> Source) { |
||
337 | HasSplitLineTable = true; |
||
338 | return cantFail(Header.tryGetFile(Directory, FileName, Checksum, Source, |
||
339 | DwarfVersion)); |
||
340 | } |
||
341 | |||
342 | void Emit(MCStreamer &MCOS, MCDwarfLineTableParams Params, |
||
343 | MCSection *Section) const; |
||
344 | }; |
||
345 | |||
346 | class MCDwarfLineTable { |
||
347 | MCDwarfLineTableHeader Header; |
||
348 | MCLineSection MCLineSections; |
||
349 | |||
350 | public: |
||
351 | // This emits the Dwarf file and the line tables for all Compile Units. |
||
352 | static void emit(MCStreamer *MCOS, MCDwarfLineTableParams Params); |
||
353 | |||
354 | // This emits the Dwarf file and the line tables for a given Compile Unit. |
||
355 | void emitCU(MCStreamer *MCOS, MCDwarfLineTableParams Params, |
||
356 | std::optional<MCDwarfLineStr> &LineStr) const; |
||
357 | |||
358 | // This emits a single line table associated with a given Section. |
||
359 | static void |
||
360 | emitOne(MCStreamer *MCOS, MCSection *Section, |
||
361 | const MCLineSection::MCDwarfLineEntryCollection &LineEntries); |
||
362 | |||
363 | Expected<unsigned> tryGetFile(StringRef &Directory, StringRef &FileName, |
||
364 | std::optional<MD5::MD5Result> Checksum, |
||
365 | std::optional<StringRef> Source, |
||
366 | uint16_t DwarfVersion, unsigned FileNumber = 0); |
||
367 | unsigned getFile(StringRef &Directory, StringRef &FileName, |
||
368 | std::optional<MD5::MD5Result> Checksum, |
||
369 | std::optional<StringRef> Source, uint16_t DwarfVersion, |
||
370 | unsigned FileNumber = 0) { |
||
371 | return cantFail(tryGetFile(Directory, FileName, Checksum, Source, |
||
372 | DwarfVersion, FileNumber)); |
||
373 | } |
||
374 | |||
375 | void setRootFile(StringRef Directory, StringRef FileName, |
||
376 | std::optional<MD5::MD5Result> Checksum, |
||
377 | std::optional<StringRef> Source) { |
||
378 | Header.CompilationDir = std::string(Directory); |
||
379 | Header.RootFile.Name = std::string(FileName); |
||
380 | Header.RootFile.DirIndex = 0; |
||
381 | Header.RootFile.Checksum = Checksum; |
||
382 | Header.RootFile.Source = Source; |
||
383 | Header.trackMD5Usage(Checksum.has_value()); |
||
384 | Header.HasSource = Source.has_value(); |
||
385 | } |
||
386 | |||
387 | void resetFileTable() { Header.resetFileTable(); } |
||
388 | |||
389 | bool hasRootFile() const { return !Header.RootFile.Name.empty(); } |
||
390 | |||
391 | MCDwarfFile &getRootFile() { return Header.RootFile; } |
||
392 | const MCDwarfFile &getRootFile() const { return Header.RootFile; } |
||
393 | |||
394 | // Report whether MD5 usage has been consistent (all-or-none). |
||
395 | bool isMD5UsageConsistent() const { return Header.isMD5UsageConsistent(); } |
||
396 | |||
397 | MCSymbol *getLabel() const { |
||
398 | return Header.Label; |
||
399 | } |
||
400 | |||
401 | void setLabel(MCSymbol *Label) { |
||
402 | Header.Label = Label; |
||
403 | } |
||
404 | |||
405 | const SmallVectorImpl<std::string> &getMCDwarfDirs() const { |
||
406 | return Header.MCDwarfDirs; |
||
407 | } |
||
408 | |||
409 | SmallVectorImpl<std::string> &getMCDwarfDirs() { |
||
410 | return Header.MCDwarfDirs; |
||
411 | } |
||
412 | |||
413 | const SmallVectorImpl<MCDwarfFile> &getMCDwarfFiles() const { |
||
414 | return Header.MCDwarfFiles; |
||
415 | } |
||
416 | |||
417 | SmallVectorImpl<MCDwarfFile> &getMCDwarfFiles() { |
||
418 | return Header.MCDwarfFiles; |
||
419 | } |
||
420 | |||
421 | const MCLineSection &getMCLineSections() const { |
||
422 | return MCLineSections; |
||
423 | } |
||
424 | MCLineSection &getMCLineSections() { |
||
425 | return MCLineSections; |
||
426 | } |
||
427 | }; |
||
428 | |||
429 | class MCDwarfLineAddr { |
||
430 | public: |
||
431 | /// Utility function to encode a Dwarf pair of LineDelta and AddrDeltas. |
||
432 | static void Encode(MCContext &Context, MCDwarfLineTableParams Params, |
||
433 | int64_t LineDelta, uint64_t AddrDelta, raw_ostream &OS); |
||
434 | |||
435 | /// Utility function to emit the encoding to a streamer. |
||
436 | static void Emit(MCStreamer *MCOS, MCDwarfLineTableParams Params, |
||
437 | int64_t LineDelta, uint64_t AddrDelta); |
||
438 | }; |
||
439 | |||
440 | class MCGenDwarfInfo { |
||
441 | public: |
||
442 | // |
||
443 | // When generating dwarf for assembly source files this emits the Dwarf |
||
444 | // sections. |
||
445 | // |
||
446 | static void Emit(MCStreamer *MCOS); |
||
447 | }; |
||
448 | |||
449 | // When generating dwarf for assembly source files this is the info that is |
||
450 | // needed to be gathered for each symbol that will have a dwarf label. |
||
451 | class MCGenDwarfLabelEntry { |
||
452 | private: |
||
453 | // Name of the symbol without a leading underbar, if any. |
||
454 | StringRef Name; |
||
455 | // The dwarf file number this symbol is in. |
||
456 | unsigned FileNumber; |
||
457 | // The line number this symbol is at. |
||
458 | unsigned LineNumber; |
||
459 | // The low_pc for the dwarf label is taken from this symbol. |
||
460 | MCSymbol *Label; |
||
461 | |||
462 | public: |
||
463 | MCGenDwarfLabelEntry(StringRef name, unsigned fileNumber, unsigned lineNumber, |
||
464 | MCSymbol *label) |
||
465 | : Name(name), FileNumber(fileNumber), LineNumber(lineNumber), |
||
466 | Label(label) {} |
||
467 | |||
468 | StringRef getName() const { return Name; } |
||
469 | unsigned getFileNumber() const { return FileNumber; } |
||
470 | unsigned getLineNumber() const { return LineNumber; } |
||
471 | MCSymbol *getLabel() const { return Label; } |
||
472 | |||
473 | // This is called when label is created when we are generating dwarf for |
||
474 | // assembly source files. |
||
475 | static void Make(MCSymbol *Symbol, MCStreamer *MCOS, SourceMgr &SrcMgr, |
||
476 | SMLoc &Loc); |
||
477 | }; |
||
478 | |||
479 | class MCCFIInstruction { |
||
480 | public: |
||
481 | enum OpType { |
||
482 | OpSameValue, |
||
483 | OpRememberState, |
||
484 | OpRestoreState, |
||
485 | OpOffset, |
||
486 | OpLLVMDefAspaceCfa, |
||
487 | OpDefCfaRegister, |
||
488 | OpDefCfaOffset, |
||
489 | OpDefCfa, |
||
490 | OpRelOffset, |
||
491 | OpAdjustCfaOffset, |
||
492 | OpEscape, |
||
493 | OpRestore, |
||
494 | OpUndefined, |
||
495 | OpRegister, |
||
496 | OpWindowSave, |
||
497 | OpNegateRAState, |
||
498 | OpGnuArgsSize |
||
499 | }; |
||
500 | |||
501 | private: |
||
502 | OpType Operation; |
||
503 | MCSymbol *Label; |
||
504 | unsigned Register; |
||
505 | union { |
||
506 | int Offset; |
||
507 | unsigned Register2; |
||
508 | }; |
||
509 | unsigned AddressSpace; |
||
510 | std::vector<char> Values; |
||
511 | std::string Comment; |
||
512 | |||
513 | MCCFIInstruction(OpType Op, MCSymbol *L, unsigned R, int O, StringRef V, |
||
514 | StringRef Comment = "") |
||
515 | : Operation(Op), Label(L), Register(R), Offset(O), |
||
516 | Values(V.begin(), V.end()), Comment(Comment) { |
||
517 | assert(Op != OpRegister && Op != OpLLVMDefAspaceCfa); |
||
518 | } |
||
519 | |||
520 | MCCFIInstruction(OpType Op, MCSymbol *L, unsigned R1, unsigned R2) |
||
521 | : Operation(Op), Label(L), Register(R1), Register2(R2) { |
||
522 | assert(Op == OpRegister); |
||
523 | } |
||
524 | |||
525 | MCCFIInstruction(OpType Op, MCSymbol *L, unsigned R, int O, unsigned AS) |
||
526 | : Operation(Op), Label(L), Register(R), Offset(O), AddressSpace(AS) { |
||
527 | assert(Op == OpLLVMDefAspaceCfa); |
||
528 | } |
||
529 | |||
530 | public: |
||
531 | /// .cfi_def_cfa defines a rule for computing CFA as: take address from |
||
532 | /// Register and add Offset to it. |
||
533 | static MCCFIInstruction cfiDefCfa(MCSymbol *L, unsigned Register, |
||
534 | int Offset) { |
||
535 | return MCCFIInstruction(OpDefCfa, L, Register, Offset, ""); |
||
536 | } |
||
537 | |||
538 | /// .cfi_def_cfa_register modifies a rule for computing CFA. From now |
||
539 | /// on Register will be used instead of the old one. Offset remains the same. |
||
540 | static MCCFIInstruction createDefCfaRegister(MCSymbol *L, unsigned Register) { |
||
541 | return MCCFIInstruction(OpDefCfaRegister, L, Register, 0, ""); |
||
542 | } |
||
543 | |||
544 | /// .cfi_def_cfa_offset modifies a rule for computing CFA. Register |
||
545 | /// remains the same, but offset is new. Note that it is the absolute offset |
||
546 | /// that will be added to a defined register to the compute CFA address. |
||
547 | static MCCFIInstruction cfiDefCfaOffset(MCSymbol *L, int Offset) { |
||
548 | return MCCFIInstruction(OpDefCfaOffset, L, 0, Offset, ""); |
||
549 | } |
||
550 | |||
551 | /// .cfi_adjust_cfa_offset Same as .cfi_def_cfa_offset, but |
||
552 | /// Offset is a relative value that is added/subtracted from the previous |
||
553 | /// offset. |
||
554 | static MCCFIInstruction createAdjustCfaOffset(MCSymbol *L, int Adjustment) { |
||
555 | return MCCFIInstruction(OpAdjustCfaOffset, L, 0, Adjustment, ""); |
||
556 | } |
||
557 | |||
558 | // FIXME: Update the remaining docs to use the new proposal wording. |
||
559 | /// .cfi_llvm_def_aspace_cfa defines the rule for computing the CFA to |
||
560 | /// be the result of evaluating the DWARF operation expression |
||
561 | /// `DW_OP_constu AS; DW_OP_aspace_bregx R, B` as a location description. |
||
562 | static MCCFIInstruction createLLVMDefAspaceCfa(MCSymbol *L, unsigned Register, |
||
563 | int Offset, |
||
564 | unsigned AddressSpace) { |
||
565 | return MCCFIInstruction(OpLLVMDefAspaceCfa, L, Register, Offset, |
||
566 | AddressSpace); |
||
567 | } |
||
568 | |||
569 | /// .cfi_offset Previous value of Register is saved at offset Offset |
||
570 | /// from CFA. |
||
571 | static MCCFIInstruction createOffset(MCSymbol *L, unsigned Register, |
||
572 | int Offset) { |
||
573 | return MCCFIInstruction(OpOffset, L, Register, Offset, ""); |
||
574 | } |
||
575 | |||
576 | /// .cfi_rel_offset Previous value of Register is saved at offset |
||
577 | /// Offset from the current CFA register. This is transformed to .cfi_offset |
||
578 | /// using the known displacement of the CFA register from the CFA. |
||
579 | static MCCFIInstruction createRelOffset(MCSymbol *L, unsigned Register, |
||
580 | int Offset) { |
||
581 | return MCCFIInstruction(OpRelOffset, L, Register, Offset, ""); |
||
582 | } |
||
583 | |||
584 | /// .cfi_register Previous value of Register1 is saved in |
||
585 | /// register Register2. |
||
586 | static MCCFIInstruction createRegister(MCSymbol *L, unsigned Register1, |
||
587 | unsigned Register2) { |
||
588 | return MCCFIInstruction(OpRegister, L, Register1, Register2); |
||
589 | } |
||
590 | |||
591 | /// .cfi_window_save SPARC register window is saved. |
||
592 | static MCCFIInstruction createWindowSave(MCSymbol *L) { |
||
593 | return MCCFIInstruction(OpWindowSave, L, 0, 0, ""); |
||
594 | } |
||
595 | |||
596 | /// .cfi_negate_ra_state AArch64 negate RA state. |
||
597 | static MCCFIInstruction createNegateRAState(MCSymbol *L) { |
||
598 | return MCCFIInstruction(OpNegateRAState, L, 0, 0, ""); |
||
599 | } |
||
600 | |||
601 | /// .cfi_restore says that the rule for Register is now the same as it |
||
602 | /// was at the beginning of the function, after all initial instructions added |
||
603 | /// by .cfi_startproc were executed. |
||
604 | static MCCFIInstruction createRestore(MCSymbol *L, unsigned Register) { |
||
605 | return MCCFIInstruction(OpRestore, L, Register, 0, ""); |
||
606 | } |
||
607 | |||
608 | /// .cfi_undefined From now on the previous value of Register can't be |
||
609 | /// restored anymore. |
||
610 | static MCCFIInstruction createUndefined(MCSymbol *L, unsigned Register) { |
||
611 | return MCCFIInstruction(OpUndefined, L, Register, 0, ""); |
||
612 | } |
||
613 | |||
614 | /// .cfi_same_value Current value of Register is the same as in the |
||
615 | /// previous frame. I.e., no restoration is needed. |
||
616 | static MCCFIInstruction createSameValue(MCSymbol *L, unsigned Register) { |
||
617 | return MCCFIInstruction(OpSameValue, L, Register, 0, ""); |
||
618 | } |
||
619 | |||
620 | /// .cfi_remember_state Save all current rules for all registers. |
||
621 | static MCCFIInstruction createRememberState(MCSymbol *L) { |
||
622 | return MCCFIInstruction(OpRememberState, L, 0, 0, ""); |
||
623 | } |
||
624 | |||
625 | /// .cfi_restore_state Restore the previously saved state. |
||
626 | static MCCFIInstruction createRestoreState(MCSymbol *L) { |
||
627 | return MCCFIInstruction(OpRestoreState, L, 0, 0, ""); |
||
628 | } |
||
629 | |||
630 | /// .cfi_escape Allows the user to add arbitrary bytes to the unwind |
||
631 | /// info. |
||
632 | static MCCFIInstruction createEscape(MCSymbol *L, StringRef Vals, |
||
633 | StringRef Comment = "") { |
||
634 | return MCCFIInstruction(OpEscape, L, 0, 0, Vals, Comment); |
||
635 | } |
||
636 | |||
637 | /// A special wrapper for .cfi_escape that indicates GNU_ARGS_SIZE |
||
638 | static MCCFIInstruction createGnuArgsSize(MCSymbol *L, int Size) { |
||
639 | return MCCFIInstruction(OpGnuArgsSize, L, 0, Size, ""); |
||
640 | } |
||
641 | |||
642 | OpType getOperation() const { return Operation; } |
||
643 | MCSymbol *getLabel() const { return Label; } |
||
644 | |||
645 | unsigned getRegister() const { |
||
646 | assert(Operation == OpDefCfa || Operation == OpOffset || |
||
647 | Operation == OpRestore || Operation == OpUndefined || |
||
648 | Operation == OpSameValue || Operation == OpDefCfaRegister || |
||
649 | Operation == OpRelOffset || Operation == OpRegister || |
||
650 | Operation == OpLLVMDefAspaceCfa); |
||
651 | return Register; |
||
652 | } |
||
653 | |||
654 | unsigned getRegister2() const { |
||
655 | assert(Operation == OpRegister); |
||
656 | return Register2; |
||
657 | } |
||
658 | |||
659 | unsigned getAddressSpace() const { |
||
660 | assert(Operation == OpLLVMDefAspaceCfa); |
||
661 | return AddressSpace; |
||
662 | } |
||
663 | |||
664 | int getOffset() const { |
||
665 | assert(Operation == OpDefCfa || Operation == OpOffset || |
||
666 | Operation == OpRelOffset || Operation == OpDefCfaOffset || |
||
667 | Operation == OpAdjustCfaOffset || Operation == OpGnuArgsSize || |
||
668 | Operation == OpLLVMDefAspaceCfa); |
||
669 | return Offset; |
||
670 | } |
||
671 | |||
672 | StringRef getValues() const { |
||
673 | assert(Operation == OpEscape); |
||
674 | return StringRef(&Values[0], Values.size()); |
||
675 | } |
||
676 | |||
677 | StringRef getComment() const { |
||
678 | return Comment; |
||
679 | } |
||
680 | }; |
||
681 | |||
682 | struct MCDwarfFrameInfo { |
||
683 | MCDwarfFrameInfo() = default; |
||
684 | |||
685 | MCSymbol *Begin = nullptr; |
||
686 | MCSymbol *End = nullptr; |
||
687 | const MCSymbol *Personality = nullptr; |
||
688 | const MCSymbol *Lsda = nullptr; |
||
689 | std::vector<MCCFIInstruction> Instructions; |
||
690 | unsigned CurrentCfaRegister = 0; |
||
691 | unsigned PersonalityEncoding = 0; |
||
692 | unsigned LsdaEncoding = 0; |
||
693 | uint32_t CompactUnwindEncoding = 0; |
||
694 | bool IsSignalFrame = false; |
||
695 | bool IsSimple = false; |
||
696 | unsigned RAReg = static_cast<unsigned>(INT_MAX); |
||
697 | bool IsBKeyFrame = false; |
||
698 | bool IsMTETaggedFrame = false; |
||
699 | }; |
||
700 | |||
701 | class MCDwarfFrameEmitter { |
||
702 | public: |
||
703 | // |
||
704 | // This emits the frame info section. |
||
705 | // |
||
706 | static void Emit(MCObjectStreamer &streamer, MCAsmBackend *MAB, bool isEH); |
||
707 | static void EmitAdvanceLoc(MCObjectStreamer &Streamer, uint64_t AddrDelta); |
||
708 | static void EncodeAdvanceLoc(MCContext &Context, uint64_t AddrDelta, |
||
709 | raw_ostream &OS); |
||
710 | }; |
||
711 | |||
712 | } // end namespace llvm |
||
713 | |||
714 | #endif // LLVM_MC_MCDWARF_H |