search for: x86_linux

Hello, I have been trying to compile the SPEC benchmark but have failed even after several attempts.The first error I get while trying to run is : -------------------------------------------------------------------- Error loading program '../00000002/gzip_base.x86_linux.bc': Can't open file: ../00000002/gzip_base.x86_linux.bc ----------------------------------------------------------------------- Has anyone tried doing this ?Could you please tell me the changes required to compile it with llvm. Thanks TS --------------------------------- Yaho...

...s : There are two ways to do this: 1. Use the llvm-test harness 2. Use the official spec harness with -Wl,-native-cbe or -Wl,-native flags to llvm-gcc. -Chris > -------------------------------------------------------------------- > > Error loading program '../00000002/gzip_base.x86_linux.bc': Can't open file: ../00000002/gzip_base.x86_linux.bc > > ----------------------------------------------------------------------- > > > > Has anyone tried doing this ?Could you please tell me the changes required to compile it with llvm. > > > > Thanks >...

...un is : There are two ways to do this: 1. Use the llvm-test harness 2. Use the official spec harness with -Wl,-native-cbe or -Wl,-native flags to llvm-gcc. -Chris > -------------------------------------------------------------------- > > Error loading program '../00000002/gzip_base.x86_linux.bc': Can't open file: ../00000002/gzip_base.x86_linux.bc > > ----------------------------------------------------------------------- > > > > Has anyone tried doing this ?Could you please tell me the changes required to compile it with llvm. > > > > Thanks >...

...e-cbe or -Wl,- > native flags > to llvm-gcc. > > -Chris > > > > -------------------------------------------------------------------- > > > > Error loading program '../00000002/gzip_base.x86_linux.bc': > Can't open file: ../00000002/gzip_base.x86_linux.bc > > > > > ----------------------------------------------------------------------- > > > > > > > > Has anyone tried doing this...

...un is : There are two ways to do this: 1. Use the llvm-test harness 2. Use the official spec harness with -Wl,-native-cbe or -Wl,-native flags to llvm-gcc. -Chris > -------------------------------------------------------------------- > > Error loading program '../00000002/gzip_base.x86_linux.bc': Can't open file: ../00000002/gzip_base.x86_linux.bc > > ----------------------------------------------------------------------- > > > > Has anyone tried doing this ?Could you please tell me the changes required to compile it with llvm. > > > > Thanks >...

...to do this: 1. Use the llvm-test harness 2. Use the official spec harness with -Wl,-native-cbe or -Wl,-native flags to llvm-gcc. -Chris > -------------------------------------------------------------------- > > Error loading program '../00000002/gzip_base.x86_linux.bc': Can't open file: ../00000002/gzip_base.x86_linux.bc > > ----------------------------------------------------------------------- > > > > Has anyone tried doing this ?Could you please tell me the changes required to compile it with llvm. >...

...llvm-test harness > 2. Use the official spec harness with -Wl,-native-cbe or -Wl,- > native flags > to llvm-gcc. > > -Chris > > > > -------------------------------------------------------------------- > > > > Error loading program '../00000002/gzip_base.x86_linux.bc': > Can't open file: ../00000002/gzip_base.x86_linux.bc > > > > > ----------------------------------------------------------------------- > > > > > > > > Has anyone tried doing this ?Could you please tell me the > changes required to compile i...

We have a bitwidth analysis that can be downloaded. It is not in LLVM. There should be a link in the paper: http://www.cs.utah.edu/~regehr/papers/pldi075-cooprider.pdf John Regehr

...! -f Makefile.cil ;then echo Run configure first ;fi make -f Makefile.cil check make[1]: Entering directory `/misc/project/fernando/cil-cXprop' bin/cilly -c test/small1/func.c -otest/small1/func.o gcc -D_GNUCC -E -DCIL=1 test/small1/func.c -o /tmp/cil-UGzNLDHj.i /project/fernando/cil-cXprop/obj/x86_LINUX/cilly.asm.exe --out /tmp/cil-WsGP4BtF.cil.c /tmp/cil-UGzNLDHj.i test/small1/func.c:17: Bug: unrollType failed in castTo Context : 2cil: foo error in doExp (Errormsg.Error) Error: Cabs2cil had some errors Fatal error: exception Errormsg.Error make[1]: *** [test/func] Error 2 make[1]: Leaving d...

Hi, LLVMers, has someone implemented bitwidth analysis for LLVM? I was looking for something similar to the bitwise compiler described in "Bidwidth analysis with application to silicon compilation, by Mark Stephenson, Jonathan Babb and Saman Amarasinghe" e.g.: http://portal.acm.org/citation.cfm?id=349299.349317 all the best, Fernando