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