Daniel Dunbar | a11af53 | 2009-06-24 01:03:06 +0000 | [diff] [blame] | 1 | //===- lib/MC/MCAsmStreamer.cpp - Text Assembly Output --------------------===// |
| 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 | #include "llvm/MC/MCStreamer.h" |
Daniel Dunbar | 8c2eebe | 2009-08-31 08:08:38 +0000 | [diff] [blame] | 11 | #include "llvm/MC/MCAsmInfo.h" |
Daniel Dunbar | 4a0abd8 | 2009-08-27 00:51:57 +0000 | [diff] [blame] | 12 | #include "llvm/MC/MCCodeEmitter.h" |
Daniel Dunbar | a11af53 | 2009-06-24 01:03:06 +0000 | [diff] [blame] | 13 | #include "llvm/MC/MCContext.h" |
Daniel Dunbar | 8c2eebe | 2009-08-31 08:08:38 +0000 | [diff] [blame] | 14 | #include "llvm/MC/MCExpr.h" |
Daniel Dunbar | abde298 | 2009-07-01 06:35:03 +0000 | [diff] [blame] | 15 | #include "llvm/MC/MCInst.h" |
Chris Lattner | 90edac0 | 2009-09-14 03:02:37 +0000 | [diff] [blame] | 16 | #include "llvm/MC/MCInstPrinter.h" |
Chris Lattner | f9bdedd | 2009-08-10 18:15:01 +0000 | [diff] [blame] | 17 | #include "llvm/MC/MCSectionMachO.h" |
Daniel Dunbar | a11af53 | 2009-06-24 01:03:06 +0000 | [diff] [blame] | 18 | #include "llvm/MC/MCSymbol.h" |
Chris Lattner | 4c42a6d | 2010-03-19 05:48:53 +0000 | [diff] [blame] | 19 | #include "llvm/ADT/OwningPtr.h" |
Chris Lattner | 86e2211 | 2010-01-22 07:29:22 +0000 | [diff] [blame] | 20 | #include "llvm/ADT/SmallString.h" |
| 21 | #include "llvm/ADT/Twine.h" |
Torok Edwin | c25e758 | 2009-07-11 20:10:48 +0000 | [diff] [blame] | 22 | #include "llvm/Support/ErrorHandling.h" |
Chris Lattner | 663c2d2 | 2009-08-19 06:12:02 +0000 | [diff] [blame] | 23 | #include "llvm/Support/MathExtras.h" |
Daniel Dunbar | 4a0abd8 | 2009-08-27 00:51:57 +0000 | [diff] [blame] | 24 | #include "llvm/Support/Format.h" |
Chris Lattner | 86e2211 | 2010-01-22 07:29:22 +0000 | [diff] [blame] | 25 | #include "llvm/Support/FormattedStream.h" |
Daniel Dunbar | a11af53 | 2009-06-24 01:03:06 +0000 | [diff] [blame] | 26 | using namespace llvm; |
| 27 | |
| 28 | namespace { |
| 29 | |
Chris Lattner | 46a947d | 2009-08-17 04:17:34 +0000 | [diff] [blame] | 30 | class MCAsmStreamer : public MCStreamer { |
Chris Lattner | 86e2211 | 2010-01-22 07:29:22 +0000 | [diff] [blame] | 31 | formatted_raw_ostream &OS; |
Chris Lattner | 33adcfb | 2009-08-22 21:43:10 +0000 | [diff] [blame] | 32 | const MCAsmInfo &MAI; |
Chris Lattner | 4c42a6d | 2010-03-19 05:48:53 +0000 | [diff] [blame] | 33 | OwningPtr<MCInstPrinter> InstPrinter; |
Benjamin Kramer | 1abcd06 | 2010-07-29 17:48:06 +0000 | [diff] [blame] | 34 | OwningPtr<MCCodeEmitter> Emitter; |
Jim Grosbach | 00545e1 | 2010-09-22 18:16:55 +0000 | [diff] [blame] | 35 | |
Chris Lattner | 86e2211 | 2010-01-22 07:29:22 +0000 | [diff] [blame] | 36 | SmallString<128> CommentToEmit; |
Chris Lattner | d79d9dc | 2010-01-22 19:17:48 +0000 | [diff] [blame] | 37 | raw_svector_ostream CommentStream; |
Daniel Dunbar | 9dee8e3 | 2010-02-03 18:18:30 +0000 | [diff] [blame] | 38 | |
| 39 | unsigned IsLittleEndian : 1; |
| 40 | unsigned IsVerboseAsm : 1; |
| 41 | unsigned ShowInst : 1; |
| 42 | |
Chris Lattner | 46a947d | 2009-08-17 04:17:34 +0000 | [diff] [blame] | 43 | public: |
Chris Lattner | 86e2211 | 2010-01-22 07:29:22 +0000 | [diff] [blame] | 44 | MCAsmStreamer(MCContext &Context, formatted_raw_ostream &os, |
Chris Lattner | 0740441 | 2010-01-22 07:06:15 +0000 | [diff] [blame] | 45 | bool isLittleEndian, bool isVerboseAsm, MCInstPrinter *printer, |
Daniel Dunbar | 5532cf4 | 2010-02-10 01:41:14 +0000 | [diff] [blame] | 46 | MCCodeEmitter *emitter, bool showInst) |
Chris Lattner | fdab14b | 2010-03-12 18:28:53 +0000 | [diff] [blame] | 47 | : MCStreamer(Context), OS(os), MAI(Context.getAsmInfo()), |
| 48 | InstPrinter(printer), Emitter(emitter), CommentStream(CommentToEmit), |
Daniel Dunbar | 9dee8e3 | 2010-02-03 18:18:30 +0000 | [diff] [blame] | 49 | IsLittleEndian(isLittleEndian), IsVerboseAsm(isVerboseAsm), |
Daniel Dunbar | 5532cf4 | 2010-02-10 01:41:14 +0000 | [diff] [blame] | 50 | ShowInst(showInst) { |
Chris Lattner | 5d672cf | 2010-02-10 00:10:18 +0000 | [diff] [blame] | 51 | if (InstPrinter && IsVerboseAsm) |
| 52 | InstPrinter->setCommentStream(CommentStream); |
| 53 | } |
Chris Lattner | 46a947d | 2009-08-17 04:17:34 +0000 | [diff] [blame] | 54 | ~MCAsmStreamer() {} |
Daniel Dunbar | a11af53 | 2009-06-24 01:03:06 +0000 | [diff] [blame] | 55 | |
Chris Lattner | 1658202 | 2010-01-20 06:39:07 +0000 | [diff] [blame] | 56 | bool isLittleEndian() const { return IsLittleEndian; } |
Daniel Dunbar | 6b71653 | 2010-02-09 23:00:14 +0000 | [diff] [blame] | 57 | |
Chris Lattner | 86e2211 | 2010-01-22 07:29:22 +0000 | [diff] [blame] | 58 | inline void EmitEOL() { |
Chris Lattner | d79d9dc | 2010-01-22 19:17:48 +0000 | [diff] [blame] | 59 | // If we don't have any comments, just emit a \n. |
| 60 | if (!IsVerboseAsm) { |
Chris Lattner | 86e2211 | 2010-01-22 07:29:22 +0000 | [diff] [blame] | 61 | OS << '\n'; |
| 62 | return; |
| 63 | } |
| 64 | EmitCommentsAndEOL(); |
| 65 | } |
| 66 | void EmitCommentsAndEOL(); |
Chris Lattner | 56591ab | 2010-02-02 23:37:42 +0000 | [diff] [blame] | 67 | |
| 68 | /// isVerboseAsm - Return true if this streamer supports verbose assembly at |
| 69 | /// all. |
| 70 | virtual bool isVerboseAsm() const { return IsVerboseAsm; } |
Jim Grosbach | 00545e1 | 2010-09-22 18:16:55 +0000 | [diff] [blame] | 71 | |
Chris Lattner | 91bead7 | 2010-04-03 21:35:55 +0000 | [diff] [blame] | 72 | /// hasRawTextSupport - We support EmitRawText. |
| 73 | virtual bool hasRawTextSupport() const { return true; } |
Daniel Dunbar | 6b71653 | 2010-02-09 23:00:14 +0000 | [diff] [blame] | 74 | |
Chris Lattner | d32c7cf | 2010-01-22 18:21:35 +0000 | [diff] [blame] | 75 | /// AddComment - Add a comment that can be emitted to the generated .s |
Chris Lattner | 86e2211 | 2010-01-22 07:29:22 +0000 | [diff] [blame] | 76 | /// file if applicable as a QoI issue to make the output of the compiler |
| 77 | /// more readable. This only affects the MCAsmStreamer, and only when |
| 78 | /// verbose assembly output is enabled. |
Chris Lattner | d32c7cf | 2010-01-22 18:21:35 +0000 | [diff] [blame] | 79 | virtual void AddComment(const Twine &T); |
Daniel Dunbar | 6b71653 | 2010-02-09 23:00:14 +0000 | [diff] [blame] | 80 | |
| 81 | /// AddEncodingComment - Add a comment showing the encoding of an instruction. |
| 82 | virtual void AddEncodingComment(const MCInst &Inst); |
| 83 | |
Chris Lattner | d79d9dc | 2010-01-22 19:17:48 +0000 | [diff] [blame] | 84 | /// GetCommentOS - Return a raw_ostream that comments can be written to. |
| 85 | /// Unlike AddComment, you are required to terminate comments with \n if you |
| 86 | /// use this method. |
| 87 | virtual raw_ostream &GetCommentOS() { |
| 88 | if (!IsVerboseAsm) |
| 89 | return nulls(); // Discard comments unless in verbose asm mode. |
| 90 | return CommentStream; |
| 91 | } |
Daniel Dunbar | 6b71653 | 2010-02-09 23:00:14 +0000 | [diff] [blame] | 92 | |
Chris Lattner | 0fd90fd | 2010-01-22 19:52:01 +0000 | [diff] [blame] | 93 | /// AddBlankLine - Emit a blank line to a .s file to pretty it up. |
| 94 | virtual void AddBlankLine() { |
| 95 | EmitEOL(); |
| 96 | } |
Daniel Dunbar | 6b71653 | 2010-02-09 23:00:14 +0000 | [diff] [blame] | 97 | |
Chris Lattner | 46a947d | 2009-08-17 04:17:34 +0000 | [diff] [blame] | 98 | /// @name MCStreamer Interface |
| 99 | /// @{ |
Daniel Dunbar | a11af53 | 2009-06-24 01:03:06 +0000 | [diff] [blame] | 100 | |
Chris Lattner | 975780b | 2009-08-17 05:49:08 +0000 | [diff] [blame] | 101 | virtual void SwitchSection(const MCSection *Section); |
Daniel Dunbar | a11af53 | 2009-06-24 01:03:06 +0000 | [diff] [blame] | 102 | |
Rafael Espindola | d80781b | 2010-09-15 21:48:40 +0000 | [diff] [blame] | 103 | virtual void InitSections() { |
| 104 | // FIXME, this is MachO specific, but the testsuite |
| 105 | // expects this. |
| 106 | SwitchSection(getContext().getMachOSection("__TEXT", "__text", |
| 107 | MCSectionMachO::S_ATTR_PURE_INSTRUCTIONS, |
| 108 | 0, SectionKind::getText())); |
| 109 | } |
| 110 | |
Chris Lattner | 46a947d | 2009-08-17 04:17:34 +0000 | [diff] [blame] | 111 | virtual void EmitLabel(MCSymbol *Symbol); |
Daniel Dunbar | a11af53 | 2009-06-24 01:03:06 +0000 | [diff] [blame] | 112 | |
Chris Lattner | a5ad93a | 2010-01-23 06:39:22 +0000 | [diff] [blame] | 113 | virtual void EmitAssemblerFlag(MCAssemblerFlag Flag); |
Daniel Dunbar | a11af53 | 2009-06-24 01:03:06 +0000 | [diff] [blame] | 114 | |
Daniel Dunbar | 821e333 | 2009-08-31 08:09:28 +0000 | [diff] [blame] | 115 | virtual void EmitAssignment(MCSymbol *Symbol, const MCExpr *Value); |
Rafael Espindola | 484291c | 2010-11-01 14:28:48 +0000 | [diff] [blame] | 116 | virtual void EmitWeakReference(MCSymbol *Alias, const MCSymbol *Symbol); |
Daniel Dunbar | a11af53 | 2009-06-24 01:03:06 +0000 | [diff] [blame] | 117 | |
Chris Lattner | a5ad93a | 2010-01-23 06:39:22 +0000 | [diff] [blame] | 118 | virtual void EmitSymbolAttribute(MCSymbol *Symbol, MCSymbolAttr Attribute); |
Kevin Enderby | a5c7832 | 2009-07-13 21:03:15 +0000 | [diff] [blame] | 119 | |
Chris Lattner | 46a947d | 2009-08-17 04:17:34 +0000 | [diff] [blame] | 120 | virtual void EmitSymbolDesc(MCSymbol *Symbol, unsigned DescValue); |
Chris Lattner | b54b9dd | 2010-05-08 19:54:22 +0000 | [diff] [blame] | 121 | virtual void BeginCOFFSymbolDef(const MCSymbol *Symbol); |
| 122 | virtual void EmitCOFFSymbolStorageClass(int StorageClass); |
| 123 | virtual void EmitCOFFSymbolType(int Type); |
| 124 | virtual void EndCOFFSymbolDef(); |
Chris Lattner | 99328ad | 2010-01-25 07:52:13 +0000 | [diff] [blame] | 125 | virtual void EmitELFSize(MCSymbol *Symbol, const MCExpr *Value); |
Chris Lattner | 9eb158d | 2010-01-23 07:47:02 +0000 | [diff] [blame] | 126 | virtual void EmitCommonSymbol(MCSymbol *Symbol, uint64_t Size, |
Daniel Dunbar | 7092c7e | 2009-08-30 06:17:16 +0000 | [diff] [blame] | 127 | unsigned ByteAlignment); |
Kevin Enderby | 95cf30c | 2009-07-14 18:17:10 +0000 | [diff] [blame] | 128 | |
Chris Lattner | 9eb158d | 2010-01-23 07:47:02 +0000 | [diff] [blame] | 129 | /// EmitLocalCommonSymbol - Emit a local common (.lcomm) symbol. |
| 130 | /// |
| 131 | /// @param Symbol - The common symbol to emit. |
| 132 | /// @param Size - The size of the common symbol. |
| 133 | virtual void EmitLocalCommonSymbol(MCSymbol *Symbol, uint64_t Size); |
Jim Grosbach | 00545e1 | 2010-09-22 18:16:55 +0000 | [diff] [blame] | 134 | |
Daniel Dunbar | 8751b94 | 2009-08-28 05:48:22 +0000 | [diff] [blame] | 135 | virtual void EmitZerofill(const MCSection *Section, MCSymbol *Symbol = 0, |
Daniel Dunbar | 7092c7e | 2009-08-30 06:17:16 +0000 | [diff] [blame] | 136 | unsigned Size = 0, unsigned ByteAlignment = 0); |
Kevin Enderby | 7114824 | 2009-07-14 21:35:03 +0000 | [diff] [blame] | 137 | |
Eric Christopher | 4d01cbe | 2010-05-18 21:16:04 +0000 | [diff] [blame] | 138 | virtual void EmitTBSSSymbol (const MCSection *Section, MCSymbol *Symbol, |
| 139 | uint64_t Size, unsigned ByteAlignment = 0); |
Jim Grosbach | 00545e1 | 2010-09-22 18:16:55 +0000 | [diff] [blame] | 140 | |
Chris Lattner | aaec205 | 2010-01-19 19:46:13 +0000 | [diff] [blame] | 141 | virtual void EmitBytes(StringRef Data, unsigned AddrSpace); |
Chris Lattner | 4e4db7a | 2009-07-07 20:30:46 +0000 | [diff] [blame] | 142 | |
Chris Lattner | aaec205 | 2010-01-19 19:46:13 +0000 | [diff] [blame] | 143 | virtual void EmitValue(const MCExpr *Value, unsigned Size,unsigned AddrSpace); |
Rafael Espindola | 3ff5709 | 2010-11-02 17:22:24 +0000 | [diff] [blame] | 144 | |
Chris Lattner | 32ae3fe | 2010-01-19 22:03:38 +0000 | [diff] [blame] | 145 | virtual void EmitIntValue(uint64_t Value, unsigned Size, unsigned AddrSpace); |
Rafael Espindola | 3ff5709 | 2010-11-02 17:22:24 +0000 | [diff] [blame] | 146 | |
| 147 | virtual void EmitULEB128Value(const MCExpr *Value, unsigned AddrSpace = 0); |
| 148 | |
| 149 | virtual void EmitSLEB128Value(const MCExpr *Value, unsigned AddrSpace = 0); |
| 150 | |
Chris Lattner | 718fb59 | 2010-01-25 21:28:50 +0000 | [diff] [blame] | 151 | virtual void EmitGPRel32Value(const MCExpr *Value); |
Jim Grosbach | 00545e1 | 2010-09-22 18:16:55 +0000 | [diff] [blame] | 152 | |
Chris Lattner | 32ae3fe | 2010-01-19 22:03:38 +0000 | [diff] [blame] | 153 | |
Chris Lattner | aaec205 | 2010-01-19 19:46:13 +0000 | [diff] [blame] | 154 | virtual void EmitFill(uint64_t NumBytes, uint8_t FillValue, |
| 155 | unsigned AddrSpace); |
Chris Lattner | 9be3fee | 2009-07-10 22:20:30 +0000 | [diff] [blame] | 156 | |
Chris Lattner | 46a947d | 2009-08-17 04:17:34 +0000 | [diff] [blame] | 157 | virtual void EmitValueToAlignment(unsigned ByteAlignment, int64_t Value = 0, |
| 158 | unsigned ValueSize = 1, |
| 159 | unsigned MaxBytesToEmit = 0); |
Daniel Dunbar | a11af53 | 2009-06-24 01:03:06 +0000 | [diff] [blame] | 160 | |
Kevin Enderby | 6e72048 | 2010-02-23 18:26:34 +0000 | [diff] [blame] | 161 | virtual void EmitCodeAlignment(unsigned ByteAlignment, |
| 162 | unsigned MaxBytesToEmit = 0); |
| 163 | |
Daniel Dunbar | 821e333 | 2009-08-31 08:09:28 +0000 | [diff] [blame] | 164 | virtual void EmitValueToOffset(const MCExpr *Offset, |
Chris Lattner | 46a947d | 2009-08-17 04:17:34 +0000 | [diff] [blame] | 165 | unsigned char Value = 0); |
Daniel Dunbar | a11af53 | 2009-06-24 01:03:06 +0000 | [diff] [blame] | 166 | |
Chris Lattner | a6594fc | 2010-01-25 18:58:59 +0000 | [diff] [blame] | 167 | virtual void EmitFileDirective(StringRef Filename); |
| 168 | virtual void EmitDwarfFileDirective(unsigned FileNo, StringRef Filename); |
| 169 | |
| 170 | virtual void EmitInstruction(const MCInst &Inst); |
Jim Grosbach | 00545e1 | 2010-09-22 18:16:55 +0000 | [diff] [blame] | 171 | |
Jim Grosbach | bd4ec84 | 2010-09-22 18:18:30 +0000 | [diff] [blame] | 172 | /// EmitRawText - If this file is backed by an assembly streamer, this dumps |
Chris Lattner | 91bead7 | 2010-04-03 21:35:55 +0000 | [diff] [blame] | 173 | /// the specified string in the output .s file. This capability is |
| 174 | /// indicated by the hasRawTextSupport() predicate. |
| 175 | virtual void EmitRawText(StringRef String); |
Jim Grosbach | 00545e1 | 2010-09-22 18:16:55 +0000 | [diff] [blame] | 176 | |
Chris Lattner | 46a947d | 2009-08-17 04:17:34 +0000 | [diff] [blame] | 177 | virtual void Finish(); |
Jim Grosbach | 00545e1 | 2010-09-22 18:16:55 +0000 | [diff] [blame] | 178 | |
Chris Lattner | 46a947d | 2009-08-17 04:17:34 +0000 | [diff] [blame] | 179 | /// @} |
| 180 | }; |
Daniel Dunbar | 84a2926 | 2009-06-24 19:25:34 +0000 | [diff] [blame] | 181 | |
Chris Lattner | 46a947d | 2009-08-17 04:17:34 +0000 | [diff] [blame] | 182 | } // end anonymous namespace. |
Daniel Dunbar | a11af53 | 2009-06-24 01:03:06 +0000 | [diff] [blame] | 183 | |
Chris Lattner | d32c7cf | 2010-01-22 18:21:35 +0000 | [diff] [blame] | 184 | /// AddComment - Add a comment that can be emitted to the generated .s |
Chris Lattner | 86e2211 | 2010-01-22 07:29:22 +0000 | [diff] [blame] | 185 | /// file if applicable as a QoI issue to make the output of the compiler |
| 186 | /// more readable. This only affects the MCAsmStreamer, and only when |
| 187 | /// verbose assembly output is enabled. |
Chris Lattner | d32c7cf | 2010-01-22 18:21:35 +0000 | [diff] [blame] | 188 | void MCAsmStreamer::AddComment(const Twine &T) { |
Chris Lattner | 86e2211 | 2010-01-22 07:29:22 +0000 | [diff] [blame] | 189 | if (!IsVerboseAsm) return; |
Jim Grosbach | 00545e1 | 2010-09-22 18:16:55 +0000 | [diff] [blame] | 190 | |
Chris Lattner | d79d9dc | 2010-01-22 19:17:48 +0000 | [diff] [blame] | 191 | // Make sure that CommentStream is flushed. |
| 192 | CommentStream.flush(); |
Jim Grosbach | 00545e1 | 2010-09-22 18:16:55 +0000 | [diff] [blame] | 193 | |
Chris Lattner | 86e2211 | 2010-01-22 07:29:22 +0000 | [diff] [blame] | 194 | T.toVector(CommentToEmit); |
Chris Lattner | d79d9dc | 2010-01-22 19:17:48 +0000 | [diff] [blame] | 195 | // Each comment goes on its own line. |
| 196 | CommentToEmit.push_back('\n'); |
Jim Grosbach | 00545e1 | 2010-09-22 18:16:55 +0000 | [diff] [blame] | 197 | |
Chris Lattner | 14ca177 | 2010-01-22 21:16:10 +0000 | [diff] [blame] | 198 | // Tell the comment stream that the vector changed underneath it. |
| 199 | CommentStream.resync(); |
Chris Lattner | 86e2211 | 2010-01-22 07:29:22 +0000 | [diff] [blame] | 200 | } |
| 201 | |
| 202 | void MCAsmStreamer::EmitCommentsAndEOL() { |
Chris Lattner | d79d9dc | 2010-01-22 19:17:48 +0000 | [diff] [blame] | 203 | if (CommentToEmit.empty() && CommentStream.GetNumBytesInBuffer() == 0) { |
| 204 | OS << '\n'; |
| 205 | return; |
| 206 | } |
Jim Grosbach | 00545e1 | 2010-09-22 18:16:55 +0000 | [diff] [blame] | 207 | |
Chris Lattner | d79d9dc | 2010-01-22 19:17:48 +0000 | [diff] [blame] | 208 | CommentStream.flush(); |
Chris Lattner | 86e2211 | 2010-01-22 07:29:22 +0000 | [diff] [blame] | 209 | StringRef Comments = CommentToEmit.str(); |
Jim Grosbach | 00545e1 | 2010-09-22 18:16:55 +0000 | [diff] [blame] | 210 | |
Chris Lattner | d79d9dc | 2010-01-22 19:17:48 +0000 | [diff] [blame] | 211 | assert(Comments.back() == '\n' && |
| 212 | "Comment array not newline terminated"); |
| 213 | do { |
Chris Lattner | 86e2211 | 2010-01-22 07:29:22 +0000 | [diff] [blame] | 214 | // Emit a line of comments. |
| 215 | OS.PadToColumn(MAI.getCommentColumn()); |
| 216 | size_t Position = Comments.find('\n'); |
| 217 | OS << MAI.getCommentString() << ' ' << Comments.substr(0, Position) << '\n'; |
Jim Grosbach | 00545e1 | 2010-09-22 18:16:55 +0000 | [diff] [blame] | 218 | |
Chris Lattner | 86e2211 | 2010-01-22 07:29:22 +0000 | [diff] [blame] | 219 | Comments = Comments.substr(Position+1); |
Chris Lattner | d79d9dc | 2010-01-22 19:17:48 +0000 | [diff] [blame] | 220 | } while (!Comments.empty()); |
Jim Grosbach | 00545e1 | 2010-09-22 18:16:55 +0000 | [diff] [blame] | 221 | |
Chris Lattner | 14ca177 | 2010-01-22 21:16:10 +0000 | [diff] [blame] | 222 | CommentToEmit.clear(); |
| 223 | // Tell the comment stream that the vector changed underneath it. |
| 224 | CommentStream.resync(); |
Chris Lattner | 86e2211 | 2010-01-22 07:29:22 +0000 | [diff] [blame] | 225 | } |
| 226 | |
Daniel Dunbar | 304f6a4 | 2009-06-25 21:03:18 +0000 | [diff] [blame] | 227 | static inline int64_t truncateToSize(int64_t Value, unsigned Bytes) { |
| 228 | assert(Bytes && "Invalid size!"); |
| 229 | return Value & ((uint64_t) (int64_t) -1 >> (64 - Bytes * 8)); |
| 230 | } |
| 231 | |
Chris Lattner | 975780b | 2009-08-17 05:49:08 +0000 | [diff] [blame] | 232 | void MCAsmStreamer::SwitchSection(const MCSection *Section) { |
Chris Lattner | 6c2f9e1 | 2009-08-19 05:49:37 +0000 | [diff] [blame] | 233 | assert(Section && "Cannot switch to a null section!"); |
Daniel Dunbar | a11af53 | 2009-06-24 01:03:06 +0000 | [diff] [blame] | 234 | if (Section != CurSection) { |
Benjamin Kramer | 1674b0b | 2010-09-02 18:53:37 +0000 | [diff] [blame] | 235 | PrevSection = CurSection; |
Daniel Dunbar | a11af53 | 2009-06-24 01:03:06 +0000 | [diff] [blame] | 236 | CurSection = Section; |
Chris Lattner | 33adcfb | 2009-08-22 21:43:10 +0000 | [diff] [blame] | 237 | Section->PrintSwitchToSection(MAI, OS); |
Daniel Dunbar | a11af53 | 2009-06-24 01:03:06 +0000 | [diff] [blame] | 238 | } |
| 239 | } |
| 240 | |
| 241 | void MCAsmStreamer::EmitLabel(MCSymbol *Symbol) { |
Daniel Dunbar | 8906ff1 | 2009-08-22 07:22:36 +0000 | [diff] [blame] | 242 | assert(Symbol->isUndefined() && "Cannot define a symbol twice!"); |
Daniel Dunbar | c304718 | 2010-05-05 19:01:00 +0000 | [diff] [blame] | 243 | assert(!Symbol->isVariable() && "Cannot emit a variable symbol!"); |
Daniel Dunbar | 71d259b | 2009-06-24 17:00:42 +0000 | [diff] [blame] | 244 | assert(CurSection && "Cannot emit before setting section!"); |
Daniel Dunbar | 71d259b | 2009-06-24 17:00:42 +0000 | [diff] [blame] | 245 | |
Chris Lattner | e07b75e | 2010-09-22 22:19:53 +0000 | [diff] [blame] | 246 | OS << *Symbol << MAI.getLabelSuffix(); |
Chris Lattner | 7d1e49c | 2010-01-22 07:36:39 +0000 | [diff] [blame] | 247 | EmitEOL(); |
Daniel Dunbar | 8906ff1 | 2009-08-22 07:22:36 +0000 | [diff] [blame] | 248 | Symbol->setSection(*CurSection); |
Daniel Dunbar | a11af53 | 2009-06-24 01:03:06 +0000 | [diff] [blame] | 249 | } |
| 250 | |
Chris Lattner | a5ad93a | 2010-01-23 06:39:22 +0000 | [diff] [blame] | 251 | void MCAsmStreamer::EmitAssemblerFlag(MCAssemblerFlag Flag) { |
Kevin Enderby | f96db46 | 2009-07-16 17:56:39 +0000 | [diff] [blame] | 252 | switch (Flag) { |
Daniel Dunbar | 011e4db | 2009-08-13 23:36:34 +0000 | [diff] [blame] | 253 | default: assert(0 && "Invalid flag!"); |
Jason W Kim | afd1cc2 | 2010-09-30 02:45:56 +0000 | [diff] [blame] | 254 | case MCAF_SyntaxUnified: OS << "\t.syntax unified"; break; |
Chris Lattner | a5ad93a | 2010-01-23 06:39:22 +0000 | [diff] [blame] | 255 | case MCAF_SubsectionsViaSymbols: OS << ".subsections_via_symbols"; break; |
Kevin Enderby | f96db46 | 2009-07-16 17:56:39 +0000 | [diff] [blame] | 256 | } |
Chris Lattner | 7d1e49c | 2010-01-22 07:36:39 +0000 | [diff] [blame] | 257 | EmitEOL(); |
Kevin Enderby | a5c7832 | 2009-07-13 21:03:15 +0000 | [diff] [blame] | 258 | } |
| 259 | |
Daniel Dunbar | 821e333 | 2009-08-31 08:09:28 +0000 | [diff] [blame] | 260 | void MCAsmStreamer::EmitAssignment(MCSymbol *Symbol, const MCExpr *Value) { |
Chris Lattner | 7d1e49c | 2010-01-22 07:36:39 +0000 | [diff] [blame] | 261 | OS << *Symbol << " = " << *Value; |
| 262 | EmitEOL(); |
Daniel Dunbar | fffff91 | 2009-10-16 01:34:54 +0000 | [diff] [blame] | 263 | |
| 264 | // FIXME: Lift context changes into super class. |
Daniel Dunbar | 08a408a | 2010-05-05 17:41:00 +0000 | [diff] [blame] | 265 | Symbol->setVariableValue(Value); |
Daniel Dunbar | a11af53 | 2009-06-24 01:03:06 +0000 | [diff] [blame] | 266 | } |
| 267 | |
Rafael Espindola | 484291c | 2010-11-01 14:28:48 +0000 | [diff] [blame] | 268 | void MCAsmStreamer::EmitWeakReference(MCSymbol *Alias, const MCSymbol *Symbol) { |
| 269 | OS << ".weakref " << *Alias << ", " << *Symbol; |
| 270 | EmitEOL(); |
| 271 | } |
| 272 | |
Daniel Dunbar | fffff91 | 2009-10-16 01:34:54 +0000 | [diff] [blame] | 273 | void MCAsmStreamer::EmitSymbolAttribute(MCSymbol *Symbol, |
Chris Lattner | a5ad93a | 2010-01-23 06:39:22 +0000 | [diff] [blame] | 274 | MCSymbolAttr Attribute) { |
Daniel Dunbar | a11af53 | 2009-06-24 01:03:06 +0000 | [diff] [blame] | 275 | switch (Attribute) { |
Chris Lattner | a5ad93a | 2010-01-23 06:39:22 +0000 | [diff] [blame] | 276 | case MCSA_Invalid: assert(0 && "Invalid symbol attribute"); |
Chris Lattner | ed0ab15 | 2010-01-25 18:30:45 +0000 | [diff] [blame] | 277 | case MCSA_ELF_TypeFunction: /// .type _foo, STT_FUNC # aka @function |
| 278 | case MCSA_ELF_TypeIndFunction: /// .type _foo, STT_GNU_IFUNC |
| 279 | case MCSA_ELF_TypeObject: /// .type _foo, STT_OBJECT # aka @object |
| 280 | case MCSA_ELF_TypeTLS: /// .type _foo, STT_TLS # aka @tls_object |
| 281 | case MCSA_ELF_TypeCommon: /// .type _foo, STT_COMMON # aka @common |
| 282 | case MCSA_ELF_TypeNoType: /// .type _foo, STT_NOTYPE # aka @notype |
| 283 | assert(MAI.hasDotTypeDotSizeDirective() && "Symbol Attr not supported"); |
Dan Gohman | 523d70e | 2010-02-04 01:42:13 +0000 | [diff] [blame] | 284 | OS << "\t.type\t" << *Symbol << ',' |
Chris Lattner | ed0ab15 | 2010-01-25 18:30:45 +0000 | [diff] [blame] | 285 | << ((MAI.getCommentString()[0] != '@') ? '@' : '%'); |
| 286 | switch (Attribute) { |
| 287 | default: assert(0 && "Unknown ELF .type"); |
| 288 | case MCSA_ELF_TypeFunction: OS << "function"; break; |
| 289 | case MCSA_ELF_TypeIndFunction: OS << "gnu_indirect_function"; break; |
| 290 | case MCSA_ELF_TypeObject: OS << "object"; break; |
| 291 | case MCSA_ELF_TypeTLS: OS << "tls_object"; break; |
| 292 | case MCSA_ELF_TypeCommon: OS << "common"; break; |
| 293 | case MCSA_ELF_TypeNoType: OS << "no_type"; break; |
| 294 | } |
| 295 | EmitEOL(); |
| 296 | return; |
| 297 | case MCSA_Global: // .globl/.global |
| 298 | OS << MAI.getGlobalDirective(); |
| 299 | break; |
Chris Lattner | 61abd7b | 2010-06-21 20:35:01 +0000 | [diff] [blame] | 300 | case MCSA_Hidden: OS << "\t.hidden\t"; break; |
| 301 | case MCSA_IndirectSymbol: OS << "\t.indirect_symbol\t"; break; |
| 302 | case MCSA_Internal: OS << "\t.internal\t"; break; |
| 303 | case MCSA_LazyReference: OS << "\t.lazy_reference\t"; break; |
| 304 | case MCSA_Local: OS << "\t.local\t"; break; |
| 305 | case MCSA_NoDeadStrip: OS << "\t.no_dead_strip\t"; break; |
| 306 | case MCSA_PrivateExtern: OS << "\t.private_extern\t"; break; |
| 307 | case MCSA_Protected: OS << "\t.protected\t"; break; |
| 308 | case MCSA_Reference: OS << "\t.reference\t"; break; |
| 309 | case MCSA_Weak: OS << "\t.weak\t"; break; |
| 310 | case MCSA_WeakDefinition: OS << "\t.weak_definition\t"; break; |
Chris Lattner | a5ad93a | 2010-01-23 06:39:22 +0000 | [diff] [blame] | 311 | // .weak_reference |
| 312 | case MCSA_WeakReference: OS << MAI.getWeakRefDirective(); break; |
Kevin Enderby | f59cac5 | 2010-07-08 17:22:42 +0000 | [diff] [blame] | 313 | case MCSA_WeakDefAutoPrivate: OS << "\t.weak_def_can_be_hidden\t"; break; |
Daniel Dunbar | a11af53 | 2009-06-24 01:03:06 +0000 | [diff] [blame] | 314 | } |
| 315 | |
Chris Lattner | 7d1e49c | 2010-01-22 07:36:39 +0000 | [diff] [blame] | 316 | OS << *Symbol; |
| 317 | EmitEOL(); |
Daniel Dunbar | a11af53 | 2009-06-24 01:03:06 +0000 | [diff] [blame] | 318 | } |
| 319 | |
Kevin Enderby | 95cf30c | 2009-07-14 18:17:10 +0000 | [diff] [blame] | 320 | void MCAsmStreamer::EmitSymbolDesc(MCSymbol *Symbol, unsigned DescValue) { |
Chris Lattner | 7d1e49c | 2010-01-22 07:36:39 +0000 | [diff] [blame] | 321 | OS << ".desc" << ' ' << *Symbol << ',' << DescValue; |
| 322 | EmitEOL(); |
Kevin Enderby | 95cf30c | 2009-07-14 18:17:10 +0000 | [diff] [blame] | 323 | } |
| 324 | |
Chris Lattner | b54b9dd | 2010-05-08 19:54:22 +0000 | [diff] [blame] | 325 | void MCAsmStreamer::BeginCOFFSymbolDef(const MCSymbol *Symbol) { |
| 326 | OS << "\t.def\t " << *Symbol << ';'; |
| 327 | EmitEOL(); |
| 328 | } |
| 329 | |
| 330 | void MCAsmStreamer::EmitCOFFSymbolStorageClass (int StorageClass) { |
| 331 | OS << "\t.scl\t" << StorageClass << ';'; |
| 332 | EmitEOL(); |
| 333 | } |
| 334 | |
| 335 | void MCAsmStreamer::EmitCOFFSymbolType (int Type) { |
| 336 | OS << "\t.type\t" << Type << ';'; |
| 337 | EmitEOL(); |
| 338 | } |
| 339 | |
| 340 | void MCAsmStreamer::EndCOFFSymbolDef() { |
| 341 | OS << "\t.endef"; |
| 342 | EmitEOL(); |
| 343 | } |
| 344 | |
Chris Lattner | 99328ad | 2010-01-25 07:52:13 +0000 | [diff] [blame] | 345 | void MCAsmStreamer::EmitELFSize(MCSymbol *Symbol, const MCExpr *Value) { |
| 346 | assert(MAI.hasDotTypeDotSizeDirective()); |
| 347 | OS << "\t.size\t" << *Symbol << ", " << *Value << '\n'; |
| 348 | } |
| 349 | |
Chris Lattner | 9eb158d | 2010-01-23 07:47:02 +0000 | [diff] [blame] | 350 | void MCAsmStreamer::EmitCommonSymbol(MCSymbol *Symbol, uint64_t Size, |
Daniel Dunbar | 7092c7e | 2009-08-30 06:17:16 +0000 | [diff] [blame] | 351 | unsigned ByteAlignment) { |
Chris Lattner | 9eb158d | 2010-01-23 07:47:02 +0000 | [diff] [blame] | 352 | OS << "\t.comm\t" << *Symbol << ',' << Size; |
Chris Lattner | 6559d76 | 2010-01-25 07:29:13 +0000 | [diff] [blame] | 353 | if (ByteAlignment != 0) { |
Rafael Espindola | 2e2563b | 2010-01-26 20:21:43 +0000 | [diff] [blame] | 354 | if (MAI.getCOMMDirectiveAlignmentIsInBytes()) |
Chris Lattner | 4ed5438 | 2010-01-19 06:01:04 +0000 | [diff] [blame] | 355 | OS << ',' << ByteAlignment; |
| 356 | else |
| 357 | OS << ',' << Log2_32(ByteAlignment); |
| 358 | } |
Chris Lattner | 7d1e49c | 2010-01-22 07:36:39 +0000 | [diff] [blame] | 359 | EmitEOL(); |
Chris Lattner | 4e4db7a | 2009-07-07 20:30:46 +0000 | [diff] [blame] | 360 | } |
| 361 | |
Chris Lattner | 9eb158d | 2010-01-23 07:47:02 +0000 | [diff] [blame] | 362 | /// EmitLocalCommonSymbol - Emit a local common (.lcomm) symbol. |
| 363 | /// |
| 364 | /// @param Symbol - The common symbol to emit. |
| 365 | /// @param Size - The size of the common symbol. |
| 366 | void MCAsmStreamer::EmitLocalCommonSymbol(MCSymbol *Symbol, uint64_t Size) { |
| 367 | assert(MAI.hasLCOMMDirective() && "Doesn't have .lcomm, can't emit it!"); |
| 368 | OS << "\t.lcomm\t" << *Symbol << ',' << Size; |
| 369 | EmitEOL(); |
| 370 | } |
| 371 | |
Daniel Dunbar | 8751b94 | 2009-08-28 05:48:22 +0000 | [diff] [blame] | 372 | void MCAsmStreamer::EmitZerofill(const MCSection *Section, MCSymbol *Symbol, |
Daniel Dunbar | 7092c7e | 2009-08-30 06:17:16 +0000 | [diff] [blame] | 373 | unsigned Size, unsigned ByteAlignment) { |
Daniel Dunbar | 011e4db | 2009-08-13 23:36:34 +0000 | [diff] [blame] | 374 | // Note: a .zerofill directive does not switch sections. |
Chris Lattner | 93b6db3 | 2009-08-08 23:39:42 +0000 | [diff] [blame] | 375 | OS << ".zerofill "; |
Jim Grosbach | 00545e1 | 2010-09-22 18:16:55 +0000 | [diff] [blame] | 376 | |
Chris Lattner | 93b6db3 | 2009-08-08 23:39:42 +0000 | [diff] [blame] | 377 | // This is a mach-o specific directive. |
Chris Lattner | ff4bc46 | 2009-08-10 01:39:42 +0000 | [diff] [blame] | 378 | const MCSectionMachO *MOSection = ((const MCSectionMachO*)Section); |
Daniel Dunbar | 12de0df | 2009-08-14 18:51:45 +0000 | [diff] [blame] | 379 | OS << MOSection->getSegmentName() << "," << MOSection->getSectionName(); |
Jim Grosbach | 00545e1 | 2010-09-22 18:16:55 +0000 | [diff] [blame] | 380 | |
Chris Lattner | 9be3fee | 2009-07-10 22:20:30 +0000 | [diff] [blame] | 381 | if (Symbol != NULL) { |
Chris Lattner | 10b318b | 2010-01-17 21:43:43 +0000 | [diff] [blame] | 382 | OS << ',' << *Symbol << ',' << Size; |
Daniel Dunbar | 7092c7e | 2009-08-30 06:17:16 +0000 | [diff] [blame] | 383 | if (ByteAlignment != 0) |
| 384 | OS << ',' << Log2_32(ByteAlignment); |
Chris Lattner | 9be3fee | 2009-07-10 22:20:30 +0000 | [diff] [blame] | 385 | } |
Chris Lattner | 7d1e49c | 2010-01-22 07:36:39 +0000 | [diff] [blame] | 386 | EmitEOL(); |
Chris Lattner | 9be3fee | 2009-07-10 22:20:30 +0000 | [diff] [blame] | 387 | } |
| 388 | |
Eric Christopher | d04d98d | 2010-05-17 02:13:02 +0000 | [diff] [blame] | 389 | // .tbss sym, size, align |
| 390 | // This depends that the symbol has already been mangled from the original, |
| 391 | // e.g. _a. |
Eric Christopher | 4d01cbe | 2010-05-18 21:16:04 +0000 | [diff] [blame] | 392 | void MCAsmStreamer::EmitTBSSSymbol(const MCSection *Section, MCSymbol *Symbol, |
| 393 | uint64_t Size, unsigned ByteAlignment) { |
Eric Christopher | 482eba0 | 2010-05-14 01:50:28 +0000 | [diff] [blame] | 394 | assert(Symbol != NULL && "Symbol shouldn't be NULL!"); |
Eric Christopher | 4d01cbe | 2010-05-18 21:16:04 +0000 | [diff] [blame] | 395 | // Instead of using the Section we'll just use the shortcut. |
| 396 | // This is a mach-o specific directive and section. |
Eric Christopher | d04d98d | 2010-05-17 02:13:02 +0000 | [diff] [blame] | 397 | OS << ".tbss " << *Symbol << ", " << Size; |
Jim Grosbach | 00545e1 | 2010-09-22 18:16:55 +0000 | [diff] [blame] | 398 | |
Eric Christopher | 4d01cbe | 2010-05-18 21:16:04 +0000 | [diff] [blame] | 399 | // Output align if we have it. We default to 1 so don't bother printing |
| 400 | // that. |
| 401 | if (ByteAlignment > 1) OS << ", " << Log2_32(ByteAlignment); |
Jim Grosbach | 00545e1 | 2010-09-22 18:16:55 +0000 | [diff] [blame] | 402 | |
Eric Christopher | 482eba0 | 2010-05-14 01:50:28 +0000 | [diff] [blame] | 403 | EmitEOL(); |
| 404 | } |
| 405 | |
Chris Lattner | 12e555c | 2010-01-23 00:15:00 +0000 | [diff] [blame] | 406 | static inline char toOctal(int X) { return (X&7)+'0'; } |
| 407 | |
Chris Lattner | a6594fc | 2010-01-25 18:58:59 +0000 | [diff] [blame] | 408 | static void PrintQuotedString(StringRef Data, raw_ostream &OS) { |
| 409 | OS << '"'; |
Jim Grosbach | 00545e1 | 2010-09-22 18:16:55 +0000 | [diff] [blame] | 410 | |
Chris Lattner | a6594fc | 2010-01-25 18:58:59 +0000 | [diff] [blame] | 411 | for (unsigned i = 0, e = Data.size(); i != e; ++i) { |
| 412 | unsigned char C = Data[i]; |
| 413 | if (C == '"' || C == '\\') { |
| 414 | OS << '\\' << (char)C; |
| 415 | continue; |
| 416 | } |
Jim Grosbach | 00545e1 | 2010-09-22 18:16:55 +0000 | [diff] [blame] | 417 | |
Chris Lattner | a6594fc | 2010-01-25 18:58:59 +0000 | [diff] [blame] | 418 | if (isprint((unsigned char)C)) { |
| 419 | OS << (char)C; |
| 420 | continue; |
| 421 | } |
Jim Grosbach | 00545e1 | 2010-09-22 18:16:55 +0000 | [diff] [blame] | 422 | |
Chris Lattner | a6594fc | 2010-01-25 18:58:59 +0000 | [diff] [blame] | 423 | switch (C) { |
| 424 | case '\b': OS << "\\b"; break; |
| 425 | case '\f': OS << "\\f"; break; |
| 426 | case '\n': OS << "\\n"; break; |
| 427 | case '\r': OS << "\\r"; break; |
| 428 | case '\t': OS << "\\t"; break; |
| 429 | default: |
| 430 | OS << '\\'; |
| 431 | OS << toOctal(C >> 6); |
| 432 | OS << toOctal(C >> 3); |
| 433 | OS << toOctal(C >> 0); |
| 434 | break; |
| 435 | } |
| 436 | } |
Jim Grosbach | 00545e1 | 2010-09-22 18:16:55 +0000 | [diff] [blame] | 437 | |
Chris Lattner | a6594fc | 2010-01-25 18:58:59 +0000 | [diff] [blame] | 438 | OS << '"'; |
| 439 | } |
| 440 | |
| 441 | |
Chris Lattner | aaec205 | 2010-01-19 19:46:13 +0000 | [diff] [blame] | 442 | void MCAsmStreamer::EmitBytes(StringRef Data, unsigned AddrSpace) { |
Daniel Dunbar | 71d259b | 2009-06-24 17:00:42 +0000 | [diff] [blame] | 443 | assert(CurSection && "Cannot emit contents before setting section!"); |
Chris Lattner | 12e555c | 2010-01-23 00:15:00 +0000 | [diff] [blame] | 444 | if (Data.empty()) return; |
Jim Grosbach | 00545e1 | 2010-09-22 18:16:55 +0000 | [diff] [blame] | 445 | |
Chris Lattner | 12e555c | 2010-01-23 00:15:00 +0000 | [diff] [blame] | 446 | if (Data.size() == 1) { |
| 447 | OS << MAI.getData8bitsDirective(AddrSpace); |
| 448 | OS << (unsigned)(unsigned char)Data[0]; |
Chris Lattner | 7d1e49c | 2010-01-22 07:36:39 +0000 | [diff] [blame] | 449 | EmitEOL(); |
Chris Lattner | 12e555c | 2010-01-23 00:15:00 +0000 | [diff] [blame] | 450 | return; |
Chris Lattner | 7d1e49c | 2010-01-22 07:36:39 +0000 | [diff] [blame] | 451 | } |
Chris Lattner | 12e555c | 2010-01-23 00:15:00 +0000 | [diff] [blame] | 452 | |
| 453 | // If the data ends with 0 and the target supports .asciz, use it, otherwise |
| 454 | // use .ascii |
| 455 | if (MAI.getAscizDirective() && Data.back() == 0) { |
| 456 | OS << MAI.getAscizDirective(); |
| 457 | Data = Data.substr(0, Data.size()-1); |
| 458 | } else { |
| 459 | OS << MAI.getAsciiDirective(); |
| 460 | } |
| 461 | |
Chris Lattner | a6594fc | 2010-01-25 18:58:59 +0000 | [diff] [blame] | 462 | OS << ' '; |
| 463 | PrintQuotedString(Data, OS); |
Chris Lattner | 12e555c | 2010-01-23 00:15:00 +0000 | [diff] [blame] | 464 | EmitEOL(); |
Daniel Dunbar | a11af53 | 2009-06-24 01:03:06 +0000 | [diff] [blame] | 465 | } |
| 466 | |
Chris Lattner | 32ae3fe | 2010-01-19 22:03:38 +0000 | [diff] [blame] | 467 | /// EmitIntValue - Special case of EmitValue that avoids the client having |
| 468 | /// to pass in a MCExpr for constant integers. |
| 469 | void MCAsmStreamer::EmitIntValue(uint64_t Value, unsigned Size, |
| 470 | unsigned AddrSpace) { |
| 471 | assert(CurSection && "Cannot emit contents before setting section!"); |
Chris Lattner | 32ae3fe | 2010-01-19 22:03:38 +0000 | [diff] [blame] | 472 | const char *Directive = 0; |
| 473 | switch (Size) { |
| 474 | default: break; |
| 475 | case 1: Directive = MAI.getData8bitsDirective(AddrSpace); break; |
| 476 | case 2: Directive = MAI.getData16bitsDirective(AddrSpace); break; |
| 477 | case 4: Directive = MAI.getData32bitsDirective(AddrSpace); break; |
Chris Lattner | 5eaa54e | 2010-01-20 06:45:39 +0000 | [diff] [blame] | 478 | case 8: |
| 479 | Directive = MAI.getData64bitsDirective(AddrSpace); |
| 480 | // If the target doesn't support 64-bit data, emit as two 32-bit halves. |
| 481 | if (Directive) break; |
| 482 | if (isLittleEndian()) { |
| 483 | EmitIntValue((uint32_t)(Value >> 0 ), 4, AddrSpace); |
| 484 | EmitIntValue((uint32_t)(Value >> 32), 4, AddrSpace); |
| 485 | } else { |
| 486 | EmitIntValue((uint32_t)(Value >> 32), 4, AddrSpace); |
| 487 | EmitIntValue((uint32_t)(Value >> 0 ), 4, AddrSpace); |
| 488 | } |
| 489 | return; |
Chris Lattner | 32ae3fe | 2010-01-19 22:03:38 +0000 | [diff] [blame] | 490 | } |
Jim Grosbach | 00545e1 | 2010-09-22 18:16:55 +0000 | [diff] [blame] | 491 | |
Chris Lattner | 32ae3fe | 2010-01-19 22:03:38 +0000 | [diff] [blame] | 492 | assert(Directive && "Invalid size for machine code value!"); |
Chris Lattner | 86e2211 | 2010-01-22 07:29:22 +0000 | [diff] [blame] | 493 | OS << Directive << truncateToSize(Value, Size); |
| 494 | EmitEOL(); |
Chris Lattner | 32ae3fe | 2010-01-19 22:03:38 +0000 | [diff] [blame] | 495 | } |
| 496 | |
Chris Lattner | aaec205 | 2010-01-19 19:46:13 +0000 | [diff] [blame] | 497 | void MCAsmStreamer::EmitValue(const MCExpr *Value, unsigned Size, |
| 498 | unsigned AddrSpace) { |
Daniel Dunbar | 71d259b | 2009-06-24 17:00:42 +0000 | [diff] [blame] | 499 | assert(CurSection && "Cannot emit contents before setting section!"); |
Chris Lattner | 32ae3fe | 2010-01-19 22:03:38 +0000 | [diff] [blame] | 500 | const char *Directive = 0; |
Daniel Dunbar | a11af53 | 2009-06-24 01:03:06 +0000 | [diff] [blame] | 501 | switch (Size) { |
Chris Lattner | 32ae3fe | 2010-01-19 22:03:38 +0000 | [diff] [blame] | 502 | default: break; |
| 503 | case 1: Directive = MAI.getData8bitsDirective(AddrSpace); break; |
| 504 | case 2: Directive = MAI.getData16bitsDirective(AddrSpace); break; |
| 505 | case 4: Directive = MAI.getData32bitsDirective(AddrSpace); break; |
| 506 | case 8: Directive = MAI.getData64bitsDirective(AddrSpace); break; |
Daniel Dunbar | a11af53 | 2009-06-24 01:03:06 +0000 | [diff] [blame] | 507 | } |
Jim Grosbach | 00545e1 | 2010-09-22 18:16:55 +0000 | [diff] [blame] | 508 | |
Chris Lattner | 32ae3fe | 2010-01-19 22:03:38 +0000 | [diff] [blame] | 509 | assert(Directive && "Invalid size for machine code value!"); |
Chris Lattner | 718fb59 | 2010-01-25 21:28:50 +0000 | [diff] [blame] | 510 | OS << Directive << *Value; |
Chris Lattner | 86e2211 | 2010-01-22 07:29:22 +0000 | [diff] [blame] | 511 | EmitEOL(); |
Daniel Dunbar | a11af53 | 2009-06-24 01:03:06 +0000 | [diff] [blame] | 512 | } |
| 513 | |
Rafael Espindola | 3ff5709 | 2010-11-02 17:22:24 +0000 | [diff] [blame] | 514 | void MCAsmStreamer::EmitULEB128Value(const MCExpr *Value, unsigned AddrSpace) { |
| 515 | OS << ".uleb " << *Value; |
| 516 | EmitEOL(); |
| 517 | } |
| 518 | |
| 519 | void MCAsmStreamer::EmitSLEB128Value(const MCExpr *Value, unsigned AddrSpace) { |
| 520 | OS << ".sleb " << *Value; |
| 521 | EmitEOL(); |
| 522 | } |
| 523 | |
Chris Lattner | 718fb59 | 2010-01-25 21:28:50 +0000 | [diff] [blame] | 524 | void MCAsmStreamer::EmitGPRel32Value(const MCExpr *Value) { |
| 525 | assert(MAI.getGPRel32Directive() != 0); |
| 526 | OS << MAI.getGPRel32Directive() << *Value; |
| 527 | EmitEOL(); |
| 528 | } |
| 529 | |
| 530 | |
Chris Lattner | 6113b3d | 2010-01-19 18:52:28 +0000 | [diff] [blame] | 531 | /// EmitFill - Emit NumBytes bytes worth of the value specified by |
| 532 | /// FillValue. This implements directives such as '.space'. |
Chris Lattner | aaec205 | 2010-01-19 19:46:13 +0000 | [diff] [blame] | 533 | void MCAsmStreamer::EmitFill(uint64_t NumBytes, uint8_t FillValue, |
| 534 | unsigned AddrSpace) { |
Chris Lattner | 8a6d7ac | 2010-01-19 18:58:52 +0000 | [diff] [blame] | 535 | if (NumBytes == 0) return; |
Jim Grosbach | 00545e1 | 2010-09-22 18:16:55 +0000 | [diff] [blame] | 536 | |
Chris Lattner | aaec205 | 2010-01-19 19:46:13 +0000 | [diff] [blame] | 537 | if (AddrSpace == 0) |
| 538 | if (const char *ZeroDirective = MAI.getZeroDirective()) { |
| 539 | OS << ZeroDirective << NumBytes; |
| 540 | if (FillValue != 0) |
| 541 | OS << ',' << (int)FillValue; |
Chris Lattner | 86e2211 | 2010-01-22 07:29:22 +0000 | [diff] [blame] | 542 | EmitEOL(); |
Chris Lattner | aaec205 | 2010-01-19 19:46:13 +0000 | [diff] [blame] | 543 | return; |
| 544 | } |
| 545 | |
| 546 | // Emit a byte at a time. |
| 547 | MCStreamer::EmitFill(NumBytes, FillValue, AddrSpace); |
Chris Lattner | 6113b3d | 2010-01-19 18:52:28 +0000 | [diff] [blame] | 548 | } |
| 549 | |
Daniel Dunbar | 84a2926 | 2009-06-24 19:25:34 +0000 | [diff] [blame] | 550 | void MCAsmStreamer::EmitValueToAlignment(unsigned ByteAlignment, int64_t Value, |
| 551 | unsigned ValueSize, |
| 552 | unsigned MaxBytesToEmit) { |
Chris Lattner | 663c2d2 | 2009-08-19 06:12:02 +0000 | [diff] [blame] | 553 | // Some assemblers don't support non-power of two alignments, so we always |
| 554 | // emit alignments as a power of two if possible. |
| 555 | if (isPowerOf2_32(ByteAlignment)) { |
Chris Lattner | 6e579c6 | 2009-08-19 06:35:36 +0000 | [diff] [blame] | 556 | switch (ValueSize) { |
| 557 | default: llvm_unreachable("Invalid size for machine code value!"); |
Chris Lattner | 33adcfb | 2009-08-22 21:43:10 +0000 | [diff] [blame] | 558 | case 1: OS << MAI.getAlignDirective(); break; |
| 559 | // FIXME: use MAI for this! |
Chris Lattner | 6e579c6 | 2009-08-19 06:35:36 +0000 | [diff] [blame] | 560 | case 2: OS << ".p2alignw "; break; |
| 561 | case 4: OS << ".p2alignl "; break; |
| 562 | case 8: llvm_unreachable("Unsupported alignment size!"); |
| 563 | } |
Jim Grosbach | 00545e1 | 2010-09-22 18:16:55 +0000 | [diff] [blame] | 564 | |
Chris Lattner | 33adcfb | 2009-08-22 21:43:10 +0000 | [diff] [blame] | 565 | if (MAI.getAlignmentIsInBytes()) |
Chris Lattner | 663c2d2 | 2009-08-19 06:12:02 +0000 | [diff] [blame] | 566 | OS << ByteAlignment; |
| 567 | else |
| 568 | OS << Log2_32(ByteAlignment); |
Daniel Dunbar | 84a2926 | 2009-06-24 19:25:34 +0000 | [diff] [blame] | 569 | |
Chris Lattner | 663c2d2 | 2009-08-19 06:12:02 +0000 | [diff] [blame] | 570 | if (Value || MaxBytesToEmit) { |
Chris Lattner | 579531c | 2009-09-03 04:01:10 +0000 | [diff] [blame] | 571 | OS << ", 0x"; |
| 572 | OS.write_hex(truncateToSize(Value, ValueSize)); |
Chris Lattner | 663c2d2 | 2009-08-19 06:12:02 +0000 | [diff] [blame] | 573 | |
Jim Grosbach | 00545e1 | 2010-09-22 18:16:55 +0000 | [diff] [blame] | 574 | if (MaxBytesToEmit) |
Chris Lattner | 663c2d2 | 2009-08-19 06:12:02 +0000 | [diff] [blame] | 575 | OS << ", " << MaxBytesToEmit; |
| 576 | } |
Chris Lattner | 7d1e49c | 2010-01-22 07:36:39 +0000 | [diff] [blame] | 577 | EmitEOL(); |
Chris Lattner | 663c2d2 | 2009-08-19 06:12:02 +0000 | [diff] [blame] | 578 | return; |
| 579 | } |
Jim Grosbach | 00545e1 | 2010-09-22 18:16:55 +0000 | [diff] [blame] | 580 | |
Chris Lattner | 663c2d2 | 2009-08-19 06:12:02 +0000 | [diff] [blame] | 581 | // Non-power of two alignment. This is not widely supported by assemblers. |
Chris Lattner | 33adcfb | 2009-08-22 21:43:10 +0000 | [diff] [blame] | 582 | // FIXME: Parameterize this based on MAI. |
Daniel Dunbar | 84a2926 | 2009-06-24 19:25:34 +0000 | [diff] [blame] | 583 | switch (ValueSize) { |
Chris Lattner | 663c2d2 | 2009-08-19 06:12:02 +0000 | [diff] [blame] | 584 | default: llvm_unreachable("Invalid size for machine code value!"); |
| 585 | case 1: OS << ".balign"; break; |
| 586 | case 2: OS << ".balignw"; break; |
| 587 | case 4: OS << ".balignl"; break; |
| 588 | case 8: llvm_unreachable("Unsupported alignment size!"); |
Daniel Dunbar | 84a2926 | 2009-06-24 19:25:34 +0000 | [diff] [blame] | 589 | } |
| 590 | |
Chris Lattner | 663c2d2 | 2009-08-19 06:12:02 +0000 | [diff] [blame] | 591 | OS << ' ' << ByteAlignment; |
Daniel Dunbar | 304f6a4 | 2009-06-25 21:03:18 +0000 | [diff] [blame] | 592 | OS << ", " << truncateToSize(Value, ValueSize); |
Jim Grosbach | 00545e1 | 2010-09-22 18:16:55 +0000 | [diff] [blame] | 593 | if (MaxBytesToEmit) |
Daniel Dunbar | 84a2926 | 2009-06-24 19:25:34 +0000 | [diff] [blame] | 594 | OS << ", " << MaxBytesToEmit; |
Chris Lattner | 7d1e49c | 2010-01-22 07:36:39 +0000 | [diff] [blame] | 595 | EmitEOL(); |
Daniel Dunbar | 84a2926 | 2009-06-24 19:25:34 +0000 | [diff] [blame] | 596 | } |
| 597 | |
Kevin Enderby | 6e72048 | 2010-02-23 18:26:34 +0000 | [diff] [blame] | 598 | void MCAsmStreamer::EmitCodeAlignment(unsigned ByteAlignment, |
| 599 | unsigned MaxBytesToEmit) { |
Chris Lattner | ec167fd | 2010-02-23 18:44:31 +0000 | [diff] [blame] | 600 | // Emit with a text fill value. |
| 601 | EmitValueToAlignment(ByteAlignment, MAI.getTextAlignFillValue(), |
| 602 | 1, MaxBytesToEmit); |
Kevin Enderby | 6e72048 | 2010-02-23 18:26:34 +0000 | [diff] [blame] | 603 | } |
| 604 | |
Daniel Dunbar | 821e333 | 2009-08-31 08:09:28 +0000 | [diff] [blame] | 605 | void MCAsmStreamer::EmitValueToOffset(const MCExpr *Offset, |
Daniel Dunbar | 84a2926 | 2009-06-24 19:25:34 +0000 | [diff] [blame] | 606 | unsigned char Value) { |
| 607 | // FIXME: Verify that Offset is associated with the current section. |
Chris Lattner | 7d1e49c | 2010-01-22 07:36:39 +0000 | [diff] [blame] | 608 | OS << ".org " << *Offset << ", " << (unsigned) Value; |
| 609 | EmitEOL(); |
Daniel Dunbar | 84a2926 | 2009-06-24 19:25:34 +0000 | [diff] [blame] | 610 | } |
| 611 | |
Chris Lattner | a6594fc | 2010-01-25 18:58:59 +0000 | [diff] [blame] | 612 | |
| 613 | void MCAsmStreamer::EmitFileDirective(StringRef Filename) { |
| 614 | assert(MAI.hasSingleParameterDotFile()); |
| 615 | OS << "\t.file\t"; |
| 616 | PrintQuotedString(Filename, OS); |
| 617 | EmitEOL(); |
| 618 | } |
| 619 | |
| 620 | void MCAsmStreamer::EmitDwarfFileDirective(unsigned FileNo, StringRef Filename){ |
| 621 | OS << "\t.file\t" << FileNo << ' '; |
| 622 | PrintQuotedString(Filename, OS); |
| 623 | EmitEOL(); |
| 624 | } |
| 625 | |
Daniel Dunbar | 6b71653 | 2010-02-09 23:00:14 +0000 | [diff] [blame] | 626 | void MCAsmStreamer::AddEncodingComment(const MCInst &Inst) { |
| 627 | raw_ostream &OS = GetCommentOS(); |
| 628 | SmallString<256> Code; |
| 629 | SmallVector<MCFixup, 4> Fixups; |
| 630 | raw_svector_ostream VecOS(Code); |
| 631 | Emitter->EncodeInstruction(Inst, VecOS, Fixups); |
| 632 | VecOS.flush(); |
Chris Lattner | a6594fc | 2010-01-25 18:58:59 +0000 | [diff] [blame] | 633 | |
Daniel Dunbar | 6b71653 | 2010-02-09 23:00:14 +0000 | [diff] [blame] | 634 | // If we are showing fixups, create symbolic markers in the encoded |
| 635 | // representation. We do this by making a per-bit map to the fixup item index, |
| 636 | // then trying to display it as nicely as possible. |
Daniel Dunbar | 5532cf4 | 2010-02-10 01:41:14 +0000 | [diff] [blame] | 637 | SmallVector<uint8_t, 64> FixupMap; |
| 638 | FixupMap.resize(Code.size() * 8); |
Daniel Dunbar | 6b71653 | 2010-02-09 23:00:14 +0000 | [diff] [blame] | 639 | for (unsigned i = 0, e = Code.size() * 8; i != e; ++i) |
| 640 | FixupMap[i] = 0; |
| 641 | |
| 642 | for (unsigned i = 0, e = Fixups.size(); i != e; ++i) { |
| 643 | MCFixup &F = Fixups[i]; |
Chris Lattner | 8d31de6 | 2010-02-11 21:27:18 +0000 | [diff] [blame] | 644 | const MCFixupKindInfo &Info = Emitter->getFixupKindInfo(F.getKind()); |
Daniel Dunbar | 6b71653 | 2010-02-09 23:00:14 +0000 | [diff] [blame] | 645 | for (unsigned j = 0; j != Info.TargetSize; ++j) { |
| 646 | unsigned Index = F.getOffset() * 8 + Info.TargetOffset + j; |
| 647 | assert(Index < Code.size() * 8 && "Invalid offset in fixup!"); |
| 648 | FixupMap[Index] = 1 + i; |
| 649 | } |
| 650 | } |
| 651 | |
| 652 | OS << "encoding: ["; |
| 653 | for (unsigned i = 0, e = Code.size(); i != e; ++i) { |
| 654 | if (i) |
| 655 | OS << ','; |
| 656 | |
| 657 | // See if all bits are the same map entry. |
| 658 | uint8_t MapEntry = FixupMap[i * 8 + 0]; |
| 659 | for (unsigned j = 1; j != 8; ++j) { |
| 660 | if (FixupMap[i * 8 + j] == MapEntry) |
| 661 | continue; |
| 662 | |
| 663 | MapEntry = uint8_t(~0U); |
| 664 | break; |
| 665 | } |
| 666 | |
| 667 | if (MapEntry != uint8_t(~0U)) { |
| 668 | if (MapEntry == 0) { |
| 669 | OS << format("0x%02x", uint8_t(Code[i])); |
| 670 | } else { |
| 671 | assert(Code[i] == 0 && "Encoder wrote into fixed up bit!"); |
| 672 | OS << char('A' + MapEntry - 1); |
| 673 | } |
| 674 | } else { |
| 675 | // Otherwise, write out in binary. |
| 676 | OS << "0b"; |
| 677 | for (unsigned j = 8; j--;) { |
| 678 | unsigned Bit = (Code[i] >> j) & 1; |
| 679 | if (uint8_t MapEntry = FixupMap[i * 8 + j]) { |
| 680 | assert(Bit == 0 && "Encoder wrote into fixed up bit!"); |
| 681 | OS << char('A' + MapEntry - 1); |
| 682 | } else |
| 683 | OS << Bit; |
| 684 | } |
| 685 | } |
| 686 | } |
| 687 | OS << "]\n"; |
| 688 | |
| 689 | for (unsigned i = 0, e = Fixups.size(); i != e; ++i) { |
| 690 | MCFixup &F = Fixups[i]; |
Chris Lattner | 8d31de6 | 2010-02-11 21:27:18 +0000 | [diff] [blame] | 691 | const MCFixupKindInfo &Info = Emitter->getFixupKindInfo(F.getKind()); |
Daniel Dunbar | 6b71653 | 2010-02-09 23:00:14 +0000 | [diff] [blame] | 692 | OS << " fixup " << char('A' + i) << " - " << "offset: " << F.getOffset() |
Daniel Dunbar | 5d5a1e1 | 2010-02-10 04:47:08 +0000 | [diff] [blame] | 693 | << ", value: " << *F.getValue() << ", kind: " << Info.Name << "\n"; |
Daniel Dunbar | 6b71653 | 2010-02-09 23:00:14 +0000 | [diff] [blame] | 694 | } |
| 695 | } |
| 696 | |
| 697 | void MCAsmStreamer::EmitInstruction(const MCInst &Inst) { |
| 698 | assert(CurSection && "Cannot emit contents before setting section!"); |
| 699 | |
| 700 | // Show the encoding in a comment if we have a code emitter. |
| 701 | if (Emitter) |
| 702 | AddEncodingComment(Inst); |
| 703 | |
Chris Lattner | 30d9a64 | 2010-02-09 00:54:51 +0000 | [diff] [blame] | 704 | // Show the MCInst if enabled. |
Daniel Dunbar | c9adb8c | 2010-05-26 15:18:13 +0000 | [diff] [blame] | 705 | if (ShowInst) { |
Daniel Dunbar | 67c076c | 2010-03-22 21:49:34 +0000 | [diff] [blame] | 706 | Inst.dump_pretty(GetCommentOS(), &MAI, InstPrinter.get(), "\n "); |
Daniel Dunbar | c9adb8c | 2010-05-26 15:18:13 +0000 | [diff] [blame] | 707 | GetCommentOS() << "\n"; |
| 708 | } |
| 709 | |
Daniel Dunbar | 67c076c | 2010-03-22 21:49:34 +0000 | [diff] [blame] | 710 | // If we have an AsmPrinter, use that to print, otherwise print the MCInst. |
Daniel Dunbar | 9dee8e3 | 2010-02-03 18:18:30 +0000 | [diff] [blame] | 711 | if (InstPrinter) |
Chris Lattner | d374087 | 2010-04-04 05:04:31 +0000 | [diff] [blame] | 712 | InstPrinter->printInst(&Inst, OS); |
Daniel Dunbar | 9dee8e3 | 2010-02-03 18:18:30 +0000 | [diff] [blame] | 713 | else |
| 714 | Inst.print(OS, &MAI); |
Chris Lattner | 7d1e49c | 2010-01-22 07:36:39 +0000 | [diff] [blame] | 715 | EmitEOL(); |
Daniel Dunbar | a11af53 | 2009-06-24 01:03:06 +0000 | [diff] [blame] | 716 | } |
| 717 | |
Jim Grosbach | bd4ec84 | 2010-09-22 18:18:30 +0000 | [diff] [blame] | 718 | /// EmitRawText - If this file is backed by an assembly streamer, this dumps |
Chris Lattner | 91bead7 | 2010-04-03 21:35:55 +0000 | [diff] [blame] | 719 | /// the specified string in the output .s file. This capability is |
| 720 | /// indicated by the hasRawTextSupport() predicate. |
| 721 | void MCAsmStreamer::EmitRawText(StringRef String) { |
Chris Lattner | d5928dc | 2010-04-03 22:06:56 +0000 | [diff] [blame] | 722 | if (!String.empty() && String.back() == '\n') |
| 723 | String = String.substr(0, String.size()-1); |
Chris Lattner | 91bead7 | 2010-04-03 21:35:55 +0000 | [diff] [blame] | 724 | OS << String; |
Chris Lattner | d5928dc | 2010-04-03 22:06:56 +0000 | [diff] [blame] | 725 | EmitEOL(); |
Chris Lattner | 91bead7 | 2010-04-03 21:35:55 +0000 | [diff] [blame] | 726 | } |
| 727 | |
Daniel Dunbar | a11af53 | 2009-06-24 01:03:06 +0000 | [diff] [blame] | 728 | void MCAsmStreamer::Finish() { |
Daniel Dunbar | a11af53 | 2009-06-24 01:03:06 +0000 | [diff] [blame] | 729 | } |
Daniel Dunbar | 9dee8e3 | 2010-02-03 18:18:30 +0000 | [diff] [blame] | 730 | |
Chris Lattner | 86e2211 | 2010-01-22 07:29:22 +0000 | [diff] [blame] | 731 | MCStreamer *llvm::createAsmStreamer(MCContext &Context, |
| 732 | formatted_raw_ostream &OS, |
Chris Lattner | fdab14b | 2010-03-12 18:28:53 +0000 | [diff] [blame] | 733 | bool isLittleEndian, |
Chris Lattner | 0740441 | 2010-01-22 07:06:15 +0000 | [diff] [blame] | 734 | bool isVerboseAsm, MCInstPrinter *IP, |
Daniel Dunbar | 5532cf4 | 2010-02-10 01:41:14 +0000 | [diff] [blame] | 735 | MCCodeEmitter *CE, bool ShowInst) { |
Chris Lattner | fdab14b | 2010-03-12 18:28:53 +0000 | [diff] [blame] | 736 | return new MCAsmStreamer(Context, OS, isLittleEndian, isVerboseAsm, |
Daniel Dunbar | 5532cf4 | 2010-02-10 01:41:14 +0000 | [diff] [blame] | 737 | IP, CE, ShowInst); |
Daniel Dunbar | a11af53 | 2009-06-24 01:03:06 +0000 | [diff] [blame] | 738 | } |