gcc/gengtype-yacc.y

   1 /* -*- indented-text -*- */
   2 /* Process source files and output type information.
   3    Copyright (C) 2002 Free Software Foundation, Inc.
   4
   5 This file is part of GCC.
   6
   7 GCC is free software; you can redistribute it and/or modify it under
   8 the terms of the GNU General Public License as published by the Free
   9 Software Foundation; either version 2, or (at your option) any later
  10 version.
  11
  12 GCC is distributed in the hope that it will be useful, but WITHOUT ANY
  13 WARRANTY; without even the implied warranty of MERCHANTABILITY or
  14 FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
  15 for more details.
  16
  17 You should have received a copy of the GNU General Public License
  18 along with GCC; see the file COPYING.  If not, write to the Free
  19 Software Foundation, 59 Temple Place - Suite 330, Boston, MA
  20 02111-1307, USA.  */
  21
  22 %{
  23 #include "hconfig.h"
  24 #include "system.h"
  25 #include "gengtype.h"
  26 #define YYERROR_VERBOSE
  27 %}
  28
  29 %union {
  30   type_p t;
  31   pair_p p;
  32   options_p o;
  33   const char *s;
  34 }
  35
  36 %token <t>ENT_TYPEDEF_STRUCT
  37 %token <t>ENT_STRUCT
  38 %token ENT_EXTERNSTATIC
  39 %token ENT_YACCUNION
  40 %token GTY_TOKEN "GTY"
  41 %token UNION "union"
  42 %token STRUCT "struct"
  43 %token ENUM "enum"
  44 %token ALIAS "ptr_alias"
  45 %token <s>PARAM_IS
  46 %token NUM
  47 %token PERCENTPERCENT "%%"
  48 %token <t>SCALAR
  49 %token <s>ID
  50 %token <s>STRING
  51 %token <s>ARRAY
  52 %token <s>PERCENT_ID
  53 %token <s>CHAR
  54
  55 %type <p> struct_fields yacc_ids yacc_typematch
  56 %type <t> type lasttype
  57 %type <o> optionsopt options option optionseq optionseqopt
  58 %type <s> type_option
  59
  60 %%
  61
  62 start: /* empty */
  63        | typedef_struct start
  64        | externstatic start
  65        | yacc_union start
  66        ;
  67
  68 typedef_struct: ENT_TYPEDEF_STRUCT options '{' struct_fields '}' ID
  69                    {
  70                      new_structure ($1->u.s.tag, UNION_P ($1), &lexer_line,
  71                                     $4, $2);
  72                      do_typedef ($6, $1, &lexer_line);
  73                      lexer_toplevel_done = 1;
  74                    }
  75                  ';'
  76                    {}
  77                 | ENT_STRUCT options '{' struct_fields '}'
  78                    {
  79                      new_structure ($1->u.s.tag, UNION_P ($1), &lexer_line,
  80                                     $4, $2);
  81                      lexer_toplevel_done = 1;
  82                    }
  83                  ';'
  84                    {}
  85                 ;
  86
  87 externstatic: ENT_EXTERNSTATIC options lasttype ID semiequal
  88                  {
  89                    note_variable ($4, adjust_field_type ($3, $2), $2,
  90                                   &lexer_line);
  91                  }
  92               | ENT_EXTERNSTATIC options lasttype ID ARRAY semiequal
  93                  {
  94                    note_variable ($4, create_array ($3, $5),
  95                             $2, &lexer_line);
  96                  }
  97               | ENT_EXTERNSTATIC options lasttype ID ARRAY ARRAY semiequal
  98                  {
  99                    note_variable ($4, create_array (create_array ($3, $6),
 100                                               $5),
 101                             $2, &lexer_line);
 102                  }
 103               ;
 104
 105 lasttype: type
 106             {
 107               lexer_toplevel_done = 1;
 108               $$ = $1;
 109             }
 110             ;
 111
 112 semiequal: ';'
 113            | '='
 114            ;
 115
 116 yacc_union: ENT_YACCUNION options struct_fields '}' yacc_typematch
 117             PERCENTPERCENT
 118               {
 119                 note_yacc_type ($2, $3, $5, &lexer_line);
 120               }
 121             ;
 122
 123 yacc_typematch: /* empty */
 124                    { $$ = NULL; }
 125                 | yacc_typematch PERCENT_ID yacc_ids
 126                    {
 127                      pair_p p;
 128                      for (p = $3; p->next != NULL; p = p->next)
 129                        {
 130                          p->name = NULL;
 131                          p->type = NULL;
 132                        }
 133                      p->name = NULL;
 134                      p->type = NULL;
 135                      p->next = $1;
 136                      $$ = $3;
 137                    }
 138                 | yacc_typematch PERCENT_ID '<' ID '>' yacc_ids
 139                    {
 140                      pair_p p;
 141                      type_p newtype = NULL;
 142                      if (strcmp ($2, "type") == 0)
 143                        newtype = (type_p) 1;
 144                      for (p = $6; p->next != NULL; p = p->next)
 145                        {
 146                          p->name = $4;
 147                          p->type = newtype;
 148                        }
 149                      p->name = $4;
 150                      p->next = $1;
 151                      p->type = newtype;
 152                      $$ = $6;
 153                    }
 154                 ;
 155
 156 yacc_ids: /* empty */
 157         { $$ = NULL; }
 158      | yacc_ids ID
 159         {
 160           pair_p p = xcalloc (1, sizeof (*p));
 161           p->next = $1;
 162           p->line = lexer_line;
 163           p->opt = xmalloc (sizeof (*(p->opt)));
 164           p->opt->name = "tag";
 165           p->opt->next = NULL;
 166           p->opt->info = (char *)$2;
 167           $$ = p;
 168         }
 169      | yacc_ids CHAR
 170         {
 171           pair_p p = xcalloc (1, sizeof (*p));
 172           p->next = $1;
 173           p->line = lexer_line;
 174           p->opt = xmalloc (sizeof (*(p->opt)));
 175           p->opt->name = "tag";
 176           p->opt->next = NULL;
 177           p->opt->info = xasprintf ("'%s'", $2);
 178           $$ = p;
 179         }
 180      ;
 181
 182 struct_fields: { $$ = NULL; }
 183                | type optionsopt ID bitfieldopt ';' struct_fields
 184                   {
 185                     pair_p p = xmalloc (sizeof (*p));
 186                     p->type = adjust_field_type ($1, $2);
 187                     p->opt = $2;
 188                     p->name = $3;
 189                     p->next = $6;
 190                     p->line = lexer_line;
 191                     $$ = p;
 192                   }
 193                | type optionsopt ID ARRAY ';' struct_fields
 194                   {
 195                     pair_p p = xmalloc (sizeof (*p));
 196                     p->type = adjust_field_type (create_array ($1, $4), $2);
 197                     p->opt = $2;
 198                     p->name = $3;
 199                     p->next = $6;
 200                     p->line = lexer_line;
 201                     $$ = p;
 202                   }
 203                | type optionsopt ID ARRAY ARRAY ';' struct_fields
 204                   {
 205                     pair_p p = xmalloc (sizeof (*p));
 206                     p->type = create_array (create_array ($1, $5), $4);
 207                     p->opt = $2;
 208                     p->name = $3;
 209                     p->next = $7;
 210                     p->line = lexer_line;
 211                     $$ = p;
 212                   }
 213                ;
 214
 215 bitfieldopt: /* empty */
 216              | ':' NUM
 217              ;
 218
 219 type: SCALAR
 220          { $$ = $1; }
 221       | ID
 222          { $$ = resolve_typedef ($1, &lexer_line); }
 223       | type '*'
 224          { $$ = create_pointer ($1); }
 225       | STRUCT ID '{' struct_fields '}'
 226          {
 227            new_structure ($2, 0, &lexer_line, $4, NULL);
 228            $$ = find_structure ($2, 0);
 229          }
 230       | STRUCT ID
 231          { $$ = find_structure ($2, 0); }
 232       | UNION ID '{' struct_fields '}'
 233          {
 234            new_structure ($2, 1, &lexer_line, $4, NULL);
 235            $$ = find_structure ($2, 1);
 236          }
 237       | UNION ID
 238          { $$ = find_structure ($2, 1); }
 239       | ENUM ID
 240          { $$ = create_scalar_type ($2, strlen ($2)); }
 241       | ENUM ID '{' enum_items '}'
 242          { $$ = create_scalar_type ($2, strlen ($2)); }
 243       ;
 244
 245 enum_items: /* empty */
 246             | ID '=' NUM ',' enum_items
 247               { }
 248             | ID ',' enum_items
 249               { }
 250             | ID enum_items
 251               { }
 252             ;
 253
 254 optionsopt: { $$ = NULL; }
 255             | options { $$ = $1; }
 256             ;
 257
 258 options: GTY_TOKEN '(' '(' optionseqopt ')' ')'
 259            { $$ = $4; }
 260          ;
 261
 262 type_option : ALIAS
 263                 { $$ = "ptr_alias"; }
 264               | PARAM_IS
 265                 { $$ = $1; }
 266               ;
 267
 268 option: type_option '(' type ')'
 269            {
 270              options_p o = xmalloc (sizeof (*o));
 271              o->name = $1;
 272              o->info = adjust_field_type ($3, NULL);
 273              $$ = o;
 274            }
 275         | ID '(' STRING ')'
 276            {
 277              options_p o = xmalloc (sizeof (*o));
 278              o->name = $1;
 279              o->info = (void *)$3;
 280              $$ = o;
 281            }
 282         ;
 283
 284 optionseq: option
 285               {
 286                 $1->next = NULL;
 287                 $$ = $1;
 288               }
 289             | optionseq ',' option
 290               {
 291                 $3->next = $1;
 292                 $$ = $3;
 293               }
 294             ;
 295
 296 optionseqopt: { $$ = NULL; }
 297               | optionseq { $$ = $1; }
 298               ;
 299 %%