dart::kernel::Fragment Class Reference

#include <base_flow_graph_builder.h>

Public Member Functions
	Fragment ()
	Fragment (Instruction *instruction)
	Fragment (Instruction *entry, Instruction *current)
bool	is_open () const
bool	is_closed () const
bool	is_empty () const
bool	is_valid () const
void	Prepend (Instruction *start)
Fragment &	operator+= (const Fragment &other)
Fragment &	operator<<= (Instruction *next)
Fragment	closed ()

Public Attributes
Instruction *	entry = nullptr
Instruction *	current = nullptr

Detailed Description

Definition at line 28 of file base_flow_graph_builder.h.

Constructor & Destructor Documentation

Fragment() [1/3]

dart::kernel::Fragment::Fragment ( )

inline

Definition at line 33 of file base_flow_graph_builder.h.

{}

Fragment() [2/3]

dart::kernel::Fragment::Fragment ( Instruction *  instruction )

inlineexplicit

Definition at line 35 of file base_flow_graph_builder.h.

      : entry(instruction), current(instruction) {}

Fragment() [3/3]

dart::kernel::Fragment::Fragment ( Instruction *  entry, Instruction *  current  )

inline

Definition at line 38 of file base_flow_graph_builder.h.

      : entry(entry), current(current) {
    ASSERT(is_valid());
  }

Member Function Documentation

closed()

Fragment dart::kernel::Fragment::closed

(

)

Definition at line 71 of file base_flow_graph_builder.cc.

                          {
  ASSERT(entry != nullptr);
  return Fragment(entry, nullptr);
}

is_closed()

bool dart::kernel::Fragment::is_closed ( ) const

inline

Definition at line 44 of file base_flow_graph_builder.h.

{ return !is_open(); }

is_empty()

bool dart::kernel::Fragment::is_empty ( ) const

inline

Definition at line 46 of file base_flow_graph_builder.h.

{ return entry == nullptr && current == nullptr; }

is_open()

bool dart::kernel::Fragment::is_open ( ) const

inline

Definition at line 43 of file base_flow_graph_builder.h.

{ return entry == nullptr || current != nullptr; }

is_valid()

bool dart::kernel::Fragment::is_valid ( ) const

inline

Definition at line 49 of file base_flow_graph_builder.h.

{ return is_empty() || (entry != nullptr); }

operator+=()

Fragment & dart::kernel::Fragment::operator+=

(

const Fragment &

other

)

Definition at line 32 of file base_flow_graph_builder.cc.

                                                    {
  ASSERT(is_valid());
  ASSERT(other.is_valid());
  if (entry == nullptr) {
    entry = other.entry;
    current = other.current;
  } else if (other.entry != nullptr) {
    if (current != nullptr) {
      current->LinkTo(other.entry);
    }
    // Although [other.entry] could be unreachable (if this fragment is
    // closed), there could be a yield continuation point in the middle of
    // [other] fragment so [other.current] is still reachable.
    current = other.current;
  }
  return *this;
}

operator<<=()

Fragment & dart::kernel::Fragment::operator<<=

(

Instruction *

next

)

Definition at line 50 of file base_flow_graph_builder.cc.

                                                 {
  ASSERT(is_valid());
  if (entry == nullptr) {
    entry = current = next;
  } else if (current != nullptr) {
    current->LinkTo(next);
    current = next;
  }
  return *this;
}

Prepend()

void dart::kernel::Fragment::Prepend

(

Instruction *

start

)

Definition at line 61 of file base_flow_graph_builder.cc.

                                         {
  ASSERT(is_valid());
  if (entry == nullptr) {
    entry = current = start;
  } else {
    start->LinkTo(entry);
    entry = start;
  }
}

Member Data Documentation

current

Instruction* dart::kernel::Fragment::current = nullptr

Definition at line 31 of file base_flow_graph_builder.h.

entry

Instruction* dart::kernel::Fragment::entry = nullptr

Definition at line 30 of file base_flow_graph_builder.h.

---

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

• third_party/dart-lang/sdk/runtime/vm/compiler/frontend/base_flow_graph_builder.h
• third_party/dart-lang/sdk/runtime/vm/compiler/frontend/base_flow_graph_builder.cc