test code motion

Author: TiarkRompf

test-out/epfl/test7-codemotion5.check

@@ -1,19 +1,22 @@
 /*****************************************
   Emitting Generated Code                  
 *******************************************/
-class Test extends ((Unit)=>(Any)) {
-def apply(x0:Unit): Any = {
-val x6 = if (true) {
+class Test extends ((Unit)=>(scala.Function1[Double, Unit])) {
+def apply(x0:Unit): scala.Function1[Double, Unit] = {
+val x8 = if (true) {
 val x2 = 7.0 + 9.0
 val x5 = {x1: (Double) => 
 val x3 = println(x2)
 x3: Unit
 }
 x5
 } else {
-()
+val x7 = {x6: (Double) => 
+(): Unit
 }
-x6
+x7
+}
+x8
 }
 }
 /*****************************************

test-out/epfl/test7-codemotion7.check

@@ -1,23 +1,26 @@
 /*****************************************
   Emitting Generated Code                  
 *******************************************/
-class Test extends ((Unit)=>(scala.Function1[Double, Any])) {
-def apply(x0:Unit): scala.Function1[Double, Any] = {
-val x8 = {x1: (Double) => 
+class Test extends ((Unit)=>(scala.Function1[Double, scala.Function1[Double, Double]])) {
+def apply(x0:Unit): scala.Function1[Double, scala.Function1[Double, Double]] = {
+val x8 = {x7: (Double) => 
+x7: Double
+}
+val x10 = {x1: (Double) => 
 val x2 = x1 < 100.0
-val x7 = if (x2) {
+val x9 = if (x2) {
 val x3 = x1 + 9.0
 val x6 = {x4: (Double) => 
 val x5 = x3 + x4
 x5: Double
 }
 x6
 } else {
-()
+x8
 }
-x7: Any
+x9: scala.Function1[Double, Double]
 }
-x8
+x10
 }
 }
 /*****************************************

test-src/epfl/test7-analysis/TestCodeMotion.scala

@@ -100,7 +100,7 @@ trait NestCondProg5 extends BooleanOps with PrimitiveOps with Functions with IfT
         print(unit(7.0) + unit(9.0))
       }
     } else {
-      ???
+      doLambda { u: Rep[Double] => } // dummy
     }
   }
 
@@ -136,7 +136,7 @@ trait NestCondProg7 extends LiftAll with BooleanOps with PrimitiveOps with Order
           z + u
         }
       } else {
-        ???
+        doLambda { u: Rep[Double] => u} // dummy
       }
     }
   }