dart::FlowGraphSerializer::WriteRefTrait< T, class > Struct Template Reference

#include <il_serializer.h>

Public Member Functions
void	WriteRef (FlowGraphSerializer *s, BlockEntryInstr *x)
void	WriteRef (FlowGraphSerializer *s, Definition *x)

Detailed Description

template<typename T, class = void>
struct dart::FlowGraphSerializer::WriteRefTrait< T, class >

Definition at line 275 of file il_serializer.h.

Member Function Documentation

WriteRef() [1/2]

void dart::FlowGraphSerializer::WriteRefTrait< BlockEntryInstr * >::WriteRef	(	FlowGraphSerializer *	s,
		BlockEntryInstr *	x
	)

Definition at line 131 of file il_serializer.cc.

                        {
  ASSERT(s->can_write_refs());
  if (x == nullptr) {
    s->Write<intptr_t>(-1);
    return;
  }
  const intptr_t id = x->block_id();
  ASSERT(id >= 0);
  s->Write<intptr_t>(id);
}

WriteRef() [2/2]

void dart::FlowGraphSerializer::WriteRefTrait< Definition * >::WriteRef	(	FlowGraphSerializer *	s,
		Definition *	x
	)

Definition at line 560 of file il_serializer.cc.

                   {
  if (!x->HasSSATemp()) {
    if (auto* move_arg = x->AsMoveArgument()) {
      // Environments of the calls can reference MoveArgument instructions
      // and they don't have SSA temps.
      // Write a reference to the original definition.
      // When reading it is restored using RepairArgumentUsesInEnvironment.
      x = move_arg->value()->definition();
    } else {
      UNREACHABLE();
    }
  }
  ASSERT(x->HasSSATemp());
  ASSERT(s->can_write_refs());
  s->Write<intptr_t>(x->ssa_temp_index());
}

---

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

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