Bitwidth analysis?

Project Infrastructure LLVM Dev List Archives
1

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

2

Quoting Fernando Magno Quintao Pereira <fernando@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

3

We have a bitwidth analysis that can be downloaded. It is not in LLVM.

There should be a link in the paper:

John Regehr

4

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

John

5

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

6

Guys, I am sorry for the spam. The message should be for John only.

Fernando