TurboFan: Introduce TaggedSigned and TaggedPointer representations.

src/compiler/load-elimination.cc

Index: src/compiler/load-elimination.cc
diff --git a/src/compiler/load-elimination.cc b/src/compiler/load-elimination.cc
index 98df1c883b08beb060b311d6006046e568061001..461067c2a71feebab2e257ad4499dc34929b6bae 100644
--- a/src/compiler/load-elimination.cc
+++ b/src/compiler/load-elimination.cc
@@ -476,6 +476,8 @@ Reduction LoadElimination::ReduceStoreElement(Node* node) {
       break;
     case MachineRepresentation::kFloat64:
     case MachineRepresentation::kSimd128:
+    case MachineRepresentation::kTaggedSigned:
+    case MachineRepresentation::kTaggedPointer:
     case MachineRepresentation::kTagged:
       state = state->AddElement(object, index, new_value, zone());
       break;
@@ -642,6 +644,9 @@ int LoadElimination::FieldIndexOf(FieldAccess const& access) {
       return -1;  // Currently untracked.
     case MachineRepresentation::kFloat64:
     case MachineRepresentation::kSimd128:
+    case MachineRepresentation::kTaggedSigned:
+    case MachineRepresentation::kTaggedPointer:

[Benedikt Meurer, 2016/08/05 18:49:01]

These should be treated exactly like Tagged here.

[mvstanton, 2016/08/16 10:50:40]

Done.

+      return -1;  // Currently untracked.
     case MachineRepresentation::kTagged:
       // TODO(bmeurer): Check that we never do overlapping load/stores of
       // individual parts of Float64/Simd128 values.