#include <il.h>

Inheritance diagram for dart::CachableIdempotentCallInstr:

Public Member Functions
	CachableIdempotentCallInstr (const InstructionSource &source, Representation representation, const Function &function, intptr_t type_args_len, const Array &argument_names, InputsArray &&arguments, intptr_t deopt_id)

const Function &	function () const

virtual Definition *	Canonicalize (FlowGraph *flow_graph)

virtual bool	MayCreateUnsafeUntaggedPointer () const

virtual bool	ComputeCanDeoptimize () const

virtual bool	ComputeCanDeoptimizeAfterCall () const

virtual bool	CanBecomeDeoptimizationTarget () const

virtual bool	HasUnknownSideEffects () const

virtual bool	CanCallDart () const

virtual SpeculativeMode	SpeculativeModeOfInput (intptr_t idx) const

virtual intptr_t	ArgumentsSize () const

virtual Representation	RequiredInputRepresentation (intptr_t idx) const

virtual Representation	representation () const

virtual AliasIdentity	Identity () const

virtual void	SetIdentity (AliasIdentity identity)

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

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

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

virtual intptr_t	DeoptimizationTarget () 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)

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

Constructor & Destructor Documentation

◆ CachableIdempotentCallInstr()

dart::CachableIdempotentCallInstr::CachableIdempotentCallInstr	(	const InstructionSource &	source,
		Representation	representation,
		const Function &	function,
		intptr_t	type_args_len,
		const Array &	argument_names,
		InputsArray &&	arguments,
		intptr_t	deopt_id
	)

Definition at line 5919 of file il.cc.

    : TemplateDartCall(deopt_id,
                       type_args_len,
                       argument_names,
                       std::move(arguments),
                       source),
      representation_(representation),
      function_(function),
      identity_(AliasIdentity::Unknown()) {
  DEBUG_ASSERT(function.IsNotTemporaryScopedHandle());
  // We use kUntagged for the internal use in FfiNativeLookupAddress
  // and kUnboxedAddress for pragma-annotated functions.
  ASSERT(representation == kUnboxedAddress ||
         function.ptr() ==
             IsolateGroup::Current()->object_store()->ffi_resolver_function());
  ASSERT(AbstractType::Handle(function.result_type()).IsIntType());
  ASSERT(!function.IsNull());
#if defined(TARGET_ARCH_IA32)
  // No pool to cache in on IA32.
  FATAL("Not supported on IA32.");
#endif
}

Member Function Documentation

◆ ArgumentsSize()

intptr_t dart::CachableIdempotentCallInstr::ArgumentsSize ( ) const

virtual

Reimplemented from dart::TemplateDartCall< 0 >.

Definition at line 5961 of file il.cc.

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

◆ CanBecomeDeoptimizationTarget()

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

inlinevirtual

Reimplemented from dart::Instruction.

Definition at line 5712 of file il.h.

5712{ return false; }

◆ CanCallDart()

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

inlinevirtual

Reimplemented from dart::TemplateDartCall< 0 >.

Definition at line 5716 of file il.h.

5716{ return true; }

◆ Canonicalize()

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

virtual

Reimplemented from dart::Definition.

Definition at line 5967 of file il.cc.

                                                                           {
  return this;
}

◆ ComputeCanDeoptimize()

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

inlinevirtual

Reimplemented from dart::TemplateDartCall< 0 >.

Definition at line 5708 of file il.h.

5708{ return false; }

◆ ComputeCanDeoptimizeAfterCall()

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

inlinevirtual

Reimplemented from dart::TemplateDartCall< 0 >.

Definition at line 5710 of file il.h.

5710{ return false; }

◆ function()

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

inline

Definition at line 5697 of file il.h.

5697{ return function_; }

◆ HasUnknownSideEffects()

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

inlinevirtual

Implements dart::Instruction.

Definition at line 5714 of file il.h.

5714{ return true; }

◆ Identity()

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

inlinevirtual

Reimplemented from dart::Definition.

Definition at line 5735 of file il.h.

5735{ return identity_; }

◆ MayCreateUnsafeUntaggedPointer()

virtual bool dart::CachableIdempotentCallInstr::MayCreateUnsafeUntaggedPointer ( ) const

inlinevirtual

Reimplemented from dart::Definition.

Definition at line 5701 of file il.h.

                                                      {
    // Either this is a pragma-annotated function, in which case the result
    // is not an untagged address, or it's a call to the FFI resolver, in
    // which case the returned value is not GC-movable.
    return false;
  }

◆ representation()

virtual Representation dart::CachableIdempotentCallInstr::representation ( ) const

inlinevirtual

Reimplemented from dart::Instruction.

Definition at line 5733 of file il.h.

5733{ return representation_; }

◆ RequiredInputRepresentation()

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

virtual

Reimplemented from dart::Instruction.

Definition at line 5949 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);
}

◆ SetIdentity()

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

inlinevirtual

Reimplemented from dart::Definition.

Definition at line 5736 of file il.h.

5736{ identity_ = identity; }

gn.codesign_ios.identity

identity

Definition codesign_ios.py:25

◆ SpeculativeModeOfInput()

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

inlinevirtual

Reimplemented from dart::Instruction.

Definition at line 5718 of file il.h.

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

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

Additional Inherited Members

Detailed Description

Constructor & Destructor Documentation

◆ CachableIdempotentCallInstr()

Member Function Documentation

◆ ArgumentsSize()

◆ CanBecomeDeoptimizationTarget()

◆ CanCallDart()

◆ Canonicalize()

◆ ComputeCanDeoptimize()

◆ ComputeCanDeoptimizeAfterCall()

◆ function()

◆ HasUnknownSideEffects()

◆ Identity()

◆ MayCreateUnsafeUntaggedPointer()

◆ representation()

◆ RequiredInputRepresentation()

◆ SetIdentity()

◆ SpeculativeModeOfInput()