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 | c3421bb | 2010-03-09 00:00:15 +0000 | [diff] [blame] | 38 | SubprogramCount(0) {} |
Bill Wendling | 88423ee | 2009-05-15 00:11:17 +0000 | [diff] [blame] | 39 | |
Anton Korobeynikov | 9184b25 | 2010-02-15 22:35:59 +0000 | [diff] [blame] | 40 | /// SizeOfEncodedValue - Return the size of the encoding in bytes. |
| 41 | unsigned DwarfPrinter::SizeOfEncodedValue(unsigned Encoding) const { |
| 42 | if (Encoding == dwarf::DW_EH_PE_omit) |
| 43 | return 0; |
| 44 | |
| 45 | switch (Encoding & 0x07) { |
| 46 | case dwarf::DW_EH_PE_absptr: |
| 47 | return TD->getPointerSize(); |
| 48 | case dwarf::DW_EH_PE_udata2: |
| 49 | return 2; |
| 50 | case dwarf::DW_EH_PE_udata4: |
| 51 | return 4; |
| 52 | case dwarf::DW_EH_PE_udata8: |
| 53 | return 8; |
| 54 | } |
| 55 | |
| 56 | assert(0 && "Invalid encoded value."); |
| 57 | return 0; |
| 58 | } |
| 59 | |
Chris Lattner | f61ed8e | 2010-01-22 22:38:16 +0000 | [diff] [blame] | 60 | static const char *DecodeDWARFEncoding(unsigned Encoding) { |
| 61 | switch (Encoding) { |
| 62 | case dwarf::DW_EH_PE_absptr: return "absptr"; |
| 63 | case dwarf::DW_EH_PE_omit: return "omit"; |
| 64 | case dwarf::DW_EH_PE_pcrel: return "pcrel"; |
| 65 | case dwarf::DW_EH_PE_udata4: return "udata4"; |
| 66 | case dwarf::DW_EH_PE_udata8: return "udata8"; |
| 67 | case dwarf::DW_EH_PE_sdata4: return "sdata4"; |
| 68 | case dwarf::DW_EH_PE_sdata8: return "sdata8"; |
| 69 | case dwarf::DW_EH_PE_pcrel | dwarf::DW_EH_PE_udata4: return "pcrel udata4"; |
| 70 | case dwarf::DW_EH_PE_pcrel | dwarf::DW_EH_PE_sdata4: return "pcrel sdata4"; |
| 71 | case dwarf::DW_EH_PE_pcrel | dwarf::DW_EH_PE_udata8: return "pcrel udata8"; |
| 72 | case dwarf::DW_EH_PE_pcrel | dwarf::DW_EH_PE_sdata8: return "pcrel sdata8"; |
| 73 | case dwarf::DW_EH_PE_indirect | dwarf::DW_EH_PE_pcrel |dwarf::DW_EH_PE_udata4: |
| 74 | return "indirect pcrel udata4"; |
| 75 | case dwarf::DW_EH_PE_indirect | dwarf::DW_EH_PE_pcrel |dwarf::DW_EH_PE_sdata4: |
| 76 | return "indirect pcrel sdata4"; |
| 77 | case dwarf::DW_EH_PE_indirect | dwarf::DW_EH_PE_pcrel |dwarf::DW_EH_PE_udata8: |
| 78 | return "indirect pcrel udata8"; |
| 79 | case dwarf::DW_EH_PE_indirect | dwarf::DW_EH_PE_pcrel |dwarf::DW_EH_PE_sdata8: |
| 80 | return "indirect pcrel sdata8"; |
| 81 | } |
| 82 | |
| 83 | return "<unknown encoding>"; |
| 84 | } |
| 85 | |
| 86 | /// EmitEncodingByte - Emit a .byte 42 directive that corresponds to an |
| 87 | /// encoding. If verbose assembly output is enabled, we output comments |
| 88 | /// describing the encoding. Desc is an optional string saying what the |
| 89 | /// encoding is specifying (e.g. "LSDA"). |
| 90 | void DwarfPrinter::EmitEncodingByte(unsigned Val, const char *Desc) { |
Chris Lattner | 3f53c83 | 2010-04-04 18:52:31 +0000 | [diff] [blame] | 91 | if (Asm->isVerbose()) { |
Chris Lattner | f61ed8e | 2010-01-22 22:38:16 +0000 | [diff] [blame] | 92 | if (Desc != 0) |
| 93 | Asm->OutStreamer.AddComment(Twine(Desc)+" Encoding = " + |
| 94 | Twine(DecodeDWARFEncoding(Val))); |
| 95 | else |
| 96 | Asm->OutStreamer.AddComment(Twine("Encoding = ") + |
| 97 | DecodeDWARFEncoding(Val)); |
| 98 | } |
| 99 | |
| 100 | Asm->OutStreamer.EmitIntValue(Val, 1, 0/*addrspace*/); |
| 101 | } |
| 102 | |
Anton Korobeynikov | 9184b25 | 2010-02-15 22:35:59 +0000 | [diff] [blame] | 103 | void DwarfPrinter::EmitReference(const MCSymbol *Sym, unsigned Encoding) const { |
| 104 | const TargetLoweringObjectFile &TLOF = Asm->getObjFileLowering(); |
| 105 | |
Chris Lattner | 42263e2 | 2010-03-11 21:55:20 +0000 | [diff] [blame] | 106 | const MCExpr *Exp = TLOF.getExprForDwarfReference(Sym, Asm->Mang, |
| 107 | Asm->MMI, Encoding, |
Chris Lattner | 3192d14 | 2010-03-11 19:41:58 +0000 | [diff] [blame] | 108 | Asm->OutStreamer); |
Chris Lattner | 90e4af7 | 2010-03-10 00:09:21 +0000 | [diff] [blame] | 109 | Asm->OutStreamer.EmitValue(Exp, SizeOfEncodedValue(Encoding), /*addrspace*/0); |
Anton Korobeynikov | 9184b25 | 2010-02-15 22:35:59 +0000 | [diff] [blame] | 110 | } |
| 111 | |
Chris Lattner | 0d50c76 | 2010-03-08 23:58:37 +0000 | [diff] [blame] | 112 | void DwarfPrinter::EmitReference(const GlobalValue *GV, unsigned Encoding)const{ |
Anton Korobeynikov | 9184b25 | 2010-02-15 22:35:59 +0000 | [diff] [blame] | 113 | const TargetLoweringObjectFile &TLOF = Asm->getObjFileLowering(); |
| 114 | |
Chris Lattner | 90e4af7 | 2010-03-10 00:09:21 +0000 | [diff] [blame] | 115 | const MCExpr *Exp = |
Chris Lattner | 3192d14 | 2010-03-11 19:41:58 +0000 | [diff] [blame] | 116 | TLOF.getExprForDwarfGlobalReference(GV, Asm->Mang, Asm->MMI, Encoding, |
| 117 | Asm->OutStreamer); |
Chris Lattner | 90e4af7 | 2010-03-10 00:09:21 +0000 | [diff] [blame] | 118 | Asm->OutStreamer.EmitValue(Exp, SizeOfEncodedValue(Encoding), /*addrspace*/0); |
Anton Korobeynikov | 9184b25 | 2010-02-15 22:35:59 +0000 | [diff] [blame] | 119 | } |
| 120 | |
Chris Lattner | b98b1bf | 2010-03-08 22:23:36 +0000 | [diff] [blame] | 121 | void DwarfPrinter::EmitSectionOffset(const MCSymbol *Label, |
| 122 | const MCSymbol *Section, |
Chris Lattner | 5757876 | 2010-03-08 23:23:25 +0000 | [diff] [blame] | 123 | bool IsSmall, bool isEH) { |
Chris Lattner | ef6b14f | 2010-03-09 00:17:58 +0000 | [diff] [blame] | 124 | bool isAbsolute; |
Bill Wendling | 88423ee | 2009-05-15 00:11:17 +0000 | [diff] [blame] | 125 | if (isEH) |
Chris Lattner | ef6b14f | 2010-03-09 00:17:58 +0000 | [diff] [blame] | 126 | isAbsolute = MAI->isAbsoluteEHSectionOffsets(); |
Bill Wendling | 88423ee | 2009-05-15 00:11:17 +0000 | [diff] [blame] | 127 | else |
Chris Lattner | ef6b14f | 2010-03-09 00:17:58 +0000 | [diff] [blame] | 128 | isAbsolute = MAI->isAbsoluteDebugSectionOffsets(); |
Bill Wendling | 88423ee | 2009-05-15 00:11:17 +0000 | [diff] [blame] | 129 | |
Chris Lattner | ef6b14f | 2010-03-09 00:17:58 +0000 | [diff] [blame] | 130 | if (!isAbsolute) |
Chris Lattner | a643718 | 2010-04-04 19:58:12 +0000 | [diff] [blame] | 131 | return Asm->EmitLabelDifference(Label, Section, |
| 132 | IsSmall ? 4 : TD->getPointerSize()); |
Chris Lattner | 5757876 | 2010-03-08 23:23:25 +0000 | [diff] [blame] | 133 | |
Chris Lattner | ef6b14f | 2010-03-09 00:17:58 +0000 | [diff] [blame] | 134 | // On COFF targets, we have to emit the weird .secrel32 directive. |
Chris Lattner | 20e3280 | 2010-03-12 18:10:35 +0000 | [diff] [blame] | 135 | if (const char *SecOffDir = MAI->getDwarfSectionOffsetDirective()) { |
Chris Lattner | 188a87d | 2010-03-10 01:04:13 +0000 | [diff] [blame] | 136 | // FIXME: MCize. |
Chris Lattner | 0b9bdb4 | 2010-04-04 07:25:52 +0000 | [diff] [blame] | 137 | Asm->OutStreamer.EmitRawText(SecOffDir + Twine(Label->getName())); |
Chris Lattner | 20e3280 | 2010-03-12 18:10:35 +0000 | [diff] [blame] | 138 | } else { |
Chris Lattner | ef6b14f | 2010-03-09 00:17:58 +0000 | [diff] [blame] | 139 | unsigned Size = IsSmall ? 4 : TD->getPointerSize(); |
Chris Lattner | 6cde3e6 | 2010-03-09 00:39:24 +0000 | [diff] [blame] | 140 | Asm->OutStreamer.EmitSymbolValue(Label, Size, 0/*AddrSpace*/); |
Chris Lattner | ef6b14f | 2010-03-09 00:17:58 +0000 | [diff] [blame] | 141 | } |
Bill Wendling | 88423ee | 2009-05-15 00:11:17 +0000 | [diff] [blame] | 142 | } |
| 143 | |
| 144 | /// EmitFrameMoves - Emit frame instructions to describe the layout of the |
| 145 | /// frame. |
Chris Lattner | 5e6cbe0 | 2010-03-13 08:05:25 +0000 | [diff] [blame] | 146 | void DwarfPrinter::EmitFrameMoves(MCSymbol *BaseLabel, |
Chris Lattner | 066c9ac | 2010-01-22 22:23:57 +0000 | [diff] [blame] | 147 | const std::vector<MachineMove> &Moves, |
| 148 | bool isEH) { |
Chris Lattner | fb65807 | 2010-03-13 07:40:56 +0000 | [diff] [blame] | 149 | int stackGrowth = TD->getPointerSize(); |
| 150 | if (Asm->TM.getFrameInfo()->getStackGrowthDirection() != |
| 151 | TargetFrameInfo::StackGrowsUp) |
| 152 | stackGrowth *= -1; |
| 153 | |
Bill Wendling | 88423ee | 2009-05-15 00:11:17 +0000 | [diff] [blame] | 154 | for (unsigned i = 0, N = Moves.size(); i < N; ++i) { |
| 155 | const MachineMove &Move = Moves[i]; |
Chris Lattner | 2e9919a | 2010-03-14 08:12:40 +0000 | [diff] [blame] | 156 | MCSymbol *Label = Move.getLabel(); |
Chris Lattner | a34ec229 | 2010-03-09 01:51:43 +0000 | [diff] [blame] | 157 | // Throw out move if the label is invalid. |
Chris Lattner | 2e9919a | 2010-03-14 08:12:40 +0000 | [diff] [blame] | 158 | if (Label && !Label->isDefined()) continue; // Not emitted, in dead code. |
Bill Wendling | 88423ee | 2009-05-15 00:11:17 +0000 | [diff] [blame] | 159 | |
| 160 | const MachineLocation &Dst = Move.getDestination(); |
| 161 | const MachineLocation &Src = Move.getSource(); |
| 162 | |
| 163 | // Advance row if new location. |
Chris Lattner | f14645c | 2010-03-14 07:02:50 +0000 | [diff] [blame] | 164 | if (BaseLabel && Label) { |
Chris Lattner | b913060 | 2010-03-14 02:20:58 +0000 | [diff] [blame] | 165 | MCSymbol *ThisSym = Label; |
Chris Lattner | 5e6cbe0 | 2010-03-13 08:05:25 +0000 | [diff] [blame] | 166 | if (ThisSym != BaseLabel) { |
Chris Lattner | 7a101f4 | 2010-04-04 20:01:25 +0000 | [diff] [blame^] | 167 | Asm->EmitCFAByte(dwarf::DW_CFA_advance_loc4); |
Chris Lattner | a643718 | 2010-04-04 19:58:12 +0000 | [diff] [blame] | 168 | Asm->EmitLabelDifference(ThisSym, BaseLabel, 4); |
Chris Lattner | 5e6cbe0 | 2010-03-13 08:05:25 +0000 | [diff] [blame] | 169 | BaseLabel = ThisSym; |
| 170 | } |
Bill Wendling | 88423ee | 2009-05-15 00:11:17 +0000 | [diff] [blame] | 171 | } |
| 172 | |
| 173 | // If advancing cfa. |
| 174 | if (Dst.isReg() && Dst.getReg() == MachineLocation::VirtualFP) { |
| 175 | if (!Src.isReg()) { |
| 176 | if (Src.getReg() == MachineLocation::VirtualFP) { |
Chris Lattner | 7a101f4 | 2010-04-04 20:01:25 +0000 | [diff] [blame^] | 177 | Asm->EmitCFAByte(dwarf::DW_CFA_def_cfa_offset); |
Bill Wendling | 88423ee | 2009-05-15 00:11:17 +0000 | [diff] [blame] | 178 | } else { |
Chris Lattner | 7a101f4 | 2010-04-04 20:01:25 +0000 | [diff] [blame^] | 179 | Asm->EmitCFAByte(dwarf::DW_CFA_def_cfa); |
Chris Lattner | 7e1a8f8 | 2010-04-04 19:09:29 +0000 | [diff] [blame] | 180 | Asm->EmitULEB128(RI->getDwarfRegNum(Src.getReg(), isEH), "Register"); |
Bill Wendling | 88423ee | 2009-05-15 00:11:17 +0000 | [diff] [blame] | 181 | } |
| 182 | |
| 183 | int Offset = -Src.getOffset(); |
Chris Lattner | 7e1a8f8 | 2010-04-04 19:09:29 +0000 | [diff] [blame] | 184 | Asm->EmitULEB128(Offset, "Offset"); |
Bill Wendling | 88423ee | 2009-05-15 00:11:17 +0000 | [diff] [blame] | 185 | } else { |
Torok Edwin | c23197a | 2009-07-14 16:55:14 +0000 | [diff] [blame] | 186 | llvm_unreachable("Machine move not supported yet."); |
Bill Wendling | 88423ee | 2009-05-15 00:11:17 +0000 | [diff] [blame] | 187 | } |
| 188 | } else if (Src.isReg() && |
| 189 | Src.getReg() == MachineLocation::VirtualFP) { |
| 190 | if (Dst.isReg()) { |
Chris Lattner | 7a101f4 | 2010-04-04 20:01:25 +0000 | [diff] [blame^] | 191 | Asm->EmitCFAByte(dwarf::DW_CFA_def_cfa_register); |
Chris Lattner | 7e1a8f8 | 2010-04-04 19:09:29 +0000 | [diff] [blame] | 192 | Asm->EmitULEB128(RI->getDwarfRegNum(Dst.getReg(), isEH), "Register"); |
Bill Wendling | 88423ee | 2009-05-15 00:11:17 +0000 | [diff] [blame] | 193 | } else { |
Torok Edwin | c23197a | 2009-07-14 16:55:14 +0000 | [diff] [blame] | 194 | llvm_unreachable("Machine move not supported yet."); |
Bill Wendling | 88423ee | 2009-05-15 00:11:17 +0000 | [diff] [blame] | 195 | } |
| 196 | } else { |
| 197 | unsigned Reg = RI->getDwarfRegNum(Src.getReg(), isEH); |
| 198 | int Offset = Dst.getOffset() / stackGrowth; |
| 199 | |
| 200 | if (Offset < 0) { |
Chris Lattner | 7a101f4 | 2010-04-04 20:01:25 +0000 | [diff] [blame^] | 201 | Asm->EmitCFAByte(dwarf::DW_CFA_offset_extended_sf); |
Chris Lattner | 7e1a8f8 | 2010-04-04 19:09:29 +0000 | [diff] [blame] | 202 | Asm->EmitULEB128(Reg, "Reg"); |
| 203 | Asm->EmitSLEB128(Offset, "Offset"); |
Bill Wendling | 88423ee | 2009-05-15 00:11:17 +0000 | [diff] [blame] | 204 | } else if (Reg < 64) { |
Chris Lattner | 7a101f4 | 2010-04-04 20:01:25 +0000 | [diff] [blame^] | 205 | Asm->EmitCFAByte(dwarf::DW_CFA_offset + Reg); |
Chris Lattner | 7e1a8f8 | 2010-04-04 19:09:29 +0000 | [diff] [blame] | 206 | Asm->EmitULEB128(Offset, "Offset"); |
Bill Wendling | 88423ee | 2009-05-15 00:11:17 +0000 | [diff] [blame] | 207 | } else { |
Chris Lattner | 7a101f4 | 2010-04-04 20:01:25 +0000 | [diff] [blame^] | 208 | Asm->EmitCFAByte(dwarf::DW_CFA_offset_extended); |
Chris Lattner | 7e1a8f8 | 2010-04-04 19:09:29 +0000 | [diff] [blame] | 209 | Asm->EmitULEB128(Reg, "Reg"); |
| 210 | Asm->EmitULEB128(Offset, "Offset"); |
Bill Wendling | 88423ee | 2009-05-15 00:11:17 +0000 | [diff] [blame] | 211 | } |
| 212 | } |
| 213 | } |
| 214 | } |