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 | |
23 | namespace v8 { |
24 | namespace internal { |
25 | |
26 | OBJECT_CONSTRUCTORS_IMPL(ScriptContextTable, FixedArray) |
27 | CAST_ACCESSOR(ScriptContextTable) |
28 | |
29 | int ScriptContextTable::used() const { return Smi::ToInt(get(kUsedSlotIndex)); } |
30 | |
31 | void ScriptContextTable::set_used(int used) { |
32 | set(kUsedSlotIndex, Smi::FromInt(used)); |
33 | } |
34 | |
35 | // static |
36 | Handle<Context> ScriptContextTable::GetContext(Isolate* isolate, |
37 | Handle<ScriptContextTable> table, |
38 | int i) { |
39 | return handle(table->get_context(i), isolate); |
40 | } |
41 | |
42 | Context ScriptContextTable::get_context(int i) const { |
43 | DCHECK_LT(i, used()); |
44 | return Context::cast(this->get(i + kFirstContextSlotIndex)); |
45 | } |
46 | |
47 | OBJECT_CONSTRUCTORS_IMPL(Context, HeapObject) |
48 | NEVER_READ_ONLY_SPACE_IMPL(Context) |
49 | CAST_ACCESSOR(Context) |
50 | SMI_ACCESSORS(Context, length, kLengthOffset) |
51 | |
52 | CAST_ACCESSOR(NativeContext) |
53 | |
54 | Object 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 | |
60 | void 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 | |
68 | void 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 | |
76 | void Context::set_scope_info(ScopeInfo scope_info) { |
77 | set(SCOPE_INFO_INDEX, scope_info); |
78 | } |
79 | |
80 | Object Context::unchecked_previous() { return get(PREVIOUS_INDEX); } |
81 | |
82 | Context Context::previous() { |
83 | Object result = get(PREVIOUS_INDEX); |
84 | DCHECK(IsBootstrappingOrValidParentContext(result, *this)); |
85 | return Context::unchecked_cast(result); |
86 | } |
87 | void Context::set_previous(Context context) { set(PREVIOUS_INDEX, context); } |
88 | |
89 | Object Context::next_context_link() { return get(Context::NEXT_CONTEXT_LINK); } |
90 | |
91 | bool Context::has_extension() { return !extension()->IsTheHole(); } |
92 | HeapObject Context::extension() { |
93 | return HeapObject::cast(get(EXTENSION_INDEX)); |
94 | } |
95 | void Context::set_extension(HeapObject object) { set(EXTENSION_INDEX, object); } |
96 | |
97 | NativeContext 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 | |
103 | void Context::set_native_context(NativeContext context) { |
104 | set(NATIVE_CONTEXT_INDEX, context); |
105 | } |
106 | |
107 | bool Context::IsFunctionContext() const { |
108 | return map()->instance_type() == FUNCTION_CONTEXT_TYPE; |
109 | } |
110 | |
111 | bool Context::IsCatchContext() const { |
112 | return map()->instance_type() == CATCH_CONTEXT_TYPE; |
113 | } |
114 | |
115 | bool Context::IsWithContext() const { |
116 | return map()->instance_type() == WITH_CONTEXT_TYPE; |
117 | } |
118 | |
119 | bool Context::IsDebugEvaluateContext() const { |
120 | return map()->instance_type() == DEBUG_EVALUATE_CONTEXT_TYPE; |
121 | } |
122 | |
123 | bool Context::IsAwaitContext() const { |
124 | return map()->instance_type() == AWAIT_CONTEXT_TYPE; |
125 | } |
126 | |
127 | bool Context::IsBlockContext() const { |
128 | return map()->instance_type() == BLOCK_CONTEXT_TYPE; |
129 | } |
130 | |
131 | bool Context::IsModuleContext() const { |
132 | return map()->instance_type() == MODULE_CONTEXT_TYPE; |
133 | } |
134 | |
135 | bool Context::IsEvalContext() const { |
136 | return map()->instance_type() == EVAL_CONTEXT_TYPE; |
137 | } |
138 | |
139 | bool Context::IsScriptContext() const { |
140 | return map()->instance_type() == SCRIPT_CONTEXT_TYPE; |
141 | } |
142 | |
143 | bool 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 | } |
161 | NATIVE_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 | |
170 | int 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 | |
230 | Map 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 | |
239 | MicrotaskQueue* NativeContext::microtask_queue() const { |
240 | return reinterpret_cast<MicrotaskQueue*>( |
241 | READ_INTPTR_FIELD(*this, kMicrotaskQueueOffset)); |
242 | } |
243 | |
244 | void NativeContext::set_microtask_queue(MicrotaskQueue* microtask_queue) { |
245 | WRITE_INTPTR_FIELD(*this, kMicrotaskQueueOffset, |
246 | reinterpret_cast<intptr_t>(microtask_queue)); |
247 | } |
248 | |
249 | OBJECT_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 | |