V8. ASM-2-WASM. Migrates asm-wasm-builder to the new asm-typer.

test/mjsunit/wasm/asm-wasm.js

 // Copyright 2015 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.
 
 // Flags: --expose-wasm
 
 function assertWasm(expected, func, ffi) {
   print("Testing " + func.name + "...");
   assertEquals(expected, Wasm.instantiateModuleFromAsm(
       func.toString(), ffi).caller());
@@ skipping 25 matching lines @@
   return {caller: caller};
 }
 
 assertWasm(19, VoidReturnTest);
 
 function IntTest() {
   "use asm";
   function sum(a, b) {
     a = a|0;
     b = b|0;
-    var c = (b + 1)|0
+    var c = 0;
     var d = 3.0;
-    var e = ~~d;  // double conversion
+    var e = 0;
+    e = ~~d;  // double conversion
+    c = (b + 1)|0
     return (a + c + 1)|0;
   }
 
   function caller() {
     return sum(77,22) | 0;
   }
 
   return {caller: caller};
 }
 
 assertWasm(101,IntTest);
 
 
 function Float64Test() {
   "use asm";
   function sum(a, b) {
     a = +a;
     b = +b;
     return +(a + b);
   }
 
   function caller() {
-    var a = +sum(70.1,10.2);
+    var a = 0.0;
     var ret = 0|0;
+    a = +sum(70.1,10.2);
     if (a == 80.3) {
       ret = 1|0;
     } else {
       ret = 0|0;
     }
     return ret|0;
   }
 
   return {caller: caller};
 }
 
 assertWasm(1, Float64Test);
 
 
 function BadModule() {
   "use asm";
   function caller(a, b) {
     a = a|0;
     b = b+0;
-    var c = (b + 1)|0
+    var c = 0;
+    c = (b + 1)|0
     return (a + c + 1)|0;
   }
 
   function caller() {
     return call(1, 2)|0;
   }
 
   return {caller: caller};
 }
 
@@ skipping 183 matching lines @@
   return {caller: caller};
 }
 
 assertWasm(8, TestBreakInIfInWhile);
 
 function TestBreakInNestedWhile() {
   "use asm";
 
   function caller() {
     var x = 1.0;
+    var ret = 0;
     while(x < 1.5) {
       while(1)
         break;
       x = +(x + 0.25);
     }
-    var ret = 0;
     if (x == 1.5) {
       ret = 9;
     }
     return ret|0;
   }
 
   return {caller: caller};
 }
 
 assertWasm(9, TestBreakInNestedWhile);
@@ skipping 86 matching lines @@
   return {caller: caller};
 }
 
 assertWasm(20, TestContinueInNamedWhile);
 
 
 function TestNot() {
   "use asm";
 
   function caller() {
-    var a = !(2 > 3);
+    var a = 0;
+    a = !(2 > 3);
     return a | 0;
   }
 
   return {caller:caller};
 }
 
 assertWasm(1, TestNot);
 
 
 function TestNotEquals() {
@@ skipping 460 matching lines @@
 })();
 
 function TestFunctionTableSingleFunction() {
   "use asm";
 
   function dummy() {
     return 71;
   }
 
   function caller() {
-    return function_table[0&0]() | 0;
+    // TODO(jpp): the parser optimizes function_table[0&0] to function table[0].
+    var v = 0;
+    return function_table[v&0]() | 0;
   }
 
   var function_table = [dummy]
 
   return {caller:caller};
 }
 
 assertWasm(71, TestFunctionTableSingleFunction);
 
 
 function TestFunctionTableMultipleFunctions() {
   "use asm";
 
   function inc1(x) {
     x = x|0;
     return (x+1)|0;
   }
 
   function inc2(x) {
     x = x|0;
     return (x+2)|0;
   }
 
   function caller() {
-    if ((function_table[0&1](50)|0) == 51) {
-      if ((function_table[1&1](60)|0) == 62) {
+    var i = 0, j = 1;
+    if ((function_table[i&1](50)|0) == 51) {
+      if ((function_table[j&1](60)|0) == 62) {
         return 73;
       }
     }
     return 0;
   }
 
   var function_table = [inc1, inc2]
 
   return {caller:caller};
 }
@@ skipping 417 matching lines @@
   var m = Wasm.instantiateModuleFromAsm(Module.toString());
   assertEquals(1.23, m.func());
 });
 
 
 (function TestIntegerMultiplyBothWays() {
   function Module(stdlib, foreign, heap) {
     "use asm";
     function func() {
       var a = 1;
-      return ((a * 3) + (4 * a)) | 0;
+      return (((a * 3)|0) + ((4 * a)|0)) | 0;
     }
     return {func: func};
   }
 
   var m = Wasm.instantiateModuleFromAsm(Module.toString());
   assertEquals(7, m.func());
 })();
 
 
 (function TestBadAssignDoubleFromIntish() {
@@ skipping 222 matching lines @@
       if ((val>>>0) == 2147483668) {
         return 323;
       }
       return 0;
     }
     return {main:main};
   }
   var wasm = Wasm.instantiateModuleFromAsm(asmModule.toString());
   assertEquals(323, wasm.main());
 })();