#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

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

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 2468 of file il.h.

Constructor & Destructor Documentation

◆ Definition() [1/2]

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

inlineexplicit

Definition at line 2470 of file il.h.

2471 : Instruction(deopt_id) {}

dart::Instruction::Instruction

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

Definition il.h:974

dart::Instruction::deopt_id

intptr_t deopt_id() const

Definition il.h:987

◆ Definition() [2/2]

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

inlineexplicit

Definition at line 2473 of file il.h.

2475 : Instruction(source, deopt_id) {}

dart::Instruction::source

InstructionSource source() const

Definition il.h:1002

Member Function Documentation

◆ AddEnvUse()

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

inline

Definition at line 2568 of file il.h.

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

dart::Value::AddToList

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

Definition il.cc:1437

◆ AddInputUse()

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

inline

Definition at line 2567 of file il.h.

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

◆ AsDefinition() [1/2]

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

inlinevirtual

Definition at line 2665 of file il.h.

2665{ return this; }

◆ AsDefinition() [2/2]

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

inlinevirtual

Definition at line 2666 of file il.h.

2666{ 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 2478 of file il.h.

2478{ return -1; }

◆ CanEliminate()

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

inlinevirtual

Reimplemented from dart::Instruction.

Definition at line 2585 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::InstanceCallInstr, dart::DispatchTableCallInstr, dart::StaticCallInstr, dart::CachableIdempotentCallInstr, dart::AllocateClosureInstr, dart::AllocateContextInstr, dart::SimdOpInstr, and dart::PolymorphicInstanceCallInstr.

Definition at line 2624 of file il.cc.

                                                          {
  return this;
}

◆ CanReplaceWithConstant()

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

inlinevirtual

Reimplemented in dart::MaterializeObjectInstr.

Definition at line 2581 of file il.h.

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

◆ ClearSSATempIndex()

void dart::Definition::ClearSSATempIndex ( )

inline

Definition at line 2491 of file il.h.

2491{ ssa_temp_index_ = -1; }

◆ ClearTempIndex()

void dart::Definition::ClearTempIndex ( )

inline

Definition at line 2482 of file il.h.

2482{ temp_index_ = -1; }

◆ ComputeType()

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

inlinevirtual

Reimplemented in dart::PhiInstr, dart::InstanceCallBaseInstr, dart::PolymorphicInstanceCallInstr, dart::DispatchTableCallInstr, dart::IfThenElseInstr, dart::StaticCallInstr, dart::DropTempsInstr, dart::LeafRuntimeCallInstr, dart::AllocateObjectInstr, dart::AllocateClosureInstr, dart::AllocateUninitializedContextInstr, dart::AllocateRecordInstr, dart::AllocateSmallRecordInstr, dart::CreateArrayInstr, dart::AllocateTypedDataInstr, dart::AllocateContextInstr, and dart::SimdOpInstr.

Definition at line 2524 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 523 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 2560 of file il.h.

2560{ return env_use_list_; }

◆ HasOnlyInputUse()

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

Definition at line 1480 of file il.cc.

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

◆ HasOnlyUse()

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

Definition at line 1468 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 2499 of file il.h.

2499{ return location_count() == 2; }

dart::Definition::location_count

intptr_t location_count() const

Definition il.h:2498

◆ HasSSATemp()

bool dart::Definition::HasSSATemp ( ) const

inline

Definition at line 2490 of file il.h.

2490{ return ssa_temp_index_ >= 0; }

◆ HasTemp()

bool dart::Definition::HasTemp ( ) const

inline

Definition at line 2483 of file il.h.

2483{ return temp_index_ >= 0; }

◆ HasType()

bool dart::Definition::HasType ( ) const

inline

Definition at line 2512 of file il.h.

2512{ return (type_ != nullptr); }

◆ HasUses()

bool dart::Definition::HasUses ( ) const

inline

Definition at line 2551 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 2642 of file il.h.

2642{ return AliasIdentity::Unknown(); }

dart::AliasIdentity::Unknown

static AliasIdentity Unknown()

Definition il.h:2399

◆ InferRange()

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

virtual

Reimplemented in dart::PhiInstr, and dart::IfThenElseInstr.

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 2557 of file il.h.

2557{ return input_use_list_; }

◆ input_uses()

ValueListIterable dart::Definition::input_uses ( ) const

inline

Definition at line 2563 of file il.h.

                                       {
    return ValueListIterable(input_use_list_);
  }

◆ IsArrayLength()

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

static

Definition at line 583 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 2516 of file il.h.

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

◆ IsInt64Definition()

bool dart::Definition::IsInt64Definition ( )

inline

Definition at line 8836 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 2498 of file il.h.

2498{ 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, and dart::LeafRuntimeCallInstr.

Definition at line 2573 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 530 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 567 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 2618 of file il.h.

2618{ return range_; }

dart::Definition::range_

Range * range_

Definition il.h:2674

◆ RecomputeType()

virtual bool dart::Definition::RecomputeType ( )

inlinevirtual

Reimplemented in dart::PhiInstr.

Definition at line 2530 of file il.h.

2530{ return false; }

◆ RedefinedValue()

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

virtual

Definition at line 539 of file il.cc.

                                        {
  return nullptr;
}

◆ Replacement()

Definition * dart::Definition::Replacement ( )

inline

Definition at line 2628 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 1484 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 1653 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 1623 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 2561 of file il.h.

2561{ 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 2558 of file il.h.

2558{ 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 2486 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 2481 of file il.h.

2481{ temp_index_ = index; }

◆ set_type()

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

inlineprotected

Definition at line 2676 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 2644 of file il.h.

2644{ UNREACHABLE(); }

UNREACHABLE

#define UNREACHABLE()

Definition assert.h:248

◆ SetReplacement()

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

inline

Definition at line 2635 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 2485 of file il.h.

2485{ return ssa_temp_index_; }

◆ temp_index()

intptr_t dart::Definition::temp_index ( ) const

inline

Definition at line 2480 of file il.h.

2480{ return temp_index_; }

◆ Type()

CompileType * dart::Definition::Type ( )

inline

Definition at line 2503 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 2535 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 2493 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 Symbol Documentation

◆ RangeAnalysis

friend class RangeAnalysis

friend

Definition at line 2671 of file il.h.

◆ Value

friend class Value

friend

Definition at line 2672 of file il.h.

Member Data Documentation

◆ kReplacementMarker

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

staticconstexpr

Definition at line 2626 of file il.h.

◆ range_

Range* dart::Definition::range_ = nullptr

protected

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

◆ RangeAnalysis

◆ Value

Member Data Documentation

◆ kReplacementMarker

◆ range_