llvm dev - Apr 2008 - [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

Quoting Fernando Magno Quintao Pereira <fernando at CS.UCLA.EDU>:
>
> 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
Hi Fernando

i'm aware of the paper. For some time, i thought that it would make it to
the
Trimaran newer releases (this was around 2002-2003). I don't know if this
approach to bitwidth analysis has made to Trimaran 4.0, but it looks like that
it is the basis of commercial technology (i can name the company that uses it,
if it is necessary).

You can ask Rodric Rabbah from MIT, i'm sure he keeps pace with something
close
to Stephenson's implementation.

Kind regards
Nikolaos Kavvadias

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

Oops sorry to clutter with non-LLVM content, I intended to respond to 
Fernando only.

John


On Sat, 12 Apr 2008, John Regehr wrote:
> 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
>

Dear John,

     thanks for pointing it to me. I just downloaded and installed CIL. 
However, I am getting an error when I run "make check", or when I try
to
compile the blink application, and I am sending you the error notice 
below. In any case, do you think it is possible to get some sort of
'dump'
of the target C program with some 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 : 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
------------------------------------------------------------------------------
> 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
>