[llvm-dev] LLVM Error: Unsupported library call operation
Philip Pfaffe via llvm-dev
llvm-dev at lists.llvm.org
Fri Dec 14 04:20:37 PST 2018
the error means that the IR contains a call to a runtime library function
that the backend doesn't know as of 3.8. You probably created the IR with a
different llvm version than tha.
On Fri, Dec 14, 2018 at 11:27 AM div code via llvm-dev <
llvm-dev at lists.llvm.org> wrote:
> 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.
> LLVM Developers mailing list
> llvm-dev at lists.llvm.org
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the llvm-dev