Fix verification of Int64Constant

TBR=jarin@chromium.org
BUG=

Review URL: https://codereview.chromium.org/660533002

git-svn-id: https://v8.googlecode.com/svn/branches/bleeding_edge@24641 ce2b1a6d-e550-0410-aec6-3dcde31c8c00

diff --git a/src/compiler/verifier.cc b/src/compiler/verifier.cc
index 8f0b5a2..0400500 100644 (file)
--- a/src/compiler/verifier.cc
+++ b/src/compiler/verifier.cc
@@ -224,7 +224,13 @@ GenericGraphVisit::Control Verifier::Visitor::Pre(Node* node) {
         // Type is a 32 bit integer, signed or unsigned.
         CHECK(bounds(node).upper->Is(Type::Integral32()));
         break;
-      case IrOpcode::kInt64Constant:  // Close enough...
+      case IrOpcode::kInt64Constant:
+        // Constants have no inputs.
+        CHECK_EQ(0, input_count);
+        // Type is internal.
+        // TODO(rossberg): Introduce proper Int64 type.
+        CHECK(bounds(node).upper->Is(Type::Internal()));
+        break;
       case IrOpcode::kFloat32Constant:
       case IrOpcode::kFloat64Constant:
       case IrOpcode::kNumberConstant: