代码生成的 Bison 推导问题

Question

您好，我正在使用 bison 作为编译器用于研究目的，我得到了下一个代码：

if :
if2
|
if1;

if2: 
SE expressao {$1 = (struct lbs *) newlblrec(); $1->for_jmp_false = reserve_loc(); $1->label = label; label+=2;} ENTAO 
comandos
SENAO  {$1->for_goto = reserve_loc(); back_patch($1->for_jmp_false, JMP_FALSE, $1->label);}
comandos
FIMSE  {back_patch($1->for_goto, GOTO, $1->label+1);}
| 
SE expressao error {yyerrok; errors++; yyerror("Entao nao encontrado no se");}
comandos
SENAO 
comandos
FIMSE ;

if1: 
SE expressao {$1 = (struct lbs *) newlblrec(); $1->for_jmp_false = reserve_loc(); $1->label = label++;} ENTAO 
comandos 
FIMSE {back_patch($1->for_jmp_false, JMP_FALSE, $1->label); gen_code(LABEL,$1->label);}
|
SE expressao  error {yyerrok; errors++; yyerror("Entao nao encontrado no se");}
comandos 
FIMSE;

此代码仅在“”之前找到“FIMSE”（这表明该命令是一个简单的 if）时生成规则“if2” SENAO”（在本例中是 if else 命令）它会引发错误，只有当我输入 C 代码来生成中间代码时才会发生这种情况。我的问题是：为什么？我该如何解决这个问题？

Answer 1

当解析器以增强形式接收 SE 和 expressao 时，它立即需要选择要执行的操作（因为您要求该操作在该点发生）如果没有注解，它可以先推送ENTAO和commandos，然后做出减少的决定。

本质上，RHS内部的一个动作被翻译成具有以下内容的动作 。动作放在最后，与另一个非终结符 So

 foo: bar { action1 } foobar
 foo: bar { action2 } baz

被翻译成

 foo: helper1 foobar
 foo: helper2 baz
 helper1: bar { action1 }
 helper2: bar { action2 }

结果，这些动作在你的语法中产生了减少-减少冲突。

有两种方法：

1. 动作放在最后。
2. 将
   语法使得动作是
   实际上两者都是同一个
   替代方案。