dart::CheckWritableInstr Class Reference

#include <il.h>

Inheritance diagram for dart::CheckWritableInstr:

Public Types
enum	Kind { kWriteUnmodifiableTypedData = 0 , kDeeplyImmutableAttachNativeFinalizer = 1 }
enum	{ kReceiver = 0 }
Public Types inherited from dart::TemplateDefinition< 1, Throws, Pure >
using	BaseClass = typename Pure< Definition, PureDefinition >::Base

Public Member Functions
	CheckWritableInstr (Value *receiver, intptr_t deopt_id, const InstructionSource &source, Kind kind=Kind::kWriteUnmodifiableTypedData)
virtual bool	AttributesEqual (const Instruction &other) const
Value *	value () const
virtual Definition *	Canonicalize (FlowGraph *flow_graph)
virtual Value *	RedefinedValue () const
virtual bool	ComputeCanDeoptimize () const
virtual bool	ComputeCanDeoptimizeAfterCall () const
Kind	kind () 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

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

Detailed Description

Definition at line 10858 of file il.h.

Member Enumeration Documentation

anonymous enum

anonymous enum

Enumerator
kReceiver

Definition at line 10891 of file il.h.

       {
    kReceiver = 0,
  };

Kind

enum dart::CheckWritableInstr::Kind

Enumerator
kWriteUnmodifiableTypedData
kDeeplyImmutableAttachNativeFinalizer

Definition at line 10860 of file il.h.

            {
    kWriteUnmodifiableTypedData = 0,
    kDeeplyImmutableAttachNativeFinalizer = 1,
  };

Constructor & Destructor Documentation

CheckWritableInstr()

dart::CheckWritableInstr::CheckWritableInstr ( Value *  receiver, intptr_t  deopt_id, const InstructionSource &  source, Kind  kind = Kind::kWriteUnmodifiableTypedData  )

inline

Definition at line 10865 of file il.h.

      : TemplateDefinition(source, deopt_id), kind_(kind) {
    SetInputAt(kReceiver, receiver);
  }

Member Function Documentation

AttributesEqual()

virtual bool dart::CheckWritableInstr::AttributesEqual ( const Instruction &  other ) const

inlinevirtual

Definition at line 10873 of file il.h.

{ return true; }

Canonicalize()

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

virtual

Definition at line 6799 of file il.cc.

                                                                  {
  if (kind_ == Kind::kDeeplyImmutableAttachNativeFinalizer) {
    return this;
  }
 
  ASSERT(kind_ == Kind::kWriteUnmodifiableTypedData);
  intptr_t cid = value()->Type()->ToCid();
  if ((cid != kIllegalCid) && (cid != kDynamicCid) &&
      !IsUnmodifiableTypedDataViewClassId(cid)) {
    return value()->definition();
  }
  return this;
}

ComputeCanDeoptimize()

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

inlinevirtual

Definition at line 10883 of file il.h.

{ return false; }

ComputeCanDeoptimizeAfterCall()

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

inlinevirtual

Definition at line 10884 of file il.h.

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

kind()

Kind dart::CheckWritableInstr::kind ( ) const

inline

Definition at line 10888 of file il.h.

{ return kind_; }

RedefinedValue()

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

virtual

Definition at line 559 of file il.cc.

                                                {
  return value();
}

value()

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

inline

Definition at line 10877 of file il.h.

{ return inputs_[kReceiver]; }

---

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