<div dir="ltr">Hi Irene,<div><br></div><div>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.</div><div><br></div><div>Cheers,</div><div>Philip</div></div><br><div class="gmail_quote"><div dir="ltr">On Fri, Dec 14, 2018 at 11:27 AM div code via llvm-dev <<a href="mailto:llvm-dev@lists.llvm.org">llvm-dev@lists.llvm.org</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr">Hello,<div><br></div><div>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.</div><div><br></div><div>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:</div><div><br></div><div>LLVM ERROR: Unsupported library call operation! </div><div><br></div><div>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. </div><div><br></div><div>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.</div><div><br></div><div>Best,</div><div>Irene </div></div>
_______________________________________________<br>
LLVM Developers mailing list<br>
<a href="mailto:llvm-dev@lists.llvm.org" target="_blank">llvm-dev@lists.llvm.org</a><br>
<a href="http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-dev" rel="noreferrer" target="_blank">http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-dev</a><br>
</blockquote></div>