Groups | Search | Server Info | Login | Register

Groups > comp.compilers > #179

Re: Implementation of range analyses

Path csiph.com!x330-a1.tempe.blueboxinc.net!newsfeed.hal-mli.net!feeder1.hal-mli.net!news.linkpendium.com!news.linkpendium.com!news.iecc.com!nerds-end
From Diego Novillo <dnovillo@acm.org>
Newsgroups comp.compilers
Subject Re: Implementation of range analyses
Date Wed, 29 Jun 2011 14:58:08 -0400
Organization Compilers Central
Lines 17
Sender news@iecc.com
Approved comp.compilers@iecc.com
Message-ID <11-07-003@comp.compilers> (permalink)
References <11-06-049@comp.compilers>
NNTP-Posting-Host news.iecc.com
X-Trace gal.iecc.com 1309527862 51834 64.57.183.58 (1 Jul 2011 13:44:22 GMT)
X-Complaints-To abuse@iecc.com
NNTP-Posting-Date Fri, 1 Jul 2011 13:44:22 +0000 (UTC)
Keywords analysis, GCC
Posted-Date 01 Jul 2011 09:44:22 EDT
X-submission-address compilers@iecc.com
X-moderator-address compilers-request@iecc.com
X-FAQ-and-archives http://compilers.iecc.com
Xref x330-a1.tempe.blueboxinc.net comp.compilers:179

Show key headers only | 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 | Next — Previous 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