Re: Implementation of range analyses

Diego Novillo <dnovillo@acm.org>
Wed, 29 Jun 2011 14:58:08 -0400

          From comp.compilers
Related articles
Implementation of range analyses douglasdocouto@gmail.com (Douglas do Couto Teixeira) (2011-06-27)
Re: Implementation of range analyses dnovillo@acm.org (Diego Novillo) (2011-06-29)
Re: Implementation of range analyses nikolaos.kavvadias@gmail.com (Nikolaos Kavvadias) (2011-07-01)
| List of all articles for this month |
From: Diego Novillo <dnovillo@acm.org>
Newsgroups: comp.compilers
Date: Wed, 29 Jun 2011 14:58:08 -0400
Organization: Compilers Central
References: 11-06-049
Keywords: analysis, GCC
Posted-Date: 01 Jul 2011 09:44:22 EDT

On Mon, Jun 27, 2011 at 13:20, Douglas do Couto Teixeira
<douglasdocouto@gmail.com> wrote:


> could anyone point me to an implementation of range analysis?


You can try GCC's VRP pass:
http://gcc.gnu.org/viewcvs/trunk/gcc/tree-vrp.c?content-type=text%2Fplain&vie
w=co
Part of VRP is finding out range of values taken by scalars in the
program.


GCC implements a variant of J. R. C. Patterson's "Accurate Static
Branch Prediction by Value Range Propagation".




Diego.


Post a followup to this message

Return to the comp.compilers page.
Search the comp.compilers archives again.