1 /* SPDX-License-Identifier: GPL-2.0-or-later *
2 /*
3 * (C) Copyright David Gibson <dwg@au1.ibm.com>
4 */
5
6 %option noyywrap nounput noinput never-interac
7
8 %x BYTESTRING
9 %x PROPNODENAME
10 %s V1
11
12 PROPNODECHAR [a-zA-Z0-9,._+*#?@-]
13 PATHCHAR ({PROPNODECHAR}|[/])
14 LABEL [a-zA-Z_][a-zA-Z0-9_]*
15 STRING \"([^\\"]|\\.)*\"
16 CHAR_LITERAL '([^']|\\')*'
17 WS [[:space:]]
18 COMMENT "/*"([^*]|\*+[^*/])*\*+"/"
19 LINECOMMENT "//".*\n
20
21 %{
22 #include "dtc.h"
23 #include "srcpos.h"
24 #include "dtc-parser.tab.h"
25
26 extern bool treesource_error;
27
28 /* CAUTION: this will stop working if we ever
29 #define YY_USER_ACTION \
30 { \
31 srcpos_update(&yylloc, yytext,
32 }
33
34 /*#define LEXDEBUG 1*/
35
36 #ifdef LEXDEBUG
37 #define DPRINT(fmt, ...) fprintf(stderr
38 #else
39 #define DPRINT(fmt, ...) do { } while (
40 #endif
41
42 static int dts_version = 1;
43
44 #define BEGIN_DEFAULT() DPRINT("<V1>\n
45 BEGIN(V1); \
46
47 static void push_input_file(const char *filena
48 static bool pop_input_file(void);
49 static void PRINTF(1, 2) lexical_error(const c
50
51 %}
52
53 %%
54 <*>"/include/"{WS}*{STRING} {
55 char *name = strchr(yy
56 yytext[yyleng-1] = '\0
57 push_input_file(name);
58 }
59
60 <*>^"#"(line)?[ \t]+[0-9]+[ \t]+{STRING}([ \t]
61 char *line, *fnstart,
62 struct data fn;
63 /* skip text before li
64 line = yytext;
65 while (!isdigit((unsig
66 line++;
67
68 /* regexp ensures that
69 * in the whole yytext
70 * beginning and end o
71 fnstart = memchr(yytex
72 for (fnend = yytext +
73 *fnend != '"'; fn
74 ;
75 assert(fnstart && fnen
76
77 fn = data_copy_escape_
78
79
80 /* Don't allow nuls in
81 if (memchr(fn.val, '\0
82 lexical_error(
83
84 /* -1 since #line is t
85 srcpos_set_line(xstrdu
86 data_free(fn);
87 }
88
89 <*><<EOF>> {
90 if (!pop_input_file())
91 yyterminate();
92 }
93 }
94
95 <*>{STRING} {
96 DPRINT("String: %s\n",
97 yylval.data = data_cop
98 yyleng
99 return DT_STRING;
100 }
101
102 <*>"/dts-v1/" {
103 DPRINT("Keyword: /dts-
104 dts_version = 1;
105 BEGIN_DEFAULT();
106 return DT_V1;
107 }
108
109 <*>"/plugin/" {
110 DPRINT("Keyword: /plug
111 return DT_PLUGIN;
112 }
113
114 <*>"/memreserve/" {
115 DPRINT("Keyword: /memr
116 BEGIN_DEFAULT();
117 return DT_MEMRESERVE;
118 }
119
120 <*>"/bits/" {
121 DPRINT("Keyword: /bits
122 BEGIN_DEFAULT();
123 return DT_BITS;
124 }
125
126 <*>"/delete-property/" {
127 DPRINT("Keyword: /dele
128 DPRINT("<PROPNODENAME>
129 BEGIN(PROPNODENAME);
130 return DT_DEL_PROP;
131 }
132
133 <*>"/delete-node/" {
134 DPRINT("Keyword: /dele
135 DPRINT("<PROPNODENAME>
136 BEGIN(PROPNODENAME);
137 return DT_DEL_NODE;
138 }
139
140 <*>"/omit-if-no-ref/" {
141 DPRINT("Keyword: /omit
142 DPRINT("<PROPNODENAME>
143 BEGIN(PROPNODENAME);
144 return DT_OMIT_NO_REF;
145 }
146
147 <*>{LABEL}: {
148 DPRINT("Label: %s\n",
149 yylval.labelref = xstr
150 yylval.labelref[yyleng
151 return DT_LABEL;
152 }
153
154 <V1>([0-9]+|0[xX][0-9a-fA-F]+)(U|L|UL|LL|ULL)?
155 char *e;
156 DPRINT("Integer Litera
157
158 errno = 0;
159 yylval.integer = strto
160
161 if (*e && e[strspn(e,
162 lexical_error(
163
164 }
165
166 if (errno == ERANGE)
167 lexical_error(
168
169 else
170 /* ERANGE is t
171 * by strings
172 assert(errno =
173 return DT_LITERAL;
174 }
175
176 <*>{CHAR_LITERAL} {
177 struct data d;
178 DPRINT("Character lite
179
180 d = data_copy_escape_s
181 if (d.len == 1) {
182 lexical_error(
183 yylval.integer
184 } else {
185 yylval.integer
186
187 if (d.len > 2)
188 lexica
189
190
191 }
192
193 data_free(d);
194 return DT_CHAR_LITERAL
195 }
196
197 <*>\&{LABEL} { /* label reference */
198 DPRINT("Ref: %s\n", yy
199 yylval.labelref = xstr
200 return DT_LABEL_REF;
201 }
202
203 <*>"&{"{PATHCHAR}*\} { /* new-style p
204 yytext[yyleng-1] = '\0
205 DPRINT("Ref: %s\n", yy
206 yylval.labelref = xstr
207 return DT_PATH_REF;
208 }
209
210 <BYTESTRING>[0-9a-fA-F]{2} {
211 yylval.byte = strtol(y
212 DPRINT("Byte: %02x\n",
213 return DT_BYTE;
214 }
215
216 <BYTESTRING>"]" {
217 DPRINT("/BYTESTRING\n"
218 BEGIN_DEFAULT();
219 return ']';
220 }
221
222 <PROPNODENAME>\\?{PROPNODECHAR}+ {
223 DPRINT("PropNodeName:
224 yylval.propnodename =
225
226 BEGIN_DEFAULT();
227 return DT_PROPNODENAME
228 }
229
230 "/incbin/" {
231 DPRINT("Binary Include
232 return DT_INCBIN;
233 }
234
235 <*>{WS}+ /* eat whitespace */
236 <*>{COMMENT}+ /* eat C-style comments */
237 <*>{LINECOMMENT}+ /* eat C++-style comments */
238
239 <*>"<<" { return DT_LSHIFT; };
240 <*>">>" { return DT_RSHIFT; };
241 <*>"<=" { return DT_LE; };
242 <*>">=" { return DT_GE; };
243 <*>"==" { return DT_EQ; };
244 <*>"!=" { return DT_NE; };
245 <*>"&&" { return DT_AND; };
246 <*>"||" { return DT_OR; };
247
248 <*>. {
249 DPRINT("Char: %c (\\x%
250 (unsigned)yyte
251 if (yytext[0] == '[')
252 DPRINT("<BYTES
253 BEGIN(BYTESTRI
254 }
255 if ((yytext[0] == '{')
256 || (yytext[0] == '
257 DPRINT("<PROPN
258 BEGIN(PROPNODE
259 }
260 return yytext[0];
261 }
262
263 %%
264
265 static void push_input_file(const char *filena
266 {
267 assert(filename);
268
269 srcfile_push(filename);
270
271 yyin = current_srcfile->f;
272
273 yypush_buffer_state(yy_create_buffer(y
274 }
275
276
277 static bool pop_input_file(void)
278 {
279 if (srcfile_pop() == 0)
280 return false;
281
282 yypop_buffer_state();
283 yyin = current_srcfile->f;
284
285 return true;
286 }
287
288 static void lexical_error(const char *fmt, ...
289 {
290 va_list ap;
291
292 va_start(ap, fmt);
293 srcpos_verror(&yylloc, "Lexical error"
294 va_end(ap);
295
296 treesource_error = true;
297 }
Linux® is a registered trademark of Linus Torvalds in the United States and other countries.
TOMOYO® is a registered trademark of NTT DATA CORPORATION.