DXR is a code search and navigation tool aimed at making sense of large projects. It supports full-text and regex searches as well as structural queries.

Mercurial (1aeaa33a64f9)

VCS Links

Line Code
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131
/* -*- Mode: C++; tab-width: 8; indent-tabs-mode: nil; c-basic-offset: 4 -*-
 * vim: set ts=8 sts=4 et sw=4 tw=99:
 * This Source Code Form is subject to the terms of the Mozilla Public
 * License, v. 2.0. If a copy of the MPL was not distributed with this
 * file, You can obtain one at http://mozilla.org/MPL/2.0/. */

#ifndef gc_Marking_inl_h
#define gc_Marking_inl_h

#include "gc/Marking.h"

#include "gc/RelocationOverlay.h"

namespace js {
namespace gc {

template <typename T>
struct MightBeForwarded {
  static_assert(mozilla::IsBaseOf<Cell, T>::value, "T must derive from Cell");
  static_assert(!mozilla::IsSame<Cell, T>::value &&
                    !mozilla::IsSame<TenuredCell, T>::value,
                "T must not be Cell or TenuredCell");

  static const bool value = mozilla::IsBaseOf<JSObject, T>::value ||
                            mozilla::IsBaseOf<Shape, T>::value ||
                            mozilla::IsBaseOf<BaseShape, T>::value ||
                            mozilla::IsBaseOf<JSString, T>::value ||
                            mozilla::IsBaseOf<JSScript, T>::value ||
                            mozilla::IsBaseOf<js::LazyScript, T>::value ||
                            mozilla::IsBaseOf<js::Scope, T>::value ||
                            mozilla::IsBaseOf<js::RegExpShared, T>::value;
};

template <typename T>
inline bool IsForwarded(const T* t) {
  const RelocationOverlay* overlay = RelocationOverlay::fromCell(t);
  if (!MightBeForwarded<T>::value) {
    MOZ_ASSERT(!overlay->isForwarded());
    return false;
  }

  return overlay->isForwarded();
}

struct IsForwardedFunctor : public BoolDefaultAdaptor<Value, false> {
  template <typename T>
  bool operator()(const T* t) {
    return IsForwarded(t);
  }
};

inline bool IsForwarded(const JS::Value& value) {
  return DispatchTyped(IsForwardedFunctor(), value);
}

template <typename T>
inline T* Forwarded(const T* t) {
  const RelocationOverlay* overlay = RelocationOverlay::fromCell(t);
  MOZ_ASSERT(overlay->isForwarded());
  return reinterpret_cast<T*>(overlay->forwardingAddress());
}

struct ForwardedFunctor : public IdentityDefaultAdaptor<Value> {
  template <typename T>
  inline Value operator()(const T* t) {
    return js::gc::RewrapTaggedPointer<Value, T>::wrap(Forwarded(t));
  }
};

inline Value Forwarded(const JS::Value& value) {
  return DispatchTyped(ForwardedFunctor(), value);
}

template <typename T>
inline T MaybeForwarded(T t) {
  if (IsForwarded(t)) t = Forwarded(t);
  MakeAccessibleAfterMovingGC(t);
  return t;
}

inline void RelocationOverlay::forwardTo(Cell* cell) {
  MOZ_ASSERT(!isForwarded());
  // The location of magic_ is important because it must never be valid to see
  // the value Relocated there in a GC thing that has not been moved.
  static_assert(offsetof(RelocationOverlay, magic_) ==
                    offsetof(JSObject, group_) + sizeof(uint32_t),
                "RelocationOverlay::magic_ is in the wrong location");
  static_assert(offsetof(RelocationOverlay, magic_) ==
                    offsetof(js::Shape, base_) + sizeof(uint32_t),
                "RelocationOverlay::magic_ is in the wrong location");
  static_assert(
      offsetof(RelocationOverlay, magic_) == offsetof(JSString, d.u1.length),
      "RelocationOverlay::magic_ is in the wrong location");
  magic_ = Relocated;
  newLocation_ = cell;
}

#ifdef JSGC_HASH_TABLE_CHECKS

template <typename T>
inline bool IsGCThingValidAfterMovingGC(T* t) {
  return !IsInsideNursery(t) && !RelocationOverlay::isCellForwarded(t);
}

template <typename T>
inline void CheckGCThingAfterMovingGC(T* t) {
  if (t) MOZ_RELEASE_ASSERT(IsGCThingValidAfterMovingGC(t));
}

template <typename T>
inline void CheckGCThingAfterMovingGC(const ReadBarriered<T*>& t) {
  CheckGCThingAfterMovingGC(t.unbarrieredGet());
}

struct CheckValueAfterMovingGCFunctor : public VoidDefaultAdaptor<Value> {
  template <typename T>
  void operator()(T* t) {
    CheckGCThingAfterMovingGC(t);
  }
};

inline void CheckValueAfterMovingGC(const JS::Value& value) {
  DispatchTyped(CheckValueAfterMovingGCFunctor(), value);
}

#endif  // JSGC_HASH_TABLE_CHECKS

} /* namespace gc */
} /* namespace js */

#endif  // gc_Marking_inl_h