dart::kernel::TestFragment Class Reference

#include <base_flow_graph_builder.h>

Public Types
typedef ZoneGrowableArray< TargetEntryInstr ** >	SuccessorAddressArray

Public Member Functions
BlockEntryInstr *	CreateTrueSuccessor (BaseFlowGraphBuilder *builder)
BlockEntryInstr *	CreateFalseSuccessor (BaseFlowGraphBuilder *builder)
void	IfTrueGoto (BaseFlowGraphBuilder *builder, JoinEntryInstr *join)
TestFragment	Negate (bool negate)
	TestFragment ()
	TestFragment (Instruction *entry, SuccessorAddressArray *true_successor_addresses, SuccessorAddressArray *false_successor_addresses)
	TestFragment (Instruction *entry, BranchInstr *branch)
void	ConnectBranchesTo (BaseFlowGraphBuilder *builder, const TestFragment::SuccessorAddressArray &branches, JoinEntryInstr *join)
BlockEntryInstr *	CreateSuccessorFor (BaseFlowGraphBuilder *builder, const TestFragment::SuccessorAddressArray &branches)

Public Attributes
Instruction *	entry = nullptr
SuccessorAddressArray *	true_successor_addresses = nullptr
SuccessorAddressArray *	false_successor_addresses = nullptr

Detailed Description

Definition at line 67 of file base_flow_graph_builder.h.

Member Typedef Documentation

SuccessorAddressArray

typedef ZoneGrowableArray<TargetEntryInstr**> dart::kernel::TestFragment::SuccessorAddressArray

Definition at line 88 of file base_flow_graph_builder.h.

Constructor & Destructor Documentation

TestFragment() [1/3]

dart::kernel::TestFragment::TestFragment ( )

inline

Definition at line 91 of file base_flow_graph_builder.h.

{}

TestFragment() [2/3]

dart::kernel::TestFragment::TestFragment ( Instruction *  entry, SuccessorAddressArray *  true_successor_addresses, SuccessorAddressArray *  false_successor_addresses  )

inline

Definition at line 94 of file base_flow_graph_builder.h.

      : entry(entry),
        true_successor_addresses(true_successor_addresses),
        false_successor_addresses(false_successor_addresses) {}

TestFragment() [3/3]

dart::kernel::TestFragment::TestFragment	(	Instruction *	entry,
		BranchInstr *	branch
	)

Definition at line 88 of file base_flow_graph_builder.cc.

    : entry(entry),
      true_successor_addresses(new SuccessorAddressArray(1)),
      false_successor_addresses(new SuccessorAddressArray(1)) {
  true_successor_addresses->Add(branch->true_successor_address());
  false_successor_addresses->Add(branch->false_successor_address());
}

Member Function Documentation

ConnectBranchesTo()

void dart::kernel::TestFragment::ConnectBranchesTo	(	BaseFlowGraphBuilder *	builder,
		const TestFragment::SuccessorAddressArray &	branches,
		JoinEntryInstr *	join
	)

Definition at line 96 of file base_flow_graph_builder.cc.

                          {
  ASSERT(!branches.is_empty());
  for (auto branch : branches) {
    *branch = builder->BuildTargetEntry();
    (*branch)->Goto(join);
  }
}

CreateFalseSuccessor()

BlockEntryInstr * dart::kernel::TestFragment::CreateFalseSuccessor

(

BaseFlowGraphBuilder *

builder

)

Definition at line 129 of file base_flow_graph_builder.cc.

                                   {
  ASSERT(false_successor_addresses != nullptr);
  return CreateSuccessorFor(builder, *false_successor_addresses);
}

CreateSuccessorFor()

BlockEntryInstr * dart::kernel::TestFragment::CreateSuccessorFor	(	BaseFlowGraphBuilder *	builder,
		const TestFragment::SuccessorAddressArray &	branches
	)

Definition at line 107 of file base_flow_graph_builder.cc.

                                                       {
  ASSERT(!branches.is_empty());
 
  if (branches.length() == 1) {
    TargetEntryInstr* target = builder->BuildTargetEntry();
    *(branches[0]) = target;
    return target;
  }
 
  JoinEntryInstr* join = builder->BuildJoinEntry();
  ConnectBranchesTo(builder, branches, join);
  return join;
}

CreateTrueSuccessor()

BlockEntryInstr * dart::kernel::TestFragment::CreateTrueSuccessor

(

BaseFlowGraphBuilder *

builder

)

Definition at line 123 of file base_flow_graph_builder.cc.

                                   {
  ASSERT(true_successor_addresses != nullptr);
  return CreateSuccessorFor(builder, *true_successor_addresses);
}

IfTrueGoto()

void dart::kernel::TestFragment::IfTrueGoto ( BaseFlowGraphBuilder *  builder, JoinEntryInstr *  join  )

inline

Definition at line 72 of file base_flow_graph_builder.h.

                                                                       {
    ConnectBranchesTo(builder, *true_successor_addresses, join);
  }

Negate()

TestFragment dart::kernel::TestFragment::Negate ( bool  negate )

inline

Definition at line 79 of file base_flow_graph_builder.h.

                                   {
    if (negate) {
      return TestFragment(entry, false_successor_addresses,
                          true_successor_addresses);
    } else {
      return *this;
    }
  }

Member Data Documentation

entry

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

Definition at line 112 of file base_flow_graph_builder.h.

false_successor_addresses

SuccessorAddressArray* dart::kernel::TestFragment::false_successor_addresses = nullptr

Definition at line 114 of file base_flow_graph_builder.h.

true_successor_addresses

SuccessorAddressArray* dart::kernel::TestFragment::true_successor_addresses = nullptr

Definition at line 113 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