dart::FlowGraphTypePropagator Class Reference

#include <type_propagator.h>

Inheritance diagram for dart::FlowGraphTypePropagator:

Static Public Member Functions
static void	Propagate (FlowGraph *flow_graph)

Private Member Functions
virtual void	VisitJoinEntry (JoinEntryInstr *instr)
virtual void	VisitCheckSmi (CheckSmiInstr *instr)
virtual void	VisitCheckArrayBound (CheckArrayBoundInstr *instr)
virtual void	VisitCheckClass (CheckClassInstr *instr)
virtual void	VisitCheckClassId (CheckClassIdInstr *instr)
virtual void	VisitCheckNull (CheckNullInstr *instr)
virtual void	VisitGuardFieldClass (GuardFieldClassInstr *instr)
virtual void	VisitAssertAssignable (AssertAssignableInstr *instr)
virtual void	VisitAssertBoolean (AssertBooleanInstr *instr)
virtual void	VisitAssertSubtype (AssertSubtypeInstr *instr)
virtual void	VisitInstanceCall (InstanceCallInstr *instr)
virtual void	VisitPolymorphicInstanceCall (PolymorphicInstanceCallInstr *instr)
virtual void	VisitBranch (BranchInstr *instr)

Additional Inherited Members
Public Member Functions inherited from dart::FlowGraphVisitor
	FlowGraphVisitor (const GrowableArray< BlockEntryInstr * > &block_order)
virtual	~FlowGraphVisitor ()
ForwardInstructionIterator *	current_iterator () const
virtual void	VisitBlocks ()
Public Member Functions inherited from dart::InstructionVisitor
	InstructionVisitor ()
virtual	~InstructionVisitor ()
Public Member Functions inherited from dart::ValueObject
	ValueObject ()
	~ValueObject ()
Protected Member Functions inherited from dart::FlowGraphVisitor
void	set_block_order (const GrowableArray< BlockEntryInstr * > &block_order)
Protected Attributes inherited from dart::FlowGraphVisitor
ForwardInstructionIterator *	current_iterator_

Detailed Description

Definition at line 17 of file type_propagator.h.

Member Function Documentation

Propagate()

void dart::FlowGraphTypePropagator::Propagate ( FlowGraph *  flow_graph )

static

Definition at line 41 of file type_propagator.cc.

                                                             {
  TIMELINE_DURATION(flow_graph->thread(), CompilerVerbose,
                    "FlowGraphTypePropagator");
  FlowGraphTypePropagator propagator(flow_graph);
  propagator.Propagate();
}

VisitAssertAssignable()

void dart::FlowGraphTypePropagator::VisitAssertAssignable ( AssertAssignableInstr *  instr )

privatevirtual

Definition at line 368 of file type_propagator.cc.

                                  {
  auto defn = check->value()->definition();
  SetTypeOf(defn, new (zone()) CompileType(check->ComputeType()));
  if (check->ssa_temp_index() == -1) {
    flow_graph_->AllocateSSAIndex(check);
    GrowTypes(check->ssa_temp_index() + 1);
  }
  FlowGraph::RenameDominatedUses(defn, check, check);
}

VisitAssertBoolean()

void dart::FlowGraphTypePropagator::VisitAssertBoolean ( AssertBooleanInstr *  instr )

privatevirtual

Definition at line 379 of file type_propagator.cc.

                                                                          {
  SetTypeOf(instr->value()->definition(),
            new (zone()) CompileType(CompileType::Bool()));
}

VisitAssertSubtype()

void dart::FlowGraphTypePropagator::VisitAssertSubtype ( AssertSubtypeInstr *  instr )

privatevirtual

Definition at line 384 of file type_propagator.cc.

{}

VisitBranch()

void dart::FlowGraphTypePropagator::VisitBranch ( BranchInstr *  instr )

privatevirtual

Definition at line 386 of file type_propagator.cc.

                                                            {
  StrictCompareInstr* comparison = instr->comparison()->AsStrictCompare();
  if (comparison == nullptr) return;
  bool negated = comparison->kind() == Token::kNE_STRICT;
  LoadClassIdInstr* load_cid =
      comparison->InputAt(0)->definition()->AsLoadClassId();
  InstanceCallInstr* call =
      comparison->InputAt(0)->definition()->AsInstanceCall();
  InstanceOfInstr* instance_of =
      comparison->InputAt(0)->definition()->AsInstanceOf();
  bool is_simple_instance_of =
      (call != nullptr) && call->MatchesCoreName(Symbols::_simpleInstanceOf());
  if (load_cid != nullptr && comparison->InputAt(1)->BindsToConstant()) {
    intptr_t cid = Smi::Cast(comparison->InputAt(1)->BoundConstant()).Value();
    BlockEntryInstr* true_successor =
        negated ? instr->false_successor() : instr->true_successor();
    EnsureMoreAccurateRedefinition(true_successor,
                                   load_cid->object()->definition(),
                                   CompileType::FromCid(cid));
  } else if ((is_simple_instance_of || (instance_of != nullptr)) &&
             comparison->InputAt(1)->BindsToConstant() &&
             comparison->InputAt(1)->BoundConstant().IsBool()) {
    if (comparison->InputAt(1)->BoundConstant().ptr() == Bool::False().ptr()) {
      negated = !negated;
    }
    BlockEntryInstr* true_successor =
        negated ? instr->false_successor() : instr->true_successor();
    const AbstractType* type = nullptr;
    Definition* left = nullptr;
    if (is_simple_instance_of) {
      ASSERT(call->ArgumentAt(1)->IsConstant());
      const Object& type_obj = call->ArgumentAt(1)->AsConstant()->value();
      if (!type_obj.IsType()) {
        return;
      }
      type = &Type::Cast(type_obj);
      left = call->ArgumentAt(0);
    } else {
      type = &(instance_of->type());
      left = instance_of->value()->definition();
    }
    if (!type->IsTopTypeForInstanceOf()) {
      const bool is_nullable = (type->IsNullable() || type->IsTypeParameter() ||
                                (type->IsNeverType() && type->IsLegacy()))
                                   ? CompileType::kCanBeNull
                                   : CompileType::kCannotBeNull;
      EnsureMoreAccurateRedefinition(
          true_successor, left,
          CompileType::FromAbstractType(*type, is_nullable,
                                        CompileType::kCannotBeSentinel));
    }
  } else if (comparison->InputAt(0)->BindsToConstant() &&
             comparison->InputAt(0)->BoundConstant().IsNull()) {
    // Handle for expr != null.
    BlockEntryInstr* true_successor =
        negated ? instr->true_successor() : instr->false_successor();
    EnsureMoreAccurateRedefinition(
        true_successor, comparison->InputAt(1)->definition(),
        comparison->InputAt(1)->Type()->CopyNonNullable());
 
  } else if (comparison->InputAt(1)->BindsToConstant() &&
             comparison->InputAt(1)->BoundConstant().IsNull()) {
    // Handle for null != expr.
    BlockEntryInstr* true_successor =
        negated ? instr->true_successor() : instr->false_successor();
    EnsureMoreAccurateRedefinition(
        true_successor, comparison->InputAt(0)->definition(),
        comparison->InputAt(0)->Type()->CopyNonNullable());
  } else if (comparison->InputAt(0)->BindsToConstant() &&
             comparison->InputAt(0)->BoundConstant().ptr() ==
                 Object::sentinel().ptr()) {
    // Handle for expr != sentinel.
    BlockEntryInstr* true_successor =
        negated ? instr->true_successor() : instr->false_successor();
    EnsureMoreAccurateRedefinition(
        true_successor, comparison->InputAt(1)->definition(),
        comparison->InputAt(1)->Type()->CopyNonSentinel());
 
  } else if (comparison->InputAt(1)->BindsToConstant() &&
             comparison->InputAt(1)->BoundConstant().ptr() ==
                 Object::sentinel().ptr()) {
    // Handle for sentinel != expr.
    BlockEntryInstr* true_successor =
        negated ? instr->true_successor() : instr->false_successor();
    EnsureMoreAccurateRedefinition(
        true_successor, comparison->InputAt(0)->definition(),
        comparison->InputAt(0)->Type()->CopyNonSentinel());
  }
  // TODO(fschneider): Add propagation for generic is-tests.
}

VisitCheckArrayBound()

void dart::FlowGraphTypePropagator::VisitCheckArrayBound ( CheckArrayBoundInstr *  instr )

privatevirtual

Definition at line 242 of file type_propagator.cc.

                                 {
  // Array bounds checks also test index for smi.
  SetCid(check->index()->definition(), kSmiCid);
}

VisitCheckClass()

void dart::FlowGraphTypePropagator::VisitCheckClass ( CheckClassInstr *  instr )

privatevirtual

Definition at line 248 of file type_propagator.cc.

                                                                    {
  // Use a monomorphic cid directly.
  const Cids& cids = check->cids();
  if (cids.IsMonomorphic()) {
    SetCid(check->value()->definition(), cids.MonomorphicReceiverCid());
    return;
  }
  // Take the union of polymorphic cids.
  CompileType result = CompileType::None();
  for (intptr_t i = 0, n = cids.length(); i < n; i++) {
    CidRange* cid_range = cids.At(i);
    ASSERT(!cid_range->IsIllegalRange());
    for (intptr_t cid = cid_range->cid_start; cid <= cid_range->cid_end;
         cid++) {
      CompileType tp = CompileType::FromCid(cid);
      result.Union(&tp);
    }
  }
  if (!result.IsNone()) {
    SetTypeOf(check->value()->definition(), new (zone()) CompileType(result));
  }
}

VisitCheckClassId()

void dart::FlowGraphTypePropagator::VisitCheckClassId ( CheckClassIdInstr *  instr )

privatevirtual

Definition at line 271 of file type_propagator.cc.

                                                                        {
  LoadClassIdInstr* load_cid =
      check->value()->definition()->OriginalDefinition()->AsLoadClassId();
  if (load_cid != nullptr && check->cids().IsSingleCid()) {
    SetCid(load_cid->object()->definition(), check->cids().cid_start);
  }
}

VisitCheckNull()

void dart::FlowGraphTypePropagator::VisitCheckNull ( CheckNullInstr *  instr )

privatevirtual

Definition at line 279 of file type_propagator.cc.

                                                                  {
  Definition* receiver = check->value()->definition();
  CompileType* type = TypeOf(receiver);
  if (type->is_nullable()) {
    // If the type is nullable, translate an implicit control
    // dependence to an explicit data dependence at this point
    // to guard against invalid code motion later. Valid code
    // motion of the check may still enable valid code motion
    // of the checked code.
    if (check->ssa_temp_index() == -1) {
      flow_graph_->AllocateSSAIndex(check);
      GrowTypes(check->ssa_temp_index() + 1);
    }
    FlowGraph::RenameDominatedUses(receiver, check, check);
    // Set non-nullable type on check itself (but avoid None()).
    CompileType result = type->CopyNonNullable();
    if (!result.IsNone()) {
      SetTypeOf(check, new (zone()) CompileType(result));
    }
  }
}

VisitCheckSmi()

void dart::FlowGraphTypePropagator::VisitCheckSmi ( CheckSmiInstr *  instr )

privatevirtual

Definition at line 238 of file type_propagator.cc.

                                                                {
  SetCid(check->value()->definition(), kSmiCid);
}

VisitGuardFieldClass()

void dart::FlowGraphTypePropagator::VisitGuardFieldClass ( GuardFieldClassInstr *  instr )

privatevirtual

Definition at line 349 of file type_propagator.cc.

                                 {
  const intptr_t cid = guard->field().guarded_cid();
  if ((cid == kIllegalCid) || (cid == kDynamicCid)) {
    return;
  }
 
  Definition* def = guard->value()->definition();
  CompileType* current = TypeOf(def);
  if (current->IsNone() || (current->ToCid() != cid) ||
      (current->is_nullable() && !guard->field().is_nullable())) {
    const bool is_nullable =
        guard->field().is_nullable() && current->is_nullable();
    SetTypeOf(def,
              new (zone()) CompileType(
                  is_nullable, CompileType::kCannotBeSentinel, cid, nullptr));
  }
}

VisitInstanceCall()

void dart::FlowGraphTypePropagator::VisitInstanceCall ( InstanceCallInstr *  instr )

privatevirtual

Definition at line 328 of file type_propagator.cc.

                                                                        {
  if (instr->has_unique_selector()) {
    SetCid(instr->Receiver()->definition(),
           instr->ic_data()->GetReceiverClassIdAt(0));
    return;
  }
  CheckNonNullSelector(instr, instr->Receiver()->definition(),
                       instr->function_name());
}

VisitJoinEntry()

void dart::FlowGraphTypePropagator::VisitJoinEntry ( JoinEntryInstr *  instr )

privatevirtual

Definition at line 232 of file type_propagator.cc.

                                                                 {
  for (PhiIterator it(join); !it.Done(); it.Advance()) {
    worklist_.Add(it.Current());
  }
}

VisitPolymorphicInstanceCall()

void dart::FlowGraphTypePropagator::VisitPolymorphicInstanceCall ( PolymorphicInstanceCallInstr *  instr )

privatevirtual

Definition at line 338 of file type_propagator.cc.

                                         {
  if (instr->has_unique_selector()) {
    SetCid(instr->Receiver()->definition(),
           instr->targets().MonomorphicReceiverCid());
    return;
  }
  CheckNonNullSelector(instr, instr->Receiver()->definition(),
                       instr->function_name());
}

---

The documentation for this class was generated from the following files:

• third_party/dart-lang/sdk/runtime/vm/compiler/backend/type_propagator.h
• third_party/dart-lang/sdk/runtime/vm/compiler/backend/type_propagator.cc