1// Copyright 2015 the V8 project authors. All rights reserved.
2// Use of this source code is governed by a BSD-style license that can be
3// found in the LICENSE file.
4
5#ifndef V8_CONTEXTS_INL_H_
6#define V8_CONTEXTS_INL_H_
7
8#include "src/contexts.h"
9
10#include "src/heap/heap-write-barrier.h"
11#include "src/objects-inl.h"
12#include "src/objects/dictionary-inl.h"
13#include "src/objects/fixed-array-inl.h"
14#include "src/objects/js-objects-inl.h"
15#include "src/objects/map-inl.h"
16#include "src/objects/regexp-match-info.h"
17#include "src/objects/scope-info.h"
18#include "src/objects/shared-function-info.h"
19
20// Has to be the last include (doesn't have include guards):
21#include "src/objects/object-macros.h"
22
23namespace v8 {
24namespace internal {
25
26OBJECT_CONSTRUCTORS_IMPL(ScriptContextTable, FixedArray)
27CAST_ACCESSOR(ScriptContextTable)
28
29int ScriptContextTable::used() const { return Smi::ToInt(get(kUsedSlotIndex)); }
30
31void ScriptContextTable::set_used(int used) {
32 set(kUsedSlotIndex, Smi::FromInt(used));
33}
34
35// static
36Handle<Context> ScriptContextTable::GetContext(Isolate* isolate,
37 Handle<ScriptContextTable> table,
38 int i) {
39 return handle(table->get_context(i), isolate);
40}
41
42Context ScriptContextTable::get_context(int i) const {
43 DCHECK_LT(i, used());
44 return Context::cast(this->get(i + kFirstContextSlotIndex));
45}
46
47OBJECT_CONSTRUCTORS_IMPL(Context, HeapObject)
48NEVER_READ_ONLY_SPACE_IMPL(Context)
49CAST_ACCESSOR(Context)
50SMI_ACCESSORS(Context, length, kLengthOffset)
51
52CAST_ACCESSOR(NativeContext)
53
54Object Context::get(int index) const {
55 DCHECK_LT(static_cast<unsigned>(index),
56 static_cast<unsigned>(this->length()));
57 return RELAXED_READ_FIELD(*this, OffsetOfElementAt(index));
58}
59
60void Context::set(int index, Object value) {
61 DCHECK_LT(static_cast<unsigned>(index),
62 static_cast<unsigned>(this->length()));
63 int offset = OffsetOfElementAt(index);
64 RELAXED_WRITE_FIELD(*this, offset, value);
65 WRITE_BARRIER(*this, offset, value);
66}
67
68void Context::set(int index, Object value, WriteBarrierMode mode) {
69 DCHECK_LT(static_cast<unsigned>(index),
70 static_cast<unsigned>(this->length()));
71 int offset = OffsetOfElementAt(index);
72 RELAXED_WRITE_FIELD(*this, offset, value);
73 CONDITIONAL_WRITE_BARRIER(*this, offset, value, mode);
74}
75
76void Context::set_scope_info(ScopeInfo scope_info) {
77 set(SCOPE_INFO_INDEX, scope_info);
78}
79
80Object Context::unchecked_previous() { return get(PREVIOUS_INDEX); }
81
82Context Context::previous() {
83 Object result = get(PREVIOUS_INDEX);
84 DCHECK(IsBootstrappingOrValidParentContext(result, *this));
85 return Context::unchecked_cast(result);
86}
87void Context::set_previous(Context context) { set(PREVIOUS_INDEX, context); }
88
89Object Context::next_context_link() { return get(Context::NEXT_CONTEXT_LINK); }
90
91bool Context::has_extension() { return !extension()->IsTheHole(); }
92HeapObject Context::extension() {
93 return HeapObject::cast(get(EXTENSION_INDEX));
94}
95void Context::set_extension(HeapObject object) { set(EXTENSION_INDEX, object); }
96
97NativeContext Context::native_context() const {
98 Object result = get(NATIVE_CONTEXT_INDEX);
99 DCHECK(IsBootstrappingOrNativeContext(this->GetIsolate(), result));
100 return NativeContext::unchecked_cast(result);
101}
102
103void Context::set_native_context(NativeContext context) {
104 set(NATIVE_CONTEXT_INDEX, context);
105}
106
107bool Context::IsFunctionContext() const {
108 return map()->instance_type() == FUNCTION_CONTEXT_TYPE;
109}
110
111bool Context::IsCatchContext() const {
112 return map()->instance_type() == CATCH_CONTEXT_TYPE;
113}
114
115bool Context::IsWithContext() const {
116 return map()->instance_type() == WITH_CONTEXT_TYPE;
117}
118
119bool Context::IsDebugEvaluateContext() const {
120 return map()->instance_type() == DEBUG_EVALUATE_CONTEXT_TYPE;
121}
122
123bool Context::IsAwaitContext() const {
124 return map()->instance_type() == AWAIT_CONTEXT_TYPE;
125}
126
127bool Context::IsBlockContext() const {
128 return map()->instance_type() == BLOCK_CONTEXT_TYPE;
129}
130
131bool Context::IsModuleContext() const {
132 return map()->instance_type() == MODULE_CONTEXT_TYPE;
133}
134
135bool Context::IsEvalContext() const {
136 return map()->instance_type() == EVAL_CONTEXT_TYPE;
137}
138
139bool Context::IsScriptContext() const {
140 return map()->instance_type() == SCRIPT_CONTEXT_TYPE;
141}
142
143bool Context::HasSameSecurityTokenAs(Context that) const {
144 return this->native_context()->security_token() ==
145 that->native_context()->security_token();
146}
147
148#define NATIVE_CONTEXT_FIELD_ACCESSORS(index, type, name) \
149 void Context::set_##name(type value) { \
150 DCHECK(IsNativeContext()); \
151 set(index, value); \
152 } \
153 bool Context::is_##name(type value) const { \
154 DCHECK(IsNativeContext()); \
155 return type::cast(get(index)) == value; \
156 } \
157 type Context::name() const { \
158 DCHECK(IsNativeContext()); \
159 return type::cast(get(index)); \
160 }
161NATIVE_CONTEXT_FIELDS(NATIVE_CONTEXT_FIELD_ACCESSORS)
162#undef NATIVE_CONTEXT_FIELD_ACCESSORS
163
164#define CHECK_FOLLOWS2(v1, v2) STATIC_ASSERT((v1 + 1) == (v2))
165#define CHECK_FOLLOWS4(v1, v2, v3, v4) \
166 CHECK_FOLLOWS2(v1, v2); \
167 CHECK_FOLLOWS2(v2, v3); \
168 CHECK_FOLLOWS2(v3, v4)
169
170int Context::FunctionMapIndex(LanguageMode language_mode, FunctionKind kind,
171 bool has_shared_name, bool needs_home_object) {
172 if (IsClassConstructor(kind)) {
173 // Like the strict function map, but with no 'name' accessor. 'name'
174 // needs to be the last property and it is added during instantiation,
175 // in case a static property with the same name exists"
176 return CLASS_FUNCTION_MAP_INDEX;
177 }
178
179 int base = 0;
180 if (IsGeneratorFunction(kind)) {
181 CHECK_FOLLOWS4(GENERATOR_FUNCTION_MAP_INDEX,
182 GENERATOR_FUNCTION_WITH_NAME_MAP_INDEX,
183 GENERATOR_FUNCTION_WITH_HOME_OBJECT_MAP_INDEX,
184 GENERATOR_FUNCTION_WITH_NAME_AND_HOME_OBJECT_MAP_INDEX);
185 CHECK_FOLLOWS4(
186 ASYNC_GENERATOR_FUNCTION_MAP_INDEX,
187 ASYNC_GENERATOR_FUNCTION_WITH_NAME_MAP_INDEX,
188 ASYNC_GENERATOR_FUNCTION_WITH_HOME_OBJECT_MAP_INDEX,
189 ASYNC_GENERATOR_FUNCTION_WITH_NAME_AND_HOME_OBJECT_MAP_INDEX);
190
191 base = IsAsyncFunction(kind) ? ASYNC_GENERATOR_FUNCTION_MAP_INDEX
192 : GENERATOR_FUNCTION_MAP_INDEX;
193
194 } else if (IsAsyncFunction(kind)) {
195 CHECK_FOLLOWS4(ASYNC_FUNCTION_MAP_INDEX, ASYNC_FUNCTION_WITH_NAME_MAP_INDEX,
196 ASYNC_FUNCTION_WITH_HOME_OBJECT_MAP_INDEX,
197 ASYNC_FUNCTION_WITH_NAME_AND_HOME_OBJECT_MAP_INDEX);
198
199 base = ASYNC_FUNCTION_MAP_INDEX;
200
201 } else if (IsStrictFunctionWithoutPrototype(kind)) {
202 DCHECK_IMPLIES(IsArrowFunction(kind), !needs_home_object);
203 CHECK_FOLLOWS4(STRICT_FUNCTION_WITHOUT_PROTOTYPE_MAP_INDEX,
204 METHOD_WITH_NAME_MAP_INDEX,
205 METHOD_WITH_HOME_OBJECT_MAP_INDEX,
206 METHOD_WITH_NAME_AND_HOME_OBJECT_MAP_INDEX);
207
208 base = STRICT_FUNCTION_WITHOUT_PROTOTYPE_MAP_INDEX;
209
210 } else {
211 DCHECK(!needs_home_object);
212 CHECK_FOLLOWS2(SLOPPY_FUNCTION_MAP_INDEX,
213 SLOPPY_FUNCTION_WITH_NAME_MAP_INDEX);
214 CHECK_FOLLOWS2(STRICT_FUNCTION_MAP_INDEX,
215 STRICT_FUNCTION_WITH_NAME_MAP_INDEX);
216
217 base = is_strict(language_mode) ? STRICT_FUNCTION_MAP_INDEX
218 : SLOPPY_FUNCTION_MAP_INDEX;
219 }
220 int offset = static_cast<int>(!has_shared_name) |
221 (static_cast<int>(needs_home_object) << 1);
222 DCHECK_EQ(0, offset & ~3);
223
224 return base + offset;
225}
226
227#undef CHECK_FOLLOWS2
228#undef CHECK_FOLLOWS4
229
230Map Context::GetInitialJSArrayMap(ElementsKind kind) const {
231 DCHECK(IsNativeContext());
232 if (!IsFastElementsKind(kind)) return Map();
233 DisallowHeapAllocation no_gc;
234 Object const initial_js_array_map = get(Context::ArrayMapIndex(kind));
235 DCHECK(!initial_js_array_map->IsUndefined());
236 return Map::cast(initial_js_array_map);
237}
238
239MicrotaskQueue* NativeContext::microtask_queue() const {
240 return reinterpret_cast<MicrotaskQueue*>(
241 READ_INTPTR_FIELD(*this, kMicrotaskQueueOffset));
242}
243
244void NativeContext::set_microtask_queue(MicrotaskQueue* microtask_queue) {
245 WRITE_INTPTR_FIELD(*this, kMicrotaskQueueOffset,
246 reinterpret_cast<intptr_t>(microtask_queue));
247}
248
249OBJECT_CONSTRUCTORS_IMPL(NativeContext, Context)
250
251} // namespace internal
252} // namespace v8
253
254#include "src/objects/object-macros-undef.h"
255
256#endif // V8_CONTEXTS_INL_H_
257