Groups | Search | Server Info | Login | Register

Groups > comp.compilers > #183

Re: Implementation of range analyses

Show all headers | View raw

Hi Douglas

bitwidth analysis (BA) is a related problem. It has been treated e.g.
in Stephenson's contemporary classic: "Bitwidth Analysis with
Application to Silicon Compilation"
http://groups.csail.mit.edu/cag/bitwise/bitwise-pldi2k.pdf

This is a highly-referenced, yet accessible work. The "bitwise"
implementation (the name of the project), however was never open-
sourced.

The FLEX/Harpoon compiler infrastructure (by C. Scott Ananian, written
in Java) provides an implementation of BA.
The code is out there, available both at http://cscott.net and
somewhere at github.

Interval arithmetic (IA) and affine arithmetic (AA) provide
mathematical foundations for propagating ranges (and handling
precision in the latter case) of values. There exist open-source
implementations of libraries for both.

I have seen your work on Google Code. Looks like a nice addition to
LLVM (if i recall correctly).

Best regards
Nikolaos Kavvadias

Back to comp.compilers | Previous | Next — Previous in thread | Find similar

Thread

Implementation of range analyses Douglas do Couto Teixeira <douglasdocouto@gmail.com> - 2011-06-27 14:20 -0300
  Re: Implementation of range analyses Diego Novillo <dnovillo@acm.org> - 2011-06-29 14:58 -0400
  Re: Implementation of range analyses Nikolaos Kavvadias <nikolaos.kavvadias@gmail.com> - 2011-07-01 15:11 -0700

csiph-web