[turbofan] Utilize type information for alias analysis.

src/compiler/access-builder.cc

 // Copyright 2014 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/access-builder.h"
 
 #include "src/contexts.h"
 #include "src/frames.h"
 #include "src/handles-inl.h"
 #include "src/heap/heap.h"
 #include "src/type-cache.h"
 
 namespace v8 {
 namespace internal {
 namespace compiler {
 
 // static
 FieldAccess AccessBuilder::ForMap() {
   FieldAccess access = {
-      kTaggedBase, HeapObject::kMapOffset,   MaybeHandle<Name>(),
-      Type::Any(), MachineType::AnyTagged(), kMapWriteBarrier};
+      kTaggedBase,           HeapObject::kMapOffset,   MaybeHandle<Name>(),
+      Type::OtherInternal(), MachineType::AnyTagged(), kMapWriteBarrier};
   return access;
 }
 
 
 // static
 FieldAccess AccessBuilder::ForHeapNumberValue() {
   FieldAccess access = {kTaggedBase,
                         HeapNumber::kValueOffset,
                         MaybeHandle<Name>(),
                         TypeCache::Get().kFloat64,
@@ skipping 53 matching lines @@
       Type::Internal(), MachineType::AnyTagged(),   kPointerWriteBarrier};
   return access;
 }
 
 
 // static
 FieldAccess AccessBuilder::ForJSFunctionSharedFunctionInfo() {
   FieldAccess access = {kTaggedBase,
                         JSFunction::kSharedFunctionInfoOffset,
                         Handle<Name>(),
-                        Type::Any(),
+                        Type::OtherInternal(),
                         MachineType::AnyTagged(),
                         kPointerWriteBarrier};
   return access;
 }
 
 // static
 FieldAccess AccessBuilder::ForJSFunctionLiterals() {
   FieldAccess access = {
       kTaggedBase,      JSFunction::kLiteralsOffset, Handle<Name>(),
       Type::Internal(), MachineType::AnyTagged(),    kPointerWriteBarrier};
@@ skipping 43 matching lines @@
                         MachineType::AnyTagged(),
                         kNoWriteBarrier};
   return access;
 }
 
 // static
 FieldAccess AccessBuilder::ForJSGeneratorObjectInputOrDebugPos() {
   FieldAccess access = {kTaggedBase,
                         JSGeneratorObject::kInputOrDebugPosOffset,
                         Handle<Name>(),
-                        Type::Any(),
+                        Type::NonInternal(),
                         MachineType::AnyTagged(),
                         kFullWriteBarrier};
   return access;
 }
 
 // static
 FieldAccess AccessBuilder::ForJSGeneratorObjectOperandStack() {
   FieldAccess access = {kTaggedBase,
                         JSGeneratorObject::kOperandStackOffset,
                         Handle<Name>(),
@@ skipping 106 matching lines @@
                         Type::Number(),
                         MachineType::AnyTagged(),
                         kFullWriteBarrier};
   return access;
 }
 
 
 // static
 FieldAccess AccessBuilder::ForJSIteratorResultDone() {
   FieldAccess access = {
-      kTaggedBase, JSIteratorResult::kDoneOffset, MaybeHandle<Name>(),
-      Type::Any(), MachineType::AnyTagged(),      kFullWriteBarrier};
+      kTaggedBase,         JSIteratorResult::kDoneOffset, MaybeHandle<Name>(),
+      Type::NonInternal(), MachineType::AnyTagged(),      kFullWriteBarrier};
   return access;
 }
 
 
 // static
 FieldAccess AccessBuilder::ForJSIteratorResultValue() {
   FieldAccess access = {
-      kTaggedBase, JSIteratorResult::kValueOffset, MaybeHandle<Name>(),
-      Type::Any(), MachineType::AnyTagged(),       kFullWriteBarrier};
+      kTaggedBase,         JSIteratorResult::kValueOffset, MaybeHandle<Name>(),
+      Type::NonInternal(), MachineType::AnyTagged(),       kFullWriteBarrier};
   return access;
 }
 
 
 // static
 FieldAccess AccessBuilder::ForJSRegExpFlags() {
   FieldAccess access = {
       kTaggedBase,    JSRegExp::kFlagsOffset,   MaybeHandle<Name>(),
       Type::Tagged(), MachineType::AnyTagged(), kFullWriteBarrier};
   return access;
@@ skipping 222 matching lines @@
                         Type::Internal(),
                         MachineType::AnyTagged(),
                         kPointerWriteBarrier};
   return access;
 }
 
 
 // static
 FieldAccess AccessBuilder::ForValue() {
   FieldAccess access = {
-      kTaggedBase, JSValue::kValueOffset,    Handle<Name>(),
-      Type::Any(), MachineType::AnyTagged(), kFullWriteBarrier};
+      kTaggedBase,         JSValue::kValueOffset,    Handle<Name>(),
+      Type::NonInternal(), MachineType::AnyTagged(), kFullWriteBarrier};
   return access;
 }
 
 
 // static
 FieldAccess AccessBuilder::ForArgumentsLength() {
   FieldAccess access = {
-      kTaggedBase, JSArgumentsObject::kLengthOffset, Handle<Name>(),
-      Type::Any(), MachineType::AnyTagged(),         kFullWriteBarrier};
+      kTaggedBase,         JSArgumentsObject::kLengthOffset, Handle<Name>(),
+      Type::NonInternal(), MachineType::AnyTagged(),         kFullWriteBarrier};
   return access;
 }
 
 
 // static
 FieldAccess AccessBuilder::ForArgumentsCallee() {
   FieldAccess access = {kTaggedBase,
                         JSSloppyArgumentsObject::kCalleeOffset,
                         Handle<Name>(),
-                        Type::Any(),
+                        Type::NonInternal(),
                         MachineType::AnyTagged(),
                         kPointerWriteBarrier};
   return access;
 }
 
 
 // static
 FieldAccess AccessBuilder::ForFixedArraySlot(size_t index) {
   int offset = FixedArray::OffsetOfElementAt(static_cast<int>(index));
   FieldAccess access = {kTaggedBase,
                         offset,
                         Handle<Name>(),
-                        Type::Any(),
+                        Type::NonInternal(),
                         MachineType::AnyTagged(),
                         kFullWriteBarrier};
   return access;
 }
 
 
 // static
 FieldAccess AccessBuilder::ForContextSlot(size_t index) {
   int offset = Context::kHeaderSize + static_cast<int>(index) * kPointerSize;
   DCHECK_EQ(offset,
@@ skipping 89 matching lines @@
   }
   UNREACHABLE();
   ElementAccess access = {kUntaggedBase, 0, Type::None(), MachineType::None(),
                           kNoWriteBarrier};
   return access;
 }
 
 }  // namespace compiler
 }  // namespace internal
 }  // namespace v8