Re: Interprocedural SSA form?

Jeremy Singer <jsinger@cs.man.ac.uk>
2 Jun 2005 14:58:36 -0400

          From comp.compilers
Related articles
Interprocedural SSA form? devriese@cs.tcd.ie (Edsko de Vries) (2005-06-02)
Re: Interprocedural SSA form? jsinger@cs.man.ac.uk (Jeremy Singer) (2005-06-02)
Re: Interprocedural SSA form? liekweg@ipd.info.uni-karlsruhe.de (Florian Liekweg) (2005-06-02)
Re: Interprocedural SSA form? find@my.address.elsewhere (Matthias Blume) (2005-06-04)
Re: Interprocedural SSA form? jsinger@cs.man.ac.uk (Jeremy Singer) (2005-06-04)
| List of all articles for this month |
From: Jeremy Singer <jsinger@cs.man.ac.uk>
Newsgroups: comp.compilers
Date: 2 Jun 2005 14:58:36 -0400
Organization: Compilers Central
References: 05-06-011
Keywords: analysis
Posted-Date: 02 Jun 2005 14:58:36 EDT

  > When writing a compiler based around SSA, is every procedure converted
  > to SSA form individually, or is it possible to create some sort of
  > "super control flow graph" that incorporates procedures, and convert
  > the entire thing to SSA form?


There is an existing SSA extension known as "interprocedural SSA" - see
Liao et al, "SUIF Explorer: an interactive and interprocedural
parallelizer" in ACM Principles and Practice of Parallel Programming,
1999. This is basically a Myers-style supergraph with phi nodes at
appropriate program points (inter- and intra-procedural control flow
merges).


Cheers,
Jeremy
---
http://www.cs.man.ac.uk/~jsinger

Post a followup to this message

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