JVM 中的逻辑 NOT 操作

Question

我试图用Jasmin模仿NOT门的行为。行为如下所示：

• 从堆栈中弹出一个整数
• 如果整数为 0，则将 1 推回堆栈
• 否则将 0 推回堆栈

我尝试了两次不同的尝试，但无济于事。

尝试 1：

    ...(other code1)
    ifeq 3          ; if the top of stack is 0, jump 3 lines down to "i_const1"
    i_const0        ; top of stack was not 0, so we push 0
    goto 2          ; jump 2 lines down to first line of (other code2)
    i_const1
    ...(other code2)

当然，上面的示例不起作用，因为ifeq <offset>采用 Label 而不是硬编码整数作为其偏移量。是否有与 ifeq 类似的操作接受整数作为参数？

尝试 2：

    ...
    ifeq Zero       ; top of stack is 0, so jump to Zero
    i_const0        ; top of stack was 1 or greater, so we push 0
    ...
    ... (some code in between)
    ...
    ifeq Zero       ; top of stack is 0, so jump to Zero
    i_const0        ; top of stack was 1 or greater, so we push 0
    ...
    Zero:
    i_const1        ; top of stack was 0, so push 1 to stack
    goto <???>      ; How do I know which "ifeq Zero" called this label?

这样做的问题是我的代码中有多个地方使用 NOT 操作。我尝试将 ifeq 与标签一起使用，但是完成后我怎么知道要使用 goto 返回哪一行？有没有办法动态确定哪个"ifeq Zero"进行了跳跃？

任何见解将不胜感激。

Answer 1

是否有与 ifeq 类似的操作接受整数作为参数？

是的，您可以使用$符号指定相对偏移量。
但是相对偏移量以字节为单位，而不是以行为单位。

    ifeq $+7     ;  0: jump +7 bytecodes forward from this instruction
    iconst_0     ; +3
    goto $+4     ; +4
    iconst_1     ; +7
    # ...        ; +8

有没有办法动态确定哪个"ifeq Zero"进行了跳跃？

不。使用多个不同的标签而不是单个Zero。

嗯，其实有一对字节码（jsr/ret）支持动态返回地址。但是这些字节码已被弃用，并且在 Java 6+ 类文件中不受支持。