dart::CheckNullInstr Class Reference

#include <il.h>

Inheritance diagram for dart::CheckNullInstr:

Public Types
enum	ExceptionType { kNoSuchMethod , kArgumentError , kCastError }
Public Types inherited from dart::TemplateDefinition< 1, Throws, Pure >
using	BaseClass = typename Pure< Definition, PureDefinition >::Base

Public Member Functions
	CheckNullInstr (Value *value, const String &function_name, intptr_t deopt_id, const InstructionSource &source, ExceptionType exception_type=kNoSuchMethod)
Value *	value () const
virtual TokenPosition	token_pos () const
const String &	function_name () const
ExceptionType	exception_type () const
virtual bool	UseSharedSlowPathStub (bool is_optimizing) const
virtual CompileType	ComputeType () const
virtual bool	RecomputeType ()
virtual bool	ComputeCanDeoptimize () const
virtual bool	ComputeCanDeoptimizeAfterCall () const
virtual bool	CanBecomeDeoptimizationTarget () const
virtual Definition *	Canonicalize (FlowGraph *flow_graph)
virtual bool	AttributesEqual (const Instruction &other) const
virtual Value *	RedefinedValue () const
Public Member Functions inherited from dart::TemplateDefinition< 1, Throws, 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 void	AddMetadataForRuntimeCall (CheckNullInstr *check_null, FlowGraphCompiler *compiler)

Additional Inherited Members
Protected Attributes inherited from dart::TemplateDefinition< 1, Throws, Pure >
EmbeddedArray< Value *, N >	inputs_

Detailed Description

Definition at line 10625 of file il.h.

Member Enumeration Documentation

ExceptionType

enum dart::CheckNullInstr::ExceptionType

Enumerator
kNoSuchMethod
kArgumentError
kCastError

Definition at line 10627 of file il.h.

                     {
    kNoSuchMethod,
    kArgumentError,
    kCastError,
  };

Constructor & Destructor Documentation

CheckNullInstr()

dart::CheckNullInstr::CheckNullInstr ( Value *  value, const String &  function_name, intptr_t  deopt_id, const InstructionSource &  source, ExceptionType  exception_type = kNoSuchMethod  )

inline

Definition at line 10633 of file il.h.

      : TemplateDefinition(source, deopt_id),
        token_pos_(source.token_pos),
        function_name_(function_name),
        exception_type_(exception_type) {
    DEBUG_ASSERT(function_name.IsNotTemporaryScopedHandle());
    ASSERT(function_name.IsSymbol());
    SetInputAt(0, value);
  }

Member Function Documentation

AddMetadataForRuntimeCall()

void dart::CheckNullInstr::AddMetadataForRuntimeCall ( CheckNullInstr *  check_null, FlowGraphCompiler *  compiler  )

static

Definition at line 6286 of file il.cc.

                                                                            {
  compiler->AddNullCheck(check_null->source(), check_null->function_name());
}

AttributesEqual()

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

virtual

Definition at line 4002 of file il.cc.

                                                                   {
  auto const other_check = other.AsCheckNull();
  ASSERT(other_check != nullptr);
  return function_name().Equals(other_check->function_name()) &&
         exception_type() == other_check->exception_type();
}

CanBecomeDeoptimizationTarget()

virtual bool dart::CheckNullInstr::CanBecomeDeoptimizationTarget ( ) const

inlinevirtual

Definition at line 10667 of file il.h.

{ return true; }

Canonicalize()

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

virtual

Definition at line 3998 of file il.cc.

                                                              {
  return (!value()->Type()->is_nullable()) ? value()->definition() : this;
}

ComputeCanDeoptimize()

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

inlinevirtual

Definition at line 10663 of file il.h.

{ return false; }

ComputeCanDeoptimizeAfterCall()

virtual bool dart::CheckNullInstr::ComputeCanDeoptimizeAfterCall ( ) const

inlinevirtual

Definition at line 10664 of file il.h.

                                                     {
    return !CompilerState::Current().is_aot();
  }

ComputeType()

CompileType dart::CheckNullInstr::ComputeType ( ) const

virtual

Definition at line 1160 of file type_propagator.cc.

                                              {
  CompileType* type = value()->Type();
  if (type->is_nullable()) {
    CompileType result = type->CopyNonNullable();
    if (!result.IsNone()) {
      return result;
    }
  }
  return *type;
}

exception_type()

ExceptionType dart::CheckNullInstr::exception_type ( ) const

inline

Definition at line 10650 of file il.h.

{ return exception_type_; }

function_name()

const String & dart::CheckNullInstr::function_name ( ) const

inline

Definition at line 10649 of file il.h.

{ return function_name_; }

RecomputeType()

bool dart::CheckNullInstr::RecomputeType ( )

virtual

Definition at line 1171 of file type_propagator.cc.

                                   {
  return UpdateType(ComputeType());
}

RedefinedValue()

Value * dart::CheckNullInstr::RedefinedValue ( ) const

virtual

Definition at line 563 of file il.cc.

                                            {
  return value();
}

token_pos()

virtual TokenPosition dart::CheckNullInstr::token_pos ( ) const

inlinevirtual

Definition at line 10648 of file il.h.

{ return token_pos_; }

UseSharedSlowPathStub()

virtual bool dart::CheckNullInstr::UseSharedSlowPathStub ( bool  is_optimizing ) const

inlinevirtual

Definition at line 10652 of file il.h.

                                                               {
    return SlowPathSharingSupported(is_optimizing);
  }

value()

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

inline

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