v8::internal::TypeFeedbackOracle Class Reference

#include <type-info.h>

Inheritance diagram for v8::internal::TypeFeedbackOracle:

Collaboration diagram for v8::internal::TypeFeedbackOracle:

Public Member Functions
	TypeFeedbackOracle (Handle< Code > code, Handle< TypeFeedbackVector > feedback_vector, Handle< Context > native_context, Zone *zone)
bool	LoadIsUninitialized (TypeFeedbackId id)
bool	StoreIsUninitialized (TypeFeedbackId id)
bool	StoreIsKeyedPolymorphic (TypeFeedbackId id)
bool	CallIsMonomorphic (int slot)
bool	CallIsMonomorphic (TypeFeedbackId aid)
bool	KeyedArrayCallIsHoley (TypeFeedbackId id)
bool	CallNewIsMonomorphic (int slot)
byte	ForInType (int feedback_vector_slot)
KeyedAccessStoreMode	GetStoreMode (TypeFeedbackId id)
void	PropertyReceiverTypes (TypeFeedbackId id, Handle< String > name, SmallMapList *receiver_types)
void	KeyedPropertyReceiverTypes (TypeFeedbackId id, SmallMapList *receiver_types, bool *is_string)
void	AssignmentReceiverTypes (TypeFeedbackId id, Handle< String > name, SmallMapList *receiver_types)
void	KeyedAssignmentReceiverTypes (TypeFeedbackId id, SmallMapList *receiver_types, KeyedAccessStoreMode *store_mode)
void	CountReceiverTypes (TypeFeedbackId id, SmallMapList *receiver_types)
void	CollectReceiverTypes (TypeFeedbackId id, SmallMapList *types)
Handle< JSFunction >	GetCallTarget (int slot)
Handle< AllocationSite >	GetCallAllocationSite (int slot)
Handle< JSFunction >	GetCallNewTarget (int slot)
Handle< AllocationSite >	GetCallNewAllocationSite (int slot)
bool	LoadIsBuiltin (TypeFeedbackId id, Builtins::Name builtin_id)
byte	ToBooleanTypes (TypeFeedbackId id)
void	BinaryType (TypeFeedbackId id, Type **left, Type **right, Type **result, Maybe< int > *fixed_right_arg, Handle< AllocationSite > *allocation_site, Token::Value operation)
void	CompareType (TypeFeedbackId id, Type **left, Type **right, Type **combined)
Type *	CountType (TypeFeedbackId id)
Zone *	zone () const
Isolate *	isolate () const
Public Member Functions inherited from v8::internal::ZoneObject
	INLINE (void *operator new(size_t size, Zone *zone))
void	operator delete (void *, size_t)
void	operator delete (void *pointer, Zone *zone)

Static Public Member Functions
static bool	CanRetainOtherContext (Map *map, Context *native_context)
static bool	CanRetainOtherContext (JSFunction *function, Context *native_context)

Private Member Functions
void	CollectReceiverTypes (TypeFeedbackId id, Handle< String > name, Code::Flags flags, SmallMapList *types)
void	SetInfo (TypeFeedbackId id, Object *target)
void	BuildDictionary (Handle< Code > code)
void	GetRelocInfos (Handle< Code > code, ZoneList< RelocInfo > *infos)
void	CreateDictionary (Handle< Code > code, ZoneList< RelocInfo > *infos)
void	RelocateRelocInfos (ZoneList< RelocInfo > *infos, Code *old_code, Code *new_code)
void	ProcessRelocInfos (ZoneList< RelocInfo > *infos)
Handle< Object >	GetInfo (TypeFeedbackId id)
Handle< Object >	GetInfo (int slot)
	DISALLOW_COPY_AND_ASSIGN (TypeFeedbackOracle)

Private Attributes
Handle< Context >	native_context_
Zone *	zone_
Handle< UnseededNumberDictionary >	dictionary_
Handle< TypeFeedbackVector >	feedback_vector_

Detailed Description

Definition at line 20 of file type-info.h.

Constructor & Destructor Documentation

TypeFeedbackOracle()

v8::internal::TypeFeedbackOracle::TypeFeedbackOracle	(	Handle< Code >	code,
		Handle< TypeFeedbackVector >	feedback_vector,
		Handle< Context >	native_context,
		Zone *	zone
	)

Definition at line 21 of file type-info.cc.

    : native_context_(native_context), zone_(zone) {
  BuildDictionary(code);
  DCHECK(dictionary_->IsDictionary());
  // We make a copy of the feedback vector because a GC could clear
  // the type feedback info contained therein.
  // TODO(mvstanton): revisit the decision to copy when we weakly
  // traverse the feedback vector at GC time.
  feedback_vector_ = TypeFeedbackVector::Copy(isolate(), feedback_vector);
}

References BuildDictionary(), v8::internal::TypeFeedbackVector::Copy(), DCHECK, dictionary_, v8::internal::feedback_vector, feedback_vector_, and isolate().

Here is the call graph for this function:

Member Function Documentation

AssignmentReceiverTypes()

void v8::internal::TypeFeedbackOracle::AssignmentReceiverTypes	(	TypeFeedbackId	id,
		Handle< String >	name,
		SmallMapList *	receiver_types
	)

Definition at line 278 of file type-info.cc.

                                                                          {
  receiver_types->Clear();
  Code::Flags flags = Code::ComputeHandlerFlags(Code::STORE_IC);
  CollectReceiverTypes(id, name, flags, receiver_types);
}

References CollectReceiverTypes(), v8::internal::Code::ComputeHandlerFlags(), v8::internal::anonymous_namespace{flags.cc}::flags, and name.

Here is the call graph for this function:

BinaryType()

void v8::internal::TypeFeedbackOracle::BinaryType	(	TypeFeedbackId	id,
		Type **	left,
		Type **	right,
		Type **	result,
		Maybe< int > *	fixed_right_arg,
		Handle< AllocationSite > *	allocation_site,
		Token::Value	operation
	)

Definition at line 210 of file type-info.cc.

                                                   {
  Handle<Object> object = GetInfo(id);
  if (!object->IsCode()) {
    // For some binary ops we don't have ICs, e.g. Token::COMMA, but for the
    // operations covered by the BinaryOpIC we should always have them.
    DCHECK(op < BinaryOpICState::FIRST_TOKEN ||
           op > BinaryOpICState::LAST_TOKEN);
    *left = *right = *result = Type::None(zone());
    *fixed_right_arg = Maybe<int>();
    *allocation_site = Handle<AllocationSite>::null();
    return;
  }
  Handle<Code> code = Handle<Code>::cast(object);
  DCHECK_EQ(Code::BINARY_OP_IC, code->kind());
  BinaryOpICState state(isolate(), code->extra_ic_state());
  DCHECK_EQ(op, state.op());
 
  *left = state.GetLeftType(zone());
  *right = state.GetRightType(zone());
  *result = state.GetResultType(zone());
  *fixed_right_arg = state.fixed_right_arg();
 
  AllocationSite* first_allocation_site = code->FindFirstAllocationSite();
  if (first_allocation_site != NULL) {
    *allocation_site = handle(first_allocation_site);
  } else {
    *allocation_site = Handle<AllocationSite>::null();
  }
}

References v8::internal::Handle< T >::cast(), DCHECK, DCHECK_EQ, GetInfo(), v8::internal::handle(), isolate(), v8::None, NULL, v8::internal::Handle< T >::null(), and zone().

Here is the call graph for this function:

BuildDictionary()

void v8::internal::TypeFeedbackOracle::BuildDictionary ( Handle< Code >  code )

private

Definition at line 391 of file type-info.cc.

                                                          {
  DisallowHeapAllocation no_allocation;
  ZoneList<RelocInfo> infos(16, zone());
  HandleScope scope(isolate());
  GetRelocInfos(code, &infos);
  CreateDictionary(code, &infos);
  ProcessRelocInfos(&infos);
  // Allocate handle in the parent scope.
  dictionary_ = scope.CloseAndEscape(dictionary_);
}

References v8::internal::HandleScope::CloseAndEscape(), CreateDictionary(), dictionary_, GetRelocInfos(), isolate(), ProcessRelocInfos(), and zone().

Referenced by TypeFeedbackOracle().

Here is the call graph for this function:

Here is the caller graph for this function:

CallIsMonomorphic() [1/2]

bool v8::internal::TypeFeedbackOracle::CallIsMonomorphic

(

int

slot

)

Definition at line 95 of file type-info.cc.

                                                   {
  Handle<Object> value = GetInfo(slot);
  return value->IsAllocationSite() || value->IsJSFunction();
}

References GetInfo().

Here is the call graph for this function:

CallIsMonomorphic() [2/2]

bool v8::internal::TypeFeedbackOracle::CallIsMonomorphic

(

TypeFeedbackId

aid

)

CallNewIsMonomorphic()

bool v8::internal::TypeFeedbackOracle::CallNewIsMonomorphic

(

int

slot

)

Definition at line 101 of file type-info.cc.

                                                      {
  Handle<Object> info = GetInfo(slot);
  return FLAG_pretenuring_call_new
      ? info->IsJSFunction()
      : info->IsAllocationSite() || info->IsJSFunction();
}

References GetInfo().

Here is the call graph for this function:

CanRetainOtherContext() [1/2]

bool v8::internal::TypeFeedbackOracle::CanRetainOtherContext ( JSFunction *  function, Context *  native_context  )

static

Definition at line 350 of file type-info.cc.

                                                                        {
  return function->context()->global_object() != native_context->global_object()
      && function->context()->global_object() != native_context->builtins();
}

References v8::internal::Context::builtins(), and v8::internal::Context::global_object().

Here is the call graph for this function:

CanRetainOtherContext() [2/2]

bool v8::internal::TypeFeedbackOracle::CanRetainOtherContext ( Map *  map, Context *  native_context  )

static

Definition at line 326 of file type-info.cc.

                                                                        {
  Object* constructor = NULL;
  while (!map->prototype()->IsNull()) {
    constructor = map->constructor();
    if (!constructor->IsNull()) {
      // If the constructor is not null or a JSFunction, we have to
      // conservatively assume that it may retain a native context.
      if (!constructor->IsJSFunction()) return true;
      // Check if the constructor directly references a foreign context.
      if (CanRetainOtherContext(JSFunction::cast(constructor),
                                native_context)) {
        return true;
      }
    }
    map = HeapObject::cast(map->prototype())->map();
  }
  constructor = map->constructor();
  if (constructor->IsNull()) return false;
  JSFunction* function = JSFunction::cast(constructor);
  return CanRetainOtherContext(function, native_context);
}

References map, and NULL.

Referenced by v8::internal::StubCache::CollectMatchingMaps(), CollectReceiverTypes(), CompareType(), and GetInfo().

Here is the caller graph for this function:

CollectReceiverTypes() [1/2]

void v8::internal::TypeFeedbackOracle::CollectReceiverTypes ( TypeFeedbackId  id, Handle< String >  name, Code::Flags  flags, SmallMapList *  types  )

private

Definition at line 302 of file type-info.cc.

                                                                   {
  Handle<Object> object = GetInfo(ast_id);
  if (object->IsUndefined() || object->IsSmi()) return;
 
  DCHECK(object->IsCode());
  Handle<Code> code(Handle<Code>::cast(object));
 
  if (FLAG_collect_megamorphic_maps_from_stub_cache &&
      code->ic_state() == MEGAMORPHIC) {
    types->Reserve(4, zone());
    isolate()->stub_cache()->CollectMatchingMaps(
        types, name, flags, native_context_, zone());
  } else {
    CollectReceiverTypes(ast_id, types);
  }
}

References v8::internal::StubCache::CollectMatchingMaps(), CollectReceiverTypes(), DCHECK, v8::internal::anonymous_namespace{flags.cc}::flags, GetInfo(), isolate(), v8::internal::MEGAMORPHIC, name, native_context_, v8::internal::Isolate::stub_cache(), and zone().

Here is the call graph for this function:

CollectReceiverTypes() [2/2]

void v8::internal::TypeFeedbackOracle::CollectReceiverTypes	(	TypeFeedbackId	id,
		SmallMapList *	types
	)

Definition at line 357 of file type-info.cc.

                                                                   {
  Handle<Object> object = GetInfo(ast_id);
  if (!object->IsCode()) return;
  Handle<Code> code = Handle<Code>::cast(object);
  MapHandleList maps;
  if (code->ic_state() == MONOMORPHIC) {
    Map* map = code->FindFirstMap();
    if (map != NULL) maps.Add(handle(map));
  } else if (code->ic_state() == POLYMORPHIC) {
    code->FindAllMaps(&maps);
  } else {
    return;
  }
  types->Reserve(maps.length(), zone());
  for (int i = 0; i < maps.length(); i++) {
    Handle<Map> map(maps.at(i));
    if (!CanRetainOtherContext(*map, *native_context_)) {
      types->AddMapIfMissing(map, zone());
    }
  }
}

References v8::internal::List< T, AllocationPolicy >::Add(), v8::internal::List< T, AllocationPolicy >::at(), CanRetainOtherContext(), v8::internal::Handle< T >::cast(), GetInfo(), v8::internal::handle(), map, v8::internal::MONOMORPHIC, native_context_, NULL, v8::internal::POLYMORPHIC, and zone().

Referenced by AssignmentReceiverTypes(), CollectReceiverTypes(), CountReceiverTypes(), KeyedAssignmentReceiverTypes(), KeyedPropertyReceiverTypes(), and PropertyReceiverTypes().

Here is the call graph for this function:

Here is the caller graph for this function:

CompareType()

void v8::internal::TypeFeedbackOracle::CompareType	(	TypeFeedbackId	id,
		Type **	left,
		Type **	right,
		Type **	combined
	)

Definition at line 176 of file type-info.cc.

                                                           {
  Handle<Object> info = GetInfo(id);
  if (!info->IsCode()) {
    // For some comparisons we don't have ICs, e.g. LiteralCompareTypeof.
    *left_type = *right_type = *combined_type = Type::None(zone());
    return;
  }
  Handle<Code> code = Handle<Code>::cast(info);
 
  Handle<Map> map;
  Map* raw_map = code->FindFirstMap();
  if (raw_map != NULL) {
    if (Map::TryUpdate(handle(raw_map)).ToHandle(&map) &&
        CanRetainOtherContext(*map, *native_context_)) {
      map = Handle<Map>::null();
    }
  }
 
  if (code->is_compare_ic_stub()) {
    CompareICStub stub(code->stub_key(), isolate());
    *left_type = CompareICState::StateToType(zone(), stub.left());
    *right_type = CompareICState::StateToType(zone(), stub.right());
    *combined_type = CompareICState::StateToType(zone(), stub.state(), map);
  } else if (code->is_compare_nil_ic_stub()) {
    CompareNilICStub stub(isolate(), code->extra_ic_state());
    *combined_type = stub.GetType(zone(), map);
    *left_type = *right_type = stub.GetInputType(zone(), map);
  }
}

References CanRetainOtherContext(), v8::internal::Handle< T >::cast(), GetInfo(), v8::internal::CompareNilICStub::GetInputType(), v8::internal::CompareNilICStub::GetType(), v8::internal::handle(), isolate(), v8::internal::CompareICStub::left(), map, native_context_, v8::None, NULL, v8::internal::Handle< T >::null(), v8::internal::CompareICStub::right(), v8::internal::CompareICStub::state(), v8::internal::CompareICState::StateToType(), v8::internal::Map::TryUpdate(), and zone().

Here is the call graph for this function:

CountReceiverTypes()

void v8::internal::TypeFeedbackOracle::CountReceiverTypes	(	TypeFeedbackId	id,
		SmallMapList *	receiver_types
	)

Definition at line 295 of file type-info.cc.

                                                                          {
  receiver_types->Clear();
  CollectReceiverTypes(id, receiver_types);
}

References CollectReceiverTypes().

Here is the call graph for this function:

CountType()

Type * v8::internal::TypeFeedbackOracle::CountType

(

TypeFeedbackId

id

)

Definition at line 247 of file type-info.cc.

                                                     {
  Handle<Object> object = GetInfo(id);
  if (!object->IsCode()) return Type::None(zone());
  Handle<Code> code = Handle<Code>::cast(object);
  DCHECK_EQ(Code::BINARY_OP_IC, code->kind());
  BinaryOpICState state(isolate(), code->extra_ic_state());
  return state.GetLeftType(zone());
}

References v8::internal::Handle< T >::cast(), DCHECK_EQ, GetInfo(), isolate(), v8::None, and zone().

Here is the call graph for this function:

CreateDictionary()

void v8::internal::TypeFeedbackOracle::CreateDictionary ( Handle< Code >  code, ZoneList< RelocInfo > *  infos  )

private

Definition at line 412 of file type-info.cc.

                                                                      {
  AllowHeapAllocation allocation_allowed;
  Code* old_code = *code;
  dictionary_ = UnseededNumberDictionary::New(isolate(), infos->length());
  RelocateRelocInfos(infos, old_code, *code);
}

References dictionary_, isolate(), v8::internal::Dictionary< UnseededNumberDictionary, UnseededNumberDictionaryShape, uint32_t >::New(), and RelocateRelocInfos().

Referenced by BuildDictionary().

Here is the call graph for this function:

Here is the caller graph for this function:

DISALLOW_COPY_AND_ASSIGN()

v8::internal::TypeFeedbackOracle::DISALLOW_COPY_AND_ASSIGN ( TypeFeedbackOracle  )

private

ForInType()

byte v8::internal::TypeFeedbackOracle::ForInType

(

int

feedback_vector_slot

)

Definition at line 109 of file type-info.cc.

                                                           {
  Handle<Object> value = GetInfo(feedback_vector_slot);
  return value.is_identical_to(
             TypeFeedbackVector::UninitializedSentinel(isolate()))
             ? ForInStatement::FAST_FOR_IN
             : ForInStatement::SLOW_FOR_IN;
}

References GetInfo(), isolate(), and v8::internal::TypeFeedbackVector::UninitializedSentinel().

Here is the call graph for this function:

GetCallAllocationSite()

Handle< AllocationSite > v8::internal::TypeFeedbackOracle::GetCallAllocationSite

(

int

slot

)

Definition at line 152 of file type-info.cc.

                                                                         {
  Handle<Object> info = GetInfo(slot);
  if (info->IsAllocationSite()) {
    return Handle<AllocationSite>::cast(info);
  }
  return Handle<AllocationSite>::null();
}

References v8::internal::Handle< T >::cast(), GetInfo(), and v8::internal::Handle< T >::null().

Here is the call graph for this function:

GetCallNewAllocationSite()

Handle< AllocationSite > v8::internal::TypeFeedbackOracle::GetCallNewAllocationSite

(

int

slot

)

Definition at line 161 of file type-info.cc.

                                                                            {
  Handle<Object> info = GetInfo(slot);
  if (FLAG_pretenuring_call_new || info->IsAllocationSite()) {
    return Handle<AllocationSite>::cast(info);
  }
  return Handle<AllocationSite>::null();
}

References v8::internal::Handle< T >::cast(), GetInfo(), and v8::internal::Handle< T >::null().

Here is the call graph for this function:

GetCallNewTarget()

Handle< JSFunction > v8::internal::TypeFeedbackOracle::GetCallNewTarget

(

int

slot

)

Definition at line 141 of file type-info.cc.

                                                                {
  Handle<Object> info = GetInfo(slot);
  if (FLAG_pretenuring_call_new || info->IsJSFunction()) {
    return Handle<JSFunction>::cast(info);
  }
 
  DCHECK(info->IsAllocationSite());
  return Handle<JSFunction>(isolate()->native_context()->array_function());
}

References v8::internal::Handle< T >::cast(), DCHECK, GetInfo(), and isolate().

Here is the call graph for this function:

GetCallTarget()

Handle< JSFunction > v8::internal::TypeFeedbackOracle::GetCallTarget

(

int

slot

)

Definition at line 131 of file type-info.cc.

                                                             {
  Handle<Object> info = GetInfo(slot);
  if (info->IsAllocationSite()) {
    return Handle<JSFunction>(isolate()->native_context()->array_function());
  }
 
  return Handle<JSFunction>::cast(info);
}

References v8::internal::Handle< T >::cast(), GetInfo(), and isolate().

Here is the call graph for this function:

GetInfo() [1/2]

Handle< Object > v8::internal::TypeFeedbackOracle::GetInfo ( int  slot )

private

Definition at line 55 of file type-info.cc.

                                                   {
  DCHECK(slot >= 0 && slot < feedback_vector_->length());
  Object* obj = feedback_vector_->get(slot);
  if (!obj->IsJSFunction() ||
      !CanRetainOtherContext(JSFunction::cast(obj), *native_context_)) {
    return Handle<Object>(obj, isolate());
  }
  return Handle<Object>::cast(isolate()->factory()->undefined_value());
}

References CanRetainOtherContext(), v8::internal::Handle< T >::cast(), DCHECK, feedback_vector_, isolate(), and native_context_.

Here is the call graph for this function:

GetInfo() [2/2]

Handle< Object > v8::internal::TypeFeedbackOracle::GetInfo ( TypeFeedbackId  id )

private

Definition at line 40 of file type-info.cc.

                                                                {
  int entry = dictionary_->FindEntry(IdToKey(ast_id));
  if (entry != UnseededNumberDictionary::kNotFound) {
    Object* value = dictionary_->ValueAt(entry);
    if (value->IsCell()) {
      Cell* cell = Cell::cast(value);
      return Handle<Object>(cell->value(), isolate());
    } else {
      return Handle<Object>(value, isolate());
    }
  }
  return Handle<Object>::cast(isolate()->factory()->undefined_value());
}

References v8::internal::Handle< T >::cast(), dictionary_, v8::internal::IdToKey(), isolate(), and v8::internal::HashTable< Derived, Shape, Key >::kNotFound.

Referenced by BinaryType(), CallIsMonomorphic(), CallNewIsMonomorphic(), CollectReceiverTypes(), CompareType(), CountType(), ForInType(), GetCallAllocationSite(), GetCallNewAllocationSite(), GetCallNewTarget(), GetCallTarget(), GetStoreMode(), LoadIsBuiltin(), LoadIsUninitialized(), StoreIsKeyedPolymorphic(), StoreIsUninitialized(), and ToBooleanTypes().

Here is the call graph for this function:

Here is the caller graph for this function:

GetRelocInfos()

void v8::internal::TypeFeedbackOracle::GetRelocInfos ( Handle< Code >  code, ZoneList< RelocInfo > *  infos  )

private

Definition at line 403 of file type-info.cc.

                                                                   {
  int mask = RelocInfo::ModeMask(RelocInfo::CODE_TARGET_WITH_ID);
  for (RelocIterator it(*code, mask); !it.done(); it.next()) {
    infos->Add(*it.rinfo(), zone());
  }
}

References v8::internal::List< T, AllocationPolicy >::Add(), v8::internal::RelocInfo::CODE_TARGET_WITH_ID, v8::internal::RelocIterator::done(), v8::internal::RelocInfo::ModeMask(), and zone().

Referenced by BuildDictionary().

Here is the call graph for this function:

Here is the caller graph for this function:

GetStoreMode()

KeyedAccessStoreMode v8::internal::TypeFeedbackOracle::GetStoreMode

(

TypeFeedbackId

id

)

Definition at line 118 of file type-info.cc.

                           {
  Handle<Object> maybe_code = GetInfo(ast_id);
  if (maybe_code->IsCode()) {
    Handle<Code> code = Handle<Code>::cast(maybe_code);
    if (code->kind() == Code::KEYED_STORE_IC) {
      return KeyedStoreIC::GetKeyedAccessStoreMode(code->extra_ic_state());
    }
  }
  return STANDARD_STORE;
}

References v8::internal::Handle< T >::cast(), GetInfo(), v8::internal::KeyedStoreIC::GetKeyedAccessStoreMode(), and v8::internal::STANDARD_STORE.

Referenced by KeyedAssignmentReceiverTypes().

Here is the call graph for this function:

Here is the caller graph for this function:

isolate()

Isolate* v8::internal::TypeFeedbackOracle::isolate ( ) const

inline

Definition at line 92 of file type-info.h.

{ return zone_->isolate(); }

References v8::internal::Zone::isolate(), and zone_.

Referenced by BinaryType(), BuildDictionary(), CollectReceiverTypes(), CompareType(), CountType(), CreateDictionary(), ForInType(), GetCallNewTarget(), GetCallTarget(), GetInfo(), LoadIsBuiltin(), SetInfo(), and TypeFeedbackOracle().

Here is the call graph for this function:

Here is the caller graph for this function:

KeyedArrayCallIsHoley()

bool v8::internal::TypeFeedbackOracle::KeyedArrayCallIsHoley

(

TypeFeedbackId

id

)

KeyedAssignmentReceiverTypes()

void v8::internal::TypeFeedbackOracle::KeyedAssignmentReceiverTypes	(	TypeFeedbackId	id,
		SmallMapList *	receiver_types,
		KeyedAccessStoreMode *	store_mode
	)

Definition at line 286 of file type-info.cc.

                                      {
  receiver_types->Clear();
  CollectReceiverTypes(id, receiver_types);
  *store_mode = GetStoreMode(id);
}

References CollectReceiverTypes(), and GetStoreMode().

Here is the call graph for this function:

KeyedPropertyReceiverTypes()

void v8::internal::TypeFeedbackOracle::KeyedPropertyReceiverTypes	(	TypeFeedbackId	id,
		SmallMapList *	receiver_types,
		bool *	is_string
	)

Definition at line 266 of file type-info.cc.

                                                                      {
  receiver_types->Clear();
  *is_string = false;
  if (LoadIsBuiltin(id, Builtins::kKeyedLoadIC_String)) {
    *is_string = true;
  } else {
    CollectReceiverTypes(id, receiver_types);
  }
}

References CollectReceiverTypes(), and LoadIsBuiltin().

Here is the call graph for this function:

LoadIsBuiltin()

bool v8::internal::TypeFeedbackOracle::LoadIsBuiltin	(	TypeFeedbackId	id,
		Builtins::Name	builtin_id
	)

Definition at line 170 of file type-info.cc.

                                             {
  return *GetInfo(id) == isolate()->builtins()->builtin(builtin);
}

References v8::internal::Builtins::builtin(), v8::internal::Isolate::builtins(), GetInfo(), and isolate().

Referenced by KeyedPropertyReceiverTypes().

Here is the call graph for this function:

Here is the caller graph for this function:

LoadIsUninitialized()

bool v8::internal::TypeFeedbackOracle::LoadIsUninitialized

(

TypeFeedbackId

id

)

Definition at line 66 of file type-info.cc.

                                                              {
  Handle<Object> maybe_code = GetInfo(id);
  if (maybe_code->IsCode()) {
    Handle<Code> code = Handle<Code>::cast(maybe_code);
    return code->is_inline_cache_stub() && code->ic_state() == UNINITIALIZED;
  }
  return false;
}

References v8::internal::Handle< T >::cast(), GetInfo(), and v8::internal::UNINITIALIZED.

Here is the call graph for this function:

ProcessRelocInfos()

void v8::internal::TypeFeedbackOracle::ProcessRelocInfos ( ZoneList< RelocInfo > *  infos )

private

Definition at line 433 of file type-info.cc.

                                                                     {
  for (int i = 0; i < infos->length(); i++) {
    RelocInfo reloc_entry = (*infos)[i];
    Address target_address = reloc_entry.target_address();
    TypeFeedbackId ast_id =
        TypeFeedbackId(static_cast<unsigned>((*infos)[i].data()));
    Code* target = Code::GetCodeFromTargetAddress(target_address);
    switch (target->kind()) {
      case Code::LOAD_IC:
      case Code::STORE_IC:
      case Code::KEYED_LOAD_IC:
      case Code::KEYED_STORE_IC:
      case Code::BINARY_OP_IC:
      case Code::COMPARE_IC:
      case Code::TO_BOOLEAN_IC:
      case Code::COMPARE_NIL_IC:
        SetInfo(ast_id, target);
        break;
 
      default:
        break;
    }
  }
}

References v8::internal::Code::GetCodeFromTargetAddress(), v8::internal::Code::kind(), and SetInfo().

Referenced by BuildDictionary().

Here is the call graph for this function:

Here is the caller graph for this function:

PropertyReceiverTypes()

void v8::internal::TypeFeedbackOracle::PropertyReceiverTypes	(	TypeFeedbackId	id,
		Handle< String >	name,
		SmallMapList *	receiver_types
	)

Definition at line 257 of file type-info.cc.

                                                                             {
  receiver_types->Clear();
  Code::Flags flags = Code::ComputeHandlerFlags(Code::LOAD_IC);
  CollectReceiverTypes(id, name, flags, receiver_types);
}

References CollectReceiverTypes(), v8::internal::Code::ComputeHandlerFlags(), v8::internal::anonymous_namespace{flags.cc}::flags, and name.

Here is the call graph for this function:

RelocateRelocInfos()

void v8::internal::TypeFeedbackOracle::RelocateRelocInfos ( ZoneList< RelocInfo > *  infos, Code *  old_code, Code *  new_code  )

private

Definition at line 421 of file type-info.cc.

                                                            {
  for (int i = 0; i < infos->length(); i++) {
    RelocInfo* info = &(*infos)[i];
    info->set_host(new_code);
    info->set_pc(new_code->instruction_start() +
                 (info->pc() - old_code->instruction_start()));
  }
}

References v8::internal::Code::instruction_start(), v8::internal::RelocInfo::pc(), v8::internal::RelocInfo::set_host(), and v8::internal::RelocInfo::set_pc().

Referenced by CreateDictionary().

Here is the call graph for this function:

Here is the caller graph for this function:

SetInfo()

void v8::internal::TypeFeedbackOracle::SetInfo ( TypeFeedbackId  id, Object *  target  )

private

Definition at line 459 of file type-info.cc.

                                                                      {
  DCHECK(dictionary_->FindEntry(IdToKey(ast_id)) ==
         UnseededNumberDictionary::kNotFound);
  // Dictionary has been allocated with sufficient size for all elements.
  DisallowHeapAllocation no_need_to_resize_dictionary;
  HandleScope scope(isolate());
  USE(UnseededNumberDictionary::AtNumberPut(
      dictionary_, IdToKey(ast_id), handle(target, isolate())));
}

References v8::internal::UnseededNumberDictionary::AtNumberPut(), DCHECK, dictionary_, v8::internal::handle(), v8::internal::IdToKey(), isolate(), v8::internal::HashTable< Derived, Shape, Key >::kNotFound, and USE().

Referenced by ProcessRelocInfos().

Here is the call graph for this function:

Here is the caller graph for this function:

StoreIsKeyedPolymorphic()

bool v8::internal::TypeFeedbackOracle::StoreIsKeyedPolymorphic

(

TypeFeedbackId

id

)

Definition at line 84 of file type-info.cc.

                                                                      {
  Handle<Object> maybe_code = GetInfo(ast_id);
  if (maybe_code->IsCode()) {
    Handle<Code> code = Handle<Code>::cast(maybe_code);
    return code->is_keyed_store_stub() &&
        code->ic_state() == POLYMORPHIC;
  }
  return false;
}

References v8::internal::Handle< T >::cast(), GetInfo(), and v8::internal::POLYMORPHIC.

Here is the call graph for this function:

StoreIsUninitialized()

bool v8::internal::TypeFeedbackOracle::StoreIsUninitialized

(

TypeFeedbackId

id

)

Definition at line 76 of file type-info.cc.

                                                                   {
  Handle<Object> maybe_code = GetInfo(ast_id);
  if (!maybe_code->IsCode()) return false;
  Handle<Code> code = Handle<Code>::cast(maybe_code);
  return code->ic_state() == UNINITIALIZED;
}

References v8::internal::Handle< T >::cast(), GetInfo(), and v8::internal::UNINITIALIZED.

Here is the call graph for this function:

ToBooleanTypes()

byte v8::internal::TypeFeedbackOracle::ToBooleanTypes

(

TypeFeedbackId

id

)

Definition at line 381 of file type-info.cc.

                                                         {
  Handle<Object> object = GetInfo(id);
  return object->IsCode() ? Handle<Code>::cast(object)->to_boolean_state() : 0;
}

References v8::internal::Handle< T >::cast(), and GetInfo().

Referenced by v8::internal::Expression::RecordToBooleanTypeFeedback().

Here is the call graph for this function:

Here is the caller graph for this function:

zone()

Zone* v8::internal::TypeFeedbackOracle::zone ( ) const

inline

Definition at line 91 of file type-info.h.

{ return zone_; }

References zone_.

Referenced by BinaryType(), BuildDictionary(), CollectReceiverTypes(), CompareType(), CountType(), and GetRelocInfos().

Here is the caller graph for this function:

Member Data Documentation

dictionary_

Handle<UnseededNumberDictionary> v8::internal::TypeFeedbackOracle::dictionary_

private

Definition at line 121 of file type-info.h.

Referenced by BuildDictionary(), CreateDictionary(), GetInfo(), SetInfo(), and TypeFeedbackOracle().

feedback_vector_

Handle<TypeFeedbackVector> v8::internal::TypeFeedbackOracle::feedback_vector_

private

Definition at line 122 of file type-info.h.

Referenced by GetInfo(), and TypeFeedbackOracle().

native_context_

Handle<Context> v8::internal::TypeFeedbackOracle::native_context_

private

Definition at line 119 of file type-info.h.

Referenced by CollectReceiverTypes(), CompareType(), and GetInfo().

zone_

Zone* v8::internal::TypeFeedbackOracle::zone_

private

Definition at line 120 of file type-info.h.

Referenced by isolate(), and zone().

---

The documentation for this class was generated from the following files:

• /mnt/V8SourceCode/src/type-info.h
• /mnt/V8SourceCode/src/type-info.cc