Inheritance diagram for dart::WriteBarrierElimination:

Public Member Functions
	WriteBarrierElimination (Zone zone, FlowGraph flow_graph)

void	Analyze ()

void	SaveResults ()

Public Member Functions inherited from dart::ValueObject
	ValueObject ()

	~ValueObject ()

Detailed Description

Definition at line 73 of file write_barrier_elimination.cc.

Constructor & Destructor Documentation

◆ WriteBarrierElimination()

dart::WriteBarrierElimination::WriteBarrierElimination	(	Zone *	zone,
		FlowGraph *	flow_graph
	)

Definition at line 144 of file write_barrier_elimination.cc.

    : flow_graph_(flow_graph), block_order_(&flow_graph->postorder()) {
#if defined(DEBUG)
  if (flow_graph->should_print() && FLAG_trace_write_barrier_elimination) {
    tracing_ = true;
  }
#endif
 
  IndexDefinitions(zone);
 
  for (intptr_t i = 0; i < block_order_->length(); ++i) {
    usable_allocs_in_.Add(new (zone) BitVector(zone, definition_count_));
    usable_allocs_in_[i]->CopyFrom(vector_);
 
    usable_allocs_out_.Add(new (zone) BitVector(zone, definition_count_));
    usable_allocs_out_[i]->CopyFrom(vector_);
  }
 
  processed_blocks_ = new (zone) BitVector(zone, block_order_->length());
}

Member Function Documentation

◆ Analyze()

void dart::WriteBarrierElimination::Analyze ( )

Definition at line 166 of file write_barrier_elimination.cc.

                                      {
  for (intptr_t i = 0; i < block_order_->length(); ++i) {
    worklist_.Add(block_order_->At(i));
  }
 
  while (!worklist_.is_empty()) {
    auto* const entry = worklist_.RemoveLast();
    if (AnalyzeBlock(entry)) {
      for (intptr_t i = 0; i < entry->last_instruction()->SuccessorCount();
           ++i) {
        if (tracing_) {
          THR_Print("Enqueueing block %" Pd "\n", entry->block_id());
        }
        worklist_.Add(entry->last_instruction()->SuccessorAt(i));
      }
    }
  }
}

◆ SaveResults()

void dart::WriteBarrierElimination::SaveResults ( )

Definition at line 185 of file write_barrier_elimination.cc.

                                          {
  for (intptr_t i = 0; i < block_order_->length(); ++i) {
    vector_->CopyFrom(usable_allocs_in_[i]);
    UpdateVectorForBlock(block_order_->At(i), /*finalize=*/true);
  }
}

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