#include <il.h>

Inheritance diagram for dart::Instruction:

Classes
struct	InputsTrait

struct	SuccessorsTrait

Public Types
enum	Tag { FOR_EACH_INSTRUCTION =(DECLARE_TAG) kNumInstructions }

enum	SpeculativeMode { kGuardInputs , kNotSpeculative }

using	InputsIterable = InstructionIndexedPropertyIterable< InputsTrait >

using	SuccessorsIterable = InstructionIndexedPropertyIterable< SuccessorsTrait >

Public Member Functions
	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
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
static const intptr_t	kInstructionAttrs [kNumInstructions]

Protected Member Functions
intptr_t	GetDeoptId () const

virtual void	CopyDeoptIdFrom (const Instruction &instr)

void	WriteExtraWithoutInputs (FlowGraphSerializer *s)

void	ReadExtraWithoutInputs (FlowGraphDeserializer *d)

Private Member Functions
virtual void	RawSetInputAt (intptr_t i, Value *value)=0

Friends
class	CallSiteInliner

class	LICM

class	ComparisonInstr

class	Scheduler

class	BlockEntryInstr

class	CatchBlockEntryInstr

class	DebugStepCheckInstr

class	StrictCompareInstr

class	BranchInstr

class	IfThenElseInstr

class	CheckConditionInstr

Detailed Description

Definition at line 956 of file il.h.

Member Typedef Documentation

◆ InputsIterable

using dart::Instruction::InputsIterable = InstructionIndexedPropertyIterable<InputsTrait>

Definition at line 1025 of file il.h.

◆ SuccessorsIterable

using dart::Instruction::SuccessorsIterable = InstructionIndexedPropertyIterable<SuccessorsTrait>

Definition at line 1129 of file il.h.

Member Enumeration Documentation

◆ SpeculativeMode

enum dart::Instruction::SpeculativeMode

Enumerator
kGuardInputs
kNotSpeculative

Definition at line 964 of file il.h.

                       {
    // Types of inputs should be checked when unboxing for this instruction.
    kGuardInputs,
    // Each input is guaranteed to have a valid type for the input
    // representation and its type should not be checked when unboxing.
    kNotSpeculative
  };

◆ Tag

enum dart::Instruction::Tag

Enumerator
FOR_EACH_INSTRUCTION

Definition at line 959 of file il.h.

959{ FOR_EACH_INSTRUCTION(DECLARE_TAG) kNumInstructions };

dart::Instruction::FOR_EACH_INSTRUCTION

@ FOR_EACH_INSTRUCTION

Definition il.h:959

DECLARE_TAG

#define DECLARE_TAG(type, attrs)

Definition il.h:958

Constructor & Destructor Documentation

◆ Instruction() [1/2]

dart::Instruction::Instruction	(	const InstructionSource &	source,
		intptr_t	deopt_id = `DeoptId::kNone`
	)

inlineexplicit

Definition at line 974 of file il.h.

976 : deopt_id_(deopt_id), inlining_id_(source.inlining_id) {}

dart::Instruction::source

InstructionSource source() const

Definition il.h:1002

dart::Instruction::deopt_id

intptr_t deopt_id() const

Definition il.h:987

dart::InstructionSource::inlining_id

const intptr_t inlining_id

Definition code_descriptors.h:188

◆ Instruction() [2/2]

dart::Instruction::Instruction ( intptr_t deopt_id = DeoptId::kNone )

inlineexplicit

Definition at line 978 of file il.h.

979 : Instruction(InstructionSource(), deopt_id) {}

dart::Instruction::Instruction

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

Definition il.h:974

◆ ~Instruction()

virtual dart::Instruction::~Instruction ( )

inlinevirtual

Definition at line 981 of file il.h.

981{}

Member Function Documentation

◆ Accept()

virtual void dart::Instruction::Accept ( InstructionVisitor * visitor )

pure virtual

◆ AllowsCSE()

virtual bool dart::Instruction::AllowsCSE ( ) const

inlinevirtual

Reimplemented in dart::PureInstruction, dart::PureDefinition, dart::PureComparison, dart::IfThenElseInstr, dart::AllocateClosureInstr, dart::InvokeMathCFunctionInstr, dart::CheckConditionInstr, and dart::SimdOpInstr.

Definition at line 1285 of file il.h.

1285{ return false; }

◆ AppendInstruction()

Instruction * dart::Instruction::AppendInstruction ( Instruction * tail )

Definition at line 1339 of file il.cc.

                                                             {
  LinkTo(tail);
  // Update def-use chains whenever instructions are added to the graph
  // after initial graph construction.
  for (intptr_t i = tail->InputCount() - 1; i >= 0; --i) {
    Value* input = tail->InputAt(i);
    input->definition()->AddInputUse(input);
  }
  return tail;
}

◆ ArgumentAt()

Definition * dart::Instruction::ArgumentAt ( intptr_t index ) const

inline

Definition at line 3423 of file il.h.

                                                               {
  return ArgumentValueAt(index)->definition();
}

◆ ArgumentCount()

virtual intptr_t dart::Instruction::ArgumentCount ( ) const

inlinevirtual

Reimplemented in dart::BranchInstr, dart::TemplateDartCall< kExtraInputs >, dart::TemplateDartCall< 0 >, and dart::TemplateDartCall< 1 >.

Definition at line 1035 of file il.h.

1035{ return 0; }

◆ ArgumentValueAt()

Value * dart::Instruction::ArgumentValueAt ( intptr_t index ) const

inline

Definition at line 3417 of file il.h.

                                                               {
  MoveArgumentsArray* move_arguments = GetMoveArguments();
  return move_arguments != nullptr ? (*move_arguments)[index]->value()
                                   : InputAt(index);
}

◆ AttributesEqual()

virtual bool dart::Instruction::AttributesEqual ( const Instruction & other ) const

inlinevirtual

Reimplemented in dart::DartReturnInstr, dart::NativeReturnInstr, dart::ComparisonInstr, dart::IfThenElseInstr, dart::AllocateClosureInstr, dart::InvokeMathCFunctionInstr, dart::CheckConditionInstr, and dart::SimdOpInstr.

Definition at line 1325 of file il.h.

                                                               {
    UNREACHABLE();
    return false;
  }

◆ CanBecomeDeoptimizationTarget()

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

inlinevirtual

Reimplemented in dart::DartReturnInstr, dart::NativeReturnInstr, dart::ComparisonInstr, dart::BranchInstr, dart::InstanceCallBaseInstr, dart::DispatchTableCallInstr, dart::IfThenElseInstr, dart::StaticCallInstr, and dart::CachableIdempotentCallInstr.

Definition at line 1337 of file il.h.

1337{ return false; }

◆ CanCallDart()

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

inlinevirtual

Reimplemented in dart::BranchInstr, dart::TemplateDartCall< kExtraInputs >, dart::TemplateDartCall< 0 >, dart::TemplateDartCall< 1 >, dart::IfThenElseInstr, dart::StaticCallInstr, dart::CachableIdempotentCallInstr, dart::NativeCallInstr, dart::FfiCallInstr, and dart::LeafRuntimeCallInstr.

Definition at line 1298 of file il.h.

1298{ return false; }

◆ CanDeoptimize()

bool dart::Instruction::CanDeoptimize ( ) const

inline

Definition at line 1073 of file il.h.

                             {
    return env() != nullptr &&
           (ComputeCanDeoptimize() || ComputeCanDeoptimizeAfterCall());
  }

◆ CanEliminate() [1/2]

bool dart::Instruction::CanEliminate ( )

inline

Definition at line 1354 of file il.h.

1354{ return CanEliminate(GetBlock()); }

dart::Instruction::GetBlock

virtual BlockEntryInstr * GetBlock()

Definition il.cc:1350

dart::Instruction::CanEliminate

bool CanEliminate()

Definition il.h:1354

◆ CanEliminate() [2/2]

bool dart::Instruction::CanEliminate ( const BlockEntryInstr * block ) const

virtual

Reimplemented in dart::Definition.

Definition at line 1566 of file il.cc.

                                                                 {
  ASSERT(const_cast<Instruction*>(this)->GetBlock() == block);
  return !MayHaveVisibleEffect() && !CanDeoptimize() &&
         this != block->last_instruction();
}

◆ Canonicalize()

Instruction * dart::Instruction::Canonicalize ( FlowGraph * flow_graph )

virtual

Reimplemented in dart::Definition, dart::PhiInstr, dart::BranchInstr, dart::InstanceCallInstr, dart::DispatchTableCallInstr, dart::StaticCallInstr, dart::CachableIdempotentCallInstr, dart::AllocateClosureInstr, dart::AllocateContextInstr, dart::CheckConditionInstr, dart::SimdOpInstr, and dart::PolymorphicInstanceCallInstr.

Definition at line 2620 of file il.cc.

                                                            {
  return this;
}

◆ CanTriggerGC()

bool dart::Instruction::CanTriggerGC ( ) const

virtual

Definition at line 1619 of file il.cc.

                                     {
  return (kInstructionAttrs[tag()] & InstrAttrs::kNoGC) == 0;
}

◆ Cast()

template<typename T >

const T * dart::Instruction::Cast ( ) const

inline

Definition at line 1180 of file il.h.

                        {
    return static_cast<const T*>(this);
  }

◆ CheckField()

void dart::Instruction::CheckField ( const Field & field ) const

inline

Definition at line 1147 of file il.h.

1147{}

◆ ClearEnv()

void dart::Instruction::ClearEnv ( )

inline

Definition at line 1358 of file il.h.

1358{ env_ = nullptr; }

◆ ComputeCanDeoptimize()

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

pure virtual

Implemented in dart::PhiInstr, dart::ReturnBaseInstr, dart::BranchInstr, dart::TemplateDartCall< kExtraInputs >, dart::TemplateDartCall< 0 >, dart::TemplateDartCall< 1 >, dart::IfThenElseInstr, dart::StaticCallInstr, dart::CachableIdempotentCallInstr, dart::DropTempsInstr, dart::NativeCallInstr, dart::FfiCallInstr, dart::LeafRuntimeCallInstr, dart::AllocationInstr, dart::MaterializeObjectInstr, dart::AllocateContextInstr, dart::InvokeMathCFunctionInstr, dart::CheckConditionInstr, and dart::SimdOpInstr.

◆ ComputeCanDeoptimizeAfterCall()

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

inlinevirtual

Reimplemented in dart::TemplateDartCall< kExtraInputs >, dart::TemplateDartCall< 0 >, dart::TemplateDartCall< 1 >, dart::StaticCallInstr, dart::CachableIdempotentCallInstr, dart::FfiCallInstr, and dart::AllocationInstr.

Definition at line 1064 of file il.h.

                                                     {
    // TODO(dartbug.com/45213): Incrementally migrate IR instructions from using
    // [ComputeCanDeoptimize] to [ComputeCanDeoptimizeAfterCall] if they
    // can only lazy deoptimize.
    return false;
  }

◆ CopyDeoptIdFrom()

virtual void dart::Instruction::CopyDeoptIdFrom ( const Instruction & instr )

inlineprotectedvirtual

Reimplemented in dart::BranchInstr, dart::IfThenElseInstr, and dart::CheckConditionInstr.

Definition at line 1405 of file il.h.

                                                         {
    deopt_id_ = instr.deopt_id_;
  }

◆ DebugName()

virtual const char * dart::Instruction::DebugName ( ) const

pure virtual

◆ DECLARE_INSTRUCTION_TYPE_CHECK()

dart::Instruction::DECLARE_INSTRUCTION_TYPE_CHECK	(	BlockEntryWithInitialDefs	,
		BlockEntryWithInitialDefs
	)

inline

Definition at line 1166 of file il.h.

            {
    return static_cast<T*>(this);
  }

◆ deopt_id()

intptr_t dart::Instruction::deopt_id ( ) const

inline

Definition at line 987 of file il.h.

                            {
    ASSERT(ComputeCanDeoptimize() || ComputeCanDeoptimizeAfterCall() ||
           CanBecomeDeoptimizationTarget() || MayThrow() ||
           CompilerState::Current().is_aot());
    return GetDeoptId();
  }

◆ DeoptimizationTarget()

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

inlinevirtual

Reimplemented in dart::DartReturnInstr, dart::ComparisonInstr, dart::BranchInstr, dart::InstanceCallBaseInstr, dart::DispatchTableCallInstr, dart::IfThenElseInstr, dart::StaticCallInstr, dart::InvokeMathCFunctionInstr, and dart::SimdOpInstr.

Definition at line 1261 of file il.h.

                                                {
    UNREACHABLE();
    return DeoptId::kNone;
  }

◆ EmitNativeCode()

virtual void dart::Instruction::EmitNativeCode ( FlowGraphCompiler * compiler )

inlinevirtual

Reimplemented in dart::ComparisonInstr.

Definition at line 1207 of file il.h.

1207{ UNIMPLEMENTED(); }

UNIMPLEMENTED

#define UNIMPLEMENTED

Definition dl_dispatcher.cc:36

◆ env()

Environment * dart::Instruction::env ( ) const

inline

Definition at line 1209 of file il.h.

1209{ return env_; }

◆ Equals()

bool dart::Instruction::Equals ( const Instruction & other ) const

Definition at line 617 of file il.cc.

                                                       {
  if (tag() != other.tag()) return false;
  if (InputCount() != other.InputCount()) return false;
  for (intptr_t i = 0; i < InputCount(); ++i) {
    if (!InputAt(i)->Equals(*other.InputAt(i))) return false;
  }
  return AttributesEqual(other);
}

◆ GetBlock()

BlockEntryInstr * dart::Instruction::GetBlock ( )

virtual

Reimplemented in dart::PhiInstr.

Definition at line 1350 of file il.cc.

                                       {
  // TODO(fschneider): Implement a faster way to get the block of an
  // instruction.
  Instruction* result = previous();
  while ((result != nullptr) && !result->IsBlockEntry()) {
    result = result->previous();
  }
  // InlineExitCollector::RemoveUnreachableExits may call
  // Instruction::GetBlock on instructions which are not properly linked
  // to the flow graph (as collected exits may belong to unreachable
  // fragments), so this code should gracefully handle the absence of
  // BlockEntry.
  return (result != nullptr) ? result->AsBlockEntry() : nullptr;
}

◆ GetDeoptId()

intptr_t dart::Instruction::GetDeoptId ( ) const

inlineprotected

Definition at line 1403 of file il.h.

1403{ return deopt_id_; }

◆ GetICData()

const ICData * dart::Instruction::GetICData	(	const ZoneGrowableArray< const ICData * > &	ic_data_array,
		intptr_t	deopt_id,
		bool	is_static_call
	)

static

Definition at line 593 of file il.cc.

                         {
  // The deopt_id can be outside the range of the IC data array for
  // computations added in the optimizing compiler.
  ASSERT(deopt_id != DeoptId::kNone);
  if (deopt_id >= ic_data_array.length()) {
    return nullptr;
  }
  const ICData* result = ic_data_array[deopt_id];
  ASSERT(result == nullptr || is_static_call == result->is_static_call());
  return result;
}

◆ GetMoveArguments()

virtual MoveArgumentsArray * dart::Instruction::GetMoveArguments ( ) const

inlinevirtual

Reimplemented in dart::BranchInstr, dart::TemplateDartCall< kExtraInputs >, dart::TemplateDartCall< 0 >, and dart::TemplateDartCall< 1 >.

Definition at line 1044 of file il.h.

                                                       {
    UNREACHABLE();
    return nullptr;
  }

◆ GetPassSpecificId()

intptr_t dart::Instruction::GetPassSpecificId ( CompilerPass::Id pass ) const

inline

Definition at line 1218 of file il.h.

                                                        {
    return (PassSpecificId::DecodePass(pass_specific_id_) == pass)
               ? PassSpecificId::DecodeId(pass_specific_id_)
               : PassSpecificId::kNoId;
  }

◆ Goto()

void dart::Instruction::Goto ( JoinEntryInstr * entry )

Definition at line 2021 of file il.cc.

                                            {
  LinkTo(new GotoInstr(entry, CompilerState::Current().GetNextDeoptId()));
}

◆ has_inlining_id()

virtual bool dart::Instruction::has_inlining_id ( ) const

inlinevirtual

Reimplemented in dart::BranchInstr.

Definition at line 1311 of file il.h.

1311{ return inlining_id_ >= 0; }

◆ Hash()

uword dart::Instruction::Hash ( ) const

virtual

Reimplemented in dart::PhiInstr.

Definition at line 608 of file il.cc.

                              {
  uword result = tag();
  for (intptr_t i = 0; i < InputCount(); ++i) {
    Value* value = InputAt(i);
    result = CombineHashes(result, value->definition()->ssa_temp_index());
  }
  return FinalizeHash(result, kBitsPerInt32 - 1);
}

◆ HasLocs()

bool dart::Instruction::HasLocs ( ) const

inline

Definition at line 1191 of file il.h.

1191{ return locs_ != nullptr; }

◆ HasMoveArguments()

bool dart::Instruction::HasMoveArguments ( ) const

inline

Definition at line 1053 of file il.h.

1053{ return GetMoveArguments() != nullptr; }

◆ HasPassSpecificId()

bool dart::Instruction::HasPassSpecificId ( CompilerPass::Id pass ) const

inline

Definition at line 1226 of file il.h.

                                                    {
    return (PassSpecificId::DecodePass(pass_specific_id_) == pass) &&
           (PassSpecificId::DecodeId(pass_specific_id_) !=
            PassSpecificId::kNoId);
  }

◆ HasUnknownSideEffects()

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

pure virtual

◆ HasUnmatchedInputRepresentations()

bool dart::Instruction::HasUnmatchedInputRepresentations ( ) const

Definition at line 1600 of file il.cc.

                                                         {
  for (intptr_t i = 0; i < InputCount(); i++) {
    Definition* input = InputAt(i)->definition();
    const Representation input_representation = RequiredInputRepresentation(i);
    if (input_representation != kNoRepresentation &&
        input_representation != input->representation()) {
      return true;
    }
  }
 
  return false;
}

◆ InheritDeoptTarget()

void dart::Instruction::InheritDeoptTarget	(	Zone *	zone,
		Instruction *	other
	)

Definition at line 1560 of file il.cc.

                                                                   {
  ASSERT(other->env() != nullptr);
  CopyDeoptIdFrom(*other);
  other->env()->DeepCopyTo(zone, this);
}

◆ InheritDeoptTargetAfter()

void dart::Instruction::InheritDeoptTargetAfter	(	FlowGraph *	flow_graph,
		Definition *	call,
		Definition *	result
	)

Definition at line 1549 of file il.cc.

                                                              {
  ASSERT(call->env() != nullptr);
  deopt_id_ = DeoptId::ToDeoptAfter(call->deopt_id_);
  call->env()->DeepCopyAfterTo(
      flow_graph->zone(), this, call->ArgumentCount(),
      flow_graph->constant_dead(),
      result != nullptr ? result : flow_graph->constant_dead());
}

◆ InitializeLocationSummary()

void dart::Instruction::InitializeLocationSummary	(	Zone *	zone,
		bool	optimizing
	)

inline

Definition at line 1196 of file il.h.

                                                              {
    ASSERT(locs_ == nullptr);
    locs_ = MakeLocationSummary(zone, optimizing);
  }

◆ inlining_id()

virtual intptr_t dart::Instruction::inlining_id ( ) const

inlinevirtual

Reimplemented in dart::BranchInstr.

Definition at line 1305 of file il.h.

1305{ return inlining_id_; }

◆ InputAt()

virtual Value * dart::Instruction::InputAt ( intptr_t i ) const

pure virtual

Implemented in dart::VariadicDefinition, dart::DartReturnInstr, dart::NativeReturnInstr, dart::BranchInstr, dart::IfThenElseInstr, dart::DropTempsInstr, dart::TemplateAllocation< N >, dart::TemplateAllocation< 0 >, dart::TemplateAllocation< 3 >, dart::AllocateObjectInstr, dart::TemplateArrayAllocation< N >, dart::TemplateArrayAllocation< 1 >, dart::TemplateArrayAllocation< 2 >, dart::CheckConditionInstr, and dart::SimdOpInstr.

◆ InputCount()

virtual intptr_t dart::Instruction::InputCount ( ) const

pure virtual

Implemented in dart::VariadicDefinition, dart::DartReturnInstr, dart::NativeReturnInstr, dart::BranchInstr, dart::IfThenElseInstr, dart::DropTempsInstr, dart::TemplateAllocation< N >, dart::TemplateAllocation< 0 >, dart::TemplateAllocation< 3 >, dart::AllocateObjectInstr, dart::AllocateClosureInstr, dart::AllocateSmallRecordInstr, dart::TemplateArrayAllocation< N >, dart::TemplateArrayAllocation< 1 >, dart::TemplateArrayAllocation< 2 >, dart::CheckConditionInstr, and dart::SimdOpInstr.

◆ inputs()

InputsIterable dart::Instruction::inputs ( )

inline

Definition at line 1027 of file il.h.

1027{ return InputsIterable(this); }

dart::Instruction::InputsIterable

InstructionIndexedPropertyIterable< InputsTrait > InputsIterable

Definition il.h:1025

◆ InsertAfter()

void dart::Instruction::InsertAfter ( Instruction * prev )

Definition at line 1323 of file il.cc.

                                               {
  ASSERT(previous_ == nullptr);
  ASSERT(next_ == nullptr);
  previous_ = prev;
  next_ = prev->next_;
  next_->previous_ = this;
  previous_->next_ = this;
 
  // Update def-use chains whenever instructions are added to the graph
  // after initial graph construction.
  for (intptr_t i = InputCount() - 1; i >= 0; --i) {
    Value* input = InputAt(i);
    input->definition()->AddInputUse(input);
  }
}

◆ InsertBefore()

void dart::Instruction::InsertBefore ( Instruction * next )

inline

Definition at line 1274 of file il.h.

1274{ InsertAfter(next->previous()); }

dart::Instruction::next

Instruction * next() const

Definition il.h:1087

dart::Instruction::InsertAfter

void InsertAfter(Instruction *prev)

Definition il.cc:1323

◆ IsDominatedBy()

bool dart::Instruction::IsDominatedBy ( Instruction * dom )

Definition at line 1572 of file il.cc.

                                                {
  BlockEntryInstr* block = GetBlock();
  BlockEntryInstr* dom_block = dom->GetBlock();
 
  if (dom->IsPhi()) {
    dom = dom_block;
  }
 
  if (block == dom_block) {
    if ((block == dom) || (this == block->last_instruction())) {
      return true;
    }
 
    if (IsPhi()) {
      return false;
    }
 
    for (Instruction* curr = dom->next(); curr != nullptr;
         curr = curr->next()) {
      if (curr == this) return true;
    }
 
    return false;
  }
 
  return dom_block->Dominates(block);
}

◆ LinkTo()

void dart::Instruction::LinkTo ( Instruction * next )

inline

Definition at line 1102 of file il.h.

                                 {
    ASSERT(this != next);
    this->set_next(next);
    next->set_previous(this);
  }

◆ locs()

LocationSummary * dart::Instruction::locs ( )

inline

Definition at line 1186 of file il.h.

                          {
    ASSERT(locs_ != nullptr);
    return locs_;
  }

◆ MakeCallSummary()

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

static

◆ MakeLocationSummary()

virtual LocationSummary * dart::Instruction::MakeLocationSummary	(	Zone *	zone,
		bool	is_optimizing
	)		const

pure virtual

◆ MayHaveVisibleEffect()

virtual bool dart::Instruction::MayHaveVisibleEffect ( ) const

inlinevirtual

Reimplemented in dart::TemplateAllocation< N >, dart::TemplateAllocation< 0 >, dart::TemplateAllocation< 3 >, and dart::AllocateObjectInstr.

Definition at line 1346 of file il.h.

                                            {
    return HasUnknownSideEffects() || MayThrow();
  }

◆ MayThrow()

virtual bool dart::Instruction::MayThrow ( ) const

pure virtual

Implemented in dart::PhiInstr, dart::ReturnBaseInstr, dart::BranchInstr, dart::TemplateDartCall< kExtraInputs >, dart::TemplateDartCall< 0 >, dart::TemplateDartCall< 1 >, dart::IfThenElseInstr, dart::DropTempsInstr, dart::FfiCallInstr, dart::LeafRuntimeCallInstr, dart::AllocationInstr, dart::MaterializeObjectInstr, dart::InvokeMathCFunctionInstr, dart::CheckConditionInstr, and dart::SimdOpInstr.

◆ NeedsEnvironment()

bool dart::Instruction::NeedsEnvironment ( ) const

inline

Definition at line 1332 of file il.h.

                                {
    return ComputeCanDeoptimize() || ComputeCanDeoptimizeAfterCall() ||
           CanBecomeDeoptimizationTarget() || MayThrow();
  }

◆ next()

Instruction * dart::Instruction::next ( ) const

inline

Definition at line 1087 of file il.h.

1087{ return next_; }

◆ NumberOfInputsConsumedBeforeCall()

virtual intptr_t dart::Instruction::NumberOfInputsConsumedBeforeCall ( ) const

inlinevirtual

Reimplemented in dart::TemplateDartCall< kExtraInputs >, dart::TemplateDartCall< 0 >, dart::TemplateDartCall< 1 >, and dart::AllocationInstr.

Definition at line 1214 of file il.h.

1214{ return 0; }

◆ previous()

Instruction * dart::Instruction::previous ( ) const

inline

Definition at line 1081 of file il.h.

1081{ return previous_; }

◆ RawSetInputAt()

virtual void dart::Instruction::RawSetInputAt	(	intptr_t	i,
		Value *	value
	)

privatepure virtual

Implemented in dart::DartReturnInstr, dart::NativeReturnInstr, dart::BranchInstr, dart::TemplateAllocation< N >, dart::TemplateAllocation< 0 >, dart::TemplateAllocation< 3 >, dart::TemplateArrayAllocation< N >, dart::TemplateArrayAllocation< 1 >, dart::TemplateArrayAllocation< 2 >, and dart::SimdOpInstr.

◆ ReadExtraWithoutInputs()

void dart::Instruction::ReadExtraWithoutInputs ( FlowGraphDeserializer * d )

protected

Definition at line 1117 of file il_serializer.cc.

                                                                 {
  Environment* env = d->Read<Environment*>();
  SetEnvironment(env);
  locs_ = d->Read<LocationSummary*>();
}

◆ RegisterKindForResult()

Location::Kind dart::Instruction::RegisterKindForResult ( ) const

inline

Definition at line 1378 of file il.h.

                                             {
    const Representation rep = representation();
    if ((rep == kUnboxedFloat) || (rep == kUnboxedDouble) ||
        (rep == kUnboxedFloat32x4) || (rep == kUnboxedInt32x4) ||
        (rep == kUnboxedFloat64x2)) {
      return Location::kFpuRegister;
    }
    return Location::kRegister;
  }

◆ RemoveEnvironment()

void dart::Instruction::RemoveEnvironment ( )

Definition at line 1280 of file il.cc.

                                    {
  for (Environment::DeepIterator it(env()); !it.Done(); it.Advance()) {
    it.CurrentValue()->RemoveFromUseList();
  }
  env_ = nullptr;
}

◆ RemoveFromGraph()

Instruction * dart::Instruction::RemoveFromGraph ( bool return_previous = true )

Definition at line 1299 of file il.cc.

                                                              {
  ASSERT(!IsBlockEntry());
  ASSERT(!IsBranch());
  ASSERT(!IsThrow());
  ASSERT(!IsReturnBase());
  ASSERT(!IsReThrow());
  ASSERT(!IsGoto());
  ASSERT(previous() != nullptr);
  // We cannot assert that the instruction, if it is a definition, has no
  // uses.  This function is used to remove instructions from the graph and
  // reinsert them elsewhere (e.g., hoisting).
  Instruction* prev_instr = previous();
  Instruction* next_instr = next();
  ASSERT(next_instr != nullptr);
  ASSERT(!next_instr->IsBlockEntry());
  prev_instr->LinkTo(next_instr);
  UnuseAllInputs();
  // Reset the successor and previous instruction to indicate that the
  // instruction is removed from the graph.
  set_previous(nullptr);
  set_next(nullptr);
  return return_previous ? prev_instr : next_instr;
}

◆ RepairArgumentUsesInEnvironment()

void dart::Instruction::RepairArgumentUsesInEnvironment ( ) const

Definition at line 1534 of file il.cc.

                                                        {
  // Some calls (e.g. closure calls) have more inputs than actual arguments.
  // Those extra inputs will be consumed from the stack before the call.
  const intptr_t after_args_input_count = env()->LazyDeoptPruneCount();
  MoveArgumentsArray* move_arguments = GetMoveArguments();
  ASSERT(move_arguments != nullptr);
  const intptr_t arg_count = ArgumentCount();
  ASSERT((arg_count + after_args_input_count) <= env()->Length());
  const intptr_t env_base =
      env()->Length() - arg_count - after_args_input_count;
  for (intptr_t i = 0; i < arg_count; ++i) {
    env()->ValueAt(env_base + i)->BindToEnvironment(move_arguments->At(i));
  }
}

◆ ReplaceInEnvironment()

void dart::Instruction::ReplaceInEnvironment	(	Definition *	current,
		Definition *	replacement
	)

Definition at line 1287 of file il.cc.

                                                                {
  for (Environment::DeepIterator it(env()); !it.Done(); it.Advance()) {
    Value* use = it.CurrentValue();
    if (use->definition() == current) {
      use->RemoveFromUseList();
      use->set_definition(replacement);
      replacement->AddEnvUse(use);
    }
  }
}

◆ ReplaceInputsWithMoveArguments()

virtual void dart::Instruction::ReplaceInputsWithMoveArguments ( MoveArgumentsArray * move_arguments )

inlinevirtual

Reimplemented in dart::TemplateDartCall< kExtraInputs >, dart::TemplateDartCall< 0 >, and dart::TemplateDartCall< 1 >.

Definition at line 1049 of file il.h.

                                          {
    UNREACHABLE();
  }

◆ representation()

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

inlinevirtual

Reimplemented in dart::PhiInstr, dart::DartReturnInstr, dart::InstanceCallBaseInstr, dart::DispatchTableCallInstr, dart::StaticCallInstr, dart::CachableIdempotentCallInstr, dart::FfiCallInstr, dart::LeafRuntimeCallInstr, dart::InvokeMathCFunctionInstr, and dart::SimdOpInstr.

Definition at line 1254 of file il.h.

1254{ return kTagged; }

◆ RequiredInputRepresentation()

virtual Representation dart::Instruction::RequiredInputRepresentation ( intptr_t idx ) const

inlinevirtual

Reimplemented in dart::PhiInstr, dart::BranchInstr, dart::IfThenElseInstr, dart::NativeReturnInstr, dart::InstanceCallBaseInstr, dart::DispatchTableCallInstr, dart::StaticCallInstr, dart::CachableIdempotentCallInstr, dart::FfiCallInstr, dart::LeafRuntimeCallInstr, dart::MaterializeObjectInstr, dart::InvokeMathCFunctionInstr, dart::SimdOpInstr, and dart::DartReturnInstr.

Definition at line 1235 of file il.h.

                                                                         {
    return kTagged;
  }

◆ set_inlining_id()

virtual void dart::Instruction::set_inlining_id ( intptr_t value )

inlinevirtual

Reimplemented in dart::BranchInstr.

Definition at line 1306 of file il.h.

                                               {
    ASSERT(value >= 0);
    ASSERT(!has_inlining_id() || inlining_id_ == value);
    inlining_id_ = value;
  }

◆ set_next()

void dart::Instruction::set_next ( Instruction * instr )

inline

Definition at line 1088 of file il.h.

                                    {
    ASSERT(!IsGraphEntry());
    ASSERT(!IsReturnBase());
    ASSERT(!IsBranch() || (instr == nullptr));
    ASSERT(!IsPhi());
    ASSERT(instr == nullptr || !instr->IsBlockEntry());
    // TODO(fschneider): Also add Throw and ReThrow to the list of instructions
    // that do not have a successor. Currently, the graph builder will continue
    // to append instruction in case of a Throw inside an expression. This
    // condition should be handled in the graph builder
    next_ = instr;
  }

◆ set_previous()

void dart::Instruction::set_previous ( Instruction * instr )

inline

Definition at line 1082 of file il.h.

                                        {
    ASSERT(!IsBlockEntry());
    previous_ = instr;
  }

◆ SetEnvironment()

void dart::Instruction::SetEnvironment ( Environment * deopt_env )

Definition at line 1270 of file il.cc.

                                                       {
  intptr_t use_index = 0;
  for (Environment::DeepIterator it(deopt_env); !it.Done(); it.Advance()) {
    Value* use = it.CurrentValue();
    use->set_instruction(this);
    use->set_use_index(use_index++);
  }
  env_ = deopt_env;
}

◆ SetInputAt()

void dart::Instruction::SetInputAt	(	intptr_t	i,
		Value *	value
	)

inline

Definition at line 1008 of file il.h.

                                            {
    ASSERT(value != nullptr);
    value->set_instruction(this);
    value->set_use_index(i);
    RawSetInputAt(i, value);
  }

◆ SetMoveArguments()

virtual void dart::Instruction::SetMoveArguments ( MoveArgumentsArray * move_arguments )

inlinevirtual

Reimplemented in dart::BranchInstr, dart::TemplateDartCall< kExtraInputs >, dart::TemplateDartCall< 0 >, and dart::TemplateDartCall< 1 >.

Definition at line 1040 of file il.h.

                                                                    {
    UNREACHABLE();
  }

◆ SetPassSpecificId()

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

inline

Definition at line 1223 of file il.h.

                                                           {
    pass_specific_id_ = PassSpecificId::Encode(pass, id);
  }

◆ SlowPathSharingSupported()

static bool dart::Instruction::SlowPathSharingSupported ( bool is_optimizing )

inlinestatic

Definition at line 1362 of file il.h.

                                                           {
#if defined(TARGET_ARCH_IA32)
    return false;
#else
    return FLAG_enable_slow_path_sharing && FLAG_precompiled_mode &&
           is_optimizing;
#endif
  }

◆ source()

InstructionSource dart::Instruction::source ( ) const

inline

Definition at line 1002 of file il.h.

                                   {
    return InstructionSource(token_pos(), inlining_id());
  }

◆ SpeculativeModeOfInput()

virtual SpeculativeMode dart::Instruction::SpeculativeModeOfInput ( intptr_t index ) const

inlinevirtual

Reimplemented in dart::InstanceCallBaseInstr, dart::DispatchTableCallInstr, dart::StaticCallInstr, dart::CachableIdempotentCallInstr, dart::InvokeMathCFunctionInstr, dart::PhiInstr, and dart::ReturnBaseInstr.

Definition at line 1249 of file il.h.

                                                                       {
    return kGuardInputs;
  }

◆ SpeculativeModeOfInputs()

SpeculativeMode dart::Instruction::SpeculativeModeOfInputs ( ) const

inline

Definition at line 1239 of file il.h.

                                                  {
    for (intptr_t i = 0; i < InputCount(); i++) {
      if (SpeculativeModeOfInput(i) == kGuardInputs) {
        return kGuardInputs;
      }
    }
    return kNotSpeculative;
  }

◆ statistics_tag()

virtual intptr_t dart::Instruction::statistics_tag ( ) const

inlinevirtual

Definition at line 985 of file il.h.

985{ return tag(); }

◆ SuccessorAt()

BlockEntryInstr * dart::Instruction::SuccessorAt ( intptr_t index ) const

virtual

Reimplemented in dart::BranchInstr.

Definition at line 1972 of file il.cc.

                                                              {
  // Called only if index is in range.  Only control-transfer instructions
  // can have non-zero successor counts and they override this function.
  UNREACHABLE();
  return nullptr;
}

◆ SuccessorCount()

intptr_t dart::Instruction::SuccessorCount ( ) const

virtual

Reimplemented in dart::BranchInstr.

Definition at line 1968 of file il.cc.

                                           {
  return 0;
}

◆ successors()

SuccessorsIterable dart::Instruction::successors ( ) const

inline

Definition at line 1132 of file il.h.

                                               {
    return SuccessorsIterable(this);
  }

◆ tag()

virtual Tag dart::Instruction::tag ( ) const

pure virtual

◆ ToCString()

const char * dart::Instruction::ToCString ( ) const

Definition at line 1669 of file il_printer.cc.

                                         {
  return DebugName();
}

◆ token_pos()

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

inlinevirtual

Reimplemented in dart::DartReturnInstr, dart::ComparisonInstr, dart::BranchInstr, dart::TemplateDartCall< kExtraInputs >, dart::TemplateDartCall< 0 >, dart::TemplateDartCall< 1 >, dart::DropTempsInstr, dart::NativeCallInstr, dart::AllocationInstr, and dart::InvokeMathCFunctionInstr.

Definition at line 999 of file il.h.

999{ return TokenPosition::kNoSource; }

◆ Unsupported()

void dart::Instruction::Unsupported ( FlowGraphCompiler * compiler )

Definition at line 626 of file il.cc.

                                                         {
  compiler->Bailout(ToCString());
  UNREACHABLE();
}

◆ UnuseAllInputs()

void dart::Instruction::UnuseAllInputs ( )

Definition at line 1525 of file il.cc.

                                 {
  for (intptr_t i = InputCount() - 1; i >= 0; --i) {
    InputAt(i)->RemoveFromUseList();
  }
  for (Environment::DeepIterator it(env()); !it.Done(); it.Advance()) {
    it.CurrentValue()->RemoveFromUseList();
  }
}

◆ UseSharedSlowPathStub()

virtual bool dart::Instruction::UseSharedSlowPathStub ( bool is_optimizing ) const

inlinevirtual

Definition at line 1371 of file il.h.

1371{ return false; }

◆ WasEliminated()

bool dart::Instruction::WasEliminated ( ) const

inline

Definition at line 1256 of file il.h.

1256{ return next() == nullptr; }

◆ WriteExtraWithoutInputs()

void dart::Instruction::WriteExtraWithoutInputs ( FlowGraphSerializer * s )

protected

Definition at line 1112 of file il_serializer.cc.

                                                                {
  s->Write<Environment*>(env_);
  s->Write<LocationSummary*>(locs_);
}

Friends And Related Symbol Documentation

◆ BlockEntryInstr

friend class BlockEntryInstr

friend

Definition at line 1397 of file il.h.

◆ BranchInstr

friend class BranchInstr

friend

Definition at line 1416 of file il.h.

◆ CallSiteInliner

friend class CallSiteInliner

friend

Definition at line 1393 of file il.h.

◆ CatchBlockEntryInstr

friend class CatchBlockEntryInstr

friend

Definition at line 1398 of file il.h.

◆ CheckConditionInstr

friend class CheckConditionInstr

friend

Definition at line 1418 of file il.h.

◆ ComparisonInstr

friend class ComparisonInstr

friend

Definition at line 1395 of file il.h.

◆ DebugStepCheckInstr

friend class DebugStepCheckInstr

friend

Definition at line 1399 of file il.h.

◆ IfThenElseInstr

friend class IfThenElseInstr

friend

Definition at line 1417 of file il.h.

◆ LICM

friend class LICM

friend

Definition at line 1394 of file il.h.

◆ Scheduler

friend class Scheduler

friend

Definition at line 1396 of file il.h.

◆ StrictCompareInstr

friend class StrictCompareInstr

friend

Definition at line 1400 of file il.h.

Member Data Documentation

◆ kInstructionAttrs

const intptr_t dart::Instruction::kInstructionAttrs

static

Initial value:

= {
#define INSTR_ATTRS(type, attrs)                   
 
 
}

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

Classes

Public Types

Public Member Functions

Static Public Member Functions

Static Public Attributes

Protected Member Functions

Private Member Functions

Friends

Detailed Description

Member Typedef Documentation

◆ InputsIterable

◆ SuccessorsIterable

Member Enumeration Documentation

◆ SpeculativeMode

◆ Tag

Constructor & Destructor Documentation

◆ Instruction() [1/2]

◆ Instruction() [2/2]

◆ ~Instruction()

Member Function Documentation

◆ Accept()

◆ AllowsCSE()

◆ AppendInstruction()

◆ ArgumentAt()

◆ ArgumentCount()

◆ ArgumentValueAt()

◆ AttributesEqual()

◆ CanBecomeDeoptimizationTarget()

◆ CanCallDart()

◆ CanDeoptimize()

◆ CanEliminate() [1/2]

◆ CanEliminate() [2/2]

◆ Canonicalize()

◆ CanTriggerGC()

◆ Cast()

◆ CheckField()

◆ ClearEnv()

◆ ComputeCanDeoptimize()

◆ ComputeCanDeoptimizeAfterCall()

◆ CopyDeoptIdFrom()

◆ DebugName()

◆ DECLARE_INSTRUCTION_TYPE_CHECK()

◆ deopt_id()

◆ DeoptimizationTarget()

◆ EmitNativeCode()

◆ env()

◆ Equals()

◆ GetBlock()

◆ GetDeoptId()

◆ GetICData()

◆ GetMoveArguments()

◆ GetPassSpecificId()

◆ Goto()

◆ has_inlining_id()

◆ Hash()

◆ HasLocs()

◆ HasMoveArguments()

◆ HasPassSpecificId()

◆ HasUnknownSideEffects()

◆ HasUnmatchedInputRepresentations()

◆ InheritDeoptTarget()

◆ InheritDeoptTargetAfter()

◆ InitializeLocationSummary()

◆ inlining_id()

◆ InputAt()

◆ InputCount()

◆ inputs()

◆ InsertAfter()

◆ InsertBefore()

◆ IsDominatedBy()

◆ LinkTo()

◆ locs()

◆ MakeCallSummary()

◆ MakeLocationSummary()

◆ MayHaveVisibleEffect()

◆ MayThrow()

◆ NeedsEnvironment()

◆ next()

◆ NumberOfInputsConsumedBeforeCall()

◆ previous()