[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 9ea83f112e9ec1147d496acad6350ad746fcdb1b..0c1f919db5ea03120f40019a8d7bee611f7496ee 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.
-      CheckTypeIs(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());
-      CheckTypeIs(node, Type::TaggedPointer());
       break;
     case IrOpcode::kEnsureWritableFastElements:
       CheckValueInputIs(node, 0, Type::Any());
@@ -1018,11 +1015,9 @@ void Verifier::Visitor::Check(Node* node) {
       break;
     case IrOpcode::kCheckTaggedSigned:
       CheckValueInputIs(node, 0, Type::Any());
-      CheckTypeIs(node, Type::TaggedSigned());
       break;
     case IrOpcode::kCheckTaggedPointer:
       CheckValueInputIs(node, 0, Type::Any());
-      CheckTypeIs(node, Type::TaggedPointer());
       break;
 
     case IrOpcode::kCheckedInt32Add: