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