Svadev mailing list

[John Criswell <criswell AT illinois.edu>]

On 7/10/11 10:38 AM, kobe James wrote:

I tried to install the SAFECode in LLVM 2.6 following the instruction in Install.html. But when I do the step:

First, are you compiling with LLVM 2.6 or LLVM 2.7?  You say LLVM 2.6 above, but the pathnames below suggest that you're using LLVM 2.7.  If you're using LLVM 2.6, you need to get the release_26 branch of poolalloc and safecode.  If you're using LLVM 2.7, then you need mainline poolalloc and safecode.

In any event, I believe the problem is a mismatched llvm-gcc.  If you're using LLVM 2.6, then you need llvm-gcc from the 2.6 release.  If you're using LLVM 2.7, then you need llvm-gcc from the 2.7 release.  Using a newer version of llvm-gcc with an older version of LLVM (and SAFECode) will generate errors like what you are seeing.

-- John T.

# cd projects/poolalloc
# make

I get the errore below:
llvm[2]: Compiling qsort.c for Release build (bytecode)
llvm[2]: Compiling strdup.c for Release build (bytecode)
llvm[2]: Compiling qsort.c for Release build
llvm[2]: Compiling strdup.c for Release build
llvm[2]: Compiling qsort.ll to qsort.bc for Release build (bytecode)
llvm[2]: Compiling strdup.ll to strdup.bc for Release build (bytecode)
/home/chenliu/llvm-2.6/llvm/Release/bin/llvm-as: assembly parsed, but does not verify as correct!
Intrinsic prototype has incorrect number of arguments!
void (i8*, i8*, i64, i32, i1)* @llvm.memcpy.p0i8.p0i8.i64
Broken module found, compilation terminated.
Broken module found, compilation terminated.
/home/chenliu/llvm-2.6/llvm/Release/bin/opt: Invalid bitcode signature
make[2]: *** [/home/chenliu/llvm-2.6/llvm/projects/poolalloc/runtime/PreRT/Release/strdup.bc] Error 1
make[2]: *** Waiting for unfinished jobs....
make[2]: Leaving directory `/home/chenliu/llvm-2.6/llvm/projects/poolalloc/runtime/PreRT'
make[1]: *** [all] Error 1
make[1]: Leaving directory `/home/chenliu/llvm-2.6/llvm/projects/poolalloc/runtime'
make: *** [all] Error 1

I both configured LLVM and SAFEcode in this way:
export CC="llvm-gcc"
export CXX="llvm-g++"
./configure --with-poolalloc-srcdir=/home/chenliu/llvm-2.7/llvm/projects/poolalloc --with-poolalloc-objdir=/home/chenliu/llvm-2.7/llvm/projects/poolalloc --with-llvmsrc=/home/chenliu/llvm-2.7/llvm --with-llvmobj=/home/chenliu/llvm-2.7/llvm

================
Also if I set CXX to g++, during the compilation it will emit an error saying "g++|icc required but not found".
Do you know what the problem is here?

Thanks in advance,

Chen

_______________________________________________
svadev mailing list
svadev AT cs.uiuc.edu
http://lists.cs.uiuc.edu/mailman/listinfo/svadev