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.