Chris Lattner | f460165 | 2007-11-22 20:49:04 +0000 | [diff] [blame] | 1 | //===- TGParser.h - Parser for TableGen Files -------------------*- C++ -*-===// |
| 2 | // |
| 3 | // The LLVM Compiler Infrastructure |
| 4 | // |
Chris Lattner | 3060910 | 2007-12-29 20:37:13 +0000 | [diff] [blame] | 5 | // This file is distributed under the University of Illinois Open Source |
| 6 | // License. See LICENSE.TXT for details. |
Chris Lattner | f460165 | 2007-11-22 20:49:04 +0000 | [diff] [blame] | 7 | // |
| 8 | //===----------------------------------------------------------------------===// |
| 9 | // |
| 10 | // This class represents the Parser for tablegen files. |
| 11 | // |
| 12 | //===----------------------------------------------------------------------===// |
| 13 | |
| 14 | #ifndef TGPARSER_H |
| 15 | #define TGPARSER_H |
| 16 | |
| 17 | #include "TGLexer.h" |
Jim Grosbach | 0b6a44a | 2011-06-21 22:55:50 +0000 | [diff] [blame] | 18 | #include "Error.h" |
Benjamin Kramer | d1e1703 | 2010-09-27 17:42:11 +0000 | [diff] [blame] | 19 | #include "llvm/ADT/Twine.h" |
Chris Lattner | 099e198 | 2009-06-21 03:36:54 +0000 | [diff] [blame] | 20 | #include "llvm/Support/SourceMgr.h" |
Chris Lattner | f460165 | 2007-11-22 20:49:04 +0000 | [diff] [blame] | 21 | #include <map> |
| 22 | |
| 23 | namespace llvm { |
| 24 | class Record; |
| 25 | class RecordVal; |
Chris Lattner | 67db883 | 2010-12-13 00:23:57 +0000 | [diff] [blame] | 26 | class RecordKeeper; |
Jakob Stoklund Olesen | 77f8274 | 2011-07-18 17:02:57 +0000 | [diff] [blame] | 27 | class RecTy; |
David Greene | afd5426 | 2011-07-13 22:25:51 +0000 | [diff] [blame] | 28 | class Init; |
Chris Lattner | f460165 | 2007-11-22 20:49:04 +0000 | [diff] [blame] | 29 | struct MultiClass; |
Sebastian Redl | 48fe635 | 2009-03-19 23:26:52 +0000 | [diff] [blame] | 30 | struct SubClassReference; |
David Greene | de444af | 2009-04-22 16:42:54 +0000 | [diff] [blame] | 31 | struct SubMultiClassReference; |
Chris Lattner | f460165 | 2007-11-22 20:49:04 +0000 | [diff] [blame] | 32 | |
| 33 | struct LetRecord { |
| 34 | std::string Name; |
| 35 | std::vector<unsigned> Bits; |
David Greene | 05bce0b | 2011-07-29 22:43:06 +0000 | [diff] [blame] | 36 | Init *Value; |
Chris Lattner | 1e3a8a4 | 2009-06-21 03:39:35 +0000 | [diff] [blame] | 37 | SMLoc Loc; |
David Greene | 05bce0b | 2011-07-29 22:43:06 +0000 | [diff] [blame] | 38 | LetRecord(const std::string &N, const std::vector<unsigned> &B, Init *V, |
Eric Christopher | d568b3f | 2011-07-11 23:06:52 +0000 | [diff] [blame] | 39 | SMLoc L) |
Chris Lattner | f460165 | 2007-11-22 20:49:04 +0000 | [diff] [blame] | 40 | : Name(N), Bits(B), Value(V), Loc(L) { |
| 41 | } |
| 42 | }; |
| 43 | |
| 44 | class TGParser { |
| 45 | TGLexer Lex; |
| 46 | std::vector<std::vector<LetRecord> > LetStack; |
| 47 | std::map<std::string, MultiClass*> MultiClasses; |
| 48 | |
| 49 | /// CurMultiClass - If we are parsing a 'multiclass' definition, this is the |
| 50 | /// current value. |
| 51 | MultiClass *CurMultiClass; |
Chris Lattner | 67db883 | 2010-12-13 00:23:57 +0000 | [diff] [blame] | 52 | |
| 53 | // Record tracker |
Chris Lattner | 9c6b60e | 2010-12-15 04:48:22 +0000 | [diff] [blame] | 54 | RecordKeeper &Records; |
Chris Lattner | f460165 | 2007-11-22 20:49:04 +0000 | [diff] [blame] | 55 | public: |
Chris Lattner | 9c6b60e | 2010-12-15 04:48:22 +0000 | [diff] [blame] | 56 | TGParser(SourceMgr &SrcMgr, RecordKeeper &records) : |
Chris Lattner | 67db883 | 2010-12-13 00:23:57 +0000 | [diff] [blame] | 57 | Lex(SrcMgr), CurMultiClass(0), Records(records) {} |
Chris Lattner | f460165 | 2007-11-22 20:49:04 +0000 | [diff] [blame] | 58 | |
Chris Lattner | f460165 | 2007-11-22 20:49:04 +0000 | [diff] [blame] | 59 | /// ParseFile - Main entrypoint for parsing a tblgen file. These parser |
| 60 | /// routines return true on error, or false on success. |
| 61 | bool ParseFile(); |
| 62 | |
Benjamin Kramer | d1e1703 | 2010-09-27 17:42:11 +0000 | [diff] [blame] | 63 | bool Error(SMLoc L, const Twine &Msg) const { |
Jim Grosbach | 0b6a44a | 2011-06-21 22:55:50 +0000 | [diff] [blame] | 64 | PrintError(L, Msg); |
Chris Lattner | f460165 | 2007-11-22 20:49:04 +0000 | [diff] [blame] | 65 | return true; |
| 66 | } |
Benjamin Kramer | d1e1703 | 2010-09-27 17:42:11 +0000 | [diff] [blame] | 67 | bool TokError(const Twine &Msg) const { |
Chris Lattner | f460165 | 2007-11-22 20:49:04 +0000 | [diff] [blame] | 68 | return Error(Lex.getLoc(), Msg); |
| 69 | } |
Joerg Sonnenberger | dd13790 | 2011-06-01 13:10:15 +0000 | [diff] [blame] | 70 | const std::vector<std::string> &getDependencies() const { |
| 71 | return Lex.getDependencies(); |
| 72 | } |
Chris Lattner | f460165 | 2007-11-22 20:49:04 +0000 | [diff] [blame] | 73 | private: // Semantic analysis methods. |
Chris Lattner | 1e3a8a4 | 2009-06-21 03:39:35 +0000 | [diff] [blame] | 74 | bool AddValue(Record *TheRec, SMLoc Loc, const RecordVal &RV); |
| 75 | bool SetValue(Record *TheRec, SMLoc Loc, const std::string &ValName, |
David Greene | 05bce0b | 2011-07-29 22:43:06 +0000 | [diff] [blame] | 76 | const std::vector<unsigned> &BitList, Init *V); |
Cedric Venet | aff9c27 | 2009-02-14 16:06:42 +0000 | [diff] [blame] | 77 | bool AddSubClass(Record *Rec, SubClassReference &SubClass); |
Bob Wilson | 440548d | 2009-04-30 18:26:19 +0000 | [diff] [blame] | 78 | bool AddSubMultiClass(MultiClass *CurMC, |
| 79 | SubMultiClassReference &SubMultiClass); |
Chris Lattner | f460165 | 2007-11-22 20:49:04 +0000 | [diff] [blame] | 80 | |
| 81 | private: // Parser methods. |
Bruno Cardoso Lopes | ee65db3 | 2010-06-10 02:42:59 +0000 | [diff] [blame] | 82 | bool ParseObjectList(MultiClass *MC = 0); |
| 83 | bool ParseObject(MultiClass *MC); |
Chris Lattner | f460165 | 2007-11-22 20:49:04 +0000 | [diff] [blame] | 84 | bool ParseClass(); |
| 85 | bool ParseMultiClass(); |
Bruno Cardoso Lopes | ee65db3 | 2010-06-10 02:42:59 +0000 | [diff] [blame] | 86 | bool ParseDefm(MultiClass *CurMultiClass); |
| 87 | bool ParseDef(MultiClass *CurMultiClass); |
| 88 | bool ParseTopLevelLet(MultiClass *CurMultiClass); |
Chris Lattner | f460165 | 2007-11-22 20:49:04 +0000 | [diff] [blame] | 89 | std::vector<LetRecord> ParseLetList(); |
| 90 | |
Chris Lattner | f460165 | 2007-11-22 20:49:04 +0000 | [diff] [blame] | 91 | bool ParseObjectBody(Record *CurRec); |
| 92 | bool ParseBody(Record *CurRec); |
| 93 | bool ParseBodyItem(Record *CurRec); |
| 94 | |
| 95 | bool ParseTemplateArgList(Record *CurRec); |
| 96 | std::string ParseDeclaration(Record *CurRec, bool ParsingTemplateArgs); |
| 97 | |
| 98 | SubClassReference ParseSubClassReference(Record *CurRec, bool isDefm); |
Bob Wilson | 440548d | 2009-04-30 18:26:19 +0000 | [diff] [blame] | 99 | SubMultiClassReference ParseSubMultiClassReference(MultiClass *CurMC); |
Chris Lattner | f460165 | 2007-11-22 20:49:04 +0000 | [diff] [blame] | 100 | |
David Greene | 05bce0b | 2011-07-29 22:43:06 +0000 | [diff] [blame] | 101 | Init *ParseIDValue(Record *CurRec); |
| 102 | Init *ParseIDValue(Record *CurRec, const std::string &Name, SMLoc NameLoc); |
| 103 | Init *ParseSimpleValue(Record *CurRec, RecTy *ItemType = 0); |
| 104 | Init *ParseValue(Record *CurRec, RecTy *ItemType = 0); |
| 105 | std::vector<Init*> ParseValueList(Record *CurRec, Record *ArgsRec = 0, RecTy *EltTy = 0); |
| 106 | std::vector<std::pair<llvm::Init*, std::string> > ParseDagArgList(Record *); |
Chris Lattner | f460165 | 2007-11-22 20:49:04 +0000 | [diff] [blame] | 107 | bool ParseOptionalRangeList(std::vector<unsigned> &Ranges); |
| 108 | bool ParseOptionalBitList(std::vector<unsigned> &Ranges); |
| 109 | std::vector<unsigned> ParseRangeList(); |
| 110 | bool ParseRangePiece(std::vector<unsigned> &Ranges); |
| 111 | RecTy *ParseType(); |
David Greene | 05bce0b | 2011-07-29 22:43:06 +0000 | [diff] [blame] | 112 | Init *ParseOperation(Record *CurRec); |
David Greene | d418c1b | 2009-05-14 20:54:48 +0000 | [diff] [blame] | 113 | RecTy *ParseOperatorType(); |
Chris Lattner | f460165 | 2007-11-22 20:49:04 +0000 | [diff] [blame] | 114 | std::string ParseObjectName(); |
| 115 | Record *ParseClassID(); |
David Greene | de444af | 2009-04-22 16:42:54 +0000 | [diff] [blame] | 116 | MultiClass *ParseMultiClassID(); |
Chris Lattner | f460165 | 2007-11-22 20:49:04 +0000 | [diff] [blame] | 117 | Record *ParseDefmID(); |
| 118 | }; |
| 119 | |
| 120 | } // end namespace llvm |
| 121 | |
| 122 | #endif |