[wasm] Forbid sign mismatch in asm typer.

test/cctest/test-asm-validator.cc

 // 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.
 
 #include "src/v8.h"
 
 #include "src/ast/ast.h"
 #include "src/ast/ast-expression-visitor.h"
 #include "src/ast/scopes.h"
 #include "src/parsing/parser.h"
@@ skipping 1300 matching lines @@
       "function bar() { var x = 1; var y = 2; return (x*y)|0; }\n"
       "function foo() { bar(); }",
       "asm: line 1: multiply must be by an integer literal\n");
 }
 
 
 TEST(Division4) {
   CHECK_FUNC_ERROR(
       "function bar() { var x = 1; var y = 2; return (x/y/x/y)|0; }\n"
       "function foo() { bar(); }",
-      "asm: line 1: too many consecutive multiplicative ops\n");
+      "asm: line 1: left and right side of integer / or % "
+      "must match and be signed or unsigned\n");
+}
+
+TEST(ModInt) {
+  CHECK_FUNC_ERROR(
+      "function bar() { var x = 1; var y = 2; return (x%y)|0; }\n"
+      "function foo() { bar(); }",
+      "asm: line 1: left and right side of integer / or % "
+      "must match and be signed or unsigned\n");
+}
+
+TEST(DivInt) {
+  CHECK_FUNC_ERROR(
+      "function bar() { var x = 1; var y = 2; return (x/y)|0; }\n"
+      "function foo() { bar(); }",
+      "asm: line 1: left and right side of integer / or % "
+      "must match and be signed or unsigned\n");
+}
+
+TEST(ModIntMismatch) {
+  CHECK_FUNC_ERROR(
+      "function bar() { var x = 1; var y = 2; return ((x|0)%(y>>>0))|0; }\n"
+      "function foo() { bar(); }",
+      "asm: line 1: left and right side of integer / or % "
+      "must match and be signed or unsigned\n");
+}
+
+TEST(DivIntMismatch) {
+  CHECK_FUNC_ERROR(
+      "function bar() { var x = 1; var y = 2; return ((x|0)/(y>>>0))|0; }\n"
+      "function foo() { bar(); }",
+      "asm: line 1: left and right side of integer / or % "
+      "must match and be signed or unsigned\n");
 }
 
 
 TEST(CompareToStringLeft) {
   CHECK_FUNC_ERROR(
       "function bar() { var x = 1; return ('hi' > x)|0; }\n"
       "function foo() { bar(); }",
       "asm: line 1: bad type on left side of comparison\n");
 }
 
@@ skipping 1174 matching lines @@
         CHECK_EXPR(BinaryOperation, Bounds(cache.kAsmDouble)) {
           CHECK_VAR(x, Bounds(cache.kAsmDouble));
           CHECK_EXPR(Literal, Bounds(cache.kAsmDouble));
         }
       }
     }
     CHECK_SKIP();
   }
   CHECK_FUNC_TYPES_END
 }