Подпрограммы Java Bytecode - Невозможно загрузить адрес возврата - PullRequest
1 голос
/ 10 декабря 2011

Я пытался написать некоторый байт-код Java и собрать его, используя Jasmin.

Я пытаюсь разобраться в подпрограммах, и я не уверен, почему я получаю следующее сообщение об ошибке при запуске моей программы:

>java -jar jasmin.jar test.j
Generated: test.class

>java test
Exception in thread "main" java.lang.VerifyError: (class: test,
method: main signature: ([Ljava/lang/String;)V)
Cannot load return address from register 0
Could not find the main class: test. Program will exit.

Вот байт-код в test.j:

.class public test
.super java/lang/Object
.method public static main([Ljava/lang/String;)V
.limit stack 6
.limit locals 5

jsr a     ;Jump to subroutine 'a', pushing return address on operand stack
return    ;Exit the program

a:
astore_0  ;Store the return address in variable 0
aload_0   ;Save the address onto the stack as address will be overwritten in 'b'
jsr b     ;Jump to subroutine 'b', pushing return address on operand stack
astore_0  ;Store the address that was on the stack back into variable 0
ret 0     ;Return to just after "jsr a"

b:
astore_0  ;Store return address in variable 0
ret 0     ;Return to address stored in 0 (ie back to just after the jump in 'a')

.end method

У меня не было проблем с переходом на одну подпрограмму, но кажется, что что-то идет не так, когдапереход к подпрограмме из подпрограммы.

Любая идея о том, почему это не удается, будет принята с благодарностью!

1 Ответ

3 голосов
/ 10 декабря 2011

Вы не можете загрузить значение типа адреса в любой регистр, вы можете только сохранить его, а затем инструкция ret может получить его оттуда.

Виртуальная машина Java Спецификация:

...