Chris Lattner | 27aa7d2 | 2009-06-21 20:16:42 +0000 | [diff] [blame] | 1 | //===- AsmParser.h - Parser for Assembly Files ------------------*- C++ -*-===// |
| 2 | // |
| 3 | // The LLVM Compiler Infrastructure |
| 4 | // |
| 5 | // This file is distributed under the University of Illinois Open Source |
| 6 | // License. See LICENSE.TXT for details. |
| 7 | // |
| 8 | //===----------------------------------------------------------------------===// |
| 9 | // |
| 10 | // This class declares the parser for assembly files. |
| 11 | // |
| 12 | //===----------------------------------------------------------------------===// |
| 13 | |
| 14 | #ifndef ASMPARSER_H |
| 15 | #define ASMPARSER_H |
| 16 | |
Kevin Enderby | c114ed7 | 2009-08-07 22:46:00 +0000 | [diff] [blame] | 17 | #include <vector> |
Chris Lattner | 27aa7d2 | 2009-06-21 20:16:42 +0000 | [diff] [blame] | 18 | #include "AsmLexer.h" |
Kevin Enderby | c114ed7 | 2009-08-07 22:46:00 +0000 | [diff] [blame] | 19 | #include "AsmCond.h" |
Daniel Dunbar | a3af370 | 2009-07-20 18:55:04 +0000 | [diff] [blame] | 20 | #include "llvm/MC/MCAsmParser.h" |
Daniel Dunbar | 7c0a334 | 2009-08-26 22:49:51 +0000 | [diff] [blame] | 21 | #include "llvm/MC/MCSectionMachO.h" |
Daniel Dunbar | d7b267b | 2009-06-30 00:33:19 +0000 | [diff] [blame] | 22 | #include "llvm/MC/MCStreamer.h" |
Chris Lattner | 27aa7d2 | 2009-06-21 20:16:42 +0000 | [diff] [blame] | 23 | |
| 24 | namespace llvm { |
Kevin Enderby | c114ed7 | 2009-08-07 22:46:00 +0000 | [diff] [blame] | 25 | class AsmCond; |
Chris Lattner | c69485e | 2009-06-24 04:31:49 +0000 | [diff] [blame] | 26 | class MCContext; |
Daniel Dunbar | 28c251b | 2009-08-31 08:06:59 +0000 | [diff] [blame] | 27 | class MCExpr; |
Chris Lattner | 29dfe7c | 2009-06-23 18:41:30 +0000 | [diff] [blame] | 28 | class MCInst; |
Chris Lattner | cbc23f7 | 2009-06-24 00:52:40 +0000 | [diff] [blame] | 29 | class MCStreamer; |
Daniel Dunbar | 15d1707 | 2009-06-30 01:49:52 +0000 | [diff] [blame] | 30 | class MCValue; |
Daniel Dunbar | dbd692a | 2009-07-20 20:01:54 +0000 | [diff] [blame] | 31 | class TargetAsmParser; |
Daniel Dunbar | f9507ff | 2009-07-27 23:20:52 +0000 | [diff] [blame] | 32 | class Twine; |
Daniel Dunbar | 15d1707 | 2009-06-30 01:49:52 +0000 | [diff] [blame] | 33 | |
Daniel Dunbar | a2edbab | 2009-07-28 20:47:52 +0000 | [diff] [blame] | 34 | class AsmParser : public MCAsmParser { |
Daniel Dunbar | d9627e1 | 2009-06-30 23:38:38 +0000 | [diff] [blame] | 35 | private: |
Chris Lattner | 27aa7d2 | 2009-06-21 20:16:42 +0000 | [diff] [blame] | 36 | AsmLexer Lexer; |
Chris Lattner | c69485e | 2009-06-24 04:31:49 +0000 | [diff] [blame] | 37 | MCContext &Ctx; |
Chris Lattner | cbc23f7 | 2009-06-24 00:52:40 +0000 | [diff] [blame] | 38 | MCStreamer &Out; |
Daniel Dunbar | a2edbab | 2009-07-28 20:47:52 +0000 | [diff] [blame] | 39 | TargetAsmParser *TargetParser; |
Kevin Enderby | c114ed7 | 2009-08-07 22:46:00 +0000 | [diff] [blame] | 40 | |
| 41 | AsmCond TheCondState; |
| 42 | std::vector<AsmCond> TheCondStack; |
| 43 | |
Daniel Dunbar | 7c0a334 | 2009-08-26 22:49:51 +0000 | [diff] [blame] | 44 | // FIXME: Figure out where this should leave, the code is a copy of that which |
| 45 | // is also used by TargetLoweringObjectFile. |
| 46 | mutable void *SectionUniquingMap; |
| 47 | |
Chris Lattner | 27aa7d2 | 2009-06-21 20:16:42 +0000 | [diff] [blame] | 48 | public: |
Daniel Dunbar | a2edbab | 2009-07-28 20:47:52 +0000 | [diff] [blame] | 49 | AsmParser(SourceMgr &_SM, MCContext &_Ctx, MCStreamer &_Out) |
Daniel Dunbar | 7c0a334 | 2009-08-26 22:49:51 +0000 | [diff] [blame] | 50 | : Lexer(_SM), Ctx(_Ctx), Out(_Out), TargetParser(0), |
| 51 | SectionUniquingMap(0) {} |
| 52 | ~AsmParser(); |
Daniel Dunbar | a2edbab | 2009-07-28 20:47:52 +0000 | [diff] [blame] | 53 | |
Chris Lattner | 27aa7d2 | 2009-06-21 20:16:42 +0000 | [diff] [blame] | 54 | bool Run(); |
| 55 | |
Daniel Dunbar | a3af370 | 2009-07-20 18:55:04 +0000 | [diff] [blame] | 56 | public: |
Daniel Dunbar | a2edbab | 2009-07-28 20:47:52 +0000 | [diff] [blame] | 57 | TargetAsmParser &getTargetParser() const { return *TargetParser; } |
| 58 | void setTargetParser(TargetAsmParser &P) { TargetParser = &P; } |
Daniel Dunbar | a3af370 | 2009-07-20 18:55:04 +0000 | [diff] [blame] | 59 | |
Daniel Dunbar | e240beb | 2009-07-28 22:22:31 +0000 | [diff] [blame] | 60 | /// @name MCAsmParser Interface |
| 61 | /// { |
| 62 | |
Daniel Dunbar | dbd692a | 2009-07-20 20:01:54 +0000 | [diff] [blame] | 63 | virtual MCAsmLexer &getLexer() { return Lexer; } |
| 64 | |
Daniel Dunbar | 6ce004d | 2009-08-31 08:07:44 +0000 | [diff] [blame] | 65 | virtual MCContext &getContext() { return Ctx; } |
| 66 | |
Daniel Dunbar | e240beb | 2009-07-28 22:22:31 +0000 | [diff] [blame] | 67 | virtual void Warning(SMLoc L, const Twine &Meg); |
| 68 | |
| 69 | virtual bool Error(SMLoc L, const Twine &Msg); |
| 70 | |
Daniel Dunbar | 9643ac5 | 2009-08-31 08:07:22 +0000 | [diff] [blame] | 71 | virtual bool ParseExpression(const MCExpr *&Res); |
Daniel Dunbar | e240beb | 2009-07-28 22:22:31 +0000 | [diff] [blame] | 72 | |
Daniel Dunbar | c18274b | 2009-08-31 08:08:17 +0000 | [diff] [blame^] | 73 | virtual bool ParseParenExpression(const MCExpr *&Res); |
| 74 | |
Daniel Dunbar | e240beb | 2009-07-28 22:22:31 +0000 | [diff] [blame] | 75 | virtual bool ParseAbsoluteExpression(int64_t &Res); |
| 76 | |
| 77 | virtual bool ParseRelocatableExpression(MCValue &Res); |
| 78 | |
Daniel Dunbar | 6ce004d | 2009-08-31 08:07:44 +0000 | [diff] [blame] | 79 | virtual bool ParseParenRelocatableExpression(MCValue &Res); |
| 80 | |
Daniel Dunbar | e240beb | 2009-07-28 22:22:31 +0000 | [diff] [blame] | 81 | /// } |
| 82 | |
Chris Lattner | b0789ed | 2009-06-21 20:54:55 +0000 | [diff] [blame] | 83 | private: |
Daniel Dunbar | 959fd88 | 2009-08-26 22:13:22 +0000 | [diff] [blame] | 84 | MCSymbol *CreateSymbol(StringRef Name); |
| 85 | |
Daniel Dunbar | 7c0a334 | 2009-08-26 22:49:51 +0000 | [diff] [blame] | 86 | // FIXME: See comment on SectionUniquingMap. |
| 87 | const MCSection *getMachOSection(const StringRef &Segment, |
| 88 | const StringRef &Section, |
| 89 | unsigned TypeAndAttributes, |
| 90 | unsigned Reserved2, |
| 91 | SectionKind Kind) const; |
| 92 | |
Chris Lattner | b0789ed | 2009-06-21 20:54:55 +0000 | [diff] [blame] | 93 | bool ParseStatement(); |
Daniel Dunbar | 3fb7683 | 2009-06-30 00:49:23 +0000 | [diff] [blame] | 94 | |
Chris Lattner | 14ee48a | 2009-06-21 21:22:11 +0000 | [diff] [blame] | 95 | bool TokError(const char *Msg); |
Chris Lattner | 2cf5f14 | 2009-06-22 01:29:09 +0000 | [diff] [blame] | 96 | |
Kevin Enderby | c114ed7 | 2009-08-07 22:46:00 +0000 | [diff] [blame] | 97 | bool ParseConditionalAssemblyDirectives(StringRef Directive, |
| 98 | SMLoc DirectiveLoc); |
Chris Lattner | 2cf5f14 | 2009-06-22 01:29:09 +0000 | [diff] [blame] | 99 | void EatToEndOfStatement(); |
| 100 | |
Daniel Dunbar | 9a7e2cc | 2009-07-27 21:49:56 +0000 | [diff] [blame] | 101 | bool ParseAssignment(const StringRef &Name, bool IsDotSet); |
Daniel Dunbar | 475839e | 2009-06-29 20:37:27 +0000 | [diff] [blame] | 102 | |
Daniel Dunbar | 9643ac5 | 2009-08-31 08:07:22 +0000 | [diff] [blame] | 103 | bool ParsePrimaryExpr(const MCExpr *&Res); |
| 104 | bool ParseBinOpRHS(unsigned Precedence, const MCExpr *&Res); |
| 105 | bool ParseParenExpr(const MCExpr *&Res); |
Daniel Dunbar | a6b3c5d | 2009-08-01 00:48:30 +0000 | [diff] [blame] | 106 | |
| 107 | /// ParseIdentifier - Parse an identifier or string (as a quoted identifier) |
| 108 | /// and set \arg Res to the identifier contents. |
| 109 | bool ParseIdentifier(StringRef &Res); |
Chris Lattner | 29dfe7c | 2009-06-23 18:41:30 +0000 | [diff] [blame] | 110 | |
Chris Lattner | 9a023f7 | 2009-06-24 04:43:34 +0000 | [diff] [blame] | 111 | // Directive Parsing. |
Chris Lattner | 529fb54 | 2009-06-24 05:13:15 +0000 | [diff] [blame] | 112 | bool ParseDirectiveDarwinSection(); // Darwin specific ".section". |
Chris Lattner | ff4bc46 | 2009-08-10 01:39:42 +0000 | [diff] [blame] | 113 | bool ParseDirectiveSectionSwitch(const char *Segment, const char *Section, |
Daniel Dunbar | b3f3c03 | 2009-08-21 08:34:18 +0000 | [diff] [blame] | 114 | unsigned TAA = 0, unsigned ImplicitAlign = 0, |
| 115 | unsigned StubSize = 0); |
Daniel Dunbar | a0d1426 | 2009-06-24 23:30:00 +0000 | [diff] [blame] | 116 | bool ParseDirectiveAscii(bool ZeroTerminated); // ".ascii", ".asciiz" |
| 117 | bool ParseDirectiveValue(unsigned Size); // ".byte", ".long", ... |
| 118 | bool ParseDirectiveFill(); // ".fill" |
| 119 | bool ParseDirectiveSpace(); // ".space" |
Daniel Dunbar | 8f780cd | 2009-06-25 21:56:11 +0000 | [diff] [blame] | 120 | bool ParseDirectiveSet(); // ".set" |
Daniel Dunbar | c238b58 | 2009-06-25 22:44:51 +0000 | [diff] [blame] | 121 | bool ParseDirectiveOrg(); // ".org" |
Daniel Dunbar | c29dfa7 | 2009-06-29 23:46:59 +0000 | [diff] [blame] | 122 | // ".align{,32}", ".p2align{,w,l}" |
| 123 | bool ParseDirectiveAlign(bool IsPow2, unsigned ValueSize); |
Daniel Dunbar | d7b267b | 2009-06-30 00:33:19 +0000 | [diff] [blame] | 124 | |
| 125 | /// ParseDirectiveSymbolAttribute - Parse a directive like ".globl" which |
| 126 | /// accepts a single symbol (which should be a label or an external). |
| 127 | bool ParseDirectiveSymbolAttribute(MCStreamer::SymbolAttr Attr); |
Kevin Enderby | 95cf30c | 2009-07-14 18:17:10 +0000 | [diff] [blame] | 128 | bool ParseDirectiveDarwinSymbolDesc(); // Darwin specific ".desc" |
Kevin Enderby | 7114824 | 2009-07-14 21:35:03 +0000 | [diff] [blame] | 129 | bool ParseDirectiveDarwinLsym(); // Darwin specific ".lsym" |
Chris Lattner | 4e4db7a | 2009-07-07 20:30:46 +0000 | [diff] [blame] | 130 | |
Chris Lattner | 1fc3d75 | 2009-07-09 17:25:12 +0000 | [diff] [blame] | 131 | bool ParseDirectiveComm(bool IsLocal); // ".comm" and ".lcomm" |
Chris Lattner | 9be3fee | 2009-07-10 22:20:30 +0000 | [diff] [blame] | 132 | bool ParseDirectiveDarwinZerofill(); // Darwin specific ".zerofill" |
Kevin Enderby | a5c7832 | 2009-07-13 21:03:15 +0000 | [diff] [blame] | 133 | |
| 134 | // Darwin specific ".subsections_via_symbols" |
| 135 | bool ParseDirectiveDarwinSubsectionsViaSymbols(); |
Kevin Enderby | 6e68cd9 | 2009-07-15 15:30:11 +0000 | [diff] [blame] | 136 | // Darwin specific .dump and .load |
Kevin Enderby | 5026ae4 | 2009-07-20 20:25:37 +0000 | [diff] [blame] | 137 | bool ParseDirectiveDarwinDumpOrLoad(SMLoc IDLoc, bool IsDump); |
Kevin Enderby | 5f1f0b8 | 2009-07-13 23:15:14 +0000 | [diff] [blame] | 138 | |
| 139 | bool ParseDirectiveAbort(); // ".abort" |
Kevin Enderby | 1f049b2 | 2009-07-14 23:21:55 +0000 | [diff] [blame] | 140 | bool ParseDirectiveInclude(); // ".include" |
Kevin Enderby | c114ed7 | 2009-08-07 22:46:00 +0000 | [diff] [blame] | 141 | |
| 142 | bool ParseDirectiveIf(SMLoc DirectiveLoc); // ".if" |
| 143 | bool ParseDirectiveElseIf(SMLoc DirectiveLoc); // ".elseif" |
| 144 | bool ParseDirectiveElse(SMLoc DirectiveLoc); // ".else" |
| 145 | bool ParseDirectiveEndIf(SMLoc DirectiveLoc); // .endif |
| 146 | |
Daniel Dunbar | d0c14d6 | 2009-08-11 04:24:50 +0000 | [diff] [blame] | 147 | bool ParseDirectiveFile(SMLoc DirectiveLoc); // ".file" |
| 148 | bool ParseDirectiveLine(SMLoc DirectiveLoc); // ".line" |
| 149 | bool ParseDirectiveLoc(SMLoc DirectiveLoc); // ".loc" |
Daniel Dunbar | 1ab7594 | 2009-08-14 18:19:52 +0000 | [diff] [blame] | 150 | |
| 151 | /// ParseEscapedString - Parse the current token as a string which may include |
| 152 | /// escaped characters and return the string contents. |
| 153 | bool ParseEscapedString(std::string &Data); |
Chris Lattner | 27aa7d2 | 2009-06-21 20:16:42 +0000 | [diff] [blame] | 154 | }; |
| 155 | |
| 156 | } // end namespace llvm |
| 157 | |
| 158 | #endif |