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>
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

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.