search for: 2cil

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

...9; 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 directory `/misc/project/fernando/cil-cXprop' make: *** [check] Error 2 bash-3.1$ exit exit ---------------------------------------------...

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