[wasm] Making compare and conditionals more correct.

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 127 matching lines @@
 }
 
 assertWasm(1, TestAddSimple);
 
 
 function TestWhileSimple() {
   "use asm";
 
   function caller() {
     var x = 0;
-    while(x < 5) {
+    while((x|0) < 5) {
       x = (x + 1)|0;
     }
     return x|0;
   }
 
   return {caller: caller};
 }
 
 assertWasm(5, TestWhileSimple);
 
 
 function TestWhileWithoutBraces() {
   "use asm";
 
   function caller() {
     var x = 0;
-    while(x <= 3)
+    while((x|0) <= 3)
       x = (x + 1)|0;
     return x|0;
   }
 
   return {caller: caller};
 }
 
 assertWasm(4, TestWhileWithoutBraces);
 
 
 function TestReturnInWhile() {
   "use asm";
 
   function caller() {
     var x = 0;
-    while(x < 10) {
+    while((x|0) < 10) {
       x = (x + 6)|0;
       return x|0;
     }
     return x|0;
   }
 
   return {caller: caller};
 }
 
 assertWasm(6, TestReturnInWhile);
 
 
 function TestReturnInWhileWithoutBraces() {
   "use asm";
 
   function caller() {
     var x = 0;
-    while(x < 5)
+    while((x|0) < 5)
       return 7;
     return x|0;
   }
 
   return {caller: caller};
 }
 
 assertWasm(7, TestReturnInWhileWithoutBraces);
 
 
@@ skipping 101 matching lines @@
 assertWasm(9, TestBreakInNestedWhile);
 
 
 function TestBreakInBlock() {
   "use asm";
 
   function caller() {
     var x = 0;
     abc: {
       x = 10;
-      if (x == 10) {
+      if ((x|0) == 10) {
         break abc;
       }
       x = 20;
     }
     return x|0;
   }
 
   return {caller: caller};
 }
 
 assertWasm(10, TestBreakInBlock);
 
 
 function TestBreakInNamedWhile() {
   "use asm";
 
   function caller() {
     var x = 0;
     outer: while (1) {
       x = (x + 1)|0;
-      while (x == 11) {
+      while ((x|0) == 11) {
         break outer;
       }
     }
     return x|0;
   }
 
   return {caller: caller};
 }
 
 assertWasm(11, TestBreakInNamedWhile);
 
 
 function TestContinue() {
   "use asm";
 
   function caller() {
     var x = 5;
     var ret = 0;
-    while (x >= 0) {
+    while ((x|0) >= 0) {
       x = (x - 1)|0;
-      if (x == 2) {
+      if ((x|0) == 2) {
         continue;
       }
       ret = (ret - 1)|0;
     }
     return ret|0;
   }
 
   return {caller: caller};
 }
 
 assertWasm(-5, TestContinue);
 
 
 function TestContinueInNamedWhile() {
   "use asm";
 
   function caller() {
     var x = 5;
     var y = 0;
     var ret = 0;
-    outer: while (x > 0) {
+    outer: while ((x|0) > 0) {
       x = (x - 1)|0;
       y = 0;
-      while (y < 5) {
-        if (x == 3) {
+      while ((y|0) < 5) {
+        if ((x|0) == 3) {
           continue outer;
         }
         ret = (ret + 1)|0;
         y = (y + 1)|0;
       }
     }
     return ret|0;
   }
 
   return {caller: caller};
@@ skipping 14 matching lines @@
 }
 
 assertWasm(1, TestNot);
 
 
 function TestNotEquals() {
   "use asm";
 
   function caller() {
     var a = 3;
-    if (a != 2) {
+    if ((a|0) != 2) {
       return 21;
     }
     return 0;
   }
 
   return {caller:caller};
 }
 
 assertWasm(21, TestNotEquals);
 
@@ skipping 17 matching lines @@
 
 function TestMixedAdd() {
   "use asm";
 
   function caller() {
     var a = 0x80000000;
     var b = 0x7fffffff;
     var c = 0;
     c = ((a>>>0) + b)|0;
     if ((c >>> 0) > (0>>>0)) {
-      if (c < 0) {
+      if ((c|0) < 0) {
         return 23;
       }
     }
     return 0;
   }
 
   return {caller:caller};
 }
 
 assertWasm(23, TestMixedAdd);
@@ skipping 254 matching lines @@
 var module = Wasm.instantiateModuleFromAsm(TestGlobalsWithInit.toString());
 assertEquals(77.5, module.add());
 })();
 
 function TestForLoop() {
   "use asm"
 
   function caller() {
     var ret = 0;
     var i = 0;
-    for (i = 2; i <= 10; i = (i+1)|0) {
+    for (i = 2; (i|0) <= 10; i = (i+1)|0) {
       ret = (ret + i) | 0;
     }
     return ret|0;
   }
 
   return {caller:caller};
 }
 
 assertWasm(54, TestForLoop);
 
 
 function TestForLoopWithoutInit() {
   "use asm"
 
   function caller() {
     var ret = 0;
     var i = 0;
-    for (; i < 10; i = (i+1)|0) {
+    for (; (i|0) < 10; i = (i+1)|0) {
       ret = (ret + 10) | 0;
     }
     return ret|0;
   }
 
   return {caller:caller};
 }
 
 assertWasm(100,TestForLoopWithoutInit);
 
 
 function TestForLoopWithoutCondition() {
   "use asm"
 
   function caller() {
     var ret = 0;
     var i = 0;
     for (i=1;; i = (i+1)|0) {
       ret = (ret + i) | 0;
-      if (i == 11) {
+      if ((i|0) == 11) {
         break;
       }
     }
     return ret|0;
   }
 
   return {caller:caller};
 }
 
 assertWasm(66, TestForLoopWithoutCondition);
 
 
 function TestForLoopWithoutNext() {
   "use asm"
 
   function caller() {
     var i = 0;
-    for (i=1; i < 41;) {
+    for (i=1; (i|0) < 41;) {
       i = (i + 1) | 0;
     }
     return i|0;
   }
 
   return {caller:caller};
 }
 
 assertWasm(41, TestForLoopWithoutNext);
 
 
 function TestForLoopWithoutBody() {
   "use asm"
 
   function caller() {
     var i = 0;
-    for (i=1; i < 45 ; i = (i+1)|0) {
+    for (i=1; (i|0) < 45 ; i = (i+1)|0) {
     }
     return i|0;
   }
 
   return {caller:caller};
 }
 
 assertWasm(45, TestForLoopWithoutBody);
 
 
 function TestDoWhile() {
   "use asm"
 
   function caller() {
     var i = 0;
     var ret = 21;
     do {
       ret = (ret + ret)|0;
       i = (i + 1)|0;
-    } while (i < 2);
+    } while ((i|0) < 2);
     return ret|0;
   }
 
   return {caller:caller};
 }
 
 assertWasm(84, TestDoWhile);
 
 
 function TestConditional() {
   "use asm"
 
   function caller() {
     var x = 1;
-    return ((x > 0) ? 41 : 71)|0;
+    return (((x|0) > 0) ? 41 : 71)|0;
   }
 
   return {caller:caller};
 }
 
 assertWasm(41, TestConditional);
 
 
 (function () {
 function TestInitFunctionWithNoGlobals() {
@@ skipping 49 matching lines @@
     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) == 51) {
-      if (function_table[1&1](60) == 62) {
+    if ((function_table[0&1](50)|0) == 51) {
+      if ((function_table[1&1](60)|0) == 62) {
         return 73;
       }
     }
     return 0;
   }
 
   var function_table = [inc1, inc2]
 
   return {caller:caller};
 }
@@ skipping 20 matching lines @@
   function inc(a) {
     a = a|0;
     return (a+1)|0;
   }
 
   function caller(table_id, fun_id, arg1, arg2) {
     table_id = table_id|0;
     fun_id = fun_id|0;
     arg1 = arg1|0;
     arg2 = arg2|0;
-    if (table_id == 0) {
+    if ((table_id|0) == 0) {
       return funBin[fun_id&3](arg1, arg2)|0;
-    } else if (table_id == 1) {
+    } else if ((table_id|0) == 1) {
       return fun[fun_id&0](arg1)|0;
     }
     return 0;
   }
 
   var funBin = [add, sub, sub, add];
   var fun = [inc];
 
   return {caller:caller};
 }
@@ skipping 566 matching lines @@
   assertThrows(function() {
     Wasm.instantiateModuleFromAsm('33;');
   });
 })();
 
 (function TestBadVarDeclaration() {
   assertThrows(function() {
     Wasm.instantiateModuleFromAsm('var x = 3;');
   });
 })();