blob: 8ab400610d02152804f9d868da15330219b85413 [file] [log] [blame]
Chris Lattnere62c1182002-12-02 01:23:04 +00001/*===-- FileLexer.l - Scanner for TableGen Files ----------------*- C++ -*-===//
2//
3//
4//===------------------------------------------------------------------------=*/
5
6%option prefix="File"
7%option yylineno
8%option nostdinit
9%option never-interactive
10%option batch
Chris Lattnere62c1182002-12-02 01:23:04 +000011%option nodefault
12%option 8bit
13%option outfile="Lexer.cpp"
14%option ecs
15%option noreject
16%option noyymore
17
Chris Lattnerd33b8db2003-07-30 19:39:36 +000018%x comment
Chris Lattnere62c1182002-12-02 01:23:04 +000019
20%{
21#include "Record.h"
22typedef std::pair<Record*, std::vector<Init*>*> SubClassRefTy;
23#include "FileParser.h"
24
25// ParseInt - This has to handle the special case of binary numbers 0b0101
26static int ParseInt(const char *Str) {
27 if (Str[0] == '0' && Str[1] == 'b')
28 return strtol(Str+2, 0, 2);
29 return strtol(Str, 0, 0);
30}
31
Chris Lattnerd33b8db2003-07-30 19:39:36 +000032static int CommentDepth = 0;
33
Chris Lattner7dff0532003-07-30 20:56:47 +000034struct IncludeRec {
35 std::string Filename;
36 FILE *File;
37 unsigned LineNo;
38 YY_BUFFER_STATE Buffer;
39
40 IncludeRec(const std::string &FN, FILE *F)
41 : Filename(FN), File(F), LineNo(0){
42 }
43};
44
45static std::vector<IncludeRec> IncludeStack;
46
47
48std::ostream &err() {
49 if (IncludeStack.empty())
50 return std::cerr << "At end of input: ";
51
52 for (unsigned i = 0, e = IncludeStack.size()-1; i != e; ++i)
Chris Lattnerbc1f0dc2003-08-03 18:12:59 +000053 std::cerr << "Included from " << IncludeStack[i].Filename << ":"
Chris Lattner7dff0532003-07-30 20:56:47 +000054 << IncludeStack[i].LineNo << ":\n";
55 return std::cerr << "Parsing " << IncludeStack.back().Filename << ":"
56 << Filelineno << ": ";
57}
58
59
Chris Lattnere623fe32003-07-30 19:55:10 +000060int Fileparse();
61
62void ParseFile(const std::string &Filename) {
63 FILE *F = stdin;
64 if (Filename != "-") {
65 F = fopen(Filename.c_str(), "r");
66
67 if (F == 0) {
68 std::cerr << "Could not open input file '" + Filename + "'!\n";
69 abort();
70 }
Chris Lattner7dff0532003-07-30 20:56:47 +000071 IncludeStack.push_back(IncludeRec(Filename, F));
72 } else {
73 IncludeStack.push_back(IncludeRec("<stdin>", stdin));
Chris Lattnere623fe32003-07-30 19:55:10 +000074 }
75
76 Filein = F;
77 Filelineno = 1;
78 Fileparse();
Chris Lattnere623fe32003-07-30 19:55:10 +000079 Filein = stdin;
80}
81
Chris Lattner7dff0532003-07-30 20:56:47 +000082// HandleInclude - This function is called when an include directive is
83// encountered in the input stream...
84static void HandleInclude(const char *Buffer) {
85 unsigned Length = yyleng;
86 assert(Buffer[Length-1] == '"');
87 Buffer += strlen("include ");
88 Length -= strlen("include ");
89 while (*Buffer != '"') {
90 ++Buffer;
91 --Length;
92 }
93 assert(Length >= 2 && "Double quotes not found?");
94 std::string Filename(Buffer+1, Buffer+Length-1);
95 //std::cerr << "Filename = '" << Filename << "'\n";
96
97 // Save the line number and lex buffer of the includer...
98 IncludeStack.back().LineNo = Filelineno;
99 IncludeStack.back().Buffer = YY_CURRENT_BUFFER;
100
101 // Open the new input file...
102 yyin = fopen(Filename.c_str(), "r");
103 if (yyin == 0) {
104 err() << "Could not find include file '" << Filename << "'!\n";
105 abort();
106 }
107
108 // Add the file to our include stack...
109 IncludeStack.push_back(IncludeRec(Filename, yyin));
110 Filelineno = 1; // Reset line numbering...
111 //yyrestart(yyin); // Start lexing the new file...
112
113 yy_switch_to_buffer(yy_create_buffer(yyin, YY_BUF_SIZE));
114}
115
116
117// yywrap - This is called when the lexer runs out of input in one of the files.
118// Switch back to an includer if an includee has run out of input.
119//
120extern "C"
121int yywrap() {
122 if (IncludeStack.back().File != stdin)
123 fclose(IncludeStack.back().File);
124 IncludeStack.pop_back();
125 if (IncludeStack.empty()) return 1; // Top-level file is done.
126
127 // Otherwise, we need to switch back to a file which included the current one.
128 Filelineno = IncludeStack.back().LineNo; // Restore current line number
129 yy_switch_to_buffer(IncludeStack.back().Buffer);
130 return 0;
131}
132
Chris Lattnere62c1182002-12-02 01:23:04 +0000133%}
134
Chris Lattnere3a1d052003-07-30 22:15:58 +0000135Comment \/\/.*
Chris Lattnere62c1182002-12-02 01:23:04 +0000136
Chris Lattnere3a1d052003-07-30 22:15:58 +0000137Identifier [a-zA-Z_][0-9a-zA-Z_]*
138Integer [-+]?[0-9]+|0x[0-9a-fA-F]+|0b[01]+
139CodeFragment \[\{([^}]+|\}[^\]])*\}\]
140StringVal \"[^"]*\"
141IncludeStr include[ \t\n]+\"[^"]*\"
Chris Lattnere62c1182002-12-02 01:23:04 +0000142
143%%
144
145{Comment} { /* Ignore comments */ }
146
Chris Lattner7dff0532003-07-30 20:56:47 +0000147{IncludeStr} { HandleInclude(yytext); }
Chris Lattnere3a1d052003-07-30 22:15:58 +0000148{CodeFragment} { Filelval.StrVal = new std::string(yytext+2, yytext+yyleng-2);
149 return CODEFRAGMENT; }
Chris Lattner7dff0532003-07-30 20:56:47 +0000150
Chris Lattnere62c1182002-12-02 01:23:04 +0000151int { return INT; }
152bit { return BIT; }
153bits { return BITS; }
154string { return STRING; }
155list { return LIST; }
Chris Lattnerf05760d2003-07-30 21:47:42 +0000156code { return CODE; }
Chris Lattner40f71132003-08-04 04:50:57 +0000157dag { return DAG; }
Chris Lattnere62c1182002-12-02 01:23:04 +0000158
159class { return CLASS; }
160def { return DEF; }
161field { return FIELD; }
162set { return SET; }
163in { return IN; }
164
165{Identifier} { Filelval.StrVal = new std::string(yytext, yytext+yyleng);
166 return ID; }
167
168{StringVal} { Filelval.StrVal = new std::string(yytext+1, yytext+yyleng-1);
169 return STRVAL; }
170
171{Integer} { Filelval.IntVal = ParseInt(Filetext); return INTVAL; }
172
173[ \t\n]+ { /* Ignore whitespace */ }
Chris Lattnerd33b8db2003-07-30 19:39:36 +0000174
175
176"/*" { BEGIN(comment); CommentDepth++; }
177<comment>[^*/]* /* eat anything that's not a '*' or '/' */
178<comment>"*"+[^*/]* /* eat up '*'s not followed by '/'s */
179<comment>"/*" { ++CommentDepth; }
180<comment>"/"+[^*]* /* eat up /'s not followed by *'s */
181<comment>"*"+"/" { if (!--CommentDepth) { BEGIN(INITIAL); } }
Chris Lattner7dff0532003-07-30 20:56:47 +0000182<comment><<EOF>> { err() << "Unterminated comment!\n"; abort(); }
183
184. { return Filetext[0]; }
Chris Lattnerd33b8db2003-07-30 19:39:36 +0000185
Chris Lattnere62c1182002-12-02 01:23:04 +0000186%%