dart::BinarySmiOpInstr Class Reference

#include <il.h>

Inheritance diagram for dart::BinarySmiOpInstr:

Public Member Functions
	BinarySmiOpInstr (Token::Kind op_kind, Value *left, Value *right, intptr_t deopt_id, Range *right_range=nullptr)
virtual bool	ComputeCanDeoptimize () const
virtual void	InferRange (RangeAnalysis *analysis, Range *range)
virtual CompileType	ComputeType () const
Range *	right_range () const
Public Member Functions inherited from dart::BinaryIntegerOpInstr
	BinaryIntegerOpInstr (Token::Kind op_kind, Value *left, Value *right, intptr_t deopt_id)
Token::Kind	op_kind () const
Value *	left () const
Value *	right () const
bool	can_overflow () const
void	set_can_overflow (bool overflow)
bool	is_truncating () const
void	mark_truncating ()
bool	RightIsNonZero () const
bool	RightIsPowerOfTwoConstant () const
virtual Definition *	Canonicalize (FlowGraph *flow_graph)
virtual bool	AttributesEqual (const Instruction &other) const
virtual intptr_t	DeoptimizationTarget () const
Public Member Functions inherited from dart::TemplateDefinition< 2, 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

Additional Inherited Members
Public Types inherited from dart::TemplateDefinition< 2, NoThrow, Pure >
using	BaseClass = typename Pure< Definition, PureDefinition >::Base
Static Public Member Functions inherited from dart::BinaryIntegerOpInstr
static BinaryIntegerOpInstr *	Make (Representation representation, Token::Kind op_kind, Value *left, Value *right, intptr_t deopt_id, SpeculativeMode speculative_mode=kGuardInputs)
static BinaryIntegerOpInstr *	Make (Representation representation, Token::Kind op_kind, Value *left, Value *right, intptr_t deopt_id, bool can_overflow, bool is_truncating, Range *range, SpeculativeMode speculative_mode=kGuardInputs)
Protected Attributes inherited from dart::TemplateDefinition< 2, NoThrow, Pure >
EmbeddedArray< Value *, N >	inputs_

Detailed Description

Definition at line 9407 of file il.h.

Constructor & Destructor Documentation

BinarySmiOpInstr()

dart::BinarySmiOpInstr::BinarySmiOpInstr ( Token::Kind  op_kind, Value *  left, Value *  right, intptr_t  deopt_id, Range *  right_range = nullptr  )

inline

Definition at line 9409 of file il.h.

      : BinaryIntegerOpInstr(op_kind, left, right, deopt_id),
        right_range_(right_range) {}

Member Function Documentation

ComputeCanDeoptimize()

bool dart::BinarySmiOpInstr::ComputeCanDeoptimize ( ) const

virtual

Definition at line 2077 of file il.cc.

                                                  {
  switch (op_kind()) {
    case Token::kBIT_AND:
    case Token::kBIT_OR:
    case Token::kBIT_XOR:
      return false;
 
    case Token::kSHR:
      return !RangeUtils::IsPositive(right_range());
 
    case Token::kUSHR:
    case Token::kSHL:
      return can_overflow() || !RangeUtils::IsPositive(right_range());
 
    case Token::kMOD:
      return RangeUtils::CanBeZero(right_range());
 
    case Token::kTRUNCDIV:
      return RangeUtils::CanBeZero(right_range()) ||
             RangeUtils::Overlaps(right_range(), -1, -1);
 
    default:
      return can_overflow();
  }
}

ComputeType()

CompileType dart::BinarySmiOpInstr::ComputeType ( ) const

virtual

Definition at line 1750 of file type_propagator.cc.

                                                {
  return CompileType::FromCid(kSmiCid);
}

InferRange()

void dart::BinarySmiOpInstr::InferRange ( RangeAnalysis *  analysis, Range *  range  )

virtual

Reimplemented from dart::BinaryIntegerOpInstr.

Definition at line 3043 of file range_analysis.cc.

                                                                       {
  const Range* right_smi_range = analysis->GetSmiRange(right());
  // TODO(vegorov) completely remove this once GetSmiRange is eliminated.
  if (op_kind() == Token::kSHL || op_kind() == Token::kSHR ||
      op_kind() == Token::kUSHR || op_kind() == Token::kMOD ||
      op_kind() == Token::kTRUNCDIV) {
    CacheRange(&right_range_, right_smi_range,
               RangeBoundary::kRangeBoundarySmi);
  }
  InferRangeHelper(analysis->GetSmiRange(left()), right_smi_range, range);
}

right_range()

Range * dart::BinarySmiOpInstr::right_range ( ) const

inline

Definition at line 9425 of file il.h.

{ return right_range_; }

---

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/range_analysis.cc
• third_party/dart-lang/sdk/runtime/vm/compiler/backend/type_propagator.cc