dart::TestRangeInstr Class Reference

#include <il.h>

Inheritance diagram for dart::TestRangeInstr:

Public Member Functions
	TestRangeInstr (const InstructionSource &source, Value *value, uword lower, uword upper, Representation value_representation)
	DECLARE_COMPARISON_INSTRUCTION (TestRange)
uword	lower () const
uword	upper () const
virtual ComparisonInstr *	CopyWithNewOperands (Value *left, Value *right)
virtual CompileType	ComputeType () const
virtual Definition *	Canonicalize (FlowGraph *flow_graph)
virtual bool	ComputeCanDeoptimize () const
Value *	value () const
virtual Representation	RequiredInputRepresentation (intptr_t idx) const
virtual bool	AttributesEqual (const Instruction &other) const
Public Member Functions inherited from dart::TemplateComparison< 1, NoThrow, Pure >
	TemplateComparison (const InstructionSource &source, Token::Kind kind, 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::TemplateComparison< 1, NoThrow, Pure >
using	BaseClass = typename Pure< ComparisonInstr, PureComparison >::Base
Protected Attributes inherited from dart::TemplateComparison< 1, NoThrow, Pure >
EmbeddedArray< Value *, N >	inputs_

Detailed Description

Definition at line 5221 of file il.h.

Constructor & Destructor Documentation

TestRangeInstr()

dart::TestRangeInstr::TestRangeInstr	(	const InstructionSource &	source,
		Value *	value,
		uword	lower,
		uword	upper,
		Representation	value_representation
	)

Definition at line 3881 of file il.cc.

    : TemplateComparison(source, Token::kIS, DeoptId::kNone),
      lower_(lower),
      upper_(upper),
      value_representation_(value_representation) {
  ASSERT(lower < upper);
  ASSERT(value_representation == kTagged ||
         value_representation == kUnboxedUword);
  SetInputAt(0, value);
  set_operation_cid(kObjectCid);
}

Member Function Documentation

AttributesEqual()

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

virtual

Definition at line 6611 of file il.cc.

                                                                   {
  auto const other_instr = other.AsTestRange();
  if (!ComparisonInstr::AttributesEqual(other)) {
    return false;
  }
  return lower_ == other_instr->lower_ && upper_ == other_instr->upper_ &&
         value_representation_ == other_instr->value_representation_;
}

Canonicalize()

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

virtual

Definition at line 3897 of file il.cc.

                                                              {
  if (value()->BindsToSmiConstant()) {
    uword val = Smi::Cast(value()->BoundConstant()).Value();
    bool in_range = lower_ <= val && val <= upper_;
    ASSERT((kind() == Token::kIS) || (kind() == Token::kISNOT));
    return flow_graph->GetConstant(
        Bool::Get(in_range == (kind() == Token::kIS)));
  }
 
  const Range* range = value()->definition()->range();
  if (range != nullptr) {
    if (range->IsWithin(lower_, upper_)) {
      return flow_graph->GetConstant(Bool::Get(kind() == Token::kIS));
    }
    if (!range->Overlaps(lower_, upper_)) {
      return flow_graph->GetConstant(Bool::Get(kind() != Token::kIS));
    }
  }
 
  if (LoadClassIdInstr* load_cid = value()->definition()->AsLoadClassId()) {
    uword lower, upper;
    load_cid->InferRange(&lower, &upper);
    if (lower >= lower_ && upper <= upper_) {
      return flow_graph->GetConstant(Bool::Get(kind() == Token::kIS));
    } else if (lower > upper_ || upper < lower_) {
      return flow_graph->GetConstant(Bool::Get(kind() != Token::kIS));
    }
  }
 
  return this;
}

ComputeCanDeoptimize()

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

inlinevirtual

Definition at line 5240 of file il.h.

{ return false; }

ComputeType()

CompileType dart::TestRangeInstr::ComputeType ( ) const

virtual

Definition at line 1421 of file type_propagator.cc.

                                              {
  return CompileType::Bool();
}

CopyWithNewOperands()

ComparisonInstr * dart::TestRangeInstr::CopyWithNewOperands ( Value *  left, Value *  right  )

virtual

Definition at line 6589 of file il.cc.

                                                                       {
  return new TestRangeInstr(source(), new_left, lower_, upper_,
                            value_representation_);
}

DECLARE_COMPARISON_INSTRUCTION()

dart::TestRangeInstr::DECLARE_COMPARISON_INSTRUCTION

(

TestRange

)

lower()

uword dart::TestRangeInstr::lower ( ) const

inline

Definition at line 5231 of file il.h.

{ return lower_; }

RequiredInputRepresentation()

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

inlinevirtual

Definition at line 5243 of file il.h.

                                                                         {
    return value_representation_;
  }

upper()

uword dart::TestRangeInstr::upper ( ) const

inline

Definition at line 5232 of file il.h.

{ return upper_; }

value()

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

inline

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