#include <il.h>

Inheritance diagram for dart::StaticCallInstr:

Public Member Functions
	StaticCallInstr (const InstructionSource &source, const Function &function, intptr_t type_args_len, const Array &argument_names, InputsArray &&arguments, const ZoneGrowableArray< const ICData * > &ic_data_array, intptr_t deopt_id, ICData::RebindRule rebind_rule)

	StaticCallInstr (const InstructionSource &source, const Function &function, intptr_t type_args_len, const Array &argument_names, InputsArray &&arguments, intptr_t deopt_id, intptr_t call_count, ICData::RebindRule rebind_rule)

const ICData *	ic_data () const

bool	HasICData () const

void	set_ic_data (const ICData *value)

virtual CompileType	ComputeType () const

virtual Definition *	Canonicalize (FlowGraph *flow_graph)

bool	Evaluate (FlowGraph flow_graph, const Object &argument, Object result)

bool	Evaluate (FlowGraph flow_graph, const Object &argument1, const Object &argument2, Object result)

const Function &	function () const

virtual intptr_t	CallCount () const

virtual bool	ComputeCanDeoptimize () const

virtual bool	ComputeCanDeoptimizeAfterCall () const

virtual bool	CanBecomeDeoptimizationTarget () const

virtual bool	HasUnknownSideEffects () const

virtual bool	CanCallDart () const

bool	InitResultType (Zone *zone)

void	SetResultType (Zone *zone, CompileType new_type)

CompileType *	result_type () const

intptr_t	result_cid () const

bool	is_known_list_constructor () const

void	set_is_known_list_constructor (bool value)

Code::EntryKind	entry_kind () const

void	set_entry_kind (Code::EntryKind value)

bool	IsRecognizedFactory () 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

virtual AliasIdentity	Identity () const

virtual void	SetIdentity (AliasIdentity identity)

const CallTargets &	Targets ()

const class BinaryFeedback &	BinaryFeedback ()

	DISALLOW_COPY_AND_ASSIGN (StaticCallInstr)

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)

Static Public Member Functions
template<class C >
static StaticCallInstr *	FromCall (Zone zone, const C call, const Function &target, intptr_t call_count)

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)

Public Attributes
DECLARE_INSTRUCTION_SERIALIZABLE_FIELDS(StaticCallInstr, TemplateDartCall, 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 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 5529 of file il.h.

Constructor & Destructor Documentation

◆ StaticCallInstr() [1/2]

dart::StaticCallInstr::StaticCallInstr	(	const InstructionSource &	source,
		const Function &	function,
		intptr_t	type_args_len,
		const Array &	argument_names,
		InputsArray &&	arguments,
		const ZoneGrowableArray< const ICData * > &	ic_data_array,
		intptr_t	deopt_id,
		ICData::RebindRule	rebind_rule
	)

inline

Definition at line 5531 of file il.h.

      : TemplateDartCall(deopt_id,
                         type_args_len,
                         argument_names,
                         std::move(arguments),
                         source),
        ic_data_(GetICData(ic_data_array, deopt_id, /*is_static_call=*/true)),
        call_count_(0),
        function_(function),
        rebind_rule_(rebind_rule),
        result_type_(nullptr),
        is_known_list_constructor_(false),
        entry_kind_(Code::EntryKind::kNormal),
        identity_(AliasIdentity::Unknown()) {
    DEBUG_ASSERT(function.IsNotTemporaryScopedHandle());
    ASSERT(!function.IsNull());
  }

◆ StaticCallInstr() [2/2]

dart::StaticCallInstr::StaticCallInstr	(	const InstructionSource &	source,
		const Function &	function,
		intptr_t	type_args_len,
		const Array &	argument_names,
		InputsArray &&	arguments,
		intptr_t	deopt_id,
		intptr_t	call_count,
		ICData::RebindRule	rebind_rule
	)

inline

Definition at line 5556 of file il.h.

      : TemplateDartCall(deopt_id,
                         type_args_len,
                         argument_names,
                         std::move(arguments),
                         source),
        ic_data_(nullptr),
        call_count_(call_count),
        function_(function),
        rebind_rule_(rebind_rule),
        result_type_(nullptr),
        is_known_list_constructor_(false),
        entry_kind_(Code::EntryKind::kNormal),
        identity_(AliasIdentity::Unknown()) {
    DEBUG_ASSERT(function.IsNotTemporaryScopedHandle());
    ASSERT(!function.IsNull());
  }

Member Function Documentation

◆ ArgumentsSize()

intptr_t dart::StaticCallInstr::ArgumentsSize ( ) const

virtual

Reimplemented from dart::TemplateDartCall< 0 >.

Definition at line 5465 of file il.cc.

                                              {
  return FlowGraph::ComputeArgumentsSizeInWords(
             function(), ArgumentCountWithoutTypeArgs()) +
         ((type_args_len() > 0) ? 1 : 0);
}

◆ BinaryFeedback()

const BinaryFeedback & dart::StaticCallInstr::BinaryFeedback ( )

Definition at line 5488 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::StaticCallInstr::CallCount ( ) const

inlinevirtual

Reimplemented from dart::Definition.

Definition at line 5625 of file il.h.

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

◆ CanBecomeDeoptimizationTarget()

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

inlinevirtual

Reimplemented from dart::Instruction.

Definition at line 5634 of file il.h.

                                                     {
    // Static calls that are specialized by the optimizer (e.g. sqrt) need a
    // deoptimization descriptor before the call.
    return true;
  }

◆ CanCallDart()

virtual bool dart::StaticCallInstr::CanCallDart ( ) const

inlinevirtual

Reimplemented from dart::TemplateDartCall< 0 >.

Definition at line 5641 of file il.h.

5641{ return true; }

◆ Canonicalize()

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

virtual

Reimplemented from dart::Definition.

Definition at line 5771 of file il.cc.

                                                               {
  auto& compiler_state = CompilerState::Current();
 
  if (function().ptr() == compiler_state.StringBaseInterpolate().ptr()) {
    return CanonicalizeStringInterpolate(this, flow_graph);
  } else if (function().ptr() ==
             compiler_state.StringBaseInterpolateSingle().ptr()) {
    return CanonicalizeStringInterpolateSingle(this, flow_graph);
  }
 
  const auto kind = function().recognized_kind();
 
  if (kind != MethodRecognizer::kUnknown) {
    if (ArgumentCount() == 1) {
      const auto argument = ArgumentValueAt(0);
      if (argument->BindsToConstant()) {
        Object& result = Object::Handle();
        if (Evaluate(flow_graph, argument->BoundConstant(), &result)) {
          return flow_graph->TryCreateConstantReplacementFor(this, result);
        }
      }
    } else if (ArgumentCount() == 2) {
      const auto argument1 = ArgumentValueAt(0);
      const auto argument2 = ArgumentValueAt(1);
      if (argument1->BindsToConstant() && argument2->BindsToConstant()) {
        Object& result = Object::Handle();
        if (Evaluate(flow_graph, argument1->BoundConstant(),
                     argument2->BoundConstant(), &result)) {
          return flow_graph->TryCreateConstantReplacementFor(this, result);
        }
      }
    }
  }
 
  if (!compiler_state.is_aot()) {
    return this;
  }
 
  if (kind == MethodRecognizer::kObjectRuntimeType) {
    if (input_use_list() == nullptr) {
      // This function has only environment uses. In precompiled mode it is
      // fine to remove it - because we will never deoptimize.
      return flow_graph->constant_dead();
    }
  }
 
  return this;
}

◆ ComputeCanDeoptimize()

virtual bool dart::StaticCallInstr::ComputeCanDeoptimize ( ) const

inlinevirtual

Reimplemented from dart::TemplateDartCall< 0 >.

Definition at line 5629 of file il.h.

5629{ return false; }

◆ ComputeCanDeoptimizeAfterCall()

virtual bool dart::StaticCallInstr::ComputeCanDeoptimizeAfterCall ( ) const

inlinevirtual

Reimplemented from dart::TemplateDartCall< 0 >.

Definition at line 5630 of file il.h.

                                                     {
    return !CompilerState::Current().is_aot();
  }

◆ ComputeType()

CompileType dart::StaticCallInstr::ComputeType ( ) const

virtual

Reimplemented from dart::Definition.

Definition at line 1570 of file type_propagator.cc.

                                               {
  // TODO(alexmarkov): calculate type of StaticCallInstr eagerly
  // (in optimized mode) and avoid keeping separate result_type.
  CompileType* const inferred_type = result_type();
  if (is_known_list_constructor()) {
    return ComputeListFactoryType(inferred_type, ArgumentValueAt(0));
  }
 
  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();
  }
 
  if (function_.has_pragma()) {
    const intptr_t cid = MethodRecognizer::ResultCidFromPragma(function_);
    if (cid != kDynamicCid) {
      return CompileType::FromCid(cid);
    }
  }
 
  const AbstractType& result_type =
      AbstractType::ZoneHandle(function().result_type());
  CompileType result(is_nullable && !result_type.IsStrictlyNonNullable(),
                     CompileType::kCannotBeSentinel,
                     inferred_cid == kDynamicCid ? kIllegalCid : inferred_cid,
                     &result_type);
  TraceStrongModeType(this, &result);
  return result;
}

◆ DeoptimizationTarget()

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

inlinevirtual

Reimplemented from dart::Instruction.

Definition at line 5687 of file il.h.

5687{ return DeoptId::kNone; }

dart::DeoptId::kNone

static constexpr intptr_t kNone

Definition: deopt_id.h:27

◆ DISALLOW_COPY_AND_ASSIGN()

dart::StaticCallInstr::DISALLOW_COPY_AND_ASSIGN ( StaticCallInstr )

◆ entry_kind()

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

inline

Definition at line 5666 of file il.h.

5666{ return entry_kind_; }

◆ Evaluate() [1/2]

bool dart::StaticCallInstr::Evaluate	(	FlowGraph *	flow_graph,
		const Object &	argument,
		Object *	result
	)

Definition at line 5820 of file il.cc.

                                               {
  const auto kind = function().recognized_kind();
  switch (kind) {
    case MethodRecognizer::kSmi_bitLength: {
      ASSERT(FirstArgIndex() == 0);
      if (argument.IsInteger()) {
        const Integer& value = Integer::Handle(
            flow_graph->zone(),
            Evaluator::BitLengthEvaluate(argument, representation(),
                                         flow_graph->thread()));
        if (!value.IsNull()) {
          *result = value.ptr();
          return true;
        }
      }
      break;
    }
    case MethodRecognizer::kStringBaseLength:
    case MethodRecognizer::kStringBaseIsEmpty: {
      ASSERT(FirstArgIndex() == 0);
      if (argument.IsString()) {
        const auto& str = String::Cast(argument);
        if (kind == MethodRecognizer::kStringBaseLength) {
          *result = Integer::New(str.Length());
        } else {
          *result = Bool::Get(str.Length() == 0).ptr();
          break;
        }
        return true;
      }
      break;
    }
    default:
      break;
  }
  return false;
}

◆ Evaluate() [2/2]

bool dart::StaticCallInstr::Evaluate	(	FlowGraph *	flow_graph,
		const Object &	argument1,
		const Object &	argument2,
		Object *	result
	)

Definition at line 5860 of file il.cc.

                                               {
  const auto kind = function().recognized_kind();
  switch (kind) {
    case MethodRecognizer::kOneByteString_equality:
    case MethodRecognizer::kTwoByteString_equality: {
      if (argument1.IsString() && argument2.IsString()) {
        *result =
            Bool::Get(String::Cast(argument1).Equals(String::Cast(argument2)))
                .ptr();
        return true;
      }
      break;
    }
    default:
      break;
  }
  return false;
}

◆ FromCall()

template<class C >

static StaticCallInstr * dart::StaticCallInstr::FromCall	(	Zone *	zone,
		const C *	call,
		const Function &	target,
		intptr_t	call_count
	)

inlinestatic

Definition at line 5584 of file il.h.

                                                        {
    ASSERT(!call->HasMoveArguments());
    InputsArray args(zone, call->ArgumentCount());
    for (intptr_t i = 0; i < call->ArgumentCount(); i++) {
      args.Add(call->ArgumentValueAt(i)->CopyWithType());
    }
    StaticCallInstr* new_call = new (zone) StaticCallInstr(
        call->source(), target, call->type_args_len(), call->argument_names(),
        std::move(args), call->deopt_id(), call_count, ICData::kNoRebind);
    if (call->result_type() != nullptr) {
      new_call->result_type_ = call->result_type();
    }
    new_call->set_entry_kind(call->entry_kind());
    return new_call;
  }

◆ function()

const Function & dart::StaticCallInstr::function ( ) const

inline

Definition at line 5623 of file il.h.

5623{ return function_; }

◆ HasICData()

bool dart::StaticCallInstr::HasICData ( ) const

inline

Definition at line 5605 of file il.h.

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

◆ HasUnknownSideEffects()

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

inlinevirtual

Implements dart::Instruction.

Definition at line 5640 of file il.h.

5640{ return true; }

◆ ic_data()

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

inline

Definition at line 5604 of file il.h.

5604{ return ic_data_; }

◆ Identity()

virtual AliasIdentity dart::StaticCallInstr::Identity ( ) const

inlinevirtual

Reimplemented from dart::Definition.

Definition at line 5691 of file il.h.

5691{ return identity_; }

◆ InitResultType()

bool dart::StaticCallInstr::InitResultType ( Zone * zone )

Definition at line 5674 of file il.cc.

                                               {
  const intptr_t list_cid = FactoryRecognizer::GetResultCidOfListFactory(
      zone, function(), ArgumentCount());
  if (list_cid != kDynamicCid) {
    SetResultType(zone, CompileType::FromCid(list_cid));
    set_is_known_list_constructor(true);
    return true;
  } else if (function().has_pragma()) {
    const intptr_t recognized_cid =
        MethodRecognizer::ResultCidFromPragma(function());
    if (recognized_cid != kDynamicCid) {
      SetResultType(zone, CompileType::FromCid(recognized_cid));
      return true;
    }
  }
  return false;
}

◆ is_known_list_constructor()

bool dart::StaticCallInstr::is_known_list_constructor ( ) const

inline

Definition at line 5661 of file il.h.

5661{ return is_known_list_constructor_; }

◆ IsRecognizedFactory()

bool dart::StaticCallInstr::IsRecognizedFactory ( ) const

inline

Definition at line 5670 of file il.h.

5670{ return is_known_list_constructor(); }

◆ representation()

Representation dart::StaticCallInstr::representation ( ) const

virtual

Reimplemented from dart::Instruction.

Definition at line 5471 of file il.cc.

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

◆ RequiredInputRepresentation()

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

virtual

Reimplemented from dart::Instruction.

Definition at line 5452 of file il.cc.

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

◆ result_cid()

intptr_t dart::StaticCallInstr::result_cid ( ) const

inline

Definition at line 5654 of file il.h.

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

◆ result_type()

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

inline

Definition at line 5652 of file il.h.

5652{ return result_type_; }

◆ set_entry_kind()

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

inline

Definition at line 5668 of file il.h.

5668{ entry_kind_ = value; }

◆ set_ic_data()

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

inline

Definition at line 5609 of file il.h.

5609{ ic_data_ = value; }

◆ set_is_known_list_constructor()

void dart::StaticCallInstr::set_is_known_list_constructor ( bool value )

inline

Definition at line 5662 of file il.h.

                                                 {
    is_known_list_constructor_ = value;
  }

◆ SetIdentity()

virtual void dart::StaticCallInstr::SetIdentity ( AliasIdentity identity )

inlinevirtual

Reimplemented from dart::Definition.

Definition at line 5692 of file il.h.

5692{ identity_ = identity; }

gn.codesign_ios.identity

identity

Definition: codesign_ios.py:25

◆ SetResultType()

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

inline

Definition at line 5648 of file il.h.

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

◆ SpeculativeModeOfInput()

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

inlinevirtual

Reimplemented from dart::Instruction.

Definition at line 5672 of file il.h.

                                                                     {
    if (type_args_len() > 0 || function().IsFactory()) {
      if (idx == 0) {
        return kGuardInputs;
      }
      idx--;
    }
    return function_.is_unboxed_parameter_at(idx) ? kNotSpeculative
                                                  : kGuardInputs;
  }

◆ Targets()

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

Definition at line 5475 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 (StaticCallInstr, TemplateDartCall, FIELD_LIST) private const class BinaryFeedback* dart::StaticCallInstr::binary_ = nullptr

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

Public Member Functions

Static Public Member Functions

Public Attributes

Additional Inherited Members

Detailed Description

Constructor & Destructor Documentation

◆ StaticCallInstr() [1/2]

◆ StaticCallInstr() [2/2]

Member Function Documentation

◆ ArgumentsSize()

◆ BinaryFeedback()

◆ CallCount()

◆ CanBecomeDeoptimizationTarget()

◆ CanCallDart()

◆ Canonicalize()

◆ ComputeCanDeoptimize()

◆ ComputeCanDeoptimizeAfterCall()

◆ ComputeType()

◆ DeoptimizationTarget()

◆ DISALLOW_COPY_AND_ASSIGN()

◆ entry_kind()

◆ Evaluate() [1/2]

◆ Evaluate() [2/2]

◆ FromCall()

◆ function()

◆ HasICData()

◆ HasUnknownSideEffects()

◆ ic_data()

◆ Identity()

◆ InitResultType()

◆ is_known_list_constructor()

◆ IsRecognizedFactory()

◆ representation()

◆ RequiredInputRepresentation()

◆ result_cid()

◆ result_type()

◆ set_entry_kind()

◆ set_ic_data()

◆ set_is_known_list_constructor()

◆ SetIdentity()

◆ SetResultType()

◆ SpeculativeModeOfInput()

◆ Targets()

Member Data Documentation

◆ binary_