dart::BoxInstr Class Reference

#include <il.h>

Inheritance diagram for dart::BoxInstr:

Public Member Functions
Value *	value () const
Representation	from_representation () const
virtual CompileType	ComputeType () 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

Static Public Member Functions
static BoxInstr *	Create (Representation from, Value *value)

Additional Inherited Members
Public Types inherited from dart::TemplateDefinition< 1, NoThrow, Pure >
using	BaseClass = typename Pure< Definition, PureDefinition >::Base
Protected Attributes inherited from dart::TemplateDefinition< 1, NoThrow, Pure >
EmbeddedArray< Value *, N >	inputs_

Detailed Description

Definition at line 8476 of file il.h.

Member Function Documentation

AttributesEqual()

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

inlinevirtual

Definition at line 8494 of file il.h.

                                                               {
    return other.AsBox()->from_representation() == from_representation();
  }

Canonicalize()

Definition * dart::BoxInstr::Canonicalize

(

FlowGraph *

flow_graph

)

Definition at line 3186 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;
  }
 
  // Fold away Box<rep>(Unbox<rep>(v)) if value is known to be of the
  // right class.
  UnboxInstr* unbox_defn = value()->definition()->AsUnbox();
  if ((unbox_defn != nullptr) &&
      (unbox_defn->representation() == from_representation()) &&
      (unbox_defn->value()->Type()->ToCid() == Type()->ToCid())) {
    if (from_representation() == kUnboxedFloat) {
      // This is a narrowing conversion.
      return this;
    }
    return unbox_defn->value()->definition();
  }
 
  if (value()->BindsToConstant()) {
    switch (representation()) {
      case kUnboxedFloat64x2:
        ASSERT(value()->BoundConstant().IsFloat64x2());
        return flow_graph->GetConstant(value()->BoundConstant(), kTagged);
      case kUnboxedFloat32x4:
        ASSERT(value()->BoundConstant().IsFloat32x4());
        return flow_graph->GetConstant(value()->BoundConstant(), kTagged);
      case kUnboxedInt32x4:
        ASSERT(value()->BoundConstant().IsInt32x4());
        return flow_graph->GetConstant(value()->BoundConstant(), kTagged);
      default:
        return this;
    }
  }
 
  return this;
}

ComputeCanDeoptimize()

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

inlinevirtual

Definition at line 8486 of file il.h.

{ return false; }

ComputeType()

CompileType dart::BoxInstr::ComputeType ( ) const

virtual

Reimplemented in dart::BoxIntegerInstr.

Definition at line 1803 of file type_propagator.cc.

                                        {
  return CompileType::FromUnboxedRepresentation(from_representation());
}

Create()

BoxInstr * dart::BoxInstr::Create ( Representation  from, Value *  value  )

static

Definition at line 4009 of file il.cc.

                                                            {
  switch (from) {
    case kUnboxedInt8:
    case kUnboxedUint8:
    case kUnboxedInt16:
    case kUnboxedUint16:
#if defined(HAS_SMI_63_BITS)
    case kUnboxedInt32:
    case kUnboxedUint32:
#endif
      return new BoxSmallIntInstr(from, value);
 
#if !defined(HAS_SMI_63_BITS)
    case kUnboxedInt32:
      return new BoxInt32Instr(value);
 
    case kUnboxedUint32:
      return new BoxUint32Instr(value);
#endif
 
    case kUnboxedInt64:
      return new BoxInt64Instr(value);
 
    case kUnboxedDouble:
    case kUnboxedFloat:
    case kUnboxedFloat32x4:
    case kUnboxedFloat64x2:
    case kUnboxedInt32x4:
      return new BoxInstr(from, value);
 
    default:
      UNREACHABLE();
      return nullptr;
  }
}

DECLARE_INSTRUCTION_SERIALIZABLE_FIELDS()

dart::BoxInstr::DECLARE_INSTRUCTION_SERIALIZABLE_FIELDS ( BoxInstr  , TemplateDefinition  , FIELD_LIST    )

inline

Definition at line 8508 of file il.h.

          :
  BoxInstr(Representation from_representation, Value* value)
      : from_representation_(from_representation) {
    SetInputAt(0, value);
  }

DeoptimizationTarget()

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

inlinevirtual

Definition at line 8487 of file il.h.

{ return DeoptId::kNone; }

from_representation()

Representation dart::BoxInstr::from_representation ( ) const

inline

Definition at line 8481 of file il.h.

{ return from_representation_; }

RequiredInputRepresentation()

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

inlinevirtual

Definition at line 8489 of file il.h.

                                                                         {
    ASSERT(idx == 0);
    return from_representation();
  }

SpeculativeModeOfInput()

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

inlinevirtual

Definition at line 8502 of file il.h.

                                                                       {
    return kNotSpeculative;
  }

token_pos()

virtual TokenPosition dart::BoxInstr::token_pos ( ) const

inlinevirtual

Definition at line 8500 of file il.h.

{ return TokenPosition::kBox; }

value()

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

inline

Definition at line 8480 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