#include <il.h>

Inheritance diagram for dart::GuardFieldLengthInstr:

Public Member Functions
	GuardFieldLengthInstr (Value *value, const Field &field, intptr_t deopt_id)

virtual Instruction *	Canonicalize (FlowGraph *flow_graph)

virtual bool	AttributesEqual (const Instruction &other) const

Public Member Functions inherited from dart::GuardFieldInstr
	GuardFieldInstr (Value *value, const Field &field, intptr_t deopt_id)

Value *	value () const

const Field &	field () const

virtual bool	ComputeCanDeoptimize () const

virtual bool	CanBecomeDeoptimizationTarget () const

Public Member Functions inherited from dart::TemplateInstruction< 1, NoThrow, Pure >
	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

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

Protected Attributes inherited from dart::TemplateInstruction< 1, NoThrow, Pure >
EmbeddedArray< Value *, N >	inputs_

Detailed Description

Definition at line 6516 of file il.h.

Constructor & Destructor Documentation

◆ GuardFieldLengthInstr()

dart::GuardFieldLengthInstr::GuardFieldLengthInstr	(	Value *	value,
		const Field &	field,
		intptr_t	deopt_id
	)

inline

Definition at line 6518 of file il.h.

      : GuardFieldInstr(value, field, deopt_id) {
    CheckField(field);
  }

Member Function Documentation

◆ AttributesEqual()

bool dart::GuardFieldLengthInstr::AttributesEqual ( const Instruction & other ) const

virtual

Definition at line 1054 of file il.cc.

                                                                          {
  return field().ptr() == other.AsGuardFieldLength()->field().ptr();
}

◆ Canonicalize()

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

virtual

Definition at line 3947 of file il.cc.

                                                                      {
  if (!field().needs_length_check()) {
    return nullptr;  // Nothing to guard.
  }
 
  const intptr_t expected_length = field().guarded_list_length();
  if (expected_length == Field::kUnknownFixedLength) {
    return this;
  }
 
  // Check if length is statically known.
  StaticCallInstr* call = value()->definition()->AsStaticCall();
  if (call == nullptr) {
    return this;
  }
 
  ConstantInstr* length = nullptr;
  if (call->is_known_list_constructor() &&
      LoadFieldInstr::IsFixedLengthArrayCid(call->Type()->ToCid())) {
    length = call->ArgumentAt(1)->AsConstant();
  } else if (call->function().recognized_kind() ==
             MethodRecognizer::kByteDataFactory) {
    length = call->ArgumentAt(1)->AsConstant();
  } else if (LoadFieldInstr::IsTypedDataViewFactory(call->function())) {
    length = call->ArgumentAt(3)->AsConstant();
  }
  if ((length != nullptr) && length->value().IsSmi() &&
      Smi::Cast(length->value()).Value() == expected_length) {
    return nullptr;  // Expected length matched.
  }
 
  return this;
}

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