Java字节码栈模拟器开发疑问：基本块执行后栈状态与分支收敛要求

问题背景 #

我正在用C语言开发一个Java字节码分析项目，当前阶段为编写栈模拟器，模拟类文件在JVM中的执行状态。在处理完每个方法的基本块并生成控制流图后，产生了以下疑问：

1. 每个基本块执行完毕后，操作数栈是否为空？
2. 当分支收敛时，无论通过哪个分支进入下一个基本块，操作数栈的内容是否必须一致？

示例字节码如下：

public static void main(java.lang.String[]);
descriptor: ([Ljava/lang/String;)V
flags: (0x0009) ACC_PUBLIC, ACC_STATIC
Code:
  stack=2, locals=3, args_size=1
     0: sipush        2000
     3: istore_1
     4: iload_1
     5: sipush        200
     8: if_icmple     22
    11: getstatic     #7                  // Field java/lang/System.out:Ljava/io/PrintStream;
    14: ldc           #13                 // String demo
    16: invokevirtual #15                 // Method java/io/PrintStream.println:(Ljava/lang/String;)V
    19: goto          26
    22: invokestatic  #21                 // Method age:()I
    25: pop
    26: bipush        100
    28: istore_2
    29: return

注：我调用了返回int类型的age:()I方法，编译器在25行添加了pop指令以清空操作数栈。

疑问解答 #

1. 每个基本块执行完毕后，操作数栈是否为空？ #

不一定。只有当基本块是方法终止节点（包含return、throw等指令），或者基本块的所有后继节点都要求操作数栈为空时，操作数栈才会处于空状态。

以你的示例为例：

• 标号11-19的基本块：执行完println后操作数栈为空，随后通过goto跳转到26号节点，这个基本块结束时操作数栈是空的；
• 标号22-25的基本块：age()返回的int被压入栈后，pop指令将其弹出，基本块结束时操作数栈也为空。
  但如果某个基本块的后继节点需要操作数栈携带数据（比如一个基本块结束于iload_1，下一个基本块直接使用该int值做运算），那这个基本块结束时操作数栈就不为空。

2. 当分支收敛时，无论通过哪个分支进入下一个基本块，操作数栈的内容是否必须一致？ #

是的，这是JVM字节码的合法性强制要求。当多个分支收敛到同一个基本块时，所有路径到达该基本块时，操作数栈的深度和每个栈元素的类型必须完全一致，否则JVM在字节码验证阶段会抛出VerifyError。

看你的示例：

• 从19行goto 26到达26号基本块时，操作数栈为空；
• 从25行pop后到达26号基本块时，操作数栈同样为空。
  两个分支收敛到26号基本块时的栈状态完全一致，属于合法字节码。如果其中一个分支结束时栈内存在int类型数据，另一个分支栈为空，这种字节码会被判定为非法。

内容的提问来源于stack exchange，提问作者Neo