Re: Interprocedural SSA form?

Jeremy Singer <>
2 Jun 2005 14:58:36 -0400

          From comp.compilers

Related articles
Interprocedural SSA form? (Edsko de Vries) (2005-06-02)
Re: Interprocedural SSA form? (Jeremy Singer) (2005-06-02)
Re: Interprocedural SSA form? (Florian Liekweg) (2005-06-02)
Re: Interprocedural SSA form? find@my.address.elsewhere (Matthias Blume) (2005-06-04)
Re: Interprocedural SSA form? (Jeremy Singer) (2005-06-04)
| List of all articles for this month |

From: Jeremy Singer <>
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


Post a followup to this message

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