dart::FlowGraphBuilderHelper Class Reference

#include <il_test_helper.h>

Classes
class	IncomingDef

Public Types
enum class	IncomingDefKind { kImmediate , kDelayed }

Public Member Functions
	FlowGraphBuilderHelper (intptr_t num_parameters=0, const std::function< void(const Function &)> &configure_function=[](const Function &) {})
TargetEntryInstr *	TargetEntry (intptr_t try_index=kInvalidTryIndex) const
JoinEntryInstr *	JoinEntry (intptr_t try_index=kInvalidTryIndex) const
ConstantInstr *	IntConstant (int64_t value, Representation representation=kTagged) const
ConstantInstr *	DoubleConstant (double value)
void	AddVariable (const char *name, const AbstractType &static_type, CompileType *inferred_arg_type=nullptr)
PhiInstr *	Phi (JoinEntryInstr *join, std::initializer_list< IncomingDef > incoming)
void	FinishGraph ()
FlowGraph *	flow_graph ()

Detailed Description

Definition at line 288 of file il_test_helper.h.

Member Enumeration Documentation

IncomingDefKind

enum class dart::FlowGraphBuilderHelper::IncomingDefKind

strong

Enumerator
kImmediate
kDelayed

Definition at line 341 of file il_test_helper.h.

                             {
    kImmediate,
    kDelayed,
  };

Constructor & Destructor Documentation

FlowGraphBuilderHelper()

dart::FlowGraphBuilderHelper::FlowGraphBuilderHelper ( intptr_t  num_parameters = 0, const std::function< void(const Function &)> &  configure_function = [](const Function&) {}  )

inlineexplicit

Definition at line 290 of file il_test_helper.h.

                              {})
      : state_(CompilerState::Current()),
        flow_graph_(MakeDummyGraph(Thread::Current(),
                                   num_parameters,
                                   state_.is_optimizing(),
                                   configure_function)) {
    flow_graph_.CreateCommonConstants();
  }

Member Function Documentation

AddVariable()

void dart::FlowGraphBuilderHelper::AddVariable ( const char *  name, const AbstractType &  static_type, CompileType *  inferred_arg_type = nullptr  )

inline

Definition at line 326 of file il_test_helper.h.

                                                             {
    LocalVariable* v =
        new LocalVariable(TokenPosition::kNoSource, TokenPosition::kNoSource,
                          String::Handle(Symbols::New(Thread::Current(), name)),
                          static_type, LocalVariable::kNoKernelOffset,
                          new CompileType(CompileType::FromAbstractType(
                              static_type, CompileType::kCanBeNull,
                              CompileType::kCannotBeSentinel)),
                          inferred_arg_type);
    v->set_type_check_mode(LocalVariable::kTypeCheckedByCaller);
    flow_graph()->parsed_function().scope()->AddVariable(v);
  }

DoubleConstant()

ConstantInstr * dart::FlowGraphBuilderHelper::DoubleConstant ( double  value )

inline

Definition at line 320 of file il_test_helper.h.

                                              {
    return flow_graph_.GetConstant(Double::Handle(Double::NewCanonical(value)));
  }

FinishGraph()

void dart::FlowGraphBuilderHelper::FinishGraph ( )

inline

Definition at line 387 of file il_test_helper.h.

                     {
    flow_graph_.DiscoverBlocks();
    GrowableArray<BitVector*> dominance_frontier;
    flow_graph_.ComputeDominators(&dominance_frontier);
 
    for (auto& pending : pending_phis_) {
      auto join = pending.phi->block();
      EXPECT(pending.phi->InputCount() == join->PredecessorCount());
      auto pred_index = join->IndexOfPredecessor(pending.incoming.from());
      EXPECT(pred_index != -1);
      pending.phi->InputAt(pred_index)->BindTo(pending.incoming.defn());
    }
  }

flow_graph()

FlowGraph * dart::FlowGraphBuilderHelper::flow_graph ( )

inline

Definition at line 401 of file il_test_helper.h.

{ return &flow_graph_; }

IntConstant()

ConstantInstr * dart::FlowGraphBuilderHelper::IntConstant ( int64_t  value, Representation  representation = kTagged  ) const

inline

Definition at line 312 of file il_test_helper.h.

                                                                            {
    ASSERT(representation == kTagged ||
           RepresentationUtils::IsUnboxedInteger(representation));
    return flow_graph_.GetConstant(
        Integer::Handle(Integer::NewCanonical(value)), representation);
  }

JoinEntry()

JoinEntryInstr * dart::FlowGraphBuilderHelper::JoinEntry ( intptr_t  try_index = kInvalidTryIndex ) const

inline

Definition at line 307 of file il_test_helper.h.

                                                                         {
    return new JoinEntryInstr(flow_graph_.allocate_block_id(), try_index,
                              state_.GetNextDeoptId());
  }

Phi()

PhiInstr * dart::FlowGraphBuilderHelper::Phi ( JoinEntryInstr *  join, std::initializer_list< IncomingDef >  incoming  )

inline

Definition at line 373 of file il_test_helper.h.

                                                           {
    auto phi = new PhiInstr(join, incoming.size());
    for (size_t i = 0; i < incoming.size(); i++) {
      auto input = new Value(flow_graph_.constant_dead());
      phi->SetInputAt(i, input);
      input->definition()->AddInputUse(input);
    }
    for (auto def : incoming) {
      pending_phis_.Add({phi, def});
    }
    return phi;
  }

TargetEntry()

TargetEntryInstr * dart::FlowGraphBuilderHelper::TargetEntry ( intptr_t  try_index = kInvalidTryIndex ) const

inline

Definition at line 302 of file il_test_helper.h.

                                                                             {
    return new TargetEntryInstr(flow_graph_.allocate_block_id(), try_index,
                                state_.GetNextDeoptId());
  }

---

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

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