#include <il.h>

Inheritance diagram for dart::Definition:

Public Member Functions
	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

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 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
static constexpr intptr_t	kReplacementMarker = -2

Static Public Attributes inherited from dart::Instruction
static const intptr_t	kInstructionAttrs [kNumInstructions]

Protected Member Functions
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
Range *	range_ = nullptr

Friends
class	RangeAnalysis

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

Detailed Description

Definition at line 2486 of file il.h.

Constructor & Destructor Documentation

◆ Definition() [1/2]

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

inlineexplicit

Definition at line 2488 of file il.h.

2489 : Instruction(deopt_id) {}

dart::Instruction::Instruction

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

Definition: il.h:980

dart::Instruction::deopt_id

intptr_t deopt_id() const

Definition: il.h:993

◆ Definition() [2/2]

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

inlineexplicit

Definition at line 2491 of file il.h.

2493 : Instruction(source, deopt_id) {}

dart::Instruction::source

InstructionSource source() const

Definition: il.h:1008

Member Function Documentation

◆ AddEnvUse()

void dart::Definition::AddEnvUse ( Value * value )

inline

Definition at line 2586 of file il.h.

2586{ Value::AddToList(value, &env_use_list_); }

dart::Value::AddToList

static void AddToList(Value *value, Value **list)

Definition: il.cc:1446

value

uint8_t value

Definition: fl_standard_message_codec.cc:36

◆ AddInputUse()

void dart::Definition::AddInputUse ( Value * value )

inline

Definition at line 2585 of file il.h.

2585{ Value::AddToList(value, &input_use_list_); }

◆ AsDefinition() [1/2]

virtual Definition * dart::Definition::AsDefinition ( )

inlinevirtual

Definition at line 2683 of file il.h.

2683{ return this; }

◆ AsDefinition() [2/2]

virtual const Definition * dart::Definition::AsDefinition ( ) const

inlinevirtual

Definition at line 2684 of file il.h.

2684{ return this; }

◆ CallCount()

virtual intptr_t dart::Definition::CallCount ( ) const

inlinevirtual

Reimplemented in dart::ClosureCallInstr, dart::InstanceCallInstr, dart::PolymorphicInstanceCallInstr, and dart::StaticCallInstr.

Definition at line 2496 of file il.h.

2496{ return -1; }

◆ CanEliminate()

virtual bool dart::Definition::CanEliminate ( const BlockEntryInstr * block ) const

inlinevirtual

Reimplemented from dart::Instruction.

Definition at line 2603 of file il.h.

                                                                {
    // Basic blocks should not end in a definition, so treat this as replacing
    // the definition with a constant (that is then unused).
    return CanReplaceWithConstant();
  }

◆ Canonicalize()

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

virtual

Reimplemented from dart::Instruction.

Reimplemented in dart::PhiInstr, dart::ConstantInstr, dart::AssertSubtypeInstr, dart::AssertAssignableInstr, dart::AssertBooleanInstr, dart::InstanceCallInstr, dart::DispatchTableCallInstr, dart::StrictCompareInstr, dart::TestCidsInstr, dart::TestRangeInstr, dart::EqualityCompareInstr, dart::StaticCallInstr, dart::CachableIdempotentCallInstr, dart::GuardFieldClassInstr, dart::GuardFieldLengthInstr, dart::GuardFieldTypeInstr, dart::AllocateClosureInstr, dart::LoadClassIdInstr, dart::AllocateContextInstr, dart::CheckEitherNonSmiInstr, dart::BoxInstr, dart::BoxIntegerInstr, dart::BoxInt64Instr, dart::UnboxInstr, dart::UnboxIntegerInstr, dart::BinaryDoubleOpInstr, dart::DoubleTestOpInstr, dart::UnaryIntegerOpInstr, dart::BinaryIntegerOpInstr, dart::DoubleToIntegerInstr, dart::DoubleToFloatInstr, dart::FloatToDoubleInstr, dart::InvokeMathCFunctionInstr, dart::UnboxLaneInstr, dart::BoxLanesInstr, dart::CheckSmiInstr, dart::CheckNullInstr, dart::CheckBoundBaseInstr, dart::CheckWritableInstr, dart::IntConverterInstr, dart::SimdOpInstr, and dart::PolymorphicInstanceCallInstr.

Definition at line 2633 of file il.cc.

                                                          {
  return this;
}

◆ CanReplaceWithConstant()

virtual bool dart::Definition::CanReplaceWithConstant ( ) const

inlinevirtual

Reimplemented in dart::MaterializeObjectInstr.

Definition at line 2599 of file il.h.

                                              {
    return !MayHaveVisibleEffect() && !CanDeoptimize();
  }

◆ ClearSSATempIndex()

void dart::Definition::ClearSSATempIndex ( )

inline

Definition at line 2509 of file il.h.

2509{ ssa_temp_index_ = -1; }

◆ ClearTempIndex()

void dart::Definition::ClearTempIndex ( )

inline

Definition at line 2500 of file il.h.

2500{ temp_index_ = -1; }

◆ ComputeType()

virtual CompileType dart::Definition::ComputeType ( ) const

inlinevirtual

Reimplemented in dart::PhiInstr, dart::ConstantInstr, dart::AssertAssignableInstr, dart::AssertBooleanInstr, dart::InstanceCallBaseInstr, dart::PolymorphicInstanceCallInstr, dart::DispatchTableCallInstr, dart::StrictCompareInstr, dart::TestIntInstr, dart::TestCidsInstr, dart::TestRangeInstr, dart::EqualityCompareInstr, dart::RelationalOpInstr, dart::IfThenElseInstr, dart::StaticCallInstr, dart::DropTempsInstr, dart::LeafRuntimeCallInstr, dart::OneByteStringFromCharCodeInstr, dart::StringToCharCodeInstr, dart::AllocateObjectInstr, dart::AllocateClosureInstr, dart::AllocateUninitializedContextInstr, dart::AllocateRecordInstr, dart::AllocateSmallRecordInstr, dart::CreateArrayInstr, dart::AllocateTypedDataInstr, dart::LoadClassIdInstr, dart::AllocateContextInstr, dart::BoxInstr, dart::BoxIntegerInstr, dart::CaseInsensitiveCompareInstr, dart::MathMinMaxInstr, dart::DoubleTestOpInstr, dart::HashDoubleOpInstr, dart::HashIntegerOpInstr, dart::UnarySmiOpInstr, dart::BinarySmiOpInstr, dart::DoubleToIntegerInstr, dart::DoubleToSmiInstr, dart::ExtractNthOutputInstr, dart::UnboxLaneInstr, dart::BoxLanesInstr, dart::CheckNullInstr, dart::CheckArrayBoundInstr, dart::GenericCheckBoundInstr, and dart::SimdOpInstr.

Definition at line 2542 of file il.h.

                                          {
    // TODO(vegorov) use range information to improve type if available.
    return CompileType::FromRepresentation(representation());
  }

◆ constant_value()

Object & dart::Definition::constant_value ( )

Definition at line 525 of file il.cc.

                                   {
  if (constant_value_ == nullptr) {
    constant_value_ = &Object::ZoneHandle(ConstantPropagator::Unknown());
  }
  return *constant_value_;
}

◆ env_use_list()

Value * dart::Definition::env_use_list ( ) const

inline

Definition at line 2578 of file il.h.

2578{ return env_use_list_; }

◆ HasOnlyInputUse()

bool dart::Definition::HasOnlyInputUse ( Value * use ) const

Definition at line 1489 of file il.cc.

                                                 {
  return (input_use_list() == use) && (use->next_use() == nullptr);
}

◆ HasOnlyUse()

bool dart::Definition::HasOnlyUse ( Value * use ) const

Definition at line 1477 of file il.cc.

                                            {
  if (!HasOnlyInputUse(use)) {
    return false;
  }
 
  Instruction* target = use->instruction();
  for (Value::Iterator it(env_use_list()); !it.Done(); it.Advance()) {
    if (it.Current()->instruction() != target) return false;
  }
  return true;
}

◆ HasPairRepresentation()

bool dart::Definition::HasPairRepresentation ( ) const

inline

Definition at line 2517 of file il.h.

2517{ return location_count() == 2; }

dart::Definition::location_count

intptr_t location_count() const

Definition: il.h:2516

◆ HasSSATemp()

bool dart::Definition::HasSSATemp ( ) const

inline

Definition at line 2508 of file il.h.

2508{ return ssa_temp_index_ >= 0; }

◆ HasTemp()

bool dart::Definition::HasTemp ( ) const

inline

Definition at line 2501 of file il.h.

2501{ return temp_index_ >= 0; }

◆ HasType()

bool dart::Definition::HasType ( ) const

inline

Definition at line 2530 of file il.h.

2530{ return (type_ != nullptr); }

◆ HasUses()

bool dart::Definition::HasUses ( ) const

inline

Definition at line 2569 of file il.h.

                       {
    return (input_use_list_ != nullptr) || (env_use_list_ != nullptr);
  }

◆ Identity()

virtual AliasIdentity dart::Definition::Identity ( ) const

inlinevirtual

Reimplemented in dart::StaticCallInstr, dart::CachableIdempotentCallInstr, and dart::AllocationInstr.

Definition at line 2660 of file il.h.

2660{ return AliasIdentity::Unknown(); }

dart::AliasIdentity::Unknown

static AliasIdentity Unknown()

Definition: il.h:2417

◆ InferRange()

void dart::Definition::InferRange	(	RangeAnalysis *	analysis,
		Range *	range
	)

virtual

Reimplemented in dart::PhiInstr, dart::ConstantInstr, dart::AssertAssignableInstr, dart::IfThenElseInstr, dart::LoadClassIdInstr, dart::BoxIntegerInstr, dart::UnboxIntegerInstr, dart::BinaryIntegerOpInstr, dart::BinarySmiOpInstr, dart::ShiftIntegerOpInstr, and dart::IntConverterInstr.

Definition at line 2650 of file range_analysis.cc.

                                                                 {
  if (Type()->ToCid() == kSmiCid) {
    *range = Range::Full(RangeBoundary::kRangeBoundarySmi);
  } else if (IsInt64Definition()) {
    *range = Range::Full(RangeBoundary::kRangeBoundaryInt64);
  } else if (IsInt32Definition()) {
    *range = Range::Full(RangeBoundary::kRangeBoundaryInt32);
  } else if (Type()->IsInt()) {
    *range = Range::Full(RangeBoundary::kRangeBoundaryInt64);
  } else {
    // Only Smi and Mint supported.
    FATAL("Unsupported type in: %s", ToCString());
  }
 
  // If the representation also gives us range information, then refine
  // the range from the type by using the intersection of the two.
  if (RepresentationUtils::IsUnboxedInteger(representation())) {
    *range = Range::Full(representation()).Intersect(range);
  }
}

◆ input_use_list()

Value * dart::Definition::input_use_list ( ) const

inline

Definition at line 2575 of file il.h.

2575{ return input_use_list_; }

◆ input_uses()

ValueListIterable dart::Definition::input_uses ( ) const

inline

Definition at line 2581 of file il.h.

                                       {
    return ValueListIterable(input_use_list_);
  }

◆ IsArrayLength()

bool dart::Definition::IsArrayLength ( Definition * def )

static

Definition at line 585 of file il.cc.

                                              {
  if (def != nullptr) {
    if (auto load = def->OriginalDefinitionIgnoreBoxingAndConstraints()
                        ->AsLoadField()) {
      return load->IsImmutableLengthLoad();
    }
  }
  return false;
}

◆ IsInt32Definition()

bool dart::Definition::IsInt32Definition ( )

inline

Definition at line 2534 of file il.h.

                           {
    return IsBinaryInt32Op() || IsBoxInt32() || IsUnboxInt32() ||
           IsIntConverter();
  }

◆ IsInt64Definition()

bool dart::Definition::IsInt64Definition ( )

inline

Definition at line 8884 of file il.h.

                                   {
  return (Type()->ToCid() == kMintCid) || IsBinaryInt64Op() ||
         IsUnaryInt64Op() || IsShiftInt64Op() || IsSpeculativeShiftInt64Op() ||
         IsBoxInt64() || IsUnboxInt64();
}

◆ location_count()

intptr_t dart::Definition::location_count ( ) const

inline

Definition at line 2516 of file il.h.

2516{ return LocationCount(representation()); }

dart::LocationCount

intptr_t LocationCount(Representation rep)

Definition: locations.h:75

◆ MayCreateUnsafeUntaggedPointer()

virtual bool dart::Definition::MayCreateUnsafeUntaggedPointer ( ) const

inlinevirtual

Reimplemented in dart::PhiInstr, dart::CachableIdempotentCallInstr, dart::FfiCallInstr, dart::LeafRuntimeCallInstr, dart::IntConverterInstr, and dart::LoadThreadInstr.

Definition at line 2591 of file il.h.

                                                      {
    // To ensure the default is safe, conservatively assume any untagged
    // result may be a GC-movable address.
    return representation() == kUntagged;
  }

◆ OriginalDefinition()

Definition * dart::Definition::OriginalDefinition ( )

Definition at line 532 of file il.cc.

                                           {
  Definition* defn = this;
  Value* unwrapped;
  while ((unwrapped = defn->RedefinedValue()) != nullptr) {
    defn = unwrapped->definition();
  }
  return defn;
}

◆ OriginalDefinitionIgnoreBoxingAndConstraints()

Definition * dart::Definition::OriginalDefinitionIgnoreBoxingAndConstraints ( )

Definition at line 569 of file il.cc.

                                                                     {
  Definition* def = this;
  while (true) {
    Definition* orig;
    if (def->IsConstraint() || def->IsBox() || def->IsUnbox() ||
        def->IsIntConverter() || def->IsFloatToDouble() ||
        def->IsDoubleToFloat()) {
      orig = def->InputAt(0)->definition();
    } else {
      orig = def->OriginalDefinition();
    }
    if (orig == def) return def;
    def = orig;
  }
}

◆ range()

Range * dart::Definition::range ( ) const

inline

Definition at line 2636 of file il.h.

2636{ return range_; }

dart::Definition::range_

Range * range_

Definition: il.h:2692

◆ RecomputeType()

virtual bool dart::Definition::RecomputeType ( )

inlinevirtual

Reimplemented in dart::PhiInstr, dart::AssertAssignableInstr, dart::BoxIntegerInstr, dart::CheckNullInstr, dart::CheckArrayBoundInstr, and dart::GenericCheckBoundInstr.

Definition at line 2548 of file il.h.

2548{ return false; }

◆ RedefinedValue()

Value * dart::Definition::RedefinedValue ( ) const

virtual

Reimplemented in dart::AssertAssignableInstr, dart::AssertBooleanInstr, dart::CheckNullInstr, dart::CheckBoundBaseInstr, and dart::CheckWritableInstr.

Definition at line 541 of file il.cc.

                                        {
  return nullptr;
}

◆ Replacement()

Definition * dart::Definition::Replacement ( )

inline

Definition at line 2646 of file il.h.

                            {
    if (ssa_temp_index_ == kReplacementMarker) {
      return reinterpret_cast<Definition*>(temp_index_);
    }
    return this;
  }

◆ ReplaceUsesWith()

void dart::Definition::ReplaceUsesWith ( Definition * other )

Definition at line 1493 of file il.cc.

                                                  {
  ASSERT(other != nullptr);
  ASSERT(this != other);
 
  Value* current = nullptr;
  Value* next = input_use_list();
  if (next != nullptr) {
    // Change all the definitions.
    while (next != nullptr) {
      current = next;
      current->set_definition(other);
      current->RefineReachingType(other->Type());
      next = current->next_use();
    }
 
    // Concatenate the lists.
    next = other->input_use_list();
    current->set_next_use(next);
    if (next != nullptr) next->set_previous_use(current);
    other->set_input_use_list(input_use_list());
    set_input_use_list(nullptr);
  }
 
  // Repeat for environment uses.
  current = nullptr;
  next = env_use_list();
  if (next != nullptr) {
    while (next != nullptr) {
      current = next;
      current->set_definition(other);
      current->RefineReachingType(other->Type());
      next = current->next_use();
    }
    next = other->env_use_list();
    current->set_next_use(next);
    if (next != nullptr) next->set_previous_use(current);
    other->set_env_use_list(env_use_list());
    set_env_use_list(nullptr);
  }
}

◆ ReplaceWith()

void dart::Definition::ReplaceWith	(	Definition *	other,
		ForwardInstructionIterator *	iterator
	)

Definition at line 1662 of file il.cc.

                                                                   {
  // Reuse this instruction's SSA name for other.
  ASSERT(!other->HasSSATemp());
  if (HasSSATemp()) {
    other->set_ssa_temp_index(ssa_temp_index());
  }
  ReplaceWithResult(other, other, iterator);
}

◆ ReplaceWithResult()

void dart::Definition::ReplaceWithResult	(	Instruction *	replacement,
		Definition *	replacement_for_uses,
		ForwardInstructionIterator *	iterator
	)

Definition at line 1632 of file il.cc.

                                                                         {
  // Record replacement's input uses.
  for (intptr_t i = replacement->InputCount() - 1; i >= 0; --i) {
    Value* input = replacement->InputAt(i);
    input->definition()->AddInputUse(input);
  }
  // Take replacement's environment from this definition.
  ASSERT(replacement->env() == nullptr);
  replacement->SetEnvironment(env());
  ClearEnv();
  // Replace all uses of this definition with replacement_for_uses.
  ReplaceUsesWith(replacement_for_uses);
 
  // Finally replace this one with the replacement instruction in the graph.
  previous()->LinkTo(replacement);
  if ((iterator != nullptr) && (this == iterator->Current())) {
    // Remove through the iterator.
    replacement->LinkTo(this);
    iterator->RemoveCurrentFromGraph();
  } else {
    replacement->LinkTo(next());
    // Remove this definition's input uses.
    UnuseAllInputs();
  }
  set_previous(nullptr);
  set_next(nullptr);
}

◆ set_env_use_list()

void dart::Definition::set_env_use_list ( Value * head )

inline

Definition at line 2579 of file il.h.

2579{ env_use_list_ = head; }

gn.compile_sksl_tests.head

head

Definition: compile_sksl_tests.py:64

◆ set_input_use_list()

void dart::Definition::set_input_use_list ( Value * head )

inline

Definition at line 2576 of file il.h.

2576{ input_use_list_ = head; }

◆ set_range()

void dart::Definition::set_range ( const Range & range )

Definition at line 2643 of file range_analysis.cc.

                                             {
  if (range_ == nullptr) {
    range_ = new Range();
  }
  *range_ = range;
}

◆ set_ssa_temp_index()

void dart::Definition::set_ssa_temp_index ( intptr_t index )

inline

Definition at line 2504 of file il.h.

                                          {
    ASSERT(index >= 0);
    ssa_temp_index_ = index;
  }

◆ set_temp_index()

void dart::Definition::set_temp_index ( intptr_t index )

inline

Definition at line 2499 of file il.h.

2499{ temp_index_ = index; }

◆ set_type()

void dart::Definition::set_type ( CompileType * type )

inlineprotected

Definition at line 2694 of file il.h.

                                   {
    ASSERT(type->owner() == this);
    type_ = type;
  }

◆ SetIdentity()

virtual void dart::Definition::SetIdentity ( AliasIdentity identity )

inlinevirtual

Reimplemented in dart::StaticCallInstr, dart::CachableIdempotentCallInstr, and dart::AllocationInstr.

Definition at line 2662 of file il.h.

2662{ UNREACHABLE(); }

UNREACHABLE

#define UNREACHABLE()

Definition: assert.h:248

◆ SetReplacement()

void dart::Definition::SetReplacement ( Definition * other )

inline

Definition at line 2653 of file il.h.

                                         {
    ASSERT(ssa_temp_index_ >= 0);
    ASSERT(WasEliminated());
    ssa_temp_index_ = kReplacementMarker;
    temp_index_ = reinterpret_cast<intptr_t>(other);
  }

◆ ssa_temp_index()

intptr_t dart::Definition::ssa_temp_index ( ) const

inline

Definition at line 2503 of file il.h.

2503{ return ssa_temp_index_; }

◆ temp_index()

intptr_t dart::Definition::temp_index ( ) const

inline

Definition at line 2498 of file il.h.

2498{ return temp_index_; }

◆ Type()

CompileType * dart::Definition::Type ( )

inline

Definition at line 2521 of file il.h.

                      {
    if (type_ == nullptr) {
      auto type = new CompileType(ComputeType());
      type->set_owner(this);
      set_type(type);
    }
    return type_;
  }

◆ UpdateType()

PRINT_OPERANDS_TO_SUPPORT PRINT_TO_SUPPORT bool dart::Definition::UpdateType ( CompileType new_type )

inline

Definition at line 2553 of file il.h.

                                        {
    if (type_ == nullptr) {
      auto type = new CompileType(new_type);
      type->set_owner(this);
      set_type(type);
      return true;
    }
 
    if (type_->IsNone() || !type_->IsEqualTo(&new_type)) {
      *type_ = new_type;
      return true;
    }
 
    return false;
  }

◆ vreg()

intptr_t dart::Definition::vreg ( intptr_t index ) const

inline

Definition at line 2511 of file il.h.

                                      {
    ASSERT((index >= 0) && (index < location_count()));
    if (ssa_temp_index_ == -1) return -1;
    return ssa_temp_index_ * kMaxLocationCount + index;
  }

Friends And Related Function Documentation

◆ RangeAnalysis

friend class RangeAnalysis

friend

Definition at line 2689 of file il.h.

◆ Value

friend class Value

friend

Definition at line 2690 of file il.h.

Member Data Documentation

◆ kReplacementMarker

constexpr intptr_t dart::Definition::kReplacementMarker = -2

staticconstexpr

Definition at line 2644 of file il.h.

◆ range_

Range* dart::Definition::range_ = nullptr

protected

Definition at line 2692 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/range_analysis.cc

Public Member Functions

Static Public Member Functions

Static Public Attributes

Protected Member Functions

Protected Attributes

Friends

Additional Inherited Members

Detailed Description

Constructor & Destructor Documentation

◆ Definition() [1/2]

◆ Definition() [2/2]

Member Function Documentation

◆ AddEnvUse()

◆ AddInputUse()

◆ AsDefinition() [1/2]

◆ AsDefinition() [2/2]

◆ CallCount()

◆ CanEliminate()

◆ Canonicalize()

◆ CanReplaceWithConstant()

◆ ClearSSATempIndex()

◆ ClearTempIndex()

◆ ComputeType()

◆ constant_value()

◆ env_use_list()

◆ HasOnlyInputUse()

◆ HasOnlyUse()

◆ HasPairRepresentation()

◆ HasSSATemp()

◆ HasTemp()

◆ HasType()

◆ HasUses()

◆ Identity()

◆ InferRange()

◆ input_use_list()

◆ input_uses()

◆ IsArrayLength()

◆ IsInt32Definition()

◆ IsInt64Definition()

◆ location_count()

◆ MayCreateUnsafeUntaggedPointer()

◆ OriginalDefinition()

◆ OriginalDefinitionIgnoreBoxingAndConstraints()

◆ range()

◆ RecomputeType()

◆ RedefinedValue()

◆ Replacement()

◆ ReplaceUsesWith()

◆ ReplaceWith()

◆ ReplaceWithResult()

◆ set_env_use_list()

◆ set_input_use_list()

◆ set_range()

◆ set_ssa_temp_index()

◆ set_temp_index()

◆ set_type()

◆ SetIdentity()

◆ SetReplacement()

◆ ssa_temp_index()

◆ temp_index()

◆ Type()

◆ UpdateType()

◆ vreg()

Friends And Related Function Documentation

◆ RangeAnalysis

◆ Value

Member Data Documentation

◆ kReplacementMarker

◆ range_