Ah yes. This could be the reason as well. smack uses LLVM 10.0.1 and i just saw that my emsdk has llvm version 12.0.0git.
How can I install emsdk for a specific version of LLVM? Are particular versions of the sdk tied to particular versions of LLVM? On Wednesday, November 4, 2020 at 6:21:46 AM UTC+5:30 [email protected] wrote: > What version of LLVM does Smack support? Since Emscripten uses tip-of-tree > LLVM, my guess is that the LLVM IR you're getting is too new for Smack to > read. It's hard to say from just that error message, though. > > On Tue, Nov 3, 2020 at 4:36 PM Yugesh Kothari <[email protected]> wrote: > >> Hi, >> >> I am trying to look for a way to compile C/C++ source written with >> emsripten headers to LLVM IR (.ll or .bc) and then subsequently use smack ( >> https://github.com/smackers/smack) to get it to boogie. I use the >> command : >> >> emsdk/upstream/bin/clang++ --target=wasm64 `em++ --cflags` -emit-llvm -S >> <file>.cpp -o <file>.ll >> >> which runs. But then when I try to use smack I get this error: >> "Exception: Problem reading input bitcode/IR: Invalid record". >> >> I run into the same problem if I try to compile down the above llvm to an >> executable using llc. >> >> I suspect this has something to do with how I originally compiled my C++ >> source. Can someone suggest what is the "right" way to get LLVM IR and >> .js+.wasm instead of just the latter? >> >> Thanks! >> >> -- >> You received this message because you are subscribed to the Google Groups >> "emscripten-discuss" group. >> To unsubscribe from this group and stop receiving emails from it, send an >> email to [email protected]. >> To view this discussion on the web visit >> https://groups.google.com/d/msgid/emscripten-discuss/003bfb97-7658-4291-93b0-46f8ec3cd03cn%40googlegroups.com >> >> <https://groups.google.com/d/msgid/emscripten-discuss/003bfb97-7658-4291-93b0-46f8ec3cd03cn%40googlegroups.com?utm_medium=email&utm_source=footer> >> . >> > -- You received this message because you are subscribed to the Google Groups "emscripten-discuss" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/emscripten-discuss/2d97e9e2-e0f9-4a39-9f27-d6f4e991e10dn%40googlegroups.com.
