[klee-dev] How to handle 32bit bc file with 64bit klee

[JingXiaoni]


Hi all,
l have some problems 
on using klee,need your help .Thanks in advance
My test target is 32bit app.Now I compile llvm and klee in x86_64, then add -m32 option on compile target object.
For example:
for bc file
clang++ -m32 sample.cpp -c -o sample.bc
for app
clang++ -m32 sample.cpp -o sample -lkleeRuntest
Now I have 2 issues
1. bc file compile is success.But when I use klee to generate test cases.There is a error info"LLVM ERROR:64-bit code requested on a subtarget that doesn't support it". I would like to make klee can handle 32bit bc.Then add option in CMakeList.txt with add_complie_option(--target=i386-pc-linux-gun).remake makefile and make,make has a warning that "cc1 plus:warning:command line option '-ftarget=i386-pc-linux-gun'is valid for Java but not for c++".Add Klee can’t work for 32 bit bc,too.
So my question is how to add compile options in cmake or make file to make 64bit Klee can support 32bit bc file?
2.When I compile 32 bit app with Klee lib(libKleeRuntest),It shows can’t find this lib but when I compile 64bit app,there is no problem.Does it mean I need to compile a 32bit Klee to use it or is there some other way to set it up and it will work?
Thanks for your help.