This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
analysis of RTL
- From: Werner Backes <backes at mpi-sb dot mpg dot de>
- To: gcc at gcc dot gnu dot org
- Date: Wed, 7 Jul 2004 18:03:41 +0200 (CEST)
- Subject: analysis of RTL
Hi,
My name is Werner Backes, and I'm doing my PhD at the MPI for
computer science in Saarbruecken, Germany. I'm working on
an analysis tool for RTL. I'm actually using the debugging
output .00.rtl generated by the flag -dr. I modified the
output and added a few information. I'm working with two files
.32.xrtl.rtl and .33.xrtl.stack which are generated by the new
flag -dZ. The patches for gcc 3.1.1 are available from my homepage
http://www.mpi-sb.mpg.de/~backes/xGCC/
I do not ask you to integrate this patches, but I would like
to know if you are interested in the analysis part. I'm doing
abstract interpretation (incl. fixpoint computation with
widening/narrowing) with a modified interval analysis.
I'm using lists of intervals with parameterized list length.
This allows us to increase the precision of the approximation.
The interval arithmetic I implemented should support every RTL
operation, including access to the byte representation
(even for floating point) and bit operations (some of them are
not very precise). I even support pointer arithmetic.
My code is written in C++ and I'm interested in a cooperation.
If you are interested or having questions please email since
I don't read the mailing lists.
Best regards,
Werner Backes, Max-Planck-Institut fuer Informatik
http://www.mpi-sb.mpg.de/~backes