- Java 双重比较
- java - 比较器与 Apache BeanComparator
- Objective-C 完成 block 导致额外的方法调用?
- database - RESTful URI 是否应该公开数据库主键?
[TL;DR:以下 JVM 字节码指令似乎不起作用:
iconst_0
istore 6
...sequential
iinc 6 1
jsr L42
...
; L42
iload 6
ifeq L53 ; Always branches!!!
astore 8
iinc 6 -1
; L53
LDC 100
ISUB ; ERROR, returnAddress is at the top of the stack
可以找到一个测试.class here (逻辑稍微复杂一点)。如果您想详细了解为什么我会看到这些说明,请继续阅读。]
我正在编写一个针对 JVM 字节码的 Whitespace 编译器。虽然是一种深奥的语言,但 Whitespace 描述了一组有趣的堆栈机器汇编指令,它很好地映射到 JVM。
空白有标签,它们都是跳转(goto/jump-if-zero/jump-if-negative)和函数调用的目标。相关说明(名称由我给出,在规范中它们以空格、制表符和换行符的组合给出)是:
mark <label>
: 为后面的指令设置标签jump[-if-neg|-if-zero] <label>
: 无条件或有条件跳转到给定标签call <label>
: 调用标签指向的函数end <label>
: 结束一个函数,返回给调用者。我的编译器在一个类的 main 方法中输出整个 Whitespace 程序。最简单的实现方式call
和 end
正在使用 JSR
和 RET
操作码,用于实现子程序。经过JSR
操作堆栈将包含一个 returnAddress
应存储在变量中供以后在 end
中使用的引用.
然而,作为mark
可以是 call
-ed 或 jump
- 进入,堆栈可能包含也可能不包含 returnAddress
引用。我决定使用一个 boolean 变量(调用位,地址 6)来存储标记是如何到达的,然后测试它是否应该将堆栈顶部存储到局部变量(返回地址,地址 8)。每条指令的实现如下:
; ... initialization
iconst_0
istore 6 ; local variable #6 holds the call bit
# call
iinc 6 1 ; sets the call bit
jsr Lxxx ; jumps to the given label, pushing a returnAddress to the stack
# mark
; Lxxx
iload 6 ; loads the call bit
ifeq Lxxx-end ; SHOULD jump to mark's end if the call bit is not set
; call bit is set: mark was call-ed and returnAddress is in the stack
astore 8 ; stores returnAddress to local variable #8
iinc 6 -1 ; resets the call bit
; Lxxx-end
# end
ret 8 ; returns using the stored returnAddress
问题:ifeq
总是分支。我还尝试反转逻辑(调用位 -> 跳转位,ifeq->ifne),甚至简单地切换到 ifne
(这是错误的)......但是 if 总是分支到最后。通话后,returnAddress
留在堆栈中,下一个操作爆炸。
我已经使用 ASM 的分析器来观察堆栈来调试所有这些,但是只是断言了这种行为并且找不到我做错了什么。我的一个怀疑是 iinc
还有更多内容, 或 ifeq
比我虚荣的哲学所能想象的还要多。我承认我只读过 instruction set page和 ASM's pertinent documentation对于这个项目,但我希望有人能从他们的脑海中提出一个解决方案。
In this folder有相关文件,包括可执行类和原始 Whitespace,以及 javap -c
的输出和 ASM 分析。
最佳答案
找到一个可能的原因:问题不在执行过程中,而是在验证者身上。当它看起来“总是分支”时,实际上是 validator 测试了 if
的所有可能结果,因此它可以确保堆栈看起来是一样的。我的代码依赖于一个引用 (returnAddress
),可能存在也可能不存在于堆栈中,验证者无法检查它。
也就是说,示例代码不使用 -noverify
标志运行,但验证失败的其他更简单的示例确实正确执行。
关于java - ifeq/ifne JVM 操作码总是分支,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/29427419/
我现在正在寻找一个完整的小时来解决这个问题......为什么它不是 IS 0? 我不是一个大制作大师。 JAVAC := $(shell javac -version 2> /dev/null; ec
我有很多不同的 makefile 的大来源。 现在我需要在那里添加一个小条件,在那里我可以检查行是否包含我想要的内容,然后我应该使用一些符号。 我知道ifeq必须放在 0 列。 但是我不能仅针对这种情
ifeq 不比较两个变量 我正在制作一个程序来将文件移动到桌面,与操作系统中选择的语言无关。在葡萄牙语中,桌面文件夹称为“Área de trabalho”。由于“Área de Trabalho”是
作为条件指令 ifeq经常用于比较从变量扩展的单词,这些变量通常包含空格,我们可能希望并且实际上需要 Make 去除任何前导或尾随的空格。 事实上,您可能有相反的看法,即 Make 应该将所有参数逐字
我想使用 ifeq 检查 makefile 中的条件,并且不确定如何进行: ifeq ( cond1 = yes || cond2 = yes ) set value x = 1; els
如何使用 make 的 ifeq 运算符执行逻辑 OR? 例如,我有(简化的): ifeq ($(GCC_MINOR), 4) CFLAGS += -fno-strict-overflow e
我的 Makefile 有一个小问题。我想更改有关工作目录的命令。我在测试当前目标目录 ($(*D)) 的规则中添加了一个条件指令。 问题是 make 总是转到我测试的第二个分支,即使我的文件在 my
以下是一个非常简单的makefile,似乎无法正常工作。 TEST=ON buildbegin: ifeq ($(TEST),ON) @echo TEST PASSED else
我想检查 GNU make 文件的 if 循环中的多个条件。这是一个例子: ifeq ($(TEST_FLAG),TRUE && ($(DEBUG_FLAG),FALSE)) true stateme
我有几个与此类似的 makefile 变量定义... BUILD_DIR = build APP_SRCS = \ ./main.c \ ./module1.c \ ./mod
我正在努力让我的 ifeq 条件被触发。我知道我的 makefile 可能在所有部分看起来都很愚蠢,但这就是我来这里提问的原因。 我的Makefile条件如下: COMPILER = g++ TARG
我试图在执行另一个 makefile 之前根据目标列表中的当前目标执行命令(当前只有该列表中的一个条目)。 我有这个: $(LIBS): ifeq ($@,libname)
[TL;DR:以下 JVM 字节码指令似乎不起作用: iconst_0 istore 6 ...sequential iinc 6 1 jsr L42 ... ; L42 iload 6 ifeq L
我正在尝试根据条件在 Makefile 中定义变量。由于 ifeq 只能在规则中运行,因此我为每个规则添加了一条附加规则 (def_rule)。 示例: def_rule: ifeq ($(TARGE
我目前在我的网站上使用 Handlebar.js,并且我的 View 之一中有以下代码: {{# each navLinks}} {{#ifeq ../section key}} {{ke
根据 this link , 似乎这两个条件都会被评估为相同的结果,那么它们之间有什么区别呢? ifeq ($(foo),) execute somethings endif 和 ifndef
我有很多变量叫做allow_xxx 其中 xxx 是一个特征。 我想在我的 makefile 中使用所有允许的值创建一个变量。 这是我尝试做的: allow_feat1 := 1 allow_feat
如果语法类似于,如何添加多个选择 ifeq ($(VAR1),some-string) 结合 ifneq ($(VAR2),some-other-string) 再加上一些…… 有一个类轮吗?喜欢(幻
我正在编写一个在一个地方进行字符串匹配的 Makefile,代码如下: if test ...; \ then \ shell scripts... \ fi ifeq ($(DIST
我正在尝试编写一个 Makefile 来评估 Bash 命令的结果,例如 uname . 生成文件: OS1 = $(uname) OS2 = Darwin all: @echo $(valu
我是一名优秀的程序员,十分优秀!