dart::UnboxInstr Class Reference

#include <il.h>

Inheritance diagram for dart::UnboxInstr:

Public Member Functions
Value *	value () const
virtual bool	ComputeCanDeoptimize () const
virtual SpeculativeMode	SpeculativeModeOfInput (intptr_t index) const
virtual Representation	representation () const
virtual bool	AttributesEqual (const Instruction &other) const
Definition *	Canonicalize (FlowGraph *flow_graph)
virtual intptr_t	DeoptimizationTarget () const
virtual TokenPosition	token_pos () const
	DECLARE_INSTRUCTION_SERIALIZABLE_FIELDS (UnboxInstr, TemplateDefinition, FIELD_LIST) protected
void	set_speculative_mode (SpeculativeMode value)
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 UnboxInstr *	Create (Representation to, Value *value, intptr_t deopt_id, SpeculativeMode speculative_mode=kGuardInputs)

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 8623 of file il.h.

Member Function Documentation

AttributesEqual()

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

inlinevirtual

Reimplemented in dart::UnboxIntegerInstr.

Definition at line 8659 of file il.h.

                                                               {
    auto const other_unbox = other.AsUnbox();
    return (representation() == other_unbox->representation()) &&
           (speculative_mode_ == other_unbox->speculative_mode_);
  }

Canonicalize()

Definition * dart::UnboxInstr::Canonicalize

(

FlowGraph *

flow_graph

)

Definition at line 3303 of file il.cc.

                                                          {
  if (!HasUses() && !CanDeoptimize()) return nullptr;
 
  // Fold away Unbox<rep>(v) if v has a target representation already.
  Definition* value_defn = value()->definition();
  if (value_defn->representation() == representation()) {
    return value_defn;
  }
 
  BoxInstr* box_defn = value()->definition()->AsBox();
  if (box_defn != nullptr) {
    // Fold away Unbox<rep>(Box<rep>(v)).
    if (box_defn->from_representation() == representation()) {
      return box_defn->value()->definition();
    }
 
    if ((box_defn->from_representation() == kUnboxedDouble) &&
        (representation() == kUnboxedFloat)) {
      Definition* replacement = new DoubleToFloatInstr(
          box_defn->value()->CopyWithType(), DeoptId::kNone);
      flow_graph->InsertBefore(this, replacement, NULL, FlowGraph::kValue);
      return replacement;
    }
 
    if ((box_defn->from_representation() == kUnboxedFloat) &&
        (representation() == kUnboxedDouble)) {
      Definition* replacement = new FloatToDoubleInstr(
          box_defn->value()->CopyWithType(), DeoptId::kNone);
      flow_graph->InsertBefore(this, replacement, NULL, FlowGraph::kValue);
      return replacement;
    }
  }
 
  if (representation() == kUnboxedDouble && value()->BindsToConstant()) {
    const Object& val = value()->BoundConstant();
    if (val.IsInteger()) {
      const Double& double_val = Double::ZoneHandle(
          flow_graph->zone(),
          Double::NewCanonical(Integer::Cast(val).AsDoubleValue()));
      return flow_graph->GetConstant(double_val, kUnboxedDouble);
    } else if (val.IsDouble()) {
      return flow_graph->GetConstant(val, kUnboxedDouble);
    }
  }
 
  if (representation() == kUnboxedFloat && value()->BindsToConstant()) {
    const Object& val = value()->BoundConstant();
    if (val.IsInteger()) {
      double narrowed_val =
          static_cast<float>(Integer::Cast(val).AsDoubleValue());
      return flow_graph->GetConstant(
          Double::ZoneHandle(Double::NewCanonical(narrowed_val)),
          kUnboxedFloat);
    } else if (val.IsDouble()) {
      double narrowed_val = static_cast<float>(Double::Cast(val).value());
      return flow_graph->GetConstant(
          Double::ZoneHandle(Double::NewCanonical(narrowed_val)),
          kUnboxedFloat);
    }
  }
 
  return this;
}

ComputeCanDeoptimize()

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

inlinevirtual

Reimplemented in dart::UnboxIntegerInstr.

Definition at line 8632 of file il.h.

                                            {
    if (SpeculativeModeOfInputs() == kNotSpeculative) {
      return false;
    }
 
    const intptr_t value_cid = value()->Type()->ToCid();
    const intptr_t box_cid = BoxCid();
 
    if (value_cid == box_cid) {
      return false;
    }
 
    if (CanConvertSmi() && (value_cid == kSmiCid)) {
      return false;
    }
 
    return true;
  }

Create()

UnboxInstr * dart::UnboxInstr::Create ( Representation  to, Value *  value, intptr_t  deopt_id, SpeculativeMode  speculative_mode = kGuardInputs  )

static

Definition at line 4045 of file il.cc.

                                                                 {
  switch (to) {
    case kUnboxedInt32:
      // We must truncate if we can't deoptimize.
      return new UnboxInt32Instr(
          speculative_mode == SpeculativeMode::kNotSpeculative
              ? UnboxInt32Instr::kTruncate
              : UnboxInt32Instr::kNoTruncation,
          value, deopt_id, speculative_mode);
 
    case kUnboxedUint32:
      return new UnboxUint32Instr(value, deopt_id, speculative_mode);
 
    case kUnboxedInt64:
      return new UnboxInt64Instr(value, deopt_id, speculative_mode);
 
    case kUnboxedDouble:
    case kUnboxedFloat:
    case kUnboxedFloat32x4:
    case kUnboxedFloat64x2:
    case kUnboxedInt32x4:
      ASSERT(FlowGraphCompiler::SupportsUnboxedDoubles());
      return new UnboxInstr(to, value, deopt_id, speculative_mode);
 
    default:
      UNREACHABLE();
      return nullptr;
  }
}

DECLARE_INSTRUCTION_SERIALIZABLE_FIELDS()

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

inline

Definition at line 8675 of file il.h.

          :
  UnboxInstr(Representation representation,
             Value* value,
             intptr_t deopt_id,
             SpeculativeMode speculative_mode)
      : TemplateDefinition(deopt_id),
        representation_(representation),
        speculative_mode_(speculative_mode) {
    // Unboxing doesn't currently handle non-native representations.
    ASSERT_EQUAL(Boxing::NativeRepresentation(representation), representation);
    SetInputAt(0, value);
  }

DeoptimizationTarget()

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

inlinevirtual

Definition at line 8667 of file il.h.

{ return GetDeoptId(); }

representation()

virtual Representation dart::UnboxInstr::representation ( ) const

inlinevirtual

Definition at line 8655 of file il.h.

{ return representation_; }

set_speculative_mode()

void dart::UnboxInstr::set_speculative_mode ( SpeculativeMode  value )

inline

Definition at line 8693 of file il.h.

                                                   {
    speculative_mode_ = value;
  }

SpeculativeModeOfInput()

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

inlinevirtual

Definition at line 8651 of file il.h.

                                                                       {
    return speculative_mode_;
  }

token_pos()

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

inlinevirtual

Definition at line 8669 of file il.h.

{ return TokenPosition::kBox; }

value()

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

inline

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