llvm-gcc-4.2/gcc/gengtype-yacc.y - llvm-archive - Git at Google

 /* -*- indented-text -*- */
 /* Process source files and output type information.
    Copyright (C) 2002, 2004 Free Software Foundation, Inc.

 This file is part of GCC.

 GCC is free software; you can redistribute it and/or modify it under
 the terms of the GNU General Public License as published by the Free
 Software Foundation; either version 2, or (at your option) any later
 version.

 GCC is distributed in the hope that it will be useful, but WITHOUT ANY
 WARRANTY; without even the implied warranty of MERCHANTABILITY or
 FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
 for more details.

 You should have received a copy of the GNU General Public License
 along with GCC; see the file COPYING.  If not, write to the Free
 Software Foundation, 51 Franklin Street, Fifth Floor, Boston, MA
 02110-1301, USA.  */

 %{
 #include "bconfig.h"
 #include "system.h"
 #include "coretypes.h"
 #include "tm.h"
 #include "gengtype.h"
 #define YYERROR_VERBOSE
 %}

 %union {
   type_p t;
   pair_p p;
   options_p o;
   const char *s;
 }

 %token <t>ENT_TYPEDEF_STRUCT
 %token <t>ENT_STRUCT
 %token ENT_EXTERNSTATIC
 %token ENT_YACCUNION
 %token GTY_TOKEN
 %token UNION
 %token STRUCT
 %token ENUM
 %token ALIAS
 %token NESTED_PTR
 %token <s>PARAM_IS
 %token NUM
 %token PERCENTPERCENT "%%"
 %token <t>SCALAR
 %token <s>ID
 %token <s>STRING
 %token <s>ARRAY
 %token <s>PERCENT_ID
 %token <s>CHAR

 %type <p> struct_fields yacc_ids yacc_typematch
 %type <t> type lasttype
 %type <o> optionsopt options option optionseq optionseqopt
 %type <s> type_option stringseq

 %%

 start: /* empty */
        | typedef_struct start
        | externstatic start
        | yacc_union start
        ;

 typedef_struct: ENT_TYPEDEF_STRUCT options '{' struct_fields '}' ID
 		   {
 		     new_structure ($1->u.s.tag, UNION_P ($1), &lexer_line,
 				    $4, $2);
 		     do_typedef ($6, $1, &lexer_line);
 		     lexer_toplevel_done = 1;
 		   }
 		 ';'
 		   {}
 		| ENT_STRUCT options '{' struct_fields '}'
 		   {
 		     new_structure ($1->u.s.tag, UNION_P ($1), &lexer_line,
 				    $4, $2);
 		     lexer_toplevel_done = 1;
 		   }
 		 ';'
 		   {}
 		;

 externstatic: ENT_EXTERNSTATIC options lasttype ID semiequal
 	         {
 	           note_variable ($4, adjust_field_type ($3, $2), $2,
 				  &lexer_line);
 	         }
 	      | ENT_EXTERNSTATIC options lasttype ID ARRAY semiequal
 	         {
 	           note_variable ($4, create_array ($3, $5),
 	      		    $2, &lexer_line);
 	         }
 	      | ENT_EXTERNSTATIC options lasttype ID ARRAY ARRAY semiequal
 	         {
 	           note_variable ($4, create_array (create_array ($3, $6),
 	      				      $5),
 	      		    $2, &lexer_line);
 	         }
 	      ;

 lasttype: type
 	    {
 	      lexer_toplevel_done = 1;
 	      $$ = $1;
 	    }
 	    ;

 semiequal: ';'
 	   | '='
 	   ;

 yacc_union: ENT_YACCUNION options struct_fields '}' yacc_typematch
 	    PERCENTPERCENT
 	      {
 	        note_yacc_type ($2, $3, $5, &lexer_line);
 	      }
 	    ;

 yacc_typematch: /* empty */
 		   { $$ = NULL; }
 		| yacc_typematch PERCENT_ID yacc_ids
 		   {
 		     pair_p p;
 		     for (p = $3; p->next != NULL; p = p->next)
 		       {
 		         p->name = NULL;
 			 p->type = NULL;
 		       }
 		     p->name = NULL;
 		     p->type = NULL;
 		     p->next = $1;
 		     $$ = $3;
 		   }
 		| yacc_typematch PERCENT_ID '<' ID '>' yacc_ids
 		   {
 		     pair_p p;
 		     type_p newtype = NULL;
 		     if (strcmp ($2, "type") == 0)
 		       newtype = (type_p) 1;
 		     for (p = $6; p->next != NULL; p = p->next)
 		       {
 		         p->name = $4;
 		         p->type = newtype;
 		       }
 		     p->name = $4;
 		     p->next = $1;
 		     p->type = newtype;
 		     $$ = $6;
 		   }
 		;

 yacc_ids: /* empty */
 	{ $$ = NULL; }
      | yacc_ids ID
         {
 	  pair_p p = XCNEW (struct pair);
 	  p->next = $1;
 	  p->line = lexer_line;
 	  p->opt = XNEW (struct options);
 	  p->opt->name = "tag";
 	  p->opt->next = NULL;
 	  p->opt->info = (char *)$2;
 	  $$ = p;
 	}
      | yacc_ids CHAR
         {
 	  pair_p p = XCNEW (struct pair);
 	  p->next = $1;
 	  p->line = lexer_line;
 	  p->opt = XNEW (struct options);
 	  p->opt->name = "tag";
 	  p->opt->next = NULL;
 	  p->opt->info = xasprintf ("'%s'", $2);
 	  $$ = p;
 	}
      ;

 struct_fields: { $$ = NULL; }
 	       | type optionsopt ID bitfieldopt ';' struct_fields
 	          {
 	            pair_p p = XNEW (struct pair);
 		    p->type = adjust_field_type ($1, $2);
 		    p->opt = $2;
 		    p->name = $3;
 		    p->next = $6;
 		    p->line = lexer_line;
 		    $$ = p;
 		  }
 	       | type optionsopt ID ARRAY ';' struct_fields
 	          {
 	            pair_p p = XNEW (struct pair);
 		    p->type = adjust_field_type (create_array ($1, $4), $2);
 		    p->opt = $2;
 		    p->name = $3;
 		    p->next = $6;
 		    p->line = lexer_line;
 		    $$ = p;
 		  }
 	       | type optionsopt ID ARRAY ARRAY ';' struct_fields
 	          {
 	            pair_p p = XNEW (struct pair);
 		    p->type = create_array (create_array ($1, $5), $4);
 		    p->opt = $2;
 		    p->name = $3;
 		    p->next = $7;
 		    p->line = lexer_line;
 		    $$ = p;
 		  }
 	       | type ':' bitfieldlen ';' struct_fields
 		  { $$ = $5; }
 	       ;

 bitfieldopt: /* empty */
 	     | ':' bitfieldlen
 	     ;

 bitfieldlen: NUM | ID
 		{ }
 	     ;

 type: SCALAR
          { $$ = $1; }
       | ID
          { $$ = resolve_typedef ($1, &lexer_line); }
       | type '*'
          { $$ = create_pointer ($1); }
       | STRUCT ID '{' struct_fields '}'
          { $$ = new_structure ($2, 0, &lexer_line, $4, NULL); }
       | STRUCT ID
          { $$ = find_structure ($2, 0); }
       | UNION ID '{' struct_fields '}'
          { $$ = new_structure ($2, 1, &lexer_line, $4, NULL); }
       | UNION ID
          { $$ = find_structure ($2, 1); }
       | ENUM ID
          { $$ = create_scalar_type ($2, strlen ($2)); }
       | ENUM ID '{' enum_items '}'
          { $$ = create_scalar_type ($2, strlen ($2)); }
       ;

 enum_items: /* empty */
 	    | ID '=' NUM ',' enum_items
 	      { }
 	    | ID ',' enum_items
 	      { }
 	    | ID enum_items
 	      { }
 	    ;

 optionsopt: { $$ = NULL; }
 	    | options { $$ = $1; }
 	    ;

 options: GTY_TOKEN '(' '(' optionseqopt ')' ')'
 	   { $$ = $4; }
 	 ;

 type_option : ALIAS
 	        { $$ = "ptr_alias"; }
 	      | PARAM_IS
 	        { $$ = $1; }
 	      ;

 option:   ID
 	    { $$ = create_option (NULL, $1, (void *)""); }
         | ID '(' stringseq ')'
             { $$ = create_option (NULL, $1, (void *)$3); }
 	| type_option '(' type ')'
 	    { $$ = create_option (NULL, $1, adjust_field_type ($3, NULL)); }
 	| NESTED_PTR '(' type ',' stringseq ',' stringseq ')'
 	    {
 	      struct nested_ptr_data d;

 	      d.type = adjust_field_type ($3, NULL);
 	      d.convert_to = $5;
 	      d.convert_from = $7;
 	      $$ = create_option (NULL, "nested_ptr",
 				  xmemdup (&d, sizeof (d), sizeof (d)));
 	    }
 	;

 optionseq: option
 	      {
 	        $1->next = NULL;
 		$$ = $1;
 	      }
 	    | optionseq ',' option
 	      {
 	        $3->next = $1;
 		$$ = $3;
 	      }
 	    ;

 optionseqopt: { $$ = NULL; }
 	      | optionseq { $$ = $1; }
 	      ;

 stringseq: STRING
 	     { $$ = $1; }
 	   | stringseq STRING
 	     {
 	       size_t l1 = strlen ($1);
 	       size_t l2 = strlen ($2);
 	       char *s = XRESIZEVEC (char, $1, l1 + l2 + 1);
 	       memcpy (s + l1, $2, l2 + 1);
 	       XDELETE ($2);
 	       $$ = s;
 	     }
 	   ;
 %%
	/* -- indented-text -- */
	/* Process source files and output type information.
	Copyright (C) 2002, 2004 Free Software Foundation, Inc.

	This file is part of GCC.

	GCC is free software; you can redistribute it and/or modify it under
	the terms of the GNU General Public License as published by the Free
	Software Foundation; either version 2, or (at your option) any later
	version.

	GCC is distributed in the hope that it will be useful, but WITHOUT ANY
	WARRANTY; without even the implied warranty of MERCHANTABILITY or
	FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
	for more details.

	You should have received a copy of the GNU General Public License
	along with GCC; see the file COPYING. If not, write to the Free
	Software Foundation, 51 Franklin Street, Fifth Floor, Boston, MA
	02110-1301, USA. */

	%{
	#include "bconfig.h"
	#include "system.h"
	#include "coretypes.h"
	#include "tm.h"
	#include "gengtype.h"
	#define YYERROR_VERBOSE
	%}

	%union {
	type_p t;
	pair_p p;
	options_p o;
	const char *s;
	}

	%token <t>ENT_TYPEDEF_STRUCT
	%token <t>ENT_STRUCT
	%token ENT_EXTERNSTATIC
	%token ENT_YACCUNION
	%token GTY_TOKEN
	%token UNION
	%token STRUCT
	%token ENUM
	%token ALIAS
	%token NESTED_PTR
	%token <s>PARAM_IS
	%token NUM
	%token PERCENTPERCENT "%%"
	%token <t>SCALAR
	%token <s>ID
	%token <s>STRING
	%token <s>ARRAY
	%token <s>PERCENT_ID
	%token <s>CHAR

	%type <p> struct_fields yacc_ids yacc_typematch
	%type <t> type lasttype
	%type <o> optionsopt options option optionseq optionseqopt
	%type <s> type_option stringseq

	%%

	start: /* empty */
	\| typedef_struct start
	\| externstatic start
	\| yacc_union start
	;

	typedef_struct: ENT_TYPEDEF_STRUCT options '{' struct_fields '}' ID
	{
	new_structure ($1->u.s.tag, UNION_P ($1), &lexer_line,
	$4, $2);
	do_typedef ($6, $1, &lexer_line);
	lexer_toplevel_done = 1;
	}
	';'
	{}
	\| ENT_STRUCT options '{' struct_fields '}'
	{
	new_structure ($1->u.s.tag, UNION_P ($1), &lexer_line,
	$4, $2);
	lexer_toplevel_done = 1;
	}
	';'
	{}
	;

	externstatic: ENT_EXTERNSTATIC options lasttype ID semiequal
	{
	note_variable ($4, adjust_field_type ($3, $2), $2,
	&lexer_line);
	}
	\| ENT_EXTERNSTATIC options lasttype ID ARRAY semiequal
	{
	note_variable ($4, create_array ($3, $5),
	$2, &lexer_line);
	}
	\| ENT_EXTERNSTATIC options lasttype ID ARRAY ARRAY semiequal
	{
	note_variable ($4, create_array (create_array ($3, $6),
	$5),
	$2, &lexer_line);
	}
	;

	lasttype: type
	{
	lexer_toplevel_done = 1;
	$$ = $1;
	}
	;

	semiequal: ';'
	\| '='
	;

	yacc_union: ENT_YACCUNION options struct_fields '}' yacc_typematch
	PERCENTPERCENT
	{
	note_yacc_type ($2, $3, $5, &lexer_line);
	}
	;

	yacc_typematch: /* empty */
	{ $$ = NULL; }
	\| yacc_typematch PERCENT_ID yacc_ids
	{
	pair_p p;
	for (p = $3; p->next != NULL; p = p->next)
	{
	p->name = NULL;
	p->type = NULL;
	}
	p->name = NULL;
	p->type = NULL;
	p->next = $1;
	$$ = $3;
	}
	\| yacc_typematch PERCENT_ID '<' ID '>' yacc_ids
	{
	pair_p p;
	type_p newtype = NULL;
	if (strcmp ($2, "type") == 0)
	newtype = (type_p) 1;
	for (p = $6; p->next != NULL; p = p->next)
	{
	p->name = $4;
	p->type = newtype;
	}
	p->name = $4;
	p->next = $1;
	p->type = newtype;
	$$ = $6;
	}
	;

	yacc_ids: /* empty */
	{ $$ = NULL; }
	\| yacc_ids ID
	{
	pair_p p = XCNEW (struct pair);
	p->next = $1;
	p->line = lexer_line;
	p->opt = XNEW (struct options);
	p->opt->name = "tag";
	p->opt->next = NULL;
	p->opt->info = (char *)$2;
	$$ = p;
	}
	\| yacc_ids CHAR
	{
	pair_p p = XCNEW (struct pair);
	p->next = $1;
	p->line = lexer_line;
	p->opt = XNEW (struct options);
	p->opt->name = "tag";
	p->opt->next = NULL;
	p->opt->info = xasprintf ("'%s'", $2);
	$$ = p;
	}
	;

	struct_fields: { $$ = NULL; }
	\| type optionsopt ID bitfieldopt ';' struct_fields
	{
	pair_p p = XNEW (struct pair);
	p->type = adjust_field_type ($1, $2);
	p->opt = $2;
	p->name = $3;
	p->next = $6;
	p->line = lexer_line;
	$$ = p;
	}
	\| type optionsopt ID ARRAY ';' struct_fields
	{
	pair_p p = XNEW (struct pair);
	p->type = adjust_field_type (create_array ($1, $4), $2);
	p->opt = $2;
	p->name = $3;
	p->next = $6;
	p->line = lexer_line;
	$$ = p;
	}
	\| type optionsopt ID ARRAY ARRAY ';' struct_fields
	{
	pair_p p = XNEW (struct pair);
	p->type = create_array (create_array ($1, $5), $4);
	p->opt = $2;
	p->name = $3;
	p->next = $7;
	p->line = lexer_line;
	$$ = p;
	}
	\| type ':' bitfieldlen ';' struct_fields
	{ $$ = $5; }
	;

	bitfieldopt: /* empty */
	\| ':' bitfieldlen
	;

	bitfieldlen: NUM \| ID
	{ }
	;

	type: SCALAR
	{ $$ = $1; }
	\| ID
	{ $$ = resolve_typedef ($1, &lexer_line); }
	\| type '*'
	{ $$ = create_pointer ($1); }
	\| STRUCT ID '{' struct_fields '}'
	{ $$ = new_structure ($2, 0, &lexer_line, $4, NULL); }
	\| STRUCT ID
	{ $$ = find_structure ($2, 0); }
	\| UNION ID '{' struct_fields '}'
	{ $$ = new_structure ($2, 1, &lexer_line, $4, NULL); }
	\| UNION ID
	{ $$ = find_structure ($2, 1); }
	\| ENUM ID
	{ $$ = create_scalar_type ($2, strlen ($2)); }
	\| ENUM ID '{' enum_items '}'
	{ $$ = create_scalar_type ($2, strlen ($2)); }
	;

	enum_items: /* empty */
	\| ID '=' NUM ',' enum_items
	{ }
	\| ID ',' enum_items
	{ }
	\| ID enum_items
	{ }
	;

	optionsopt: { $$ = NULL; }
	\| options { $$ = $1; }
	;

	options: GTY_TOKEN '(' '(' optionseqopt ')' ')'
	{ $$ = $4; }
	;

	type_option : ALIAS
	{ $$ = "ptr_alias"; }
	\| PARAM_IS
	{ $$ = $1; }
	;

	option: ID
	{ $$ = create_option (NULL, $1, (void *)""); }
	\| ID '(' stringseq ')'
	{ $$ = create_option (NULL, $1, (void *)$3); }
	\| type_option '(' type ')'
	{ $$ = create_option (NULL, $1, adjust_field_type ($3, NULL)); }
	\| NESTED_PTR '(' type ',' stringseq ',' stringseq ')'
	{
	struct nested_ptr_data d;

	d.type = adjust_field_type ($3, NULL);
	d.convert_to = $5;
	d.convert_from = $7;
	$$ = create_option (NULL, "nested_ptr",
	xmemdup (&d, sizeof (d), sizeof (d)));
	}
	;

	optionseq: option
	{
	$1->next = NULL;
	$$ = $1;
	}
	\| optionseq ',' option
	{
	$3->next = $1;
	$$ = $3;
	}
	;

	optionseqopt: { $$ = NULL; }
	\| optionseq { $$ = $1; }
	;

	stringseq: STRING
	{ $$ = $1; }
	\| stringseq STRING
	{
	size_t l1 = strlen ($1);
	size_t l2 = strlen ($2);
	char *s = XRESIZEVEC (char, $1, l1 + l2 + 1);
	memcpy (s + l1, $2, l2 + 1);
	XDELETE ($2);
	$$ = s;
	}
	;
	%%