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.

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