dart::LoadClassIdInstr Class Reference

#include <il.h>

Inheritance diagram for dart::LoadClassIdInstr:

Public Member Functions
	LoadClassIdInstr (Value *object, Representation representation=kTagged, bool input_can_be_smi=true)
virtual Representation	representation () const
virtual CompileType	ComputeType () const
virtual Definition *	Canonicalize (FlowGraph *flow_graph)
Value *	object () const
virtual bool	ComputeCanDeoptimize () const
virtual bool	AttributesEqual (const Instruction &other) const
void	InferRange (uword *lower, uword *upper)
virtual void	InferRange (RangeAnalysis *analysis, Range *range)
Public Member Functions inherited from dart::TemplateDefinition< 1, NoThrow, Pure >
	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
virtual bool	MayThrow () const

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

Detailed Description

Definition at line 8002 of file il.h.

Constructor & Destructor Documentation

LoadClassIdInstr()

dart::LoadClassIdInstr::LoadClassIdInstr ( Value *  object, Representation  representation = kTagged, bool  input_can_be_smi = true  )

inlineexplicit

Definition at line 8004 of file il.h.

      : representation_(representation), input_can_be_smi_(input_can_be_smi) {
    ASSERT(representation == kTagged || representation == kUnboxedUword);
    SetInputAt(0, object);
  }

Member Function Documentation

AttributesEqual()

virtual bool dart::LoadClassIdInstr::AttributesEqual ( const Instruction &  other ) const

inlinevirtual

Definition at line 8022 of file il.h.

                                                               {
    auto const other_load = other.AsLoadClassId();
    return other_load->representation_ == representation_ &&
           other_load->input_can_be_smi_ == input_can_be_smi_;
  }

Canonicalize()

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

virtual

Definition at line 3811 of file il.cc.

                                                                {
  if (!HasUses()) return nullptr;
 
  const intptr_t cid = object()->Type()->ToCid();
  if (cid != kDynamicCid) {
    const auto& smi = Smi::ZoneHandle(flow_graph->zone(), Smi::New(cid));
    return flow_graph->GetConstant(smi, representation());
  }
  return this;
}

ComputeCanDeoptimize()

virtual bool dart::LoadClassIdInstr::ComputeCanDeoptimize ( ) const

inlinevirtual

Definition at line 8020 of file il.h.

{ return false; }

ComputeType()

CompileType dart::LoadClassIdInstr::ComputeType ( ) const

virtual

Definition at line 1705 of file type_propagator.cc.

                                                {
  return CompileType::FromCid(kSmiCid);
}

InferRange() [1/2]

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

virtual

Definition at line 2950 of file range_analysis.cc.

                                                                       {
  uword lower, upper;
  InferRange(&lower, &upper);
  *range = Range(RangeBoundary::FromConstant(lower),
                 RangeBoundary::FromConstant(upper));
}

InferRange() [2/2]

void dart::LoadClassIdInstr::InferRange	(	uword *	lower,
		uword *	upper
	)

Definition at line 2920 of file range_analysis.cc.

                                                            {
  ASSERT(kIllegalCid == 0);
  *lower = 1;
  *upper = kClassIdTagMax;
 
  CompileType* ctype = object()->Type();
  intptr_t cid = ctype->ToCid();
  if (cid != kDynamicCid) {
    *lower = *upper = cid;
  } else if (CompilerState::Current().is_aot()) {
    *upper = IsolateGroup::Current()->class_table()->NumCids();
 
    HierarchyInfo* hi = Thread::Current()->hierarchy_info();
    if (hi != nullptr) {
      const auto& type = *ctype->ToAbstractType();
      if (type.IsType() && !type.IsFutureOrType() &&
          !Instance::NullIsAssignableTo(type)) {
        const auto& type_class = Class::Handle(type.type_class());
        const auto& ranges =
            hi->SubtypeRangesForClass(type_class, /*include_abstract=*/false,
                                      /*exclude_null=*/true);
        if (ranges.length() > 0) {
          *lower = ranges[0].cid_start;
          *upper = ranges[ranges.length() - 1].cid_end;
        }
      }
    }
  }
}

object()

Value * dart::LoadClassIdInstr::object ( ) const

inline

Definition at line 8018 of file il.h.

{ return inputs_[0]; }

representation()

virtual Representation dart::LoadClassIdInstr::representation ( ) const

inlinevirtual

Definition at line 8012 of file il.h.

{ return representation_; }

---

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
• third_party/dart-lang/sdk/runtime/vm/compiler/backend/type_propagator.cc