#include <il.h>

Inheritance diagram for dart::CheckArrayBoundInstr:

Public Member Functions
	CheckArrayBoundInstr (Value length, Value index, intptr_t deopt_id)

virtual CompileType	ComputeType () const

virtual bool	RecomputeType ()

virtual bool	ComputeCanDeoptimize () const

void	mark_generalized ()

virtual bool	AttributesEqual (const Instruction &other) const

Public Member Functions inherited from dart::CheckBoundBaseInstr
	CheckBoundBaseInstr (Value length, Value index, intptr_t deopt_id)

Value *	length () const

Value *	index () const

virtual Definition *	Canonicalize (FlowGraph *flow_graph)

	DECLARE_ABSTRACT_INSTRUCTION (CheckBoundBase)

virtual Value *	RedefinedValue () const

bool	IsRedundant (bool use_loops=false)

Public Member Functions inherited from dart::TemplateDefinition< 2, 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

Static Public Member Functions
static intptr_t	LengthOffsetFor (intptr_t class_id)

static bool	IsFixedLengthArrayType (intptr_t class_id)

Additional Inherited Members
Public Types inherited from dart::CheckBoundBaseInstr
enum	{ kLengthPos = 0 , kIndexPos = 1 }

Public Types inherited from dart::TemplateDefinition< 2, NoThrow, Pure >
using	BaseClass = typename Pure< Definition, PureDefinition >::Base

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

Detailed Description

Definition at line 10769 of file il.h.

Constructor & Destructor Documentation

◆ CheckArrayBoundInstr()

dart::CheckArrayBoundInstr::CheckArrayBoundInstr	(	Value *	length,
		Value *	index,
		intptr_t	deopt_id
	)

inline

Definition at line 10771 of file il.h.

10772 : CheckBoundBaseInstr(length, index, deopt_id), generalized_(false) {}

dart::CheckBoundBaseInstr::CheckBoundBaseInstr

CheckBoundBaseInstr(Value *length, Value *index, intptr_t deopt_id)

Definition il.h:10736

dart::CheckBoundBaseInstr::index

Value * index() const

Definition il.h:10743

dart::CheckBoundBaseInstr::length

Value * length() const

Definition il.h:10742

Member Function Documentation

◆ AttributesEqual()

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

inlinevirtual

Definition at line 10788 of file il.h.

10788{ return true; }

◆ ComputeCanDeoptimize()

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

inlinevirtual

Definition at line 10779 of file il.h.

10779{ return true; }

◆ ComputeType()

CompileType dart::CheckArrayBoundInstr::ComputeType ( ) const

virtual

Definition at line 1175 of file type_propagator.cc.

                                                    {
  return *index()->Type();
}

◆ IsFixedLengthArrayType()

bool dart::CheckArrayBoundInstr::IsFixedLengthArrayType ( intptr_t class_id )

static

Definition at line 6769 of file il.cc.

                                                              {
  return LoadFieldInstr::IsFixedLengthArrayCid(cid);
}

◆ LengthOffsetFor()

intptr_t dart::CheckArrayBoundInstr::LengthOffsetFor ( intptr_t class_id )

static

Definition at line 6779 of file il.cc.

                                                                {
  if (IsTypedDataBaseClassId(class_id)) {
    return compiler::target::TypedDataBase::length_offset();
  }
 
  switch (class_id) {
    case kGrowableObjectArrayCid:
      return compiler::target::GrowableObjectArray::length_offset();
    case kOneByteStringCid:
    case kTwoByteStringCid:
      return compiler::target::String::length_offset();
    case kArrayCid:
    case kImmutableArrayCid:
      return compiler::target::Array::length_offset();
    default:
      UNREACHABLE();
      return -1;
  }
}

◆ mark_generalized()

void dart::CheckArrayBoundInstr::mark_generalized ( )

inline

Definition at line 10781 of file il.h.

10781{ generalized_ = true; }

◆ RecomputeType()

bool dart::CheckArrayBoundInstr::RecomputeType ( )