Groups | Search | Server Info | Login | Register


Groups > comp.compilers > #179

Re: Implementation of range analyses

From Diego Novillo <dnovillo@acm.org>
Newsgroups comp.compilers
Subject Re: Implementation of range analyses
Date 2011-06-29 14:58 -0400
Organization Compilers Central
Message-ID <11-07-003@comp.compilers> (permalink)
References <11-06-049@comp.compilers>

Show all headers | View raw


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.

Back to comp.compilers | Previous | NextPrevious in thread | Next 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