Question

在yacc + lex程序中，在yacc文件中使用这些规则（及更多），

stmt    : ';'
        | expr ';'      { /*code*/ }
        | IF '(' expr ')' stmt  { /*code*/ }
        | IF '(' expr ')' stmt ELSE stmt { /*code*/ }
.
.
.
.

如果输入类似于：

if(1<2) {return 5;}

是＆＃34;（1＆lt; 2）＆＃34;一个expr和＆＃34; {return 5}＆＃34; stmt，它匹配。否则，如果输入类似于：

if(1<2) {return 5;} else {return 2;}

它不匹配......

我试过改变ELSE和IF的关联性......它说＆＃34;语法错误＆＃34;。

EDIT1：

expr定义为：

expr    : ID   '=' expr { emit(dup); emit2(istore, $1->localvar); }
    | ID   PA  expr { emit2(iload, $1->localvar); emit(iadd); emit(dup); emit2(istore, $1->localvar); }
    | ID   NA  expr { emit2(iload, $1->localvar); emit(isub); emit(dup); emit2(istore, $1->localvar); }
    | ID   TA  expr { emit2(iload, $1->localvar); emit(imul); emit(dup); emit2(istore, $1->localvar); }
    | ID   DA  expr { emit2(iload, $1->localvar); emit(idiv); emit(dup); emit2(istore, $1->localvar); }
    | ID   MA  expr { emit2(iload, $1->localvar); emit(irem); emit(dup); emit2(istore, $1->localvar); }
    | expr EQ  expr { emit3(if_icmpeq, 7); emit(iconst_0); emit3(goto_, 4); emit(iconst_1); }
    | expr NE  expr { emit3(if_icmpne, 7); emit(iconst_0); emit3(goto_, 4); emit(iconst_1); }
    | expr '<' expr { emit3(if_icmplt, 7); emit(iconst_0); emit3(goto_, 4); emit(iconst_1); }
    | expr '>' expr { emit3(if_icmpgt, 7); emit(iconst_0); emit3(goto_, 4); emit(iconst_1); }
    | expr LE  expr { emit3(if_icmple, 7); emit(iconst_0); emit3(goto_, 4); emit(iconst_1); }
    | expr GE  expr { emit3(if_icmpge, 7); emit(iconst_0); emit3(goto_, 4); emit(iconst_1); }
    | expr '+' expr { emit(iadd); }
    | expr '-' expr { emit(isub); }
    | expr '*' expr { emit(imul); }
    | expr '/' expr { emit(idiv); }
    | expr '%' expr { emit(irem); }
    | '(' expr ')'
    | '$' INT8      { emit(aload_1); emit2(bipush, $2); emit(iaload); }
    | ID            { emit2(iload, $1->localvar); }
    | INT8          { emit2(bipush, $1); }
    | INT16         { emit3(sipush, $1); }
    | INT32         { emit2(ldc, constant_pool_add_Integer(&cf, $1)); }
    | FLT       { error("float constant not supported in Pr3"); }
    | STR       { error("string constant not supported in Pr3"); }
    ;

Answer 1

在yacc脚本中，我将if语句定义如下：

if_statement : IF  b_expr   
                   statement
               else_part
             ;

else_part    : ELSE
                statement
             | empty
             ;

与yacc中的类似规则匹配

1 个答案: