moving Scala ASTs one step closer to C

Hi, 
I've developed a compiler plugin that reduces post-CleanUp Scala ASTs from an expression-language into a statement-language, breaking up sub-expression evaluation into non-reducible expressions (informally, "Three-Address-Code"). The component in question can be used *as building block* for a variety of purposes (eg, translation into CUDA, OpenCL, LLVM, Objective-C, C#, etc.). The output ASTs are valid Scala, in fact GenICode and GenJVM and GenMSIL can deal with them. 

Sample input: 
    object Test {      def main(args: Array[String]) {         val res =           if(b(1) + b(2) * b(3) > 0) { throw new Exception; "thenBranch" }           else { "elseBranch" }        }      def b(n: Int) = { scala.Console.println(n); n }    }


Sample output (excerpt): 
    def main(args: Array[java.lang.String]): Unit = {
      var tmp10: java.lang.String = _;       val tmp1: Int = Test.this.b(1);      val tmp2: Int = tmp1;      val tmp3: Int = Test.this.b(2);       val tmp4: Int = tmp3;      val tmp5: Int = Test.this.b(3);      val tmp6: Int = tmp4.*(tmp5);       val tmp7: Int = tmp2.+(tmp6);      val tmp8: Int = tmp7;      val tmp9: Boolean = tmp8.>(0);       if (tmp9)        {          val tmp11: java.lang.Exception = new java.lang.Exception();           throw tmp11;          tmp10 = "thenBranch"        }       else        tmp10 = "elseBranch";      val res: java.lang.String = tmp10;       ()    }

The PDF at  http://lamp.epfl.ch/~magarcia/ScalaCompilerCornerReloaded/2011Q2/Moving3A.pdf  is the technical documentation for the sources at   http://lampsvn.epfl.ch/trac/scala/browser/scala-experimental/trunk/imp/src 


If you want to use this plugin *today*, please notice [1] (that came to light during the development of this plugin). Alternatively, the plugin sources show how to workaround that. 

Comments and suggestions are welcome.