dart::Environment Class Reference

#include <il.h>

Inheritance diagram for dart::Environment:

Classes
class	DeepIterator
class	ShallowIterator

Public Member Functions
void	set_locations (Location *locations)
intptr_t	GetDeoptId () const
intptr_t	LazyDeoptPruneCount () const
bool	LazyDeoptToBeforeDeoptId () const
void	MarkAsLazyDeoptToBeforeDeoptId ()
bool	IsHoisted () const
void	MarkAsHoisted ()
Environment *	GetLazyDeoptEnv (Zone *zone)
Environment *	outer () const
Environment *	Outermost ()
Value *	ValueAt (intptr_t ix) const
void	PushValue (Value *value)
intptr_t	Length () const
Location	LocationAt (intptr_t index) const
Value *	ValueAtUseIndex (intptr_t index) const
intptr_t	fixed_parameter_count () const
intptr_t	CountArgsPushed ()
const Function &	function () const
Environment *	DeepCopy (Zone *zone) const
void	DeepCopyTo (Zone *zone, Instruction *instr) const
void	DeepCopyToOuter (Zone *zone, Instruction *instr, intptr_t outer_deopt_id) const
void	DeepCopyAfterTo (Zone *zone, Instruction *instr, intptr_t argc, Definition *dead, Definition *result) const
void	PrintTo (BaseTextBuffer *f) const
const char *	ToCString () const
Environment *	DeepCopy (Zone *zone, intptr_t length) const
void	Write (FlowGraphSerializer *s) const
	Environment (FlowGraphDeserializer *d)
Public Member Functions inherited from dart::ZoneAllocated
	ZoneAllocated ()
void *	operator new (size_t size)
void *	operator new (size_t size, Zone *zone)
void	operator delete (void *pointer)

Static Public Member Functions
static Environment *	From (Zone *zone, const GrowableArray< Definition * > &definitions, intptr_t fixed_parameter_count, intptr_t lazy_deopt_pruning_count, const ParsedFunction &parsed_function)

Friends
class	ShallowIterator
class	compiler::BlockBuilder

Detailed Description

Definition at line 11493 of file il.h.

Constructor & Destructor Documentation

Environment()

dart::Environment::Environment ( FlowGraphDeserializer *  d )

explicit

Definition at line 635 of file il_serializer.cc.

    : values_(d->Read<GrowableArray<Value*>>()),
      locations_(nullptr),
      fixed_parameter_count_(d->Read<intptr_t>()),
      bitfield_(d->Read<uintptr_t>()),
      function_(d->Read<const Function&>()),
      outer_(d->Read<Environment*>()) {
  for (intptr_t i = 0, n = values_.length(); i < n; ++i) {
    Value* value = values_[i];
    value->definition()->AddEnvUse(value);
  }
  if (d->Read<bool>()) {
    locations_ = d->zone()->Alloc<Location>(values_.length());
    for (intptr_t i = 0, n = values_.length(); i < n; ++i) {
      locations_[i] = Location::Read(d);
    }
  }
}

Member Function Documentation

CountArgsPushed()

intptr_t dart::Environment::CountArgsPushed ( )

inline

Definition at line 11678 of file il.h.

                             {
    intptr_t count = 0;
    for (Environment::DeepIterator it(this); !it.Done(); it.Advance()) {
      if (it.CurrentValue()->definition()->IsMoveArgument()) {
        count++;
      }
    }
    return count;
  }

DeepCopy() [1/2]

Environment * dart::Environment::DeepCopy ( Zone *  zone ) const

inline

Definition at line 11690 of file il.h.

{ return DeepCopy(zone, Length()); }

DeepCopy() [2/2]

Environment * dart::Environment::DeepCopy	(	Zone *	zone,
		intptr_t	length
	)		const

Definition at line 6469 of file il.cc.

                                                                    {
  ASSERT(length <= values_.length());
  Environment* copy = new (zone) Environment(
      length, fixed_parameter_count_, LazyDeoptPruneCount(), function_,
      (outer_ == nullptr) ? nullptr : outer_->DeepCopy(zone));
  copy->SetDeoptId(DeoptIdBits::decode(bitfield_));
  copy->SetLazyDeoptToBeforeDeoptId(LazyDeoptToBeforeDeoptId());
  if (IsHoisted()) {
    copy->MarkAsHoisted();
  }
  if (locations_ != nullptr) {
    Location* new_locations = zone->Alloc<Location>(length);
    copy->set_locations(new_locations);
  }
  for (intptr_t i = 0; i < length; ++i) {
    copy->values_.Add(values_[i]->CopyWithType(zone));
    if (locations_ != nullptr) {
      copy->locations_[i] = locations_[i].Copy();
    }
  }
  return copy;
}

DeepCopyAfterTo()

void dart::Environment::DeepCopyAfterTo	(	Zone *	zone,
		Instruction *	instr,
		intptr_t	argc,
		Definition *	dead,
		Definition *	result
	)		const

Definition at line 6506 of file il.cc.

                                                            {
  for (Environment::DeepIterator it(instr->env()); !it.Done(); it.Advance()) {
    it.CurrentValue()->RemoveFromUseList();
  }
 
  Environment* copy =
      DeepCopy(zone, values_.length() - argc - LazyDeoptPruneCount());
  copy->SetLazyDeoptPruneCount(0);
  for (intptr_t i = 0; i < argc; i++) {
    copy->values_.Add(new (zone) Value(dead));
  }
  copy->values_.Add(new (zone) Value(result));
 
  instr->SetEnvironment(copy);
  for (Environment::DeepIterator it(copy); !it.Done(); it.Advance()) {
    Value* value = it.CurrentValue();
    value->definition()->AddEnvUse(value);
  }
}

DeepCopyTo()

void dart::Environment::DeepCopyTo	(	Zone *	zone,
		Instruction *	instr
	)		const

Definition at line 6493 of file il.cc.

                                                                 {
  for (Environment::DeepIterator it(instr->env()); !it.Done(); it.Advance()) {
    it.CurrentValue()->RemoveFromUseList();
  }
 
  Environment* copy = DeepCopy(zone);
  instr->SetEnvironment(copy);
  for (Environment::DeepIterator it(copy); !it.Done(); it.Advance()) {
    Value* value = it.CurrentValue();
    value->definition()->AddEnvUse(value);
  }
}

DeepCopyToOuter()

void dart::Environment::DeepCopyToOuter	(	Zone *	zone,
		Instruction *	instr,
		intptr_t	outer_deopt_id
	)		const

Definition at line 6532 of file il.cc.

                                                                 {
  // Create a deep copy removing caller arguments from the environment.
  ASSERT(instr->env()->outer() == nullptr);
  intptr_t argument_count = instr->env()->fixed_parameter_count();
  Environment* outer =
      DeepCopy(zone, values_.length() - argument_count - LazyDeoptPruneCount());
  outer->SetDeoptId(outer_deopt_id);
  outer->SetLazyDeoptPruneCount(0);
  instr->env()->outer_ = outer;
  intptr_t use_index = instr->env()->Length();  // Start index after inner.
  for (Environment::DeepIterator it(outer); !it.Done(); it.Advance()) {
    Value* value = it.CurrentValue();
    value->set_instruction(instr);
    value->set_use_index(use_index++);
    value->definition()->AddEnvUse(value);
  }
}

fixed_parameter_count()

intptr_t dart::Environment::fixed_parameter_count ( ) const

inline

Definition at line 11676 of file il.h.

{ return fixed_parameter_count_; }

From()

Environment * dart::Environment::From ( Zone *  zone, const GrowableArray< Definition * > &  definitions, intptr_t  fixed_parameter_count, intptr_t  lazy_deopt_pruning_count, const ParsedFunction &  parsed_function  )

static

Definition at line 6451 of file il.cc.

                                                                      {
  Environment* env = new (zone) Environment(
      definitions.length(), fixed_parameter_count, lazy_deopt_pruning_count,
      parsed_function.function(), nullptr);
  for (intptr_t i = 0; i < definitions.length(); ++i) {
    env->values_.Add(new (zone) Value(definitions[i]));
  }
  return env;
}

function()

const Function & dart::Environment::function ( ) const

inline

Definition at line 11688 of file il.h.

{ return function_; }

GetDeoptId()

intptr_t dart::Environment::GetDeoptId ( ) const

inline

Definition at line 11611 of file il.h.

                              {
    ASSERT(DeoptIdBits::decode(bitfield_) != DeoptId::kNone);
    return DeoptIdBits::decode(bitfield_);
  }

GetLazyDeoptEnv()

Environment * dart::Environment::GetLazyDeoptEnv ( Zone *  zone )

inline

Definition at line 11636 of file il.h.

                                           {
    if (LazyDeoptToBeforeDeoptId()) {
      ASSERT(LazyDeoptPruneCount() == 0);
    }
    const intptr_t num_args_to_prune = LazyDeoptPruneCount();
    if (num_args_to_prune == 0) return this;
    return DeepCopy(zone, Length() - num_args_to_prune);
  }

IsHoisted()

bool dart::Environment::IsHoisted ( ) const

inline

Definition at line 11632 of file il.h.

{ return Hoisted::decode(bitfield_); }

LazyDeoptPruneCount()

intptr_t dart::Environment::LazyDeoptPruneCount ( ) const

inline

Definition at line 11616 of file il.h.

                                       {
    return LazyDeoptPruningBits::decode(bitfield_);
  }

LazyDeoptToBeforeDeoptId()

bool dart::Environment::LazyDeoptToBeforeDeoptId ( ) const

inline

Definition at line 11620 of file il.h.

                                        {
    return LazyDeoptToBeforeDeoptId::decode(bitfield_);
  }

Length()

intptr_t dart::Environment::Length ( ) const

inline

Definition at line 11658 of file il.h.

{ return values_.length(); }

LocationAt()

Location dart::Environment::LocationAt ( intptr_t  index ) const

inline

Definition at line 11660 of file il.h.

                                            {
    ASSERT((index >= 0) && (index < values_.length()));
    return locations_[index];
  }

MarkAsHoisted()

void dart::Environment::MarkAsHoisted ( )

inline

Definition at line 11634 of file il.h.

{ bitfield_ = Hoisted::update(true, bitfield_); }

MarkAsLazyDeoptToBeforeDeoptId()

void dart::Environment::MarkAsLazyDeoptToBeforeDeoptId ( )

inline

Definition at line 11624 of file il.h.

                                        {
    bitfield_ = LazyDeoptToBeforeDeoptId::update(true, bitfield_);
    // As eager and lazy deopts will target the before environment, we do not
    // want to prune inputs on lazy deopts.
    bitfield_ = LazyDeoptPruningBits::update(0, bitfield_);
  }

outer()

Environment * dart::Environment::outer ( ) const

inline

Definition at line 11645 of file il.h.

{ return outer_; }

Outermost()

Environment * dart::Environment::Outermost ( )

inline

Definition at line 11647 of file il.h.

                           {
    Environment* result = this;
    while (result->outer() != nullptr)
      result = result->outer();
    return result;
  }

PrintTo()

void dart::Environment::PrintTo

(

BaseTextBuffer *

f

)

const

PushValue()

void dart::Environment::PushValue

(

Value *

value

)

Definition at line 6465 of file il.cc.

                                        {
  values_.Add(value);
}

set_locations()

void dart::Environment::set_locations ( Location *  locations )

inline

Definition at line 11603 of file il.h.

                                          {
    ASSERT(locations_ == nullptr);
    locations_ = locations;
  }

ToCString()

const char * dart::Environment::ToCString

(

)

const

ValueAt()

Value * dart::Environment::ValueAt ( intptr_t  ix ) const

inline

Definition at line 11654 of file il.h.

{ return values_[ix]; }

ValueAtUseIndex()

Value * dart::Environment::ValueAtUseIndex ( intptr_t  index ) const

inline

Definition at line 11666 of file il.h.

                                               {
    const Environment* env = this;
    while (index >= env->Length()) {
      ASSERT(env->outer_ != nullptr);
      index -= env->Length();
      env = env->outer_;
    }
    return env->ValueAt(index);
  }

Write()

void dart::Environment::Write

(

FlowGraphSerializer *

s

)

const

Definition at line 619 of file il_serializer.cc.

                                                    {
  s->Write<GrowableArray<Value*>>(values_);
  s->Write<intptr_t>(fixed_parameter_count_);
  s->Write<uintptr_t>(bitfield_);
  s->Write<const Function&>(function_);
  s->Write<Environment*>(outer_);
  if (locations_ == nullptr) {
    s->Write<bool>(false);
  } else {
    s->Write<bool>(true);
    for (intptr_t i = 0, n = values_.length(); i < n; ++i) {
      locations_[i].Write(s);
    }
  }
}

Friends And Related Symbol Documentation

compiler::BlockBuilder

friend class compiler::BlockBuilder

friend

Definition at line 11716 of file il.h.

ShallowIterator

friend class ShallowIterator

friend

Definition at line 11715 of file il.h.

---

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

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