Bill Wendling | 88423ee | 2009-05-15 00:11:17 +0000 | [diff] [blame] | 1 | //===--- lib/CodeGen/DwarfPrinter.cpp - Dwarf Printer ---------------------===// |
| 2 | // |
| 3 | // The LLVM Compiler Infrastructure |
| 4 | // |
| 5 | // This file is distributed under the University of Illinois Open Source |
| 6 | // License. See LICENSE.TXT for details. |
| 7 | // |
| 8 | //===----------------------------------------------------------------------===// |
| 9 | // |
| 10 | // Emit general DWARF directives. |
Anton Korobeynikov | 9184b25 | 2010-02-15 22:35:59 +0000 | [diff] [blame] | 11 | // |
Bill Wendling | 88423ee | 2009-05-15 00:11:17 +0000 | [diff] [blame] | 12 | //===----------------------------------------------------------------------===// |
| 13 | |
| 14 | #include "DwarfPrinter.h" |
| 15 | #include "llvm/Module.h" |
| 16 | #include "llvm/CodeGen/AsmPrinter.h" |
| 17 | #include "llvm/CodeGen/MachineFrameInfo.h" |
David Greene | eea1f4c | 2009-08-19 21:59:18 +0000 | [diff] [blame] | 18 | #include "llvm/CodeGen/MachineFunction.h" |
Bill Wendling | 88423ee | 2009-05-15 00:11:17 +0000 | [diff] [blame] | 19 | #include "llvm/CodeGen/MachineModuleInfo.h" |
Chris Lattner | af76e59 | 2009-08-22 20:48:53 +0000 | [diff] [blame] | 20 | #include "llvm/MC/MCAsmInfo.h" |
Anton Korobeynikov | 9184b25 | 2010-02-15 22:35:59 +0000 | [diff] [blame] | 21 | #include "llvm/MC/MCContext.h" |
| 22 | #include "llvm/MC/MCExpr.h" |
Chris Lattner | 3d22513 | 2010-04-04 23:22:29 +0000 | [diff] [blame^] | 23 | #include "llvm/MC/MCSection.h" |
Chris Lattner | f61ed8e | 2010-01-22 22:38:16 +0000 | [diff] [blame] | 24 | #include "llvm/MC/MCStreamer.h" |
Chris Lattner | 858431d | 2010-01-16 18:50:28 +0000 | [diff] [blame] | 25 | #include "llvm/MC/MCSymbol.h" |
Bill Wendling | 88423ee | 2009-05-15 00:11:17 +0000 | [diff] [blame] | 26 | #include "llvm/Target/TargetData.h" |
| 27 | #include "llvm/Target/TargetFrameInfo.h" |
Anton Korobeynikov | 9184b25 | 2010-02-15 22:35:59 +0000 | [diff] [blame] | 28 | #include "llvm/Target/TargetLoweringObjectFile.h" |
Bill Wendling | 88423ee | 2009-05-15 00:11:17 +0000 | [diff] [blame] | 29 | #include "llvm/Target/TargetRegisterInfo.h" |
Chris Lattner | 9d1c1ad | 2010-04-04 18:06:11 +0000 | [diff] [blame] | 30 | #include "llvm/Target/TargetMachine.h" |
Chris Lattner | 23132b1 | 2009-08-24 03:52:50 +0000 | [diff] [blame] | 31 | #include "llvm/Support/Dwarf.h" |
| 32 | #include "llvm/Support/ErrorHandling.h" |
Anton Korobeynikov | 9184b25 | 2010-02-15 22:35:59 +0000 | [diff] [blame] | 33 | #include "llvm/ADT/SmallString.h" |
Bill Wendling | 88423ee | 2009-05-15 00:11:17 +0000 | [diff] [blame] | 34 | using namespace llvm; |
| 35 | |
Chris Lattner | 75f5072 | 2010-04-04 07:48:20 +0000 | [diff] [blame] | 36 | DwarfPrinter::DwarfPrinter(AsmPrinter *A) |
| 37 | : Asm(A), MAI(A->MAI), TD(Asm->TM.getTargetData()), |
Bill Wendling | 88423ee | 2009-05-15 00:11:17 +0000 | [diff] [blame] | 38 | RI(Asm->TM.getRegisterInfo()), M(NULL), MF(NULL), MMI(NULL), |
Chris Lattner | fa070b0 | 2010-04-04 22:33:59 +0000 | [diff] [blame] | 39 | SubprogramCount(0) { |
| 40 | } |
Bill Wendling | 88423ee | 2009-05-15 00:11:17 +0000 | [diff] [blame] | 41 | |
Anton Korobeynikov | 9184b25 | 2010-02-15 22:35:59 +0000 | [diff] [blame] | 42 | |
Chris Lattner | fa070b0 | 2010-04-04 22:33:59 +0000 | [diff] [blame] | 43 | /// EmitSectionOffset - Emit the 4-byte offset of Label from the start of its |
| 44 | /// section. This can be done with a special directive if the target supports |
| 45 | /// it (e.g. cygwin) or by emitting it as an offset from a label at the start |
| 46 | /// of the section. |
| 47 | /// |
| 48 | /// SectionLabel is a temporary label emitted at the start of the section that |
| 49 | /// Label lives in. |
Chris Lattner | b98b1bf | 2010-03-08 22:23:36 +0000 | [diff] [blame] | 50 | void DwarfPrinter::EmitSectionOffset(const MCSymbol *Label, |
Chris Lattner | fa070b0 | 2010-04-04 22:33:59 +0000 | [diff] [blame] | 51 | const MCSymbol *SectionLabel) const { |
Chris Lattner | 2e3ebed | 2010-04-04 22:25:14 +0000 | [diff] [blame] | 52 | // On COFF targets, we have to emit the special .secrel32 directive. |
Chris Lattner | 20e3280 | 2010-03-12 18:10:35 +0000 | [diff] [blame] | 53 | if (const char *SecOffDir = MAI->getDwarfSectionOffsetDirective()) { |
Chris Lattner | 188a87d | 2010-03-10 01:04:13 +0000 | [diff] [blame] | 54 | // FIXME: MCize. |
Chris Lattner | 0b9bdb4 | 2010-04-04 07:25:52 +0000 | [diff] [blame] | 55 | Asm->OutStreamer.EmitRawText(SecOffDir + Twine(Label->getName())); |
Chris Lattner | 2e3ebed | 2010-04-04 22:25:14 +0000 | [diff] [blame] | 56 | return; |
Chris Lattner | ef6b14f | 2010-03-09 00:17:58 +0000 | [diff] [blame] | 57 | } |
Chris Lattner | a33b2a1 | 2010-04-04 23:06:31 +0000 | [diff] [blame] | 58 | |
| 59 | // Get the section that we're referring to, based on SectionLabel. |
| 60 | const MCSection &Section = SectionLabel->getSection(); |
| 61 | |
| 62 | // If Label has already been emitted, verify that it is in the same section as |
| 63 | // section label for sanity. |
| 64 | assert((!Label->isInSection() || &Label->getSection() == &Section) && |
Chris Lattner | 3d22513 | 2010-04-04 23:22:29 +0000 | [diff] [blame^] | 65 | "Section offset using wrong section base for label"); |
Chris Lattner | 2e3ebed | 2010-04-04 22:25:14 +0000 | [diff] [blame] | 66 | |
| 67 | // If the section in question will end up with an address of 0 anyway, we can |
| 68 | // just emit an absolute reference to save a relocation. |
Chris Lattner | 3d22513 | 2010-04-04 23:22:29 +0000 | [diff] [blame^] | 69 | if (Section.isBaseAddressKnownZero()) { |
Chris Lattner | 2e3ebed | 2010-04-04 22:25:14 +0000 | [diff] [blame] | 70 | Asm->OutStreamer.EmitSymbolValue(Label, 4, 0/*AddrSpace*/); |
| 71 | return; |
| 72 | } |
| 73 | |
Chris Lattner | 3d22513 | 2010-04-04 23:22:29 +0000 | [diff] [blame^] | 74 | // Otherwise, emit it as a label difference from the start of the section. |
Chris Lattner | fa070b0 | 2010-04-04 22:33:59 +0000 | [diff] [blame] | 75 | Asm->EmitLabelDifference(Label, SectionLabel, 4); |
Bill Wendling | 88423ee | 2009-05-15 00:11:17 +0000 | [diff] [blame] | 76 | } |
| 77 | |
| 78 | /// EmitFrameMoves - Emit frame instructions to describe the layout of the |
| 79 | /// frame. |
Chris Lattner | 5e6cbe0 | 2010-03-13 08:05:25 +0000 | [diff] [blame] | 80 | void DwarfPrinter::EmitFrameMoves(MCSymbol *BaseLabel, |
Chris Lattner | 066c9ac | 2010-01-22 22:23:57 +0000 | [diff] [blame] | 81 | const std::vector<MachineMove> &Moves, |
| 82 | bool isEH) { |
Chris Lattner | fb65807 | 2010-03-13 07:40:56 +0000 | [diff] [blame] | 83 | int stackGrowth = TD->getPointerSize(); |
| 84 | if (Asm->TM.getFrameInfo()->getStackGrowthDirection() != |
| 85 | TargetFrameInfo::StackGrowsUp) |
| 86 | stackGrowth *= -1; |
| 87 | |
Bill Wendling | 88423ee | 2009-05-15 00:11:17 +0000 | [diff] [blame] | 88 | for (unsigned i = 0, N = Moves.size(); i < N; ++i) { |
| 89 | const MachineMove &Move = Moves[i]; |
Chris Lattner | 2e9919a | 2010-03-14 08:12:40 +0000 | [diff] [blame] | 90 | MCSymbol *Label = Move.getLabel(); |
Chris Lattner | a34ec229 | 2010-03-09 01:51:43 +0000 | [diff] [blame] | 91 | // Throw out move if the label is invalid. |
Chris Lattner | 2e9919a | 2010-03-14 08:12:40 +0000 | [diff] [blame] | 92 | if (Label && !Label->isDefined()) continue; // Not emitted, in dead code. |
Bill Wendling | 88423ee | 2009-05-15 00:11:17 +0000 | [diff] [blame] | 93 | |
| 94 | const MachineLocation &Dst = Move.getDestination(); |
| 95 | const MachineLocation &Src = Move.getSource(); |
| 96 | |
| 97 | // Advance row if new location. |
Chris Lattner | f14645c | 2010-03-14 07:02:50 +0000 | [diff] [blame] | 98 | if (BaseLabel && Label) { |
Chris Lattner | b913060 | 2010-03-14 02:20:58 +0000 | [diff] [blame] | 99 | MCSymbol *ThisSym = Label; |
Chris Lattner | 5e6cbe0 | 2010-03-13 08:05:25 +0000 | [diff] [blame] | 100 | if (ThisSym != BaseLabel) { |
Chris Lattner | 7a101f4 | 2010-04-04 20:01:25 +0000 | [diff] [blame] | 101 | Asm->EmitCFAByte(dwarf::DW_CFA_advance_loc4); |
Chris Lattner | a643718 | 2010-04-04 19:58:12 +0000 | [diff] [blame] | 102 | Asm->EmitLabelDifference(ThisSym, BaseLabel, 4); |
Chris Lattner | 5e6cbe0 | 2010-03-13 08:05:25 +0000 | [diff] [blame] | 103 | BaseLabel = ThisSym; |
| 104 | } |
Bill Wendling | 88423ee | 2009-05-15 00:11:17 +0000 | [diff] [blame] | 105 | } |
| 106 | |
| 107 | // If advancing cfa. |
| 108 | if (Dst.isReg() && Dst.getReg() == MachineLocation::VirtualFP) { |
| 109 | if (!Src.isReg()) { |
| 110 | if (Src.getReg() == MachineLocation::VirtualFP) { |
Chris Lattner | 7a101f4 | 2010-04-04 20:01:25 +0000 | [diff] [blame] | 111 | Asm->EmitCFAByte(dwarf::DW_CFA_def_cfa_offset); |
Bill Wendling | 88423ee | 2009-05-15 00:11:17 +0000 | [diff] [blame] | 112 | } else { |
Chris Lattner | 7a101f4 | 2010-04-04 20:01:25 +0000 | [diff] [blame] | 113 | Asm->EmitCFAByte(dwarf::DW_CFA_def_cfa); |
Chris Lattner | 7e1a8f8 | 2010-04-04 19:09:29 +0000 | [diff] [blame] | 114 | Asm->EmitULEB128(RI->getDwarfRegNum(Src.getReg(), isEH), "Register"); |
Bill Wendling | 88423ee | 2009-05-15 00:11:17 +0000 | [diff] [blame] | 115 | } |
| 116 | |
| 117 | int Offset = -Src.getOffset(); |
Chris Lattner | 7e1a8f8 | 2010-04-04 19:09:29 +0000 | [diff] [blame] | 118 | Asm->EmitULEB128(Offset, "Offset"); |
Bill Wendling | 88423ee | 2009-05-15 00:11:17 +0000 | [diff] [blame] | 119 | } else { |
Torok Edwin | c23197a | 2009-07-14 16:55:14 +0000 | [diff] [blame] | 120 | llvm_unreachable("Machine move not supported yet."); |
Bill Wendling | 88423ee | 2009-05-15 00:11:17 +0000 | [diff] [blame] | 121 | } |
| 122 | } else if (Src.isReg() && |
| 123 | Src.getReg() == MachineLocation::VirtualFP) { |
| 124 | if (Dst.isReg()) { |
Chris Lattner | 7a101f4 | 2010-04-04 20:01:25 +0000 | [diff] [blame] | 125 | Asm->EmitCFAByte(dwarf::DW_CFA_def_cfa_register); |
Chris Lattner | 7e1a8f8 | 2010-04-04 19:09:29 +0000 | [diff] [blame] | 126 | Asm->EmitULEB128(RI->getDwarfRegNum(Dst.getReg(), isEH), "Register"); |
Bill Wendling | 88423ee | 2009-05-15 00:11:17 +0000 | [diff] [blame] | 127 | } else { |
Torok Edwin | c23197a | 2009-07-14 16:55:14 +0000 | [diff] [blame] | 128 | llvm_unreachable("Machine move not supported yet."); |
Bill Wendling | 88423ee | 2009-05-15 00:11:17 +0000 | [diff] [blame] | 129 | } |
| 130 | } else { |
| 131 | unsigned Reg = RI->getDwarfRegNum(Src.getReg(), isEH); |
| 132 | int Offset = Dst.getOffset() / stackGrowth; |
| 133 | |
| 134 | if (Offset < 0) { |
Chris Lattner | 7a101f4 | 2010-04-04 20:01:25 +0000 | [diff] [blame] | 135 | Asm->EmitCFAByte(dwarf::DW_CFA_offset_extended_sf); |
Chris Lattner | 7e1a8f8 | 2010-04-04 19:09:29 +0000 | [diff] [blame] | 136 | Asm->EmitULEB128(Reg, "Reg"); |
| 137 | Asm->EmitSLEB128(Offset, "Offset"); |
Bill Wendling | 88423ee | 2009-05-15 00:11:17 +0000 | [diff] [blame] | 138 | } else if (Reg < 64) { |
Chris Lattner | 7a101f4 | 2010-04-04 20:01:25 +0000 | [diff] [blame] | 139 | Asm->EmitCFAByte(dwarf::DW_CFA_offset + Reg); |
Chris Lattner | 7e1a8f8 | 2010-04-04 19:09:29 +0000 | [diff] [blame] | 140 | Asm->EmitULEB128(Offset, "Offset"); |
Bill Wendling | 88423ee | 2009-05-15 00:11:17 +0000 | [diff] [blame] | 141 | } else { |
Chris Lattner | 7a101f4 | 2010-04-04 20:01:25 +0000 | [diff] [blame] | 142 | Asm->EmitCFAByte(dwarf::DW_CFA_offset_extended); |
Chris Lattner | 7e1a8f8 | 2010-04-04 19:09:29 +0000 | [diff] [blame] | 143 | Asm->EmitULEB128(Reg, "Reg"); |
| 144 | Asm->EmitULEB128(Offset, "Offset"); |
Bill Wendling | 88423ee | 2009-05-15 00:11:17 +0000 | [diff] [blame] | 145 | } |
| 146 | } |
| 147 | } |
| 148 | } |