Displaying 3 results from an estimated 3 matches for "pldi075".
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 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
2008 Apr 12
1
[LLVMdev] Bitwidth analysis?
...;
make: *** [check] Error 2
bash-3.1$ exit
exit
------------------------------------------------------------------------------
> 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
> _______________________________________________
> LLVM Developers mailing list
> LLVMdev at cs.uiuc.edu http://llvm.cs.uiuc.edu
> http://lists.cs.uiuc.edu/mailman/listinfo/llvmdev
>