Chris Lattner | 9efd118 | 2010-04-04 19:09:29 +0000 | [diff] [blame] | 1 | //===-- AsmPrinterDwarf.cpp - AsmPrinter Dwarf Support --------------------===// |
| 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 | // This file implements the Dwarf emissions parts of AsmPrinter. |
| 11 | // |
| 12 | //===----------------------------------------------------------------------===// |
| 13 | |
Eric Christopher | 29e874d | 2014-03-07 22:40:37 +0000 | [diff] [blame] | 14 | #include "ByteStreamer.h" |
Chris Lattner | 9efd118 | 2010-04-04 19:09:29 +0000 | [diff] [blame] | 15 | #include "llvm/CodeGen/AsmPrinter.h" |
Eric Christopher | 698a8ab | 2014-03-07 01:44:14 +0000 | [diff] [blame] | 16 | #include "llvm/ADT/SmallBitVector.h" |
Chandler Carruth | ed0881b | 2012-12-03 16:50:05 +0000 | [diff] [blame] | 17 | #include "llvm/ADT/Twine.h" |
Chandler Carruth | 9fb823b | 2013-01-02 11:36:10 +0000 | [diff] [blame] | 18 | #include "llvm/IR/DataLayout.h" |
Chris Lattner | 9efd118 | 2010-04-04 19:09:29 +0000 | [diff] [blame] | 19 | #include "llvm/MC/MCAsmInfo.h" |
Chris Lattner | 70a4fce | 2010-04-04 23:25:33 +0000 | [diff] [blame] | 20 | #include "llvm/MC/MCSection.h" |
Chris Lattner | 9efd118 | 2010-04-04 19:09:29 +0000 | [diff] [blame] | 21 | #include "llvm/MC/MCStreamer.h" |
Chris Lattner | 70a4fce | 2010-04-04 23:25:33 +0000 | [diff] [blame] | 22 | #include "llvm/MC/MCSymbol.h" |
Chandler Carruth | ed0881b | 2012-12-03 16:50:05 +0000 | [diff] [blame] | 23 | #include "llvm/MC/MachineLocation.h" |
| 24 | #include "llvm/Support/Dwarf.h" |
| 25 | #include "llvm/Support/ErrorHandling.h" |
Anton Korobeynikov | 2f93128 | 2011-01-10 12:39:04 +0000 | [diff] [blame] | 26 | #include "llvm/Target/TargetFrameLowering.h" |
Chris Lattner | e619c0d | 2010-04-04 20:20:50 +0000 | [diff] [blame] | 27 | #include "llvm/Target/TargetLoweringObjectFile.h" |
| 28 | #include "llvm/Target/TargetMachine.h" |
Chris Lattner | aabc604 | 2010-04-04 23:41:46 +0000 | [diff] [blame] | 29 | #include "llvm/Target/TargetRegisterInfo.h" |
Eric Christopher | d913448 | 2014-08-04 21:25:23 +0000 | [diff] [blame^] | 30 | #include "llvm/Target/TargetSubtargetInfo.h" |
Chris Lattner | 9efd118 | 2010-04-04 19:09:29 +0000 | [diff] [blame] | 31 | using namespace llvm; |
| 32 | |
Chandler Carruth | 1b9dde0 | 2014-04-22 02:02:50 +0000 | [diff] [blame] | 33 | #define DEBUG_TYPE "asm-printer" |
| 34 | |
Chris Lattner | aabc604 | 2010-04-04 23:41:46 +0000 | [diff] [blame] | 35 | //===----------------------------------------------------------------------===// |
| 36 | // Dwarf Emission Helper Routines |
| 37 | //===----------------------------------------------------------------------===// |
| 38 | |
Chris Lattner | 9efd118 | 2010-04-04 19:09:29 +0000 | [diff] [blame] | 39 | /// EmitSLEB128 - emit the specified signed leb128 value. |
David Blaikie | 5acff7e | 2013-06-23 18:31:11 +0000 | [diff] [blame] | 40 | void AsmPrinter::EmitSLEB128(int64_t Value, const char *Desc) const { |
Chris Lattner | 9efd118 | 2010-04-04 19:09:29 +0000 | [diff] [blame] | 41 | if (isVerbose() && Desc) |
| 42 | OutStreamer.AddComment(Desc); |
Chris Lattner | 9efd118 | 2010-04-04 19:09:29 +0000 | [diff] [blame] | 43 | |
Benjamin Kramer | c74798d | 2011-11-05 11:52:44 +0000 | [diff] [blame] | 44 | OutStreamer.EmitSLEB128IntValue(Value); |
Chris Lattner | 9efd118 | 2010-04-04 19:09:29 +0000 | [diff] [blame] | 45 | } |
| 46 | |
| 47 | /// EmitULEB128 - emit the specified signed leb128 value. |
David Blaikie | 5acff7e | 2013-06-23 18:31:11 +0000 | [diff] [blame] | 48 | void AsmPrinter::EmitULEB128(uint64_t Value, const char *Desc, |
Chris Lattner | 9efd118 | 2010-04-04 19:09:29 +0000 | [diff] [blame] | 49 | unsigned PadTo) const { |
| 50 | if (isVerbose() && Desc) |
| 51 | OutStreamer.AddComment(Desc); |
Rafael Espindola | 38d0756 | 2010-11-04 18:17:08 +0000 | [diff] [blame] | 52 | |
Eric Christopher | bf7bc49 | 2013-01-09 03:52:05 +0000 | [diff] [blame] | 53 | OutStreamer.EmitULEB128IntValue(Value, PadTo); |
Chris Lattner | 9efd118 | 2010-04-04 19:09:29 +0000 | [diff] [blame] | 54 | } |
| 55 | |
Chris Lattner | baf2be0 | 2010-04-04 20:01:25 +0000 | [diff] [blame] | 56 | /// EmitCFAByte - Emit a .byte 42 directive for a DW_CFA_xxx value. |
| 57 | void AsmPrinter::EmitCFAByte(unsigned Val) const { |
| 58 | if (isVerbose()) { |
Eric Christopher | 596077b | 2013-12-04 22:26:43 +0000 | [diff] [blame] | 59 | if (Val >= dwarf::DW_CFA_offset && Val < dwarf::DW_CFA_offset + 64) |
Eric Christopher | 1d6bd41 | 2012-11-20 20:34:47 +0000 | [diff] [blame] | 60 | OutStreamer.AddComment("DW_CFA_offset + Reg (" + |
Eric Christopher | 596077b | 2013-12-04 22:26:43 +0000 | [diff] [blame] | 61 | Twine(Val - dwarf::DW_CFA_offset) + ")"); |
Chris Lattner | baf2be0 | 2010-04-04 20:01:25 +0000 | [diff] [blame] | 62 | else |
| 63 | OutStreamer.AddComment(dwarf::CallFrameString(Val)); |
| 64 | } |
Eric Christopher | ce0cfce | 2013-01-09 01:35:34 +0000 | [diff] [blame] | 65 | OutStreamer.EmitIntValue(Val, 1); |
Chris Lattner | baf2be0 | 2010-04-04 20:01:25 +0000 | [diff] [blame] | 66 | } |
| 67 | |
Chris Lattner | b75af3c | 2010-04-04 20:04:21 +0000 | [diff] [blame] | 68 | static const char *DecodeDWARFEncoding(unsigned Encoding) { |
| 69 | switch (Encoding) { |
Eric Christopher | 596077b | 2013-12-04 22:26:43 +0000 | [diff] [blame] | 70 | case dwarf::DW_EH_PE_absptr: |
| 71 | return "absptr"; |
| 72 | case dwarf::DW_EH_PE_omit: |
| 73 | return "omit"; |
| 74 | case dwarf::DW_EH_PE_pcrel: |
| 75 | return "pcrel"; |
| 76 | case dwarf::DW_EH_PE_udata4: |
| 77 | return "udata4"; |
| 78 | case dwarf::DW_EH_PE_udata8: |
| 79 | return "udata8"; |
| 80 | case dwarf::DW_EH_PE_sdata4: |
| 81 | return "sdata4"; |
| 82 | case dwarf::DW_EH_PE_sdata8: |
| 83 | return "sdata8"; |
| 84 | case dwarf::DW_EH_PE_pcrel | dwarf::DW_EH_PE_udata4: |
| 85 | return "pcrel udata4"; |
| 86 | case dwarf::DW_EH_PE_pcrel | dwarf::DW_EH_PE_sdata4: |
| 87 | return "pcrel sdata4"; |
| 88 | case dwarf::DW_EH_PE_pcrel | dwarf::DW_EH_PE_udata8: |
| 89 | return "pcrel udata8"; |
| 90 | case dwarf::DW_EH_PE_pcrel | dwarf::DW_EH_PE_sdata8: |
| 91 | return "pcrel sdata8"; |
| 92 | case dwarf::DW_EH_PE_indirect | dwarf::DW_EH_PE_pcrel | dwarf::DW_EH_PE_udata4 |
| 93 | : |
Chris Lattner | b75af3c | 2010-04-04 20:04:21 +0000 | [diff] [blame] | 94 | return "indirect pcrel udata4"; |
Eric Christopher | 596077b | 2013-12-04 22:26:43 +0000 | [diff] [blame] | 95 | case dwarf::DW_EH_PE_indirect | dwarf::DW_EH_PE_pcrel | dwarf::DW_EH_PE_sdata4 |
| 96 | : |
Chris Lattner | b75af3c | 2010-04-04 20:04:21 +0000 | [diff] [blame] | 97 | return "indirect pcrel sdata4"; |
Eric Christopher | 596077b | 2013-12-04 22:26:43 +0000 | [diff] [blame] | 98 | case dwarf::DW_EH_PE_indirect | dwarf::DW_EH_PE_pcrel | dwarf::DW_EH_PE_udata8 |
| 99 | : |
Chris Lattner | b75af3c | 2010-04-04 20:04:21 +0000 | [diff] [blame] | 100 | return "indirect pcrel udata8"; |
Eric Christopher | 596077b | 2013-12-04 22:26:43 +0000 | [diff] [blame] | 101 | case dwarf::DW_EH_PE_indirect | dwarf::DW_EH_PE_pcrel | dwarf::DW_EH_PE_sdata8 |
| 102 | : |
Chris Lattner | b75af3c | 2010-04-04 20:04:21 +0000 | [diff] [blame] | 103 | return "indirect pcrel sdata8"; |
| 104 | } |
Eric Christopher | 1d6bd41 | 2012-11-20 20:34:47 +0000 | [diff] [blame] | 105 | |
Chris Lattner | b75af3c | 2010-04-04 20:04:21 +0000 | [diff] [blame] | 106 | return "<unknown encoding>"; |
| 107 | } |
| 108 | |
Chris Lattner | b75af3c | 2010-04-04 20:04:21 +0000 | [diff] [blame] | 109 | /// EmitEncodingByte - Emit a .byte 42 directive that corresponds to an |
| 110 | /// encoding. If verbose assembly output is enabled, we output comments |
| 111 | /// describing the encoding. Desc is an optional string saying what the |
| 112 | /// encoding is specifying (e.g. "LSDA"). |
Chris Lattner | aabc604 | 2010-04-04 23:41:46 +0000 | [diff] [blame] | 113 | void AsmPrinter::EmitEncodingByte(unsigned Val, const char *Desc) const { |
Chris Lattner | b75af3c | 2010-04-04 20:04:21 +0000 | [diff] [blame] | 114 | if (isVerbose()) { |
Eric Christopher | cb7119e | 2013-12-04 22:29:02 +0000 | [diff] [blame] | 115 | if (Desc) |
Eric Christopher | 596077b | 2013-12-04 22:26:43 +0000 | [diff] [blame] | 116 | OutStreamer.AddComment(Twine(Desc) + " Encoding = " + |
Chris Lattner | b75af3c | 2010-04-04 20:04:21 +0000 | [diff] [blame] | 117 | Twine(DecodeDWARFEncoding(Val))); |
| 118 | else |
Eric Christopher | 596077b | 2013-12-04 22:26:43 +0000 | [diff] [blame] | 119 | OutStreamer.AddComment(Twine("Encoding = ") + DecodeDWARFEncoding(Val)); |
Chris Lattner | b75af3c | 2010-04-04 20:04:21 +0000 | [diff] [blame] | 120 | } |
Eric Christopher | 1d6bd41 | 2012-11-20 20:34:47 +0000 | [diff] [blame] | 121 | |
Eric Christopher | ce0cfce | 2013-01-09 01:35:34 +0000 | [diff] [blame] | 122 | OutStreamer.EmitIntValue(Val, 1); |
Chris Lattner | b75af3c | 2010-04-04 20:04:21 +0000 | [diff] [blame] | 123 | } |
| 124 | |
Chris Lattner | e619c0d | 2010-04-04 20:20:50 +0000 | [diff] [blame] | 125 | /// GetSizeOfEncodedValue - Return the size of the encoding in bytes. |
| 126 | unsigned AsmPrinter::GetSizeOfEncodedValue(unsigned Encoding) const { |
| 127 | if (Encoding == dwarf::DW_EH_PE_omit) |
| 128 | return 0; |
Eric Christopher | 1d6bd41 | 2012-11-20 20:34:47 +0000 | [diff] [blame] | 129 | |
Chris Lattner | e619c0d | 2010-04-04 20:20:50 +0000 | [diff] [blame] | 130 | switch (Encoding & 0x07) { |
Eric Christopher | 596077b | 2013-12-04 22:26:43 +0000 | [diff] [blame] | 131 | default: |
| 132 | llvm_unreachable("Invalid encoded value."); |
| 133 | case dwarf::DW_EH_PE_absptr: |
Eric Christopher | d913448 | 2014-08-04 21:25:23 +0000 | [diff] [blame^] | 134 | return TM.getSubtargetImpl()->getDataLayout()->getPointerSize(); |
Eric Christopher | 596077b | 2013-12-04 22:26:43 +0000 | [diff] [blame] | 135 | case dwarf::DW_EH_PE_udata2: |
| 136 | return 2; |
| 137 | case dwarf::DW_EH_PE_udata4: |
| 138 | return 4; |
| 139 | case dwarf::DW_EH_PE_udata8: |
| 140 | return 8; |
Chris Lattner | e619c0d | 2010-04-04 20:20:50 +0000 | [diff] [blame] | 141 | } |
| 142 | } |
| 143 | |
Eric Christopher | 1d6bd41 | 2012-11-20 20:34:47 +0000 | [diff] [blame] | 144 | void AsmPrinter::EmitTTypeReference(const GlobalValue *GV, |
| 145 | unsigned Encoding) const { |
Anton Korobeynikov | 097b0e9 | 2012-11-19 21:17:20 +0000 | [diff] [blame] | 146 | if (GV) { |
| 147 | const TargetLoweringObjectFile &TLOF = getObjFileLowering(); |
Eric Christopher | 1d6bd41 | 2012-11-20 20:34:47 +0000 | [diff] [blame] | 148 | |
Anton Korobeynikov | 097b0e9 | 2012-11-19 21:17:20 +0000 | [diff] [blame] | 149 | const MCExpr *Exp = |
Rafael Espindola | daeafb4 | 2014-02-19 17:23:20 +0000 | [diff] [blame] | 150 | TLOF.getTTypeGlobalReference(GV, Encoding, *Mang, TM, MMI, OutStreamer); |
Eric Christopher | ce0cfce | 2013-01-09 01:35:34 +0000 | [diff] [blame] | 151 | OutStreamer.EmitValue(Exp, GetSizeOfEncodedValue(Encoding)); |
Anton Korobeynikov | 097b0e9 | 2012-11-19 21:17:20 +0000 | [diff] [blame] | 152 | } else |
Eric Christopher | ce0cfce | 2013-01-09 01:35:34 +0000 | [diff] [blame] | 153 | OutStreamer.EmitIntValue(0, GetSizeOfEncodedValue(Encoding)); |
Chris Lattner | e619c0d | 2010-04-04 20:20:50 +0000 | [diff] [blame] | 154 | } |
Chris Lattner | 70a4fce | 2010-04-04 23:25:33 +0000 | [diff] [blame] | 155 | |
| 156 | /// EmitSectionOffset - Emit the 4-byte offset of Label from the start of its |
| 157 | /// section. This can be done with a special directive if the target supports |
| 158 | /// it (e.g. cygwin) or by emitting it as an offset from a label at the start |
| 159 | /// of the section. |
| 160 | /// |
| 161 | /// SectionLabel is a temporary label emitted at the start of the section that |
| 162 | /// Label lives in. |
| 163 | void AsmPrinter::EmitSectionOffset(const MCSymbol *Label, |
| 164 | const MCSymbol *SectionLabel) const { |
| 165 | // On COFF targets, we have to emit the special .secrel32 directive. |
Matt Arsenault | 034ca0f | 2013-04-22 22:49:11 +0000 | [diff] [blame] | 166 | if (MAI->needsDwarfSectionOffsetDirective()) { |
Rafael Espindola | d3df3d3 | 2011-12-17 01:14:52 +0000 | [diff] [blame] | 167 | OutStreamer.EmitCOFFSecRel32(Label); |
Chris Lattner | 70a4fce | 2010-04-04 23:25:33 +0000 | [diff] [blame] | 168 | return; |
| 169 | } |
Eric Christopher | 1d6bd41 | 2012-11-20 20:34:47 +0000 | [diff] [blame] | 170 | |
Chris Lattner | 70a4fce | 2010-04-04 23:25:33 +0000 | [diff] [blame] | 171 | // Get the section that we're referring to, based on SectionLabel. |
| 172 | const MCSection &Section = SectionLabel->getSection(); |
Eric Christopher | 1d6bd41 | 2012-11-20 20:34:47 +0000 | [diff] [blame] | 173 | |
Chris Lattner | 70a4fce | 2010-04-04 23:25:33 +0000 | [diff] [blame] | 174 | // If Label has already been emitted, verify that it is in the same section as |
| 175 | // section label for sanity. |
| 176 | assert((!Label->isInSection() || &Label->getSection() == &Section) && |
| 177 | "Section offset using wrong section base for label"); |
Eric Christopher | 1d6bd41 | 2012-11-20 20:34:47 +0000 | [diff] [blame] | 178 | |
Duncan Sands | b847bf5 | 2011-03-12 13:07:37 +0000 | [diff] [blame] | 179 | // If the section in question will end up with an address of 0 anyway, we can |
| 180 | // just emit an absolute reference to save a relocation. |
| 181 | if (Section.isBaseAddressKnownZero()) { |
Eric Christopher | ce0cfce | 2013-01-09 01:35:34 +0000 | [diff] [blame] | 182 | OutStreamer.EmitSymbolValue(Label, 4); |
Duncan Sands | b847bf5 | 2011-03-12 13:07:37 +0000 | [diff] [blame] | 183 | return; |
| 184 | } |
Eric Christopher | 1d6bd41 | 2012-11-20 20:34:47 +0000 | [diff] [blame] | 185 | |
Chris Lattner | 70a4fce | 2010-04-04 23:25:33 +0000 | [diff] [blame] | 186 | // Otherwise, emit it as a label difference from the start of the section. |
| 187 | EmitLabelDifference(Label, SectionLabel, 4); |
| 188 | } |
| 189 | |
Eric Christopher | 698a8ab | 2014-03-07 01:44:14 +0000 | [diff] [blame] | 190 | /// Emit a dwarf register operation. |
Eric Christopher | 29e874d | 2014-03-07 22:40:37 +0000 | [diff] [blame] | 191 | static void emitDwarfRegOp(ByteStreamer &Streamer, int Reg) { |
Eric Christopher | 698a8ab | 2014-03-07 01:44:14 +0000 | [diff] [blame] | 192 | assert(Reg >= 0); |
| 193 | if (Reg < 32) { |
Eric Christopher | 29e874d | 2014-03-07 22:40:37 +0000 | [diff] [blame] | 194 | Streamer.EmitInt8(dwarf::DW_OP_reg0 + Reg, |
| 195 | dwarf::OperationEncodingString(dwarf::DW_OP_reg0 + Reg)); |
Eric Christopher | 698a8ab | 2014-03-07 01:44:14 +0000 | [diff] [blame] | 196 | } else { |
Eric Christopher | 29e874d | 2014-03-07 22:40:37 +0000 | [diff] [blame] | 197 | Streamer.EmitInt8(dwarf::DW_OP_regx, "DW_OP_regx"); |
| 198 | Streamer.EmitULEB128(Reg, Twine(Reg)); |
Eric Christopher | 698a8ab | 2014-03-07 01:44:14 +0000 | [diff] [blame] | 199 | } |
| 200 | } |
| 201 | |
| 202 | /// Emit an (double-)indirect dwarf register operation. |
Eric Christopher | 29e874d | 2014-03-07 22:40:37 +0000 | [diff] [blame] | 203 | static void emitDwarfRegOpIndirect(ByteStreamer &Streamer, int Reg, int Offset, |
Eric Christopher | 5c30320 | 2014-03-07 21:27:42 +0000 | [diff] [blame] | 204 | bool Deref) { |
Eric Christopher | 698a8ab | 2014-03-07 01:44:14 +0000 | [diff] [blame] | 205 | assert(Reg >= 0); |
| 206 | if (Reg < 32) { |
Eric Christopher | 29e874d | 2014-03-07 22:40:37 +0000 | [diff] [blame] | 207 | Streamer.EmitInt8(dwarf::DW_OP_breg0 + Reg, |
| 208 | dwarf::OperationEncodingString(dwarf::DW_OP_breg0 + Reg)); |
Eric Christopher | 698a8ab | 2014-03-07 01:44:14 +0000 | [diff] [blame] | 209 | } else { |
Eric Christopher | 29e874d | 2014-03-07 22:40:37 +0000 | [diff] [blame] | 210 | Streamer.EmitInt8(dwarf::DW_OP_bregx, "DW_OP_bregx"); |
| 211 | Streamer.EmitULEB128(Reg, Twine(Reg)); |
Eric Christopher | 698a8ab | 2014-03-07 01:44:14 +0000 | [diff] [blame] | 212 | } |
Eric Christopher | 29e874d | 2014-03-07 22:40:37 +0000 | [diff] [blame] | 213 | Streamer.EmitSLEB128(Offset); |
Eric Christopher | 698a8ab | 2014-03-07 01:44:14 +0000 | [diff] [blame] | 214 | if (Deref) |
Eric Christopher | 29e874d | 2014-03-07 22:40:37 +0000 | [diff] [blame] | 215 | Streamer.EmitInt8(dwarf::DW_OP_deref, "DW_OP_deref"); |
Eric Christopher | 698a8ab | 2014-03-07 01:44:14 +0000 | [diff] [blame] | 216 | } |
| 217 | |
Adrian Prantl | b141683 | 2014-08-01 22:11:58 +0000 | [diff] [blame] | 218 | void AsmPrinter::EmitDwarfOpPiece(ByteStreamer &Streamer, unsigned SizeInBits, |
| 219 | unsigned OffsetInBits) const { |
| 220 | assert(SizeInBits > 0 && "piece has size zero"); |
| 221 | const unsigned SizeOfByte = 8; |
Adrian Prantl | d34db65 | 2014-04-27 18:25:45 +0000 | [diff] [blame] | 222 | if (OffsetInBits > 0 || SizeInBits % SizeOfByte) { |
Eric Christopher | 29e874d | 2014-03-07 22:40:37 +0000 | [diff] [blame] | 223 | Streamer.EmitInt8(dwarf::DW_OP_bit_piece, "DW_OP_bit_piece"); |
Adrian Prantl | d34db65 | 2014-04-27 18:25:45 +0000 | [diff] [blame] | 224 | Streamer.EmitULEB128(SizeInBits, Twine(SizeInBits)); |
| 225 | Streamer.EmitULEB128(OffsetInBits, Twine(OffsetInBits)); |
Eric Christopher | 698a8ab | 2014-03-07 01:44:14 +0000 | [diff] [blame] | 226 | } else { |
Eric Christopher | 29e874d | 2014-03-07 22:40:37 +0000 | [diff] [blame] | 227 | Streamer.EmitInt8(dwarf::DW_OP_piece, "DW_OP_piece"); |
Adrian Prantl | d34db65 | 2014-04-27 18:25:45 +0000 | [diff] [blame] | 228 | unsigned ByteSize = SizeInBits / SizeOfByte; |
Eric Christopher | 29e874d | 2014-03-07 22:40:37 +0000 | [diff] [blame] | 229 | Streamer.EmitULEB128(ByteSize, Twine(ByteSize)); |
Eric Christopher | 698a8ab | 2014-03-07 01:44:14 +0000 | [diff] [blame] | 230 | } |
| 231 | } |
| 232 | |
Adrian Prantl | d34db65 | 2014-04-27 18:25:45 +0000 | [diff] [blame] | 233 | /// Emit a shift-right dwarf expression. |
| 234 | static void emitDwarfOpShr(ByteStreamer &Streamer, |
| 235 | unsigned ShiftBy) { |
| 236 | Streamer.EmitInt8(dwarf::DW_OP_constu, "DW_OP_constu"); |
| 237 | Streamer.EmitULEB128(ShiftBy); |
| 238 | Streamer.EmitInt8(dwarf::DW_OP_shr, "DW_OP_shr"); |
| 239 | } |
| 240 | |
Adrian Prantl | 42a0d8c | 2014-04-27 18:50:45 +0000 | [diff] [blame] | 241 | // Some targets do not provide a DWARF register number for every |
| 242 | // register. This function attempts to emit a DWARF register by |
| 243 | // emitting a piece of a super-register or by piecing together |
| 244 | // multiple subregisters that alias the register. |
Adrian Prantl | d34db65 | 2014-04-27 18:25:45 +0000 | [diff] [blame] | 245 | void AsmPrinter::EmitDwarfRegOpPiece(ByteStreamer &Streamer, |
| 246 | const MachineLocation &MLoc, |
| 247 | unsigned PieceSizeInBits, |
| 248 | unsigned PieceOffsetInBits) const { |
Adrian Prantl | 42a0d8c | 2014-04-27 18:50:45 +0000 | [diff] [blame] | 249 | assert(MLoc.isReg() && "MLoc must be a register"); |
Eric Christopher | d913448 | 2014-08-04 21:25:23 +0000 | [diff] [blame^] | 250 | const TargetRegisterInfo *TRI = TM.getSubtargetImpl()->getRegisterInfo(); |
Eric Christopher | 698a8ab | 2014-03-07 01:44:14 +0000 | [diff] [blame] | 251 | int Reg = TRI->getDwarfRegNum(MLoc.getReg(), false); |
| 252 | |
Adrian Prantl | d34db65 | 2014-04-27 18:25:45 +0000 | [diff] [blame] | 253 | // If this is a valid register number, emit it. |
| 254 | if (Reg >= 0) { |
| 255 | emitDwarfRegOp(Streamer, Reg); |
Adrian Prantl | b141683 | 2014-08-01 22:11:58 +0000 | [diff] [blame] | 256 | EmitDwarfOpPiece(Streamer, PieceSizeInBits, PieceOffsetInBits); |
Adrian Prantl | d34db65 | 2014-04-27 18:25:45 +0000 | [diff] [blame] | 257 | return; |
| 258 | } |
| 259 | |
Eric Christopher | 698a8ab | 2014-03-07 01:44:14 +0000 | [diff] [blame] | 260 | // Walk up the super-register chain until we find a valid number. |
| 261 | // For example, EAX on x86_64 is a 32-bit piece of RAX with offset 0. |
| 262 | for (MCSuperRegIterator SR(MLoc.getReg(), TRI); SR.isValid(); ++SR) { |
| 263 | Reg = TRI->getDwarfRegNum(*SR, false); |
| 264 | if (Reg >= 0) { |
| 265 | unsigned Idx = TRI->getSubRegIndex(*SR, MLoc.getReg()); |
| 266 | unsigned Size = TRI->getSubRegIdxSize(Idx); |
Adrian Prantl | b141683 | 2014-08-01 22:11:58 +0000 | [diff] [blame] | 267 | unsigned RegOffset = TRI->getSubRegIdxOffset(Idx); |
Adrian Prantl | d34db65 | 2014-04-27 18:25:45 +0000 | [diff] [blame] | 268 | OutStreamer.AddComment("super-register"); |
Eric Christopher | 29e874d | 2014-03-07 22:40:37 +0000 | [diff] [blame] | 269 | emitDwarfRegOp(Streamer, Reg); |
Adrian Prantl | b141683 | 2014-08-01 22:11:58 +0000 | [diff] [blame] | 270 | if (PieceOffsetInBits == RegOffset) { |
| 271 | EmitDwarfOpPiece(Streamer, Size, RegOffset); |
Adrian Prantl | d34db65 | 2014-04-27 18:25:45 +0000 | [diff] [blame] | 272 | } else { |
| 273 | // If this is part of a variable in a sub-register at a |
| 274 | // non-zero offset, we need to manually shift the value into |
| 275 | // place, since the DW_OP_piece describes the part of the |
| 276 | // variable, not the position of the subregister. |
Adrian Prantl | b141683 | 2014-08-01 22:11:58 +0000 | [diff] [blame] | 277 | if (RegOffset) |
| 278 | emitDwarfOpShr(Streamer, RegOffset); |
| 279 | EmitDwarfOpPiece(Streamer, Size, PieceOffsetInBits); |
Adrian Prantl | d34db65 | 2014-04-27 18:25:45 +0000 | [diff] [blame] | 280 | } |
Eric Christopher | 698a8ab | 2014-03-07 01:44:14 +0000 | [diff] [blame] | 281 | return; |
| 282 | } |
| 283 | } |
| 284 | |
| 285 | // Otherwise, attempt to find a covering set of sub-register numbers. |
| 286 | // For example, Q0 on ARM is a composition of D0+D1. |
| 287 | // |
| 288 | // Keep track of the current position so we can emit the more |
| 289 | // efficient DW_OP_piece. |
Adrian Prantl | d34db65 | 2014-04-27 18:25:45 +0000 | [diff] [blame] | 290 | unsigned CurPos = PieceOffsetInBits; |
Eric Christopher | 698a8ab | 2014-03-07 01:44:14 +0000 | [diff] [blame] | 291 | // The size of the register in bits, assuming 8 bits per byte. |
Eric Christopher | 5c30320 | 2014-03-07 21:27:42 +0000 | [diff] [blame] | 292 | unsigned RegSize = TRI->getMinimalPhysRegClass(MLoc.getReg())->getSize() * 8; |
Eric Christopher | 698a8ab | 2014-03-07 01:44:14 +0000 | [diff] [blame] | 293 | // Keep track of the bits in the register we already emitted, so we |
| 294 | // can avoid emitting redundant aliasing subregs. |
| 295 | SmallBitVector Coverage(RegSize, false); |
| 296 | for (MCSubRegIterator SR(MLoc.getReg(), TRI); SR.isValid(); ++SR) { |
| 297 | unsigned Idx = TRI->getSubRegIndex(MLoc.getReg(), *SR); |
| 298 | unsigned Size = TRI->getSubRegIdxSize(Idx); |
| 299 | unsigned Offset = TRI->getSubRegIdxOffset(Idx); |
| 300 | Reg = TRI->getDwarfRegNum(*SR, false); |
| 301 | |
| 302 | // Intersection between the bits we already emitted and the bits |
| 303 | // covered by this subregister. |
| 304 | SmallBitVector Intersection(RegSize, false); |
Eric Christopher | 5c30320 | 2014-03-07 21:27:42 +0000 | [diff] [blame] | 305 | Intersection.set(Offset, Offset + Size); |
Eric Christopher | 698a8ab | 2014-03-07 01:44:14 +0000 | [diff] [blame] | 306 | Intersection ^= Coverage; |
| 307 | |
| 308 | // If this sub-register has a DWARF number and we haven't covered |
| 309 | // its range, emit a DWARF piece for it. |
| 310 | if (Reg >= 0 && Intersection.any()) { |
Adrian Prantl | d34db65 | 2014-04-27 18:25:45 +0000 | [diff] [blame] | 311 | OutStreamer.AddComment("sub-register"); |
Eric Christopher | 29e874d | 2014-03-07 22:40:37 +0000 | [diff] [blame] | 312 | emitDwarfRegOp(Streamer, Reg); |
Adrian Prantl | b141683 | 2014-08-01 22:11:58 +0000 | [diff] [blame] | 313 | EmitDwarfOpPiece(Streamer, Size, Offset == CurPos ? 0 : Offset); |
Eric Christopher | 5c30320 | 2014-03-07 21:27:42 +0000 | [diff] [blame] | 314 | CurPos = Offset + Size; |
Eric Christopher | 698a8ab | 2014-03-07 01:44:14 +0000 | [diff] [blame] | 315 | |
| 316 | // Mark it as emitted. |
Eric Christopher | 5c30320 | 2014-03-07 21:27:42 +0000 | [diff] [blame] | 317 | Coverage.set(Offset, Offset + Size); |
Eric Christopher | 698a8ab | 2014-03-07 01:44:14 +0000 | [diff] [blame] | 318 | } |
| 319 | } |
| 320 | |
Adrian Prantl | d34db65 | 2014-04-27 18:25:45 +0000 | [diff] [blame] | 321 | if (CurPos == PieceOffsetInBits) { |
Eric Christopher | 698a8ab | 2014-03-07 01:44:14 +0000 | [diff] [blame] | 322 | // FIXME: We have no reasonable way of handling errors in here. |
Eric Christopher | 29e874d | 2014-03-07 22:40:37 +0000 | [diff] [blame] | 323 | Streamer.EmitInt8(dwarf::DW_OP_nop, |
| 324 | "nop (could not find a dwarf register number)"); |
Eric Christopher | 698a8ab | 2014-03-07 01:44:14 +0000 | [diff] [blame] | 325 | } |
| 326 | } |
| 327 | |
| 328 | /// EmitDwarfRegOp - Emit dwarf register operation. |
Eric Christopher | 29e874d | 2014-03-07 22:40:37 +0000 | [diff] [blame] | 329 | void AsmPrinter::EmitDwarfRegOp(ByteStreamer &Streamer, |
| 330 | const MachineLocation &MLoc, |
Eric Christopher | 698a8ab | 2014-03-07 01:44:14 +0000 | [diff] [blame] | 331 | bool Indirect) const { |
Eric Christopher | d913448 | 2014-08-04 21:25:23 +0000 | [diff] [blame^] | 332 | const TargetRegisterInfo *TRI = TM.getSubtargetImpl()->getRegisterInfo(); |
Eric Christopher | 698a8ab | 2014-03-07 01:44:14 +0000 | [diff] [blame] | 333 | int Reg = TRI->getDwarfRegNum(MLoc.getReg(), false); |
| 334 | if (Reg < 0) { |
| 335 | // We assume that pointers are always in an addressable register. |
| 336 | if (Indirect || MLoc.isIndirect()) { |
| 337 | // FIXME: We have no reasonable way of handling errors in here. The |
| 338 | // caller might be in the middle of a dwarf expression. We should |
| 339 | // probably assert that Reg >= 0 once debug info generation is more |
| 340 | // mature. |
Eric Christopher | 29e874d | 2014-03-07 22:40:37 +0000 | [diff] [blame] | 341 | Streamer.EmitInt8(dwarf::DW_OP_nop, |
| 342 | "nop (invalid dwarf register number for indirect loc)"); |
Eric Christopher | 698a8ab | 2014-03-07 01:44:14 +0000 | [diff] [blame] | 343 | return; |
| 344 | } |
| 345 | |
| 346 | // Attempt to find a valid super- or sub-register. |
Adrian Prantl | 42a0d8c | 2014-04-27 18:50:45 +0000 | [diff] [blame] | 347 | return EmitDwarfRegOpPiece(Streamer, MLoc); |
Eric Christopher | 698a8ab | 2014-03-07 01:44:14 +0000 | [diff] [blame] | 348 | } |
| 349 | |
| 350 | if (MLoc.isIndirect()) |
Eric Christopher | 29e874d | 2014-03-07 22:40:37 +0000 | [diff] [blame] | 351 | emitDwarfRegOpIndirect(Streamer, Reg, MLoc.getOffset(), Indirect); |
Eric Christopher | 698a8ab | 2014-03-07 01:44:14 +0000 | [diff] [blame] | 352 | else if (Indirect) |
Eric Christopher | 29e874d | 2014-03-07 22:40:37 +0000 | [diff] [blame] | 353 | emitDwarfRegOpIndirect(Streamer, Reg, 0, false); |
Eric Christopher | 698a8ab | 2014-03-07 01:44:14 +0000 | [diff] [blame] | 354 | else |
Eric Christopher | 29e874d | 2014-03-07 22:40:37 +0000 | [diff] [blame] | 355 | emitDwarfRegOp(Streamer, Reg); |
Eric Christopher | 698a8ab | 2014-03-07 01:44:14 +0000 | [diff] [blame] | 356 | } |
| 357 | |
Chris Lattner | aabc604 | 2010-04-04 23:41:46 +0000 | [diff] [blame] | 358 | //===----------------------------------------------------------------------===// |
| 359 | // Dwarf Lowering Routines |
| 360 | //===----------------------------------------------------------------------===// |
Chris Lattner | 70a4fce | 2010-04-04 23:25:33 +0000 | [diff] [blame] | 361 | |
Rafael Espindola | 227144c | 2013-05-13 01:16:13 +0000 | [diff] [blame] | 362 | void AsmPrinter::emitCFIInstruction(const MCCFIInstruction &Inst) const { |
| 363 | switch (Inst.getOperation()) { |
| 364 | default: |
| 365 | llvm_unreachable("Unexpected instruction"); |
| 366 | case MCCFIInstruction::OpDefCfaOffset: |
| 367 | OutStreamer.EmitCFIDefCfaOffset(Inst.getOffset()); |
| 368 | break; |
| 369 | case MCCFIInstruction::OpDefCfa: |
| 370 | OutStreamer.EmitCFIDefCfa(Inst.getRegister(), Inst.getOffset()); |
| 371 | break; |
| 372 | case MCCFIInstruction::OpDefCfaRegister: |
| 373 | OutStreamer.EmitCFIDefCfaRegister(Inst.getRegister()); |
| 374 | break; |
| 375 | case MCCFIInstruction::OpOffset: |
| 376 | OutStreamer.EmitCFIOffset(Inst.getRegister(), Inst.getOffset()); |
| 377 | break; |
Venkatraman Govindaraju | 4c0cdd7 | 2013-09-26 15:11:00 +0000 | [diff] [blame] | 378 | case MCCFIInstruction::OpRegister: |
| 379 | OutStreamer.EmitCFIRegister(Inst.getRegister(), Inst.getRegister2()); |
| 380 | break; |
Venkatraman Govindaraju | 3816d43 | 2013-09-26 14:49:40 +0000 | [diff] [blame] | 381 | case MCCFIInstruction::OpWindowSave: |
| 382 | OutStreamer.EmitCFIWindowSave(); |
| 383 | break; |
Oliver Stannard | b14c625 | 2014-04-02 16:10:33 +0000 | [diff] [blame] | 384 | case MCCFIInstruction::OpSameValue: |
| 385 | OutStreamer.EmitCFISameValue(Inst.getRegister()); |
| 386 | break; |
Rafael Espindola | beb74c3 | 2011-04-15 20:32:03 +0000 | [diff] [blame] | 387 | } |
| 388 | } |