blob: 790fbf6cf2d75349780a5c849cdb9cdb697f5019 [file] [log] [blame]
David Gibsona4da2e32007-12-18 15:06:42 +11001/*
2 * (C) Copyright David Gibson <dwg@au1.ibm.com>, IBM Corporation. 2005.
3 *
4 *
5 * This program is free software; you can redistribute it and/or
6 * modify it under the terms of the GNU General Public License as
7 * published by the Free Software Foundation; either version 2 of the
8 * License, or (at your option) any later version.
9 *
10 * This program is distributed in the hope that it will be useful,
11 * but WITHOUT ANY WARRANTY; without even the implied warranty of
12 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
13 * General Public License for more details.
14 *
15 * You should have received a copy of the GNU General Public License
16 * along with this program; if not, write to the Free Software
17 * Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307
18 * USA
19 */
20
John Bonesio658f29a2010-11-17 15:28:20 -080021%option noyywrap nounput noinput never-interactive
David Gibsona4da2e32007-12-18 15:06:42 +110022
David Gibsona4da2e32007-12-18 15:06:42 +110023%x BYTESTRING
24%x PROPNODENAME
25%s V1
26
27PROPNODECHAR [a-zA-Z0-9,._+*#?@-]
28PATHCHAR ({PROPNODECHAR}|[/])
29LABEL [a-zA-Z_][a-zA-Z0-9_]*
David Gibsoned95d742008-08-07 12:24:17 +100030STRING \"([^\\"]|\\.)*\"
Stephen Warrencd296722012-09-28 21:25:59 +000031CHAR_LITERAL '([^']|\\')*'
David Gibsoned95d742008-08-07 12:24:17 +100032WS [[:space:]]
33COMMENT "/*"([^*]|\*+[^*/])*\*+"/"
34LINECOMMENT "//".*\n
David Gibsona4da2e32007-12-18 15:06:42 +110035
36%{
37#include "dtc.h"
38#include "srcpos.h"
39#include "dtc-parser.tab.h"
40
John Bonesio658f29a2010-11-17 15:28:20 -080041YYLTYPE yylloc;
Rob Herring47605972015-04-29 16:00:05 -050042extern bool treesource_error;
John Bonesio658f29a2010-11-17 15:28:20 -080043
44/* CAUTION: this will stop working if we ever use yyless() or yyunput() */
45#define YY_USER_ACTION \
46 { \
47 srcpos_update(&yylloc, yytext, yyleng); \
48 }
David Gibsona4da2e32007-12-18 15:06:42 +110049
50/*#define LEXDEBUG 1*/
51
52#ifdef LEXDEBUG
53#define DPRINT(fmt, ...) fprintf(stderr, fmt, ##__VA_ARGS__)
54#else
55#define DPRINT(fmt, ...) do { } while (0)
56#endif
57
John Bonesio658f29a2010-11-17 15:28:20 -080058static int dts_version = 1;
David Gibsona4da2e32007-12-18 15:06:42 +110059
John Bonesio658f29a2010-11-17 15:28:20 -080060#define BEGIN_DEFAULT() DPRINT("<V1>\n"); \
David Gibsona4da2e32007-12-18 15:06:42 +110061 BEGIN(V1); \
David Gibsoned95d742008-08-07 12:24:17 +100062
63static void push_input_file(const char *filename);
Rob Herring47605972015-04-29 16:00:05 -050064static bool pop_input_file(void);
65static void lexical_error(const char *fmt, ...);
David Gibsona4da2e32007-12-18 15:06:42 +110066%}
67
68%%
David Gibsoned95d742008-08-07 12:24:17 +100069<*>"/include/"{WS}*{STRING} {
70 char *name = strchr(yytext, '\"') + 1;
71 yytext[yyleng-1] = '\0';
72 push_input_file(name);
David Gibsona4da2e32007-12-18 15:06:42 +110073 }
74
Grant Likely706b78f2013-06-13 12:57:44 +010075<*>^"#"(line)?[ \t]+[0-9]+[ \t]+{STRING}([ \t]+[0-9]+)? {
Rob Herring91feabc2016-01-26 09:04:11 -060076 char *line, *fnstart, *fnend;
77 struct data fn;
Stephen Warrencd296722012-09-28 21:25:59 +000078 /* skip text before line # */
79 line = yytext;
Rob Herring47605972015-04-29 16:00:05 -050080 while (!isdigit((unsigned char)*line))
Stephen Warrencd296722012-09-28 21:25:59 +000081 line++;
Rob Herring91feabc2016-01-26 09:04:11 -060082
83 /* regexp ensures that first and list "
84 * in the whole yytext are those at
85 * beginning and end of the filename string */
86 fnstart = memchr(yytext, '"', yyleng);
87 for (fnend = yytext + yyleng - 1;
88 *fnend != '"'; fnend--)
89 ;
90 assert(fnstart && fnend && (fnend > fnstart));
91
92 fn = data_copy_escape_string(fnstart + 1,
93 fnend - fnstart - 1);
94
95 /* Don't allow nuls in filenames */
96 if (memchr(fn.val, '\0', fn.len - 1))
97 lexical_error("nul in line number directive");
98
Stephen Warrencd296722012-09-28 21:25:59 +000099 /* -1 since #line is the number of the next line */
Rob Herring91feabc2016-01-26 09:04:11 -0600100 srcpos_set_line(xstrdup(fn.val), atoi(line) - 1);
101 data_free(fn);
Stephen Warrencd296722012-09-28 21:25:59 +0000102 }
103
David Gibsona4da2e32007-12-18 15:06:42 +1100104<*><<EOF>> {
105 if (!pop_input_file()) {
106 yyterminate();
107 }
108 }
109
David Gibsoned95d742008-08-07 12:24:17 +1000110<*>{STRING} {
David Gibsona4da2e32007-12-18 15:06:42 +1100111 DPRINT("String: %s\n", yytext);
112 yylval.data = data_copy_escape_string(yytext+1,
113 yyleng-2);
David Gibsona4da2e32007-12-18 15:06:42 +1100114 return DT_STRING;
115 }
116
117<*>"/dts-v1/" {
David Gibsona4da2e32007-12-18 15:06:42 +1100118 DPRINT("Keyword: /dts-v1/\n");
119 dts_version = 1;
120 BEGIN_DEFAULT();
121 return DT_V1;
122 }
123
124<*>"/memreserve/" {
David Gibsona4da2e32007-12-18 15:06:42 +1100125 DPRINT("Keyword: /memreserve/\n");
126 BEGIN_DEFAULT();
127 return DT_MEMRESERVE;
128 }
129
Stephen Warrencd296722012-09-28 21:25:59 +0000130<*>"/bits/" {
131 DPRINT("Keyword: /bits/\n");
132 BEGIN_DEFAULT();
133 return DT_BITS;
134 }
135
136<*>"/delete-property/" {
137 DPRINT("Keyword: /delete-property/\n");
138 DPRINT("<PROPNODENAME>\n");
139 BEGIN(PROPNODENAME);
140 return DT_DEL_PROP;
141 }
142
143<*>"/delete-node/" {
144 DPRINT("Keyword: /delete-node/\n");
145 DPRINT("<PROPNODENAME>\n");
146 BEGIN(PROPNODENAME);
147 return DT_DEL_NODE;
148 }
149
David Gibsona4da2e32007-12-18 15:06:42 +1100150<*>{LABEL}: {
David Gibsona4da2e32007-12-18 15:06:42 +1100151 DPRINT("Label: %s\n", yytext);
John Bonesio658f29a2010-11-17 15:28:20 -0800152 yylval.labelref = xstrdup(yytext);
David Gibsona4da2e32007-12-18 15:06:42 +1100153 yylval.labelref[yyleng-1] = '\0';
154 return DT_LABEL;
155 }
156
Stephen Warrencd296722012-09-28 21:25:59 +0000157<V1>([0-9]+|0[xX][0-9a-fA-F]+)(U|L|UL|LL|ULL)? {
Rob Herring47605972015-04-29 16:00:05 -0500158 char *e;
159 DPRINT("Integer Literal: '%s'\n", yytext);
160
161 errno = 0;
162 yylval.integer = strtoull(yytext, &e, 0);
163
Rob Herring91feabc2016-01-26 09:04:11 -0600164 if (*e && e[strspn(e, "UL")]) {
165 lexical_error("Bad integer literal '%s'",
166 yytext);
167 }
Rob Herring47605972015-04-29 16:00:05 -0500168
169 if (errno == ERANGE)
170 lexical_error("Integer literal '%s' out of range",
171 yytext);
172 else
173 /* ERANGE is the only strtoull error triggerable
174 * by strings matching the pattern */
175 assert(errno == 0);
David Gibsona4da2e32007-12-18 15:06:42 +1100176 return DT_LITERAL;
177 }
178
Stephen Warrencd296722012-09-28 21:25:59 +0000179<*>{CHAR_LITERAL} {
Rob Herring47605972015-04-29 16:00:05 -0500180 struct data d;
181 DPRINT("Character literal: %s\n", yytext);
182
183 d = data_copy_escape_string(yytext+1, yyleng-2);
184 if (d.len == 1) {
185 lexical_error("Empty character literal");
186 yylval.integer = 0;
187 return DT_CHAR_LITERAL;
188 }
189
190 yylval.integer = (unsigned char)d.val[0];
191
192 if (d.len > 2)
193 lexical_error("Character literal has %d"
194 " characters instead of 1",
195 d.len - 1);
196
Stephen Warrencd296722012-09-28 21:25:59 +0000197 return DT_CHAR_LITERAL;
198 }
199
John Bonesio658f29a2010-11-17 15:28:20 -0800200<*>\&{LABEL} { /* label reference */
David Gibsona4da2e32007-12-18 15:06:42 +1100201 DPRINT("Ref: %s\n", yytext+1);
John Bonesio658f29a2010-11-17 15:28:20 -0800202 yylval.labelref = xstrdup(yytext+1);
David Gibsona4da2e32007-12-18 15:06:42 +1100203 return DT_REF;
204 }
205
Rob Herring47605972015-04-29 16:00:05 -0500206<*>"&{/"{PATHCHAR}*\} { /* new-style path reference */
David Gibsona4da2e32007-12-18 15:06:42 +1100207 yytext[yyleng-1] = '\0';
208 DPRINT("Ref: %s\n", yytext+2);
John Bonesio658f29a2010-11-17 15:28:20 -0800209 yylval.labelref = xstrdup(yytext+2);
David Gibsona4da2e32007-12-18 15:06:42 +1100210 return DT_REF;
211 }
212
213<BYTESTRING>[0-9a-fA-F]{2} {
David Gibsona4da2e32007-12-18 15:06:42 +1100214 yylval.byte = strtol(yytext, NULL, 16);
215 DPRINT("Byte: %02x\n", (int)yylval.byte);
216 return DT_BYTE;
217 }
218
219<BYTESTRING>"]" {
David Gibsona4da2e32007-12-18 15:06:42 +1100220 DPRINT("/BYTESTRING\n");
221 BEGIN_DEFAULT();
222 return ']';
223 }
224
Stephen Warrencd296722012-09-28 21:25:59 +0000225<PROPNODENAME>\\?{PROPNODECHAR}+ {
David Gibsona4da2e32007-12-18 15:06:42 +1100226 DPRINT("PropNodeName: %s\n", yytext);
Stephen Warrencd296722012-09-28 21:25:59 +0000227 yylval.propnodename = xstrdup((yytext[0] == '\\') ?
228 yytext + 1 : yytext);
David Gibsona4da2e32007-12-18 15:06:42 +1100229 BEGIN_DEFAULT();
230 return DT_PROPNODENAME;
231 }
232
David Gibsoned95d742008-08-07 12:24:17 +1000233"/incbin/" {
David Gibsoned95d742008-08-07 12:24:17 +1000234 DPRINT("Binary Include\n");
235 return DT_INCBIN;
David Gibsona4da2e32007-12-18 15:06:42 +1100236 }
237
David Gibsoned95d742008-08-07 12:24:17 +1000238<*>{WS}+ /* eat whitespace */
239<*>{COMMENT}+ /* eat C-style comments */
240<*>{LINECOMMENT}+ /* eat C++-style comments */
David Gibsona4da2e32007-12-18 15:06:42 +1100241
Stephen Warrencd296722012-09-28 21:25:59 +0000242<*>"<<" { return DT_LSHIFT; };
243<*>">>" { return DT_RSHIFT; };
244<*>"<=" { return DT_LE; };
245<*>">=" { return DT_GE; };
246<*>"==" { return DT_EQ; };
247<*>"!=" { return DT_NE; };
248<*>"&&" { return DT_AND; };
249<*>"||" { return DT_OR; };
250
David Gibsona4da2e32007-12-18 15:06:42 +1100251<*>. {
David Gibsona4da2e32007-12-18 15:06:42 +1100252 DPRINT("Char: %c (\\x%02x)\n", yytext[0],
253 (unsigned)yytext[0]);
254 if (yytext[0] == '[') {
255 DPRINT("<BYTESTRING>\n");
256 BEGIN(BYTESTRING);
257 }
258 if ((yytext[0] == '{')
259 || (yytext[0] == ';')) {
260 DPRINT("<PROPNODENAME>\n");
261 BEGIN(PROPNODENAME);
262 }
263 return yytext[0];
264 }
265
266%%
267
David Gibsoned95d742008-08-07 12:24:17 +1000268static void push_input_file(const char *filename)
David Gibsona4da2e32007-12-18 15:06:42 +1100269{
David Gibsoned95d742008-08-07 12:24:17 +1000270 assert(filename);
271
John Bonesio658f29a2010-11-17 15:28:20 -0800272 srcfile_push(filename);
David Gibsoned95d742008-08-07 12:24:17 +1000273
John Bonesio658f29a2010-11-17 15:28:20 -0800274 yyin = current_srcfile->f;
David Gibsona4da2e32007-12-18 15:06:42 +1100275
John Bonesio658f29a2010-11-17 15:28:20 -0800276 yypush_buffer_state(yy_create_buffer(yyin, YY_BUF_SIZE));
David Gibsona4da2e32007-12-18 15:06:42 +1100277}
278
279
Rob Herring47605972015-04-29 16:00:05 -0500280static bool pop_input_file(void)
David Gibsona4da2e32007-12-18 15:06:42 +1100281{
John Bonesio658f29a2010-11-17 15:28:20 -0800282 if (srcfile_pop() == 0)
Rob Herring47605972015-04-29 16:00:05 -0500283 return false;
David Gibsona4da2e32007-12-18 15:06:42 +1100284
John Bonesio658f29a2010-11-17 15:28:20 -0800285 yypop_buffer_state();
286 yyin = current_srcfile->f;
David Gibsona4da2e32007-12-18 15:06:42 +1100287
Rob Herring47605972015-04-29 16:00:05 -0500288 return true;
289}
290
291static void lexical_error(const char *fmt, ...)
292{
293 va_list ap;
294
295 va_start(ap, fmt);
296 srcpos_verror(&yylloc, "Lexical error", fmt, ap);
297 va_end(ap);
298
299 treesource_error = true;
David Gibsona4da2e32007-12-18 15:06:42 +1100300}