Revision: 24641
Author:   [email protected]
Date:     Wed Oct 15 14:17:26 2014 UTC
Log:      Fix verification of Int64Constant

[email protected]
BUG=

Review URL: https://codereview.chromium.org/660533002
https://code.google.com/p/v8/source/detail?r=24641

Modified:
 /branches/bleeding_edge/src/compiler/verifier.cc

=======================================
--- /branches/bleeding_edge/src/compiler/verifier.cc Wed Oct 15 12:15:38 2014 UTC +++ /branches/bleeding_edge/src/compiler/verifier.cc Wed Oct 15 14:17:26 2014 UTC
@@ -224,7 +224,13 @@
         // 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:

--
--
v8-dev mailing list
[email protected]
http://groups.google.com/group/v8-dev
--- You received this message because you are subscribed to the Google Groups "v8-dev" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to [email protected].
For more options, visit https://groups.google.com/d/optout.

Reply via email to