Hi Kuan, It looks like you are using mismatched versions of the LLVM tools. You probably have an llvm-gcc from a newer LLVM (e.g., 2.7) installed somewhere in your path.
Make sure when you configure LLVM that it is finding an llvm-gcc which matches the same version of LLVM. - Daniel On Fri, Jul 30, 2010 at 6:03 AM, Kuan Xiang Wen <h0830018 at nus.edu.sg> wrote: > I am unable to compile klee with llvm2.6 during the make process in Ubuntu. > The following is the message I received before it stopped execution. > > llvm[2]: Compiling klee_div_zero_check.ll to klee_div_zero_check.bc for > Release build (bytecode) > /home/xiangwen/llvm/llvm-2.6/Release/bin/llvm-as: > /home/xiangwen/klee-nush/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] > ? ? ? ? ? ? ? ? ? ? ? ?^ > /home/xiangwen/llvm/llvm-2.6/Release/bin/opt: Invalid bitcode signature > make[2]: *** > [/home/xiangwen/klee-nush/runtime/Intrinsic/Release/klee_div_zero_check.bc] > Error 1 > make[2]: Leaving directory `/home/xiangwen/klee-nush/runtime/Intrinsic' > make[1]: *** [Intrinsic/.makeall] Error 2 > make[1]: Leaving directory `/home/xiangwen/klee-nush/runtime' > make: *** [all] Error 1 > > Thank you > _______________________________________________ > klee-dev mailing list > klee-dev at keeda.stanford.edu > http://keeda.Stanford.EDU/mailman/listinfo/klee-dev >
