#ifndef lint static char yysccsid[] = "@(#)yaccpar 1.9 (Berkeley) 02/21/93"; #endif #define YYBYACC 1 #define YYMAJOR 1 #define YYMINOR 9 #define yyclearin (yychar=(-1)) #define yyerrok (yyerrflag=0) #define YYRECOVERING (yyerrflag!=0) #define YYPREFIX "yy" #line 10 "exo1-1.y" typedef union { char *expr; int nbRegistres; } YYSTYPE; #line 17 "y.tab.c" #define NUMBER 257 #define PLUS 258 #define POINTV 259 #define MULT 260 #define PARO 261 #define PARF 262 #define ID 263 #define EGAL 264 #define MOINS 265 #define DIV 266 #define YYERRCODE 256 short yylhs[] = { -1, 0, 1, 1, 2, 2, 3, 3, }; short yylen[] = { 2, 2, 3, 1, 3, 1, 1, 3, }; short yydefred[] = { 0, 0, 6, 0, 0, 0, 5, 0, 0, 1, 0, 7, 0, 4, }; short yydgoto[] = { 3, 4, 5, 6, }; short yysindex[] = { -251, -251, 0, 0, -245, -252, 0, -253, -251, 0, -251, 0, -252, 0, }; short yyrindex[] = { 0, 0, 0, 0, 0, -258, 0, 0, 0, 0, 0, 0, -256, 0, }; short yygindex[] = { 0, 6, 3, 5, }; #define YYTABLESIZE 15 short yytable[] = { 3, 3, 2, 2, 3, 8, 2, 7, 10, 11, 1, 12, 2, 8, 9, 13, }; short yycheck[] = { 258, 259, 258, 259, 262, 258, 262, 1, 260, 262, 261, 8, 263, 258, 259, 10, }; #define YYFINAL 3 #ifndef YYDEBUG #define YYDEBUG 0 #endif #define YYMAXTOKEN 266 #if YYDEBUG char *yyname[] = { "end-of-file",0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0, 0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0, 0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0, 0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0, 0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0, 0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0, 0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,"NUMBER","PLUS","POINTV","MULT", "PARO","PARF","ID","EGAL","MOINS","DIV", }; char *yyrule[] = { "$accept : statement", "statement : expression POINTV", "expression : expression PLUS terme", "expression : terme", "terme : terme MULT facteur", "terme : facteur", "facteur : ID", "facteur : PARO expression PARF", }; #endif #ifdef YYSTACKSIZE #undef YYMAXDEPTH #define YYMAXDEPTH YYSTACKSIZE #else #ifdef YYMAXDEPTH #define YYSTACKSIZE YYMAXDEPTH #else #define YYSTACKSIZE 500 #define YYMAXDEPTH 500 #endif #endif int yydebug; int yynerrs; int yyerrflag; int yychar; short *yyssp; YYSTYPE *yyvsp; YYSTYPE yyval; YYSTYPE yylval; short yyss[YYSTACKSIZE]; YYSTYPE yyvs[YYSTACKSIZE]; #define yystacksize YYSTACKSIZE #line 59 "exo1-1.y" #include "lex.yy.c" int max(int a, int b) { return (a>b) ? a : b; } int min(int a, int b) { return (a= '0' && yyn <= '9') yydebug = yyn - '0'; } #endif yynerrs = 0; yyerrflag = 0; yychar = (-1); yyssp = yyss; yyvsp = yyvs; *yyssp = yystate = 0; yyloop: if (yyn = yydefred[yystate]) goto yyreduce; if (yychar < 0) { if ((yychar = yylex()) < 0) yychar = 0; #if YYDEBUG if (yydebug) { yys = 0; if (yychar <= YYMAXTOKEN) yys = yyname[yychar]; if (!yys) yys = "illegal-symbol"; printf("%sdebug: state %d, reading %d (%s)\n", YYPREFIX, yystate, yychar, yys); } #endif } if ((yyn = yysindex[yystate]) && (yyn += yychar) >= 0 && yyn <= YYTABLESIZE && yycheck[yyn] == yychar) { #if YYDEBUG if (yydebug) printf("%sdebug: state %d, shifting to state %d\n", YYPREFIX, yystate, yytable[yyn]); #endif if (yyssp >= yyss + yystacksize - 1) { goto yyoverflow; } *++yyssp = yystate = yytable[yyn]; *++yyvsp = yylval; yychar = (-1); if (yyerrflag > 0) --yyerrflag; goto yyloop; } if ((yyn = yyrindex[yystate]) && (yyn += yychar) >= 0 && yyn <= YYTABLESIZE && yycheck[yyn] == yychar) { yyn = yytable[yyn]; goto yyreduce; } if (yyerrflag) goto yyinrecovery; #ifdef lint goto yynewerror; #endif yynewerror: yyerror("syntax error"); #ifdef lint goto yyerrlab; #endif yyerrlab: ++yynerrs; yyinrecovery: if (yyerrflag < 3) { yyerrflag = 3; for (;;) { if ((yyn = yysindex[*yyssp]) && (yyn += YYERRCODE) >= 0 && yyn <= YYTABLESIZE && yycheck[yyn] == YYERRCODE) { #if YYDEBUG if (yydebug) printf("%sdebug: state %d, error recovery shifting\ to state %d\n", YYPREFIX, *yyssp, yytable[yyn]); #endif if (yyssp >= yyss + yystacksize - 1) { goto yyoverflow; } *++yyssp = yystate = yytable[yyn]; *++yyvsp = yylval; goto yyloop; } else { #if YYDEBUG if (yydebug) printf("%sdebug: error recovery discarding state %d\n", YYPREFIX, *yyssp); #endif if (yyssp <= yyss) goto yyabort; --yyssp; --yyvsp; } } } else { if (yychar == 0) goto yyabort; #if YYDEBUG if (yydebug) { yys = 0; if (yychar <= YYMAXTOKEN) yys = yyname[yychar]; if (!yys) yys = "illegal-symbol"; printf("%sdebug: state %d, error recovery discards token %d (%s)\n", YYPREFIX, yystate, yychar, yys); } #endif yychar = (-1); goto yyloop; } yyreduce: #if YYDEBUG if (yydebug) printf("%sdebug: state %d, reducing by rule %d (%s)\n", YYPREFIX, yystate, yyn, yyrule[yyn]); #endif yym = yylen[yyn]; yyval = yyvsp[1-yym]; switch (yyn) { case 1: #line 21 "exo1-1.y" { printf("Nombre de registres nécessaires : %d\n",yyvsp[-1].nbRegistres); } break; case 2: #line 26 "exo1-1.y" { yyval.nbRegistres = max(min(yyvsp[-2].nbRegistres,yyvsp[0].nbRegistres)+1,max(yyvsp[-2].nbRegistres,yyvsp[0].nbRegistres)); } break; case 3: #line 29 "exo1-1.y" { yyval.nbRegistres = yyvsp[0].nbRegistres; } break; case 4: #line 34 "exo1-1.y" { if (yyvsp[-2].nbRegistres < yyvsp[0].nbRegistres){ yyval.nbRegistres = yyvsp[0].nbRegistres; } else if (yyvsp[-2].nbRegistres > yyvsp[0].nbRegistres){ yyval.nbRegistres = yyvsp[-2].nbRegistres; } else { yyval.nbRegistres = yyvsp[-2].nbRegistres+1; } } break; case 5: #line 45 "exo1-1.y" { yyval.nbRegistres = yyvsp[0].nbRegistres; } break; case 6: #line 50 "exo1-1.y" { yyval.nbRegistres = 1; } break; case 7: #line 53 "exo1-1.y" { yyval.nbRegistres = yyvsp[-1].nbRegistres; } break; #line 322 "y.tab.c" } yyssp -= yym; yystate = *yyssp; yyvsp -= yym; yym = yylhs[yyn]; if (yystate == 0 && yym == 0) { #if YYDEBUG if (yydebug) printf("%sdebug: after reduction, shifting from state 0 to\ state %d\n", YYPREFIX, YYFINAL); #endif yystate = YYFINAL; *++yyssp = YYFINAL; *++yyvsp = yyval; if (yychar < 0) { if ((yychar = yylex()) < 0) yychar = 0; #if YYDEBUG if (yydebug) { yys = 0; if (yychar <= YYMAXTOKEN) yys = yyname[yychar]; if (!yys) yys = "illegal-symbol"; printf("%sdebug: state %d, reading %d (%s)\n", YYPREFIX, YYFINAL, yychar, yys); } #endif } if (yychar == 0) goto yyaccept; goto yyloop; } if ((yyn = yygindex[yym]) && (yyn += yystate) >= 0 && yyn <= YYTABLESIZE && yycheck[yyn] == yystate) yystate = yytable[yyn]; else yystate = yydgoto[yym]; #if YYDEBUG if (yydebug) printf("%sdebug: after reduction, shifting from state %d \ to state %d\n", YYPREFIX, *yyssp, yystate); #endif if (yyssp >= yyss + yystacksize - 1) { goto yyoverflow; } *++yyssp = yystate; *++yyvsp = yyval; goto yyloop; yyoverflow: yyerror("yacc stack overflow"); yyabort: return (1); yyaccept: return (0); }