dart::CheckBoundBaseInstr Class Reference

#include <il.h>

Inheritance diagram for dart::CheckBoundBaseInstr:

Public Types
enum	{ kLengthPos = 0 , kIndexPos = 1 }
Public Types inherited from dart::TemplateDefinition< 2, NoThrow, Pure >
using	BaseClass = typename Pure< Definition, PureDefinition >::Base

Public Member Functions
	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

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

Detailed Description

Definition at line 10734 of file il.h.

Member Enumeration Documentation

anonymous enum

anonymous enum

Enumerator
kLengthPos
kIndexPos

Definition at line 10756 of file il.h.

{ kLengthPos = 0, kIndexPos = 1 };

Constructor & Destructor Documentation

CheckBoundBaseInstr()

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

inline

Definition at line 10736 of file il.h.

      : TemplateDefinition(deopt_id) {
    SetInputAt(kLengthPos, length);
    SetInputAt(kIndexPos, index);
  }

Member Function Documentation

Canonicalize()

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

virtual

Definition at line 6773 of file il.cc.

                                                                   {
  return (flow_graph->should_remove_all_bounds_checks() || IsRedundant())
             ? index()->definition()
             : this;
}

DECLARE_ABSTRACT_INSTRUCTION()

dart::CheckBoundBaseInstr::DECLARE_ABSTRACT_INSTRUCTION

(

CheckBoundBase

)

index()

Value * dart::CheckBoundBaseInstr::index ( ) const

inline

Definition at line 10743 of file il.h.

{ return inputs_[kIndexPos]; }

IsRedundant()

bool dart::CheckBoundBaseInstr::IsRedundant

(

bool

use_loops = false

)

Definition at line 3211 of file range_analysis.cc.

                                                    {
  // First, try to prove redundancy with the results of range analysis.
  if (IsRedundantBasedOnRangeInformation(index(), length())) {
    return true;
  } else if (!use_loops) {
    return false;
  }
  // Next, try to prove redundancy with the results of induction analysis.
  LoopInfo* loop = GetBlock()->loop_info();
  if (loop != nullptr) {
    return loop->IsInRange(this, index(), length());
  }
  return false;
}

length()

Value * dart::CheckBoundBaseInstr::length ( ) const

inline

Definition at line 10742 of file il.h.

{ return inputs_[kLengthPos]; }

RedefinedValue()

Value * dart::CheckBoundBaseInstr::RedefinedValue ( ) const

virtual

Definition at line 555 of file il.cc.

                                                 {
  return index();
}

---

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