test struct

Author: TiarkRompf

test-out/epfl/test9-struct1.check

@@ -7,9 +7,9 @@ var x2: Int = x0
 var x3: Double = 0.0
 val x5 = x2
 val x6 = x3
-val x9 = x5+0.0
+val x9 = x5 + 0.0
 x2 = x9
-val x10 = x6+x0
+val x10 = x6 + x0
 x3 = x10
 val x14 = x2
 val x15 = x3

test-out/epfl/test9-struct2.check

@@ -8,7 +8,7 @@ depends on  Sym(14)
 class Test extends ((Int)=>(Unit)) {
 def apply(x0:Int): Unit = {
 val x10 = LoopArray(100) { x7 => 
-val x8 = 0.0-x7
+val x8 = 0.0 - x7
 x8
 }
 var x13: Array[Double] = x10
@@ -20,7 +20,7 @@ val x4 = LoopArray(100) { x1 =>
 x1
 }
 val x5 = LoopArray(100) { x1 => 
-val x2 = 0.0-x1
+val x2 = 0.0 - x1
 x2
 }
 val x16 = x0 > 7

test-out/epfl/test9-struct2b.check

@@ -13,7 +13,7 @@ def apply(x0:Int): Unit = {
 var x10 = new Array[Double](100)
 var x11 = new Array[Int](100)
 for (x7 <- 0 until 100) {
-val x8 = 0.0-x7
+val x8 = 0.0 - x7
 x10(x7) = x8
 x11(x7) = x7
 }

test-out/epfl/test9-struct3.check

@@ -2,7 +2,7 @@ wtableneg: List()
 partitions: List(TTP(List(Sym(4), Sym(5), Sym(13)),List(SimpleLoop(Const(100),Sym(1),ArrayElem(Block(Sym(1)))), SimpleLoop(Const(100),Sym(1),ArrayElem(Block(Sym(2)))), SimpleLoop(Const(100),Sym(7),ArrayElem(Block(Sym(11))))),SimpleFatLoop(Const(100),Sym(1),List(ArrayElem(Block(Sym(1))), ArrayElem(Block(Sym(2))), ArrayElem(Block(Sym(11)))))))
 considering TP(Sym(9),ArrayIndex(Sym(5),Sym(7)))
 replace TP(Sym(9),ArrayIndex(Sym(5),Sym(7))) at 1 within TTP(List(Sym(4), Sym(5), Sym(13)),List(SimpleLoop(Const(100),Sym(1),ArrayElem(Block(Sym(1)))), SimpleLoop(Const(100),Sym(1),ArrayElem(Block(Sym(2)))), SimpleLoop(Const(100),Sym(7),ArrayElem(Block(Sym(11))))),SimpleFatLoop(Const(100),Sym(1),List(ArrayElem(Block(Sym(1))), ArrayElem(Block(Sym(2))), ArrayElem(Block(Sym(11))))))
-warning: mirroring of Sym(11)=Minus(Const(0.0),Sym(9)) type Double returned Sym(1) type Int (not a subtype)
+warning: mirroring of Sym(11)=DoubleMinus(Const(0.0),Sym(9)) type Double returned Sym(1) type Int (not a subtype)
 warning: mirroring of Sym(13)=SimpleLoop(Const(100),Sym(7),ArrayElem(Block(Sym(11)))) type Array[Double] returned Sym(4)=SimpleLoop(Const(100),Sym(1),ArrayElem(Block(Sym(1)))) type Array[Int] (not a subtype)
 try once more ...
 wtableneg: List()

test-out/epfl/test9-struct4.check

@@ -16,7 +16,7 @@ def apply(x0:Int): Unit = {
 var x4 = new Array[Int](100)
 var x5 = new Array[Double](100)
 for (x1 <- 0 until 100) {
-val x2 = 0.0-x1
+val x2 = 0.0 - x1
 x4(x1) = x1
 x5(x1) = x2
 }
@@ -27,7 +27,7 @@ val x26 = if (x16) {
 var x23 = new Array[Double](100)
 for (x17 <- 0 until 100) {
 val x19 = x5.apply(x17)
-val x21 = 0.0-x19
+val x21 = 0.0 - x19
 x23(x17) = x21
 }
 x23