maybe-object-inl.h 3.75 KB
Newer Older
1 2 3 4 5 6 7
// Copyright 2018 the V8 project authors. All rights reserved.
// Use of this source code is governed by a BSD-style license that can be
// found in the LICENSE file.

#ifndef V8_OBJECTS_MAYBE_OBJECT_INL_H_
#define V8_OBJECTS_MAYBE_OBJECT_INL_H_

8
#include "src/common/ptr-compr-inl.h"
9
#include "src/execution/local-isolate-wrapper.h"
10
#include "src/objects/maybe-object.h"
11
#include "src/objects/smi-inl.h"
12
#include "src/objects/tagged-impl-inl.h"
13

14 15 16
namespace v8 {
namespace internal {

17 18 19
//
// MaybeObject implementation.
//
20

21 22
// static
MaybeObject MaybeObject::FromSmi(Smi smi) {
23 24
  DCHECK(HAS_SMI_TAG(smi.ptr()));
  return MaybeObject(smi.ptr());
25 26
}

27 28 29 30
// static
MaybeObject MaybeObject::FromObject(Object object) {
  DCHECK(!HAS_WEAK_HEAP_OBJECT_TAG(object.ptr()));
  return MaybeObject(object.ptr());
31
}
32

33 34 35
MaybeObject MaybeObject::MakeWeak(MaybeObject object) {
  DCHECK(object.IsStrongOrWeak());
  return MaybeObject(object.ptr() | kWeakHeapObjectMask);
36 37
}

38 39 40
//
// HeapObjectReference implementation.
//
41

42
HeapObjectReference::HeapObjectReference(Object object)
43
    : MaybeObject(object.ptr()) {}
44

45 46
// static
HeapObjectReference HeapObjectReference::Strong(Object object) {
47
  DCHECK(!object.IsSmi());
48 49
  DCHECK(!HasWeakHeapObjectTag(object));
  return HeapObjectReference(object);
50 51
}

52 53
// static
HeapObjectReference HeapObjectReference::Weak(Object object) {
54
  DCHECK(!object.IsSmi());
55
  DCHECK(!HasWeakHeapObjectTag(object));
56
  return HeapObjectReference(object.ptr() | kWeakHeapObjectMask);
57 58
}

59
// static
60
HeapObjectReference HeapObjectReference::ClearedValue(const Isolate* isolate) {
61
  // Construct cleared weak ref value.
62 63 64 65 66 67
#ifdef V8_COMPRESS_POINTERS
  // This is necessary to make pointer decompression computation also
  // suitable for cleared weak references.
  Address raw_value =
      DecompressTaggedPointer(isolate, kClearedWeakHeapObjectLower32);
#else
68
  Address raw_value = kClearedWeakHeapObjectLower32;
69 70 71 72 73 74 75 76 77 78
#endif
  // The rest of the code will check only the lower 32-bits.
  DCHECK_EQ(kClearedWeakHeapObjectLower32, static_cast<uint32_t>(raw_value));
  return HeapObjectReference(raw_value);
}

// static
HeapObjectReference HeapObjectReference::ClearedValue(
    const OffThreadIsolate* isolate) {
  // Construct cleared weak ref value.
79 80 81
#ifdef V8_COMPRESS_POINTERS
  // This is necessary to make pointer decompression computation also
  // suitable for cleared weak references.
82 83 84 85
  Address raw_value =
      DecompressTaggedPointer(isolate, kClearedWeakHeapObjectLower32);
#else
  Address raw_value = kClearedWeakHeapObjectLower32;
86 87 88 89 90 91
#endif
  // The rest of the code will check only the lower 32-bits.
  DCHECK_EQ(kClearedWeakHeapObjectLower32, static_cast<uint32_t>(raw_value));
  return HeapObjectReference(raw_value);
}

92 93 94 95 96 97 98
// static
HeapObjectReference HeapObjectReference::ClearedValue(
    LocalIsolateWrapper isolate) {
  return isolate.is_off_thread() ? ClearedValue(isolate.off_thread())
                                 : ClearedValue(isolate.main_thread());
}

99
template <typename THeapObjectSlot>
100
void HeapObjectReference::Update(THeapObjectSlot slot, HeapObject value) {
101 102 103
  static_assert(std::is_same<THeapObjectSlot, FullHeapObjectSlot>::value ||
                    std::is_same<THeapObjectSlot, HeapObjectSlot>::value,
                "Only FullHeapObjectSlot and HeapObjectSlot are expected here");
104 105
  Address old_value = (*slot).ptr();
  DCHECK(!HAS_SMI_TAG(old_value));
106
  Address new_value = value.ptr();
107 108 109
  DCHECK(Internals::HasHeapObjectTag(new_value));

#ifdef DEBUG
110
  bool weak_before = HAS_WEAK_HEAP_OBJECT_TAG(old_value);
111 112 113 114 115 116
#endif

  slot.store(
      HeapObjectReference(new_value | (old_value & kWeakHeapObjectMask)));

#ifdef DEBUG
117
  bool weak_after = HAS_WEAK_HEAP_OBJECT_TAG((*slot).ptr());
118 119
  DCHECK_EQ(weak_before, weak_after);
#endif
120 121
}

122 123 124 125
}  // namespace internal
}  // namespace v8

#endif  // V8_OBJECTS_MAYBE_OBJECT_INL_H_