[llvm-dev] LLVM Error: Unsupported library call operation

div code via llvm-dev llvm-dev at lists.llvm.org
Fri Dec 14 02:27:16 PST 2018


I am on the hook to instrument a piece of legacy LLVM IR code, and then we
are planning to feed to the SeaHorn framework for some model checking tasks.

After the instrumentation, I tried to use llc (version 3.9) to compile the
IR code, and it works fine. However, when I try to use llc (version 3.8.1,
the default llvm version of SeaHorn) to compile the IR code, it shows the
following error:

LLVM ERROR: Unsupported library call operation!

I can dig into the IR code and do some "alpha debugging" to see which part
of the IR leads to such issue; however, our legacy code is quite large so
it could take a while.. Also, I really have no idea on what is "library
call operation".. Does it mean some external declared functions? In the IR
code we have quite a lot of that.

So could anyone shed some light on this? What would be the general cause of
this issue? Thank you. Any advice or suggestions would be appreciated.

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20181214/65ce1678/attachment.html>

More information about the llvm-dev mailing list