dart::AssertSubtypeInstr Class Reference

#include <il.h>

Inheritance diagram for dart::AssertSubtypeInstr:

Public Types
enum	{   kInstantiatorTAVPos = 0 , kFunctionTAVPos = 1 , kSubTypePos = 2 , kSuperTypePos = 3 ,   kDstNamePos = 4 }
Public Types inherited from dart::TemplateInstruction< 5, Throws, Pure >
using	BaseClass = typename Pure< Instruction, PureInstruction >::Base

Public Member Functions
	AssertSubtypeInstr (const InstructionSource &source, Value *instantiator_type_arguments, Value *function_type_arguments, Value *sub_type, Value *super_type, Value *dst_name, intptr_t deopt_id)
	DECLARE_INSTRUCTION (AssertSubtype)
Value *	instantiator_type_arguments () const
Value *	function_type_arguments () const
Value *	sub_type () const
Value *	super_type () const
Value *	dst_name () const
virtual TokenPosition	token_pos () const
virtual bool	ComputeCanDeoptimize () const
virtual bool	ComputeCanDeoptimizeAfterCall () const
virtual intptr_t	NumberOfInputsConsumedBeforeCall () const
virtual bool	CanBecomeDeoptimizationTarget () const
virtual Instruction *	Canonicalize (FlowGraph *flow_graph)
virtual bool	AttributesEqual (const Instruction &other) const
Public Member Functions inherited from dart::TemplateInstruction< 5, Throws, Pure >
	TemplateInstruction (intptr_t deopt_id=DeoptId::kNone)
	TemplateInstruction (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::TemplateInstruction< 5, Throws, Pure >
EmbeddedArray< Value *, N >	inputs_

Detailed Description

Definition at line 4292 of file il.h.

Member Enumeration Documentation

anonymous enum

anonymous enum

Enumerator
kInstantiatorTAVPos
kFunctionTAVPos
kSubTypePos
kSuperTypePos
kDstNamePos

Definition at line 4294 of file il.h.

       {
    kInstantiatorTAVPos = 0,
    kFunctionTAVPos = 1,
    kSubTypePos = 2,
    kSuperTypePos = 3,
    kDstNamePos = 4,
  };

Constructor & Destructor Documentation

AssertSubtypeInstr()

dart::AssertSubtypeInstr::AssertSubtypeInstr ( const InstructionSource &  source, Value *  instantiator_type_arguments, Value *  function_type_arguments, Value *  sub_type, Value *  super_type, Value *  dst_name, intptr_t  deopt_id  )

inline

Definition at line 4302 of file il.h.

      : TemplateInstruction(source, deopt_id), token_pos_(source.token_pos) {
    SetInputAt(kInstantiatorTAVPos, instantiator_type_arguments);
    SetInputAt(kFunctionTAVPos, function_type_arguments);
    SetInputAt(kSubTypePos, sub_type);
    SetInputAt(kSuperTypePos, super_type);
    SetInputAt(kDstNamePos, dst_name);
  }

Member Function Documentation

AttributesEqual()

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

inlinevirtual

Definition at line 4341 of file il.h.

{ return true; }

CanBecomeDeoptimizationTarget()

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

inlinevirtual

Definition at line 4337 of file il.h.

{ return true; }

Canonicalize()

Instruction * dart::AssertSubtypeInstr::Canonicalize ( FlowGraph *  flow_graph )

virtual

Definition at line 1062 of file il.cc.

                                                                   {
  // If all inputs needed to check instantiation are constant, instantiate the
  // sub and super type and remove the instruction if the subtype test succeeds.
  if (super_type()->BindsToConstant() && sub_type()->BindsToConstant() &&
      instantiator_type_arguments()->BindsToConstant() &&
      function_type_arguments()->BindsToConstant()) {
    auto Z = Thread::Current()->zone();
    const auto& constant_instantiator_type_args =
        instantiator_type_arguments()->BoundConstant().IsNull()
            ? TypeArguments::null_type_arguments()
            : TypeArguments::Cast(
                  instantiator_type_arguments()->BoundConstant());
    const auto& constant_function_type_args =
        function_type_arguments()->BoundConstant().IsNull()
            ? TypeArguments::null_type_arguments()
            : TypeArguments::Cast(function_type_arguments()->BoundConstant());
    auto& constant_sub_type = AbstractType::Handle(
        Z, AbstractType::Cast(sub_type()->BoundConstant()).ptr());
    auto& constant_super_type = AbstractType::Handle(
        Z, AbstractType::Cast(super_type()->BoundConstant()).ptr());
 
    if (AbstractType::InstantiateAndTestSubtype(
            &constant_sub_type, &constant_super_type,
            constant_instantiator_type_args, constant_function_type_args)) {
      return nullptr;
    }
  }
  return this;
}

ComputeCanDeoptimize()

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

inlinevirtual

Definition at line 4329 of file il.h.

{ return false; }

ComputeCanDeoptimizeAfterCall()

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

inlinevirtual

Definition at line 4330 of file il.h.

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

DECLARE_INSTRUCTION()

dart::AssertSubtypeInstr::DECLARE_INSTRUCTION

(

AssertSubtype

)

dst_name()

Value * dart::AssertSubtypeInstr::dst_name ( ) const

inline

Definition at line 4325 of file il.h.

{ return inputs_[kDstNamePos]; }

function_type_arguments()

Value * dart::AssertSubtypeInstr::function_type_arguments ( ) const

inline

Definition at line 4322 of file il.h.

{ return inputs_[kFunctionTAVPos]; }

instantiator_type_arguments()

Value * dart::AssertSubtypeInstr::instantiator_type_arguments ( ) const

inline

Definition at line 4319 of file il.h.

                                             {
    return inputs_[kInstantiatorTAVPos];
  }

NumberOfInputsConsumedBeforeCall()

virtual intptr_t dart::AssertSubtypeInstr::NumberOfInputsConsumedBeforeCall ( ) const

inlinevirtual

Definition at line 4333 of file il.h.

                                                            {
    return InputCount();
  }

sub_type()

Value * dart::AssertSubtypeInstr::sub_type ( ) const

inline

Definition at line 4323 of file il.h.

{ return inputs_[kSubTypePos]; }

super_type()

Value * dart::AssertSubtypeInstr::super_type ( ) const

inline

Definition at line 4324 of file il.h.

{ return inputs_[kSuperTypePos]; }

token_pos()

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

inlinevirtual

Definition at line 4327 of file il.h.

{ return token_pos_; }

---

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