parser_tab.c

一个面向对像语言的编译器

{ yyval.decl = cg->GenLoadConstant(yyvsp[0].integerConstant, Type::intType);;
    break;}
case 79:
#line 753 "parser.y"
{ yyval.decl = cg->GenLoadConstant(yyvsp[0].boolConstant, Type::boolType);;
    break;}
case 80:
#line 755 "parser.y"
{ ReportError(&yylsp[0], err_no_code_gen_for_doubles); ;
    break;}
case 81:
#line 757 "parser.y"
{ yyval.decl = cg->GenLoadConstant(yyvsp[0].stringConstant);;
    break;}
case 82:
#line 759 "parser.y"
{ yyval.decl = cg->GenLoadConstant(0, Type::nullType);;
    break;}
case 83:
#line 763 "parser.y"
{yyval.declList=yyvsp[0].declList;;
    break;}
case 84:
#line 765 "parser.y"
{yyval.declList=new DeclList();;
    break;}
case 85:
#line 769 "parser.y"
{ yyvsp[-2].declList->Append(yyvsp[0].decl); yyval.declList=yyvsp[-2].declList;;
    break;}
case 86:
#line 771 "parser.y"
{ yyval.declList = new DeclList; yyval.declList->Append(yyvsp[0].decl);;
    break;}
case 87:
#line 775 "parser.y"
{yyval.decl = yyvsp[0].decl;;
    break;}
case 88:
#line 779 "parser.y"
{
							char *WhileBegin, *WhileEnd;
							WhileBegin=cg->NewLabel();
							WhileEnd=cg->NewLabel();
							cg->PushLabel(WhileBegin);
							cg->PushLabel(WhileEnd);
							cg->GenLabel(WhileBegin);
						;
    break;}
case 89:
#line 788 "parser.y"
{
							char *WhileEnd=cg->GetLabel(0);
							cg->GenIfZ(yyvsp[-1].decl, WhileEnd);
						;
    break;}
case 90:
#line 793 "parser.y"
{
							char *WhileBegin, *WhileEnd;
							WhileBegin=cg->GetLabel(1);
							WhileEnd=cg->GetLabel(0);
							cg->GenGoto(WhileBegin);
							cg->GenLabel(WhileEnd);
							cg->PopLabel(2);
						;
    break;}
case 91:
#line 804 "parser.y"
{
							char *temp;
							for(int i=0; i<4; i++)
							{
								temp=cg->NewLabel();
								cg->PushLabel(temp);
							}			
							cg->GenLabel(cg->GetLabel(0));
						;
    break;}
case 92:
#line 814 "parser.y"
{
							cg->GenIfZ(yyvsp[-1].decl,cg->GetLabel(3));
							cg->GenGoto(cg->GetLabel(2));
							cg->GenLabel(cg->GetLabel(1));	
						;
    break;}
case 93:
#line 820 "parser.y"
{
							cg->GenGoto(cg->GetLabel(0));
									
							cg->GenLabel(cg->GetLabel(2));				
						;
    break;}
case 94:
#line 827 "parser.y"
{
							cg->GenGoto(cg->GetLabel(1));
							cg->GenLabel(cg->GetLabel(3));
							cg->PopLabel(4);
						;
    break;}
case 95:
#line 835 "parser.y"
{
							char *temp=cg->GetTopLabel();
							cg->GenGoto(cg->GetTopLabel());
						;
    break;}
case 96:
#line 842 "parser.y"
{
							yyval.label=cg->NewLabel();
							cg->GenIfZ(yyvsp[-1].decl, yyval.label);
						;
    break;}
case 97:
#line 847 "parser.y"
{
							yyval.label=cg->NewLabel();
							cg->GenGoto(yyval.label);
							cg->GenLabel(yyvsp[-1].label);
						;
    break;}
case 98:
#line 853 "parser.y"
{
							cg->GenLabel(yyvsp[-1].label);
						;
    break;}
case 101:
#line 863 "parser.y"
{
							Declaration *temp=yyvsp[0].decl;
							cg->GenReturn(yyvsp[0].decl);

							//处理函数中间有return的情况
							cg->GenGoto(cg->GetRetTopLabel());	
						;
    break;}
case 102:
#line 871 "parser.y"
{
							cg->GenReturn();
							//处理函数中间有return的情况
							cg->GenGoto(cg->GetRetTopLabel());	
						;
    break;}
case 103:
#line 879 "parser.y"
{
							//调用semantic.cpp中的函数处理print
							DealWithPrint(yyvsp[-1].declList);
						;
    break;}
}
   /* the action file gets copied in in place of this dollarsign */
#line 442 "bison.simple"

  yyvsp -= yylen;
  yyssp -= yylen;
#ifdef YYLSP_NEEDED
  yylsp -= yylen;
#endif

#if YYDEBUG != 0
  if (yydebug)
    {
      short *ssp1 = yyss - 1;
      fprintf (stderr, "state stack now");
      while (ssp1 != yyssp)
	fprintf (stderr, " %d", *++ssp1);
      fprintf (stderr, "\n");
    }
#endif

  *++yyvsp = yyval;

#ifdef YYLSP_NEEDED
  yylsp++;
  if (yylen == 0)
    {
      yylsp->first_line = yylloc.first_line;
      yylsp->first_column = yylloc.first_column;
      yylsp->last_line = (yylsp-1)->last_line;
      yylsp->last_column = (yylsp-1)->last_column;
      yylsp->text = 0;
    }
  else
    {
      yylsp->last_line = (yylsp+yylen-1)->last_line;
      yylsp->last_column = (yylsp+yylen-1)->last_column;
    }
#endif

  /* Now "shift" the result of the reduction.
     Determine what state that goes to,
     based on the state we popped back to
     and the rule number reduced by.  */

  yyn = yyr1[yyn];

  yystate = yypgoto[yyn - YYNTBASE] + *yyssp;
  if (yystate >= 0 && yystate <= YYLAST && yycheck[yystate] == *yyssp)
    yystate = yytable[yystate];
  else
    yystate = yydefgoto[yyn - YYNTBASE];

  goto yynewstate;

yyerrlab:   /* here on detecting error */

  if (! yyerrstatus)
    /* If not already recovering from an error, report this error.  */
    {
      ++yynerrs;

#ifdef YYERROR_VERBOSE
      yyn = yypact[yystate];

      if (yyn > YYFLAG && yyn < YYLAST)
	{
	  int size = 0;
	  char *msg;
	  int x, count;

	  count = 0;
	  for (x = 0; x < (sizeof(yytname) / sizeof(char *)); x++)
	    if (yycheck[x + yyn] == x)
	      size += strlen(yytname[x]) + 15, count++;
	  msg = (char *) malloc(size + 15);
	  if (msg != 0)
	    {
	      strcpy(msg, "parse error");

	      if (count < 5)
		{
		  count = 0;
		  for (x = 0; x < (sizeof(yytname) / sizeof(char *)); x++)
		    if (yycheck[x + yyn] == x)
		      {
			strcat(msg, count == 0 ? ", expecting `" : " or `");
			strcat(msg, yytname[x]);
			strcat(msg, "'");
			count++;
		      }
		}
	      yyerror(msg);
	      free(msg);
	    }
	  else
	    yyerror ("parse error; also virtual memory exceeded");
	}
      else
#endif /* YYERROR_VERBOSE */
	yyerror("parse error");
    }

  goto yyerrlab1;
yyerrlab1:   /* here on error raised explicitly by an action */

  if (yyerrstatus == 3)
    {
      /* if just tried and failed to reuse lookahead token after an error, discard it.  */

      /* return failure if at end of input */
      if (yychar == YYEOF)
	YYABORT;

#if YYDEBUG != 0
      if (yydebug)
	fprintf(stderr, "Discarding token %d (%s).\n", yychar, yytname[yychar1]);
#endif

      yychar = YYEMPTY;
    }

  /* Else will try to reuse lookahead token
     after shifting the error token.  */

  yyerrstatus = 3;		/* Each real token shifted decrements this */

  goto yyerrhandle;

yyerrdefault:  /* current state does not do anything special for the error token. */

#if 0
  /* This is wrong; only states that explicitly want error tokens
     should shift them.  */
  yyn = yydefact[yystate];  /* If its default is to accept any token, ok.  Otherwise pop it.*/
  if (yyn) goto yydefault;
#endif

yyerrpop:   /* pop the current state because it cannot handle the error token */

  if (yyssp == yyss) YYABORT;
  yyvsp--;
  yystate = *--yyssp;
#ifdef YYLSP_NEEDED
  yylsp--;
#endif

#if YYDEBUG != 0
  if (yydebug)
    {
      short *ssp1 = yyss - 1;
      fprintf (stderr, "Error: state stack now");
      while (ssp1 != yyssp)
	fprintf (stderr, " %d", *++ssp1);
      fprintf (stderr, "\n");
    }
#endif

yyerrhandle:

  yyn = yypact[yystate];
  if (yyn == YYFLAG)
    goto yyerrdefault;

  yyn += YYTERROR;
  if (yyn < 0 || yyn > YYLAST || yycheck[yyn] != YYTERROR)
    goto yyerrdefault;

  yyn = yytable[yyn];
  if (yyn < 0)
    {
      if (yyn == YYFLAG)
	goto yyerrpop;
      yyn = -yyn;
      goto yyreduce;
    }
  else if (yyn == 0)
    goto yyerrpop;

  if (yyn == YYFINAL)
    YYACCEPT;

#if YYDEBUG != 0
  if (yydebug)
    fprintf(stderr, "Shifting error token, ");
#endif

  *++yyvsp = yylval;
#ifdef YYLSP_NEEDED
  *++yylsp = yylloc;
#endif

  yystate = yyn;
  goto yynewstate;
}
#line 887 "parser.y"


/*
 * Function: Inityyparse()
 * -----------------------
 * This function will be called before any calls to yyparse().  It is designed
 * to give you an opportunity to do anything that must be done to initialize
 * the parser (set global variables, configure starting state, etc.). One
 * thing it already does for you is assign the value of the global variable
 * yydebug that controls whether yacc prints debugging information about
 * parser actions (shift/reduce) and contents of state stack during parser.
 * If set to false, no information is printed. Setting it to true will give
 * you a running trail that might be helpful when debugging your parser.
 * Please be sure the variable is set to false when submitting your final
 * version.
 */
void Inityyparse(void)
{
  PrintDebug("parser", "Initializing parser");
  //yydebug = false;
  scopes = new ScopeStack;
  cg = new CodeGenerator;
}

  /* pp4: you can define helper functions here to help perform tasks
   *      for code generation, but we prefer you to put those functions
   *      in the codegen module and keep the yacc file tidy!
   */