contexts-inl.h 11 KB
Newer Older
1 2 3 4
// Copyright 2015 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.

5 6
#ifndef V8_OBJECTS_CONTEXTS_INL_H_
#define V8_OBJECTS_CONTEXTS_INL_H_
7

8
#include "src/common/globals.h"
9
#include "src/heap/heap-write-barrier.h"
10
#include "src/objects/contexts.h"
11
#include "src/objects/dictionary-inl.h"
12
#include "src/objects/fixed-array-inl.h"
13
#include "src/objects/js-function-inl.h"
14
#include "src/objects/js-objects-inl.h"
15
#include "src/objects/map-inl.h"
16
#include "src/objects/objects-inl.h"
17
#include "src/objects/ordered-hash-table-inl.h"
18
#include "src/objects/regexp-match-info.h"
19
#include "src/objects/scope-info.h"
20
#include "src/objects/shared-function-info.h"
21

22 23 24
// Has to be the last include (doesn't have include guards):
#include "src/objects/object-macros.h"

25 26 27
namespace v8 {
namespace internal {

28 29
#include "torque-generated/src/objects/contexts-tq-inl.inc"

30
OBJECT_CONSTRUCTORS_IMPL(ScriptContextTable, FixedArray)
31
CAST_ACCESSOR(ScriptContextTable)
32

33 34
int ScriptContextTable::used(AcquireLoadTag tag) const {
  return Smi::ToInt(get(kUsedSlotIndex, tag));
35
}
36

37 38
void ScriptContextTable::set_used(int used, ReleaseStoreTag tag) {
  set(kUsedSlotIndex, Smi::FromInt(used), tag);
39 40
}

41 42 43
ACCESSORS(ScriptContextTable, names_to_context_index, NameToIndexHashTable,
          kHashTableOffset)

44
// static
45 46
Handle<Context> ScriptContextTable::GetContext(Isolate* isolate,
                                               Handle<ScriptContextTable> table,
47
                                               int i) {
48 49 50 51
  return handle(table->get_context(i), isolate);
}

Context ScriptContextTable::get_context(int i) const {
52
  DCHECK_LT(i, used(kAcquireLoad));
53 54 55 56 57 58
  return Context::cast(get(i + kFirstContextSlotIndex));
}

Context ScriptContextTable::get_context(int i, AcquireLoadTag tag) const {
  DCHECK_LT(i, used(kAcquireLoad));
  return Context::cast(get(i + kFirstContextSlotIndex, tag));
59 60
}

61
TQ_OBJECT_CONSTRUCTORS_IMPL(Context)
62
NEVER_READ_ONLY_SPACE_IMPL(Context)
63

64
CAST_ACCESSOR(NativeContext)
65

66 67
RELAXED_SMI_ACCESSORS(Context, length, kLengthOffset)

68 69 70
Object Context::get(int index) const {
  PtrComprCageBase cage_base = GetPtrComprCageBase(*this);
  return get(cage_base, index);
71
}
72 73 74

Object Context::get(PtrComprCageBase cage_base, int index) const {
  DCHECK_LT(static_cast<unsigned int>(index),
75
            static_cast<unsigned int>(length(kRelaxedLoad)));
76 77
  return TaggedField<Object>::Relaxed_Load(cage_base, *this,
                                           OffsetOfElementAt(index));
78 79
}

80 81
void Context::set(int index, Object value, WriteBarrierMode mode) {
  DCHECK_LT(static_cast<unsigned int>(index),
82
            static_cast<unsigned int>(length(kRelaxedLoad)));
83 84 85
  const int offset = OffsetOfElementAt(index);
  RELAXED_WRITE_FIELD(*this, offset, value);
  CONDITIONAL_WRITE_BARRIER(*this, offset, value, mode);
86
}
87

88
Object Context::get(int index, AcquireLoadTag tag) const {
89
  PtrComprCageBase cage_base = GetPtrComprCageBase(*this);
90
  return get(cage_base, index, tag);
91 92
}

93 94
Object Context::get(PtrComprCageBase cage_base, int index,
                    AcquireLoadTag) const {
95
  DCHECK_LT(static_cast<unsigned int>(index),
96
            static_cast<unsigned int>(length(kRelaxedLoad)));
97 98 99
  return ACQUIRE_READ_FIELD(*this, OffsetOfElementAt(index));
}

100 101
void Context::set(int index, Object value, WriteBarrierMode mode,
                  ReleaseStoreTag) {
102
  DCHECK_LT(static_cast<unsigned int>(index),
103
            static_cast<unsigned int>(length(kRelaxedLoad)));
104 105
  const int offset = OffsetOfElementAt(index);
  RELEASE_WRITE_FIELD(*this, offset, value);
106 107 108 109 110 111 112 113
  CONDITIONAL_WRITE_BARRIER(*this, offset, value, mode);
}

void NativeContext::set(int index, Object value, WriteBarrierMode mode,
                        ReleaseStoreTag tag) {
  Context::set(index, value, mode, tag);
}

114
ACCESSORS(Context, scope_info, ScopeInfo, kScopeInfoOffset)
115

116
Object Context::unchecked_previous() const { return get(PREVIOUS_INDEX); }
117

118
Context Context::previous() const {
119
  Object result = get(PREVIOUS_INDEX);
120 121
  DCHECK(IsBootstrappingOrValidParentContext(result, *this));
  return Context::unchecked_cast(result);
122
}
123
void Context::set_previous(Context context, WriteBarrierMode mode) {
124
  set(PREVIOUS_INDEX, context, mode);
125
}
126

127 128 129
Object Context::next_context_link() const {
  return get(Context::NEXT_CONTEXT_LINK);
}
130

131
bool Context::has_extension() const {
132
  return scope_info().HasContextExtensionSlot() && !extension().IsUndefined();
133 134
}

135
HeapObject Context::extension() const {
136
  DCHECK(scope_info().HasContextExtensionSlot());
137 138
  return HeapObject::cast(get(EXTENSION_INDEX));
}
139

140
NativeContext Context::native_context() const {
141
  return this->map().native_context();
142 143
}

144
bool Context::IsFunctionContext() const {
145
  return map().instance_type() == FUNCTION_CONTEXT_TYPE;
146 147
}

148
bool Context::IsCatchContext() const {
149
  return map().instance_type() == CATCH_CONTEXT_TYPE;
150 151
}

152
bool Context::IsWithContext() const {
153
  return map().instance_type() == WITH_CONTEXT_TYPE;
154 155
}

156
bool Context::IsDebugEvaluateContext() const {
157
  return map().instance_type() == DEBUG_EVALUATE_CONTEXT_TYPE;
158
}
159

160
bool Context::IsAwaitContext() const {
161
  return map().instance_type() == AWAIT_CONTEXT_TYPE;
162 163
}

164
bool Context::IsBlockContext() const {
165
  return map().instance_type() == BLOCK_CONTEXT_TYPE;
166 167
}

168
bool Context::IsModuleContext() const {
169
  return map().instance_type() == MODULE_CONTEXT_TYPE;
170 171
}

172
bool Context::IsEvalContext() const {
173
  return map().instance_type() == EVAL_CONTEXT_TYPE;
174
}
175

176
bool Context::IsScriptContext() const {
177
  return map().instance_type() == SCRIPT_CONTEXT_TYPE;
178 179
}

180
bool Context::HasSameSecurityTokenAs(Context that) const {
181 182
  return this->native_context().security_token() ==
         that.native_context().security_token();
183 184
}

185 186 187 188 189 190 191 192 193 194 195 196 197 198 199 200
#define NATIVE_CONTEXT_FIELD_ACCESSORS(index, type, name)   \
  void Context::set_##name(type value) {                    \
    DCHECK(IsNativeContext());                              \
    set(index, value, UPDATE_WRITE_BARRIER, kReleaseStore); \
  }                                                         \
  bool Context::is_##name(type value) const {               \
    DCHECK(IsNativeContext());                              \
    return type::cast(get(index)) == value;                 \
  }                                                         \
  type Context::name() const {                              \
    DCHECK(IsNativeContext());                              \
    return type::cast(get(index));                          \
  }                                                         \
  type Context::name(AcquireLoadTag tag) const {            \
    DCHECK(IsNativeContext());                              \
    return type::cast(get(index, tag));                     \
201 202 203 204
  }
NATIVE_CONTEXT_FIELDS(NATIVE_CONTEXT_FIELD_ACCESSORS)
#undef NATIVE_CONTEXT_FIELD_ACCESSORS

205
#define CHECK_FOLLOWS2(v1, v2) static_assert((v1 + 1) == (v2))
206 207 208 209 210 211
#define CHECK_FOLLOWS4(v1, v2, v3, v4) \
  CHECK_FOLLOWS2(v1, v2);              \
  CHECK_FOLLOWS2(v2, v3);              \
  CHECK_FOLLOWS2(v3, v4)

int Context::FunctionMapIndex(LanguageMode language_mode, FunctionKind kind,
212
                              bool has_shared_name) {
213 214 215 216 217 218 219 220 221
  if (IsClassConstructor(kind)) {
    // Like the strict function map, but with no 'name' accessor. 'name'
    // needs to be the last property and it is added during instantiation,
    // in case a static property with the same name exists"
    return CLASS_FUNCTION_MAP_INDEX;
  }

  int base = 0;
  if (IsGeneratorFunction(kind)) {
222 223 224 225
    CHECK_FOLLOWS2(GENERATOR_FUNCTION_MAP_INDEX,
                   GENERATOR_FUNCTION_WITH_NAME_MAP_INDEX);
    CHECK_FOLLOWS2(ASYNC_GENERATOR_FUNCTION_MAP_INDEX,
                   ASYNC_GENERATOR_FUNCTION_WITH_NAME_MAP_INDEX);
226 227 228 229

    base = IsAsyncFunction(kind) ? ASYNC_GENERATOR_FUNCTION_MAP_INDEX
                                 : GENERATOR_FUNCTION_MAP_INDEX;

230
  } else if (IsAsyncFunction(kind) || IsAsyncModule(kind)) {
231 232
    CHECK_FOLLOWS2(ASYNC_FUNCTION_MAP_INDEX,
                   ASYNC_FUNCTION_WITH_NAME_MAP_INDEX);
233 234 235

    base = ASYNC_FUNCTION_MAP_INDEX;

236
  } else if (IsStrictFunctionWithoutPrototype(kind)) {
237 238
    CHECK_FOLLOWS2(STRICT_FUNCTION_WITHOUT_PROTOTYPE_MAP_INDEX,
                   METHOD_WITH_NAME_MAP_INDEX);
239 240 241 242 243 244 245 246 247 248 249 250

    base = STRICT_FUNCTION_WITHOUT_PROTOTYPE_MAP_INDEX;

  } else {
    CHECK_FOLLOWS2(SLOPPY_FUNCTION_MAP_INDEX,
                   SLOPPY_FUNCTION_WITH_NAME_MAP_INDEX);
    CHECK_FOLLOWS2(STRICT_FUNCTION_MAP_INDEX,
                   STRICT_FUNCTION_WITH_NAME_MAP_INDEX);

    base = is_strict(language_mode) ? STRICT_FUNCTION_MAP_INDEX
                                    : SLOPPY_FUNCTION_MAP_INDEX;
  }
251 252
  int offset = static_cast<int>(!has_shared_name);
  DCHECK_EQ(0, offset & ~1);
253 254 255 256 257 258

  return base + offset;
}

#undef CHECK_FOLLOWS2
#undef CHECK_FOLLOWS4
259

260
Map Context::GetInitialJSArrayMap(ElementsKind kind) const {
261
  DCHECK(IsNativeContext());
262
  if (!IsFastElementsKind(kind)) return Map();
263
  DisallowGarbageCollection no_gc;
264
  Object const initial_js_array_map = get(Context::ArrayMapIndex(kind));
265
  DCHECK(!initial_js_array_map.IsUndefined());
266 267 268
  return Map::cast(initial_js_array_map);
}

269 270 271
EXTERNAL_POINTER_ACCESSORS(NativeContext, microtask_queue, MicrotaskQueue*,
                           kMicrotaskQueueOffset,
                           kNativeContextMicrotaskQueueTag);
272

273 274
void NativeContext::synchronized_set_script_context_table(
    ScriptContextTable script_context_table) {
275 276
  set(SCRIPT_CONTEXT_TABLE_INDEX, script_context_table, UPDATE_WRITE_BARRIER,
      kReleaseStore);
277 278 279
}

ScriptContextTable NativeContext::synchronized_script_context_table() const {
280 281
  return ScriptContextTable::cast(
      get(SCRIPT_CONTEXT_TABLE_INDEX, kAcquireLoad));
282 283
}

284 285 286 287 288 289 290 291 292 293 294 295 296 297 298 299 300 301 302 303 304 305
Map NativeContext::TypedArrayElementsKindToCtorMap(
    ElementsKind element_kind) const {
  int ctor_index = Context::FIRST_FIXED_TYPED_ARRAY_FUN_INDEX + element_kind -
                   ElementsKind::FIRST_FIXED_TYPED_ARRAY_ELEMENTS_KIND;
  Map map = Map::cast(JSFunction::cast(get(ctor_index)).initial_map());
  DCHECK_EQ(map.elements_kind(), element_kind);
  DCHECK(InstanceTypeChecker::IsJSTypedArray(map.instance_type()));
  return map;
}

Map NativeContext::TypedArrayElementsKindToRabGsabCtorMap(
    ElementsKind element_kind) const {
  int ctor_index = Context::FIRST_RAB_GSAB_TYPED_ARRAY_MAP_INDEX +
                   element_kind -
                   ElementsKind::FIRST_FIXED_TYPED_ARRAY_ELEMENTS_KIND;
  Map map = Map::cast(get(ctor_index));
  DCHECK_EQ(map.elements_kind(),
            GetCorrespondingRabGsabElementsKind(element_kind));
  DCHECK(InstanceTypeChecker::IsJSTypedArray(map.instance_type()));
  return map;
}

306
void NativeContext::SetOptimizedCodeListHead(Object head) {
307
  set(OPTIMIZED_CODE_LIST, head, UPDATE_WRITE_BARRIER, kReleaseStore);
308 309 310 311 312 313 314
}

Object NativeContext::OptimizedCodeListHead() {
  return get(OPTIMIZED_CODE_LIST);
}

void NativeContext::SetDeoptimizedCodeListHead(Object head) {
315
  set(DEOPTIMIZED_CODE_LIST, head, UPDATE_WRITE_BARRIER, kReleaseStore);
316 317 318 319 320 321
}

Object NativeContext::DeoptimizedCodeListHead() {
  return get(DEOPTIMIZED_CODE_LIST);
}

322
OBJECT_CONSTRUCTORS_IMPL(NativeContext, Context)
323

324 325 326
}  // namespace internal
}  // namespace v8

327 328
#include "src/objects/object-macros-undef.h"

329
#endif  // V8_OBJECTS_CONTEXTS_INL_H_