Re: def-use and use-def chain...

lins@Apple.COM (Cheryl Lins)
Mon, 13 Jul 1992 16:54:48 GMT

          From comp.compilers

Related articles
def-use and use-def chain... (V.C. Sreedhar) (1992-07-12)
Re: def-use and use-def chain... (1992-07-13)
Re: def-use and use-def chain... lins@Apple.COM (1992-07-13)
| List of all articles for this month |

Newsgroups: comp.compilers
From: lins@Apple.COM (Cheryl Lins)
Organization: Apple Computer Inc., Cupertino, CA
Date: Mon, 13 Jul 1992 16:54:48 GMT
Summary: Use SSA
References: 92-07-025
Keywords: optimize, bibliography

V.C. Sreedhar <> writes:
>I am developing some of the dataflow analysis in our compiler.
>Can anyone point to me an efficient way of representing
>for def-use and use-def chain? I am looking space efficient algorithms
>(bit vectors). I need to represent both du and ud chains.

I my PowerPC Oberon compiler, I use SSA form and sparse data flow
techniques. So far I have been very pleased with the results. The
important papers are (from memory)

The Oct 91, Cytron et al paper on "Efficiently Constructing Static Single
Assignment Form and the Control Dependence Graph".

The Apr 91, Wegman and Zadeck paper on "Constant propagation with
conditional branches". There's a mention os so-called SSA edges which
encapsulate the du chains in SSA form.

The SIGPLAN 91 paper (Cytron, Ferrante, and ?) on Sparse Data Flow graphs.
And The SIGPLAN 92 paper (Dhamdere, Rosen, Zadeck) on slotwise analysis.

The various comp.compilers bibliographies have lots more information as
specific references.

Cheryl Lins, Apple Computer, Inc. Oberon-2 Paladin

Post a followup to this message

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