#include <il.h>

Inheritance diagram for dart::InstanceCallInstr:

Public Member Functions
	InstanceCallInstr (const InstructionSource &source, const String &function_name, Token::Kind token_kind, InputsArray &&arguments, intptr_t type_args_len, const Array &argument_names, intptr_t checked_argument_count, const ZoneGrowableArray< const ICData * > &ic_data_array, intptr_t deopt_id, const Function &interface_target=Function::null_function(), const Function &tearoff_interface_target=Function::null_function())

	InstanceCallInstr (const InstructionSource &source, const String &function_name, Token::Kind token_kind, InputsArray &&arguments, intptr_t type_args_len, const Array &argument_names, intptr_t checked_argument_count, intptr_t deopt_id, const Function &interface_target=Function::null_function(), const Function &tearoff_interface_target=Function::null_function())

intptr_t	checked_argument_count () const

virtual intptr_t	CallCount () const

void	set_receivers_static_type (const AbstractType *receiver_type)

virtual Definition *	Canonicalize (FlowGraph *flow_graph)

PRINT_OPERANDS_TO_SUPPORT bool	MatchesCoreName (const String &name)

const class BinaryFeedback &	BinaryFeedback ()

void	SetBinaryFeedback (const class BinaryFeedback *binary)

const CallTargets &	Targets ()

void	SetTargets (const CallTargets *targets)

void	EnsureICData (FlowGraph *graph)

	DISALLOW_COPY_AND_ASSIGN (InstanceCallInstr)

Public Member Functions inherited from dart::InstanceCallBaseInstr
	InstanceCallBaseInstr (const InstructionSource &source, const String &function_name, Token::Kind token_kind, InputsArray &&arguments, intptr_t type_args_len, const Array &argument_names, const ICData *ic_data, intptr_t deopt_id, const Function &interface_target, const Function &tearoff_interface_target)

const ICData *	ic_data () const

bool	HasICData () const

void	set_ic_data (const ICData *value)

const String &	function_name () const

Token::Kind	token_kind () const

const Function &	interface_target () const

const Function &	tearoff_interface_target () const

bool	has_unique_selector () const

void	set_has_unique_selector (bool b)

virtual CompileType	ComputeType () const

virtual bool	CanBecomeDeoptimizationTarget () const

virtual bool	HasUnknownSideEffects () const

void	SetResultType (Zone *zone, CompileType new_type)

CompileType *	result_type () const

intptr_t	result_cid () const

FunctionPtr	ResolveForReceiverClass (const Class &cls, bool allow_add=true)

Code::EntryKind	entry_kind () const

void	set_entry_kind (Code::EntryKind value)

void	mark_as_call_on_this ()

bool	is_call_on_this () const

	DECLARE_ABSTRACT_INSTRUCTION (InstanceCallBase)

bool	receiver_is_not_smi () const

void	set_receiver_is_not_smi (bool value)

void	UpdateReceiverSminess (Zone *zone)

bool	CanReceiverBeSmiBasedOnInterfaceTarget (Zone *zone) const

virtual SpeculativeMode	SpeculativeModeOfInput (intptr_t idx) const

virtual intptr_t	ArgumentsSize () const

virtual Representation	RequiredInputRepresentation (intptr_t idx) const

virtual intptr_t	DeoptimizationTarget () const

virtual Representation	representation () const

DECLARE_INSTRUCTION_SERIALIZABLE_FIELDS(InstanceCallBaseInstr, TemplateDartCall, FIELD_LIST) protected void	set_ic_data (ICData *value)

void	set_result_type (CompileType *result_type)

Public Member Functions inherited from dart::TemplateDartCall< 0 >
	TemplateDartCall (intptr_t deopt_id, intptr_t type_args_len, const Array &argument_names, InputsArray &&inputs, const InstructionSource &source)

StringPtr	Selector ()

virtual bool	MayThrow () const

virtual bool	CanCallDart () const

virtual bool	ComputeCanDeoptimize () const

virtual bool	ComputeCanDeoptimizeAfterCall () const

virtual intptr_t	NumberOfInputsConsumedBeforeCall () const

intptr_t	FirstArgIndex () const

Value *	Receiver () const

intptr_t	ArgumentCountWithoutTypeArgs () const

intptr_t	ArgumentsSizeWithoutTypeArgs () const

intptr_t	ArgumentCount () const

virtual void	SetMoveArguments (MoveArgumentsArray *move_arguments)

virtual MoveArgumentsArray *	GetMoveArguments () const

virtual void	ReplaceInputsWithMoveArguments (MoveArgumentsArray *move_arguments)

intptr_t	type_args_len () const

const Array &	argument_names () const

virtual TokenPosition	token_pos () const

ArrayPtr	GetArgumentsDescriptor () const

Public Member Functions inherited from dart::VariadicDefinition
	VariadicDefinition (InputsArray &&inputs, intptr_t deopt_id=DeoptId::kNone)

	VariadicDefinition (InputsArray &&inputs, const InstructionSource &source, intptr_t deopt_id=DeoptId::kNone)

	VariadicDefinition (const intptr_t num_inputs, intptr_t deopt_id=DeoptId::kNone)

intptr_t	InputCount () const

Value *	InputAt (intptr_t i) const

Public Member Functions inherited from dart::Definition
	Definition (intptr_t deopt_id=DeoptId::kNone)

	Definition (const InstructionSource &source, intptr_t deopt_id=DeoptId::kNone)

intptr_t	temp_index () const

void	set_temp_index (intptr_t index)

void	ClearTempIndex ()

bool	HasTemp () const

intptr_t	ssa_temp_index () const

void	set_ssa_temp_index (intptr_t index)

bool	HasSSATemp () const

void	ClearSSATempIndex ()

intptr_t	vreg (intptr_t index) const

intptr_t	location_count () const

bool	HasPairRepresentation () const

CompileType *	Type ()

bool	HasType () const

bool	IsInt64Definition ()

bool	IsInt32Definition ()

virtual bool	RecomputeType ()

PRINT_OPERANDS_TO_SUPPORT PRINT_TO_SUPPORT bool	UpdateType (CompileType new_type)

bool	HasUses () const

bool	HasOnlyUse (Value *use) const

bool	HasOnlyInputUse (Value *use) const

Value *	input_use_list () const

void	set_input_use_list (Value *head)

Value *	env_use_list () const

void	set_env_use_list (Value *head)

ValueListIterable	input_uses () const

void	AddInputUse (Value *value)

void	AddEnvUse (Value *value)

virtual bool	MayCreateUnsafeUntaggedPointer () const

virtual bool	CanReplaceWithConstant () const

virtual bool	CanEliminate (const BlockEntryInstr *block) const

void	ReplaceUsesWith (Definition *other)

void	ReplaceWithResult (Instruction replacement, Definition replacement_for_uses, ForwardInstructionIterator *iterator)

void	ReplaceWith (Definition other, ForwardInstructionIterator iterator)

Object &	constant_value ()

virtual void	InferRange (RangeAnalysis analysis, Range range)

Range *	range () const

void	set_range (const Range &)

Definition *	Replacement ()

void	SetReplacement (Definition *other)

virtual AliasIdentity	Identity () const

virtual void	SetIdentity (AliasIdentity identity)

Definition *	OriginalDefinition ()

virtual Value *	RedefinedValue () const

Definition *	OriginalDefinitionIgnoreBoxingAndConstraints ()

virtual Definition *	AsDefinition ()

virtual const Definition *	AsDefinition () const

Public Member Functions inherited from dart::Instruction
	Instruction (const InstructionSource &source, intptr_t deopt_id=DeoptId::kNone)

	Instruction (intptr_t deopt_id=DeoptId::kNone)

virtual	~Instruction ()

virtual Tag	tag () const =0

virtual intptr_t	statistics_tag () const

intptr_t	deopt_id () const

InstructionSource	source () const

void	SetInputAt (intptr_t i, Value *value)

InputsIterable	inputs ()

void	UnuseAllInputs ()

Value *	ArgumentValueAt (intptr_t index) const

Definition *	ArgumentAt (intptr_t index) const

bool	HasMoveArguments () const

void	RepairArgumentUsesInEnvironment () const

bool	CanDeoptimize () const

virtual void	Accept (InstructionVisitor *visitor)=0

Instruction *	previous () const

void	set_previous (Instruction *instr)

Instruction *	next () const

void	set_next (Instruction *instr)

void	LinkTo (Instruction *next)

Instruction *	RemoveFromGraph (bool return_previous=true)

virtual intptr_t	SuccessorCount () const

virtual BlockEntryInstr *	SuccessorAt (intptr_t index) const

SuccessorsIterable	successors () const

void	Goto (JoinEntryInstr *entry)

virtual const char *	DebugName () const =0

void	CheckField (const Field &field) const

const char *	ToCString () const

	DECLARE_INSTRUCTION_TYPE_CHECK (BlockEntryWithInitialDefs, BlockEntryWithInitialDefs) template< typename T > T *Cast()

template<typename T >
const T *	Cast () const

LocationSummary *	locs ()

bool	HasLocs () const

virtual LocationSummary *	MakeLocationSummary (Zone *zone, bool is_optimizing) const =0

void	InitializeLocationSummary (Zone *zone, bool optimizing)

virtual void	EmitNativeCode (FlowGraphCompiler *compiler)

Environment *	env () const

void	SetEnvironment (Environment *deopt_env)

void	RemoveEnvironment ()

void	ReplaceInEnvironment (Definition current, Definition replacement)

intptr_t	GetPassSpecificId (CompilerPass::Id pass) const

void	SetPassSpecificId (CompilerPass::Id pass, intptr_t id)

bool	HasPassSpecificId (CompilerPass::Id pass) const

bool	HasUnmatchedInputRepresentations () const

SpeculativeMode	SpeculativeModeOfInputs () const

bool	WasEliminated () const

void	InsertBefore (Instruction *next)

void	InsertAfter (Instruction *prev)

Instruction *	AppendInstruction (Instruction *tail)

virtual bool	AllowsCSE () const

virtual bool	CanTriggerGC () const

virtual BlockEntryInstr *	GetBlock ()

virtual intptr_t	inlining_id () const

virtual void	set_inlining_id (intptr_t value)

virtual bool	has_inlining_id () const

virtual uword	Hash () const

bool	Equals (const Instruction &other) const

virtual bool	AttributesEqual (const Instruction &other) const

void	InheritDeoptTarget (Zone zone, Instruction other)

bool	NeedsEnvironment () const

void	InheritDeoptTargetAfter (FlowGraph flow_graph, Definition call, Definition *result)

virtual bool	MayHaveVisibleEffect () const

bool	CanEliminate ()

bool	IsDominatedBy (Instruction *dom)

void	ClearEnv ()

void	Unsupported (FlowGraphCompiler *compiler)

virtual bool	UseSharedSlowPathStub (bool is_optimizing) const

Location::Kind	RegisterKindForResult () const

Public Member Functions inherited from dart::ZoneAllocated
	ZoneAllocated ()

void *	operator new (size_t size)

void *	operator new (size_t size, Zone *zone)

void	operator delete (void *pointer)

Public Attributes
DECLARE_INSTRUCTION_SERIALIZABLE_FIELDS(InstanceCallInstr, InstanceCallBaseInstr, FIELD_LIST) private const class BinaryFeedback *	binary_ = nullptr

Additional Inherited Members
Public Types inherited from dart::Instruction
enum	Tag { FOR_EACH_INSTRUCTION =(DECLARE_TAG) kNumInstructions }

enum	SpeculativeMode { kGuardInputs , kNotSpeculative }

using	InputsIterable = InstructionIndexedPropertyIterable< InputsTrait >

using	SuccessorsIterable = InstructionIndexedPropertyIterable< SuccessorsTrait >

Static Public Member Functions inherited from dart::Definition
static bool	IsArrayLength (Definition *def)

Static Public Member Functions inherited from dart::Instruction
static const ICData *	GetICData (const ZoneGrowableArray< const ICData * > &ic_data_array, intptr_t deopt_id, bool is_static_call)

static LocationSummary *	MakeCallSummary (Zone zone, const Instruction instr, LocationSummary *locs=nullptr)

static bool	SlowPathSharingSupported (bool is_optimizing)

Static Public Attributes inherited from dart::Definition
static constexpr intptr_t	kReplacementMarker = -2

Static Public Attributes inherited from dart::Instruction
static const intptr_t	kInstructionAttrs [kNumInstructions]

Protected Member Functions inherited from dart::Definition
void	set_type (CompileType *type)

Protected Member Functions inherited from dart::Instruction
intptr_t	GetDeoptId () const

virtual void	CopyDeoptIdFrom (const Instruction &instr)

void	WriteExtraWithoutInputs (FlowGraphSerializer *s)

void	ReadExtraWithoutInputs (FlowGraphDeserializer *d)

Protected Attributes inherited from dart::VariadicDefinition
InputsArray	inputs_

Protected Attributes inherited from dart::Definition
Range *	range_ = nullptr

Detailed Description

Definition at line 4806 of file il.h.

Constructor & Destructor Documentation

◆ InstanceCallInstr() [1/2]

dart::InstanceCallInstr::InstanceCallInstr	(	const InstructionSource &	source,
		const String &	function_name,
		Token::Kind	token_kind,
		InputsArray &&	arguments,
		intptr_t	type_args_len,
		const Array &	argument_names,
		intptr_t	checked_argument_count,
		const ZoneGrowableArray< const ICData * > &	ic_data_array,
		intptr_t	deopt_id,
		const Function &	interface_target = `Function::null_function()`,
		const Function &	tearoff_interface_target = `Function::null_function()`
	)

inline

Definition at line 4808 of file il.h.

      : InstanceCallBaseInstr(
            source,
            function_name,
            token_kind,
            std::move(arguments),
            type_args_len,
            argument_names,
            GetICData(ic_data_array, deopt_id, /*is_static_call=*/false),
            deopt_id,
            interface_target,
            tearoff_interface_target),
        checked_argument_count_(checked_argument_count),
        receivers_static_type_(nullptr) {}

◆ InstanceCallInstr() [2/2]

dart::InstanceCallInstr::InstanceCallInstr	(	const InstructionSource &	source,
		const String &	function_name,
		Token::Kind	token_kind,
		InputsArray &&	arguments,
		intptr_t	type_args_len,
		const Array &	argument_names,
		intptr_t	checked_argument_count,
		intptr_t	deopt_id,
		const Function &	interface_target = `Function::null_function()`,
		const Function &	tearoff_interface_target = `Function::null_function()`
	)

inline

Definition at line 4834 of file il.h.

      : InstanceCallBaseInstr(source,
                              function_name,
                              token_kind,
                              std::move(arguments),
                              type_args_len,
                              argument_names,
                              /*ic_data=*/nullptr,
                              deopt_id,
                              interface_target,
                              tearoff_interface_target),
        checked_argument_count_(checked_argument_count),
        receivers_static_type_(nullptr) {}

Member Function Documentation

◆ BinaryFeedback()

const BinaryFeedback & dart::InstanceCallInstr::BinaryFeedback ( )

Definition at line 5360 of file il.cc.

                                                        {
  if (binary_ == nullptr) {
    Zone* zone = Thread::Current()->zone();
    if (HasICData()) {
      binary_ = BinaryFeedback::Create(zone, *ic_data());
    } else {
      binary_ = new (zone) class BinaryFeedback(zone);
    }
  }
  return *binary_;
}

◆ CallCount()

virtual intptr_t dart::InstanceCallInstr::CallCount ( ) const

inlinevirtual

Reimplemented from dart::Definition.

Definition at line 4862 of file il.h.

                                     {
    return ic_data() == nullptr ? 0 : ic_data()->AggregateCount();
  }

◆ Canonicalize()

Definition * dart::InstanceCallInstr::Canonicalize ( FlowGraph * flow_graph )

virtual

Reimplemented from dart::Definition.

Definition at line 5610 of file il.cc.

                                                                 {
  const intptr_t receiver_cid = Receiver()->Type()->ToCid();
 
  // We could turn cold call sites for known receiver cids into a StaticCall.
  // However, that keeps the ICData of the InstanceCall from being updated.
  //
  // This is fine if there is no later deoptimization, but if there is, then
  // the InstanceCall with the updated ICData for this receiver may then be
  // better optimized by the compiler.
  //
  // This optimization is safe to apply in AOT mode because deoptimization is
  // not a concern there.
  //
  // TODO(dartbug.com/37291): Allow this optimization, but accumulate affected
  // InstanceCallInstrs and the corresponding receiver cids during compilation.
  // After compilation, add receiver checks to the ICData for those call sites.
  if (!CompilerState::Current().is_aot() && Targets().is_empty()) {
    return this;
  }
 
  const CallTargets* new_target =
      FlowGraphCompiler::ResolveCallTargetsForReceiverCid(
          receiver_cid,
          String::Handle(flow_graph->zone(), ic_data()->target_name()),
          Array::Handle(flow_graph->zone(), ic_data()->arguments_descriptor()));
  if (new_target == nullptr) {
    // No specialization.
    return this;
  }
 
  ASSERT(new_target->HasSingleTarget());
  const Function& target = new_target->FirstTarget();
  StaticCallInstr* specialized = StaticCallInstr::FromCall(
      flow_graph->zone(), this, target, new_target->AggregateCallCount());
  flow_graph->InsertBefore(this, specialized, env(), FlowGraph::kValue);
  return specialized;
}

◆ checked_argument_count()

intptr_t dart::InstanceCallInstr::checked_argument_count ( ) const

inline

Definition at line 4860 of file il.h.

4860{ return checked_argument_count_; }

◆ DISALLOW_COPY_AND_ASSIGN()

dart::InstanceCallInstr::DISALLOW_COPY_AND_ASSIGN ( InstanceCallInstr )

◆ EnsureICData()

void dart::InstanceCallInstr::EnsureICData ( FlowGraph * graph )

Definition at line 5242 of file il.cc.

                                                     {
  if (HasICData()) {
    return;
  }
 
  const Array& arguments_descriptor =
      Array::Handle(graph->zone(), GetArgumentsDescriptor());
  const ICData& ic_data = ICData::ZoneHandle(
      graph->zone(),
      ICData::New(graph->function(), function_name(), arguments_descriptor,
                  deopt_id(), checked_argument_count(), ICData::kInstance));
  set_ic_data(&ic_data);
}

◆ MatchesCoreName()

bool dart::InstanceCallInstr::MatchesCoreName ( const String & name )

Definition at line 5334 of file il.cc.

                                                          {
  return Library::IsPrivateCoreLibName(function_name(), name);
}

◆ set_receivers_static_type()

void dart::InstanceCallInstr::set_receivers_static_type ( const AbstractType * receiver_type )

inline

Definition at line 4866 of file il.h.

                                                                    {
    ASSERT(receiver_type != nullptr);
    receivers_static_type_ = receiver_type;
  }

◆ SetBinaryFeedback()

void dart::InstanceCallInstr::SetBinaryFeedback ( const class BinaryFeedback * binary )

inline

Definition at line 4878 of file il.h.

                                                             {
    binary_ = binary;
  }

◆ SetTargets()

void dart::InstanceCallInstr::SetTargets ( const CallTargets * targets )

inline

Definition at line 4883 of file il.h.

4883{ targets_ = targets; }

◆ Targets()

const CallTargets & dart::InstanceCallInstr::Targets ( )

Definition at line 5347 of file il.cc.

                                              {
  if (targets_ == nullptr) {
    Zone* zone = Thread::Current()->zone();
    if (HasICData()) {
      targets_ = CallTargets::CreateAndExpand(zone, *ic_data());
    } else {
      targets_ = new (zone) CallTargets(zone);
      ASSERT(targets_->is_empty());
    }
  }
  return *targets_;
}

Member Data Documentation

◆ binary_

DECLARE_INSTRUCTION_SERIALIZABLE_FIELDS (InstanceCallInstr, InstanceCallBaseInstr, FIELD_LIST) private const class BinaryFeedback* dart::InstanceCallInstr::binary_ = nullptr

Definition at line 4898 of file il.h.

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

third_party/dart-lang/sdk/runtime/vm/compiler/backend/il.h
third_party/dart-lang/sdk/runtime/vm/compiler/backend/il.cc

Public Member Functions

Public Attributes

Additional Inherited Members

Detailed Description

Constructor & Destructor Documentation

◆ InstanceCallInstr() [1/2]

◆ InstanceCallInstr() [2/2]

Member Function Documentation

◆ BinaryFeedback()

◆ CallCount()

◆ Canonicalize()

◆ checked_argument_count()

◆ DISALLOW_COPY_AND_ASSIGN()

◆ EnsureICData()

◆ MatchesCoreName()

◆ set_receivers_static_type()

◆ SetBinaryFeedback()

◆ SetTargets()

◆ Targets()

Member Data Documentation

◆ binary_