Misha Brukman | f2f5b39 | 2004-02-12 00:03:08 +0000 | [diff] [blame] | 1 | /*===-- FileLexer.l - Scanner for TableGen Files ----------------*- C++ -*-===// |
John Criswell | aefb666 | 2003-10-21 15:29:18 +0000 | [diff] [blame] | 2 | // |
| 3 | // The LLVM Compiler Infrastructure |
| 4 | // |
| 5 | // This file was developed by the LLVM research group and is distributed under |
| 6 | // the University of Illinois Open Source License. See LICENSE.TXT for details. |
| 7 | // |
| 8 | //===----------------------------------------------------------------------===// |
Chris Lattner | e62c118 | 2002-12-02 01:23:04 +0000 | [diff] [blame] | 9 | // |
Chris Lattner | 13854f2 | 2003-08-04 20:08:28 +0000 | [diff] [blame] | 10 | // This file defines a simple flex scanner for TableGen files. This is pretty |
| 11 | // straight-forward, except for the magic to handle file inclusion. |
Chris Lattner | e62c118 | 2002-12-02 01:23:04 +0000 | [diff] [blame] | 12 | // |
Misha Brukman | f2f5b39 | 2004-02-12 00:03:08 +0000 | [diff] [blame] | 13 | //===----------------------------------------------------------------------===*/ |
Chris Lattner | e62c118 | 2002-12-02 01:23:04 +0000 | [diff] [blame] | 14 | |
| 15 | %option prefix="File" |
| 16 | %option yylineno |
| 17 | %option nostdinit |
| 18 | %option never-interactive |
| 19 | %option batch |
Chris Lattner | e62c118 | 2002-12-02 01:23:04 +0000 | [diff] [blame] | 20 | %option nodefault |
| 21 | %option 8bit |
| 22 | %option outfile="Lexer.cpp" |
| 23 | %option ecs |
| 24 | %option noreject |
| 25 | %option noyymore |
| 26 | |
Chris Lattner | d33b8db | 2003-07-30 19:39:36 +0000 | [diff] [blame] | 27 | %x comment |
Chris Lattner | e62c118 | 2002-12-02 01:23:04 +0000 | [diff] [blame] | 28 | |
| 29 | %{ |
| 30 | #include "Record.h" |
Brian Gaeke | d0fde30 | 2003-11-11 22:41:34 +0000 | [diff] [blame] | 31 | typedef std::pair<llvm::Record*, std::vector<llvm::Init*>*> SubClassRefTy; |
Chris Lattner | e62c118 | 2002-12-02 01:23:04 +0000 | [diff] [blame] | 32 | #include "FileParser.h" |
| 33 | |
Brian Gaeke | d0fde30 | 2003-11-11 22:41:34 +0000 | [diff] [blame] | 34 | int Fileparse(); |
| 35 | |
| 36 | namespace llvm { |
| 37 | |
John Criswell | 96b4bed | 2003-08-27 13:41:57 +0000 | [diff] [blame] | 38 | // Global variable recording the location of the include directory |
Chris Lattner | d9f5d90 | 2006-03-03 01:47:14 +0000 | [diff] [blame] | 39 | std::vector<std::string> IncludeDirectories; |
John Criswell | 96b4bed | 2003-08-27 13:41:57 +0000 | [diff] [blame] | 40 | |
Misha Brukman | 1700f77 | 2004-02-12 00:00:46 +0000 | [diff] [blame] | 41 | /// ParseInt - This has to handle the special case of binary numbers 0b0101 |
| 42 | /// |
Chris Lattner | e62c118 | 2002-12-02 01:23:04 +0000 | [diff] [blame] | 43 | static int ParseInt(const char *Str) { |
| 44 | if (Str[0] == '0' && Str[1] == 'b') |
| 45 | return strtol(Str+2, 0, 2); |
| 46 | return strtol(Str, 0, 0); |
| 47 | } |
| 48 | |
Chris Lattner | d33b8db | 2003-07-30 19:39:36 +0000 | [diff] [blame] | 49 | static int CommentDepth = 0; |
| 50 | |
Chris Lattner | 7dff053 | 2003-07-30 20:56:47 +0000 | [diff] [blame] | 51 | struct IncludeRec { |
| 52 | std::string Filename; |
| 53 | FILE *File; |
| 54 | unsigned LineNo; |
| 55 | YY_BUFFER_STATE Buffer; |
| 56 | |
| 57 | IncludeRec(const std::string &FN, FILE *F) |
| 58 | : Filename(FN), File(F), LineNo(0){ |
| 59 | } |
| 60 | }; |
| 61 | |
| 62 | static std::vector<IncludeRec> IncludeStack; |
| 63 | |
Chris Lattner | 7dff053 | 2003-07-30 20:56:47 +0000 | [diff] [blame] | 64 | std::ostream &err() { |
| 65 | if (IncludeStack.empty()) |
| 66 | return std::cerr << "At end of input: "; |
| 67 | |
| 68 | for (unsigned i = 0, e = IncludeStack.size()-1; i != e; ++i) |
Chris Lattner | bc1f0dc | 2003-08-03 18:12:59 +0000 | [diff] [blame] | 69 | std::cerr << "Included from " << IncludeStack[i].Filename << ":" |
Chris Lattner | 7dff053 | 2003-07-30 20:56:47 +0000 | [diff] [blame] | 70 | << IncludeStack[i].LineNo << ":\n"; |
| 71 | return std::cerr << "Parsing " << IncludeStack.back().Filename << ":" |
| 72 | << Filelineno << ": "; |
| 73 | } |
| 74 | |
Misha Brukman | 1700f77 | 2004-02-12 00:00:46 +0000 | [diff] [blame] | 75 | /// ParseFile - this function begins the parsing of the specified tablegen file. |
| 76 | /// |
Chris Lattner | d9f5d90 | 2006-03-03 01:47:14 +0000 | [diff] [blame] | 77 | void ParseFile(const std::string &Filename, |
| 78 | const std::vector<std::string> &IncludeDirs) { |
Chris Lattner | e623fe3 | 2003-07-30 19:55:10 +0000 | [diff] [blame] | 79 | FILE *F = stdin; |
| 80 | if (Filename != "-") { |
| 81 | F = fopen(Filename.c_str(), "r"); |
| 82 | |
| 83 | if (F == 0) { |
| 84 | std::cerr << "Could not open input file '" + Filename + "'!\n"; |
John Criswell | 2d93003 | 2003-09-09 14:37:48 +0000 | [diff] [blame] | 85 | exit (1); |
Chris Lattner | e623fe3 | 2003-07-30 19:55:10 +0000 | [diff] [blame] | 86 | } |
Chris Lattner | 7dff053 | 2003-07-30 20:56:47 +0000 | [diff] [blame] | 87 | IncludeStack.push_back(IncludeRec(Filename, F)); |
| 88 | } else { |
| 89 | IncludeStack.push_back(IncludeRec("<stdin>", stdin)); |
Chris Lattner | e623fe3 | 2003-07-30 19:55:10 +0000 | [diff] [blame] | 90 | } |
| 91 | |
John Criswell | 96b4bed | 2003-08-27 13:41:57 +0000 | [diff] [blame] | 92 | // Record the location of the include directory so that the lexer can find |
| 93 | // it later. |
Chris Lattner | d9f5d90 | 2006-03-03 01:47:14 +0000 | [diff] [blame] | 94 | IncludeDirectories = IncludeDirs; |
John Criswell | 96b4bed | 2003-08-27 13:41:57 +0000 | [diff] [blame] | 95 | |
Chris Lattner | e623fe3 | 2003-07-30 19:55:10 +0000 | [diff] [blame] | 96 | Filein = F; |
| 97 | Filelineno = 1; |
| 98 | Fileparse(); |
Chris Lattner | e623fe3 | 2003-07-30 19:55:10 +0000 | [diff] [blame] | 99 | Filein = stdin; |
| 100 | } |
| 101 | |
Misha Brukman | 1700f77 | 2004-02-12 00:00:46 +0000 | [diff] [blame] | 102 | /// HandleInclude - This function is called when an include directive is |
| 103 | /// encountered in the input stream... |
| 104 | /// |
Chris Lattner | 7dff053 | 2003-07-30 20:56:47 +0000 | [diff] [blame] | 105 | static void HandleInclude(const char *Buffer) { |
| 106 | unsigned Length = yyleng; |
| 107 | assert(Buffer[Length-1] == '"'); |
| 108 | Buffer += strlen("include "); |
| 109 | Length -= strlen("include "); |
| 110 | while (*Buffer != '"') { |
| 111 | ++Buffer; |
| 112 | --Length; |
| 113 | } |
| 114 | assert(Length >= 2 && "Double quotes not found?"); |
| 115 | std::string Filename(Buffer+1, Buffer+Length-1); |
| 116 | //std::cerr << "Filename = '" << Filename << "'\n"; |
| 117 | |
| 118 | // Save the line number and lex buffer of the includer... |
| 119 | IncludeStack.back().LineNo = Filelineno; |
| 120 | IncludeStack.back().Buffer = YY_CURRENT_BUFFER; |
| 121 | |
| 122 | // Open the new input file... |
| 123 | yyin = fopen(Filename.c_str(), "r"); |
| 124 | if (yyin == 0) { |
John Criswell | 96b4bed | 2003-08-27 13:41:57 +0000 | [diff] [blame] | 125 | // If we couldn't find the file in the current directory, look for it in |
| 126 | // the include directories. |
| 127 | // |
Chris Lattner | d9f5d90 | 2006-03-03 01:47:14 +0000 | [diff] [blame] | 128 | std::string NextFilename; |
| 129 | for (unsigned i = 0, e = IncludeDirectories.size(); i != e; ++i) { |
| 130 | NextFilename = IncludeDirectories[i] + "/" + Filename; |
Chris Lattner | 56879b2 | 2006-03-03 19:34:28 +0000 | [diff] [blame] | 131 | if ((yyin = fopen(NextFilename.c_str(), "r"))) |
Chris Lattner | d9f5d90 | 2006-03-03 01:47:14 +0000 | [diff] [blame] | 132 | break; |
| 133 | } |
| 134 | |
John Criswell | 96b4bed | 2003-08-27 13:41:57 +0000 | [diff] [blame] | 135 | if (yyin == 0) { |
| 136 | err() << "Could not find include file '" << Filename << "'!\n"; |
Chris Lattner | f5761a5 | 2004-02-13 16:37:43 +0000 | [diff] [blame] | 137 | exit(1); |
John Criswell | 96b4bed | 2003-08-27 13:41:57 +0000 | [diff] [blame] | 138 | } |
Chris Lattner | 83fe917 | 2004-02-13 16:33:56 +0000 | [diff] [blame] | 139 | Filename = NextFilename; |
Chris Lattner | 7dff053 | 2003-07-30 20:56:47 +0000 | [diff] [blame] | 140 | } |
| 141 | |
| 142 | // Add the file to our include stack... |
| 143 | IncludeStack.push_back(IncludeRec(Filename, yyin)); |
| 144 | Filelineno = 1; // Reset line numbering... |
| 145 | //yyrestart(yyin); // Start lexing the new file... |
| 146 | |
| 147 | yy_switch_to_buffer(yy_create_buffer(yyin, YY_BUF_SIZE)); |
| 148 | } |
| 149 | |
Misha Brukman | 1700f77 | 2004-02-12 00:00:46 +0000 | [diff] [blame] | 150 | /// yywrap - This is called when the lexer runs out of input in one of the |
| 151 | /// files. Switch back to an includer if an includee has run out of input. |
| 152 | /// |
Chris Lattner | 7dff053 | 2003-07-30 20:56:47 +0000 | [diff] [blame] | 153 | extern "C" |
Chris Lattner | 4523709 | 2004-10-13 15:25:46 +0000 | [diff] [blame] | 154 | int yywrap(void) { |
Chris Lattner | 7dff053 | 2003-07-30 20:56:47 +0000 | [diff] [blame] | 155 | if (IncludeStack.back().File != stdin) |
| 156 | fclose(IncludeStack.back().File); |
| 157 | IncludeStack.pop_back(); |
| 158 | if (IncludeStack.empty()) return 1; // Top-level file is done. |
| 159 | |
| 160 | // Otherwise, we need to switch back to a file which included the current one. |
| 161 | Filelineno = IncludeStack.back().LineNo; // Restore current line number |
| 162 | yy_switch_to_buffer(IncludeStack.back().Buffer); |
| 163 | return 0; |
| 164 | } |
| 165 | |
Brian Gaeke | d0fde30 | 2003-11-11 22:41:34 +0000 | [diff] [blame] | 166 | } // End llvm namespace |
| 167 | |
| 168 | using namespace llvm; |
| 169 | |
Chris Lattner | e62c118 | 2002-12-02 01:23:04 +0000 | [diff] [blame] | 170 | %} |
| 171 | |
Chris Lattner | e3a1d05 | 2003-07-30 22:15:58 +0000 | [diff] [blame] | 172 | Comment \/\/.* |
Chris Lattner | e62c118 | 2002-12-02 01:23:04 +0000 | [diff] [blame] | 173 | |
Chris Lattner | e3a1d05 | 2003-07-30 22:15:58 +0000 | [diff] [blame] | 174 | Identifier [a-zA-Z_][0-9a-zA-Z_]* |
| 175 | Integer [-+]?[0-9]+|0x[0-9a-fA-F]+|0b[01]+ |
| 176 | CodeFragment \[\{([^}]+|\}[^\]])*\}\] |
| 177 | StringVal \"[^"]*\" |
| 178 | IncludeStr include[ \t\n]+\"[^"]*\" |
Chris Lattner | e62c118 | 2002-12-02 01:23:04 +0000 | [diff] [blame] | 179 | |
| 180 | %% |
| 181 | |
| 182 | {Comment} { /* Ignore comments */ } |
| 183 | |
Chris Lattner | 7dff053 | 2003-07-30 20:56:47 +0000 | [diff] [blame] | 184 | {IncludeStr} { HandleInclude(yytext); } |
Chris Lattner | e3a1d05 | 2003-07-30 22:15:58 +0000 | [diff] [blame] | 185 | {CodeFragment} { Filelval.StrVal = new std::string(yytext+2, yytext+yyleng-2); |
| 186 | return CODEFRAGMENT; } |
Chris Lattner | 7dff053 | 2003-07-30 20:56:47 +0000 | [diff] [blame] | 187 | |
Chris Lattner | e62c118 | 2002-12-02 01:23:04 +0000 | [diff] [blame] | 188 | int { return INT; } |
| 189 | bit { return BIT; } |
| 190 | bits { return BITS; } |
| 191 | string { return STRING; } |
| 192 | list { return LIST; } |
Chris Lattner | f05760d | 2003-07-30 21:47:42 +0000 | [diff] [blame] | 193 | code { return CODE; } |
Chris Lattner | 40f7113 | 2003-08-04 04:50:57 +0000 | [diff] [blame] | 194 | dag { return DAG; } |
Chris Lattner | e62c118 | 2002-12-02 01:23:04 +0000 | [diff] [blame] | 195 | |
| 196 | class { return CLASS; } |
| 197 | def { return DEF; } |
| 198 | field { return FIELD; } |
Chris Lattner | 42aa89e | 2003-08-04 04:56:53 +0000 | [diff] [blame] | 199 | let { return LET; } |
Chris Lattner | e62c118 | 2002-12-02 01:23:04 +0000 | [diff] [blame] | 200 | in { return IN; } |
| 201 | |
Chris Lattner | b9266f8 | 2005-04-19 01:11:03 +0000 | [diff] [blame] | 202 | !sra { return SRATOK; } |
| 203 | !srl { return SRLTOK; } |
| 204 | !shl { return SHLTOK; } |
Chris Lattner | 711e5d9 | 2006-03-31 21:53:49 +0000 | [diff] [blame] | 205 | !strconcat { return STRCONCATTOK; } |
Chris Lattner | b9266f8 | 2005-04-19 01:11:03 +0000 | [diff] [blame] | 206 | |
| 207 | |
Chris Lattner | e62c118 | 2002-12-02 01:23:04 +0000 | [diff] [blame] | 208 | {Identifier} { Filelval.StrVal = new std::string(yytext, yytext+yyleng); |
| 209 | return ID; } |
Chris Lattner | fb9ea58 | 2003-08-10 22:04:25 +0000 | [diff] [blame] | 210 | ${Identifier} { Filelval.StrVal = new std::string(yytext+1, yytext+yyleng); |
| 211 | return VARNAME; } |
Chris Lattner | e62c118 | 2002-12-02 01:23:04 +0000 | [diff] [blame] | 212 | |
| 213 | {StringVal} { Filelval.StrVal = new std::string(yytext+1, yytext+yyleng-1); |
| 214 | return STRVAL; } |
| 215 | |
| 216 | {Integer} { Filelval.IntVal = ParseInt(Filetext); return INTVAL; } |
| 217 | |
Chris Lattner | 36c5757 | 2004-05-27 17:44:18 +0000 | [diff] [blame] | 218 | [ \t\n\r]+ { /* Ignore whitespace */ } |
Chris Lattner | d33b8db | 2003-07-30 19:39:36 +0000 | [diff] [blame] | 219 | |
| 220 | |
| 221 | "/*" { BEGIN(comment); CommentDepth++; } |
Chris Lattner | 9978332 | 2005-09-06 21:23:09 +0000 | [diff] [blame] | 222 | <comment>[^*/]* {} /* eat anything that's not a '*' or '/' */ |
| 223 | <comment>"*"+[^*/]* {} /* eat up '*'s not followed by '/'s */ |
Chris Lattner | d33b8db | 2003-07-30 19:39:36 +0000 | [diff] [blame] | 224 | <comment>"/*" { ++CommentDepth; } |
Chris Lattner | 9978332 | 2005-09-06 21:23:09 +0000 | [diff] [blame] | 225 | <comment>"/"+[^*/]* {} /* eat up /'s not followed by *'s */ |
Chris Lattner | d33b8db | 2003-07-30 19:39:36 +0000 | [diff] [blame] | 226 | <comment>"*"+"/" { if (!--CommentDepth) { BEGIN(INITIAL); } } |
Chris Lattner | f5761a5 | 2004-02-13 16:37:43 +0000 | [diff] [blame] | 227 | <comment><<EOF>> { err() << "Unterminated comment!\n"; exit(1); } |
Chris Lattner | 7dff053 | 2003-07-30 20:56:47 +0000 | [diff] [blame] | 228 | |
| 229 | . { return Filetext[0]; } |
Chris Lattner | d33b8db | 2003-07-30 19:39:36 +0000 | [diff] [blame] | 230 | |
Chris Lattner | e62c118 | 2002-12-02 01:23:04 +0000 | [diff] [blame] | 231 | %% |
Chris Lattner | e8242b1 | 2006-02-14 05:13:13 +0000 | [diff] [blame] | 232 | |