dart::LocationSummary Class Reference

#include <locations.h>

Inheritance diagram for dart::LocationSummary:

Public Types
enum	ContainsCall {   kNoCall , kCall , kCallCalleeSafe , kCallOnSlowPath ,   kCallOnSharedSlowPath , kNativeLeafCall }

Public Member Functions
	LocationSummary (Zone *zone, intptr_t input_count, intptr_t temp_count, LocationSummary::ContainsCall contains_call)
intptr_t	input_count () const
Location	in (intptr_t index) const
Location *	in_slot (intptr_t index)
void	set_in (intptr_t index, Location loc)
intptr_t	temp_count () const
Location	temp (intptr_t index) const
Location *	temp_slot (intptr_t index)
void	set_temp (intptr_t index, Location loc)
intptr_t	output_count () const
Location	out (intptr_t index) const
Location *	out_slot (intptr_t index)
void	set_out (intptr_t index, Location loc)
const BitmapBuilder &	stack_bitmap ()
void	SetStackBit (intptr_t index)
bool	always_calls () const
bool	callee_safe_call () const
bool	can_call ()
bool	HasCallOnSlowPath ()
bool	call_on_shared_slow_path () const
bool	native_leaf_call () const
void	PrintTo (BaseTextBuffer *f) const
RegisterSet *	live_registers ()
void	Write (FlowGraphSerializer *s) const
	LocationSummary (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 LocationSummary *	Make (Zone *zone, intptr_t input_count, Location out, ContainsCall contains_call)

Detailed Description

Definition at line 841 of file locations.h.

Member Enumeration Documentation

ContainsCall

enum dart::LocationSummary::ContainsCall

Enumerator
kNoCall
kCall
kCallCalleeSafe
kCallOnSlowPath
kCallOnSharedSlowPath
kNativeLeafCall

Definition at line 843 of file locations.h.

                    {
    // Used registers must be reserved as tmp.
    kNoCall,
    // Registers have been saved and can be used without reservation.
    kCall,
    // Registers will be saved by the callee.
    kCallCalleeSafe,
    // Used registers must be reserved as tmp.
    kCallOnSlowPath,
    // Registers used to invoke shared stub must be reserved as tmp.
    kCallOnSharedSlowPath,
    // Location is a native leaf call so any register not in the native ABI
    // callee-save (or input/output/tmp) set might get clobbered.
    kNativeLeafCall
  };

Constructor & Destructor Documentation

LocationSummary() [1/2]

dart::LocationSummary::LocationSummary	(	Zone *	zone,
		intptr_t	input_count,
		intptr_t	temp_count,
		LocationSummary::ContainsCall	contains_call
	)

Definition at line 170 of file locations.cc.

    : num_inputs_(input_count),
      num_temps_(temp_count),
      output_location_(),  // out(0)->IsInvalid() unless later set.
      stack_bitmap_(nullptr),
      contains_call_(contains_call),
      live_registers_() {
#if defined(DEBUG)
  writable_inputs_ = 0;
#endif
  input_locations_ = zone->Alloc<Location>(num_inputs_);
  temp_locations_ = zone->Alloc<Location>(num_temps_);
}

LocationSummary() [2/2]

dart::LocationSummary::LocationSummary ( FlowGraphDeserializer *  d )

explicit

Definition at line 1308 of file il_serializer.cc.

    : num_inputs_(d->Read<intptr_t>()),
      num_temps_(d->Read<intptr_t>()),
      output_location_(),
      stack_bitmap_(nullptr),
      contains_call_(static_cast<ContainsCall>(d->Read<int8_t>())),
      live_registers_(d) {
  input_locations_ = d->zone()->Alloc<Location>(num_inputs_);
  for (intptr_t i = 0; i < num_inputs_; ++i) {
    input_locations_[i] = Location::Read(d);
  }
  temp_locations_ = d->zone()->Alloc<Location>(num_temps_);
  for (intptr_t i = 0; i < num_temps_; ++i) {
    temp_locations_[i] = Location::Read(d);
  }
  output_location_ = Location::Read(d);
 
  if (d->Read<int8_t>() != 0) {
    EnsureStackBitmap().Read(d->stream());
  }
 
#if defined(DEBUG)
  writable_inputs_ = d->Read<intptr_t>();
#endif
}

Member Function Documentation

always_calls()

bool dart::LocationSummary::always_calls ( ) const

inline

Definition at line 918 of file locations.h.

                            {
    return contains_call_ == kCall || contains_call_ == kCallCalleeSafe;
  }

call_on_shared_slow_path()

bool dart::LocationSummary::call_on_shared_slow_path ( ) const

inline

Definition at line 928 of file locations.h.

                                        {
    return contains_call_ == kCallOnSharedSlowPath;
  }

callee_safe_call()

bool dart::LocationSummary::callee_safe_call ( ) const

inline

Definition at line 922 of file locations.h.

{ return contains_call_ == kCallCalleeSafe; }

can_call()

bool dart::LocationSummary::can_call ( )

inline

Definition at line 924 of file locations.h.

{ return contains_call_ != kNoCall; }

HasCallOnSlowPath()

bool dart::LocationSummary::HasCallOnSlowPath ( )

inline

Definition at line 926 of file locations.h.

{ return can_call() && !always_calls(); }

in()

Location dart::LocationSummary::in ( intptr_t  index ) const

inline

Definition at line 866 of file locations.h.

                                    {
    ASSERT(index >= 0);
    ASSERT(index < num_inputs_);
    return input_locations_[index];
  }

in_slot()

Location * dart::LocationSummary::in_slot ( intptr_t  index )

inline

Definition at line 872 of file locations.h.

                                    {
    ASSERT(index >= 0);
    ASSERT(index < num_inputs_);
    return &input_locations_[index];
  }

input_count()

intptr_t dart::LocationSummary::input_count ( ) const

inline

Definition at line 864 of file locations.h.

{ return num_inputs_; }

live_registers()

RegisterSet * dart::LocationSummary::live_registers ( )

inline

Definition at line 941 of file locations.h.

{ return &live_registers_; }

Make()

LocationSummary * dart::LocationSummary::Make ( Zone *  zone, intptr_t  input_count, Location  out, LocationSummary::ContainsCall  contains_call  )

static

Definition at line 187 of file locations.cc.

                                               {
  LocationSummary* summary =
      new (zone) LocationSummary(zone, input_count, 0, contains_call);
  for (intptr_t i = 0; i < input_count; i++) {
    summary->set_in(i, Location::RequiresRegister());
  }
  summary->set_out(0, out);
  return summary;
}

native_leaf_call()

bool dart::LocationSummary::native_leaf_call ( ) const

inline

Definition at line 932 of file locations.h.

{ return contains_call_ == kNativeLeafCall; }

out()

Location dart::LocationSummary::out ( intptr_t  index ) const

inline

Definition at line 903 of file locations.h.

                                     {
    ASSERT(index == 0);
    return output_location_;
  }

out_slot()

Location * dart::LocationSummary::out_slot ( intptr_t  index )

inline

Definition at line 908 of file locations.h.

                                     {
    ASSERT(index == 0);
    return &output_location_;
  }

output_count()

intptr_t dart::LocationSummary::output_count ( ) const

inline

Definition at line 901 of file locations.h.

{ return 1; }

PrintTo()

void dart::LocationSummary::PrintTo

(

BaseTextBuffer *

f

)

const

Definition at line 554 of file locations.cc.

                                                     {
  if (!FLAG_support_il_printer) {
    return;
  }
  if (input_count() > 0) {
    f->AddString(" (");
    for (intptr_t i = 0; i < input_count(); i++) {
      if (i != 0) f->AddString(", ");
      in(i).PrintTo(f);
    }
    f->AddString(")");
  }
 
  if (temp_count() > 0) {
    f->AddString(" [");
    for (intptr_t i = 0; i < temp_count(); i++) {
      if (i != 0) f->AddString(", ");
      temp(i).PrintTo(f);
    }
    f->AddString("]");
  }
 
  if (!out(0).IsInvalid()) {
    f->AddString(" => ");
    out(0).PrintTo(f);
  }
 
  if (always_calls()) f->AddString(" C");
}

set_in()

void dart::LocationSummary::set_in	(	intptr_t	index,
		Location	loc
	)

Definition at line 205 of file locations.cc.

                                                         {
  ASSERT(index >= 0);
  ASSERT(index < num_inputs_);
#if defined(DEBUG)
  // See FlowGraphAllocator::ProcessOneInstruction for explanation of these
  // restrictions.
  if (always_calls()) {
    if (loc.IsUnallocated()) {
      ASSERT(loc.policy() == Location::kAny ||
             loc.policy() == Location::kRequiresStack);
    } else if (loc.IsPairLocation()) {
      ASSERT(!loc.AsPairLocation()->At(0).IsUnallocated() ||
             loc.AsPairLocation()->At(0).policy() == Location::kAny ||
             loc.AsPairLocation()->At(0).policy() == Location::kRequiresStack);
      ASSERT(!loc.AsPairLocation()->At(1).IsUnallocated() ||
             loc.AsPairLocation()->At(1).policy() == Location::kAny ||
             loc.AsPairLocation()->At(1).policy() == Location::kRequiresStack);
    }
    if (index == 0 && out(0).IsUnallocated() &&
        out(0).policy() == Location::kSameAsFirstInput) {
      ASSERT(ValidOutputForAlwaysCalls(loc));
    }
  }
#endif
  input_locations_[index] = loc;
}

set_out()

void dart::LocationSummary::set_out	(	intptr_t	index,
		Location	loc
	)

Definition at line 232 of file locations.cc.

                                                          {
  ASSERT(index == 0);
  ASSERT(!always_calls() || ValidOutputForAlwaysCalls(loc) ||
         (loc.IsUnallocated() && loc.policy() == Location::kSameAsFirstInput &&
          num_inputs_ > 0 && ValidOutputForAlwaysCalls(in(0))));
  output_location_ = loc;
}

set_temp()

void dart::LocationSummary::set_temp ( intptr_t  index, Location  loc  )

inline

Definition at line 894 of file locations.h.

                                              {
    ASSERT(index >= 0);
    ASSERT(index < num_temps_);
    ASSERT(!always_calls() || loc.IsMachineRegister());
    temp_locations_[index] = loc;
  }

SetStackBit()

void dart::LocationSummary::SetStackBit ( intptr_t  index )

inline

Definition at line 916 of file locations.h.

{ EnsureStackBitmap().Set(index, true); }

stack_bitmap()

const BitmapBuilder & dart::LocationSummary::stack_bitmap ( )

inline

Definition at line 915 of file locations.h.

{ return EnsureStackBitmap(); }

temp()

Location dart::LocationSummary::temp ( intptr_t  index ) const

inline

Definition at line 882 of file locations.h.

                                      {
    ASSERT(index >= 0);
    ASSERT(index < num_temps_);
    return temp_locations_[index];
  }

temp_count()

intptr_t dart::LocationSummary::temp_count ( ) const

inline

Definition at line 880 of file locations.h.

{ return num_temps_; }

temp_slot()

Location * dart::LocationSummary::temp_slot ( intptr_t  index )

inline

Definition at line 888 of file locations.h.

                                      {
    ASSERT(index >= 0);
    ASSERT(index < num_temps_);
    return &temp_locations_[index];
  }

Write()

void dart::LocationSummary::Write

(

FlowGraphSerializer *

s

)

const

Definition at line 1281 of file il_serializer.cc.

                                                        {
  s->Write<intptr_t>(input_count());
  s->Write<intptr_t>(temp_count());
  s->Write<int8_t>(static_cast<int8_t>(contains_call_));
  live_registers_.Write(s);
 
  for (intptr_t i = 0, n = input_count(); i < n; ++i) {
    in(i).Write(s);
  }
  for (intptr_t i = 0, n = temp_count(); i < n; ++i) {
    temp(i).Write(s);
  }
  ASSERT(output_count() == 1);
  out(0).Write(s);
 
  if ((stack_bitmap_ != nullptr) && (stack_bitmap_->Length() != 0)) {
    s->Write<int8_t>(1);
    stack_bitmap_->Write(s->stream());
  } else {
    s->Write<int8_t>(0);
  }
 
#if defined(DEBUG)
  s->Write<intptr_t>(writable_inputs_);
#endif
}

---

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

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