Index: src/compiler/verifier.cc |
diff --git a/src/compiler/verifier.cc b/src/compiler/verifier.cc |
index cb8a12035af0b7ca11dfeceb9a5ffff565513b42..54ddbcf4c7cb3f91177645f27fe3491b21c31fbf 100644 |
--- a/src/compiler/verifier.cc |
+++ b/src/compiler/verifier.cc |
@@ -1072,6 +1072,9 @@ void Verifier::Visitor::Check(Node* node) { |
CheckValueInputIs(node, 0, Type::Number()); |
CheckUpperIs(node, Type::Number()); |
break; |
+ case IrOpcode::kTypeGuard: |
+ CheckUpperIs(node, TypeGuardTypeOf(node->op())); |
+ break; |
// Machine operators |
// ----------------------- |