Index: src/compiler/verifier.cc |
diff --git a/src/compiler/verifier.cc b/src/compiler/verifier.cc |
index 238de2f23e59bfedcfd6cd06307276e1a0c9f456..b86bba93b05dbdb8c78527fad098ea6bd5a79e40 100644 |
--- a/src/compiler/verifier.cc |
+++ b/src/compiler/verifier.cc |
@@ -635,6 +635,10 @@ void Verifier::Visitor::Check(Node* node) { |
CheckValueInputIs(node, 0, Type::Any()); |
CheckUpperIs(node, Type::Boolean()); |
break; |
+ case IrOpcode::kAllocate: |
+ CheckValueInputIs(node, 0, Type::PlainNumber()); |
+ CheckUpperIs(node, Type::TaggedPointer()); |
+ break; |
case IrOpcode::kChangeTaggedToInt32: { |
// Signed32 /\ Tagged -> Signed32 /\ UntaggedInt32 |