0

我试图用以前用 Java 后端编译的 LLVM 后端编译一个文件，并得到这个警告：

ld: warning: could not create compact unwind for _step: stack subq instruction is too different from dwarf stack size

然后在运行时出现以下错误：

java.lang.UnsupportedOperationException
    at org.kframework.backend.llvm.LLVMRewriter$1.search(LLVMRewriter.java:149)
    at org.kframework.krun.modes.KRunExecutionMode.execute(KRunExecutionMode.java:54)
    at org.kframework.krun.KRun.run(KRun.java:85)
    at org.kframework.krun.KRunFrontEnd.run(KRunFrontEnd.java:95)
    at org.kframework.main.FrontEnd.main(FrontEnd.java:62)
    at org.kframework.main.Main.runApplication(Main.java:118)
    at org.kframework.main.Main.runApplication(Main.java:108)
    at org.kframework.main.Main.main(Main.java:56)
[Error] Internal: Uncaught exception thrown of type
UnsupportedOperationException (UnsupportedOperationException: null)

这些是什么意思？

4

1 回答 1

0

llvm 后端（尚）不支持krun --search. 当前支持搜索的唯一后端是 Java 和 Haskell 后端。

至于链接器警告，我不完全确定它的含义，但它与调试数据有关，因此您可以忽略它，它不会影响可执行文件的行为。

于 2020-04-02T14:08:49.237 回答