dart::CheckClassInstr Class Reference

#include <il.h>

Inheritance diagram for dart::CheckClassInstr:

Public Member Functions
	CheckClassInstr (Value *value, intptr_t deopt_id, const Cids &cids, const InstructionSource &source)
virtual bool	ComputeCanDeoptimize () const
virtual TokenPosition	token_pos () const
Value *	value () const
const Cids &	cids () const
virtual Instruction *	Canonicalize (FlowGraph *flow_graph)
bool	IsNullCheck () const
bool	IsDeoptIfNull () const
bool	IsDeoptIfNotNull () const
bool	IsBitTest () const
intptr_t	ComputeCidMask () const
virtual bool	AllowsCSE () const
virtual bool	HasUnknownSideEffects () const
virtual bool	AttributesEqual (const Instruction &other) const
DECLARE_INSTRUCTION_SERIALIZABLE_FIELDS(CheckClassInstr, TemplateInstruction, FIELD_LIST) private void	EmitBitTest (FlowGraphCompiler *compiler, intptr_t min, intptr_t max, intptr_t mask, compiler::Label *deopt)
void	EmitNullCheck (FlowGraphCompiler *compiler, compiler::Label *deopt)
	DISALLOW_COPY_AND_ASSIGN (CheckClassInstr)
Public Member Functions inherited from dart::TemplateInstruction< 1, NoThrow >
	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

Static Public Member Functions
static bool	IsCompactCidRange (const Cids &cids)

Additional Inherited Members
Public Types inherited from dart::TemplateInstruction< 1, NoThrow >
using	BaseClass = typename NoCSE< Instruction, PureInstruction >::Base
Protected Attributes inherited from dart::TemplateInstruction< 1, NoThrow >
EmbeddedArray< Value *, N >	inputs_

Detailed Description

Definition at line 10527 of file il.h.

Constructor & Destructor Documentation

CheckClassInstr()

dart::CheckClassInstr::CheckClassInstr	(	Value *	value,
		intptr_t	deopt_id,
		const Cids &	cids,
		const InstructionSource &	source
	)

Definition at line 838 of file il.cc.

    : TemplateInstruction(source, deopt_id),
      cids_(cids),
      is_bit_test_(IsCompactCidRange(cids)),
      token_pos_(source.token_pos) {
  // Expected useful check data.
  const intptr_t number_of_checks = cids.length();
  ASSERT(number_of_checks > 0);
  SetInputAt(0, value);
  // Otherwise use CheckSmiInstr.
  ASSERT(number_of_checks != 1 || !cids[0].IsSingleCid() ||
         cids[0].cid_start != kSmiCid);
}

Member Function Documentation

AllowsCSE()

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

inlinevirtual

Definition at line 10555 of file il.h.

{ return true; }

AttributesEqual()

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

virtual

Definition at line 855 of file il.cc.

                                                                    {
  auto const other_check = other.AsCheckClass();
  ASSERT(other_check != nullptr);
  return cids().Equals(other_check->cids());
}

Canonicalize()

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

virtual

Definition at line 3802 of file il.cc.

                                                                {
  const intptr_t value_cid = value()->Type()->ToCid();
  if (value_cid == kDynamicCid) {
    return this;
  }
 
  return cids().HasClassId(value_cid) ? nullptr : this;
}

cids()

const Cids & dart::CheckClassInstr::cids ( ) const

inline

Definition at line 10542 of file il.h.

{ return cids_; }

ComputeCanDeoptimize()

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

inlinevirtual

Definition at line 10536 of file il.h.

{ return true; }

ComputeCidMask()

intptr_t dart::CheckClassInstr::ComputeCidMask

(

)

const

Definition at line 901 of file il.cc.

                                               {
  ASSERT(IsBitTest());
  const uintptr_t one = 1;
  intptr_t min = cids_.ComputeLowestCid();
  intptr_t mask = 0;
  for (intptr_t i = 0; i < cids_.length(); ++i) {
    uintptr_t run;
    uintptr_t range = one + cids_[i].Extent();
    if (range >= static_cast<uintptr_t>(compiler::target::kBitsPerWord)) {
      run = -1;
    } else {
      run = (one << range) - 1;
    }
    mask |= run << (cids_[i].cid_start - min);
  }
  return mask;
}

DISALLOW_COPY_AND_ASSIGN()

dart::CheckClassInstr::DISALLOW_COPY_AND_ASSIGN

(

CheckClassInstr

)

EmitBitTest()

DECLARE_INSTRUCTION_SERIALIZABLE_FIELDS(CheckClassInstr, TemplateInstruction, FIELD_LIST) private void dart::CheckClassInstr::EmitBitTest	(	FlowGraphCompiler *	compiler,
		intptr_t	min,
		intptr_t	max,
		intptr_t	mask,
		compiler::Label *	deopt
	)

EmitNullCheck()

void dart::CheckClassInstr::EmitNullCheck	(	FlowGraphCompiler *	compiler,
		compiler::Label *	deopt
	)

HasUnknownSideEffects()

virtual bool dart::CheckClassInstr::HasUnknownSideEffects ( ) const

inlinevirtual

Definition at line 10556 of file il.h.

{ return false; }

IsBitTest()

bool dart::CheckClassInstr::IsBitTest

(

)

const

Definition at line 897 of file il.cc.

                                      {
  return is_bit_test_;
}

IsCompactCidRange()

bool dart::CheckClassInstr::IsCompactCidRange ( const Cids &  cids )

static

Definition at line 883 of file il.cc.

                                                        {
  const intptr_t number_of_checks = cids.length();
  // If there are only two checks, the extra register pressure needed for the
  // dense-cid-range code is not justified.
  if (number_of_checks <= 2) return false;
 
  // TODO(fschneider): Support smis in dense cid checks.
  if (cids.HasClassId(kSmiCid)) return false;
 
  intptr_t min = cids.ComputeLowestCid();
  intptr_t max = cids.ComputeHighestCid();
  return (max - min) < compiler::target::kBitsPerWord;
}

IsDeoptIfNotNull()

bool dart::CheckClassInstr::IsDeoptIfNotNull

(

)

const

Definition at line 875 of file il.cc.

                                             {
  if (!cids().IsMonomorphic()) {
    return false;
  }
  const intptr_t cid = cids().MonomorphicReceiverCid();
  return cid == kNullCid;
}

IsDeoptIfNull()

bool dart::CheckClassInstr::IsDeoptIfNull

(

)

const

Definition at line 861 of file il.cc.

                                          {
  if (!cids().IsMonomorphic()) {
    return false;
  }
  CompileType* in_type = value()->Type();
  const intptr_t cid = cids().MonomorphicReceiverCid();
  // Performance check: use CheckSmiInstr instead.
  ASSERT(cid != kSmiCid);
  return in_type->is_nullable() && (in_type->ToNullableCid() == cid);
}

IsNullCheck()

bool dart::CheckClassInstr::IsNullCheck ( ) const

inline

Definition at line 10546 of file il.h.

{ return IsDeoptIfNull() || IsDeoptIfNotNull(); }

token_pos()

virtual TokenPosition dart::CheckClassInstr::token_pos ( ) const

inlinevirtual

Definition at line 10538 of file il.h.

{ return token_pos_; }

value()

Value * dart::CheckClassInstr::value ( ) const

inline

Definition at line 10540 of file il.h.

{ return inputs_[0]; }

---

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