Hi Graham, Sorry, it has taken me a while to take a look, but I added some comments to the bugzilla. This is probably a mismatched LLVM tool version of some kind, if you can give me some more information on your build we should be able to sort it out, I added a comment asking for the logs I would like to take a look at.
- Daniel On Wed, May 19, 2010 at 1:38 AM, Graham Lee <leeg at thaesofereode.info> wrote: > Hi all, > > I'm interested in using klee, but can't get it to compile. I already filed a > bug (bug #7128), but I hope that someone on the list can help me solve the > problem. It's this: > > llvm[2]: Compiling klee_div_zero_check.ll to klee_div_zero_check.bc for > Release build (bytecode) > /Users/leeg/Documents/Projects/llvm-2.6/Release/bin/llvm-as: > /Users/leeg/Documents/Projects/klee/runtime/Intrinsic/Release/klee_div_zero_check.ll:11:25: > error: expected instruction opcode > ?%0 = icmp eq i64 %z, 0, !dbg !0 ? ? ? ? ? ? ? ? ; <i1> [#uses=1] > ? ? ? ? ? ? ? ? ? ? ? ?^ > /Users/leeg/Documents/Projects/llvm-2.6/Release/bin/opt: Invalid bitcode > signature > make[2]: *** > [/Users/leeg/Documents/Projects/klee/runtime/Intrinsic/Release/klee_div_zero_check.bc] > Error 1 > make[1]: *** [Intrinsic/.makeall] Error 2 > make: *** [all] Error 1 > > I'm afraid I don't know the intermediate rep well enough to understand how to > fix this error. > > Thanks, > Graham. > -- > Graham Lee > http://blog.securemacprogramming.com/ > http://www.mac-developer-network.com/articles/scindex.html > > _______________________________________________ > klee-dev mailing list > klee-dev at keeda.stanford.edu > http://keeda.Stanford.EDU/mailman/listinfo/klee-dev >
