Commit | Line | Data |
---|---|---|
8b9d5b5e MD |
1 | %{ |
2 | /* | |
3 | * ctf.y | |
4 | * | |
5 | * Common Trace Format Metadata Grammar. | |
6 | */ | |
7 | ||
8 | #include <stdio.h> | |
9 | #include <unistd.h> | |
10 | #include <string.h> | |
11 | #include <stdlib.h> | |
12 | #include <assert.h> | |
13 | #include <helpers/list.h> | |
14 | #include <glib.h> | |
15 | #include "ctf-parser.h" | |
16 | #include "ctf-ast.h" | |
17 | ||
18 | #define printf_dbg(fmt, args...) fprintf(stderr, "%s: " fmt, __func__, args) | |
19 | #define printf_dbg_noarg(fmt) fprintf(stderr, "%s: " fmt, __func__) | |
20 | ||
21 | int yyparse(void); | |
22 | int yylex(void); | |
23 | ||
24 | static CDS_LIST_HEAD(allocated_strings); | |
25 | int yydebug; | |
26 | ||
27 | struct scope; | |
28 | struct scope { | |
29 | struct scope *parent; | |
30 | GHashTable *types; | |
31 | }; | |
32 | ||
33 | struct gc_string { | |
34 | struct cds_list_head gc; | |
35 | char s[]; | |
36 | }; | |
37 | ||
38 | struct scope root_scope; | |
39 | struct scope *cs = &root_scope; /* current scope */ | |
40 | ||
41 | char *strredup(char **dest, const char *src) | |
42 | { | |
43 | size_t len = strlen(src) + 1; | |
44 | ||
45 | *dest = realloc(*dest, len); | |
46 | if (!*dest) | |
47 | return NULL; | |
48 | strcpy(*dest, src); | |
49 | return *dest; | |
50 | } | |
51 | ||
52 | static struct gc_string *gc_string_alloc(size_t len) | |
53 | { | |
54 | struct gc_string *gstr; | |
55 | ||
56 | gstr = malloc(sizeof(*gstr) + len); | |
57 | cds_list_add(&gstr->gc, &allocated_strings); | |
58 | return gstr; | |
59 | } | |
60 | ||
61 | void setstring(const char *src) | |
62 | { | |
63 | yylval.gs = gc_string_alloc(strlen(src) + 1); | |
64 | strcpy(yylval.gs->s, src); | |
65 | } | |
66 | ||
67 | static void init_scope(struct scope *scope, struct scope *parent) | |
68 | { | |
69 | scope->parent = parent; | |
70 | scope->types = g_hash_table_new_full(g_str_hash, g_str_equal, | |
71 | (GDestroyNotify) free, NULL); | |
72 | } | |
73 | ||
74 | static void finalize_scope(struct scope *scope) | |
75 | { | |
76 | g_hash_table_destroy(scope->types); | |
77 | } | |
78 | ||
79 | static void push_scope(void) | |
80 | { | |
81 | struct scope *ns; | |
82 | ||
83 | printf_dbg_noarg("push scope\n"); | |
84 | ns = malloc(sizeof(struct scope)); | |
85 | init_scope(ns, cs); | |
86 | cs = ns; | |
87 | } | |
88 | ||
89 | static void pop_scope(void) | |
90 | { | |
91 | struct scope *os; | |
92 | ||
93 | printf_dbg_noarg("pop scope\n"); | |
94 | os = cs; | |
95 | cs = os->parent; | |
96 | finalize_scope(os); | |
97 | free(os); | |
98 | } | |
99 | ||
100 | int lookup_type(struct scope *s, const char *id) | |
101 | { | |
102 | int ret; | |
103 | ||
104 | ret = (int) g_hash_table_lookup(s->types, id); | |
105 | printf_dbg("lookup %p %s %d\n", s, id, ret); | |
106 | return ret; | |
107 | } | |
108 | ||
109 | int is_type(const char *id) | |
110 | { | |
111 | struct scope *it; | |
112 | int ret = 0; | |
113 | ||
114 | for (it = cs; it != NULL; it = it->parent) { | |
115 | if (lookup_type(it, id)) { | |
116 | ret = 1; | |
117 | break; | |
118 | } | |
119 | } | |
120 | printf_dbg("is type %s %d\n", id, ret); | |
121 | return ret; | |
122 | } | |
123 | ||
124 | static void add_type(const char *id) | |
125 | { | |
126 | char *type_id = NULL; | |
127 | ||
128 | printf_dbg("add type %s\n", id); | |
129 | if (lookup_type(cs, id)) | |
130 | return; | |
131 | strredup(&type_id, id); | |
132 | g_hash_table_insert(cs->types, type_id, type_id); | |
133 | } | |
134 | ||
135 | void yyerror(const char *str) | |
136 | { | |
137 | fprintf(stderr, "error %s\n", str); | |
138 | } | |
139 | ||
140 | int yywrap(void) | |
141 | { | |
142 | return 1; | |
143 | } | |
144 | ||
145 | static void free_strings(void) | |
146 | { | |
147 | struct gc_string *gstr, *tmp; | |
148 | ||
149 | cds_list_for_each_entry_safe(gstr, tmp, &allocated_strings, gc) | |
150 | free(gstr); | |
151 | } | |
152 | ||
153 | int main(int argc, char **argv) | |
154 | { | |
155 | yydebug = 1; | |
156 | init_scope(&root_scope, NULL); | |
157 | yyparse(); | |
158 | finalize_scope(&root_scope); | |
159 | free_strings(); | |
160 | return 0; | |
161 | } | |
162 | ||
163 | %} | |
164 | ||
165 | %start file | |
8b9d5b5e MD |
166 | %token CHARACTER_CONSTANT_START SQUOTE STRING_LITERAL_START DQUOTE ESCSEQ CHAR_STRING_TOKEN LSBRAC RSBRAC LPAREN RPAREN LBRAC RBRAC RARROW STAR PLUS MINUS LT GT TYPEASSIGN COLON SEMICOLON DOTDOTDOT DOT EQUAL COMMA CONST CHAR DOUBLE ENUM EVENT FLOATING_POINT FLOAT INTEGER INT LONG SHORT SIGNED STREAM STRING STRUCT TRACE TYPEALIAS TYPEDEF UNSIGNED VARIANT VOID _BOOL _COMPLEX _IMAGINARY DECIMAL_CONSTANT OCTAL_CONSTANT HEXADECIMAL_CONSTANT |
167 | %token <gs> IDENTIFIER ID_TYPE | |
168 | %token ERROR | |
169 | %union | |
170 | { | |
171 | long long ll; | |
172 | char c; | |
173 | struct gc_string *gs; | |
174 | struct ctf_node *n; | |
175 | } | |
176 | ||
8b9d5b5e MD |
177 | %% |
178 | ||
179 | file: | |
180 | declaration | |
181 | | file declaration | |
182 | ; | |
183 | ||
184 | keywords: | |
185 | VOID | |
186 | | CHAR | |
187 | | SHORT | |
188 | | INT | |
189 | | LONG | |
190 | | FLOAT | |
191 | | DOUBLE | |
192 | | SIGNED | |
193 | | UNSIGNED | |
194 | | _BOOL | |
195 | | _COMPLEX | |
196 | | FLOATING_POINT | |
197 | | INTEGER | |
198 | | STRING | |
199 | | ENUM | |
200 | | VARIANT | |
201 | | STRUCT | |
202 | | CONST | |
203 | | TYPEDEF | |
204 | | EVENT | |
205 | | STREAM | |
206 | | TRACE | |
207 | ; | |
208 | ||
209 | /* 1.5 Constants */ | |
210 | ||
211 | c_char_sequence: | |
212 | c_char | |
213 | | c_char_sequence c_char | |
214 | ; | |
215 | ||
216 | c_char: | |
217 | CHAR_STRING_TOKEN | |
218 | | ESCSEQ | |
219 | ; | |
220 | ||
221 | /* 1.6 String literals */ | |
222 | ||
223 | s_char_sequence: | |
224 | s_char | |
225 | | s_char_sequence s_char | |
226 | ; | |
227 | ||
228 | s_char: | |
229 | CHAR_STRING_TOKEN | |
230 | | ESCSEQ | |
231 | ; | |
232 | ||
233 | /* 2: Phrase structure grammar */ | |
234 | ||
235 | postfix_expression: | |
236 | IDENTIFIER | |
237 | | ID_TYPE | |
238 | | keywords | |
239 | | DECIMAL_CONSTANT | |
240 | | OCTAL_CONSTANT | |
241 | | HEXADECIMAL_CONSTANT | |
242 | | STRING_LITERAL_START DQUOTE | |
243 | | STRING_LITERAL_START s_char_sequence DQUOTE | |
244 | | CHARACTER_CONSTANT_START c_char_sequence SQUOTE | |
245 | | LPAREN unary_expression RPAREN | |
246 | | postfix_expression LSBRAC unary_expression RSBRAC | |
247 | | postfix_expression DOT IDENTIFIER | |
248 | | postfix_expression DOT ID_TYPE | |
249 | | postfix_expression RARROW IDENTIFIER | |
250 | | postfix_expression RARROW ID_TYPE | |
251 | ; | |
252 | ||
253 | unary_expression: | |
254 | postfix_expression | |
255 | | PLUS postfix_expression | |
256 | | MINUS postfix_expression | |
257 | ; | |
258 | ||
259 | unary_expression_or_range: | |
260 | unary_expression DOTDOTDOT unary_expression | |
261 | | unary_expression | |
262 | ; | |
263 | ||
264 | /* 2.2: Declarations */ | |
265 | ||
266 | declaration: | |
267 | declaration_specifiers SEMICOLON | |
268 | | event_declaration | |
269 | | stream_declaration | |
270 | | trace_declaration | |
271 | | declaration_specifiers TYPEDEF declaration_specifiers type_declarator_list SEMICOLON | |
272 | | TYPEDEF declaration_specifiers type_declarator_list SEMICOLON | |
273 | | declaration_specifiers TYPEDEF type_declarator_list SEMICOLON | |
274 | | TYPEALIAS declaration_specifiers abstract_declarator_list COLON declaration_specifiers abstract_type_declarator_list SEMICOLON | |
275 | | TYPEALIAS declaration_specifiers abstract_declarator_list COLON type_declarator_list SEMICOLON | |
276 | ; | |
277 | ||
278 | event_declaration: | |
279 | event_declaration_begin event_declaration_end | |
280 | | event_declaration_begin ctf_assignment_expression_list event_declaration_end | |
281 | ; | |
282 | ||
283 | event_declaration_begin: | |
284 | EVENT LBRAC | |
285 | { | |
286 | push_scope(); | |
287 | } | |
288 | ; | |
289 | ||
290 | event_declaration_end: | |
291 | RBRAC SEMICOLON | |
292 | { | |
293 | pop_scope(); | |
294 | } | |
295 | ; | |
296 | ||
297 | ||
298 | stream_declaration: | |
299 | stream_declaration_begin stream_declaration_end | |
300 | | stream_declaration_begin ctf_assignment_expression_list stream_declaration_end | |
301 | ; | |
302 | ||
303 | stream_declaration_begin: | |
304 | STREAM LBRAC | |
305 | { | |
306 | push_scope(); | |
307 | } | |
308 | ; | |
309 | ||
310 | stream_declaration_end: | |
311 | RBRAC SEMICOLON | |
312 | { | |
313 | pop_scope(); | |
314 | } | |
315 | ; | |
316 | ||
317 | ||
318 | trace_declaration: | |
319 | trace_declaration_begin trace_declaration_end | |
320 | | trace_declaration_begin ctf_assignment_expression_list trace_declaration_end | |
321 | ; | |
322 | ||
323 | trace_declaration_begin: | |
324 | TRACE LBRAC | |
325 | { | |
326 | push_scope(); | |
327 | } | |
328 | ; | |
329 | ||
330 | trace_declaration_end: | |
331 | RBRAC SEMICOLON | |
332 | { | |
333 | pop_scope(); | |
334 | } | |
335 | ; | |
336 | ||
337 | declaration_specifiers: | |
338 | CONST | |
339 | | type_specifier | |
340 | | declaration_specifiers CONST | |
341 | | declaration_specifiers type_specifier | |
342 | ; | |
343 | ||
344 | type_declarator_list: | |
345 | type_declarator | |
346 | | type_declarator_list COMMA type_declarator | |
347 | ; | |
348 | ||
349 | abstract_type_declarator_list: | |
350 | abstract_type_declarator | |
351 | | abstract_type_declarator_list COMMA abstract_type_declarator | |
352 | ; | |
353 | ||
354 | type_specifier: | |
355 | VOID | |
356 | | CHAR | |
357 | | SHORT | |
358 | | INT | |
359 | | LONG | |
360 | | FLOAT | |
361 | | DOUBLE | |
362 | | SIGNED | |
363 | | UNSIGNED | |
364 | | _BOOL | |
365 | | _COMPLEX | |
366 | | ID_TYPE | |
367 | | FLOATING_POINT LBRAC RBRAC | |
368 | | FLOATING_POINT LBRAC ctf_assignment_expression_list RBRAC | |
369 | | INTEGER LBRAC RBRAC | |
370 | | INTEGER LBRAC ctf_assignment_expression_list RBRAC | |
371 | | STRING LBRAC RBRAC | |
372 | | STRING LBRAC ctf_assignment_expression_list RBRAC | |
373 | | ENUM enum_type_specifier | |
374 | | VARIANT variant_type_specifier | |
375 | | STRUCT struct_type_specifier | |
376 | ; | |
377 | ||
378 | struct_type_specifier: | |
379 | struct_declaration_begin struct_or_variant_declaration_list struct_declaration_end | |
380 | | IDENTIFIER struct_declaration_begin struct_or_variant_declaration_list struct_declaration_end | |
381 | | ID_TYPE struct_declaration_begin struct_or_variant_declaration_list struct_declaration_end | |
382 | | IDENTIFIER | |
383 | | ID_TYPE | |
384 | ; | |
385 | ||
386 | struct_declaration_begin: | |
387 | LBRAC | |
388 | { | |
389 | push_scope(); | |
390 | } | |
391 | ; | |
392 | ||
393 | struct_declaration_end: | |
394 | RBRAC | |
395 | { | |
396 | pop_scope(); | |
397 | } | |
398 | ; | |
399 | ||
400 | variant_type_specifier: | |
401 | variant_declaration_begin struct_or_variant_declaration_list variant_declaration_end | |
402 | | LT IDENTIFIER GT variant_declaration_begin struct_or_variant_declaration_list variant_declaration_end | |
403 | | LT ID_TYPE GT variant_declaration_begin struct_or_variant_declaration_list variant_declaration_end | |
404 | | IDENTIFIER variant_declaration_begin struct_or_variant_declaration_list variant_declaration_end | |
405 | | IDENTIFIER LT IDENTIFIER GT variant_declaration_begin struct_or_variant_declaration_list variant_declaration_end | |
406 | | IDENTIFIER LT IDENTIFIER GT | |
407 | | IDENTIFIER LT ID_TYPE GT variant_declaration_begin struct_or_variant_declaration_list variant_declaration_end | |
408 | | IDENTIFIER LT ID_TYPE GT | |
409 | | ID_TYPE variant_declaration_begin struct_or_variant_declaration_list variant_declaration_end | |
410 | | ID_TYPE LT IDENTIFIER GT variant_declaration_begin struct_or_variant_declaration_list variant_declaration_end | |
411 | | ID_TYPE LT IDENTIFIER GT | |
412 | | ID_TYPE LT ID_TYPE GT variant_declaration_begin struct_or_variant_declaration_list variant_declaration_end | |
413 | | ID_TYPE LT ID_TYPE GT | |
414 | ; | |
415 | ||
416 | variant_declaration_begin: | |
417 | LBRAC | |
418 | { | |
419 | push_scope(); | |
420 | } | |
421 | ; | |
422 | ||
423 | variant_declaration_end: | |
424 | RBRAC | |
425 | { | |
426 | pop_scope(); | |
427 | } | |
428 | ; | |
429 | ||
430 | type_specifier_or_integer_constant: | |
431 | declaration_specifiers | |
432 | | DECIMAL_CONSTANT | |
433 | | OCTAL_CONSTANT | |
434 | | HEXADECIMAL_CONSTANT | |
435 | ; | |
436 | ||
437 | enum_type_specifier: | |
438 | LBRAC enumerator_list RBRAC | |
439 | | LT type_specifier_or_integer_constant GT LBRAC enumerator_list RBRAC | |
440 | | IDENTIFIER LBRAC enumerator_list RBRAC | |
441 | | IDENTIFIER LT type_specifier_or_integer_constant GT LBRAC enumerator_list RBRAC | |
442 | | ID_TYPE LBRAC enumerator_list RBRAC | |
443 | | ID_TYPE LT type_specifier_or_integer_constant GT LBRAC enumerator_list RBRAC | |
444 | | LBRAC enumerator_list COMMA RBRAC | |
445 | | LT type_specifier_or_integer_constant GT LBRAC enumerator_list COMMA RBRAC | |
446 | | IDENTIFIER LBRAC enumerator_list COMMA RBRAC | |
447 | | IDENTIFIER LT type_specifier_or_integer_constant GT LBRAC enumerator_list COMMA RBRAC | |
448 | | IDENTIFIER | |
449 | | IDENTIFIER LT type_specifier_or_integer_constant GT | |
450 | | ID_TYPE LBRAC enumerator_list COMMA RBRAC | |
451 | | ID_TYPE LT type_specifier_or_integer_constant GT LBRAC enumerator_list COMMA RBRAC | |
452 | | ID_TYPE | |
453 | | ID_TYPE LT type_specifier_or_integer_constant GT | |
454 | ; | |
455 | ||
456 | struct_or_variant_declaration_list: | |
457 | /* empty */ | |
458 | | struct_or_variant_declaration_list struct_or_variant_declaration | |
459 | ; | |
460 | ||
461 | struct_or_variant_declaration: | |
462 | specifier_qualifier_list struct_or_variant_declarator_list SEMICOLON | |
463 | | specifier_qualifier_list TYPEDEF specifier_qualifier_list type_declarator_list SEMICOLON | |
464 | | TYPEDEF specifier_qualifier_list type_declarator_list SEMICOLON | |
465 | | specifier_qualifier_list TYPEDEF type_declarator_list SEMICOLON | |
466 | | TYPEALIAS specifier_qualifier_list abstract_declarator_list COLON specifier_qualifier_list abstract_type_declarator_list SEMICOLON | |
467 | | TYPEALIAS specifier_qualifier_list abstract_declarator_list COLON type_declarator_list SEMICOLON | |
468 | ; | |
469 | ||
470 | specifier_qualifier_list: | |
471 | CONST | |
472 | | type_specifier | |
473 | | specifier_qualifier_list CONST | |
474 | | specifier_qualifier_list type_specifier | |
475 | ; | |
476 | ||
477 | struct_or_variant_declarator_list: | |
478 | struct_or_variant_declarator | |
479 | | struct_or_variant_declarator_list COMMA struct_or_variant_declarator | |
480 | ; | |
481 | ||
482 | struct_or_variant_declarator: | |
483 | declarator | |
484 | | COLON unary_expression | |
485 | | declarator COLON unary_expression | |
486 | ; | |
487 | ||
488 | enumerator_list: | |
489 | enumerator | |
490 | | enumerator_list COMMA enumerator | |
491 | ; | |
492 | ||
493 | enumerator: | |
494 | IDENTIFIER | |
495 | | ID_TYPE | |
496 | | keywords | |
497 | | STRING_LITERAL_START DQUOTE | |
498 | | STRING_LITERAL_START s_char_sequence DQUOTE | |
499 | | IDENTIFIER EQUAL unary_expression_or_range | |
500 | | ID_TYPE EQUAL unary_expression_or_range | |
501 | | keywords EQUAL unary_expression_or_range | |
502 | | STRING_LITERAL_START DQUOTE EQUAL unary_expression_or_range | |
503 | | STRING_LITERAL_START s_char_sequence DQUOTE EQUAL unary_expression_or_range | |
504 | ; | |
505 | ||
506 | abstract_declarator_list: | |
507 | abstract_declarator | |
508 | | abstract_declarator_list COMMA abstract_declarator | |
509 | ; | |
510 | ||
511 | abstract_declarator: | |
512 | direct_abstract_declarator | |
513 | | pointer direct_abstract_declarator | |
514 | ; | |
515 | ||
516 | direct_abstract_declarator: | |
517 | /* empty */ | |
518 | | IDENTIFIER | |
519 | | LPAREN abstract_declarator RPAREN | |
520 | | direct_abstract_declarator LSBRAC type_specifier_or_integer_constant RSBRAC | |
521 | | direct_abstract_declarator LSBRAC RSBRAC | |
522 | ; | |
523 | ||
524 | declarator: | |
525 | direct_declarator | |
526 | | pointer direct_declarator | |
527 | ; | |
528 | ||
529 | direct_declarator: | |
530 | IDENTIFIER | |
531 | | LPAREN declarator RPAREN | |
532 | | direct_declarator LSBRAC type_specifier_or_integer_constant RSBRAC | |
533 | ; | |
534 | ||
535 | type_declarator: | |
536 | direct_type_declarator | |
537 | | pointer direct_type_declarator | |
538 | ; | |
539 | ||
540 | direct_type_declarator: | |
541 | IDENTIFIER | |
542 | { | |
543 | add_type($1->s); | |
544 | } | |
545 | | LPAREN type_declarator RPAREN | |
546 | | direct_type_declarator LSBRAC type_specifier_or_integer_constant RSBRAC | |
547 | ; | |
548 | ||
549 | abstract_type_declarator: | |
550 | direct_abstract_type_declarator | |
551 | | pointer direct_abstract_type_declarator | |
552 | ; | |
553 | ||
554 | direct_abstract_type_declarator: | |
555 | /* empty */ | |
556 | | IDENTIFIER | |
557 | { | |
558 | add_type($1->s); | |
559 | } | |
560 | | LPAREN abstract_type_declarator RPAREN | |
561 | | direct_abstract_type_declarator LSBRAC type_specifier_or_integer_constant RSBRAC | |
562 | | direct_abstract_type_declarator LSBRAC RSBRAC | |
563 | ; | |
564 | ||
565 | pointer: | |
566 | STAR | |
567 | | STAR pointer | |
568 | | STAR type_qualifier_list pointer | |
569 | ; | |
570 | ||
571 | type_qualifier_list: | |
572 | CONST | |
573 | | type_qualifier_list CONST | |
574 | ; | |
575 | ||
576 | /* 2.3: CTF-specific declarations */ | |
577 | ||
578 | ctf_assignment_expression_list: | |
579 | ctf_assignment_expression SEMICOLON | |
580 | | ctf_assignment_expression_list ctf_assignment_expression SEMICOLON | |
581 | ; | |
582 | ||
583 | ctf_assignment_expression: | |
584 | unary_expression EQUAL unary_expression | |
585 | | unary_expression TYPEASSIGN type_specifier | |
586 | | declaration_specifiers TYPEDEF declaration_specifiers type_declarator_list | |
587 | | TYPEDEF declaration_specifiers type_declarator_list | |
588 | | declaration_specifiers TYPEDEF type_declarator_list | |
589 | | TYPEALIAS declaration_specifiers abstract_declarator_list COLON declaration_specifiers abstract_type_declarator_list | |
590 | | TYPEALIAS declaration_specifiers abstract_declarator_list COLON type_declarator_list | |
591 | ; |