堆栈高度不一致%1！=2

Question

因此，我试图在Jasmin中创建一个简单的for循环，每次hello world通过该循环时，它都会打印出来。问题是，每当我试图通过添加一个来增加它时，我会得到这样的错误：“错误：无法初始化主类测试由：java.lang.verifyerror：（class：test,method：main signature：([ljava/lang/string；）V）不一致的堆栈高度1！=2”当我不试图添加一个时它可以工作，但当我把它放回去时不确定为什么它不能工作。希望得到帮助！

.class public test
.super java/lang/Object

.method public <init>()V
   aload_0
   invokenonvirtual java/lang/Object/<init>()V
   return
.end method

.method public static main([Ljava/lang/String;)V
   .limit stack 5

   ldc 15
   ldc 1
startLoop:
   iflt endLoop
   getstatic java/lang/System/out Ljava/io/PrintStream;
   ldc "hello world"
   invokevirtual java/io/PrintStream/print(Ljava/lang/String;)V
   ldc 1
   iadd
   goto startLoop
endLoop:
   return
.end method

Answer 1

根据是否在第一次迭代时立即转到endloop（验证程序不检查或不查看值是否小于零），或者是否经历了循环，代码最终会有不同的堆栈高度。

请记住，iflt将堆栈顶部与零进行比较，如果它小于零，则转到endloop。在此过程中，它从堆栈顶部移除该值。

在您的第一个IFLT之后，它从堆栈顶部删除了值1。然后将1添加到15，将值16留在堆栈中。

作为一种解决方案，您可能希望使用if_icmpge来检查计数器是否大于15，对于每次比较，您首先希望dup，然后将常数15推送到堆栈上。