#include <il.h>

Inheritance diagram for dart::ShiftIntegerOpInstr:

Public Member Functions
	ShiftIntegerOpInstr (Token::Kind op_kind, Value left, Value right, intptr_t deopt_id, Range *right_range=nullptr)

Range *	shift_range () const

void	set_shift_range (Range *shift_range)

virtual void	InferRange (RangeAnalysis analysis, Range range)

DECLARE_INSTRUCTION_SERIALIZABLE_FIELDS(ShiftIntegerOpInstr, BinaryIntegerOpInstr, FIELD_LIST) protected bool	IsShiftCountInRange (int64_t max=kShiftCountLimit) 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 9592 of file il.h.

Constructor & Destructor Documentation

◆ ShiftIntegerOpInstr()

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

inline

Definition at line 9594 of file il.h.

      : BinaryIntegerOpInstr(op_kind, left, right, deopt_id),
        shift_range_(right_range) {
    ASSERT((op_kind == Token::kSHL) || (op_kind == Token::kSHR) ||
           (op_kind == Token::kUSHR));
    mark_truncating();
  }

Member Function Documentation

◆ InferRange()

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

virtual

Reimplemented from dart::BinaryIntegerOpInstr.

Definition at line 3055 of file range_analysis.cc.

                                                                          {
  const Range* right_range = RequiredInputRepresentation(1) == kTagged
                                 ? analysis->GetSmiRange(right())
                                 : right()->definition()->range();
  CacheRange(&shift_range_, right()->definition()->range(),
             RangeBoundary::kRangeBoundaryInt64);
  InferRangeHelper(left()->definition()->range(), right_range, range);
}

◆ IsShiftCountInRange()

bool dart::ShiftIntegerOpInstr::IsShiftCountInRange ( int64_t max = kShiftCountLimit ) const

Definition at line 2103 of file il.cc.

                                                               {
  return RangeUtils::IsWithin(shift_range(), 0, max);
}

◆ set_shift_range()

void dart::ShiftIntegerOpInstr::set_shift_range ( Range * shift_range )

inline

Definition at line 9610 of file il.h.

9610{ shift_range_ = shift_range; }

◆ shift_range()

Range * dart::ShiftIntegerOpInstr::shift_range ( ) const

inline

Definition at line 9607 of file il.h.

9607{ return shift_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

Public Member Functions

Additional Inherited Members

Detailed Description

Constructor & Destructor Documentation

◆ ShiftIntegerOpInstr()

Member Function Documentation

◆ InferRange()

◆ IsShiftCountInRange()

◆ set_shift_range()

◆ shift_range()