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

[div code via llvm-dev]

Hello,

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.

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