[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_.kAsmIntQ,

[bradnelson, 2016/06/28 15:07:57]

These should be AsmInt not AsmInt.
Also maybe add a check that intish_ == 0 ?

[aseemgarg, 2016/06/29 00:05:01]

Done.

                                "if condition expected to be integer"));
   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 73 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_.kAsmIntQ,
                                "do condition expected to be integer"));
 }
 
 
 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_.kAsmIntQ,
                                "while condition expected to be integer"));
   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_.kAsmIntQ,
                                  "for condition expected to be integer"));
   }
   if (stmt->next() != nullptr) {
     RECURSE(Visit(stmt->next()));
   }
   RECURSE(Visit(stmt->body()));
 }
 
 
 void AsmTyper::VisitForInStatement(ForInStatement* stmt) {
@@ skipping 1166 matching lines @@
 }
 
 
 void AsmTyper::VisitRewritableExpression(RewritableExpression* expr) {
   RECURSE(Visit(expr->expression()));
 }
 
 
 }  // namespace internal
 }  // namespace v8