OLD | NEW |
1 // Copyright 2014 the V8 project authors. All rights reserved. | 1 // Copyright 2014 the V8 project authors. All rights reserved. |
2 // Use of this source code is governed by a BSD-style license that can be | 2 // Use of this source code is governed by a BSD-style license that can be |
3 // found in the LICENSE file. | 3 // found in the LICENSE file. |
4 | 4 |
5 #include "src/runtime/runtime-utils.h" | 5 #include "src/runtime/runtime-utils.h" |
6 | 6 |
7 #include "src/allocation-site-scopes.h" | 7 #include "src/allocation-site-scopes.h" |
8 #include "src/arguments.h" | 8 #include "src/arguments.h" |
9 #include "src/ast/ast.h" | 9 #include "src/ast/ast.h" |
10 #include "src/ast/compile-time-value.h" | 10 #include "src/ast/compile-time-value.h" |
11 #include "src/isolate-inl.h" | 11 #include "src/isolate-inl.h" |
12 #include "src/runtime/runtime.h" | 12 #include "src/runtime/runtime.h" |
13 | 13 |
14 namespace v8 { | 14 namespace v8 { |
15 namespace internal { | 15 namespace internal { |
16 | 16 |
17 static Handle<Map> ComputeObjectLiteralMap( | 17 static Handle<Map> ComputeObjectLiteralMap( |
18 Handle<Context> context, Handle<FixedArray> constant_properties, | 18 Handle<Context> context, Handle<ConstantProperties> constant_properties, |
19 bool* is_result_from_cache) { | 19 bool* is_result_from_cache) { |
20 int properties_length = constant_properties->length(); | 20 int number_of_properties = constant_properties->number_of_properties(); |
21 int number_of_properties = properties_length / 2; | |
22 | 21 |
23 for (int p = 0; p != properties_length; p += 2) { | 22 for (int p = 0; p != constant_properties->length(); p += 2) { |
24 Object* key = constant_properties->get(p); | 23 Object* key = constant_properties->get(p); |
25 uint32_t element_index = 0; | 24 uint32_t element_index = 0; |
26 if (key->ToArrayIndex(&element_index)) { | 25 if (key->ToArrayIndex(&element_index)) { |
27 // An index key does not require space in the property backing store. | 26 // An index key does not require space in the property backing store. |
28 number_of_properties--; | 27 number_of_properties--; |
29 } | 28 } |
30 } | 29 } |
31 Isolate* isolate = context->GetIsolate(); | 30 Isolate* isolate = context->GetIsolate(); |
32 return isolate->factory()->ObjectLiteralMapFromCache( | 31 return isolate->factory()->ObjectLiteralMapFromCache( |
33 context, number_of_properties, is_result_from_cache); | 32 context, number_of_properties, is_result_from_cache); |
34 } | 33 } |
35 | 34 |
36 MUST_USE_RESULT static MaybeHandle<Object> CreateLiteralBoilerplate( | 35 MUST_USE_RESULT static MaybeHandle<Object> CreateLiteralBoilerplate( |
37 Isolate* isolate, Handle<LiteralsArray> literals, | 36 Isolate* isolate, Handle<LiteralsArray> literals, |
38 Handle<FixedArray> constant_properties); | 37 Handle<ConstantProperties> constant_properties); |
39 | 38 |
40 MUST_USE_RESULT static MaybeHandle<Object> CreateObjectLiteralBoilerplate( | 39 MUST_USE_RESULT static MaybeHandle<Object> CreateObjectLiteralBoilerplate( |
41 Isolate* isolate, Handle<LiteralsArray> literals, | 40 Isolate* isolate, Handle<LiteralsArray> literals, |
42 Handle<FixedArray> constant_properties, bool should_have_fast_elements) { | 41 Handle<ConstantProperties> constant_properties, |
| 42 bool should_have_fast_elements) { |
43 Handle<Context> context = isolate->native_context(); | 43 Handle<Context> context = isolate->native_context(); |
44 | 44 |
45 // In case we have function literals, we want the object to be in | 45 // In case we have function literals, we want the object to be in |
46 // slow properties mode for now. We don't go in the map cache because | 46 // slow properties mode for now. We don't go in the map cache because |
47 // maps with constant functions can't be shared if the functions are | 47 // maps with constant functions can't be shared if the functions are |
48 // not the same (which is the common case). | 48 // not the same (which is the common case). |
49 bool is_result_from_cache = false; | 49 bool is_result_from_cache = false; |
50 Handle<Map> map = ComputeObjectLiteralMap(context, constant_properties, | 50 Handle<Map> map = ComputeObjectLiteralMap(context, constant_properties, |
51 &is_result_from_cache); | 51 &is_result_from_cache); |
52 | 52 |
(...skipping 16 matching lines...) Expand all Loading... |
69 JSObject::NormalizeProperties(boilerplate, KEEP_INOBJECT_PROPERTIES, | 69 JSObject::NormalizeProperties(boilerplate, KEEP_INOBJECT_PROPERTIES, |
70 length / 2, "Boilerplate"); | 70 length / 2, "Boilerplate"); |
71 } | 71 } |
72 // TODO(verwaest): Support tracking representations in the boilerplate. | 72 // TODO(verwaest): Support tracking representations in the boilerplate. |
73 for (int index = 0; index < length; index += 2) { | 73 for (int index = 0; index < length; index += 2) { |
74 Handle<Object> key(constant_properties->get(index + 0), isolate); | 74 Handle<Object> key(constant_properties->get(index + 0), isolate); |
75 Handle<Object> value(constant_properties->get(index + 1), isolate); | 75 Handle<Object> value(constant_properties->get(index + 1), isolate); |
76 if (value->IsFixedArray()) { | 76 if (value->IsFixedArray()) { |
77 // The value contains the constant_properties of a | 77 // The value contains the constant_properties of a |
78 // simple object or array literal. | 78 // simple object or array literal. |
79 Handle<FixedArray> array = Handle<FixedArray>::cast(value); | 79 Handle<ConstantProperties> array = |
| 80 Handle<ConstantProperties>::cast(value); |
80 ASSIGN_RETURN_ON_EXCEPTION( | 81 ASSIGN_RETURN_ON_EXCEPTION( |
81 isolate, value, CreateLiteralBoilerplate(isolate, literals, array), | 82 isolate, value, CreateLiteralBoilerplate(isolate, literals, array), |
82 Object); | 83 Object); |
83 } | 84 } |
84 MaybeHandle<Object> maybe_result; | 85 MaybeHandle<Object> maybe_result; |
85 uint32_t element_index = 0; | 86 uint32_t element_index = 0; |
86 if (key->ToArrayIndex(&element_index)) { | 87 if (key->ToArrayIndex(&element_index)) { |
87 // Array index (uint32). | 88 // Array index (uint32). |
88 if (value->IsUninitialized(isolate)) { | 89 if (value->IsUninitialized(isolate)) { |
89 value = handle(Smi::kZero, isolate); | 90 value = handle(Smi::kZero, isolate); |
(...skipping 67 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
157 Handle<FixedArray> fixed_array_values = | 158 Handle<FixedArray> fixed_array_values = |
158 Handle<FixedArray>::cast(constant_elements_values); | 159 Handle<FixedArray>::cast(constant_elements_values); |
159 Handle<FixedArray> fixed_array_values_copy = | 160 Handle<FixedArray> fixed_array_values_copy = |
160 isolate->factory()->CopyFixedArray(fixed_array_values); | 161 isolate->factory()->CopyFixedArray(fixed_array_values); |
161 copied_elements_values = fixed_array_values_copy; | 162 copied_elements_values = fixed_array_values_copy; |
162 FOR_WITH_HANDLE_SCOPE( | 163 FOR_WITH_HANDLE_SCOPE( |
163 isolate, int, i = 0, i, i < fixed_array_values->length(), i++, { | 164 isolate, int, i = 0, i, i < fixed_array_values->length(), i++, { |
164 if (fixed_array_values->get(i)->IsFixedArray()) { | 165 if (fixed_array_values->get(i)->IsFixedArray()) { |
165 // The value contains the constant_properties of a | 166 // The value contains the constant_properties of a |
166 // simple object or array literal. | 167 // simple object or array literal. |
167 Handle<FixedArray> fa( | 168 Handle<ConstantProperties> fa( |
168 FixedArray::cast(fixed_array_values->get(i))); | 169 ConstantProperties::cast(fixed_array_values->get(i))); |
169 Handle<Object> result; | 170 Handle<Object> result; |
170 ASSIGN_RETURN_ON_EXCEPTION( | 171 ASSIGN_RETURN_ON_EXCEPTION( |
171 isolate, result, | 172 isolate, result, |
172 CreateLiteralBoilerplate(isolate, literals, fa), Object); | 173 CreateLiteralBoilerplate(isolate, literals, fa), Object); |
173 fixed_array_values_copy->set(i, *result); | 174 fixed_array_values_copy->set(i, *result); |
174 } | 175 } |
175 }); | 176 }); |
176 } | 177 } |
177 } | 178 } |
178 object->set_elements(*copied_elements_values); | 179 object->set_elements(*copied_elements_values); |
179 object->set_length(Smi::FromInt(copied_elements_values->length())); | 180 object->set_length(Smi::FromInt(copied_elements_values->length())); |
180 | 181 |
181 JSObject::ValidateElements(object); | 182 JSObject::ValidateElements(object); |
182 return object; | 183 return object; |
183 } | 184 } |
184 | 185 |
185 MUST_USE_RESULT static MaybeHandle<Object> CreateLiteralBoilerplate( | 186 MUST_USE_RESULT static MaybeHandle<Object> CreateLiteralBoilerplate( |
186 Isolate* isolate, Handle<LiteralsArray> literals, | 187 Isolate* isolate, Handle<LiteralsArray> literals, |
187 Handle<FixedArray> array) { | 188 Handle<ConstantProperties> array) { |
188 Handle<HeapObject> elements = CompileTimeValue::GetElements(array); | 189 Handle<HeapObject> elements = CompileTimeValue::GetElements(array); |
189 switch (CompileTimeValue::GetLiteralType(array)) { | 190 switch (CompileTimeValue::GetLiteralType(array)) { |
190 case CompileTimeValue::OBJECT_LITERAL_FAST_ELEMENTS: { | 191 case CompileTimeValue::OBJECT_LITERAL_FAST_ELEMENTS: { |
191 Handle<FixedArray> props = Handle<FixedArray>::cast(elements); | 192 Handle<ConstantProperties> props = |
| 193 Handle<ConstantProperties>::cast(elements); |
192 return CreateObjectLiteralBoilerplate(isolate, literals, props, true); | 194 return CreateObjectLiteralBoilerplate(isolate, literals, props, true); |
193 } | 195 } |
194 case CompileTimeValue::OBJECT_LITERAL_SLOW_ELEMENTS: { | 196 case CompileTimeValue::OBJECT_LITERAL_SLOW_ELEMENTS: { |
195 Handle<FixedArray> props = Handle<FixedArray>::cast(elements); | 197 Handle<ConstantProperties> props = |
| 198 Handle<ConstantProperties>::cast(elements); |
196 return CreateObjectLiteralBoilerplate(isolate, literals, props, false); | 199 return CreateObjectLiteralBoilerplate(isolate, literals, props, false); |
197 } | 200 } |
198 case CompileTimeValue::ARRAY_LITERAL: { | 201 case CompileTimeValue::ARRAY_LITERAL: { |
199 Handle<ConstantElementsPair> elems = | 202 Handle<ConstantElementsPair> elems = |
200 Handle<ConstantElementsPair>::cast(elements); | 203 Handle<ConstantElementsPair>::cast(elements); |
201 return CreateArrayLiteralBoilerplate(isolate, literals, elems); | 204 return CreateArrayLiteralBoilerplate(isolate, literals, elems); |
202 } | 205 } |
203 default: | 206 default: |
204 UNREACHABLE(); | 207 UNREACHABLE(); |
205 return MaybeHandle<Object>(); | 208 return MaybeHandle<Object>(); |
(...skipping 18 matching lines...) Expand all Loading... |
224 } | 227 } |
225 return *JSRegExp::Copy(Handle<JSRegExp>::cast(boilerplate)); | 228 return *JSRegExp::Copy(Handle<JSRegExp>::cast(boilerplate)); |
226 } | 229 } |
227 | 230 |
228 | 231 |
229 RUNTIME_FUNCTION(Runtime_CreateObjectLiteral) { | 232 RUNTIME_FUNCTION(Runtime_CreateObjectLiteral) { |
230 HandleScope scope(isolate); | 233 HandleScope scope(isolate); |
231 DCHECK_EQ(4, args.length()); | 234 DCHECK_EQ(4, args.length()); |
232 CONVERT_ARG_HANDLE_CHECKED(JSFunction, closure, 0); | 235 CONVERT_ARG_HANDLE_CHECKED(JSFunction, closure, 0); |
233 CONVERT_SMI_ARG_CHECKED(literals_index, 1); | 236 CONVERT_SMI_ARG_CHECKED(literals_index, 1); |
234 CONVERT_ARG_HANDLE_CHECKED(FixedArray, constant_properties, 2); | 237 CONVERT_ARG_HANDLE_CHECKED(ConstantProperties, constant_properties, 2); |
235 CONVERT_SMI_ARG_CHECKED(flags, 3); | 238 CONVERT_SMI_ARG_CHECKED(flags, 3); |
236 Handle<LiteralsArray> literals(closure->literals(), isolate); | 239 Handle<LiteralsArray> literals(closure->literals(), isolate); |
237 bool should_have_fast_elements = (flags & ObjectLiteral::kFastElements) != 0; | 240 bool should_have_fast_elements = (flags & ObjectLiteral::kFastElements) != 0; |
238 bool enable_mementos = (flags & ObjectLiteral::kDisableMementos) == 0; | 241 bool enable_mementos = (flags & ObjectLiteral::kDisableMementos) == 0; |
239 | 242 |
240 CHECK(literals_index >= 0); | 243 CHECK(literals_index >= 0); |
241 CHECK(literals_index < literals->literals_count()); | 244 CHECK(literals_index < literals->literals_count()); |
242 | 245 |
243 // Check if boilerplate exists. If not, create it first. | 246 // Check if boilerplate exists. If not, create it first. |
244 Handle<Object> literal_site(literals->literal(literals_index), isolate); | 247 Handle<Object> literal_site(literals->literal(literals_index), isolate); |
(...skipping 106 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
351 | 354 |
352 Handle<LiteralsArray> literals(closure->literals(), isolate); | 355 Handle<LiteralsArray> literals(closure->literals(), isolate); |
353 RETURN_RESULT_OR_FAILURE( | 356 RETURN_RESULT_OR_FAILURE( |
354 isolate, | 357 isolate, |
355 CreateArrayLiteralImpl(isolate, literals, literals_index, elements, | 358 CreateArrayLiteralImpl(isolate, literals, literals_index, elements, |
356 ArrayLiteral::kShallowElements)); | 359 ArrayLiteral::kShallowElements)); |
357 } | 360 } |
358 | 361 |
359 } // namespace internal | 362 } // namespace internal |
360 } // namespace v8 | 363 } // namespace v8 |
OLD | NEW |