Displaying 3 results from an estimated 3 matches for "cxprop".
Did you mean:
xprop
2008 Apr 12
0
[LLVMdev] Bitwidth analysis?
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
2008 Apr 12
1
[LLVMdev] Bitwidth analysis?
...e bitwidth information, once I get your
compiler running?
best,
Fernando
------------------------------------------------------------------------------
if test ! -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...
2008 Apr 09
4
[LLVMdev] Bitwidth analysis?
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