[asm] Fix lots of invalid asm.js tests

test/mjsunit/asm/if-reduction.js

 // Copyright 2014 the V8 project authors. All rights reserved.
 // Use of this source code is governed by a BSD-style license that can be
 // found in the LICENSE file.
 
 function Module() {
   "use asm";
 
   function if0() {
-    var x = 0 ? 11 : 12;
-    return (x == 11) | 0;
+    var x = 0;
+    x = 0 ? 11 : 12;
+    return ((x | 0) == 11) | 0;
   }
 
   function if1() {
-    var x = 1 ? 13 : 14;
-    return (x == 13) | 0;
+    var x = 0;
+    x = 1 ? 13 : 14;
+    return ((x | 0) == 13) | 0;
   }
 
   function if2() {
-    var x = 0 ? 15 : 16;
-    return (x != 15) | 0;
+    var x = 0;
+    x = 0 ? 15 : 16;
+    return ((x | 0) != 15) | 0;
   }
 
   function if3() {
-    var x = 1 ? 17 : 18;
-    return (x != 17) | 0;
+    var x = 0;
+    x = 1 ? 17 : 18;
+    return ((x | 0) != 17) | 0;
   }
 
   function if4() {
-    var x = 0 ? 19 : 20;
-    var y = (x == 19) ? 21 : 22;
-    return y;
+    var x = 0;
+    var y = 0;
+    x = 0 ? 19 : 20;
+    y = ((x | 0) == 19) ? 21 : 22;
+    return y | 0;
   }
 
   function if5() {
-    var x = 1 ? 23 : 24;
-    var y = (x == 23) ? 25 : 26;
-    return y;
+    var x = 0;
+    var y = 0;
+    x = 1 ? 23 : 24;
+    y = ((x | 0) == 23) ? 25 : 26;
+    return y | 0;
   }
 
   function if6() {
-    var x = 0 ? 27 : 28;
-    var y = (x == 27) ? 29 : 30;
-    var z = (y == 29) ? 31 : 32;
-    return z;
+    var x = 0;
+    var y = 0;
+    var z = 0;
+    x = 0 ? 27 : 28;
+    y = ((x | 0) == 27) ? 29 : 30;
+    z = ((y | 0) == 29) ? 31 : 32;
+    return z | 0;
   }
 
   function if7() {
-    var x = 1 ? 33 : 34;
-    var y = (x == 33) ? 35 : 36;
-    var z = (y == 35) ? 37 : 38;
-    var w = (z == 37) ? 39 : 40;
-    return w;
+    var x = 0;
+    var y = 0;
+    var z = 0;
+    var w = 0;
+    x = 1 ? 33 : 34;
+    y = ((x | 0) == 33) ? 35 : 36;
+    z = ((y | 0) == 35) ? 37 : 38;
+    w = ((z | 0) == 37) ? 39 : 40;
+    return w | 0;
   }
 
   function if8() {
+    var w = 0;
+    var x = 0;
+    var y = 0;
+    var z = 0;
     if (0) {
-      var x = 0 ? 43 : 44;
-      var y = (x == 43) ? 45 : 46;
-      var z = (y == 45) ? 47 : 48;
-      var w = (z == 47) ? 49 : 50;
+      x = 0 ? 43 : 44;
+      y = ((x | 0) == 43) ? 45 : 46;
+      z = ((y | 0) == 45) ? 47 : 48;
+      w = ((z | 0) == 47) ? 49 : 50;
     } else {
-      var x = 1 ? 53 : 54;
-      var y = (x == 53) ? 55 : 56;
-      var z = (y == 55) ? 57 : 58;
-      var w = (z == 57) ? 59 : 60;
+      x = 1 ? 53 : 54;
+      y = ((x | 0) == 53) ? 55 : 56;
+      z = ((y | 0) == 55) ? 57 : 58;
+      w = ((z | 0) == 57) ? 59 : 60;
     }
-    return w;
+    return w | 0;
   }
 
   return {if0: if0, if1: if1, if2: if2, if3: if3, if4: if4, if5: if5, if6: if6, if7: if7, if8: if8 };
 }
 
 var m = Module();
 assertEquals(0, m.if0());
 assertEquals(1, m.if1());
 assertEquals(1, m.if2());
 assertEquals(0, m.if3());
 assertEquals(22, m.if4());
 assertEquals(25, m.if5());
 assertEquals(32, m.if6());
 assertEquals(39, m.if7());
 assertEquals(59, m.if8());
 
 
-function Spec(a,b) {
+function Spec0(stdlib, foreign, heap) {
   "use asm";
 
-  var xx = a | 0;
-  var yy = b | 0;
+  var xx = foreign.a | 0;
+  var yy = foreign.b | 0;
 
   function f() {
+    var x = 0;
+    var y = 0;
+    var z = 0;
+    var w = 0;
     if (xx) {
-      var x = yy ? 43 : 44;
-      var y = (x == 43) ? 45 : 46;
-      var z = (y == 45) ? 47 : 48;
-      var w = (z == 47) ? 49 : 50;
+      x = yy ? 43 : 44;
+      y = ((x | 0) == 43) ? 45 : 46;
+      z = ((y | 0) == 45) ? 47 : 48;
+      w = ((z | 0) == 47) ? 49 : 50;
     } else {
-      var x = yy ? 53 : 54;
-      var y = (x == 53) ? 55 : 56;
-      var z = (y == 55) ? 57 : 58;
-      var w = (z == 57) ? 59 : 60;
+      x = yy ? 53 : 54;
+      y = ((x | 0) == 53) ? 55 : 56;
+      z = ((y | 0) == 55) ? 57 : 58;
+      w = ((z | 0) == 57) ? 59 : 60;
     }
-    return w;
+    return w | 0;
   }
   return {f: f};
 }
+var Spec = (a, b, c) => Spec0(this, {a: a, b: b, c: c});
 
 assertEquals(60, Spec(0,0).f());
 assertEquals(59, Spec(0,1).f());
 assertEquals(50, Spec(1,0).f());
 assertEquals(49, Spec(1,1).f());