Re: Value range tracing

creusil@cri.ensmp.fr (Beatrice CREUSILLET)
9 Dec 1995 19:34:36 -0500

          From comp.compilers

Related articles
Value range tracing jeremy@suede.sw.oz.au (1995-12-01)
Re: value range tracing whalley@sed.cs.fsu.edu (David Whalley) (1995-12-09)
Re: Value range tracing hbaker@netcom.com (1995-12-09)
Re: Value range tracing preston@tera.com (1995-12-09)
Re: Value range tracing schinz@guano.alphanet.ch (1995-12-09)
Value range tracing dave@occl-cam.demon.co.uk (Dave Lloyd) (1995-12-09)
Re: Value range tracing bernecky@eecg.toronto.edu (1995-12-09)
Re: Value range tracing creusil@cri.ensmp.fr (1995-12-09)
Value range tracing deaeni@auto-trol.com (1995-12-09)
Re: Value range tracing gough@dstc.qut.edu.au (John Gough) (1995-12-09)
Re: Value range tracing jason@reflections.com.au (Jason Patterson) (1995-12-09)
Re: Value range tracing bill@amber.ssd.hcsc.com (1995-12-09)
Re: Value range tracing vadik@cs.umd.edu (1995-12-17)
Re: Value range tracing mab@wdl.loral.com (1995-12-17)
| List of all articles for this month |

From: creusil@cri.ensmp.fr (Beatrice CREUSILLET)
Newsgroups: comp.compilers
Date: 9 Dec 1995 19:34:36 -0500
Organization: Ecole Nationale Superieure des Mines de Paris
References: 95-12-014
Keywords: analysis, optimize, Fortran

jeremy@suede.sw.oz.au (Jeremy Fitzhardinge) writes:
|> I'm wondering if people bother with value range tracing. That is,
|> keeping track of the possible range of variables at each point in the
|> program. For example: (some stuff deleted)
|>
|> Is this kind of thing useful? Is it useful enough to implement?
|> This isn't very complex, so I assume people have thought about it,
|> but I've seen very little literature on it.


It is fully implemented in our automatic FORTRAN Parallelizer (PIPS).
See:


@INPROCEEDINGS{Irig:91,
AUTHOR = "Irigoin, Franc,ois
and Jouvelot, Pierre
and Triolet, Re'mi ",
TITLE = {Semantical Interprocedural Parallelization:
                                  An Overview of the {PIPS} project},
BOOKTITLE = International Conference on Supercomputing,
YEAR = 1991,
MONTH = jun,
}
(and our web pages: http://www.cri.ensmp.fr/pips).


It is an interprocedural extension of Cousot's algorithm:


@INPROCEEDINGS{Cous:78,
AUTHOR = {Cousot, Patrick and Halbwachs, Nicholas},
TITLE ={Automatic Discovery of Linear Restraints Among Variables of a Program},
BOOKTITLE = popl,
YEAR = 1978,
PAGES = {84--97}
}


In our parallelizer, it is used to enhance the dependence analysis, to
eliminate dead code, and to do some partial evaluation. But you may
think of many other applications. This type of information is
generally used to help subsequent analyses.


_ Beatrice CREUSILLET ___________ creusillet@cri.enmsp.fr ___


Centre de Recherche en Informatique, Ecole des Mines de Paris
35, rue Saint-Honore, F-77305 FONTAINEBLEAU Cedex FRANCE


Tel : +33 1 64 69 48 38 Fax : +33 1 64 69 47 09
                            http://www.cri.ensmp.fr/~creusil
--


Post a followup to this message

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