dart::StrictCompareInstr Class Reference

#include <il.h>

Inheritance diagram for dart::StrictCompareInstr:

Public Member Functions
	StrictCompareInstr (const InstructionSource &source, Token::Kind kind, Value *left, Value *right, bool needs_number_check, intptr_t deopt_id)
virtual ComparisonInstr *	CopyWithNewOperands (Value *left, Value *right)
virtual CompileType	ComputeType () const
virtual bool	ComputeCanDeoptimize () const
virtual Definition *	Canonicalize (FlowGraph *flow_graph)
bool	needs_number_check () const
void	set_needs_number_check (bool value)
bool	AttributesEqual (const Instruction &other) const
DECLARE_INSTRUCTION_SERIALIZABLE_FIELDS(StrictCompareInstr, TemplateComparison, FIELD_LIST) private bool	TryEmitBoolTest (FlowGraphCompiler *compiler, BranchLabels labels, intptr_t input_index, const Object &obj, Condition *condition_out)
	DISALLOW_COPY_AND_ASSIGN (StrictCompareInstr)
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

Public Attributes
	PRINT_OPERANDS_TO_SUPPORT

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

Constructor & Destructor Documentation

StrictCompareInstr()

dart::StrictCompareInstr::StrictCompareInstr	(	const InstructionSource &	source,
		Token::Kind	kind,
		Value *	left,
		Value *	right,
		bool	needs_number_check,
		intptr_t	deopt_id
	)

Definition at line 5030 of file il.cc.

    : TemplateComparison(source, kind, deopt_id),
      needs_number_check_(needs_number_check) {
  ASSERT((kind == Token::kEQ_STRICT) || (kind == Token::kNE_STRICT));
  SetInputAt(0, left);
  SetInputAt(1, right);
}

Member Function Documentation

AttributesEqual()

bool dart::StrictCompareInstr::AttributesEqual

(

const Instruction &

other

)

const

Definition at line 1092 of file il.cc.

                                                                       {
  auto const other_op = other.AsStrictCompare();
  ASSERT(other_op != nullptr);
  return ComparisonInstr::AttributesEqual(other) &&
         (needs_number_check() == other_op->needs_number_check());
}

Canonicalize()

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

virtual

Definition at line 3718 of file il.cc.

                                                                  {
  if (!HasUses()) return nullptr;
 
  bool negated = false;
  Definition* replacement = CanonicalizeStrictCompare(this, &negated,
                                                      /*is_branch=*/false);
  if (negated && replacement->IsComparison()) {
    ASSERT(replacement != this);
    replacement->AsComparison()->NegateComparison();
  }
  return replacement;
}

ComputeCanDeoptimize()

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

inlinevirtual

Definition at line 5103 of file il.h.

{ return false; }

ComputeType()

CompileType dart::StrictCompareInstr::ComputeType ( ) const

virtual

Definition at line 1409 of file type_propagator.cc.

                                                  {
  return CompileType::Bool();
}

CopyWithNewOperands()

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

virtual

Definition at line 6572 of file il.cc.

                                                                           {
  return new StrictCompareInstr(source(), kind(), new_left, new_right,
                                needs_number_check(), DeoptId::kNone);
}

DISALLOW_COPY_AND_ASSIGN()

dart::StrictCompareInstr::DISALLOW_COPY_AND_ASSIGN

(

StrictCompareInstr

)

needs_number_check()

bool dart::StrictCompareInstr::needs_number_check ( ) const

inline

Definition at line 5107 of file il.h.

{ return needs_number_check_; }

set_needs_number_check()

void dart::StrictCompareInstr::set_needs_number_check ( bool  value )

inline

Definition at line 5108 of file il.h.

{ needs_number_check_ = value; }

TryEmitBoolTest()

bool dart::StrictCompareInstr::TryEmitBoolTest	(	FlowGraphCompiler *	compiler,
		BranchLabels	labels,
		intptr_t	input_index,
		const Object &	obj,
		Condition *	condition_out
	)

Definition at line 5072 of file il.cc.

                                                                        {
  CompileType* input_type = InputAt(input_index)->Type();
  if (input_type->ToCid() == kBoolCid && obj.GetClassId() == kBoolCid) {
    bool invert = (kind() != Token::kEQ_STRICT) ^ !Bool::Cast(obj).value();
    *true_condition_out =
        compiler->EmitBoolTest(locs()->in(input_index).reg(), labels, invert);
    return true;
  }
  return false;
}

Member Data Documentation

PRINT_OPERANDS_TO_SUPPORT

dart::StrictCompareInstr::PRINT_OPERANDS_TO_SUPPORT

Definition at line 5112 of file il.h.

---

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