#include <object.h>

Inheritance diagram for dart::ICData:

Public Types
enum	DeoptReasonId

enum	DeoptFlags { kHoisted = 1 << 0 , kGeneralized = 1 << 1 }

enum	RebindRule { kNumRebindRules }

enum	{ kCachedICDataZeroArgTestedWithoutExactnessTrackingIdx = 0 , kCachedICDataMaxArgsTestedWithoutExactnessTracking = 2 , kCachedICDataOneArgWithExactnessTrackingIdx , kCachedICDataArrayCount = kCachedICDataOneArgWithExactnessTrackingIdx + 1 }

Public Types inherited from dart::Object
enum	NameVisibility { kInternalName = 0 , kScrubbedName , kUserVisibleName }

enum class	NameDisambiguation { kYes , kNo }

using	UntaggedObjectType = UntaggedObject

using	ObjectPtrType = ObjectPtr

Public Member Functions
FunctionPtr	Owner () const

ICDataPtr	Original () const

void	SetOriginal (const ICData &value) const

bool	IsOriginal () const

intptr_t	NumArgsTested () const

intptr_t	deopt_id () const

bool	IsImmutable () const

AbstractTypePtr	receivers_static_type () const

bool	is_tracking_exactness () const

bool	HasDeoptReasons () const

uint32_t	DeoptReasons () const

void	SetDeoptReasons (uint32_t reasons) const

bool	HasDeoptReason (ICData::DeoptReasonId reason) const

void	AddDeoptReason (ICData::DeoptReasonId reason) const

RebindRule	rebind_rule () const

void	set_is_megamorphic (bool value) const

intptr_t	Length () const

intptr_t	NumberOfChecks () const

intptr_t	NumberOfUsedChecks () const

bool	NumberOfChecksIs (intptr_t n) const

bool	IsValidEntryIndex (intptr_t index) const

void	Clear (const CallSiteResetter &proof_of_reload) const

void	TruncateTo (intptr_t num_checks, const CallSiteResetter &proof_of_reload) const

void	ClearCountAt (intptr_t index, const CallSiteResetter &proof_of_reload) const

void	ClearAndSetStaticTarget (const Function &func, const CallSiteResetter &proof_of_reload) const

void	DebugDump () const

void	EnsureHasCheck (const GrowableArray< intptr_t > &class_ids, const Function &target, intptr_t count=1) const

void	AddCheck (const GrowableArray< intptr_t > &class_ids, const Function &target, intptr_t count=1) const

StaticTypeExactnessState	GetExactnessAt (intptr_t count) const

void	EnsureHasReceiverCheck (intptr_t receiver_class_id, const Function &target, intptr_t count=1, StaticTypeExactnessState exactness=StaticTypeExactnessState::NotTracking()) const

void	AddReceiverCheck (intptr_t receiver_class_id, const Function &target, intptr_t count=1, StaticTypeExactnessState exactness=StaticTypeExactnessState::NotTracking()) const

void	GetCheckAt (intptr_t index, GrowableArray< intptr_t > class_ids, Function target) const

void	GetClassIdsAt (intptr_t index, GrowableArray< intptr_t > *class_ids) const

void	GetOneClassCheckAt (intptr_t index, intptr_t class_id, Function target) const

intptr_t	GetCidAt (intptr_t index) const

intptr_t	GetReceiverClassIdAt (intptr_t index) const

intptr_t	GetClassIdAt (intptr_t index, intptr_t arg_nr) const

FunctionPtr	GetTargetAt (intptr_t index) const

void	IncrementCountAt (intptr_t index, intptr_t value) const

void	SetCountAt (intptr_t index, intptr_t value) const

intptr_t	GetCountAt (intptr_t index) const

intptr_t	AggregateCount () const

ICDataPtr	AsUnaryClassChecksForArgNr (intptr_t arg_nr) const

ICDataPtr	AsUnaryClassChecks () const

ICDataPtr	AsUnaryClassChecksSortedByCount () const

UnlinkedCallPtr	AsUnlinkedCall () const

bool	HasReceiverClassId (intptr_t class_id) const

bool	IsUsedAt (intptr_t i) const

void	PrintToJSONArray (const JSONArray &jsarray, TokenPosition token_pos) const

bool	is_static_call () const

intptr_t	FindCheck (const GrowableArray< intptr_t > &cids) const

ArrayPtr	entries () const

bool	receiver_cannot_be_smi () const

void	set_receiver_cannot_be_smi (bool value) const

uword	Hash () const

Public Member Functions inherited from dart::CallSiteData
StringPtr	target_name () const

ArrayPtr	arguments_descriptor () const

intptr_t	TypeArgsLen () const

intptr_t	CountWithTypeArgs () const

intptr_t	CountWithoutTypeArgs () const

intptr_t	SizeWithoutTypeArgs () const

intptr_t	SizeWithTypeArgs () const

Public Member Functions inherited from dart::Object
virtual	~Object ()

ObjectPtr	ptr () const

void	operator= (ObjectPtr value)

bool	IsCanonical () const

void	SetCanonical () const

void	ClearCanonical () const

bool	IsImmutable () const

void	SetImmutable () const

void	ClearImmutable () const

intptr_t	GetClassId () const

ClassPtr	clazz () const

	CLASS_LIST_FOR_HANDLES (DEFINE_CLASS_TESTER)

bool	IsNull () const

virtual const char *	ToCString () const

void	PrintJSON (JSONStream *stream, bool ref=true) const

virtual void	PrintJSONImpl (JSONStream *stream, bool ref) const

void	PrintImplementationFields (JSONStream *stream) const

virtual void	PrintImplementationFieldsImpl (const JSONArray &jsarr_fields) const

virtual const char *	JSONType () const

virtual StringPtr	DictionaryName () const

bool	IsNew () const

bool	IsOld () const

bool	InVMIsolateHeap () const

void	Print () const

Static Public Member Functions
static const char *	RebindRuleToCString (RebindRule r)

static bool	ParseRebindRule (const char str, RebindRule out)

static intptr_t	InstanceSize ()

static intptr_t	state_bits_offset ()

static intptr_t	NumArgsTestedShift ()

static intptr_t	NumArgsTestedMask ()

static intptr_t	entries_offset ()

static intptr_t	owner_offset ()

static intptr_t	receivers_static_type_offset ()

static ICDataPtr	New (const Function &owner, const String &target_name, const Array &arguments_descriptor, intptr_t deopt_id, intptr_t num_args_tested, RebindRule rebind_rule, const AbstractType &receiver_type=Object::null_abstract_type())

static ICDataPtr	NewWithCheck (const Function &owner, const String &target_name, const Array &arguments_descriptor, intptr_t deopt_id, intptr_t num_args_tested, RebindRule rebind_rule, GrowableArray< intptr_t > *cids, const Function &target, const AbstractType &receiver_type=Object::null_abstract_type())

static ICDataPtr	NewForStaticCall (const Function &owner, const Function &target, const Array &arguments_descriptor, intptr_t deopt_id, intptr_t num_args_tested, RebindRule rebind_rule)

static ICDataPtr	NewFrom (const ICData &from, intptr_t num_args_tested)

static ICDataPtr	Clone (const ICData &from)

static ICDataPtr	ICDataOfEntriesArray (const Array &array)

static intptr_t	TestEntryLengthFor (intptr_t num_args, bool tracking_exactness)

static intptr_t	CountIndexFor (intptr_t num_args)

static intptr_t	EntryPointIndexFor (intptr_t num_args)

static intptr_t	TargetIndexFor (intptr_t num_args)

static intptr_t	CodeIndexFor (intptr_t num_args)

static intptr_t	ExactnessIndexFor (intptr_t num_args)

static void	Init ()

static void	Cleanup ()

Static Public Member Functions inherited from dart::CallSiteData
static intptr_t	target_name_offset ()

static intptr_t	arguments_descriptor_offset ()

Static Public Member Functions inherited from dart::Object
static ObjectPtr	RawCast (ObjectPtr obj)

static constexpr bool	ContainsCompressedPointers ()

static intptr_t	tags_offset ()

static Object &	Handle ()

static Object &	Handle (Zone *zone)

static Object &	Handle (ObjectPtr ptr)

static Object &	Handle (Zone *zone, ObjectPtr ptr)

static Object &	ZoneHandle ()

static Object &	ZoneHandle (Zone *zone)

static Object &	ZoneHandle (ObjectPtr ptr)

static Object &	ZoneHandle (Zone *zone, ObjectPtr ptr)

static Object *	ReadOnlyHandle ()

static ObjectPtr	null ()

static void	set_vm_isolate_snapshot_object_table (const Array &table)

static ClassPtr	class_class ()

static ClassPtr	dynamic_class ()

static ClassPtr	void_class ()

static ClassPtr	type_parameters_class ()

static ClassPtr	type_arguments_class ()

static ClassPtr	patch_class_class ()

static ClassPtr	function_class ()

static ClassPtr	closure_data_class ()

static ClassPtr	ffi_trampoline_data_class ()

static ClassPtr	field_class ()

static ClassPtr	script_class ()

static ClassPtr	library_class ()

static ClassPtr	namespace_class ()

static ClassPtr	kernel_program_info_class ()

static ClassPtr	code_class ()

static ClassPtr	instructions_class ()

static ClassPtr	instructions_section_class ()

static ClassPtr	instructions_table_class ()

static ClassPtr	object_pool_class ()

static ClassPtr	pc_descriptors_class ()

static ClassPtr	code_source_map_class ()

static ClassPtr	compressed_stackmaps_class ()

static ClassPtr	var_descriptors_class ()

static ClassPtr	exception_handlers_class ()

static ClassPtr	context_class ()

static ClassPtr	context_scope_class ()

static ClassPtr	sentinel_class ()

static ClassPtr	api_error_class ()

static ClassPtr	language_error_class ()

static ClassPtr	unhandled_exception_class ()

static ClassPtr	unwind_error_class ()

static ClassPtr	singletargetcache_class ()

static ClassPtr	unlinkedcall_class ()

static ClassPtr	monomorphicsmiablecall_class ()

static ClassPtr	icdata_class ()

static ClassPtr	megamorphic_cache_class ()

static ClassPtr	subtypetestcache_class ()

static ClassPtr	loadingunit_class ()

static ClassPtr	weak_serialization_reference_class ()

static ClassPtr	weak_array_class ()

static void	InitNullAndBool (IsolateGroup *isolate_group)

static void	Init (IsolateGroup *isolate_group)

static void	InitVtables ()

static void	FinishInit (IsolateGroup *isolate_group)

static void	FinalizeVMIsolate (IsolateGroup *isolate_group)

static void	FinalizeReadOnlyObject (ObjectPtr object)

static void	Cleanup ()

static ErrorPtr	Init (IsolateGroup isolate_group, const uint8_t kernel_buffer, intptr_t kernel_buffer_size)

static void	MakeUnusedSpaceTraversable (const Object &obj, intptr_t original_size, intptr_t used_size)

static intptr_t	InstanceSize ()

template<class FakeObject >
static void	VerifyBuiltinVtable (intptr_t cid)

static void	VerifyBuiltinVtables ()

static bool	ShouldHaveImmutabilityBitSet (classid_t class_id)

Static Public Attributes
static constexpr intptr_t	kLastRecordedDeoptReason = kDeoptUnknown - 1

Static Public Attributes inherited from dart::Object
static constexpr intptr_t	kHashBits = 30

static const ClassId	kClassId = kObjectCid

Friends
class	CallSiteResetter

class	CallTargets

class	Class

class	VMDeserializationRoots

class	ICDataTestTask

class	VMSerializationRoots

Additional Inherited Members
Protected Member Functions inherited from dart::Object
	Object ()

uword	raw_value () const

void	setPtr (ObjectPtr value, intptr_t default_cid)

void	CheckHandle () const

cpp_vtable	vtable () const

void	set_vtable (cpp_vtable value)

bool	Contains (uword addr) const

template<typename type , std::memory_order order = std::memory_order_relaxed>
type	LoadPointer (type const *addr) const

template<typename type , std::memory_order order = std::memory_order_relaxed>
void	StorePointer (type const *addr, type value) const

template<typename type , typename compressed_type , std::memory_order order = std::memory_order_relaxed>
void	StoreCompressedPointer (compressed_type const *addr, type value) const

template<typename type >
void	StorePointerUnaligned (type const addr, type value, Thread thread) const

void	StoreSmi (SmiPtr const *addr, SmiPtr value) const

template<typename FieldType >
void	StoreSimd128 (const FieldType *addr, simd128_value_t value) const

template<typename FieldType >
FieldType	LoadNonPointer (const FieldType *addr) const

template<typename FieldType , std::memory_order order>
FieldType	LoadNonPointer (const FieldType *addr) const

template<typename FieldType , typename ValueType >
void	StoreNonPointer (const FieldType *addr, ValueType value) const

template<typename FieldType , typename ValueType , std::memory_order order>
void	StoreNonPointer (const FieldType *addr, ValueType value) const

template<typename FieldType >
FieldType *	UnsafeMutableNonPointer (const FieldType *addr) const

	CLASS_LIST (STORE_NON_POINTER_ILLEGAL_TYPE)

void	UnimplementedMethod () const

void	AddCommonObjectProperties (JSONObject jsobj, const char protocol_type, bool ref) const

Static Protected Member Functions inherited from dart::Object
static DART_NOINLINE Object &	HandleImpl (Zone *zone, ObjectPtr ptr, intptr_t default_cid)

static DART_NOINLINE Object &	ZoneHandleImpl (Zone *zone, ObjectPtr ptr, intptr_t default_cid)

static DART_NOINLINE Object *	ReadOnlyHandleImpl (intptr_t cid)

static ObjectPtr	Allocate (intptr_t cls_id, intptr_t size, Heap::Space space, bool compressed, uword ptr_field_start_offset, uword ptr_field_end_offset)

template<typename T >
static DART_FORCE_INLINE T::ObjectPtrType	Allocate (Heap::Space space)

template<typename T >
static DART_FORCE_INLINE T::ObjectPtrType	Allocate (Heap::Space space, intptr_t elements)

template<typename T >
static DART_FORCE_INLINE T::ObjectPtrType	AllocateVariant (intptr_t class_id, Heap::Space space)

template<typename T >
static DART_FORCE_INLINE T::ObjectPtrType	AllocateVariant (intptr_t class_id, Heap::Space space, intptr_t elements)

static constexpr intptr_t	RoundedAllocationSize (intptr_t size)

static ObjectPtr	Clone (const Object &orig, Heap::Space space, bool load_with_relaxed_atomics=false)

template<typename T >
static DART_FORCE_INLINE uword	from_offset ()

template<typename T >
static DART_FORCE_INLINE uword	to_offset (intptr_t length=0)

Protected Attributes inherited from dart::Object
ObjectPtr	ptr_

Detailed Description

Definition at line 2436 of file object.h.

Member Enumeration Documentation

◆ anonymous enum

anonymous enum

Enumerator
kCachedICDataZeroArgTestedWithoutExactnessTrackingIdx
kCachedICDataMaxArgsTestedWithoutExactnessTracking
kCachedICDataOneArgWithExactnessTrackingIdx
kCachedICDataArrayCount

Definition at line 2750 of file object.h.

       {
    kCachedICDataZeroArgTestedWithoutExactnessTrackingIdx = 0,
    kCachedICDataMaxArgsTestedWithoutExactnessTracking = 2,
    kCachedICDataOneArgWithExactnessTrackingIdx =
        kCachedICDataZeroArgTestedWithoutExactnessTrackingIdx +
        kCachedICDataMaxArgsTestedWithoutExactnessTracking + 1,
    kCachedICDataArrayCount = kCachedICDataOneArgWithExactnessTrackingIdx + 1,
  };

◆ DeoptFlags

enum dart::ICData::DeoptFlags

Enumerator
kHoisted
kGeneralized

Definition at line 2500 of file object.h.

                  {
    // Deoptimization is caused by an optimistically hoisted instruction.
    kHoisted = 1 << 0,
 
    // Deoptimization is caused by an optimistically generalized bounds check.
    kGeneralized = 1 << 1
  };

◆ DeoptReasonId

enum dart::ICData::DeoptReasonId

Definition at line 2492 of file object.h.

                     {
#define DEFINE_ENUM_LIST(name) kDeopt##name,
    DEOPT_REASONS(DEFINE_ENUM_LIST)
#undef DEFINE_ENUM_LIST
  };

◆ RebindRule

enum dart::ICData::RebindRule

Enumerator
kNumRebindRules

Definition at line 2525 of file object.h.

                  {
#define REBIND_ENUM_DEF(name) k##name,
    FOR_EACH_REBIND_RULE(REBIND_ENUM_DEF)
#undef REBIND_ENUM_DEF
        kNumRebindRules,
  };

Member Function Documentation

◆ AddCheck()

void dart::ICData::AddCheck	(	const GrowableArray< intptr_t > &	class_ids,
		const Function &	target,
		intptr_t	count = `1`
	)		const

Definition at line 16831 of file object.cc.

                                            {
  SafepointMutexLocker ml(IsolateGroup::Current()->type_feedback_mutex());
  AddCheckInternal(class_ids, target, count);
}

◆ AddDeoptReason()

void dart::ICData::AddDeoptReason ( ICData::DeoptReasonId reason ) const

Definition at line 16565 of file object.cc.

                                                      {
  if (reason <= kLastRecordedDeoptReason) {
    untag()->state_bits_.FetchOr<DeoptReasonBits>(1 << reason);
  }
}

◆ AddReceiverCheck()

void dart::ICData::AddReceiverCheck	(	intptr_t	receiver_class_id,
		const Function &	target,
		intptr_t	count = `1`,
		StaticTypeExactnessState	exactness = `StaticTypeExactnessState::NotTracking()`
	)		const

Definition at line 16936 of file object.cc.

                                                                        {
  SafepointMutexLocker ml(IsolateGroup::Current()->type_feedback_mutex());
  AddReceiverCheckInternal(receiver_class_id, target, count, exactness);
}

◆ AggregateCount()

intptr_t dart::ICData::AggregateCount ( ) const

Definition at line 17131 of file object.cc.

                                      {
  if (IsNull()) return 0;
  const intptr_t len = NumberOfChecks();
  intptr_t count = 0;
  for (intptr_t i = 0; i < len; i++) {
    count += GetCountAt(i);
  }
  return count;
}

◆ AsUnaryClassChecks()

ICDataPtr dart::ICData::AsUnaryClassChecks ( ) const

inline

Definition at line 2671 of file object.h.

2671{ return AsUnaryClassChecksForArgNr(0); }

dart::ICData::AsUnaryClassChecksForArgNr

ICDataPtr AsUnaryClassChecksForArgNr(intptr_t arg_nr) const

Definition object.cc:17142

◆ AsUnaryClassChecksForArgNr()

ICDataPtr dart::ICData::AsUnaryClassChecksForArgNr ( intptr_t arg_nr ) const

Definition at line 17142 of file object.cc.

                                                                  {
  ASSERT(!IsNull());
  ASSERT(NumArgsTested() > arg_nr);
  if ((arg_nr == 0) && (NumArgsTested() == 1)) {
    // Frequent case.
    return ptr();
  }
  const intptr_t kNumArgsTested = 1;
  ICData& result = ICData::Handle(ICData::NewFrom(*this, kNumArgsTested));
  const intptr_t len = NumberOfChecks();
  for (intptr_t i = 0; i < len; i++) {
    const intptr_t class_id = GetClassIdAt(i, arg_nr);
    const intptr_t count = GetCountAt(i);
    if (count == 0) {
      continue;
    }
    intptr_t duplicate_class_id = -1;
    const intptr_t result_len = result.NumberOfChecks();
    for (intptr_t k = 0; k < result_len; k++) {
      if (class_id == result.GetReceiverClassIdAt(k)) {
        duplicate_class_id = k;
        break;
      }
    }
    if (duplicate_class_id >= 0) {
      // This check is valid only when checking the receiver.
      ASSERT((arg_nr != 0) ||
             (result.GetTargetAt(duplicate_class_id) == GetTargetAt(i)));
      result.IncrementCountAt(duplicate_class_id, count);
    } else {
      // This will make sure that Smi is first if it exists.
      result.AddReceiverCheckInternal(class_id,
                                      Function::Handle(GetTargetAt(i)), count,
                                      StaticTypeExactnessState::NotTracking());
    }
  }
 
  return result.ptr();
}

◆ AsUnaryClassChecksSortedByCount()

ICDataPtr dart::ICData::AsUnaryClassChecksSortedByCount ( ) const

Definition at line 17201 of file object.cc.

                                                        {
  ASSERT(!IsNull());
  const intptr_t kNumArgsTested = 1;
  const intptr_t len = NumberOfChecks();
  if (len <= 1) {
    // No sorting needed.
    return AsUnaryClassChecks();
  }
  GrowableArray<CidCount> aggregate;
  for (intptr_t i = 0; i < len; i++) {
    const intptr_t class_id = GetClassIdAt(i, 0);
    const intptr_t count = GetCountAt(i);
    if (count == 0) {
      continue;
    }
    bool found = false;
    for (intptr_t r = 0; r < aggregate.length(); r++) {
      if (aggregate[r].cid == class_id) {
        aggregate[r].count += count;
        found = true;
        break;
      }
    }
    if (!found) {
      aggregate.Add(
          CidCount(class_id, count, &Function::ZoneHandle(GetTargetAt(i))));
    }
  }
  aggregate.Sort(CidCount::HighestCountFirst);
 
  ICData& result = ICData::Handle(ICData::NewFrom(*this, kNumArgsTested));
  ASSERT(result.NumberOfChecksIs(0));
  // Room for all entries and the sentinel.
  const intptr_t data_len = result.TestEntryLength() * (aggregate.length() + 1);
  // Allocate the array but do not assign it to result until we have populated
  // it with the aggregate data and the terminating sentinel.
  const Array& data = Array::Handle(Array::New(data_len, Heap::kOld));
  intptr_t pos = 0;
  for (intptr_t i = 0; i < aggregate.length(); i++) {
    data.SetAt(pos + 0, Smi::Handle(Smi::New(aggregate[i].cid)));
    data.SetAt(pos + TargetIndexFor(1), *aggregate[i].function);
    data.SetAt(pos + CountIndexFor(1),
               Smi::Handle(Smi::New(aggregate[i].count)));
 
    pos += result.TestEntryLength();
  }
  WriteSentinel(data, result.TestEntryLength(), result);
  result.set_entries(data);
  ASSERT(result.NumberOfChecksIs(aggregate.length()));
  return result.ptr();
}

◆ AsUnlinkedCall()

UnlinkedCallPtr dart::ICData::AsUnlinkedCall ( ) const

Definition at line 17253 of file object.cc.

                                             {
  ASSERT(NumArgsTested() == 1);
  ASSERT(!is_tracking_exactness());
  const UnlinkedCall& result = UnlinkedCall::Handle(UnlinkedCall::New());
  result.set_target_name(String::Handle(target_name()));
  result.set_arguments_descriptor(Array::Handle(arguments_descriptor()));
  result.set_can_patch_to_monomorphic(!FLAG_precompiled_mode ||
                                      receiver_cannot_be_smi());
  return result.ptr();
}

◆ Cleanup()

void dart::ICData::Cleanup ( )

static

Definition at line 17306 of file object.cc.

                     {
  for (int i = 0; i < kCachedICDataArrayCount; ++i) {
    cached_icdata_arrays_[i] = nullptr;
  }
}

◆ Clear()

void dart::ICData::Clear ( const CallSiteResetter & proof_of_reload ) const

inline

Definition at line 2583 of file object.h.

                                                            {
    TruncateTo(0, proof_of_reload);
  }

◆ ClearAndSetStaticTarget()

void dart::ICData::ClearAndSetStaticTarget	(	const Function &	func,
		const CallSiteResetter &	proof_of_reload
	)		const

Definition at line 16777 of file object.cc.

                                                   {
  USE(proof_of_reload);  // This method can only be called during reload.
 
  // The final entry is always the sentinel.
  DEBUG_ONLY(AssertInvariantsAreSatisfied());
 
  if (IsImmutable()) return;
  if (NumberOfChecks() == 0) return;
 
  // Leave one entry.
  TruncateTo(/*num_checks=*/1, proof_of_reload);
 
  // Reinitialize the one and only entry.
  const intptr_t num_args = NumArgsTested();
  Thread* thread = Thread::Current();
  REUSABLE_ARRAY_HANDLESCOPE(thread);
  Array& data = thread->ArrayHandle();
  data = entries();
  const Smi& object_cid = Smi::Handle(Smi::New(kObjectCid));
  for (intptr_t i = 0; i < num_args; i++) {
    data.SetAt(i, object_cid);
  }
  data.SetAt(TargetIndexFor(num_args), func);
  data.SetAt(CountIndexFor(num_args), Object::smi_zero());
}

◆ ClearCountAt()

void dart::ICData::ClearCountAt	(	intptr_t	index,
		const CallSiteResetter &	proof_of_reload
	)		const

Definition at line 16768 of file object.cc.

                                                                         {
  USE(proof_of_reload);  // This method can only be called during reload.
 
  ASSERT(index >= 0);
  ASSERT(index < NumberOfChecks());
  SetCountAt(index, 0);
}

◆ Clone()

ICDataPtr dart::ICData::Clone ( const ICData & from )

static

Definition at line 17486 of file object.cc.

                                          {
  Zone* zone = Thread::Current()->zone();
 
  // We have to check the megamorphic bit before accessing the entries of the
  // ICData to ensure all writes to the entries have been flushed and are
  // visible at this point.
  //
  // This will allow us to maintain the invariant that if the megamorphic bit is
  // set, the number of entries in the ICData have reached the limit.
  const bool is_megamorphic = from.is_megamorphic();
 
  const ICData& result = ICData::Handle(
      zone, ICData::NewDescriptor(
                zone, Function::Handle(zone, from.Owner()),
                String::Handle(zone, from.target_name()),
                Array::Handle(zone, from.arguments_descriptor()),
                from.deopt_id(), from.NumArgsTested(), from.rebind_rule(),
                AbstractType::Handle(zone, from.receivers_static_type())));
  // Clone entry array.
  const Array& from_array = Array::Handle(zone, from.entries());
  if (ICData::IsCachedEmptyEntry(from_array)) {
    result.set_entries(from_array);
  } else {
    const intptr_t len = from_array.Length();
    const Array& cloned_array =
        Array::Handle(zone, Array::New(len, Heap::kOld));
    Object& obj = Object::Handle(zone);
    for (intptr_t i = 0; i < len; i++) {
      obj = from_array.At(i);
      cloned_array.SetAt(i, obj);
    }
    // Update backref in our clone.
    cloned_array.SetAt(cloned_array.Length() - 1, result);
    result.set_entries(cloned_array);
  }
  // Copy deoptimization reasons.
  result.SetDeoptReasons(from.DeoptReasons());
  result.set_is_megamorphic(is_megamorphic);
 
  RELEASE_ASSERT(!is_megamorphic ||
                 result.NumberOfChecks() >= FLAG_max_polymorphic_checks);
 
  DEBUG_ONLY(result.AssertInvariantsAreSatisfied());
 
  return result.ptr();
}

◆ CodeIndexFor()

static intptr_t dart::ICData::CodeIndexFor ( intptr_t num_args )

inlinestatic

Definition at line 2733 of file object.h.

2733{ return num_args + 1; }

◆ CountIndexFor()

static intptr_t dart::ICData::CountIndexFor ( intptr_t num_args )

inlinestatic

Definition at line 2729 of file object.h.

2729{ return num_args; }

◆ DebugDump()

void dart::ICData::DebugDump ( ) const

Definition at line 16904 of file object.cc.

                             {
  const Function& owner = Function::Handle(Owner());
  THR_Print("ICData::DebugDump\n");
  THR_Print("Owner = %s [deopt=%" Pd "]\n", owner.ToCString(), deopt_id());
  THR_Print("NumArgsTested = %" Pd "\n", NumArgsTested());
  THR_Print("Length = %" Pd "\n", Length());
  THR_Print("NumberOfChecks = %" Pd "\n", NumberOfChecks());
 
  GrowableArray<intptr_t> class_ids;
  for (intptr_t i = 0; i < NumberOfChecks(); i++) {
    THR_Print("Check[%" Pd "]:", i);
    GetClassIdsAt(i, &class_ids);
    for (intptr_t c = 0; c < class_ids.length(); c++) {
      THR_Print(" %" Pd "", class_ids[c]);
    }
    THR_Print("--- %" Pd " hits\n", GetCountAt(i));
  }
}

◆ deopt_id()

intptr_t dart::ICData::deopt_id ( ) const

inline

Definition at line 2448 of file object.h.

                            {
#if defined(DART_PRECOMPILED_RUNTIME)
    UNREACHABLE();
    return -1;
#else
    return untag()->deopt_id_;
#endif
  }

◆ DeoptReasons()

uint32_t dart::ICData::DeoptReasons ( ) const

Definition at line 16552 of file object.cc.

                                    {
  return untag()->state_bits_.Read<DeoptReasonBits>();
}

◆ EnsureHasCheck()

void dart::ICData::EnsureHasCheck	(	const GrowableArray< intptr_t > &	class_ids,
		const Function &	target,
		intptr_t	count = `1`
	)		const

Definition at line 16822 of file object.cc.

                                                  {
  SafepointMutexLocker ml(IsolateGroup::Current()->type_feedback_mutex());
 
  if (FindCheck(class_ids) != -1) return;
  AddCheckInternal(class_ids, target, count);
}

◆ EnsureHasReceiverCheck()

void dart::ICData::EnsureHasReceiverCheck	(	intptr_t	receiver_class_id,
		const Function &	target,
		intptr_t	count = `1`,
		StaticTypeExactnessState	exactness = `StaticTypeExactnessState::NotTracking()`
	)		const

Definition at line 16923 of file object.cc.

                                                                              {
  SafepointMutexLocker ml(IsolateGroup::Current()->type_feedback_mutex());
 
  GrowableArray<intptr_t> class_ids(1);
  class_ids.Add(receiver_class_id);
  if (FindCheck(class_ids) != -1) return;
 
  AddReceiverCheckInternal(receiver_class_id, target, count, exactness);
}

◆ entries()

ArrayPtr dart::ICData::entries ( ) const

inline

Definition at line 2763 of file object.h.

                           {
    return untag()->entries<std::memory_order_acquire>();
  }

◆ entries_offset()

static intptr_t dart::ICData::entries_offset ( )

inlinestatic

Definition at line 2570 of file object.h.

                                   {
    return OFFSET_OF(UntaggedICData, entries_);
  }

◆ EntryPointIndexFor()

static intptr_t dart::ICData::EntryPointIndexFor ( intptr_t num_args )

inlinestatic

Definition at line 2730 of file object.h.

2730{ return num_args; }

◆ ExactnessIndexFor()

static intptr_t dart::ICData::ExactnessIndexFor ( intptr_t num_args )

inlinestatic

Definition at line 2735 of file object.h.

2735{ return num_args + 2; }

◆ FindCheck()

intptr_t dart::ICData::FindCheck ( const GrowableArray< intptr_t > & cids ) const

Definition at line 16717 of file object.cc.

                                                                    {
  const intptr_t len = NumberOfChecks();
  GrowableArray<intptr_t> class_ids;
  for (intptr_t i = 0; i < len; i++) {
    GetClassIdsAt(i, &class_ids);
    bool matches = true;
    for (intptr_t k = 0; k < class_ids.length(); k++) {
      ASSERT(class_ids[k] != kIllegalCid);
      if (class_ids[k] != cids[k]) {
        matches = false;
        break;
      }
    }
    if (matches) {
      return i;
    }
  }
  return -1;
}

◆ GetCheckAt()

void dart::ICData::GetCheckAt	(	intptr_t	index,
		GrowableArray< intptr_t > *	class_ids,
		Function *	target
	)		const

Definition at line 17002 of file object.cc.

                                                {
  ASSERT(index < NumberOfChecks());
  ASSERT(class_ids != nullptr);
  ASSERT(target != nullptr);
  class_ids->Clear();
  Thread* thread = Thread::Current();
  REUSABLE_ARRAY_HANDLESCOPE(thread);
  Array& data = thread->ArrayHandle();
  data = entries();
  intptr_t data_pos = index * TestEntryLength();
  for (intptr_t i = 0; i < NumArgsTested(); i++) {
    class_ids->Add(Smi::Value(Smi::RawCast(data.At(data_pos + i))));
  }
  (*target) ^= data.At(data_pos + TargetIndexFor(NumArgsTested()));
}

◆ GetCidAt()

intptr_t dart::ICData::GetCidAt ( intptr_t index ) const

Definition at line 17051 of file object.cc.

                                              {
  ASSERT(NumArgsTested() == 1);
  Thread* thread = Thread::Current();
  REUSABLE_ARRAY_HANDLESCOPE(thread);
  Array& data = thread->ArrayHandle();
  data = entries();
  const intptr_t data_pos = index * TestEntryLength();
  return Smi::Value(Smi::RawCast(data.At(data_pos)));
}

◆ GetClassIdAt()

intptr_t dart::ICData::GetClassIdAt	(	intptr_t	index,
		intptr_t	arg_nr
	)		const

Definition at line 17061 of file object.cc.

                                                                   {
  GrowableArray<intptr_t> class_ids;
  GetClassIdsAt(index, &class_ids);
  return class_ids[arg_nr];
}

◆ GetClassIdsAt()

void dart::ICData::GetClassIdsAt	(	intptr_t	index,
		GrowableArray< intptr_t > *	class_ids
	)		const

Definition at line 17020 of file object.cc.

                                                                     {
  ASSERT(index < Length());
  ASSERT(class_ids != nullptr);
  ASSERT(IsValidEntryIndex(index));
  class_ids->Clear();
  Thread* thread = Thread::Current();
  REUSABLE_ARRAY_HANDLESCOPE(thread);
  Array& data = thread->ArrayHandle();
  data = entries();
  intptr_t data_pos = index * TestEntryLength();
  for (intptr_t i = 0; i < NumArgsTested(); i++) {
    class_ids->Add(Smi::Value(Smi::RawCast(data.At(data_pos++))));
  }
}

◆ GetCountAt()

intptr_t dart::ICData::GetCountAt ( intptr_t index ) const

Definition at line 17110 of file object.cc.

                                                {
#if defined(DART_PRECOMPILED_RUNTIME)
  UNREACHABLE();
  return 0;
#else
  Thread* thread = Thread::Current();
  REUSABLE_ARRAY_HANDLESCOPE(thread);
  Array& data = thread->ArrayHandle();
  data = entries();
  const intptr_t data_pos =
      index * TestEntryLength() + CountIndexFor(NumArgsTested());
  intptr_t value = Smi::Value(Smi::RawCast(data.At(data_pos)));
  if (value >= 0) return value;
 
  // The counter very rarely overflows to a negative value, but if it does, we
  // would rather just reset it to zero.
  SetCountAt(index, 0);
  return 0;
#endif
}

◆ GetExactnessAt()

StaticTypeExactnessState dart::ICData::GetExactnessAt ( intptr_t count ) const

Definition at line 16988 of file object.cc.

                                                                    {
  if (!is_tracking_exactness()) {
    return StaticTypeExactnessState::NotTracking();
  }
  Thread* thread = Thread::Current();
  REUSABLE_ARRAY_HANDLESCOPE(thread);
  Array& data = thread->ArrayHandle();
  data = entries();
  intptr_t data_pos =
      index * TestEntryLength() + ExactnessIndexFor(NumArgsTested());
  return StaticTypeExactnessState::Decode(
      Smi::Value(Smi::RawCast(data.At(data_pos))));
}

◆ GetOneClassCheckAt()

void dart::ICData::GetOneClassCheckAt	(	intptr_t	index,
		intptr_t *	class_id,
		Function *	target
	)		const

Definition at line 17036 of file object.cc.

                                                        {
  ASSERT(class_id != nullptr);
  ASSERT(target != nullptr);
  ASSERT(NumArgsTested() == 1);
  Thread* thread = Thread::Current();
  REUSABLE_ARRAY_HANDLESCOPE(thread);
  Array& data = thread->ArrayHandle();
  data = entries();
  const intptr_t data_pos = index * TestEntryLength();
  *class_id = Smi::Value(Smi::RawCast(data.At(data_pos)));
  *target ^= data.At(data_pos + TargetIndexFor(NumArgsTested()));
}

◆ GetReceiverClassIdAt()

intptr_t dart::ICData::GetReceiverClassIdAt ( intptr_t index ) const

Definition at line 17067 of file object.cc.

                                                          {
  ASSERT(index < Length());
  ASSERT(IsValidEntryIndex(index));
  const intptr_t data_pos = index * TestEntryLength();
  NoSafepointScope no_safepoint;
  ArrayPtr raw_data = entries();
  return Smi::Value(Smi::RawCast(raw_data->untag()->element(data_pos)));
}

◆ GetTargetAt()

FunctionPtr dart::ICData::GetTargetAt ( intptr_t index ) const

Definition at line 17076 of file object.cc.

                                                    {
#if defined(DART_PRECOMPILED_RUNTIME)
  UNREACHABLE();
  return nullptr;
#else
  const intptr_t data_pos =
      index * TestEntryLength() + TargetIndexFor(NumArgsTested());
  ASSERT(Object::Handle(Array::Handle(entries()).At(data_pos)).IsFunction());
 
  NoSafepointScope no_safepoint;
  ArrayPtr raw_data = entries();
  return static_cast<FunctionPtr>(raw_data->untag()->element(data_pos));
#endif
}

◆ HasDeoptReason()

bool dart::ICData::HasDeoptReason ( ICData::DeoptReasonId reason ) const

Definition at line 16560 of file object.cc.

                                                      {
  ASSERT(reason <= kLastRecordedDeoptReason);
  return (DeoptReasons() & (1 << reason)) != 0;
}

◆ HasDeoptReasons()

bool dart::ICData::HasDeoptReasons ( ) const

inline

Definition at line 2508 of file object.h.

2508{ return DeoptReasons() != 0; }

◆ Hash()

uword dart::ICData::Hash ( ) const

Definition at line 16457 of file object.cc.

                         {
  return String::HashRawSymbol(target_name()) ^ deopt_id();
}

◆ HasReceiverClassId()

bool dart::ICData::HasReceiverClassId ( intptr_t class_id ) const

Definition at line 17264 of file object.cc.

                                                       {
  ASSERT(NumArgsTested() > 0);
  const intptr_t len = NumberOfChecks();
  for (intptr_t i = 0; i < len; i++) {
    if (IsUsedAt(i)) {
      const intptr_t test_class_id = GetReceiverClassIdAt(i);
      if (test_class_id == class_id) {
        return true;
      }
    }
  }
  return false;
}

◆ ICDataOfEntriesArray()

ICDataPtr dart::ICData::ICDataOfEntriesArray ( const Array & array )

static

Definition at line 17534 of file object.cc.

                                                         {
  const auto& back_ref = Object::Handle(array.At(array.Length() - 1));
  if (back_ref.ptr() == smi_illegal_cid().ptr()) {
    ASSERT(IsCachedEmptyEntry(array));
    return ICData::null();
  }
 
  const auto& ic_data = ICData::Cast(back_ref);
  DEBUG_ONLY(ic_data.AssertInvariantsAreSatisfied());
  return ic_data.ptr();
}

◆ IncrementCountAt()

void dart::ICData::IncrementCountAt	(	intptr_t	index,
		intptr_t	value
	)		const

Definition at line 17091 of file object.cc.

                                                                  {
  ASSERT(0 <= value);
  ASSERT(value <= Smi::kMaxValue);
  SetCountAt(index, Utils::Minimum(GetCountAt(index) + value, Smi::kMaxValue));
}

◆ Init()

void dart::ICData::Init ( )

static

Definition at line 17295 of file object.cc.

                  {
  for (int i = 0; i <= kCachedICDataMaxArgsTestedWithoutExactnessTracking;
       i++) {
    cached_icdata_arrays_
        [kCachedICDataZeroArgTestedWithoutExactnessTrackingIdx + i] =
            ICData::NewNonCachedEmptyICDataArray(i, false);
  }
  cached_icdata_arrays_[kCachedICDataOneArgWithExactnessTrackingIdx] =
      ICData::NewNonCachedEmptyICDataArray(1, true);
}

◆ InstanceSize()

static intptr_t dart::ICData::InstanceSize ( )

inlinestatic

Definition at line 2556 of file object.h.

                                 {
    return RoundedAllocationSize(sizeof(UntaggedICData));
  }

◆ is_static_call()

bool dart::ICData::is_static_call ( ) const

Definition at line 16602 of file object.cc.

                                  {
  return rebind_rule() != kInstance;
}

◆ is_tracking_exactness()

bool dart::ICData::is_tracking_exactness ( ) const

inline

Definition at line 2463 of file object.h.

                                     {
    return untag()->state_bits_.Read<TrackingExactnessBit>();
  }

◆ IsImmutable()

bool dart::ICData::IsImmutable ( ) const

Definition at line 17377 of file object.cc.

                               {
  return entries()->IsImmutableArray();
}

◆ IsOriginal()

bool dart::ICData::IsOriginal ( ) const

inline

Definition at line 2444 of file object.h.

2444{ return Original() == this->ptr(); }

dart::ICData::Original

ICDataPtr Original() const

Definition object.cc:16484

◆ IsUsedAt()

bool dart::ICData::IsUsedAt ( intptr_t i ) const

Definition at line 17279 of file object.cc.

                                      {
  if (GetCountAt(i) <= 0) {
    // Do not mistake unoptimized static call ICData for unused.
    // See ICData::AddTarget.
    // TODO(srdjan): Make this test more robust.
    if (NumArgsTested() > 0) {
      const intptr_t cid = GetReceiverClassIdAt(i);
      if (cid == kObjectCid) {
        return true;
      }
    }
    return false;
  }
  return true;
}

◆ IsValidEntryIndex()

bool dart::ICData::IsValidEntryIndex ( intptr_t index ) const

inline

Definition at line 2552 of file object.h.

                                               {
    return 0 <= index && index < NumberOfChecks();
  }

◆ Length()

intptr_t dart::ICData::Length ( ) const

Definition at line 16620 of file object.cc.

                              {
  return (Smi::Value(entries()->untag()->length()) / TestEntryLength());
}

◆ New()

ICDataPtr dart::ICData::New	(	const Function &	owner,
		const String &	target_name,
		const Array &	arguments_descriptor,
		intptr_t	deopt_id,
		intptr_t	num_args_tested,
		RebindRule	rebind_rule,
		const AbstractType &	receiver_type = `Object::null_abstract_type()`
	)

static

Definition at line 17389 of file object.cc.

                                                                 {
  Zone* zone = Thread::Current()->zone();
  const ICData& result = ICData::Handle(
      zone,
      NewDescriptor(zone, owner, target_name, arguments_descriptor, deopt_id,
                    num_args_tested, rebind_rule, receivers_static_type));
  result.set_entries(Array::Handle(
      zone,
      CachedEmptyICDataArray(num_args_tested, result.is_tracking_exactness())));
  return result.ptr();
}

◆ NewForStaticCall()

ICDataPtr dart::ICData::NewForStaticCall	(	const Function &	owner,
		const Function &	target,
		const Array &	arguments_descriptor,
		intptr_t	deopt_id,
		intptr_t	num_args_tested,
		RebindRule	rebind_rule
	)

static

Definition at line 17448 of file object.cc.

                                                           {
  // See `MethodRecognizer::NumArgsCheckedForStaticCall`.
  ASSERT(num_args_tested == 0 || num_args_tested == 2);
  ASSERT(!target.IsNull());
 
  Zone* zone = Thread::Current()->zone();
  const auto& target_name = String::Handle(zone, target.name());
  GrowableArray<intptr_t> cids(num_args_tested);
  if (num_args_tested == 2) {
    cids.Add(kObjectCid);
    cids.Add(kObjectCid);
  }
  return ICData::NewWithCheck(owner, target_name, arguments_descriptor,
                              deopt_id, num_args_tested, rebind_rule, &cids,
                              target, Object::null_abstract_type());
}

◆ NewFrom()

ICDataPtr dart::ICData::NewFrom	(	const ICData &	from,
		intptr_t	num_args_tested
	)

static

Definition at line 17471 of file object.cc.

                                                                      {
  // See comment in [ICData::Clone] why we access the megamorphic bit first.
  const bool is_megamorphic = from.is_megamorphic();
 
  const ICData& result = ICData::Handle(ICData::New(
      Function::Handle(from.Owner()), String::Handle(from.target_name()),
      Array::Handle(from.arguments_descriptor()), from.deopt_id(),
      num_args_tested, from.rebind_rule(),
      AbstractType::Handle(from.receivers_static_type())));
  // Copy deoptimization reasons.
  result.SetDeoptReasons(from.DeoptReasons());
  result.set_is_megamorphic(is_megamorphic);
  return result.ptr();
}

◆ NewWithCheck()

ICDataPtr dart::ICData::NewWithCheck	(	const Function &	owner,
		const String &	target_name,
		const Array &	arguments_descriptor,
		intptr_t	deopt_id,
		intptr_t	num_args_tested,
		RebindRule	rebind_rule,
		GrowableArray< intptr_t > *	cids,
		const Function &	target,
		const AbstractType &	receiver_type = `Object::null_abstract_type()`
	)

static

Definition at line 17407 of file object.cc.

                                                                  {
  ASSERT((cids != nullptr) && !target.IsNull());
  ASSERT(cids->length() == num_args_tested);
 
  Zone* zone = Thread::Current()->zone();
  const auto& result = ICData::Handle(
      zone,
      NewDescriptor(zone, owner, target_name, arguments_descriptor, deopt_id,
                    num_args_tested, rebind_rule, receiver_type));
 
  const intptr_t kNumEntries = 2;  // 1 entry and a sentinel.
  const intptr_t entry_len =
      TestEntryLengthFor(num_args_tested, result.is_tracking_exactness());
  const auto& array =
      Array::Handle(zone, Array::New(kNumEntries * entry_len, Heap::kOld));
 
  auto& cid = Smi::Handle(zone);
  for (intptr_t i = 0; i < num_args_tested; ++i) {
    cid = Smi::New((*cids)[i]);
    array.SetAt(i, cid);
  }
 
  SetTargetAtPos(array, 0, num_args_tested, target);
#if !defined(DART_PRECOMPILED_RUNTIME)
  array.SetAt(CountIndexFor(num_args_tested), Object::smi_zero());
#endif
  WriteSentinel(array, entry_len, result);
 
  result.set_entries(array);
 
  return result.ptr();
}

◆ NumArgsTested()

intptr_t dart::ICData::NumArgsTested ( ) const

Definition at line 16518 of file object.cc.

                                     {
  return untag()->state_bits_.Read<NumArgsTestedBits>();
}

◆ NumArgsTestedMask()

static intptr_t dart::ICData::NumArgsTestedMask ( )

inlinestatic

Definition at line 2566 of file object.h.

                                      {
    return ((1 << kNumArgsTestedSize) - 1) << kNumArgsTestedPos;
  }

◆ NumArgsTestedShift()

static intptr_t dart::ICData::NumArgsTestedShift ( )

inlinestatic

Definition at line 2564 of file object.h.

2564{ return kNumArgsTestedPos; }

◆ NumberOfChecks()

intptr_t dart::ICData::NumberOfChecks ( ) const

Definition at line 16624 of file object.cc.

                                      {
  DEBUG_ONLY(AssertInvariantsAreSatisfied());
  return Length() - 1;
}

◆ NumberOfChecksIs()

bool dart::ICData::NumberOfChecksIs ( intptr_t n ) const

Definition at line 16629 of file object.cc.

                                              {
  DEBUG_ONLY(AssertInvariantsAreSatisfied());
  return NumberOfChecks() == n;
}

◆ NumberOfUsedChecks()

intptr_t dart::ICData::NumberOfUsedChecks ( ) const

Definition at line 16687 of file object.cc.

                                          {
  const intptr_t n = NumberOfChecks();
  intptr_t count = 0;
  for (intptr_t i = 0; i < n; i++) {
    if (GetCountAt(i) > 0) {
      count++;
    }
  }
  return count;
}

◆ Original()

ICDataPtr dart::ICData::Original ( ) const

Definition at line 16484 of file object.cc.

                                 {
  if (IsNull()) {
    return ICData::null();
  }
  if (untag()->owner()->IsICData()) {
    return static_cast<ICDataPtr>(untag()->owner());
  }
  return this->ptr();
}

◆ Owner()

FunctionPtr dart::ICData::Owner ( ) const

Definition at line 16470 of file object.cc.

                                {
  Object& obj = Object::Handle(untag()->owner());
  if (obj.IsNull()) {
    ASSERT(Dart::vm_snapshot_kind() == Snapshot::kFullAOT);
    return Function::null();
  } else if (obj.IsFunction()) {
    return Function::Cast(obj).ptr();
  } else {
    ICData& original = ICData::Handle();
    original ^= obj.ptr();
    return original.Owner();
  }
}

◆ owner_offset()

static intptr_t dart::ICData::owner_offset ( )

inlinestatic

Definition at line 2574 of file object.h.

2574{ return OFFSET_OF(UntaggedICData, owner_); }

◆ ParseRebindRule()

bool dart::ICData::ParseRebindRule	(	const char *	str,
		RebindRule *	out
	)

static

Definition at line 16583 of file object.cc.

                                                             {
#define RULE_CASE(Name)                                                        \
  if (strcmp(str, #Name) == 0) {                                               \
    *out = RebindRule::k##Name;                                                \
    return true;                                                               \
  }
  FOR_EACH_REBIND_RULE(RULE_CASE)
#undef RULE_CASE
  return false;
}

◆ PrintToJSONArray()

void dart::ICData::PrintToJSONArray	(	const JSONArray &	jsarray,
		TokenPosition	token_pos
	)		const

Definition at line 993 of file object_service.cc.

                                                             {
  auto class_table = IsolateGroup::Current()->class_table();
  Class& cls = Class::Handle();
  Function& func = Function::Handle();
 
  JSONObject jsobj(&jsarray);
  jsobj.AddProperty("name", String::Handle(target_name()).ToCString());
  jsobj.AddProperty("tokenPos", static_cast<intptr_t>(token_pos.Serialize()));
  // TODO(rmacnak): Figure out how to stringify DeoptReasons().
  // jsobj.AddProperty("deoptReasons", ...);
 
  JSONArray cache_entries(&jsobj, "cacheEntries");
  for (intptr_t i = 0; i < NumberOfChecks(); i++) {
    JSONObject cache_entry(&cache_entries);
    func = GetTargetAt(i);
    intptr_t count = GetCountAt(i);
    if (!is_static_call()) {
      intptr_t cid = GetReceiverClassIdAt(i);
      cls = class_table->At(cid);
      cache_entry.AddProperty("receiver", cls);
    }
    cache_entry.AddProperty("target", func);
    cache_entry.AddProperty("count", count);
  }
}

◆ rebind_rule()

ICData::RebindRule dart::ICData::rebind_rule ( ) const

Definition at line 16594 of file object.cc.

                                           {
  return RebindRule(untag()->state_bits_.Read<RebindRuleBits>());
}

◆ RebindRuleToCString()

const char * dart::ICData::RebindRuleToCString ( RebindRule r )

static

Definition at line 16571 of file object.cc.

                                                    {
  switch (r) {
#define RULE_CASE(Name)                                                        \
  case RebindRule::k##Name:                                                    \
    return #Name;
    FOR_EACH_REBIND_RULE(RULE_CASE)
#undef RULE_CASE
    default:
      return nullptr;
  }
}

◆ receiver_cannot_be_smi()

bool dart::ICData::receiver_cannot_be_smi ( ) const

inline

Definition at line 2767 of file object.h.

                                      {
    return untag()->state_bits_.Read<ReceiverCannotBeSmiBit>();
  }

◆ receivers_static_type()

AbstractTypePtr dart::ICData::receivers_static_type ( ) const

inline

Definition at line 2460 of file object.h.

                                                {
    return untag()->receivers_static_type();
  }

◆ receivers_static_type_offset()

static intptr_t dart::ICData::receivers_static_type_offset ( )

inlinestatic

Definition at line 2577 of file object.h.

                                                 {
    return OFFSET_OF(UntaggedICData, receivers_static_type_);
  }

◆ set_is_megamorphic()

void dart::ICData::set_is_megamorphic ( bool value ) const

inline

Definition at line 2535 of file object.h.

                                            {
    untag()->state_bits_.UpdateBool<MegamorphicBit, std::memory_order_release>(
        value);
  }

◆ set_receiver_cannot_be_smi()

void dart::ICData::set_receiver_cannot_be_smi ( bool value ) const

inline

Definition at line 2771 of file object.h.

                                                    {
    untag()->state_bits_.UpdateBool<ReceiverCannotBeSmiBit>(value);
  }

◆ SetCountAt()

void dart::ICData::SetCountAt	(	intptr_t	index,
		intptr_t	value
	)		const

Definition at line 17097 of file object.cc.

                                                            {
  ASSERT(0 <= value);
  ASSERT(value <= Smi::kMaxValue);
 
  Thread* thread = Thread::Current();
  REUSABLE_ARRAY_HANDLESCOPE(thread);
  Array& data = thread->ArrayHandle();
  data = entries();
  const intptr_t data_pos =
      index * TestEntryLength() + CountIndexFor(NumArgsTested());
  data.SetAt(data_pos, Smi::Handle(Smi::New(value)));
}

◆ SetDeoptReasons()

void dart::ICData::SetDeoptReasons ( uint32_t reasons ) const

Definition at line 16556 of file object.cc.

                                                   {
  untag()->state_bits_.Update<DeoptReasonBits>(reasons);
}

◆ SetOriginal()

void dart::ICData::SetOriginal ( const ICData & value ) const

Definition at line 16494 of file object.cc.

                                                  {
  ASSERT(value.IsOriginal());
  ASSERT(!value.IsNull());
  untag()->set_owner(static_cast<ObjectPtr>(value.ptr()));
}

◆ state_bits_offset()

static intptr_t dart::ICData::state_bits_offset ( )

inlinestatic

Definition at line 2560 of file object.h.

                                      {
    return OFFSET_OF(UntaggedICData, state_bits_);
  }

◆ TargetIndexFor()

static intptr_t dart::ICData::TargetIndexFor ( intptr_t num_args )

inlinestatic

Definition at line 2732 of file object.h.

2732{ return num_args + 1; }

◆ TestEntryLengthFor()

intptr_t dart::ICData::TestEntryLengthFor	(	intptr_t	num_args,
		bool	tracking_exactness
	)

static

Definition at line 16610 of file object.cc.

                                                             {
  return num_args + 1 /* target function*/ + 1 /* frequency */ +
         (tracking_exactness ? 1 : 0) /* exactness state */;
}

◆ TruncateTo()

void dart::ICData::TruncateTo	(	intptr_t	num_checks,
		const CallSiteResetter &	proof_of_reload
	)		const

Definition at line 16737 of file object.cc.

                                                                       {
  USE(proof_of_reload);  // This method can only be called during reload.
 
  DEBUG_ONLY(AssertInvariantsAreSatisfied());
  ASSERT(num_checks <= NumberOfChecks());
 
  // Nothing to do.
  if (NumberOfChecks() == num_checks) return;
 
  auto thread = Thread::Current();
  REUSABLE_ARRAY_HANDLESCOPE(thread);
  auto& array = thread->ArrayHandle();
 
  // If we make the ICData empty, use the pre-allocated shared backing stores.
  const intptr_t num_args = NumArgsTested();
  if (num_checks == 0) {
    array = ICData::CachedEmptyICDataArray(num_args, is_tracking_exactness());
    set_entries(array);
    return;
  }
 
  // Otherwise truncate array and initialize sentinel.
  // Use kSmiCid for all slots in the entry except the last, which is a backref
  // to ICData.
  const intptr_t entry_length = TestEntryLength();
  array = entries();
  array.Truncate((num_checks + 1) * entry_length);
  WriteSentinel(array, entry_length, *this);
}

Friends And Related Symbol Documentation

◆ CallSiteResetter

friend class CallSiteResetter

friend

Definition at line 2896 of file object.h.

◆ CallTargets

friend class CallTargets

friend

Definition at line 2897 of file object.h.

◆ Class

friend class Class

friend

Definition at line 2898 of file object.h.

◆ ICDataTestTask

friend class ICDataTestTask

friend

Definition at line 2900 of file object.h.

◆ VMDeserializationRoots

friend class VMDeserializationRoots

friend

Definition at line 2899 of file object.h.

◆ VMSerializationRoots

friend class VMSerializationRoots

friend

Definition at line 2901 of file object.h.

Member Data Documentation

◆ kLastRecordedDeoptReason

constexpr intptr_t dart::ICData::kLastRecordedDeoptReason = kDeoptUnknown - 1

staticconstexpr

Definition at line 2498 of file object.h.

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

third_party/dart-lang/sdk/runtime/vm/object.h
third_party/dart-lang/sdk/runtime/vm/object.cc
third_party/dart-lang/sdk/runtime/vm/object_service.cc

Public Types

Public Member Functions

Static Public Member Functions

Static Public Attributes

Friends

Additional Inherited Members

Detailed Description

Member Enumeration Documentation

◆ anonymous enum

◆ DeoptFlags

◆ DeoptReasonId

◆ RebindRule

Member Function Documentation

◆ AddCheck()

◆ AddDeoptReason()

◆ AddReceiverCheck()

◆ AggregateCount()

◆ AsUnaryClassChecks()

◆ AsUnaryClassChecksForArgNr()

◆ AsUnaryClassChecksSortedByCount()

◆ AsUnlinkedCall()

◆ Cleanup()

◆ Clear()

◆ ClearAndSetStaticTarget()

◆ ClearCountAt()

◆ Clone()

◆ CodeIndexFor()

◆ CountIndexFor()

◆ DebugDump()

◆ deopt_id()

◆ DeoptReasons()

◆ EnsureHasCheck()

◆ EnsureHasReceiverCheck()

◆ entries()

◆ entries_offset()

◆ EntryPointIndexFor()

◆ ExactnessIndexFor()

◆ FindCheck()

◆ GetCheckAt()

◆ GetCidAt()

◆ GetClassIdAt()

◆ GetClassIdsAt()

◆ GetCountAt()

◆ GetExactnessAt()

◆ GetOneClassCheckAt()

◆ GetReceiverClassIdAt()

◆ GetTargetAt()

◆ HasDeoptReason()

◆ HasDeoptReasons()

◆ Hash()

◆ HasReceiverClassId()

◆ ICDataOfEntriesArray()

◆ IncrementCountAt()

◆ Init()

◆ InstanceSize()

◆ is_static_call()

◆ is_tracking_exactness()

◆ IsImmutable()

◆ IsOriginal()

◆ IsUsedAt()

◆ IsValidEntryIndex()

◆ Length()

◆ New()

◆ NewForStaticCall()

◆ NewFrom()

◆ NewWithCheck()

◆ NumArgsTested()

◆ NumArgsTestedMask()

◆ NumArgsTestedShift()

◆ NumberOfChecks()

◆ NumberOfChecksIs()

◆ NumberOfUsedChecks()

◆ Original()

◆ Owner()

◆ owner_offset()

◆ ParseRebindRule()

◆ PrintToJSONArray()

◆ rebind_rule()

◆ RebindRuleToCString()

◆ receiver_cannot_be_smi()