dart::EqualityCompareInstr Class Reference

#include <il.h>

Inheritance diagram for dart::EqualityCompareInstr:

Public Member Functions
	EqualityCompareInstr (const InstructionSource &source, Token::Kind kind, Value *left, Value *right, intptr_t cid, intptr_t deopt_id, bool null_aware=false, SpeculativeMode speculative_mode=kGuardInputs)
virtual ComparisonInstr *	CopyWithNewOperands (Value *left, Value *right)
virtual CompileType	ComputeType () const
virtual bool	ComputeCanDeoptimize () const
bool	is_null_aware () const
void	set_null_aware (bool value)
virtual Representation	RequiredInputRepresentation (intptr_t idx) const
virtual SpeculativeMode	SpeculativeModeOfInput (intptr_t index) const
virtual bool	AttributesEqual (const Instruction &other) const
virtual Definition *	Canonicalize (FlowGraph *flow_graph)
Public Member Functions inherited from dart::TemplateComparison< 2, 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< 2, NoThrow, Pure >
using	BaseClass = typename Pure< ComparisonInstr, PureComparison >::Base
Protected Attributes inherited from dart::TemplateComparison< 2, NoThrow, Pure >
EmbeddedArray< Value *, N >	inputs_

Detailed Description

Definition at line 5265 of file il.h.

Constructor & Destructor Documentation

EqualityCompareInstr()

dart::EqualityCompareInstr::EqualityCompareInstr ( const InstructionSource &  source, Token::Kind  kind, Value *  left, Value *  right, intptr_t  cid, intptr_t  deopt_id, bool  null_aware = false, SpeculativeMode  speculative_mode = kGuardInputs  )

inline

Definition at line 5267 of file il.h.

      : TemplateComparison(source, kind, deopt_id),
        null_aware_(null_aware),
        speculative_mode_(speculative_mode) {
    ASSERT(Token::IsEqualityOperator(kind));
    SetInputAt(0, left);
    SetInputAt(1, right);
    set_operation_cid(cid);
  }

Member Function Documentation

AttributesEqual()

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

inlinevirtual

Definition at line 5308 of file il.h.

                                                               {
    return ComparisonInstr::AttributesEqual(other) &&
           (null_aware_ == other.AsEqualityCompare()->null_aware_) &&
           (speculative_mode_ == other.AsEqualityCompare()->speculative_mode_);
  }

Canonicalize()

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

virtual

Definition at line 3736 of file il.cc.

                                                                    {
  if (is_null_aware()) {
    ASSERT(operation_cid() == kMintCid);
    // Select more efficient instructions based on operand types.
    CompileType* left_type = left()->Type();
    CompileType* right_type = right()->Type();
    if (left_type->IsNull() || left_type->IsNullableSmi() ||
        right_type->IsNull() || right_type->IsNullableSmi()) {
      auto replacement = new StrictCompareInstr(
          source(),
          (kind() == Token::kEQ) ? Token::kEQ_STRICT : Token::kNE_STRICT,
          left()->CopyWithType(), right()->CopyWithType(),
          /*needs_number_check=*/false, DeoptId::kNone);
      flow_graph->InsertBefore(this, replacement, env(), FlowGraph::kValue);
      return replacement;
    } else {
      // Null-aware EqualityCompare takes boxed inputs, so make sure
      // unmatched representations are still allowed when converting
      // EqualityCompare to the unboxed instruction.
      if (!left_type->is_nullable() && !right_type->is_nullable() &&
          flow_graph->unmatched_representations_allowed()) {
        set_null_aware(false);
      }
    }
  } else {
    if ((operation_cid() == kMintCid) && IsSingleUseUnboxOrConstant(left()) &&
        IsSingleUseUnboxOrConstant(right()) &&
        (left()->Type()->IsNullableSmi() || right()->Type()->IsNullableSmi()) &&
        flow_graph->unmatched_representations_allowed()) {
      auto replacement = new StrictCompareInstr(
          source(),
          (kind() == Token::kEQ) ? Token::kEQ_STRICT : Token::kNE_STRICT,
          left()->CopyWithType(), right()->CopyWithType(),
          /*needs_number_check=*/false, DeoptId::kNone);
      flow_graph->InsertBefore(this, replacement, env(), FlowGraph::kValue);
      return replacement;
    }
  }
  return this;
}

ComputeCanDeoptimize()

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

inlinevirtual

Definition at line 5290 of file il.h.

{ return false; }

ComputeType()

CompileType dart::EqualityCompareInstr::ComputeType ( ) const

virtual

Definition at line 1425 of file type_propagator.cc.

                                                    {
  // Used for numeric comparisons only.
  return CompileType::Bool();
}

CopyWithNewOperands()

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

virtual

Definition at line 6558 of file il.cc.

                                                                             {
  return new EqualityCompareInstr(source(), kind(), new_left, new_right,
                                  operation_cid(), deopt_id(), is_null_aware(),
                                  speculative_mode_);
}

is_null_aware()

bool dart::EqualityCompareInstr::is_null_aware ( ) const

inline

Definition at line 5292 of file il.h.

{ return null_aware_; }

RequiredInputRepresentation()

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

inlinevirtual

Definition at line 5295 of file il.h.

                                                                         {
    ASSERT((idx == 0) || (idx == 1));
    if (is_null_aware()) return kTagged;
    if (operation_cid() == kDoubleCid) return kUnboxedDouble;
    if (operation_cid() == kMintCid) return kUnboxedInt64;
    if (operation_cid() == kIntegerCid) return kUnboxedUword;
    return kTagged;
  }

set_null_aware()

void dart::EqualityCompareInstr::set_null_aware ( bool  value )

inline

Definition at line 5293 of file il.h.

{ null_aware_ = value; }

SpeculativeModeOfInput()

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

inlinevirtual

Definition at line 5304 of file il.h.

                                                                       {
    return speculative_mode_;
  }

---

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