#include <il.h>

Inheritance diagram for dart::BinaryInt32OpInstr:

Public Member Functions
	BinaryInt32OpInstr (Token::Kind op_kind, Value left, Value right, intptr_t deopt_id)

virtual bool	ComputeCanDeoptimize () const

virtual Representation	representation () const

virtual Representation	RequiredInputRepresentation (intptr_t idx) 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

virtual void	InferRange (RangeAnalysis analysis, Range range)

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

Static Public Member Functions
static bool	IsSupported (Token::Kind op_kind, Value left, Value right)

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)

Additional Inherited Members
Public Types inherited from dart::TemplateDefinition< 2, NoThrow, Pure >
using	BaseClass = typename Pure< Definition, PureDefinition >::Base

Protected Attributes inherited from dart::TemplateDefinition< 2, NoThrow, Pure >
EmbeddedArray< Value *, N >	inputs_

Detailed Description

Definition at line 9438 of file il.h.

Constructor & Destructor Documentation

◆ BinaryInt32OpInstr()

dart::BinaryInt32OpInstr::BinaryInt32OpInstr	(	Token::Kind	op_kind,
		Value *	left,
		Value *	right,
		intptr_t	deopt_id
	)

inline

Definition at line 9440 of file il.h.

      : BinaryIntegerOpInstr(op_kind, left, right, deopt_id) {
    SetInputAt(0, left);
    SetInputAt(1, right);
  }

Member Function Documentation

◆ ComputeCanDeoptimize()

bool dart::BinaryInt32OpInstr::ComputeCanDeoptimize ( ) const

virtual

Definition at line 2052 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 false;
 
    case Token::kUSHR:
    case Token::kSHL:
      // Currently only shifts by in range constant are supported, see
      // BinaryInt32OpInstr::IsSupported.
      return can_overflow();
 
    case Token::kMOD: {
      UNREACHABLE();
    }
 
    default:
      return can_overflow();
  }
}

◆ IsSupported()

static bool dart::BinaryInt32OpInstr::IsSupported	(	Token::Kind	op_kind,
		Value *	left,
		Value *	right
	)

inlinestatic

Definition at line 9449 of file il.h.

                                                                        {
#if defined(TARGET_ARCH_IS_32_BIT)
    switch (op_kind) {
      case Token::kADD:
      case Token::kSUB:
      case Token::kMUL:
      case Token::kBIT_AND:
      case Token::kBIT_OR:
      case Token::kBIT_XOR:
        return true;
 
      case Token::kSHL:
      case Token::kSHR:
      case Token::kUSHR:
        if (right->BindsToConstant() && right->BoundConstant().IsSmi()) {
          const intptr_t value = Smi::Cast(right->BoundConstant()).Value();
          return 0 <= value && value < kBitsPerWord;
        }
        return false;
 
      default:
        return false;
    }
#else
    return false;
#endif
  }

◆ representation()

virtual Representation dart::BinaryInt32OpInstr::representation ( ) const

inlinevirtual

Definition at line 9479 of file il.h.

9479{ return kUnboxedInt32; }

◆ RequiredInputRepresentation()

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

inlinevirtual

Definition at line 9481 of file il.h.

                                                                         {
    ASSERT((idx == 0) || (idx == 1));
    return kUnboxedInt32;
  }

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

Public Member Functions

Static Public Member Functions

Additional Inherited Members