[turbofan] Introduce MachineRepresentation to PropertyAccessInfo.

src/compiler/verifier.cc

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: