dart::GenericCheckBoundInstr Class Reference

#include <il.h>

Inheritance diagram for dart::GenericCheckBoundInstr:

Public Member Functions
	GenericCheckBoundInstr (Value *length, Value *index, intptr_t deopt_id)
virtual bool	AttributesEqual (const Instruction &other) const
virtual CompileType	ComputeType () const
virtual bool	RecomputeType ()
virtual intptr_t	DeoptimizationTarget () const
virtual SpeculativeMode	SpeculativeModeOfInput (intptr_t index) const
virtual Representation	representation () const
virtual Representation	RequiredInputRepresentation (intptr_t idx) const
virtual bool	ComputeCanDeoptimize () const
virtual bool	ComputeCanDeoptimizeAfterCall () const
virtual bool	MayThrow () const
virtual bool	UseSharedSlowPathStub (bool is_optimizing) 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

Static Public Member Functions
static bool	UseUnboxedRepresentation ()

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 10806 of file il.h.

Constructor & Destructor Documentation

GenericCheckBoundInstr()

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

inline

Definition at line 10814 of file il.h.

      : CheckBoundBaseInstr(length, index, deopt_id) {}

Member Function Documentation

AttributesEqual()

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

inlinevirtual

Definition at line 10817 of file il.h.

{ return true; }

ComputeCanDeoptimize()

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

inlinevirtual

Definition at line 10841 of file il.h.

{ return false; }

ComputeCanDeoptimizeAfterCall()

virtual bool dart::GenericCheckBoundInstr::ComputeCanDeoptimizeAfterCall ( ) const

inlinevirtual

Definition at line 10842 of file il.h.

                                                     {
    return !CompilerState::Current().is_aot();
  }

ComputeType()

CompileType dart::GenericCheckBoundInstr::ComputeType ( ) const

virtual

Definition at line 1183 of file type_propagator.cc.

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

DeoptimizationTarget()

virtual intptr_t dart::GenericCheckBoundInstr::DeoptimizationTarget ( ) const

inlinevirtual

Definition at line 10824 of file il.h.

{ return DeoptId::kNone; }

MayThrow()

virtual bool dart::GenericCheckBoundInstr::MayThrow ( ) const

inlinevirtual

Reimplemented from dart::TemplateDefinition< 2, NoThrow, Pure >.

Definition at line 10846 of file il.h.

{ return true; }

RecomputeType()

bool dart::GenericCheckBoundInstr::RecomputeType ( )

virtual

Definition at line 1187 of file type_propagator.cc.

                                           {
  return UpdateType(ComputeType());
}

representation()

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

inlinevirtual

Definition at line 10830 of file il.h.

                                                {
    return UseUnboxedRepresentation() ? kUnboxedInt64 : kTagged;
  }

RequiredInputRepresentation()

virtual Representation dart::GenericCheckBoundInstr::RequiredInputRepresentation ( intptr_t  idx ) const

inlinevirtual

Definition at line 10834 of file il.h.

                                                                         {
    ASSERT(idx == kIndexPos || idx == kLengthPos);
    return UseUnboxedRepresentation() ? kUnboxedInt64 : kTagged;
  }

SpeculativeModeOfInput()

virtual SpeculativeMode dart::GenericCheckBoundInstr::SpeculativeModeOfInput ( intptr_t  index ) const

inlinevirtual

Definition at line 10826 of file il.h.

                                                                       {
    return kNotSpeculative;
  }

UseSharedSlowPathStub()

virtual bool dart::GenericCheckBoundInstr::UseSharedSlowPathStub ( bool  is_optimizing ) const

inlinevirtual

Definition at line 10848 of file il.h.

                                                               {
    return SlowPathSharingSupported(is_optimizing);
  }

UseUnboxedRepresentation()

static bool dart::GenericCheckBoundInstr::UseUnboxedRepresentation ( )

inlinestatic

Definition at line 10810 of file il.h.

                                         {
    return compiler::target::kWordSize == 8;
  }

---

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