#include <il.h>

Inheritance diagram for dart::NativeCallInstr:

Public Member Functions
	NativeCallInstr (const String &name, const Function &function, bool link_lazily, const InstructionSource &source, InputsArray &&args)

const String &	native_name () const

const Function &	function () const

NativeFunction	native_c_function () const

bool	is_bootstrap_native () const

bool	is_auto_scope () const

bool	link_lazily () const

virtual TokenPosition	token_pos () const

virtual bool	ComputeCanDeoptimize () const

virtual bool	HasUnknownSideEffects () const

virtual bool	CanCallDart () const

void	SetupNative ()

	DECLARE_INSTRUCTION_SERIALIZABLE_FIELDS (NativeCallInstr, TemplateDartCall, FIELD_LIST) private

void	set_is_bootstrap_native (bool value)

void	set_is_auto_scope (bool value)

	DISALLOW_COPY_AND_ASSIGN (NativeCallInstr)

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

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

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

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

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

virtual bool	CanBecomeDeoptimizationTarget () 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
NativeFunction	native_c_function_ = nullptr

bool	is_bootstrap_native_ = false

bool	is_auto_scope_ = true

bool	link_lazily_ = true

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

Constructor & Destructor Documentation

◆ NativeCallInstr()

dart::NativeCallInstr::NativeCallInstr	(	const String &	name,
		const Function &	function,
		bool	link_lazily,
		const InstructionSource &	source,
		InputsArray &&	args
	)

inline

Definition at line 5950 of file il.h.

      : TemplateDartCall(DeoptId::kNone,
                         0,
                         Array::null_array(),
                         std::move(args),
                         source),
        native_name_(name),
        function_(function),
        token_pos_(source.token_pos),
        link_lazily_(link_lazily) {
    DEBUG_ASSERT(name.IsNotTemporaryScopedHandle());
    DEBUG_ASSERT(function.IsNotTemporaryScopedHandle());
    // +1 for return value placeholder.
    ASSERT(ArgumentCount() ==
           function.NumParameters() + (function.IsGeneric() ? 1 : 0) + 1);
  }

Member Function Documentation

◆ CanCallDart()

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

inlinevirtual

Reimplemented from dart::TemplateDartCall< 0 >.

Definition at line 5986 of file il.h.

5986{ return false; }

◆ ComputeCanDeoptimize()

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

inlinevirtual

Reimplemented from dart::TemplateDartCall< 0 >.

Definition at line 5981 of file il.h.

5981{ return false; }

◆ DECLARE_INSTRUCTION_SERIALIZABLE_FIELDS()

dart::NativeCallInstr::DECLARE_INSTRUCTION_SERIALIZABLE_FIELDS	(	NativeCallInstr	,
		TemplateDartCall	,
		FIELD_LIST
	)

inline

Definition at line 5997 of file il.h.

        :
  void set_native_c_function(NativeFunction value) {
    native_c_function_ = value;
  }

◆ DISALLOW_COPY_AND_ASSIGN()

dart::NativeCallInstr::DISALLOW_COPY_AND_ASSIGN ( NativeCallInstr )

◆ function()

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

inline

Definition at line 5974 of file il.h.

5974{ return function_; }

◆ HasUnknownSideEffects()

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

inlinevirtual

Implements dart::Instruction.

Definition at line 5983 of file il.h.

5983{ return true; }

◆ is_auto_scope()

bool dart::NativeCallInstr::is_auto_scope ( ) const

inline

Definition at line 5977 of file il.h.

5977{ return is_auto_scope_; }

dart::NativeCallInstr::is_auto_scope_

bool is_auto_scope_

Definition il.h:6014

◆ is_bootstrap_native()

bool dart::NativeCallInstr::is_bootstrap_native ( ) const

inline

Definition at line 5976 of file il.h.

5976{ return is_bootstrap_native_; }

dart::NativeCallInstr::is_bootstrap_native_

bool is_bootstrap_native_

Definition il.h:6013

◆ link_lazily()

bool dart::NativeCallInstr::link_lazily ( ) const

inline

Definition at line 5978 of file il.h.

5978{ return link_lazily_; }

◆ native_c_function()

NativeFunction dart::NativeCallInstr::native_c_function ( ) const

inline

Definition at line 5975 of file il.h.

5975{ return native_c_function_; }

◆ native_name()

const String & dart::NativeCallInstr::native_name ( ) const

inline

Definition at line 5973 of file il.h.

5973{ return native_name_; }

◆ set_is_auto_scope()

void dart::NativeCallInstr::set_is_auto_scope ( bool value )

inline

Definition at line 6008 of file il.h.

6008{ is_auto_scope_ = value; }

◆ set_is_bootstrap_native()

void dart::NativeCallInstr::set_is_bootstrap_native ( bool value )

inline

Definition at line 6007 of file il.h.

6007{ is_bootstrap_native_ = value; }

◆ SetupNative()

void dart::NativeCallInstr::SetupNative ( )

Definition at line 7290 of file il.cc.

                                  {
  if (link_lazily()) {
    // Resolution will happen during NativeEntry::LinkNativeCall.
    return;
  }
 
  Thread* thread = Thread::Current();
  Zone* zone = thread->zone();
 
  // Currently we perform unoptimized compilations only on mutator threads. If
  // the compiler has to resolve a native to a function pointer it calls out to
  // the embedder to do so.
  //
  // Unfortunately that embedder API was designed by giving it a handle to a
  // string. So the embedder will have to call back into the VM to convert it to
  // a C string - which requires an active isolate.
  //
  // => To allow this `dart-->jit-compiler-->embedder-->dart api` we set the
  //    active isolate again.
  //
  ActiveIsolateScope active_isolate(thread);
 
  const Class& cls = Class::Handle(zone, function().Owner());
  const Library& library = Library::Handle(zone, cls.library());
 
  Dart_NativeEntryResolver resolver = library.native_entry_resolver();
  bool is_bootstrap_native = Bootstrap::IsBootstrapResolver(resolver);
  set_is_bootstrap_native(is_bootstrap_native);
 
  const int num_params =
      NativeArguments::ParameterCountForResolution(function());
  bool auto_setup_scope = true;
  NativeFunction native_function = NativeEntry::ResolveNative(
      library, native_name(), num_params, &auto_setup_scope);
  if (native_function == nullptr) {
    if (has_inlining_id()) {
      UNIMPLEMENTED();
    }
    Report::MessageF(Report::kError, Script::Handle(function().script()),
                     function().token_pos(), Report::AtLocation,
                     "native function '%s' (%" Pd " arguments) cannot be found",
                     native_name().ToCString(), function().NumParameters());
  }
  set_is_auto_scope(auto_setup_scope);
  set_native_c_function(native_function);
}

◆ token_pos()

virtual TokenPosition dart::NativeCallInstr::token_pos ( ) const

inlinevirtual

Reimplemented from dart::TemplateDartCall< 0 >.

Definition at line 5979 of file il.h.

5979{ return token_pos_; }

Member Data Documentation

◆ is_auto_scope_

bool dart::NativeCallInstr::is_auto_scope_ = true

Definition at line 6014 of file il.h.

◆ is_bootstrap_native_

bool dart::NativeCallInstr::is_bootstrap_native_ = false

Definition at line 6013 of file il.h.

◆ link_lazily_

bool dart::NativeCallInstr::link_lazily_ = true

Definition at line 6015 of file il.h.

◆ native_c_function_

NativeFunction dart::NativeCallInstr::native_c_function_ = nullptr

Definition at line 6012 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

◆ NativeCallInstr()

Member Function Documentation

◆ CanCallDart()

◆ ComputeCanDeoptimize()

◆ DECLARE_INSTRUCTION_SERIALIZABLE_FIELDS()

◆ DISALLOW_COPY_AND_ASSIGN()

◆ function()

◆ HasUnknownSideEffects()

◆ is_auto_scope()

◆ is_bootstrap_native()

◆ link_lazily()

◆ native_c_function()

◆ native_name()

◆ set_is_auto_scope()

◆ set_is_bootstrap_native()

◆ SetupNative()

◆ token_pos()

Member Data Documentation

◆ is_auto_scope_

◆ is_bootstrap_native_

◆ link_lazily_

◆ native_c_function_