dart::ConstraintInstr Class Reference

#include <il.h>

Inheritance diagram for dart::ConstraintInstr:

Public Member Functions
	ConstraintInstr (Value *value, Range *constraint)
virtual CompileType	ComputeType () const
virtual bool	ComputeCanDeoptimize () const
virtual bool	HasUnknownSideEffects () const
virtual bool	AttributesEqual (const Instruction &other) const
Value *	value () const
Range *	constraint () const
virtual void	InferRange (RangeAnalysis *analysis, Range *range)
void	set_target (TargetEntryInstr *target)
TargetEntryInstr *	target () const
DECLARE_INSTRUCTION_SERIALIZABLE_FIELDS(ConstraintInstr, TemplateDefinition, FIELD_LIST) DECLARE_EXTRA_SERIALIZATION private	DISALLOW_COPY_AND_ASSIGN (ConstraintInstr)
Public Member Functions inherited from dart::TemplateDefinition< 1, NoThrow >
	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
Public Types inherited from dart::TemplateDefinition< 1, NoThrow >
using	BaseClass = typename NoCSE< Definition, PureDefinition >::Base
Protected Attributes inherited from dart::TemplateDefinition< 1, NoThrow >
EmbeddedArray< Value *, N >	inputs_

Detailed Description

Definition at line 4155 of file il.h.

Constructor & Destructor Documentation

ConstraintInstr()

dart::ConstraintInstr::ConstraintInstr ( Value *  value, Range *  constraint  )

inline

Definition at line 4157 of file il.h.

                                                   : constraint_(constraint) {
    SetInputAt(0, value);
  }

Member Function Documentation

AttributesEqual()

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

inlinevirtual

Definition at line 4169 of file il.h.

                                                               {
    UNREACHABLE();
    return false;
  }

ComputeCanDeoptimize()

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

inlinevirtual

Definition at line 4165 of file il.h.

{ return false; }

ComputeType()

CompileType dart::ConstraintInstr::ComputeType ( ) const

virtual

Definition at line 1762 of file type_propagator.cc.

                                               {
  return CompileType::FromCid(kSmiCid);
}

constraint()

Range * dart::ConstraintInstr::constraint ( ) const

inline

Definition at line 4175 of file il.h.

{ return constraint_; }

DISALLOW_COPY_AND_ASSIGN()

DECLARE_INSTRUCTION_SERIALIZABLE_FIELDS(ConstraintInstr, TemplateDefinition, FIELD_LIST) DECLARE_EXTRA_SERIALIZATION private dart::ConstraintInstr::DISALLOW_COPY_AND_ASSIGN

(

ConstraintInstr

)

HasUnknownSideEffects()

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

inlinevirtual

Definition at line 4167 of file il.h.

{ return false; }

InferRange()

void dart::ConstraintInstr::InferRange ( RangeAnalysis *  analysis, Range *  range  )

virtual

Definition at line 2808 of file range_analysis.cc.

                                                                      {
  const Range* value_range = analysis->GetSmiRange(value());
  if (Range::IsUnknown(value_range)) {
    return;
  }
 
  // TODO(vegorov) check if precision of the analysis can be improved by
  // recognizing intersections of the form:
  //
  //       (..., S+x] ^ [S+x, ...) = [S+x, S+x]
  //
  Range result = value_range->Intersect(constraint());
 
  if (result.IsUnsatisfiable()) {
    return;
  }
 
  *range = result;
}

set_target()

void dart::ConstraintInstr::set_target ( TargetEntryInstr *  target )

inline

Definition at line 4182 of file il.h.

{ target_ = target; }

target()

TargetEntryInstr * dart::ConstraintInstr::target ( ) const

inline

Definition at line 4183 of file il.h.

{ return target_; }

value()

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

inline

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