| 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
|
|
|