dart::Place Class Reference

Inheritance diagram for dart::Place:

Public Types
enum	Kind {   kNone , kStaticField , kInstanceField , kIndexed ,   kConstantIndexed }
enum	ElementSize {   kNoSize , k1Byte , k2Bytes , k4Bytes ,   k8Bytes , k16Bytes , kLargestElementSize = k16Bytes }

Public Member Functions
	Place (const Place &other)
	Place (Instruction *instr, bool *is_load, bool *is_store)
	Place (AllocationInstr *alloc, intptr_t input_pos)
Place	ToAlias () const
bool	DependsOnInstance () const
Place	CopyWithoutInstance () const
Place	CopyWithoutIndex () const
Place	ToLargerElement (ElementSize to) const
Place	ToSmallerElement (ElementSize to, intptr_t index) const
intptr_t	id () const
Kind	kind () const
Representation	representation () const
Definition *	instance () const
void	set_instance (Definition *def)
const Field &	static_field () const
const Slot &	instance_field () const
Definition *	index () const
ElementSize	element_size () const
intptr_t	index_constant () const
const char *	ToCString () const
bool	IsImmutableField () const
uword	Hash () const
bool	Equals (const Place &other) const
Public Member Functions inherited from dart::ValueObject
	ValueObject ()
	~ValueObject ()

Static Public Member Functions
static Place *	CreateAnyInstanceAnyIndexAlias (Zone *zone, intptr_t id)
static const char *	DefinitionName (Definition *def)
static Place *	Wrap (Zone *zone, const Place &place, intptr_t id)
static bool	IsAllocation (Definition *defn)
static bool	IsTypedDataViewAllocation (Definition *defn)

Detailed Description

Definition at line 163 of file redundancy_elimination.cc.

Member Enumeration Documentation

ElementSize

enum dart::Place::ElementSize

Enumerator
kNoSize
k1Byte
k2Bytes
k4Bytes
k8Bytes
k16Bytes
kLargestElementSize

Definition at line 186 of file redundancy_elimination.cc.

                   {
    // If indexed access is not a TypedData access then element size is not
    // important because there is only a single possible access size depending
    // on the receiver - X[C] aliases X[K] if and only if C == K.
    // This is the size set for Array, ImmutableArray, OneByteString and
    // TwoByteString accesses.
    kNoSize,
 
    // 1 byte (Int8List, Uint8List, Uint8ClampedList).
    k1Byte,
 
    // 2 bytes (Int16List, Uint16List).
    k2Bytes,
 
    // 4 bytes (Int32List, Uint32List, Float32List).
    k4Bytes,
 
    // 8 bytes (Int64List, Uint64List, Float64List).
    k8Bytes,
 
    // 16 bytes (Int32x4List, Float32x4List, Float64x2List).
    k16Bytes,
 
    kLargestElementSize = k16Bytes,
  };

Kind

enum dart::Place::Kind

Enumerator
kNone
kStaticField
kInstanceField
kIndexed
kConstantIndexed

Definition at line 165 of file redundancy_elimination.cc.

            {
    kNone,
 
    // Static field location. Is represented as a Field object with a
    // nullptr instance.
    kStaticField,
 
    // Instance field location. It is represented by a pair of instance
    // and a Slot.
    kInstanceField,
 
    // Indexed location with a non-constant index.
    kIndexed,
 
    // Indexed location with a constant index.
    kConstantIndexed,
  };

Constructor & Destructor Documentation

Place() [1/3]

dart::Place::Place ( const Place &  other )

inline

Definition at line 212 of file redundancy_elimination.cc.

      : ValueObject(),
        flags_(other.flags_),
        instance_(other.instance_),
        raw_selector_(other.raw_selector_),
        id_(other.id_) {}

Place() [2/3]

dart::Place::Place ( Instruction *  instr, bool *  is_load, bool *  is_store  )

inline

Definition at line 221 of file redundancy_elimination.cc.

      : flags_(0), instance_(nullptr), raw_selector_(0), id_(0) {
    switch (instr->tag()) {
      case Instruction::kLoadField: {
        LoadFieldInstr* load_field = instr->AsLoadField();
        set_representation(load_field->representation());
        instance_ = load_field->instance()->definition()->OriginalDefinition();
        set_kind(kInstanceField);
        instance_field_ = &load_field->slot();
        *is_load = true;
        break;
      }
 
      case Instruction::kStoreField: {
        StoreFieldInstr* store = instr->AsStoreField();
        set_representation(
            store->RequiredInputRepresentation(StoreFieldInstr::kValuePos));
        instance_ = store->instance()->definition()->OriginalDefinition();
        set_kind(kInstanceField);
        instance_field_ = &store->slot();
        *is_store = true;
        break;
      }
 
      case Instruction::kLoadStaticField:
        set_kind(kStaticField);
        set_representation(instr->AsLoadStaticField()->representation());
        static_field_ = &instr->AsLoadStaticField()->field();
        *is_load = true;
        break;
 
      case Instruction::kStoreStaticField:
        set_kind(kStaticField);
        set_representation(
            instr->AsStoreStaticField()->RequiredInputRepresentation(
                StoreStaticFieldInstr::kValuePos));
        static_field_ = &instr->AsStoreStaticField()->field();
        *is_store = true;
        break;
 
      case Instruction::kLoadIndexed: {
        LoadIndexedInstr* load_indexed = instr->AsLoadIndexed();
        // Since the same returned representation is used for arrays with small
        // elements, use the array element representation instead.
        //
        // For example, loads from signed and unsigned byte views of the same
        // array share the same place if the returned representation is used,
        // which means a load which sign extends the byte to the native word
        // size might be replaced with an load that zero extends the byte
        // instead and vice versa.
        set_representation(RepresentationUtils::RepresentationOfArrayElement(
            load_indexed->class_id()));
        instance_ = load_indexed->array()->definition()->OriginalDefinition();
        SetIndex(load_indexed->index()->definition()->OriginalDefinition(),
                 load_indexed->index_scale(), load_indexed->class_id());
        *is_load = true;
        break;
      }
 
      case Instruction::kStoreIndexed: {
        StoreIndexedInstr* store_indexed = instr->AsStoreIndexed();
        // Use the array element representation instead of the value
        // representation for the same reasons as for LoadIndexed above.
        set_representation(RepresentationUtils::RepresentationOfArrayElement(
            store_indexed->class_id()));
        instance_ = store_indexed->array()->definition()->OriginalDefinition();
        SetIndex(store_indexed->index()->definition()->OriginalDefinition(),
                 store_indexed->index_scale(), store_indexed->class_id());
        *is_store = true;
        break;
      }
 
      default:
        break;
    }
  }

Place() [3/3]

dart::Place::Place ( AllocationInstr *  alloc, intptr_t  input_pos  )

inline

Definition at line 301 of file redundancy_elimination.cc.

      : flags_(0), instance_(nullptr), raw_selector_(0), id_(0) {
    if (const Slot* slot = alloc->SlotForInput(input_pos)) {
      set_representation(alloc->RequiredInputRepresentation(input_pos));
      instance_ = alloc;
      set_kind(kInstanceField);
      instance_field_ = slot;
    }
  }

Member Function Documentation

CopyWithoutIndex()

Place dart::Place::CopyWithoutIndex ( ) const

inline

Definition at line 369 of file redundancy_elimination.cc.

                                 {
    ASSERT(kind() == kConstantIndexed);
    return Place(EncodeFlags(kIndexed, kNoRepresentation, kNoSize), instance_,
                 0);
  }

CopyWithoutInstance()

Place dart::Place::CopyWithoutInstance ( ) const

inline

Definition at line 363 of file redundancy_elimination.cc.

                                    {
    ASSERT(DependsOnInstance());
    return Place(flags_, nullptr, raw_selector_);
  }

CreateAnyInstanceAnyIndexAlias()

static Place * dart::Place::CreateAnyInstanceAnyIndexAlias ( Zone *  zone, intptr_t  id  )

inlinestatic

Definition at line 312 of file redundancy_elimination.cc.

                                                                        {
    return Wrap(
        zone,
        Place(EncodeFlags(kIndexed, kNoRepresentation, kNoSize), nullptr, 0),
        id);
  }

DefinitionName()

static const char * dart::Place::DefinitionName ( Definition *  def )

inlinestatic

Definition at line 448 of file redundancy_elimination.cc.

                                                     {
    if (def == nullptr) {
      return "*";
    } else {
      return Thread::Current()->zone()->PrintToString("v%" Pd,
                                                      def->ssa_temp_index());
    }
  }

DependsOnInstance()

bool dart::Place::DependsOnInstance ( ) const

inline

Definition at line 345 of file redundancy_elimination.cc.

                                 {
    switch (kind()) {
      case kInstanceField:
      case kIndexed:
      case kConstantIndexed:
        return true;
 
      case kStaticField:
      case kNone:
        return false;
    }
 
    UNREACHABLE();
    return false;
  }

element_size()

ElementSize dart::Place::element_size ( ) const

inline

Definition at line 441 of file redundancy_elimination.cc.

{ return ElementSizeBits::decode(flags_); }

Equals()

bool dart::Place::Equals ( const Place &  other ) const

inline

Definition at line 509 of file redundancy_elimination.cc.

                                        {
    return (flags_ == other.flags_) && (instance_ == other.instance_) &&
           SameField(other);
  }

Hash()

uword dart::Place::Hash ( ) const

inline

Definition at line 503 of file redundancy_elimination.cc.

                     {
    return FinalizeHash(
        CombineHashes(flags_, reinterpret_cast<uword>(instance_)),
        kBitsPerInt32 - 1);
  }

id()

intptr_t dart::Place::id ( ) const

inline

Definition at line 407 of file redundancy_elimination.cc.

{ return id_; }

index()

Definition * dart::Place::index ( ) const

inline

Definition at line 436 of file redundancy_elimination.cc.

                            {
    ASSERT(kind() == kIndexed);
    return index_;
  }

index_constant()

intptr_t dart::Place::index_constant ( ) const

inline

Definition at line 443 of file redundancy_elimination.cc.

                                  {
    ASSERT(kind() == kConstantIndexed);
    return index_constant_;
  }

instance()

Definition * dart::Place::instance ( ) const

inline

Definition at line 415 of file redundancy_elimination.cc.

                               {
    ASSERT(DependsOnInstance());
    return instance_;
  }

instance_field()

const Slot & dart::Place::instance_field ( ) const

inline

Definition at line 431 of file redundancy_elimination.cc.

                                     {
    ASSERT(kind() == kInstanceField);
    return *instance_field_;
  }

IsAllocation()

static bool dart::Place::IsAllocation ( Definition *  defn )

inlinestatic

Definition at line 517 of file redundancy_elimination.cc.

                                             {
    return (defn != nullptr) && (defn->IsAllocation() ||
                                 (defn->IsStaticCall() &&
                                  defn->AsStaticCall()->IsRecognizedFactory()));
  }

IsImmutableField()

bool dart::Place::IsImmutableField ( ) const

inline

Definition at line 494 of file redundancy_elimination.cc.

                                {
    switch (kind()) {
      case kInstanceField:
        return instance_field().is_immutable();
      default:
        return false;
    }
  }

IsTypedDataViewAllocation()

static bool dart::Place::IsTypedDataViewAllocation ( Definition *  defn )

inlinestatic

Definition at line 523 of file redundancy_elimination.cc.

                                                          {
    if (defn != nullptr) {
      if (auto* alloc = defn->AsAllocateObject()) {
        auto const cid = alloc->cls().id();
        return IsTypedDataViewClassId(cid) ||
               IsUnmodifiableTypedDataViewClassId(cid);
      }
    }
    return false;
  }

kind()

Kind dart::Place::kind ( ) const

inline

Definition at line 409 of file redundancy_elimination.cc.

{ return KindBits::decode(flags_); }

representation()

Representation dart::Place::representation ( ) const

inline

Definition at line 411 of file redundancy_elimination.cc.

                                        {
    return RepresentationBits::decode(flags_);
  }

set_instance()

void dart::Place::set_instance ( Definition *  def )

inline

Definition at line 420 of file redundancy_elimination.cc.

                                     {
    ASSERT(DependsOnInstance());
    instance_ = def->OriginalDefinition();
  }

static_field()

const Field & dart::Place::static_field ( ) const

inline

Definition at line 425 of file redundancy_elimination.cc.

                                    {
    ASSERT(kind() == kStaticField);
    ASSERT(static_field_->is_static());
    return *static_field_;
  }

ToAlias()

Place dart::Place::ToAlias ( ) const

inline

Definition at line 335 of file redundancy_elimination.cc.

                        {
    Definition* alias_instance = nullptr;
    if (DependsOnInstance() && IsAllocation(instance()) &&
        ((kind() != kIndexed) || !IsTypedDataViewAllocation(instance()))) {
      alias_instance = instance();
    }
    return Place(RepresentationBits::update(kNoRepresentation, flags_),
                 alias_instance, (kind() == kIndexed) ? 0 : raw_selector_);
  }

ToCString()

const char * dart::Place::ToCString ( ) const

inline

Definition at line 457 of file redundancy_elimination.cc.

                                {
    switch (kind()) {
      case kNone:
        return "<none>";
 
      case kStaticField: {
        const char* field_name =
            String::Handle(static_field().name()).ToCString();
        return Thread::Current()->zone()->PrintToString("<%s>", field_name);
      }
 
      case kInstanceField:
        return Thread::Current()->zone()->PrintToString(
            "<%s.%s[%p]>", DefinitionName(instance()), instance_field().Name(),
            &instance_field());
 
      case kIndexed:
        return Thread::Current()->zone()->PrintToString(
            "<%s[%s]>", DefinitionName(instance()), DefinitionName(index()));
 
      case kConstantIndexed:
        if (element_size() == kNoSize) {
          return Thread::Current()->zone()->PrintToString(
              "<%s[%" Pd "]>", DefinitionName(instance()), index_constant());
        } else {
          return Thread::Current()->zone()->PrintToString(
              "<%s[%" Pd "|%" Pd "]>", DefinitionName(instance()),
              index_constant(), ElementSizeMultiplier(element_size()));
        }
    }
    UNREACHABLE();
    return "<?>";
  }

ToLargerElement()

Place dart::Place::ToLargerElement ( ElementSize  to ) const

inline

Definition at line 382 of file redundancy_elimination.cc.

                                              {
    ASSERT(kind() == kConstantIndexed);
    ASSERT(element_size() != kNoSize);
    ASSERT(element_size() < to);
    return Place(ElementSizeBits::update(to, flags_), instance_,
                 RoundByteOffset(to, index_constant_));
  }

ToSmallerElement()

Place dart::Place::ToSmallerElement ( ElementSize  to, intptr_t  index  ) const

inline

Definition at line 396 of file redundancy_elimination.cc.

                                                               {
    ASSERT(kind() == kConstantIndexed);
    ASSERT(element_size() != kNoSize);
    ASSERT(element_size() > to);
    ASSERT(index >= 0);
    ASSERT(index <
           ElementSizeMultiplier(element_size()) / ElementSizeMultiplier(to));
    return Place(ElementSizeBits::update(to, flags_), instance_,
                 ByteOffsetToSmallerElement(to, index, index_constant_));
  }

Wrap()

Place * dart::Place::Wrap ( Zone *  zone, const Place &  place, intptr_t  id  )

static

Definition at line 684 of file redundancy_elimination.cc.

                                                              {
  Place* wrapped = (new (zone) ZonePlace(place))->place();
  wrapped->id_ = id;
  return wrapped;
}

Member Data Documentation

index_

Definition* dart::Place::index_

Definition at line 668 of file redundancy_elimination.cc.

index_constant_

intptr_t dart::Place::index_constant_

Definition at line 667 of file redundancy_elimination.cc.

instance_field_

const Slot* dart::Place::instance_field_

Definition at line 666 of file redundancy_elimination.cc.

raw_selector_

intptr_t dart::Place::raw_selector_

Definition at line 664 of file redundancy_elimination.cc.

static_field_

const Field* dart::Place::static_field_

Definition at line 665 of file redundancy_elimination.cc.

---

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

• third_party/dart-lang/sdk/runtime/vm/compiler/backend/redundancy_elimination.cc