#include <il.h>

Inheritance diagram for dart::GuardFieldClassInstr:

Public Member Functions
	GuardFieldClassInstr (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 6497 of file il.h.

Constructor & Destructor Documentation

◆ GuardFieldClassInstr()

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

inline

Definition at line 6499 of file il.h.

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

Member Function Documentation

◆ AttributesEqual()

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

virtual

Definition at line 1050 of file il.cc.

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

◆ Canonicalize()

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

virtual

Definition at line 3929 of file il.cc.

                                                                     {
  if (field().guarded_cid() == kDynamicCid) {
    return nullptr;  // Nothing to guard.
  }
 
  if (field().is_nullable() && value()->Type()->IsNull()) {
    return nullptr;
  }
 
  const intptr_t cid = field().is_nullable() ? value()->Type()->ToNullableCid()
                                             : value()->Type()->ToCid();
  if (field().guarded_cid() == cid) {
    return nullptr;  // Value is guaranteed to have this cid.
  }
 
  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