[turbofan] load elimination looks through TypeGuards

src/compiler/load-elimination.cc

 // Copyright 2016 the V8 project authors. All rights reserved.
 // Use of this source code is governed by a BSD-style license that can be
 // found in the LICENSE file.
 
 #include "src/compiler/load-elimination.h"
 
 #include "src/compiler/common-operator.h"
 #include "src/compiler/js-graph.h"
 #include "src/compiler/node-properties.h"
 #include "src/compiler/simplified-operator.h"
 #include "src/factory.h"
 #include "src/objects-inl.h"
 
 namespace v8 {
 namespace internal {
 namespace compiler {
 
 namespace {
 
 enum Aliasing { kNoAlias, kMayAlias, kMustAlias };
 
+Node* Normalize(Node* node) {

[Benedikt Meurer, 2017/03/31 12:48:36]

Just do it like FinishRegion below please.

+  while (node->opcode() == IrOpcode::kTypeGuard) {
+    node = node->InputAt(0);
+  }
+  return node;
+}
+
 Aliasing QueryAlias(Node* a, Node* b) {
+  a = Normalize(a);
+  b = Normalize(b);
   if (a == b) return kMustAlias;
   if (!NodeProperties::GetType(a)->Maybe(NodeProperties::GetType(b))) {
     return kNoAlias;
   }
   switch (b->opcode()) {
     case IrOpcode::kAllocate: {
       switch (a->opcode()) {
         case IrOpcode::kAllocate:
         case IrOpcode::kHeapConstant:
         case IrOpcode::kParameter:
@@ skipping 1069 matching lines @@
   return jsgraph()->common();
 }
 
 Graph* LoadElimination::graph() const { return jsgraph()->graph(); }
 
 Factory* LoadElimination::factory() const { return jsgraph()->factory(); }
 
 }  // namespace compiler
 }  // namespace internal
 }  // namespace v8