dart::AssertBooleanInstr Class Reference

#include <il.h>

Inheritance diagram for dart::AssertBooleanInstr:

Public Member Functions
	AssertBooleanInstr (const InstructionSource &source, Value *value, intptr_t deopt_id)
virtual CompileType	ComputeType () const
virtual TokenPosition	token_pos () const
Value *	value () const
virtual bool	ComputeCanDeoptimize () const
virtual bool	ComputeCanDeoptimizeAfterCall () const
virtual intptr_t	NumberOfInputsConsumedBeforeCall () 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

Additional Inherited Members
Public Types inherited from dart::TemplateDefinition< 1, Throws, Pure >
using	BaseClass = typename Pure< Definition, PureDefinition >::Base
Protected Attributes inherited from dart::TemplateDefinition< 1, Throws, Pure >
EmbeddedArray< Value *, N >	inputs_

Detailed Description

Definition at line 4460 of file il.h.

Constructor & Destructor Documentation

AssertBooleanInstr()

dart::AssertBooleanInstr::AssertBooleanInstr ( const InstructionSource &  source, Value *  value, intptr_t  deopt_id  )

inline

Definition at line 4462 of file il.h.

      : TemplateDefinition(source, deopt_id), token_pos_(source.token_pos) {
    SetInputAt(0, value);
  }

Member Function Documentation

AttributesEqual()

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

inlinevirtual

Definition at line 4485 of file il.h.

{ return true; }

Canonicalize()

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

virtual

Definition at line 3048 of file il.cc.

                                                                  {
  if (FLAG_eliminate_type_checks) {
    if (value()->Type()->ToCid() == kBoolCid) {
      return value()->definition();
    }
 
    // In strong mode type is already verified either by static analysis
    // or runtime checks, so AssertBoolean just ensures that value is not null.
    if (!value()->Type()->is_nullable()) {
      return value()->definition();
    }
  }
 
  return this;
}

ComputeCanDeoptimize()

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

inlinevirtual

Definition at line 4475 of file il.h.

{ return false; }

ComputeCanDeoptimizeAfterCall()

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

inlinevirtual

Definition at line 4476 of file il.h.

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

ComputeType()

CompileType dart::AssertBooleanInstr::ComputeType ( ) const

virtual

Definition at line 1393 of file type_propagator.cc.

                                                  {
  return CompileType::Bool();
}

NumberOfInputsConsumedBeforeCall()

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

inlinevirtual

Definition at line 4479 of file il.h.

                                                            {
    return InputCount();
  }

RedefinedValue()

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

virtual

Definition at line 551 of file il.cc.

                                                {
  return value();
}

token_pos()

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

inlinevirtual

Definition at line 4472 of file il.h.

{ return token_pos_; }

value()

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

inline

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