dart::LoadStaticFieldInstr Class Reference

#include <il.h>

Inheritance diagram for dart::LoadStaticFieldInstr:

Public Member Functions
	LoadStaticFieldInstr (const Field &field, const InstructionSource &source, bool calls_initializer=false, intptr_t deopt_id=DeoptId::kNone)
virtual CompileType	ComputeType () const
const Field &	field () const
virtual bool	AllowsCSE () const
virtual bool	AttributesEqual (const Instruction &other) const
Public Member Functions inherited from dart::TemplateLoadField< 0 >
	TemplateLoadField (const InstructionSource &source, bool calls_initializer=false, intptr_t deopt_id=DeoptId::kNone, const Field *field=nullptr)
virtual TokenPosition	token_pos () const
bool	calls_initializer () const
void	set_calls_initializer (bool value)
bool	throw_exception_on_initialization () const
virtual bool	UseSharedSlowPathStub (bool is_optimizing) const
virtual intptr_t	DeoptimizationTarget () const
virtual bool	ComputeCanDeoptimize () const
virtual bool	ComputeCanDeoptimizeAfterCall () const
virtual intptr_t	NumberOfInputsConsumedBeforeCall () const
virtual bool	HasUnknownSideEffects () const
virtual bool	CanCallDart () const
virtual bool	CanTriggerGC () const
virtual bool	MayThrow () const
Public Member Functions inherited from dart::TemplateDefinition< N, Throws >
	TemplateDefinition (intptr_t deopt_id=DeoptId::kNone)
	TemplateDefinition (const InstructionSource &source, intptr_t deopt_id=DeoptId::kNone)
virtual intptr_t	InputCount () const
virtual Value *	InputAt (intptr_t i) const

Additional Inherited Members
Public Types inherited from dart::TemplateDefinition< N, Throws >
using	BaseClass = typename NoCSE< Definition, PureDefinition >::Base
Protected Attributes inherited from dart::TemplateDefinition< N, Throws >
EmbeddedArray< Value *, N >	inputs_

Detailed Description

Definition at line 6626 of file il.h.

Constructor & Destructor Documentation

LoadStaticFieldInstr()

dart::LoadStaticFieldInstr::LoadStaticFieldInstr ( const Field &  field, const InstructionSource &  source, bool  calls_initializer = false, intptr_t  deopt_id = DeoptId::kNone  )

inline

Definition at line 6628 of file il.h.

      : TemplateLoadField<0>(source, calls_initializer, deopt_id, &field),
        field_(field) {}

Member Function Documentation

AllowsCSE()

virtual bool dart::LoadStaticFieldInstr::AllowsCSE ( ) const

inlinevirtual

Definition at line 6641 of file il.h.

                                 {
    // If two loads of a static-final-late field call the initializer and one
    // dominates another, we can remove the dominated load with the result of
    // the dominating load.
    //
    // Though if the field is final-late there can be stores into it via
    // load/compare-with-sentinel/store. Those loads have
    // `!field().has_initializer()` and we won't allow CSE for them.
    return field().is_final() &&
           (!field().is_late() || field().has_initializer());
  }

AttributesEqual()

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

virtual

Definition at line 1125 of file il.cc.

                                                                         {
  ASSERT(AllowsCSE());
  return field().ptr() == other.AsLoadStaticField()->field().ptr();
}

ComputeType()

CompileType dart::LoadStaticFieldInstr::ComputeType ( ) const

virtual

Definition at line 1641 of file type_propagator.cc.

                                                    {
  const Field& field = this->field();
  ASSERT(field.is_static());
  bool is_nullable = true;
  intptr_t cid = kIllegalCid;  // Abstract type is known, calculate cid lazily.
 
  AbstractType* abstract_type = &AbstractType::ZoneHandle(field.type());
  TraceStrongModeType(this, *abstract_type);
  if (abstract_type->IsStrictlyNonNullable()) {
    is_nullable = false;
  }
 
  if ((field.guarded_cid() != kIllegalCid) &&
      (field.guarded_cid() != kDynamicCid)) {
    cid = field.guarded_cid();
    if (!field.is_nullable()) {
      is_nullable = false;
    }
    abstract_type = nullptr;  // Cid is known, calculate abstract type lazily.
  }
 
  if (field.needs_load_guard()) {
    // Should be kept in sync with Slot::Get.
    DEBUG_ASSERT(IsolateGroup::Current()->HasAttemptedReload());
    return CompileType::Dynamic();
  }
 
  const bool can_be_sentinel = !calls_initializer() && field.is_late() &&
                               field.is_final() && !field.has_initializer();
  return CompileType(is_nullable, can_be_sentinel, cid, abstract_type);
}

field()

const Field & dart::LoadStaticFieldInstr::field ( ) const

inline

Definition at line 6639 of file il.h.

{ return field_; }

---

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/type_propagator.cc