#include <il.h>

Inheritance diagram for dart::InstanceCallBaseInstr:

Public Member Functions
	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 intptr_t	ArgumentsSize () 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)

virtual intptr_t	CallCount () const

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 CompileType	ComputeType () const

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 &)

virtual Definition *	Canonicalize (FlowGraph *flow_graph)

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

virtual TokenPosition	token_pos () const

InstructionSource	source () const

virtual intptr_t	InputCount () const =0

virtual Value *	InputAt (intptr_t i) const =0

void	SetInputAt (intptr_t i, Value *value)

InputsIterable	inputs ()

void	UnuseAllInputs ()

virtual intptr_t	ArgumentCount () const

Value *	ArgumentValueAt (intptr_t index) const

Definition *	ArgumentAt (intptr_t index) const

virtual void	SetMoveArguments (MoveArgumentsArray *move_arguments)

virtual MoveArgumentsArray *	GetMoveArguments () const

virtual void	ReplaceInputsWithMoveArguments (MoveArgumentsArray *move_arguments)

bool	HasMoveArguments () const

void	RepairArgumentUsesInEnvironment () const

virtual bool	ComputeCanDeoptimize () const =0

virtual bool	ComputeCanDeoptimizeAfterCall () 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)

virtual intptr_t	NumberOfInputsConsumedBeforeCall () const

intptr_t	GetPassSpecificId (CompilerPass::Id pass) const

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

bool	HasPassSpecificId (CompilerPass::Id pass) const

bool	HasUnmatchedInputRepresentations () const

virtual Representation	RequiredInputRepresentation (intptr_t idx) const

SpeculativeMode	SpeculativeModeOfInputs () const

virtual SpeculativeMode	SpeculativeModeOfInput (intptr_t index) const

virtual Representation	representation () const

bool	WasEliminated () const

virtual intptr_t	DeoptimizationTarget () const

virtual Instruction *	Canonicalize (FlowGraph *flow_graph)

void	InsertBefore (Instruction *next)

void	InsertAfter (Instruction *prev)

Instruction *	AppendInstruction (Instruction *tail)

virtual bool	AllowsCSE () const

virtual bool	HasUnknownSideEffects () const =0

virtual bool	CanCallDart () 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

virtual bool	CanBecomeDeoptimizationTarget () const

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

virtual bool	MayThrow () const =0

virtual bool	MayHaveVisibleEffect () const

virtual bool	CanEliminate (const BlockEntryInstr *block) 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)

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 4675 of file il.h.

Constructor & Destructor Documentation

◆ InstanceCallBaseInstr()

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
	)

inline

Definition at line 4677 of file il.h.

      : TemplateDartCall(deopt_id,
                         type_args_len,
                         argument_names,
                         std::move(arguments),
                         source),
        ic_data_(ic_data),
        function_name_(function_name),
        token_kind_(token_kind),
        interface_target_(interface_target),
        tearoff_interface_target_(tearoff_interface_target),
        result_type_(nullptr),
        has_unique_selector_(false),
        entry_kind_(Code::EntryKind::kNormal),
        receiver_is_not_smi_(false),
        is_call_on_this_(false) {
    DEBUG_ASSERT(function_name.IsNotTemporaryScopedHandle());
    DEBUG_ASSERT(interface_target.IsNotTemporaryScopedHandle());
    DEBUG_ASSERT(tearoff_interface_target.IsNotTemporaryScopedHandle());
    ASSERT(InputCount() > 0);
    ASSERT(Token::IsBinaryOperator(token_kind) ||
           Token::IsEqualityOperator(token_kind) ||
           Token::IsRelationalOperator(token_kind) ||
           Token::IsUnaryOperator(token_kind) ||
           Token::IsIndexOperator(token_kind) ||
           Token::IsTypeTestOperator(token_kind) ||
           Token::IsTypeCastOperator(token_kind) || token_kind == Token::kGET ||
           token_kind == Token::kSET || token_kind == Token::kILLEGAL);
  }

Member Function Documentation

◆ ArgumentsSize()

intptr_t dart::InstanceCallBaseInstr::ArgumentsSize ( ) const

virtual

Reimplemented from dart::TemplateDartCall< 0 >.

Definition at line 5211 of file il.cc.

                                                    {
  if (interface_target().IsNull()) {
    return ArgumentCountWithoutTypeArgs() + ((type_args_len() > 0) ? 1 : 0);
  }
 
  return FlowGraph::ComputeArgumentsSizeInWords(
             interface_target(), ArgumentCountWithoutTypeArgs()) +
         ((type_args_len() > 0) ? 1 : 0);
}

◆ CanBecomeDeoptimizationTarget()

virtual bool dart::InstanceCallBaseInstr::CanBecomeDeoptimizationTarget ( ) const

inlinevirtual

Reimplemented from dart::Instruction.

Definition at line 4736 of file il.h.

                                                     {
    // Instance calls that are specialized by the optimizer need a
    // deoptimization descriptor before the call.
    return true;
  }

◆ CanReceiverBeSmiBasedOnInterfaceTarget()

bool dart::InstanceCallBaseInstr::CanReceiverBeSmiBasedOnInterfaceTarget ( Zone * zone ) const

Definition at line 5182 of file il.cc.

                      {
  if (!interface_target().IsNull()) {
    // Note: target_type is fully instantiated rare type (all type parameters
    // are replaced with dynamic) so checking if Smi is assignable to
    // it would compute correctly whether or not receiver can be a smi.
    const AbstractType& target_type = AbstractType::Handle(
        zone, Class::Handle(zone, interface_target().Owner()).RareType());
    if (!CompileType::Smi().IsAssignableTo(target_type)) {
      return false;
    }
  }
  // In all other cases conservatively assume that the receiver can be a smi.
  return true;
}

◆ ComputeType()

CompileType dart::InstanceCallBaseInstr::ComputeType ( ) const

virtual

Reimplemented from dart::Definition.

Reimplemented in dart::PolymorphicInstanceCallInstr.

Definition at line 1449 of file type_propagator.cc.

                                                     {
  // TODO(alexmarkov): calculate type of InstanceCallInstr eagerly
  // (in optimized mode) and avoid keeping separate result_type.
  CompileType* inferred_type = result_type();
  intptr_t inferred_cid = kDynamicCid;
  bool is_nullable = CompileType::kCanBeNull;
  if (inferred_type != nullptr) {
    if (inferred_type->IsNullableInt()) {
      TraceStrongModeType(this, inferred_type);
      return *inferred_type;
    }
    inferred_cid = inferred_type->ToNullableCid();
    is_nullable = inferred_type->is_nullable();
  }
 
  // Include special cases of type inference for int operations.
  // This helps if both type feedback and results of TFA
  // are not available (e.g. in AOT unit tests).
  switch (token_kind()) {
    case Token::kADD:
    case Token::kSUB:
    case Token::kMUL:
    case Token::kMOD:
      if ((ArgumentCount() == 2) &&
          ArgumentValueAt(0)->Type()->IsNullableInt() &&
          ArgumentValueAt(1)->Type()->IsNullableInt()) {
        return CompileType::Int();
      }
      break;
    case Token::kNEGATE:
      if ((ArgumentCount() == 1) &&
          ArgumentValueAt(0)->Type()->IsNullableInt()) {
        return CompileType::Int();
      }
      break;
    default:
      break;
  }
 
  const Function& target = interface_target();
  if (!target.IsNull()) {
    const AbstractType& result_type =
        AbstractType::ZoneHandle(target.result_type());
    // Currently VM doesn't have enough information to instantiate generic
    // result types of interface targets:
    // 1. receiver type inferred by the front-end is not passed to VM.
    // 2. VM collects type arguments through the chain of superclasses but
    // not through implemented interfaces.
    // TODO(dartbug.com/30480): instantiate generic result_type
    CompileType result(is_nullable && !result_type.IsStrictlyNonNullable(),
                       CompileType::kCannotBeSentinel,
                       inferred_cid == kDynamicCid ? kIllegalCid : inferred_cid,
                       &result_type);
    TraceStrongModeType(this, &result);
    return result;
  }
 
  if (inferred_type != nullptr) {
    TraceStrongModeType(this, inferred_type);
    return *inferred_type;
  }
 
  return CompileType::Dynamic();
}

◆ DECLARE_ABSTRACT_INSTRUCTION()

dart::InstanceCallBaseInstr::DECLARE_ABSTRACT_INSTRUCTION ( InstanceCallBase )

◆ DeoptimizationTarget()

virtual intptr_t dart::InstanceCallBaseInstr::DeoptimizationTarget ( ) const

inlinevirtual

Reimplemented from dart::Instruction.

Definition at line 4792 of file il.h.

4792{ return DeoptId::kNone; }

dart::DeoptId::kNone

static constexpr intptr_t kNone

Definition: deopt_id.h:27

◆ entry_kind()

Code::EntryKind dart::InstanceCallBaseInstr::entry_kind ( ) const

inline

Definition at line 4759 of file il.h.

4759{ return entry_kind_; }

◆ function_name()

const String & dart::InstanceCallBaseInstr::function_name ( ) const

inline

Definition at line 4724 of file il.h.

4724{ return function_name_; }

◆ has_unique_selector()

bool dart::InstanceCallBaseInstr::has_unique_selector ( ) const

inline

Definition at line 4731 of file il.h.

4731{ return has_unique_selector_; }

◆ HasICData()

bool dart::InstanceCallBaseInstr::HasICData ( ) const

inline

Definition at line 4717 of file il.h.

                         {
    return (ic_data() != nullptr) && !ic_data()->IsNull();
  }

◆ HasUnknownSideEffects()

virtual bool dart::InstanceCallBaseInstr::HasUnknownSideEffects ( ) const

inlinevirtual

Implements dart::Instruction.

Definition at line 4742 of file il.h.

4742{ return true; }

◆ ic_data()

const ICData * dart::InstanceCallBaseInstr::ic_data ( ) const

inline

Definition at line 4716 of file il.h.

4716{ return ic_data_; }

◆ interface_target()

const Function & dart::InstanceCallBaseInstr::interface_target ( ) const

inline

Definition at line 4726 of file il.h.

4726{ return interface_target_; }

◆ is_call_on_this()

bool dart::InstanceCallBaseInstr::is_call_on_this ( ) const

inline

Definition at line 4763 of file il.h.

4763{ return is_call_on_this_; }

◆ mark_as_call_on_this()

void dart::InstanceCallBaseInstr::mark_as_call_on_this ( )

inline

Definition at line 4762 of file il.h.

4762{ is_call_on_this_ = true; }

◆ receiver_is_not_smi()

bool dart::InstanceCallBaseInstr::receiver_is_not_smi ( ) const

inline

Definition at line 4767 of file il.h.

4767{ return receiver_is_not_smi_; }

◆ representation()

Representation dart::InstanceCallBaseInstr::representation ( ) const

virtual

Reimplemented from dart::Instruction.

Definition at line 5221 of file il.cc.

                                                           {
  return FlowGraph::ReturnRepresentationOf(interface_target());
}

◆ RequiredInputRepresentation()

Representation dart::InstanceCallBaseInstr::RequiredInputRepresentation ( intptr_t idx ) const

virtual

Reimplemented from dart::Instruction.

Definition at line 5198 of file il.cc.

                        {
  // The first input is the array of types
  // for generic functions
  if (type_args_len() > 0) {
    if (idx == 0) {
      return kTagged;
    }
    idx--;
  }
  return FlowGraph::ParameterRepresentationAt(interface_target(), idx);
}

◆ ResolveForReceiverClass()

FunctionPtr dart::InstanceCallBaseInstr::ResolveForReceiverClass	(	const Class &	cls,
		bool	allow_add = `true`
	)

Definition at line 5336 of file il.cc.

                      {
  const Array& args_desc_array = Array::Handle(GetArgumentsDescriptor());
  ArgumentsDescriptor args_desc(args_desc_array);
  return Resolver::ResolveDynamicForReceiverClass(cls, function_name(),
                                                  args_desc, allow_add);
}

◆ result_cid()

intptr_t dart::InstanceCallBaseInstr::result_cid ( ) const

inline

Definition at line 4750 of file il.h.

                              {
    if (result_type_ == nullptr) {
      return kDynamicCid;
    }
    return result_type_->ToCid();
  }

◆ result_type()

CompileType * dart::InstanceCallBaseInstr::result_type ( ) const

inline

Definition at line 4748 of file il.h.

4748{ return result_type_; }

◆ set_entry_kind()

void dart::InstanceCallBaseInstr::set_entry_kind ( Code::EntryKind value )

inline

Definition at line 4760 of file il.h.

4760{ entry_kind_ = value; }

value

uint8_t value

Definition: fl_standard_message_codec.cc:36

◆ set_has_unique_selector()

void dart::InstanceCallBaseInstr::set_has_unique_selector ( bool b )

inline

Definition at line 4732 of file il.h.

4732{ has_unique_selector_ = b; }

b

static bool b

Definition: ffi_native_test_module.c:74

◆ set_ic_data() [1/2]

void dart::InstanceCallBaseInstr::set_ic_data ( const ICData * value )

inline

Definition at line 4722 of file il.h.

4722{ ic_data_ = value; }

◆ set_ic_data() [2/2]

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

inline

Definition at line 4817 of file il.h.

4817{ ic_data_ = value; }

◆ set_receiver_is_not_smi()

void dart::InstanceCallBaseInstr::set_receiver_is_not_smi ( bool value )

inline

Definition at line 4768 of file il.h.

4768{ receiver_is_not_smi_ = value; }

◆ set_result_type()

void dart::InstanceCallBaseInstr::set_result_type ( CompileType * result_type )

inline

Definition at line 4818 of file il.h.

4818{ result_type_ = result_type; }

◆ SetResultType()

void dart::InstanceCallBaseInstr::SetResultType	(	Zone *	zone,
		CompileType	new_type
	)

inline

Definition at line 4744 of file il.h.

                                                       {
    result_type_ = new (zone) CompileType(new_type);
  }

◆ SpeculativeModeOfInput()

virtual SpeculativeMode dart::InstanceCallBaseInstr::SpeculativeModeOfInput ( intptr_t idx ) const

inlinevirtual

Reimplemented from dart::Instruction.

Definition at line 4776 of file il.h.

                                                                     {
    if (type_args_len() > 0) {
      if (idx == 0) {
        return kGuardInputs;
      }
      idx--;
    }
    if (interface_target_.IsNull()) return kGuardInputs;
    return interface_target_.is_unboxed_parameter_at(idx) ? kNotSpeculative
                                                          : kGuardInputs;
  }

◆ tearoff_interface_target()

const Function & dart::InstanceCallBaseInstr::tearoff_interface_target ( ) const

inline

Definition at line 4727 of file il.h.

                                                   {
    return tearoff_interface_target_;
  }

◆ token_kind()

Token::Kind dart::InstanceCallBaseInstr::token_kind ( ) const

inline

Definition at line 4725 of file il.h.

4725{ return token_kind_; }

◆ UpdateReceiverSminess()

void dart::InstanceCallBaseInstr::UpdateReceiverSminess ( Zone * zone )

Definition at line 5225 of file il.cc.

                                                            {
  if (CompilerState::Current().is_aot() && !receiver_is_not_smi()) {
    if (!Receiver()->Type()->CanBeSmi() ||
        !CanReceiverBeSmiBasedOnInterfaceTarget(zone)) {
      set_receiver_is_not_smi(true);
    }
  }
}

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
third_party/dart-lang/sdk/runtime/vm/compiler/backend/type_propagator.cc

Public Member Functions

Additional Inherited Members

Detailed Description

Constructor & Destructor Documentation

◆ InstanceCallBaseInstr()

Member Function Documentation

◆ ArgumentsSize()

◆ CanBecomeDeoptimizationTarget()

◆ CanReceiverBeSmiBasedOnInterfaceTarget()

◆ ComputeType()

◆ DECLARE_ABSTRACT_INSTRUCTION()

◆ DeoptimizationTarget()

◆ entry_kind()

◆ function_name()

◆ has_unique_selector()

◆ HasICData()

◆ HasUnknownSideEffects()

◆ ic_data()

◆ interface_target()

◆ is_call_on_this()

◆ mark_as_call_on_this()

◆ receiver_is_not_smi()

◆ representation()

◆ RequiredInputRepresentation()

◆ ResolveForReceiverClass()

◆ result_cid()

◆ result_type()

◆ set_entry_kind()

◆ set_has_unique_selector()

◆ set_ic_data() [1/2]

◆ set_ic_data() [2/2]

◆ set_receiver_is_not_smi()

◆ set_result_type()

◆ SetResultType()

◆ SpeculativeModeOfInput()

◆ tearoff_interface_target()

◆ token_kind()

◆ UpdateReceiverSminess()