Displaying 1 result from an estimated 1 matches for "lz22".
Did you mean:
lc22
2018 Dec 14
2
LLVM Error: Unsupported library call operation
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