Index: src/compiler/verifier.cc |
diff --git a/src/compiler/verifier.cc b/src/compiler/verifier.cc |
index 602aa30fd38fe688d4b327dbccb21be2d11c7cdf..e4a18779ac17435f768fdba1e63896ce019959ed 100644 |
--- a/src/compiler/verifier.cc |
+++ b/src/compiler/verifier.cc |
@@ -361,8 +361,6 @@ void Verifier::Visitor::Check(Node* node) { |
case IrOpcode::kHeapConstant: |
// Constants have no inputs. |
CHECK_EQ(0, input_count); |
- // Type can be anything represented as a heap pointer. |
- CheckUpperIs(node, Type::TaggedPointer()); |
break; |
case IrOpcode::kExternalConstant: |
// Constants have no inputs. |
@@ -861,7 +859,6 @@ void Verifier::Visitor::Check(Node* node) { |
break; |
case IrOpcode::kAllocate: |
CheckValueInputIs(node, 0, Type::PlainNumber()); |
- CheckUpperIs(node, Type::TaggedPointer()); |
break; |
case IrOpcode::kEnsureWritableFastElements: |
CheckValueInputIs(node, 0, Type::Any()); |
@@ -1018,11 +1015,10 @@ void Verifier::Visitor::Check(Node* node) { |
break; |
case IrOpcode::kCheckTaggedSigned: |
CheckValueInputIs(node, 0, Type::Any()); |
- CheckUpperIs(node, Type::TaggedSigned()); |
+ CheckUpperIs(node, Type::SignedSmall()); |
break; |
case IrOpcode::kCheckTaggedPointer: |
CheckValueInputIs(node, 0, Type::Any()); |
- CheckUpperIs(node, Type::TaggedPointer()); |
break; |
case IrOpcode::kCheckedInt32Add: |