dart::BoxIntegerInstr Class Reference

#include <il.h>

Inheritance diagram for dart::BoxIntegerInstr:

Public Member Functions
	BoxIntegerInstr (Representation representation, Value *value)
virtual bool	ValueFitsSmi () const
virtual void	InferRange (RangeAnalysis *analysis, Range *range)
virtual CompileType	ComputeType () const
virtual bool	RecomputeType ()
virtual Definition *	Canonicalize (FlowGraph *flow_graph)
virtual bool	CanTriggerGC () const
Public Member Functions inherited from dart::BoxInstr
Value *	value () const
Representation	from_representation () const
virtual bool	ComputeCanDeoptimize () const
virtual intptr_t	DeoptimizationTarget () const
virtual Representation	RequiredInputRepresentation (intptr_t idx) const
virtual bool	AttributesEqual (const Instruction &other) const
Definition *	Canonicalize (FlowGraph *flow_graph)
virtual TokenPosition	token_pos () const
virtual SpeculativeMode	SpeculativeModeOfInput (intptr_t index) const
	DECLARE_INSTRUCTION_SERIALIZABLE_FIELDS (BoxInstr, TemplateDefinition, FIELD_LIST) protected
Public Member Functions inherited from dart::TemplateDefinition< 1, 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
Public Types inherited from dart::TemplateDefinition< 1, NoThrow, Pure >
using	BaseClass = typename Pure< Definition, PureDefinition >::Base
Static Public Member Functions inherited from dart::BoxInstr
static BoxInstr *	Create (Representation from, Value *value)
Protected Attributes inherited from dart::TemplateDefinition< 1, NoThrow, Pure >
EmbeddedArray< Value *, N >	inputs_

Detailed Description

Definition at line 8527 of file il.h.

Constructor & Destructor Documentation

BoxIntegerInstr()

dart::BoxIntegerInstr::BoxIntegerInstr ( Representation  representation, Value *  value  )

inline

Definition at line 8529 of file il.h.

      : BoxInstr(representation, value) {}

Member Function Documentation

Canonicalize()

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

virtual

Reimplemented in dart::BoxInt64Instr.

Definition at line 3249 of file il.cc.

                                                               {
  if (input_use_list() == nullptr) {
    // Environments can accommodate any representation. No need to box.
    return value()->definition();
  }
 
  // Fold away Box<rep>(v) if v has a target representation already.
  Definition* value_defn = value()->definition();
  if (value_defn->representation() == representation()) {
    return value_defn;
  }
 
  return this;
}

CanTriggerGC()

virtual bool dart::BoxIntegerInstr::CanTriggerGC ( ) const

inlinevirtual

Definition at line 8541 of file il.h.

{ return !ValueFitsSmi(); }

ComputeType()

CompileType dart::BoxIntegerInstr::ComputeType ( ) const

virtual

Reimplemented from dart::BoxInstr.

Definition at line 1766 of file type_propagator.cc.

                                               {
  return ValueFitsSmi() ? CompileType::FromCid(kSmiCid)
                        : BoxInstr::ComputeType();
}

InferRange()

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

virtual

Definition at line 3064 of file range_analysis.cc.

                                                                      {
  const Range* value_range = value()->definition()->range();
  if (Range::IsUnknown(value_range)) {
    *range = Range::Full(from_representation());
  } else {
    ASSERT_VALID_RANGE_FOR_REPRESENTATION(value()->definition(), value_range,
                                          from_representation());
    *range = *value_range;
  }
}

RecomputeType()

bool dart::BoxIntegerInstr::RecomputeType ( )

virtual

Definition at line 1771 of file type_propagator.cc.

                                    {
  return UpdateType(ComputeType());
}

ValueFitsSmi()

bool dart::BoxIntegerInstr::ValueFitsSmi ( ) const

virtual

Reimplemented in dart::BoxSmallIntInstr.

Definition at line 3244 of file il.cc.

                                         {
  Range* range = value()->definition()->range();
  return RangeUtils::Fits(range, RangeBoundary::kRangeBoundarySmi);
}

---

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