Генерация Javabytecode, вложенные циклы — несогласованные кадры карты стека в целевой ветке 114 ⇐ JAVA

[Anonymous]

Я играю с генерацией байт-кода Java (используя Clojure с https://github.com/jgpc42/insn). В настоящее время я пытаюсь сгенерировать байт-код для вложенного цикла for, ниже приведена соответствующая часть. сгенерированного байт-кода, но когда я пытаюсь его запустить, я получаю:

Код: Выделить всё

 Exception in thread "main" java.lang.VerifyError: Inconsistent stackmap frames at branch target 114

часть байт-кода, связанная с for:

Код: Выделить всё

     111: bipush        0
113: istore_0
114: iload_0
115: bipush        3
117: if_icmpge     154
120: bipush        0
122: istore_1
123: iload_0
124: bipush        3
126: if_icmpge     147
129: invokestatic  #14                 // Method my/pkg/RaspIvok.getInvoker:()Lrasp_lang/lib/core2/Invoker;
132: invokestatic  #44                 // Method my/pkg/RaspIvok.getPrintln:()Lmy/pkg/Test/Println;
135: ldc           #46                 // String Hello
137: invokevirtual #49                 // Method rasp_lang/lib/core2/Invoker.call:(Ljava/lang/Object;Ljava/lang/Object;)Ljava/lang/Object;
140: pop
141: iinc          1, 1
144: goto          123
147: pop
148: iinc          0, 1
151: goto          114
154: return

Любая помощь, как понять и устранить проблему?
Спасибо

Подробнее здесь: https://stackoverflow.com/questions/788 ... t-branch-t