Carl Worth | 3a37b87 | 2010-05-10 11:44:09 -0700 | [diff] [blame] | 1 | %{ |
| 2 | /* |
| 3 | * Copyright © 2010 Intel Corporation |
| 4 | * |
| 5 | * Permission is hereby granted, free of charge, to any person obtaining a |
| 6 | * copy of this software and associated documentation files (the "Software"), |
| 7 | * to deal in the Software without restriction, including without limitation |
| 8 | * the rights to use, copy, modify, merge, publish, distribute, sublicense, |
| 9 | * and/or sell copies of the Software, and to permit persons to whom the |
| 10 | * Software is furnished to do so, subject to the following conditions: |
| 11 | * |
| 12 | * The above copyright notice and this permission notice (including the next |
| 13 | * paragraph) shall be included in all copies or substantial portions of the |
| 14 | * Software. |
| 15 | * |
| 16 | * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR |
| 17 | * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, |
| 18 | * FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL |
| 19 | * THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER |
| 20 | * LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING |
| 21 | * FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER |
| 22 | * DEALINGS IN THE SOFTWARE. |
| 23 | */ |
| 24 | |
| 25 | #include <stdio.h> |
| 26 | #include <stdlib.h> |
Carl Worth | 33cc400 | 2010-05-12 12:17:10 -0700 | [diff] [blame] | 27 | #include <talloc.h> |
Carl Worth | 3a37b87 | 2010-05-10 11:44:09 -0700 | [diff] [blame] | 28 | |
Carl Worth | a1e32bc | 2010-05-10 13:17:25 -0700 | [diff] [blame] | 29 | #include "glcpp.h" |
| 30 | |
Carl Worth | 0b27b5f | 2010-05-10 16:16:06 -0700 | [diff] [blame] | 31 | #define YYLEX_PARAM parser->scanner |
Carl Worth | 3a37b87 | 2010-05-10 11:44:09 -0700 | [diff] [blame] | 32 | |
Carl Worth | 33cc400 | 2010-05-12 12:17:10 -0700 | [diff] [blame] | 33 | struct glcpp_parser { |
| 34 | yyscan_t scanner; |
| 35 | struct hash_table *defines; |
| 36 | }; |
| 37 | |
Carl Worth | 3a37b87 | 2010-05-10 11:44:09 -0700 | [diff] [blame] | 38 | void |
Carl Worth | a1e32bc | 2010-05-10 13:17:25 -0700 | [diff] [blame] | 39 | yyerror (void *scanner, const char *error); |
Carl Worth | 3a37b87 | 2010-05-10 11:44:09 -0700 | [diff] [blame] | 40 | |
Carl Worth | 33cc400 | 2010-05-12 12:17:10 -0700 | [diff] [blame] | 41 | void |
| 42 | _print_resolved_token (glcpp_parser_t *parser, const char *token); |
| 43 | |
| 44 | list_t * |
| 45 | _list_create (void *ctx); |
| 46 | |
| 47 | void |
| 48 | _list_append (list_t *list, const char *str); |
Carl Worth | c6d5af3 | 2010-05-11 12:30:09 -0700 | [diff] [blame] | 49 | |
Carl Worth | 3a37b87 | 2010-05-10 11:44:09 -0700 | [diff] [blame] | 50 | %} |
| 51 | |
Carl Worth | 33cc400 | 2010-05-12 12:17:10 -0700 | [diff] [blame] | 52 | %union { |
| 53 | char *str; |
| 54 | list_t *list; |
| 55 | } |
| 56 | |
Carl Worth | 0b27b5f | 2010-05-10 16:16:06 -0700 | [diff] [blame] | 57 | %parse-param {glcpp_parser_t *parser} |
Carl Worth | 38aa835 | 2010-05-10 11:52:29 -0700 | [diff] [blame] | 58 | %lex-param {void *scanner} |
| 59 | |
Carl Worth | 33cc400 | 2010-05-12 12:17:10 -0700 | [diff] [blame] | 60 | %token DEFINE IDENTIFIER NEWLINE TOKEN |
| 61 | %type <str> token IDENTIFIER TOKEN |
| 62 | %type <list> replacement_list |
Carl Worth | 3a37b87 | 2010-05-10 11:44:09 -0700 | [diff] [blame] | 63 | |
| 64 | %% |
| 65 | |
Carl Worth | 33cc400 | 2010-05-12 12:17:10 -0700 | [diff] [blame] | 66 | input: |
| 67 | /* empty */ |
| 68 | | content |
Carl Worth | 3a37b87 | 2010-05-10 11:44:09 -0700 | [diff] [blame] | 69 | ; |
| 70 | |
Carl Worth | 33cc400 | 2010-05-12 12:17:10 -0700 | [diff] [blame] | 71 | content: |
| 72 | token { |
| 73 | _print_resolved_token (parser, $1); |
Carl Worth | 5070a20 | 2010-05-12 12:45:33 -0700 | [diff] [blame] | 74 | talloc_free ($1); |
Carl Worth | 33cc400 | 2010-05-12 12:17:10 -0700 | [diff] [blame] | 75 | } |
| 76 | | directive |
| 77 | | content token { |
| 78 | _print_resolved_token (parser, $2); |
Carl Worth | 5070a20 | 2010-05-12 12:45:33 -0700 | [diff] [blame] | 79 | talloc_free ($2); |
Carl Worth | 33cc400 | 2010-05-12 12:17:10 -0700 | [diff] [blame] | 80 | } |
| 81 | | content directive |
Carl Worth | 3a37b87 | 2010-05-10 11:44:09 -0700 | [diff] [blame] | 82 | ; |
| 83 | |
Carl Worth | 33cc400 | 2010-05-12 12:17:10 -0700 | [diff] [blame] | 84 | directive: |
| 85 | DEFINE IDENTIFIER replacement_list NEWLINE { |
Carl Worth | 5070a20 | 2010-05-12 12:45:33 -0700 | [diff] [blame] | 86 | talloc_steal ($3, $2); |
| 87 | hash_table_insert (parser->defines, $3, $2); |
Carl Worth | 33cc400 | 2010-05-12 12:17:10 -0700 | [diff] [blame] | 88 | printf ("\n"); |
| 89 | } |
| 90 | ; |
| 91 | |
| 92 | replacement_list: |
| 93 | /* empty */ { |
| 94 | $$ = _list_create (parser); |
| 95 | } |
| 96 | |
| 97 | | replacement_list token { |
| 98 | _list_append ($1, $2); |
Carl Worth | 5070a20 | 2010-05-12 12:45:33 -0700 | [diff] [blame] | 99 | talloc_free ($2); |
Carl Worth | 33cc400 | 2010-05-12 12:17:10 -0700 | [diff] [blame] | 100 | $$ = $1; |
| 101 | } |
| 102 | ; |
| 103 | |
| 104 | token: |
| 105 | TOKEN { $$ = $1; } |
| 106 | | IDENTIFIER { $$ = $1; } |
| 107 | ; |
| 108 | |
| 109 | %% |
| 110 | |
| 111 | list_t * |
| 112 | _list_create (void *ctx) |
| 113 | { |
| 114 | list_t *list; |
| 115 | |
Carl Worth | 5070a20 | 2010-05-12 12:45:33 -0700 | [diff] [blame] | 116 | list = xtalloc (ctx, list_t); |
Carl Worth | 33cc400 | 2010-05-12 12:17:10 -0700 | [diff] [blame] | 117 | list->head = NULL; |
| 118 | list->tail = NULL; |
| 119 | |
| 120 | return list; |
Carl Worth | 0b27b5f | 2010-05-10 16:16:06 -0700 | [diff] [blame] | 121 | } |
Carl Worth | 0b27b5f | 2010-05-10 16:16:06 -0700 | [diff] [blame] | 122 | |
Carl Worth | 33cc400 | 2010-05-12 12:17:10 -0700 | [diff] [blame] | 123 | void |
| 124 | _list_append (list_t *list, const char *str) |
| 125 | { |
| 126 | node_t *node; |
Carl Worth | 3a37b87 | 2010-05-10 11:44:09 -0700 | [diff] [blame] | 127 | |
Carl Worth | 5070a20 | 2010-05-12 12:45:33 -0700 | [diff] [blame] | 128 | node = xtalloc (list, node_t); |
| 129 | node->str = xtalloc_strdup (node, str); |
Carl Worth | 33cc400 | 2010-05-12 12:17:10 -0700 | [diff] [blame] | 130 | |
| 131 | node->next = NULL; |
| 132 | |
| 133 | if (list->head == NULL) { |
| 134 | list->head = node; |
| 135 | } else { |
| 136 | list->tail->next = node; |
| 137 | } |
| 138 | |
| 139 | list->tail = node; |
| 140 | } |
| 141 | |
Carl Worth | 3a37b87 | 2010-05-10 11:44:09 -0700 | [diff] [blame] | 142 | void |
Carl Worth | a1e32bc | 2010-05-10 13:17:25 -0700 | [diff] [blame] | 143 | yyerror (void *scanner, const char *error) |
Carl Worth | 3a37b87 | 2010-05-10 11:44:09 -0700 | [diff] [blame] | 144 | { |
| 145 | fprintf (stderr, "Parse error: %s\n", error); |
| 146 | } |
Carl Worth | 0b27b5f | 2010-05-10 16:16:06 -0700 | [diff] [blame] | 147 | |
Carl Worth | 33cc400 | 2010-05-12 12:17:10 -0700 | [diff] [blame] | 148 | glcpp_parser_t * |
| 149 | glcpp_parser_create (void) |
Carl Worth | 0b27b5f | 2010-05-10 16:16:06 -0700 | [diff] [blame] | 150 | { |
Carl Worth | 33cc400 | 2010-05-12 12:17:10 -0700 | [diff] [blame] | 151 | glcpp_parser_t *parser; |
| 152 | |
Carl Worth | 5070a20 | 2010-05-12 12:45:33 -0700 | [diff] [blame] | 153 | parser = xtalloc (NULL, glcpp_parser_t); |
Carl Worth | 33cc400 | 2010-05-12 12:17:10 -0700 | [diff] [blame] | 154 | |
Carl Worth | 5070a20 | 2010-05-12 12:45:33 -0700 | [diff] [blame] | 155 | yylex_init_extra (parser, &parser->scanner); |
Carl Worth | 0b27b5f | 2010-05-10 16:16:06 -0700 | [diff] [blame] | 156 | parser->defines = hash_table_ctor (32, hash_table_string_hash, |
| 157 | hash_table_string_compare); |
Carl Worth | 33cc400 | 2010-05-12 12:17:10 -0700 | [diff] [blame] | 158 | |
| 159 | return parser; |
Carl Worth | 0b27b5f | 2010-05-10 16:16:06 -0700 | [diff] [blame] | 160 | } |
| 161 | |
| 162 | int |
| 163 | glcpp_parser_parse (glcpp_parser_t *parser) |
| 164 | { |
| 165 | return yyparse (parser); |
| 166 | } |
| 167 | |
| 168 | void |
Carl Worth | 33cc400 | 2010-05-12 12:17:10 -0700 | [diff] [blame] | 169 | glcpp_parser_destroy (glcpp_parser_t *parser) |
Carl Worth | 0b27b5f | 2010-05-10 16:16:06 -0700 | [diff] [blame] | 170 | { |
| 171 | yylex_destroy (parser->scanner); |
| 172 | hash_table_dtor (parser->defines); |
Carl Worth | 33cc400 | 2010-05-12 12:17:10 -0700 | [diff] [blame] | 173 | talloc_free (parser); |
Carl Worth | 0b27b5f | 2010-05-10 16:16:06 -0700 | [diff] [blame] | 174 | } |
Carl Worth | c6d5af3 | 2010-05-11 12:30:09 -0700 | [diff] [blame] | 175 | |
Carl Worth | 33cc400 | 2010-05-12 12:17:10 -0700 | [diff] [blame] | 176 | static void |
| 177 | _print_resolved_recursive (glcpp_parser_t *parser, |
| 178 | const char *token, |
| 179 | const char *orig, |
| 180 | int *first) |
Carl Worth | c6d5af3 | 2010-05-11 12:30:09 -0700 | [diff] [blame] | 181 | { |
Carl Worth | 33cc400 | 2010-05-12 12:17:10 -0700 | [diff] [blame] | 182 | list_t *replacement; |
| 183 | node_t *node; |
Carl Worth | c6d5af3 | 2010-05-11 12:30:09 -0700 | [diff] [blame] | 184 | |
Carl Worth | 33cc400 | 2010-05-12 12:17:10 -0700 | [diff] [blame] | 185 | replacement = hash_table_find (parser->defines, token); |
| 186 | if (replacement == NULL) { |
| 187 | printf ("%s%s", *first ? "" : " ", token); |
| 188 | *first = 0; |
| 189 | } else { |
| 190 | for (node = replacement->head ; node ; node = node->next) { |
| 191 | token = node->str; |
| 192 | if (strcmp (token, orig) == 0) { |
| 193 | printf ("%s%s", *first ? "" : " ", token); |
| 194 | *first = 0; |
| 195 | } else { |
| 196 | _print_resolved_recursive (parser, token, orig, first); |
| 197 | } |
| 198 | } |
Carl Worth | c6d5af3 | 2010-05-11 12:30:09 -0700 | [diff] [blame] | 199 | } |
Carl Worth | c6d5af3 | 2010-05-11 12:30:09 -0700 | [diff] [blame] | 200 | } |
| 201 | |
Carl Worth | 33cc400 | 2010-05-12 12:17:10 -0700 | [diff] [blame] | 202 | void |
| 203 | _print_resolved_token (glcpp_parser_t *parser, const char *token) |
| 204 | { |
| 205 | int first = 1; |
| 206 | |
| 207 | _print_resolved_recursive (parser, token, token, &first); |
| 208 | } |