#include <il.h>

Inheritance diagram for dart::JoinEntryInstr:

Public Member Functions
	JoinEntryInstr (intptr_t block_id, intptr_t try_index, intptr_t deopt_id, intptr_t stack_depth=0)

virtual intptr_t	PredecessorCount () const

virtual BlockEntryInstr *	PredecessorAt (intptr_t index) const

intptr_t	IndexOfPredecessor (BlockEntryInstr *pred) const

ZoneGrowableArray< PhiInstr * > *	phis () const

PhiInstr *	InsertPhi (intptr_t var_index, intptr_t var_count)

void	RemoveDeadPhis (Definition *replacement)

void	InsertPhi (PhiInstr *phi)

void	RemovePhi (PhiInstr *phi)

virtual bool	HasUnknownSideEffects () const

virtual void	ClearPredecessors ()

virtual void	AddPredecessor (BlockEntryInstr *predecessor)

	DISALLOW_COPY_AND_ASSIGN (JoinEntryInstr)

Public Member Functions inherited from dart::BlockEntryInstr
virtual intptr_t	PredecessorCount () const =0

virtual BlockEntryInstr *	PredecessorAt (intptr_t index) const =0

intptr_t	preorder_number () const

void	set_preorder_number (intptr_t number)

intptr_t	postorder_number () const

void	set_postorder_number (intptr_t number)

intptr_t	block_id () const

void	set_start_pos (intptr_t pos)

intptr_t	start_pos () const

void	set_end_pos (intptr_t pos)

intptr_t	end_pos () const

BlockEntryInstr *	dominator () const

BlockEntryInstr *	ImmediateDominator () const

const GrowableArray< BlockEntryInstr * > &	dominated_blocks ()

void	AddDominatedBlock (BlockEntryInstr *block)

void	ClearDominatedBlocks ()

bool	Dominates (BlockEntryInstr *other) const

Instruction *	last_instruction () const

void	set_last_instruction (Instruction *instr)

ParallelMoveInstr *	parallel_move () const

bool	HasParallelMove () const

bool	HasNonRedundantParallelMove () const

ParallelMoveInstr *	GetParallelMove ()

bool	DiscoverBlock (BlockEntryInstr predecessor, GrowableArray< BlockEntryInstr > preorder, GrowableArray< intptr_t > parent)

virtual bool	CanBecomeDeoptimizationTarget () const

virtual bool	ComputeCanDeoptimize () const

virtual bool	HasUnknownSideEffects () const

intptr_t	try_index () const

void	set_try_index (intptr_t index)

bool	InsideTryBlock () const

LoopInfo *	loop_info () const

void	set_loop_info (LoopInfo *loop_info)

bool	IsLoopHeader () const

intptr_t	NestingDepth () const

virtual BlockEntryInstr *	GetBlock ()

virtual TokenPosition	token_pos () const

void	ReplaceAsPredecessorWith (BlockEntryInstr *new_block)

void	set_block_id (intptr_t block_id)

intptr_t	stack_depth () const

void	set_stack_depth (intptr_t s)

void	ClearAllInstructions ()

InstructionsIterable	instructions ()

Public Member Functions inherited from dart::TemplateInstruction< 0, NoThrow >
	TemplateInstruction (intptr_t deopt_id=DeoptId::kNone)

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

virtual intptr_t	InputCount () const

virtual Value *	InputAt (intptr_t i) const

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

Public Attributes
GrowableArray< BlockEntryInstr * >	predecessors_

Friends
class(JoinEntryInstr, BlockEntryInstr, FIELD_LIST) DECLARE_EXTRA_SERIALIZATION private	InlineExitCollector

class	PolymorphicInliner

class	IndirectEntryInstr

class	ConstantPropagator

class	DeadCodeElimination

Additional Inherited Members
Public Types inherited from dart::TemplateInstruction< 0, NoThrow >
using	BaseClass = typename NoCSE< Instruction, PureInstruction >::Base

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::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::Instruction
static const intptr_t	kInstructionAttrs [kNumInstructions]

Protected Member Functions inherited from dart::BlockEntryInstr
	BlockEntryInstr (intptr_t block_id, intptr_t try_index, intptr_t deopt_id, intptr_t stack_depth)

bool	FindOsrEntryAndRelink (GraphEntryInstr graph_entry, Instruction parent, BitVector *block_marks)

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::TemplateInstruction< 0, NoThrow >
EmbeddedArray< Value *, N >	inputs_

Detailed Description

Definition at line 2052 of file il.h.

Constructor & Destructor Documentation

◆ JoinEntryInstr()

dart::JoinEntryInstr::JoinEntryInstr	(	intptr_t	block_id,
		intptr_t	try_index,
		intptr_t	deopt_id,
		intptr_t	stack_depth = `0`
	)

inline

Definition at line 2054 of file il.h.

      : BlockEntryInstr(block_id, try_index, deopt_id, stack_depth),
        phis_(nullptr),
        predecessors_(2)  // Two is the assumed to be the common case.
  {}

Member Function Documentation

◆ AddPredecessor()

void dart::JoinEntryInstr::AddPredecessor ( BlockEntryInstr * predecessor )

virtual

Implements dart::BlockEntryInstr.

Definition at line 1422 of file il.cc.

                                                                {
  // Require the predecessors to be sorted by block_id to make managing
  // their corresponding phi inputs simpler.
  intptr_t pred_id = predecessor->block_id();
  intptr_t index = 0;
  while ((index < predecessors_.length()) &&
         (predecessors_[index]->block_id() < pred_id)) {
    ++index;
  }
#if defined(DEBUG)
  for (intptr_t i = index; i < predecessors_.length(); ++i) {
    ASSERT(predecessors_[i]->block_id() != pred_id);
  }
#endif
  predecessors_.InsertAt(index, predecessor);
}

◆ ClearPredecessors()

virtual void dart::JoinEntryInstr::ClearPredecessors ( )

inlinevirtual

Implements dart::BlockEntryInstr.

Definition at line 2104 of file il.h.

2104{ predecessors_.Clear(); }

◆ DISALLOW_COPY_AND_ASSIGN()

dart::JoinEntryInstr::DISALLOW_COPY_AND_ASSIGN ( JoinEntryInstr )

◆ HasUnknownSideEffects()

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

inlinevirtual

Reimplemented from dart::BlockEntryInstr.

Definition at line 2081 of file il.h.

2081{ return false; }

◆ IndexOfPredecessor()

intptr_t dart::JoinEntryInstr::IndexOfPredecessor ( BlockEntryInstr * pred ) const

Definition at line 1439 of file il.cc.

                                                                       {
  for (intptr_t i = 0; i < predecessors_.length(); ++i) {
    if (predecessors_[i] == pred) return i;
  }
  return -1;
}

◆ InsertPhi() [1/2]

PhiInstr * dart::JoinEntryInstr::InsertPhi	(	intptr_t	var_index,
		intptr_t	var_count
	)

Definition at line 1918 of file il.cc.

                                                                          {
  // Lazily initialize the array of phis.
  // Currently, phis are stored in a sparse array that holds the phi
  // for variable with index i at position i.
  // TODO(fschneider): Store phis in a more compact way.
  if (phis_ == nullptr) {
    phis_ = new ZoneGrowableArray<PhiInstr*>(var_count);
    for (intptr_t i = 0; i < var_count; i++) {
      phis_->Add(nullptr);
    }
  }
  ASSERT((*phis_)[var_index] == nullptr);
  return (*phis_)[var_index] = new PhiInstr(this, PredecessorCount());
}

◆ InsertPhi() [2/2]

void dart::JoinEntryInstr::InsertPhi ( PhiInstr * phi )

Definition at line 1933 of file il.cc.

                                            {
  // Lazily initialize the array of phis.
  if (phis_ == nullptr) {
    phis_ = new ZoneGrowableArray<PhiInstr*>(1);
  }
  phis_->Add(phi);
}

◆ phis()

ZoneGrowableArray< PhiInstr * > * dart::JoinEntryInstr::phis ( ) const

inline

Definition at line 2073 of file il.h.

2073{ return phis_; }

◆ PredecessorAt()

virtual BlockEntryInstr * dart::JoinEntryInstr::PredecessorAt ( intptr_t index ) const

inlinevirtual

Implements dart::BlockEntryInstr.

Definition at line 2066 of file il.h.

                                                               {
    return predecessors_[index];
  }

◆ PredecessorCount()

virtual intptr_t dart::JoinEntryInstr::PredecessorCount ( ) const

inlinevirtual

Implements dart::BlockEntryInstr.

Definition at line 2065 of file il.h.

2065{ return predecessors_.length(); }

◆ RemoveDeadPhis()

void dart::JoinEntryInstr::RemoveDeadPhis ( Definition * replacement )

Definition at line 1952 of file il.cc.

                                                           {
  if (phis_ == nullptr) return;
 
  intptr_t to_index = 0;
  for (intptr_t from_index = 0; from_index < phis_->length(); ++from_index) {
    PhiInstr* phi = (*phis_)[from_index];
    if (phi != nullptr) {
      if (phi->is_alive()) {
        (*phis_)[to_index++] = phi;
        for (intptr_t i = phi->InputCount() - 1; i >= 0; --i) {
          Value* input = phi->InputAt(i);
          input->definition()->AddInputUse(input);
        }
      } else {
        phi->ReplaceUsesWith(replacement);
      }
    }
  }
  if (to_index == 0) {
    phis_ = nullptr;
  } else {
    phis_->TruncateTo(to_index);
  }
}

◆ RemovePhi()

void dart::JoinEntryInstr::RemovePhi ( PhiInstr * phi )

Definition at line 1941 of file il.cc.

                                            {
  ASSERT(phis_ != nullptr);
  for (intptr_t index = 0; index < phis_->length(); ++index) {
    if (phi == (*phis_)[index]) {
      (*phis_)[index] = phis_->Last();
      phis_->RemoveLast();
      return;
    }
  }
}

Friends And Related Function Documentation

◆ ConstantPropagator

friend class ConstantPropagator

friend

Definition at line 2101 of file il.h.

◆ DeadCodeElimination

friend class DeadCodeElimination

friend

Definition at line 2102 of file il.h.

◆ IndirectEntryInstr

friend class IndirectEntryInstr

friend

Definition at line 2098 of file il.h.

◆ InlineExitCollector

friend class (JoinEntryInstr, BlockEntryInstr, FIELD_LIST) DECLARE_EXTRA_SERIALIZATION private InlineExitCollector

friend

Definition at line 2096 of file il.h.

◆ PolymorphicInliner

friend class PolymorphicInliner

friend

Definition at line 2097 of file il.h.

Member Data Documentation

◆ predecessors_

GrowableArray<BlockEntryInstr*> dart::JoinEntryInstr::predecessors_

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

Friends

Additional Inherited Members

Detailed Description

Constructor & Destructor Documentation

◆ JoinEntryInstr()

Member Function Documentation

◆ AddPredecessor()

◆ ClearPredecessors()

◆ DISALLOW_COPY_AND_ASSIGN()

◆ HasUnknownSideEffects()

◆ IndexOfPredecessor()

◆ InsertPhi() [1/2]

◆ InsertPhi() [2/2]

◆ phis()

◆ PredecessorAt()

◆ PredecessorCount()

◆ RemoveDeadPhis()

◆ RemovePhi()

Friends And Related Function Documentation

◆ ConstantPropagator

◆ DeadCodeElimination

◆ IndirectEntryInstr

◆ InlineExitCollector

◆ PolymorphicInliner

Member Data Documentation

◆ predecessors_