[wasm] fix loops and if-else to take int type instead of signed

src/typing-asm.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/typing-asm.h"
 
 #include <limits>
 
 #include "src/v8.h"
 
@@ skipping 322 matching lines @@
 }
 
 
 void AsmTyper::VisitEmptyParentheses(EmptyParentheses* expr) { UNREACHABLE(); }
 
 
 void AsmTyper::VisitIfStatement(IfStatement* stmt) {
   if (!in_function_) {
     FAIL(stmt, "if statement inside module body");
   }
-  RECURSE(VisitWithExpectation(stmt->condition(), cache_.kAsmSigned,
+  RECURSE(VisitWithExpectation(stmt->condition(), cache_.kAsmInt,
                                "if condition expected to be integer"));
+  if (intish_ != 0) {
+    FAIL(stmt, "if condition expected to be signed or unsigned");
+  }
   RECURSE(Visit(stmt->then_statement()));
   RECURSE(Visit(stmt->else_statement()));
 }
 
 
 void AsmTyper::VisitContinueStatement(ContinueStatement* stmt) {
   if (!in_function_) {
     FAIL(stmt, "continue statement inside module body");
   }
 }
@@ skipping 72 matching lines @@
 
 
 void AsmTyper::VisitCaseClause(CaseClause* clause) { UNREACHABLE(); }
 
 
 void AsmTyper::VisitDoWhileStatement(DoWhileStatement* stmt) {
   if (!in_function_) {
     FAIL(stmt, "do statement inside module body");
   }
   RECURSE(Visit(stmt->body()));
-  RECURSE(VisitWithExpectation(stmt->cond(), cache_.kAsmSigned,
+  RECURSE(VisitWithExpectation(stmt->cond(), cache_.kAsmInt,
                                "do condition expected to be integer"));
+  if (intish_ != 0) {
+    FAIL(stmt, "do condition expected to be signed or unsigned");
+  }
 }
 
 
 void AsmTyper::VisitWhileStatement(WhileStatement* stmt) {
   if (!in_function_) {
     FAIL(stmt, "while statement inside module body");
   }
-  RECURSE(VisitWithExpectation(stmt->cond(), cache_.kAsmSigned,
+  RECURSE(VisitWithExpectation(stmt->cond(), cache_.kAsmInt,
                                "while condition expected to be integer"));
+  if (intish_ != 0) {
+    FAIL(stmt, "while condition expected to be signed or unsigned");
+  }
   RECURSE(Visit(stmt->body()));
 }
 
 
 void AsmTyper::VisitForStatement(ForStatement* stmt) {
   if (!in_function_) {
     FAIL(stmt, "for statement inside module body");
   }
   if (stmt->init() != nullptr) {
     RECURSE(Visit(stmt->init()));
   }
   if (stmt->cond() != nullptr) {
-    RECURSE(VisitWithExpectation(stmt->cond(), cache_.kAsmSigned,
+    RECURSE(VisitWithExpectation(stmt->cond(), cache_.kAsmInt,
                                  "for condition expected to be integer"));
   }
+  if (intish_ != 0) {
+    FAIL(stmt, "for condition expected to be signed or unsigned");
+  }
   if (stmt->next() != nullptr) {
     RECURSE(Visit(stmt->next()));
   }
   RECURSE(Visit(stmt->body()));
 }
 
 
 void AsmTyper::VisitForInStatement(ForInStatement* stmt) {
   FAIL(stmt, "for-in statement encountered");
 }
@@ skipping 1169 matching lines @@
 }
 
 
 void AsmTyper::VisitRewritableExpression(RewritableExpression* expr) {
   RECURSE(Visit(expr->expression()));
 }
 
 
 }  // namespace internal
 }  // namespace v8