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

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

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

Detailed Description

Definition at line 2037 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 2039 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 1413 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 2089 of file il.h.

2089{ 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 2066 of file il.h.

2066{ return false; }

◆ IndexOfPredecessor()

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

Definition at line 1430 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 1909 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 1924 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 2058 of file il.h.

2058{ return phis_; }

◆ PredecessorAt()

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

inlinevirtual

Implements dart::BlockEntryInstr.

Definition at line 2051 of file il.h.

                                                               {
    return predecessors_[index];
  }

◆ PredecessorCount()

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

inlinevirtual

Implements dart::BlockEntryInstr.

Definition at line 2050 of file il.h.

2050{ return predecessors_.length(); }

◆ RemoveDeadPhis()

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

Definition at line 1943 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 1932 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 Symbol Documentation

◆ ConstantPropagator

friend class ConstantPropagator

friend

Definition at line 2086 of file il.h.

◆ DeadCodeElimination

friend class DeadCodeElimination

friend

Definition at line 2087 of file il.h.

◆ IndirectEntryInstr

friend class IndirectEntryInstr

friend

Definition at line 2083 of file il.h.

◆ InlineExitCollector

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

friend

Definition at line 2081 of file il.h.

◆ PolymorphicInliner

friend class PolymorphicInliner

friend

Definition at line 2082 of file il.h.

Member Data Documentation

◆ predecessors_

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

Definition at line 2092 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 Symbol Documentation

◆ ConstantPropagator

◆ DeadCodeElimination

◆ IndirectEntryInstr

◆ InlineExitCollector

◆ PolymorphicInliner

Member Data Documentation

◆ predecessors_