dart::FlowGraphSerializer Class Reference

#include <il_serializer.h>

Inheritance diagram for dart::FlowGraphSerializer:

Classes
struct	WriteRefTrait
struct	WriteTrait
struct	WriteTrait< const GrowableArray< T > & >
struct	WriteTrait< const ZoneGrowableArray< T > & >
struct	WriteTrait< GrowableArray< T > >
struct	WriteTrait< T, std::enable_if_t< std::is_same_v< intptr_t, T > &&!std::is_same_v< intptr_t, int32_t > &&!std::is_same_v< intptr_t, int64_t > > >
struct	WriteTrait< T, std::enable_if_t< std::is_same_v< uintptr_t, T > &&!std::is_same_v< uintptr_t, uint32_t > &&!std::is_same_v< uintptr_t, uint64_t > > >
struct	WriteTrait< ZoneGrowableArray< T > * >

Public Member Functions
	FlowGraphSerializer (NonStreamingWriteStream *stream)
	~FlowGraphSerializer ()
void	WriteFlowGraph (const FlowGraph &flow_graph, const ZoneGrowableArray< Definition * > &detached_defs)
template<typename T >
void	Write (typename WriteTrait< T >::ArgType x)
template<typename T >
void	WriteRef (T x)
template<typename T >
void	WriteGrowableArrayOfRefs (const GrowableArray< T > &array)
BaseWriteStream *	stream () const
Zone *	zone () const
Thread *	thread () const
IsolateGroup *	isolate_group () const
Heap *	heap () const
bool	can_write_refs () const
Public Member Functions inherited from dart::ValueObject
	ValueObject ()
	~ValueObject ()

Detailed Description

Definition at line 146 of file il_serializer.h.

Constructor & Destructor Documentation

FlowGraphSerializer()

dart::FlowGraphSerializer::FlowGraphSerializer ( NonStreamingWriteStream *  stream )

explicit

Definition at line 28 of file il_serializer.cc.

    : stream_(stream),
      zone_(Thread::Current()->zone()),
      thread_(Thread::Current()),
      isolate_group_(IsolateGroup::Current()),
      heap_(IsolateGroup::Current()->heap()) {}

~FlowGraphSerializer()

dart::FlowGraphSerializer::~FlowGraphSerializer

(

)

Definition at line 35 of file il_serializer.cc.

                                          {
  heap_->ResetObjectIdTable();
}

Member Function Documentation

can_write_refs()

bool dart::FlowGraphSerializer::can_write_refs ( ) const

inline

Definition at line 304 of file il_serializer.h.

{ return can_write_refs_; }

heap()

Heap * dart::FlowGraphSerializer::heap ( ) const

inline

Definition at line 303 of file il_serializer.h.

{ return heap_; }

isolate_group()

IsolateGroup * dart::FlowGraphSerializer::isolate_group ( ) const

inline

Definition at line 302 of file il_serializer.h.

{ return isolate_group_; }

stream()

BaseWriteStream * dart::FlowGraphSerializer::stream ( ) const

inline

Definition at line 299 of file il_serializer.h.

{ return stream_; }

thread()

Thread * dart::FlowGraphSerializer::thread ( ) const

inline

Definition at line 301 of file il_serializer.h.

{ return thread_; }

Write()

template<typename T >

void dart::FlowGraphSerializer::Write ( typename WriteTrait< T >::ArgType  x )

inline

Definition at line 260 of file il_serializer.h.

                                              {
    WriteTrait<T>::Write(this, x);
  }

WriteFlowGraph()

void dart::FlowGraphSerializer::WriteFlowGraph	(	const FlowGraph &	flow_graph,
		const ZoneGrowableArray< Definition * > &	detached_defs
	)

Definition at line 654 of file il_serializer.cc.

                                                         {
  ASSERT(!flow_graph.is_licm_allowed());
 
  Write<intptr_t>(flow_graph.current_ssa_temp_index());
  Write<intptr_t>(flow_graph.max_block_id());
  Write<intptr_t>(flow_graph.inlining_id());
  Write<const Array&>(flow_graph.coverage_array());
 
  PrologueInfo prologue_info = flow_graph.prologue_info();
  Write<intptr_t>(prologue_info.min_block_id);
  Write<intptr_t>(prologue_info.max_block_id);
 
  // Write instructions
  for (auto block : flow_graph.reverse_postorder()) {
    Write<Instruction*>(block);
    for (auto current : block->instructions()) {
      Write<Instruction*>(current);
    }
  }
  Write<Instruction*>(nullptr);
  Write<const ZoneGrowableArray<Definition*>&>(detached_defs);
  can_write_refs_ = true;
 
  // Write instructions extra info.
  // It may contain references to other instructions.
  for (auto block : flow_graph.reverse_postorder()) {
    block->WriteExtra(this);
    for (auto current : block->instructions()) {
      current->WriteExtra(this);
    }
  }
  for (auto* instr : detached_defs) {
    instr->WriteExtra(this);
  }
 
  const auto& optimized_block_order = flow_graph.optimized_block_order();
  Write<intptr_t>(optimized_block_order.length());
  for (intptr_t i = 0, n = optimized_block_order.length(); i < n; ++i) {
    WriteRef<BlockEntryInstr*>(optimized_block_order[i]);
  }
 
  const auto* captured_parameters = flow_graph.captured_parameters();
  if (captured_parameters->IsEmpty()) {
    Write<bool>(false);
  } else {
    Write<bool>(true);
    // Captured parameters are rare so write their bit numbers
    // instead of writing BitVector.
    GrowableArray<intptr_t> indices(Z, 0);
    for (intptr_t i = 0, n = captured_parameters->length(); i < n; ++i) {
      if (captured_parameters->Contains(i)) {
        indices.Add(i);
      }
    }
    Write<GrowableArray<intptr_t>>(indices);
  }
}

WriteGrowableArrayOfRefs()

template<typename T >

void dart::FlowGraphSerializer::WriteGrowableArrayOfRefs ( const GrowableArray< T > &  array )

inline

Definition at line 291 of file il_serializer.h.

                                                               {
    const intptr_t len = array.length();
    Write<intptr_t>(len);
    for (intptr_t i = 0; i < len; ++i) {
      WriteRef<T>(array[i]);
    }
  }

WriteRef()

template<typename T >

void dart::FlowGraphSerializer::WriteRef ( T  x )

inline

Definition at line 286 of file il_serializer.h.

                     {
    WriteRefTrait<T>::WriteRef(this, x);
  }

zone()

Zone * dart::FlowGraphSerializer::zone ( ) const

inline

Definition at line 300 of file il_serializer.h.

{ return zone_; }

---

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

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