dart::TestCidsInstr Class Reference

#include <il.h>

Inheritance diagram for dart::TestCidsInstr:

Public Member Functions
	TestCidsInstr (const InstructionSource &source, Token::Kind kind, Value *value, const ZoneGrowableArray< intptr_t > &cid_results, intptr_t deopt_id)
const ZoneGrowableArray< intptr_t > &	cid_results () const
	DECLARE_COMPARISON_INSTRUCTION (TestCids)
virtual ComparisonInstr *	CopyWithNewOperands (Value *left, Value *right)
virtual CompileType	ComputeType () const
virtual Definition *	Canonicalize (FlowGraph *flow_graph)
virtual bool	ComputeCanDeoptimize () const
Value *	value () const
virtual Representation	RequiredInputRepresentation (intptr_t idx) const
virtual bool	AttributesEqual (const Instruction &other) const
Public Member Functions inherited from dart::TemplateComparison< 1, 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< 1, NoThrow, Pure >
using	BaseClass = typename Pure< ComparisonInstr, PureComparison >::Base
Protected Attributes inherited from dart::TemplateComparison< 1, NoThrow, Pure >
EmbeddedArray< Value *, N >	inputs_

Detailed Description

Definition at line 5177 of file il.h.

Constructor & Destructor Documentation

TestCidsInstr()

dart::TestCidsInstr::TestCidsInstr	(	const InstructionSource &	source,
		Token::Kind	kind,
		Value *	value,
		const ZoneGrowableArray< intptr_t > &	cid_results,
		intptr_t	deopt_id
	)

Definition at line 3833 of file il.cc.

    : TemplateComparison(source, kind, deopt_id), cid_results_(cid_results) {
  ASSERT((kind == Token::kIS) || (kind == Token::kISNOT));
  SetInputAt(0, value);
  set_operation_cid(kObjectCid);
#ifdef DEBUG
  ASSERT(cid_results[0] == kSmiCid);
  if (deopt_id == DeoptId::kNone) {
    // The entry for Smi can be special, but all other entries have
    // to match in the no-deopt case.
    for (intptr_t i = 4; i < cid_results.length(); i += 2) {
      ASSERT(cid_results[i + 1] == cid_results[3]);
    }
  }
#endif
}

Member Function Documentation

AttributesEqual()

bool dart::TestCidsInstr::AttributesEqual ( const Instruction &  other ) const

virtual

Definition at line 6595 of file il.cc.

                                                                  {
  auto const other_instr = other.AsTestCids();
  if (!ComparisonInstr::AttributesEqual(other)) {
    return false;
  }
  if (cid_results().length() != other_instr->cid_results().length()) {
    return false;
  }
  for (intptr_t i = 0; i < cid_results().length(); i++) {
    if (cid_results()[i] != other_instr->cid_results()[i]) {
      return false;
    }
  }
  return true;
}

Canonicalize()

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

virtual

Definition at line 3854 of file il.cc.

                                                             {
  CompileType* in_type = value()->Type();
  intptr_t cid = in_type->ToCid();
  if (cid == kDynamicCid) return this;
 
  const ZoneGrowableArray<intptr_t>& data = cid_results();
  const intptr_t true_result = (kind() == Token::kIS) ? 1 : 0;
  for (intptr_t i = 0; i < data.length(); i += 2) {
    if (data[i] == cid) {
      return (data[i + 1] == true_result)
                 ? flow_graph->GetConstant(Bool::True())
                 : flow_graph->GetConstant(Bool::False());
    }
  }
 
  if (!CanDeoptimize()) {
    ASSERT(deopt_id() == DeoptId::kNone);
    return (data[data.length() - 1] == true_result)
               ? flow_graph->GetConstant(Bool::False())
               : flow_graph->GetConstant(Bool::True());
  }
 
  // TODO(sra): Handle nullable input, possibly canonicalizing to a compare
  // against `null`.
  return this;
}

cid_results()

const ZoneGrowableArray< intptr_t > & dart::TestCidsInstr::cid_results ( ) const

inline

Definition at line 5185 of file il.h.

                                                         {
    return cid_results_;
  }

ComputeCanDeoptimize()

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

inlinevirtual

Definition at line 5197 of file il.h.

                                            {
    return GetDeoptId() != DeoptId::kNone;
  }

ComputeType()

CompileType dart::TestCidsInstr::ComputeType ( ) const

virtual

Definition at line 1417 of file type_propagator.cc.

                                             {
  return CompileType::Bool();
}

CopyWithNewOperands()

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

virtual

Definition at line 6583 of file il.cc.

                                                                      {
  return new TestCidsInstr(source(), kind(), new_left, cid_results(),
                           deopt_id());
}

DECLARE_COMPARISON_INSTRUCTION()

dart::TestCidsInstr::DECLARE_COMPARISON_INSTRUCTION

(

TestCids

)

RequiredInputRepresentation()

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

inlinevirtual

Definition at line 5202 of file il.h.

                                                                         {
    return kTagged;
  }

value()

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

inline

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