0

如何使用可选的 ELSE 分支生成与字节码指令对应的代码 IF THEN - ELSE？

例如，程序 If-else.pas 被认为是正确的，而程序 If.pas 则被认为不正确，因为它不包含 ELSE 分支。

if-else.pas

var a, b : integer;
begin
    a := 3;
    b := 5;
    if a > b then 
        print(a)
    else 
        print(b)
end

如果.pas

var a, b : integer;
begin
    a := 3;
    b := 5;
    if a > b then 
        print(a)
end

所以 Jasmin 给了我这个错误：

Output.j:62：JAS 错误：标签：L11 尚未添加到代码中。

Output.j: 发现 1 个错误

我的语法 .g 有这个规则：

stmt -> ID := expr
     | print( expr )
     | if( expr ) then ( stmt ) [ else stmt ]?
     | while( expr ) do stmt
     | begin stmt [ ; stmt ]* end

对于 if-else 语句，我写了这个：

'if' 
    {
        int lfalse = code.newLabel(); //Generates a new number for the LABEL
        int lnext = lfalse;
    }
    ( expr )
    {
        if($expr.type != Type.BOOLEAN) //Checking the condition is boolean
            throw new IllegalArgumentException("Type error in '( expr )': expr is not a boolean."); 
        code.emit(Opcode.IFEQ, lfalse); //I create the instruction IFEQ L(lfalse)
    }
    'then' s1 = stmt 
    {   
        lnext = code.newLabel(); //Generates a new number for the LABEL
        code.emit(Opcode.GOTO, lnext); //I create the instruction GOTO L(lnext)
        code.emit(Opcode.LABEL, lfalse); //I create the instruction L(lfalse):
    }
    ( 'else' s2 = stmt 
    {       
        code.emit(Opcode.LABEL, lnext); //I create the instruction L(lnext):
    })?

但是通过这种方式，第二个分支不是可选的，而是必须始终存在。我如何使它成为可选的？我认为问号 ( ( 'else' s2 = stmt )?) 是必要的，但没有。我正在使用 ANTLR。

谢谢。

我不知道 Jasmin 生成的字节码文件（.j）是否有用，但我写了它。

如果-else.j

    ldc 3
    istore 1
    ldc 5
    istore 0
    iload 1
    iload 0
    if_icmpgt L7
    ldc 0
    goto L8
  L7:
    ldc 1
  L8:
    ifeq L4
    iload 1
    invokestatic Output/printInt(I)V
    goto L11
  L4:
    iload 0
    invokestatic Output/printInt(I)V
  L11:
    return

如果.j

  ldc 3
  istore 1
  ldc 5
  istore 0
  iload 1
  iload 0
  if_icmpgt L7
  ldc 0
  goto L8
L7:
  ldc 1
L8:
  ifeq L4
  iload 1
  invokestatic Output/printInt(I)V
  goto L11
L4:
  return
4

1 回答 1

1

这里的问题是你总是生成到 LNEXT 的跳转，但是当没有 else 子句时你不会生成标签本身，导致代码无效。您需要无条件地生成标签。

我不熟悉 Antlr，但根据您编写代码的方式，我怀疑这是正确的方法。

'if' 
    {
        int lfalse = code.newLabel(); //Generates a new number for the LABEL
        int lnext = lfalse;
    }
    ( expr )
    {
        if($expr.type != Type.BOOLEAN) //Checking the condition is boolean
            throw new IllegalArgumentException("Type error in '( expr )': expr is not a boolean."); 
        code.emit(Opcode.IFEQ, lfalse); //I create the instruction IFEQ L(lfalse)
    }
    'then' s1 = stmt 
    {   
        lnext = code.newLabel(); //Generates a new number for the LABEL
        code.emit(Opcode.GOTO, lnext); //I create the instruction GOTO L(lnext)
        code.emit(Opcode.LABEL, lfalse); //I create the instruction L(lfalse):
    }
    ( 'else' s2 = stmt )?
    {       
        code.emit(Opcode.LABEL, lnext); //I create the instruction L(lnext):
    }
于 2014-05-23T16:53:18.283 回答