dart::compiler::BlockBuilder Class Reference

#include <block_builder.h>

Inheritance diagram for dart::compiler::BlockBuilder:

Public Member Functions
	BlockBuilder (FlowGraph *flow_graph, BlockEntryInstr *entry, bool with_frame=true)
Definition *	AddToInitialDefinitions (Definition *def)
template<typename T >
T *	AddDefinition (T *def)
template<typename T >
T *	AddInstruction (T *instr)
const Function &	function () const
DartReturnInstr *	AddReturn (Value *value)
DartReturnInstr *	AddReturn (Value *value, Representation representation)
Definition *	AddParameter (intptr_t index)
Definition *	AddParameter (intptr_t index, Representation representation, Location location=Location())
TokenPosition	TokenPos () const
const InstructionSource &	Source () const
Definition *	AddNullDefinition ()
Definition *	AddUnboxInstr (Representation rep, Value *value, bool is_checked)
Definition *	AddUnboxInstr (Representation rep, Definition *boxed, bool is_checked)
BranchInstr *	AddBranch (ComparisonInstr *comp, TargetEntryInstr *true_successor, TargetEntryInstr *false_successor)
void	AddPhi (PhiInstr *phi)
Instruction *	last () const
Public Member Functions inherited from dart::ValueObject
	ValueObject ()
	~ValueObject ()

Detailed Description

Definition at line 19 of file block_builder.h.

Constructor & Destructor Documentation

BlockBuilder()

dart::compiler::BlockBuilder::BlockBuilder ( FlowGraph *  flow_graph, BlockEntryInstr *  entry, bool  with_frame = true  )

inline

Definition at line 21 of file block_builder.h.

      : flow_graph_(flow_graph),
        source_(InstructionSource(flow_graph_->function().token_pos(),
                                  flow_graph->inlining_id())),
        entry_(entry),
        current_(entry),
        dummy_env_(new Environment(0, 0, 0, flow_graph->function(), nullptr)),
        with_frame_(with_frame) {
    // Some graph transformations use environments from block entries.
    entry->SetEnvironment(dummy_env_);
  }

Member Function Documentation

AddBranch()

BranchInstr * dart::compiler::BlockBuilder::AddBranch ( ComparisonInstr *  comp, TargetEntryInstr *  true_successor, TargetEntryInstr *  false_successor  )

inline

Definition at line 136 of file block_builder.h.

                                                            {
    auto branch =
        new BranchInstr(comp, CompilerState::Current().GetNextDeoptId());
    // Some graph transformations use environments from branches.
    branch->SetEnvironment(dummy_env_);
    current_->AppendInstruction(branch);
    current_ = nullptr;
 
    *branch->true_successor_address() = true_successor;
    *branch->false_successor_address() = false_successor;
 
    return branch;
  }

AddDefinition()

template<typename T >

T * dart::compiler::BlockBuilder::AddDefinition ( T *  def )

inline

Definition at line 43 of file block_builder.h.

                           {
    flow_graph_->AllocateSSAIndex(def);
    AddInstruction(def);
    return def;
  }

AddInstruction()

template<typename T >

T * dart::compiler::BlockBuilder::AddInstruction ( T *  instr )

inline

Definition at line 50 of file block_builder.h.

                              {
    if (instr->ComputeCanDeoptimize() ||
        instr->ComputeCanDeoptimizeAfterCall() ||
        instr->CanBecomeDeoptimizationTarget()) {
      // All instructions that can deoptimize must have an environment attached
      // to them.
      instr->SetEnvironment(dummy_env_);
    }
    current_ = current_->AppendInstruction(instr);
    return instr;
  }

AddNullDefinition()

Definition * dart::compiler::BlockBuilder::AddNullDefinition ( )

inline

Definition at line 99 of file block_builder.h.

                                  {
    return flow_graph_->GetConstant(Object::ZoneHandle());
  }

AddParameter() [1/2]

Definition * dart::compiler::BlockBuilder::AddParameter ( intptr_t  index )

inline

Definition at line 79 of file block_builder.h.

                                           {
    const auto [location, representation] =
        flow_graph_->GetDirectParameterInfoAt(index);
    return AddParameter(index, representation,
                        with_frame_ ? location : location.ToEntrySpRelative());
  }

AddParameter() [2/2]

Definition * dart::compiler::BlockBuilder::AddParameter ( intptr_t  index, Representation  representation, Location  location = Location()  )

inline

Definition at line 86 of file block_builder.h.

                                                           {
    auto normal_entry = flow_graph_->graph_entry()->normal_entry();
    return AddToInitialDefinitions(
        new ParameterInstr(normal_entry,
                           /*env_index=*/index,
                           /*param_index=*/index, location, representation));
  }

AddPhi()

void dart::compiler::BlockBuilder::AddPhi ( PhiInstr *  phi )

inline

Definition at line 152 of file block_builder.h.

                             {
    flow_graph_->AllocateSSAIndex(phi);
    phi->mark_alive();
    entry_->AsJoinEntry()->InsertPhi(phi);
  }

AddReturn() [1/2]

DartReturnInstr * dart::compiler::BlockBuilder::AddReturn ( Value *  value )

inline

Definition at line 64 of file block_builder.h.

                                           {
    const auto& function = flow_graph_->function();
    const auto representation = FlowGraph::ReturnRepresentationOf(function);
    return AddReturn(value, representation);
  }

AddReturn() [2/2]

DartReturnInstr * dart::compiler::BlockBuilder::AddReturn ( Value *  value, Representation  representation  )

inline

Definition at line 70 of file block_builder.h.

                                                                          {
    DartReturnInstr* instr = new DartReturnInstr(
        Source(), value, CompilerState::Current().GetNextDeoptId(),
        representation);
    AddInstruction(instr);
    entry_->set_last_instruction(instr);
    return instr;
  }

AddToInitialDefinitions()

Definition * dart::compiler::BlockBuilder::AddToInitialDefinitions ( Definition *  def )

inline

Definition at line 35 of file block_builder.h.

                                                       {
    flow_graph_->AllocateSSAIndex(def);
    auto normal_entry = flow_graph_->graph_entry()->normal_entry();
    flow_graph_->AddToInitialDefinitions(normal_entry, def);
    return def;
  }

AddUnboxInstr() [1/2]

Definition * dart::compiler::BlockBuilder::AddUnboxInstr ( Representation  rep, Definition *  boxed, bool  is_checked  )

inline

Definition at line 130 of file block_builder.h.

                                             {
    return AddUnboxInstr(rep, new Value(boxed), is_checked);
  }

AddUnboxInstr() [2/2]

Definition * dart::compiler::BlockBuilder::AddUnboxInstr ( Representation  rep, Value *  value, bool  is_checked  )

inline

Definition at line 103 of file block_builder.h.

                                                                               {
    // Unbox floats by first unboxing a double then converting it to a float.
    auto const unbox_rep = rep == kUnboxedFloat
                               ? kUnboxedDouble
                               : Boxing::NativeRepresentation(rep);
    Definition* unboxed_value =
        AddDefinition(UnboxInstr::Create(unbox_rep, value, DeoptId::kNone));
    if (rep != unbox_rep && unboxed_value->IsUnboxInteger()) {
      ASSERT(RepresentationUtils::ValueSize(rep) <
             RepresentationUtils::ValueSize(unbox_rep));
      // Mark unboxing of small unboxed integer representations as truncating.
      unboxed_value->AsUnboxInteger()->mark_truncating();
    }
    if (is_checked) {
      // The type of |value| has already been checked and it is safe to
      // adjust reaching type. This is done manually because there is no type
      // propagation when building intrinsics.
      unboxed_value->AsUnbox()->value()->SetReachingType(
          new CompileType(CompileType::FromUnboxedRepresentation(rep)));
    }
    if (rep == kUnboxedFloat) {
      unboxed_value = AddDefinition(
          new DoubleToFloatInstr(new Value(unboxed_value), DeoptId::kNone));
    }
    return unboxed_value;
  }

function()

const Function & dart::compiler::BlockBuilder::function ( ) const

inline

Definition at line 62 of file block_builder.h.

{ return flow_graph_->function(); }

last()

Instruction * dart::compiler::BlockBuilder::last ( ) const

inline

Definition at line 158 of file block_builder.h.

{ return current_; }

Source()

const InstructionSource & dart::compiler::BlockBuilder::Source ( ) const

inline

Definition at line 97 of file block_builder.h.

{ return source_; }

TokenPos()

TokenPosition dart::compiler::BlockBuilder::TokenPos ( ) const

inline

Definition at line 96 of file block_builder.h.

{ return source_.token_pos; }

---

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

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