From: fw@deneb.enyo.de   
      
   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.   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)