#include <il.h>

Inheritance diagram for dart::BranchInstr:

Public Member Functions
	BranchInstr (ComparisonInstr *comparison, intptr_t deopt_id)

virtual intptr_t	ArgumentCount () const

virtual void	SetMoveArguments (MoveArgumentsArray *move_arguments)

virtual MoveArgumentsArray *	GetMoveArguments () const

intptr_t	InputCount () const

Value *	InputAt (intptr_t i) const

virtual TokenPosition	token_pos () const

virtual intptr_t	inlining_id () const

virtual void	set_inlining_id (intptr_t value)

virtual bool	has_inlining_id () const

virtual bool	ComputeCanDeoptimize () const

virtual bool	CanBecomeDeoptimizationTarget () const

virtual bool	HasUnknownSideEffects () const

virtual bool	CanCallDart () const

ComparisonInstr *	comparison () const

void	SetComparison (ComparisonInstr *comp)

virtual intptr_t	DeoptimizationTarget () const

virtual Representation	RequiredInputRepresentation (intptr_t i) const

virtual Instruction *	Canonicalize (FlowGraph *flow_graph)

void	set_constant_target (TargetEntryInstr *target)

TargetEntryInstr *	constant_target () const

virtual void	CopyDeoptIdFrom (const Instruction &instr)

virtual bool	MayThrow () const

TargetEntryInstr *	true_successor () const

TargetEntryInstr *	false_successor () const

TargetEntryInstr **	true_successor_address ()

TargetEntryInstr **	false_successor_address ()

virtual intptr_t	SuccessorCount () const

virtual BlockEntryInstr *	SuccessorAt (intptr_t index) 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

virtual void	ReplaceInputsWithMoveArguments (MoveArgumentsArray *move_arguments)

bool	HasMoveArguments () const

void	RepairArgumentUsesInEnvironment () const

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)

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

SpeculativeMode	SpeculativeModeOfInputs () const

virtual SpeculativeMode	SpeculativeModeOfInput (intptr_t index) const

virtual Representation	representation () const

bool	WasEliminated () 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 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

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)

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

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::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::Instruction
intptr_t	GetDeoptId () const

void	WriteExtraWithoutInputs (FlowGraphSerializer *s)

void	ReadExtraWithoutInputs (FlowGraphDeserializer *d)

Detailed Description

Definition at line 3954 of file il.h.

Constructor & Destructor Documentation

◆ BranchInstr()

dart::BranchInstr::BranchInstr	(	ComparisonInstr *	comparison,
		intptr_t	deopt_id
	)

inlineexplicit

Definition at line 3956 of file il.h.

      : Instruction(deopt_id), comparison_(comparison) {
    ASSERT(comparison->env() == nullptr);
    for (intptr_t i = comparison->InputCount() - 1; i >= 0; --i) {
      comparison->InputAt(i)->set_instruction(this);
    }
  }

Member Function Documentation

◆ ArgumentCount()

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

inlinevirtual

Reimplemented from dart::Instruction.

Definition at line 3966 of file il.h.

                                         {
    return comparison()->ArgumentCount();
  }

◆ CanBecomeDeoptimizationTarget()

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

inlinevirtual

Reimplemented from dart::Instruction.

Definition at line 3993 of file il.h.

                                                     {
    return comparison()->CanBecomeDeoptimizationTarget();
  }

◆ CanCallDart()

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

inlinevirtual

Reimplemented from dart::Instruction.

Definition at line 4001 of file il.h.

4001{ return comparison()->CanCallDart(); }

dart::Instruction::CanCallDart

virtual bool CanCallDart() const

Definition il.h:1298

◆ Canonicalize()

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

virtual

Reimplemented from dart::Instruction.

Definition at line 3645 of file il.cc.

                                                            {
  Zone* zone = flow_graph->zone();
  if (comparison()->IsStrictCompare()) {
    bool negated = false;
    Definition* replacement = CanonicalizeStrictCompare(
        comparison()->AsStrictCompare(), &negated, /*is_branch=*/true);
    if (replacement == comparison()) {
      return this;
    }
    ComparisonInstr* comp = replacement->AsComparison();
    if ((comp == nullptr) || comp->CanDeoptimize() ||
        comp->HasUnmatchedInputRepresentations()) {
      return this;
    }
 
    // Replace the comparison if the replacement is used at this branch,
    // and has exactly one use.
    Value* use = comp->input_use_list();
    if ((use->instruction() == this) && comp->HasOnlyUse(use)) {
      if (negated) {
        comp->NegateComparison();
      }
      RemoveEnvironment();
      flow_graph->CopyDeoptTarget(this, comp);
      // Unlink environment from the comparison since it is copied to the
      // branch instruction.
      comp->RemoveEnvironment();
 
      comp->RemoveFromGraph();
      SetComparison(comp);
      if (FLAG_trace_optimization && flow_graph->should_print()) {
        THR_Print("Merging comparison v%" Pd "\n", comp->ssa_temp_index());
      }
      // Clear the comparison's temp index and ssa temp index since the
      // value of the comparison is not used outside the branch anymore.
      ASSERT(comp->input_use_list() == nullptr);
      comp->ClearSSATempIndex();
      comp->ClearTempIndex();
    }
 
    return this;
  }
 
  if (comparison()->IsEqualityCompare() &&
      comparison()->operation_cid() == kSmiCid) {
    BinarySmiOpInstr* bit_and = nullptr;
    bool negate = false;
    if (RecognizeTestPattern(comparison()->left(), comparison()->right(),
                             &negate)) {
      bit_and = comparison()->left()->definition()->AsBinarySmiOp();
    } else if (RecognizeTestPattern(comparison()->right(), comparison()->left(),
                                    &negate)) {
      bit_and = comparison()->right()->definition()->AsBinarySmiOp();
    }
    if (bit_and != nullptr) {
      if (FLAG_trace_optimization && flow_graph->should_print()) {
        THR_Print("Merging test smi v%" Pd "\n", bit_and->ssa_temp_index());
      }
      TestSmiInstr* test = new TestSmiInstr(
          comparison()->source(),
          negate ? Token::NegateComparison(comparison()->kind())
                 : comparison()->kind(),
          bit_and->left()->Copy(zone), bit_and->right()->Copy(zone));
      ASSERT(!CanDeoptimize());
      RemoveEnvironment();
      flow_graph->CopyDeoptTarget(this, bit_and);
      SetComparison(test);
      bit_and->RemoveFromGraph();
    }
  }
  return this;
}

◆ comparison()

ComparisonInstr * dart::BranchInstr::comparison ( ) const

inline

Definition at line 4003 of file il.h.

4003{ return comparison_; }

◆ ComputeCanDeoptimize()

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

inlinevirtual

Implements dart::Instruction.

Definition at line 3989 of file il.h.

                                            {
    return comparison()->ComputeCanDeoptimize();
  }

◆ constant_target()

TargetEntryInstr * dart::BranchInstr::constant_target ( ) const

inline

Definition at line 4020 of file il.h.

4020{ return constant_target_; }

◆ CopyDeoptIdFrom()

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

inlinevirtual

Reimplemented from dart::Instruction.

Definition at line 4022 of file il.h.

                                                         {
    Instruction::CopyDeoptIdFrom(instr);
    comparison()->CopyDeoptIdFrom(instr);
  }

◆ DeoptimizationTarget()

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

inlinevirtual

Reimplemented from dart::Instruction.

Definition at line 4006 of file il.h.

                                                {
    return comparison()->DeoptimizationTarget();
  }

◆ false_successor()

TargetEntryInstr * dart::BranchInstr::false_successor ( ) const

inline

Definition at line 4030 of file il.h.

4030{ return false_successor_; }

◆ false_successor_address()

TargetEntryInstr ** dart::BranchInstr::false_successor_address ( )

inline

Definition at line 4033 of file il.h.

4033{ return &false_successor_; }

◆ GetMoveArguments()

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

inlinevirtual

Reimplemented from dart::Instruction.

Definition at line 3972 of file il.h.

                                                       {
    return comparison()->GetMoveArguments();
  }

◆ has_inlining_id()

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

inlinevirtual

Reimplemented from dart::Instruction.

Definition at line 3985 of file il.h.

                                       {
    return comparison_->has_inlining_id();
  }

◆ HasUnknownSideEffects()

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

inlinevirtual

Implements dart::Instruction.

Definition at line 3997 of file il.h.

                                             {
    return comparison()->HasUnknownSideEffects();
  }

◆ inlining_id()

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

inlinevirtual

Reimplemented from dart::Instruction.

Definition at line 3981 of file il.h.

3981{ return comparison_->inlining_id(); }

◆ InputAt()

Value * dart::BranchInstr::InputAt ( intptr_t i ) const

inlinevirtual

Implements dart::Instruction.

Definition at line 3978 of file il.h.

3978{ return comparison()->InputAt(i); }

◆ InputCount()

intptr_t dart::BranchInstr::InputCount ( ) const

inlinevirtual

Implements dart::Instruction.

Definition at line 3976 of file il.h.

3976{ return comparison()->InputCount(); }

◆ MayThrow()

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

inlinevirtual

Implements dart::Instruction.

Definition at line 4027 of file il.h.

4027{ return comparison()->MayThrow(); }

dart::Instruction::MayThrow

virtual bool MayThrow() const =0

◆ RawSetInputAt()

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

inlineprivatevirtual

Implements dart::Instruction.

Definition at line 4047 of file il.h.

                                                       {
    comparison()->RawSetInputAt(i, value);
  }

◆ RequiredInputRepresentation()

virtual Representation dart::BranchInstr::RequiredInputRepresentation ( intptr_t i ) const

inlinevirtual

Reimplemented from dart::Instruction.

Definition at line 4010 of file il.h.

                                                                       {
    return comparison()->RequiredInputRepresentation(i);
  }

◆ set_constant_target()

void dart::BranchInstr::set_constant_target ( TargetEntryInstr * target )

inline

Definition at line 4016 of file il.h.

                                                     {
    ASSERT(target == true_successor() || target == false_successor());
    constant_target_ = target;
  }

◆ set_inlining_id()

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

inlinevirtual

Reimplemented from dart::Instruction.

Definition at line 3982 of file il.h.

                                               {
    return comparison_->set_inlining_id(value);
  }

◆ SetComparison()

void dart::BranchInstr::SetComparison ( ComparisonInstr * comp )

Definition at line 1663 of file il.cc.

                                                               {
  for (intptr_t i = new_comparison->InputCount() - 1; i >= 0; --i) {
    Value* input = new_comparison->InputAt(i);
    input->definition()->AddInputUse(input);
    input->set_instruction(this);
  }
  // There should be no need to copy or unuse an environment.
  ASSERT(comparison()->env() == nullptr);
  ASSERT(new_comparison->env() == nullptr);
  // Remove the current comparison's input uses.
  comparison()->UnuseAllInputs();
  ASSERT(!new_comparison->HasUses());
  comparison_ = new_comparison;
}

◆ SetMoveArguments()

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

inlinevirtual

Reimplemented from dart::Instruction.

Definition at line 3969 of file il.h.

                                                                    {
    comparison()->SetMoveArguments(move_arguments);
  }

◆ SuccessorAt()

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

virtual

Reimplemented from dart::Instruction.

Definition at line 2005 of file il.cc.

                                                              {
  if (index == 0) return true_successor_;
  if (index == 1) return false_successor_;
  UNREACHABLE();
  return nullptr;
}

◆ SuccessorCount()

intptr_t dart::BranchInstr::SuccessorCount ( ) const

virtual

Reimplemented from dart::Instruction.

Definition at line 2001 of file il.cc.

                                           {
  return 2;
}

◆ token_pos()

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

inlinevirtual

Reimplemented from dart::Instruction.

Definition at line 3980 of file il.h.

3980{ return comparison_->token_pos(); }

◆ true_successor()

TargetEntryInstr * dart::BranchInstr::true_successor ( ) const

inline

Definition at line 4029 of file il.h.

4029{ return true_successor_; }

◆ true_successor_address()

TargetEntryInstr ** dart::BranchInstr::true_successor_address ( )

inline

Definition at line 4032 of file il.h.

4032{ return &true_successor_; }

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

Private Member Functions

Additional Inherited Members

Detailed Description

Constructor & Destructor Documentation

◆ BranchInstr()

Member Function Documentation

◆ ArgumentCount()

◆ CanBecomeDeoptimizationTarget()

◆ CanCallDart()

◆ Canonicalize()

◆ comparison()

◆ ComputeCanDeoptimize()

◆ constant_target()

◆ CopyDeoptIdFrom()

◆ DeoptimizationTarget()

◆ false_successor()

◆ false_successor_address()

◆ GetMoveArguments()

◆ has_inlining_id()

◆ HasUnknownSideEffects()

◆ inlining_id()

◆ InputAt()

◆ InputCount()

◆ MayThrow()

◆ RawSetInputAt()

◆ RequiredInputRepresentation()

◆ set_constant_target()

◆ set_inlining_id()

◆ SetComparison()

◆ SetMoveArguments()

◆ SuccessorAt()

◆ SuccessorCount()

◆ token_pos()

◆ true_successor()

◆ true_successor_address()