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