[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
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...
More information about the llvm-dev