Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]

Groups > comp.compilers > #936 > unrolled thread

SSA conversion and closure conversion

Back to article view | Back to comp.compilers

Contents

  SSA conversion and closure conversion Florian Weimer <fw@deneb.enyo.de> - 2013-07-01 21:36 +0200

#936 — SSA conversion and closure conversion

I'm trying to implement some program analysis (exact goals are still a
bit foggy) for a programming language which has mutable local
variables and closures.  I want to convert things to SSA form because
I'm mostly interested in properties which could be easily extracted in
that representation, I think.  I see three ways to deal with
closed-over variables: perform closure conversion first (and something
like scalar replacement later, to recover information on closed-over
variables), perform SSA conversion and insert phi nodes after
instructions which potentially call a closure, or somehow combine
closure conversion and SSA conversion.

Surely this has come up before, and I'm wondering which option is best
or if I'm missing some approach.

[toc] | [standalone]

Back to top | Article view | comp.compilers

csiph-web