m2-exp.tab.c

早期freebsd实现

int yydef[]={

     0,    -2,     1,     2,     5,     0,     0,     0,     0,     0,
     0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
     0,    28,     0,     0,    38,     3,     0,    64,    65,    66,
    67,    68,    69,    70,    71,    72,    74,     9,    10,    82,
    -2,    79,     0,    81,    76,     4,     0,     0,    34,    36,
     0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
     0,     0,     0,     0,     0,     0,     0,     0,     0,     7,
     0,     8,     0,     0,     0,     0,     0,     0,     0,     0,
     0,     0,     0,    22,     0,     0,     0,     0,     0,     0,
     0,    39,    38,     0,     0,     0,    27,    29,    38,     0,
     0,    38,    46,    47,    48,    49,    50,    51,    52,    53,
    54,    55,    56,    57,    58,    59,    60,    61,    62,    -2,
     6,     0,     0,     0,     0,     0,     0,     0,     0,     0,
     0,     0,     0,     0,     0,     0,     0,    32,     0,     0,
     0,     0,    45,    77,    80,     0,    41,     0,    11,    12,
    13,    14,    15,    16,    17,     0,    19,    20,    21,    73,
    23,     0,    25,     0,     0,     0,    40,    43,    33,    44,
    35,     0,    37,     0,     0,     0,     0,     0,    42,    18,
    24,    26,    30,    31 };
typedef struct { char *t_name; int t_val; } yytoktype;
#ifndef YYDEBUG
#	define YYDEBUG	0	/* don't allow debugging */
#endif

#if YYDEBUG

yytoktype yytoks[] =
{
	"INT",	257,
	"HEX",	258,
	"ERROR",	259,
	"UINT",	260,
	"M2_TRUE",	261,
	"M2_FALSE",	262,
	"CHAR",	263,
	"FLOAT",	264,
	"STRING",	265,
	"NAME",	266,
	"BLOCKNAME",	267,
	"IDENT",	268,
	"VARNAME",	269,
	"TYPENAME",	270,
	"SIZE",	271,
	"CAP",	272,
	"ORD",	273,
	"HIGH",	274,
	"ABS",	275,
	"MIN_FUNC",	276,
	"MAX_FUNC",	277,
	"FLOAT_FUNC",	278,
	"VAL",	279,
	"CHR",	280,
	"ODD",	281,
	"TRUNC",	282,
	"INC",	283,
	"DEC",	284,
	"INCL",	285,
	"EXCL",	286,
	"COLONCOLON",	287,
	"LAST",	288,
	"REGNAME",	289,
	"INTERNAL_VAR",	290,
	",",	44,
	"ABOVE_COMMA",	291,
	"ASSIGN",	292,
	"<",	60,
	">",	62,
	"LEQ",	293,
	"GEQ",	294,
	"=",	61,
	"NOTEQUAL",	295,
	"#",	35,
	"IN",	296,
	"OROR",	297,
	"ANDAND",	298,
	"&",	38,
	"@",	64,
	"+",	43,
	"-",	45,
	"*",	42,
	"/",	47,
	"DIV",	299,
	"MOD",	300,
	"UNARY",	301,
	"^",	94,
	"DOT",	302,
	"[",	91,
	"(",	40,
	"NOT",	303,
	"~",	126,
	"QID",	304,
	"-unknown-",	-1	/* ends search */
};

char * yyreds[] =
{
	"-no such reduction-",
	"start : exp",
	"start : type_exp",
	"type_exp : type",
	"exp : exp '^'",
	"exp : '-'",
	"exp : '-' exp",
	"exp : '+' exp",
	"exp : not_exp exp",
	"not_exp : NOT",
	"not_exp : '~'",
	"exp : CAP '(' exp ')'",
	"exp : ORD '(' exp ')'",
	"exp : ABS '(' exp ')'",
	"exp : HIGH '(' exp ')'",
	"exp : MIN_FUNC '(' type ')'",
	"exp : MAX_FUNC '(' type ')'",
	"exp : FLOAT_FUNC '(' exp ')'",
	"exp : VAL '(' type ',' exp ')'",
	"exp : CHR '(' exp ')'",
	"exp : ODD '(' exp ')'",
	"exp : TRUNC '(' exp ')'",
	"exp : SIZE exp",
	"exp : INC '(' exp ')'",
	"exp : INC '(' exp ',' exp ')'",
	"exp : DEC '(' exp ')'",
	"exp : DEC '(' exp ',' exp ')'",
	"exp : exp DOT NAME",
	"exp : set",
	"exp : exp IN set",
	"exp : INCL '(' exp ',' exp ')'",
	"exp : EXCL '(' exp ',' exp ')'",
	"set : '{' arglist '}'",
	"set : type '{' arglist '}'",
	"exp : exp '['",
	"exp : exp '[' non_empty_arglist ']'",
	"exp : exp '('",
	"exp : exp '(' arglist ')'",
	"arglist : /* empty */",
	"arglist : exp",
	"arglist : arglist ',' exp",
	"non_empty_arglist : exp",
	"non_empty_arglist : non_empty_arglist ',' exp",
	"exp : '{' type '}' exp",
	"exp : type '(' exp ')'",
	"exp : '(' exp ')'",
	"exp : exp '@' exp",
	"exp : exp '*' exp",
	"exp : exp '/' exp",
	"exp : exp DIV exp",
	"exp : exp MOD exp",
	"exp : exp '+' exp",
	"exp : exp '-' exp",
	"exp : exp '=' exp",
	"exp : exp NOTEQUAL exp",
	"exp : exp '#' exp",
	"exp : exp LEQ exp",
	"exp : exp GEQ exp",
	"exp : exp '<' exp",
	"exp : exp '>' exp",
	"exp : exp ANDAND exp",
	"exp : exp '&' exp",
	"exp : exp OROR exp",
	"exp : exp ASSIGN exp",
	"exp : M2_TRUE",
	"exp : M2_FALSE",
	"exp : INT",
	"exp : UINT",
	"exp : CHAR",
	"exp : FLOAT",
	"exp : variable",
	"exp : LAST",
	"exp : REGNAME",
	"exp : SIZE '(' type ')'",
	"exp : STRING",
	"block : fblock",
	"fblock : BLOCKNAME",
	"fblock : block COLONCOLON BLOCKNAME",
	"variable : fblock",
	"variable : INTERNAL_VAR",
	"variable : block COLONCOLON NAME",
	"variable : NAME",
	"type : TYPENAME",
};
#endif /* YYDEBUG */
#line 1 "/usr/lib/yaccpar"
/*	@(#)yaccpar 1.10 89/04/04 SMI; from S5R3 1.10	*/

/*
** Skeleton parser driver for yacc output
*/

/*
** yacc user known macros and defines
*/
#define YYERROR		goto yyerrlab
#define YYACCEPT	{ free(yys); free(yyv); return(0); }
#define YYABORT		{ free(yys); free(yyv); return(1); }
#define YYBACKUP( newtoken, newvalue )\
{\
	if ( yychar >= 0 || ( yyr2[ yytmp ] >> 1 ) != 1 )\
	{\
		yyerror( "syntax error - cannot backup" );\
		goto yyerrlab;\
	}\
	yychar = newtoken;\
	yystate = *yyps;\
	yylval = newvalue;\
	goto yynewstate;\
}
#define YYRECOVERING()	(!!yyerrflag)
#ifndef YYDEBUG
#	define YYDEBUG	1	/* make debugging available */
#endif

/*
** user known globals
*/
int yydebug;			/* set to 1 to get debugging */

/*
** driver internal defines
*/
#define YYFLAG		(-1000)

/*
** static variables used by the parser
*/
static YYSTYPE *yyv;			/* value stack */
static int *yys;			/* state stack */

static YYSTYPE *yypv;			/* top of value stack */
static int *yyps;			/* top of state stack */

static int yystate;			/* current state */
static int yytmp;			/* extra var (lasts between blocks) */

int yynerrs;			/* number of errors */

int yyerrflag;			/* error recovery flag */
int yychar;			/* current input token number */


/*
** yyparse - return 0 if worked, 1 if syntax error not recovered from
*/
int
yyparse()
{
	register YYSTYPE *yypvt;	/* top of value stack for $vars */
	unsigned yymaxdepth = YYMAXDEPTH;

	/*
	** Initialize externals - yyparse may be called more than once
	*/
	yyv = (YYSTYPE*)malloc(yymaxdepth*sizeof(YYSTYPE));
	yys = (int*)malloc(yymaxdepth*sizeof(int));
	if (!yyv || !yys)
	{
		yyerror( "out of memory" );
		return(1);
	}
	yypv = &yyv[-1];
	yyps = &yys[-1];
	yystate = 0;
	yytmp = 0;
	yynerrs = 0;
	yyerrflag = 0;
	yychar = -1;

	goto yystack;
	{
		register YYSTYPE *yy_pv;	/* top of value stack */
		register int *yy_ps;		/* top of state stack */
		register int yy_state;		/* current state */
		register int  yy_n;		/* internal state number info */

		/*
		** get globals into registers.
		** branch to here only if YYBACKUP was called.
		*/
	yynewstate:
		yy_pv = yypv;
		yy_ps = yyps;
		yy_state = yystate;
		goto yy_newstate;

		/*
		** get globals into registers.
		** either we just started, or we just finished a reduction
		*/
	yystack:
		yy_pv = yypv;
		yy_ps = yyps;
		yy_state = yystate;

		/*
		** top of for (;;) loop while no reductions done
		*/
	yy_stack:
		/*
		** put a state and value onto the stacks
		*/
#if YYDEBUG
		/*
		** if debugging, look up token value in list of value vs.
		** name pairs.  0 and negative (-1) are special values.
		** Note: linear search is used since time is not a real
		** consideration while debugging.
		*/
		if ( yydebug )
		{
			register int yy_i;

			(void)printf( "State %d, token ", yy_state );
			if ( yychar == 0 )
				(void)printf( "end-of-file\n" );
			else if ( yychar < 0 )
				(void)printf( "-none-\n" );
			else
			{
				for ( yy_i = 0; yytoks[yy_i].t_val >= 0;
					yy_i++ )
				{
					if ( yytoks[yy_i].t_val == yychar )
						break;
				}
				(void)printf( "%s\n", yytoks[yy_i].t_name );
			}
		}
#endif /* YYDEBUG */
		if ( ++yy_ps >= &yys[ yymaxdepth ] )	/* room on stack? */
		{
			/*
			** reallocate and recover.  Note that pointers
			** have to be reset, or bad things will happen
			*/
			int yyps_index = (yy_ps - yys);
			int yypv_index = (yy_pv - yyv);
			int yypvt_index = (yypvt - yyv);
			yymaxdepth += YYMAXDEPTH;
			yyv = (YYSTYPE*)realloc((char*)yyv,
				yymaxdepth * sizeof(YYSTYPE));
			yys = (int*)realloc((char*)yys,
				yymaxdepth * sizeof(int));
			if (!yyv || !yys)
			{
				yyerror( "yacc stack overflow" );
				return(1);
			}
			yy_ps = yys + yyps_index;
			yy_pv = yyv + yypv_index;
			yypvt = yyv + yypvt_index;
		}
		*yy_ps = yy_state;
		*++yy_pv = yyval;

		/*
		** we have a new state - find out what to do
		*/
	yy_newstate:
		if ( ( yy_n = yypact[ yy_state ] ) <= YYFLAG )
			goto yydefault;		/* simple state */
#if YYDEBUG
		/*
		** if debugging, need to mark whether new token grabbed
		*/
		yytmp = yychar < 0;
#endif
		if ( ( yychar < 0 ) && ( ( yychar = yylex() ) < 0 ) )
			yychar = 0;		/* reached EOF */
#if YYDEBUG
		if ( yydebug && yytmp )
		{
			register int yy_i;

			(void)printf( "Received token " );
			if ( yychar == 0 )
				(void)printf( "end-of-file\n" );
			else if ( yychar < 0 )
				(void)printf( "-none-\n" );
			else
			{
				for ( yy_i = 0; yytoks[yy_i].t_val >= 0;
					yy_i++ )
				{
					if ( yytoks[yy_i].t_val == yychar )
						break;
				}
				(void)printf( "%s\n", yytoks[yy_i].t_name );
			}
		}
#endif /* YYDEBUG */
		if ( ( ( yy_n += yychar ) < 0 ) || ( yy_n >= YYLAST ) )
			goto yydefault;
		if ( yychk[ yy_n = yyact[ yy_n ] ] == yychar )	/*valid shift*/
		{
			yychar = -1;
			yyval = yylval;
			yy_state = yy_n;
			if ( yyerrflag > 0 )
				yyerrflag--;
			goto yy_stack;
		}

	yydefault:
		if ( ( yy_n = yydef[ yy_state ] ) == -2 )
		{
#if YYDEBUG
			yytmp = yychar < 0;
#endif
			if ( ( yychar < 0 ) && ( ( yychar = yylex() ) < 0 ) )
				yychar = 0;		/* reached EOF */
#if YYDEBUG
			if ( yydebug && yytmp )
			{
				register int yy_i;

				(void)printf( "Received token " );
				if ( yychar == 0 )
					(void)printf( "end-of-file\n" );
				else if ( yychar < 0 )
					(void)printf( "-none-\n" );
				else
				{
					for ( yy_i = 0;
						yytoks[yy_i].t_val >= 0;
						yy_i++ )
					{
						if ( yytoks[yy_i].t_val
							== yychar )
						{
							break;
						}
					}
					(void)printf( "%s\n", yytoks[yy_i].t_name );
				}
			}
#endif /* YYDEBUG */
			/*
			** look through exception table
			*/
			{
				register int *yyxi = yyexca;

				while ( ( *yyxi != -1 ) ||
					( yyxi[1] != yy_state ) )
				{
					yyxi += 2;
				}
				while ( ( *(yyxi += 2) >= 0 ) &&
					( *yyxi != yychar ) )
					;
				if ( ( yy_n = yyxi[1] ) < 0 )
					YYACCEPT;
			}
		}

		/*
		** check for syntax error
		*/
		if ( yy_n == 0 )	/* have an error */
		{
			/* no worry about speed here! */
			switch ( yyerrflag )
			{
			case 0:		/* new error */
				yyerror( "syntax error" );
				goto skip_init;
			yyerrlab:
				/*
				** get globals into registers.
				** we have a user generated syntax type error
				*/
				yy_pv = yypv;
				yy_ps = yyps;
				yy_state = yystate;
				yynerrs++;
			skip_init:
			case 1:
			case 2:		/* incompletely recovered error */
					/* try again... */
				yyerrflag = 3;
				/*
				** find state where "error" is a legal
				** shift action
				*/
				while ( yy_ps >= yys )
				{
					yy_n = yypact[ *yy_ps ] + YYERRCODE;
					if ( yy_n >= 0 && yy_n < YYLAST &&
						yychk[yyact[yy_n]] == YYERRCODE)					{
						/*
						** simulate shift of "error"
						*/
						yy_state = yyact[ yy_n ];
						goto yy_stack;
					}
					/*
					** current state has no shift on