blob: 0b83182dbfbe31ba77c818eed03f3dea35590438 [file] [log] [blame]
Steve Block9fac8402011-05-12 15:51:54 +01001// Copyright 2010 the V8 project authors. All rights reserved.
Steve Blocka7e24c12009-10-30 11:49:00 +00002// Redistribution and use in source and binary forms, with or without
3// modification, are permitted provided that the following conditions are
4// met:
5//
6// * Redistributions of source code must retain the above copyright
7// notice, this list of conditions and the following disclaimer.
8// * Redistributions in binary form must reproduce the above
9// copyright notice, this list of conditions and the following
10// disclaimer in the documentation and/or other materials provided
11// with the distribution.
12// * Neither the name of Google Inc. nor the names of its
13// contributors may be used to endorse or promote products derived
14// from this software without specific prior written permission.
15//
16// THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
17// "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
18// LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
19// A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
20// OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
21// SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
22// LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
23// DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
24// THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
25// (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
26// OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
27
28#include "v8.h"
29
30#include "disassembler.h"
31#include "disasm.h"
Steve Blocka7e24c12009-10-30 11:49:00 +000032#include "jsregexp.h"
Kristian Monsen80d68ea2010-09-08 11:05:35 +010033#include "objects-visiting.h"
Steve Blocka7e24c12009-10-30 11:49:00 +000034
35namespace v8 {
36namespace internal {
37
Ben Murdochb0fe1622011-05-05 13:52:32 +010038#ifdef DEBUG
Steve Block9fac8402011-05-12 15:51:54 +010039
John Reck59135872010-11-02 12:39:01 -070040void MaybeObject::Verify() {
41 Object* this_as_object;
42 if (ToObject(&this_as_object)) {
43 if (this_as_object->IsSmi()) {
44 Smi::cast(this_as_object)->SmiVerify();
45 } else {
46 HeapObject::cast(this_as_object)->HeapObjectVerify();
47 }
Steve Blocka7e24c12009-10-30 11:49:00 +000048 } else {
John Reck59135872010-11-02 12:39:01 -070049 Failure::cast(this)->FailureVerify();
Steve Blocka7e24c12009-10-30 11:49:00 +000050 }
51}
52
53
54void Object::VerifyPointer(Object* p) {
55 if (p->IsHeapObject()) {
56 HeapObject::VerifyHeapPointer(p);
57 } else {
58 ASSERT(p->IsSmi());
59 }
60}
61
62
63void Smi::SmiVerify() {
64 ASSERT(IsSmi());
65}
66
67
68void Failure::FailureVerify() {
69 ASSERT(IsFailure());
70}
71
72
Steve Blocka7e24c12009-10-30 11:49:00 +000073void HeapObject::HeapObjectVerify() {
74 InstanceType instance_type = map()->instance_type();
75
76 if (instance_type < FIRST_NONSTRING_TYPE) {
77 String::cast(this)->StringVerify();
78 return;
79 }
80
81 switch (instance_type) {
82 case MAP_TYPE:
83 Map::cast(this)->MapVerify();
84 break;
85 case HEAP_NUMBER_TYPE:
86 HeapNumber::cast(this)->HeapNumberVerify();
87 break;
88 case FIXED_ARRAY_TYPE:
89 FixedArray::cast(this)->FixedArrayVerify();
90 break;
91 case BYTE_ARRAY_TYPE:
92 ByteArray::cast(this)->ByteArrayVerify();
93 break;
94 case PIXEL_ARRAY_TYPE:
95 PixelArray::cast(this)->PixelArrayVerify();
96 break;
Steve Block3ce2e202009-11-05 08:53:23 +000097 case EXTERNAL_BYTE_ARRAY_TYPE:
98 ExternalByteArray::cast(this)->ExternalByteArrayVerify();
99 break;
100 case EXTERNAL_UNSIGNED_BYTE_ARRAY_TYPE:
101 ExternalUnsignedByteArray::cast(this)->ExternalUnsignedByteArrayVerify();
102 break;
103 case EXTERNAL_SHORT_ARRAY_TYPE:
104 ExternalShortArray::cast(this)->ExternalShortArrayVerify();
105 break;
106 case EXTERNAL_UNSIGNED_SHORT_ARRAY_TYPE:
107 ExternalUnsignedShortArray::cast(this)->
108 ExternalUnsignedShortArrayVerify();
109 break;
110 case EXTERNAL_INT_ARRAY_TYPE:
111 ExternalIntArray::cast(this)->ExternalIntArrayVerify();
112 break;
113 case EXTERNAL_UNSIGNED_INT_ARRAY_TYPE:
114 ExternalUnsignedIntArray::cast(this)->ExternalUnsignedIntArrayVerify();
115 break;
116 case EXTERNAL_FLOAT_ARRAY_TYPE:
117 ExternalFloatArray::cast(this)->ExternalFloatArrayVerify();
118 break;
Steve Blocka7e24c12009-10-30 11:49:00 +0000119 case CODE_TYPE:
120 Code::cast(this)->CodeVerify();
121 break;
122 case ODDBALL_TYPE:
123 Oddball::cast(this)->OddballVerify();
124 break;
125 case JS_OBJECT_TYPE:
126 case JS_CONTEXT_EXTENSION_OBJECT_TYPE:
127 JSObject::cast(this)->JSObjectVerify();
128 break;
129 case JS_VALUE_TYPE:
130 JSValue::cast(this)->JSValueVerify();
131 break;
132 case JS_FUNCTION_TYPE:
133 JSFunction::cast(this)->JSFunctionVerify();
134 break;
135 case JS_GLOBAL_PROXY_TYPE:
136 JSGlobalProxy::cast(this)->JSGlobalProxyVerify();
137 break;
138 case JS_GLOBAL_OBJECT_TYPE:
139 JSGlobalObject::cast(this)->JSGlobalObjectVerify();
140 break;
141 case JS_BUILTINS_OBJECT_TYPE:
142 JSBuiltinsObject::cast(this)->JSBuiltinsObjectVerify();
143 break;
144 case JS_GLOBAL_PROPERTY_CELL_TYPE:
145 JSGlobalPropertyCell::cast(this)->JSGlobalPropertyCellVerify();
146 break;
147 case JS_ARRAY_TYPE:
148 JSArray::cast(this)->JSArrayVerify();
149 break;
150 case JS_REGEXP_TYPE:
151 JSRegExp::cast(this)->JSRegExpVerify();
152 break;
153 case FILLER_TYPE:
154 break;
155 case PROXY_TYPE:
156 Proxy::cast(this)->ProxyVerify();
157 break;
158 case SHARED_FUNCTION_INFO_TYPE:
159 SharedFunctionInfo::cast(this)->SharedFunctionInfoVerify();
160 break;
161
162#define MAKE_STRUCT_CASE(NAME, Name, name) \
163 case NAME##_TYPE: \
164 Name::cast(this)->Name##Verify(); \
165 break;
166 STRUCT_LIST(MAKE_STRUCT_CASE)
167#undef MAKE_STRUCT_CASE
168
169 default:
170 UNREACHABLE();
171 break;
172 }
173}
174
175
176void HeapObject::VerifyHeapPointer(Object* p) {
177 ASSERT(p->IsHeapObject());
178 ASSERT(Heap::Contains(HeapObject::cast(p)));
179}
180
181
182void HeapNumber::HeapNumberVerify() {
183 ASSERT(IsHeapNumber());
184}
185
186
Steve Blocka7e24c12009-10-30 11:49:00 +0000187void ByteArray::ByteArrayVerify() {
188 ASSERT(IsByteArray());
189}
190
191
192void PixelArray::PixelArrayVerify() {
193 ASSERT(IsPixelArray());
194}
195
196
Steve Block3ce2e202009-11-05 08:53:23 +0000197void ExternalByteArray::ExternalByteArrayVerify() {
198 ASSERT(IsExternalByteArray());
199}
200
201
202void ExternalUnsignedByteArray::ExternalUnsignedByteArrayVerify() {
203 ASSERT(IsExternalUnsignedByteArray());
204}
205
206
207void ExternalShortArray::ExternalShortArrayVerify() {
208 ASSERT(IsExternalShortArray());
209}
210
211
212void ExternalUnsignedShortArray::ExternalUnsignedShortArrayVerify() {
213 ASSERT(IsExternalUnsignedShortArray());
214}
215
216
217void ExternalIntArray::ExternalIntArrayVerify() {
218 ASSERT(IsExternalIntArray());
219}
220
221
222void ExternalUnsignedIntArray::ExternalUnsignedIntArrayVerify() {
223 ASSERT(IsExternalUnsignedIntArray());
224}
225
226
227void ExternalFloatArray::ExternalFloatArrayVerify() {
228 ASSERT(IsExternalFloatArray());
229}
230
231
Steve Blocka7e24c12009-10-30 11:49:00 +0000232void JSObject::JSObjectVerify() {
233 VerifyHeapPointer(properties());
234 VerifyHeapPointer(elements());
235 if (HasFastProperties()) {
236 CHECK_EQ(map()->unused_property_fields(),
237 (map()->inobject_properties() + properties()->length() -
238 map()->NextFreePropertyIndex()));
239 }
Steve Block8defd9f2010-07-08 12:39:36 +0100240 ASSERT(map()->has_fast_elements() ==
Iain Merrick75681382010-08-19 15:07:18 +0100241 (elements()->map() == Heap::fixed_array_map() ||
242 elements()->map() == Heap::fixed_cow_array_map()));
Steve Block8defd9f2010-07-08 12:39:36 +0100243 ASSERT(map()->has_fast_elements() == HasFastElements());
Steve Blocka7e24c12009-10-30 11:49:00 +0000244}
245
246
Steve Blocka7e24c12009-10-30 11:49:00 +0000247void Map::MapVerify() {
248 ASSERT(!Heap::InNewSpace(this));
249 ASSERT(FIRST_TYPE <= instance_type() && instance_type() <= LAST_TYPE);
Steve Block791712a2010-08-27 10:21:07 +0100250 ASSERT(instance_size() == kVariableSizeSentinel ||
251 (kPointerSize <= instance_size() &&
252 instance_size() < Heap::Capacity()));
Steve Blocka7e24c12009-10-30 11:49:00 +0000253 VerifyHeapPointer(prototype());
254 VerifyHeapPointer(instance_descriptors());
255}
256
257
Kristian Monsen0d5e1162010-09-30 15:31:59 +0100258void Map::SharedMapVerify() {
Kristian Monsen80d68ea2010-09-08 11:05:35 +0100259 MapVerify();
Kristian Monsen0d5e1162010-09-30 15:31:59 +0100260 ASSERT(is_shared());
Kristian Monsen80d68ea2010-09-08 11:05:35 +0100261 ASSERT_EQ(Heap::empty_descriptor_array(), instance_descriptors());
262 ASSERT_EQ(Heap::empty_fixed_array(), code_cache());
263 ASSERT_EQ(0, pre_allocated_property_fields());
264 ASSERT_EQ(0, unused_property_fields());
265 ASSERT_EQ(StaticVisitorBase::GetVisitorId(instance_type(), instance_size()),
266 visitor_id());
267}
268
269
Steve Block6ded16b2010-05-10 14:33:55 +0100270void CodeCache::CodeCacheVerify() {
271 VerifyHeapPointer(default_cache());
272 VerifyHeapPointer(normal_type_cache());
273 ASSERT(default_cache()->IsFixedArray());
274 ASSERT(normal_type_cache()->IsUndefined()
275 || normal_type_cache()->IsCodeCacheHashTable());
276}
277
278
Steve Blocka7e24c12009-10-30 11:49:00 +0000279void FixedArray::FixedArrayVerify() {
280 for (int i = 0; i < length(); i++) {
281 Object* e = get(i);
282 if (e->IsHeapObject()) {
283 VerifyHeapPointer(e);
284 } else {
285 e->Verify();
286 }
287 }
288}
289
290
Steve Blocka7e24c12009-10-30 11:49:00 +0000291void JSValue::JSValueVerify() {
292 Object* v = value();
293 if (v->IsHeapObject()) {
294 VerifyHeapPointer(v);
295 }
296}
297
298
Steve Blocka7e24c12009-10-30 11:49:00 +0000299void String::StringVerify() {
300 CHECK(IsString());
301 CHECK(length() >= 0 && length() <= Smi::kMaxValue);
302 if (IsSymbol()) {
303 CHECK(!Heap::InNewSpace(this));
304 }
305}
306
307
Steve Blocka7e24c12009-10-30 11:49:00 +0000308void JSFunction::JSFunctionVerify() {
309 CHECK(IsJSFunction());
310 VerifyObjectField(kPrototypeOrInitialMapOffset);
Ben Murdochb0fe1622011-05-05 13:52:32 +0100311 VerifyObjectField(kNextFunctionLinkOffset);
312 CHECK(next_function_link()->IsUndefined() ||
313 next_function_link()->IsJSFunction());
Steve Blocka7e24c12009-10-30 11:49:00 +0000314}
315
316
Steve Blocka7e24c12009-10-30 11:49:00 +0000317void SharedFunctionInfo::SharedFunctionInfoVerify() {
318 CHECK(IsSharedFunctionInfo());
319 VerifyObjectField(kNameOffset);
320 VerifyObjectField(kCodeOffset);
Ben Murdoch3bec4d22010-07-22 14:51:16 +0100321 VerifyObjectField(kScopeInfoOffset);
Steve Blocka7e24c12009-10-30 11:49:00 +0000322 VerifyObjectField(kInstanceClassNameOffset);
Steve Block6ded16b2010-05-10 14:33:55 +0100323 VerifyObjectField(kFunctionDataOffset);
Steve Blocka7e24c12009-10-30 11:49:00 +0000324 VerifyObjectField(kScriptOffset);
325 VerifyObjectField(kDebugInfoOffset);
326}
327
328
Steve Blocka7e24c12009-10-30 11:49:00 +0000329void JSGlobalProxy::JSGlobalProxyVerify() {
330 CHECK(IsJSGlobalProxy());
331 JSObjectVerify();
332 VerifyObjectField(JSGlobalProxy::kContextOffset);
333 // Make sure that this object has no properties, elements.
334 CHECK_EQ(0, properties()->length());
Ben Murdoch7f4d5bd2010-06-15 11:15:29 +0100335 CHECK(HasFastElements());
336 CHECK_EQ(0, FixedArray::cast(elements())->length());
Steve Blocka7e24c12009-10-30 11:49:00 +0000337}
338
339
Steve Blocka7e24c12009-10-30 11:49:00 +0000340void JSGlobalObject::JSGlobalObjectVerify() {
341 CHECK(IsJSGlobalObject());
342 JSObjectVerify();
343 for (int i = GlobalObject::kBuiltinsOffset;
344 i < JSGlobalObject::kSize;
345 i += kPointerSize) {
346 VerifyObjectField(i);
347 }
348}
349
350
Steve Blocka7e24c12009-10-30 11:49:00 +0000351void JSBuiltinsObject::JSBuiltinsObjectVerify() {
352 CHECK(IsJSBuiltinsObject());
353 JSObjectVerify();
354 for (int i = GlobalObject::kBuiltinsOffset;
355 i < JSBuiltinsObject::kSize;
356 i += kPointerSize) {
357 VerifyObjectField(i);
358 }
359}
360
361
362void Oddball::OddballVerify() {
363 CHECK(IsOddball());
364 VerifyHeapPointer(to_string());
365 Object* number = to_number();
366 if (number->IsHeapObject()) {
367 ASSERT(number == Heap::nan_value());
368 } else {
369 ASSERT(number->IsSmi());
370 int value = Smi::cast(number)->value();
371 ASSERT(value == 0 || value == 1 || value == -1 ||
372 value == -2 || value == -3);
373 }
374}
375
376
377void JSGlobalPropertyCell::JSGlobalPropertyCellVerify() {
378 CHECK(IsJSGlobalPropertyCell());
379 VerifyObjectField(kValueOffset);
380}
381
382
Steve Blocka7e24c12009-10-30 11:49:00 +0000383void Code::CodeVerify() {
384 CHECK(IsAligned(reinterpret_cast<intptr_t>(instruction_start()),
Kristian Monsen0d5e1162010-09-30 15:31:59 +0100385 kCodeAlignment));
Steve Blocka7e24c12009-10-30 11:49:00 +0000386 Address last_gc_pc = NULL;
387 for (RelocIterator it(this); !it.done(); it.next()) {
388 it.rinfo()->Verify();
389 // Ensure that GC will not iterate twice over the same pointer.
390 if (RelocInfo::IsGCRelocMode(it.rinfo()->rmode())) {
391 CHECK(it.rinfo()->pc() != last_gc_pc);
392 last_gc_pc = it.rinfo()->pc();
393 }
394 }
395}
396
397
398void JSArray::JSArrayVerify() {
399 JSObjectVerify();
400 ASSERT(length()->IsNumber() || length()->IsUndefined());
401 ASSERT(elements()->IsUndefined() || elements()->IsFixedArray());
402}
403
404
405void JSRegExp::JSRegExpVerify() {
406 JSObjectVerify();
407 ASSERT(data()->IsUndefined() || data()->IsFixedArray());
408 switch (TypeTag()) {
409 case JSRegExp::ATOM: {
410 FixedArray* arr = FixedArray::cast(data());
411 ASSERT(arr->get(JSRegExp::kAtomPatternIndex)->IsString());
412 break;
413 }
414 case JSRegExp::IRREGEXP: {
415 bool is_native = RegExpImpl::UsesNativeRegExp();
416
417 FixedArray* arr = FixedArray::cast(data());
418 Object* ascii_data = arr->get(JSRegExp::kIrregexpASCIICodeIndex);
419 // TheHole : Not compiled yet.
420 // JSObject: Compilation error.
421 // Code/ByteArray: Compiled code.
422 ASSERT(ascii_data->IsTheHole() || ascii_data->IsJSObject() ||
423 (is_native ? ascii_data->IsCode() : ascii_data->IsByteArray()));
424 Object* uc16_data = arr->get(JSRegExp::kIrregexpUC16CodeIndex);
425 ASSERT(uc16_data->IsTheHole() || ascii_data->IsJSObject() ||
426 (is_native ? uc16_data->IsCode() : uc16_data->IsByteArray()));
427 ASSERT(arr->get(JSRegExp::kIrregexpCaptureCountIndex)->IsSmi());
428 ASSERT(arr->get(JSRegExp::kIrregexpMaxRegisterCountIndex)->IsSmi());
429 break;
430 }
431 default:
432 ASSERT_EQ(JSRegExp::NOT_COMPILED, TypeTag());
433 ASSERT(data()->IsUndefined());
434 break;
435 }
436}
437
438
Steve Blocka7e24c12009-10-30 11:49:00 +0000439void Proxy::ProxyVerify() {
440 ASSERT(IsProxy());
441}
442
443
444void AccessorInfo::AccessorInfoVerify() {
445 CHECK(IsAccessorInfo());
446 VerifyPointer(getter());
447 VerifyPointer(setter());
448 VerifyPointer(name());
449 VerifyPointer(data());
450 VerifyPointer(flag());
451}
452
Ben Murdochb0fe1622011-05-05 13:52:32 +0100453
Steve Blocka7e24c12009-10-30 11:49:00 +0000454void AccessCheckInfo::AccessCheckInfoVerify() {
455 CHECK(IsAccessCheckInfo());
456 VerifyPointer(named_callback());
457 VerifyPointer(indexed_callback());
458 VerifyPointer(data());
459}
460
Ben Murdochb0fe1622011-05-05 13:52:32 +0100461
Steve Blocka7e24c12009-10-30 11:49:00 +0000462void InterceptorInfo::InterceptorInfoVerify() {
463 CHECK(IsInterceptorInfo());
464 VerifyPointer(getter());
465 VerifyPointer(setter());
466 VerifyPointer(query());
467 VerifyPointer(deleter());
468 VerifyPointer(enumerator());
469 VerifyPointer(data());
470}
471
Ben Murdochb0fe1622011-05-05 13:52:32 +0100472
Steve Blocka7e24c12009-10-30 11:49:00 +0000473void CallHandlerInfo::CallHandlerInfoVerify() {
474 CHECK(IsCallHandlerInfo());
475 VerifyPointer(callback());
476 VerifyPointer(data());
477}
478
Ben Murdochb0fe1622011-05-05 13:52:32 +0100479
Steve Blocka7e24c12009-10-30 11:49:00 +0000480void TemplateInfo::TemplateInfoVerify() {
481 VerifyPointer(tag());
482 VerifyPointer(property_list());
483}
484
485void FunctionTemplateInfo::FunctionTemplateInfoVerify() {
486 CHECK(IsFunctionTemplateInfo());
487 TemplateInfoVerify();
488 VerifyPointer(serial_number());
489 VerifyPointer(call_code());
490 VerifyPointer(property_accessors());
491 VerifyPointer(prototype_template());
492 VerifyPointer(parent_template());
493 VerifyPointer(named_property_handler());
494 VerifyPointer(indexed_property_handler());
495 VerifyPointer(instance_template());
496 VerifyPointer(signature());
497 VerifyPointer(access_check_info());
498}
499
Ben Murdochb0fe1622011-05-05 13:52:32 +0100500
Steve Blocka7e24c12009-10-30 11:49:00 +0000501void ObjectTemplateInfo::ObjectTemplateInfoVerify() {
502 CHECK(IsObjectTemplateInfo());
503 TemplateInfoVerify();
504 VerifyPointer(constructor());
505 VerifyPointer(internal_field_count());
506}
507
Ben Murdochb0fe1622011-05-05 13:52:32 +0100508
Steve Blocka7e24c12009-10-30 11:49:00 +0000509void SignatureInfo::SignatureInfoVerify() {
510 CHECK(IsSignatureInfo());
511 VerifyPointer(receiver());
512 VerifyPointer(args());
513}
514
Ben Murdochb0fe1622011-05-05 13:52:32 +0100515
Steve Blocka7e24c12009-10-30 11:49:00 +0000516void TypeSwitchInfo::TypeSwitchInfoVerify() {
517 CHECK(IsTypeSwitchInfo());
518 VerifyPointer(types());
519}
520
Ben Murdochb0fe1622011-05-05 13:52:32 +0100521
Steve Blocka7e24c12009-10-30 11:49:00 +0000522void Script::ScriptVerify() {
523 CHECK(IsScript());
524 VerifyPointer(source());
525 VerifyPointer(name());
526 line_offset()->SmiVerify();
527 column_offset()->SmiVerify();
528 VerifyPointer(data());
529 VerifyPointer(wrapper());
530 type()->SmiVerify();
531 VerifyPointer(line_ends());
532 VerifyPointer(id());
533}
Steve Blocka7e24c12009-10-30 11:49:00 +0000534
535
536#ifdef ENABLE_DEBUGGER_SUPPORT
537void DebugInfo::DebugInfoVerify() {
538 CHECK(IsDebugInfo());
539 VerifyPointer(shared());
540 VerifyPointer(original_code());
541 VerifyPointer(code());
542 VerifyPointer(break_points());
543}
544
545
Steve Blocka7e24c12009-10-30 11:49:00 +0000546void BreakPointInfo::BreakPointInfoVerify() {
547 CHECK(IsBreakPointInfo());
548 code_position()->SmiVerify();
549 source_position()->SmiVerify();
550 statement_position()->SmiVerify();
551 VerifyPointer(break_point_objects());
552}
Ben Murdochb0fe1622011-05-05 13:52:32 +0100553#endif // ENABLE_DEBUGGER_SUPPORT
Steve Blocka7e24c12009-10-30 11:49:00 +0000554
555
556void JSObject::IncrementSpillStatistics(SpillInformation* info) {
557 info->number_of_objects_++;
558 // Named properties
559 if (HasFastProperties()) {
560 info->number_of_objects_with_fast_properties_++;
561 info->number_of_fast_used_fields_ += map()->NextFreePropertyIndex();
562 info->number_of_fast_unused_fields_ += map()->unused_property_fields();
563 } else {
564 StringDictionary* dict = property_dictionary();
565 info->number_of_slow_used_properties_ += dict->NumberOfElements();
566 info->number_of_slow_unused_properties_ +=
567 dict->Capacity() - dict->NumberOfElements();
568 }
569 // Indexed properties
570 switch (GetElementsKind()) {
571 case FAST_ELEMENTS: {
572 info->number_of_objects_with_fast_elements_++;
573 int holes = 0;
574 FixedArray* e = FixedArray::cast(elements());
575 int len = e->length();
576 for (int i = 0; i < len; i++) {
577 if (e->get(i) == Heap::the_hole_value()) holes++;
578 }
579 info->number_of_fast_used_elements_ += len - holes;
580 info->number_of_fast_unused_elements_ += holes;
581 break;
582 }
583 case PIXEL_ELEMENTS: {
584 info->number_of_objects_with_fast_elements_++;
585 PixelArray* e = PixelArray::cast(elements());
586 info->number_of_fast_used_elements_ += e->length();
587 break;
588 }
589 case DICTIONARY_ELEMENTS: {
590 NumberDictionary* dict = element_dictionary();
591 info->number_of_slow_used_elements_ += dict->NumberOfElements();
592 info->number_of_slow_unused_elements_ +=
593 dict->Capacity() - dict->NumberOfElements();
594 break;
595 }
596 default:
597 UNREACHABLE();
598 break;
599 }
600}
601
602
603void JSObject::SpillInformation::Clear() {
604 number_of_objects_ = 0;
605 number_of_objects_with_fast_properties_ = 0;
606 number_of_objects_with_fast_elements_ = 0;
607 number_of_fast_used_fields_ = 0;
608 number_of_fast_unused_fields_ = 0;
609 number_of_slow_used_properties_ = 0;
610 number_of_slow_unused_properties_ = 0;
611 number_of_fast_used_elements_ = 0;
612 number_of_fast_unused_elements_ = 0;
613 number_of_slow_used_elements_ = 0;
614 number_of_slow_unused_elements_ = 0;
615}
616
617void JSObject::SpillInformation::Print() {
618 PrintF("\n JSObject Spill Statistics (#%d):\n", number_of_objects_);
619
620 PrintF(" - fast properties (#%d): %d (used) %d (unused)\n",
621 number_of_objects_with_fast_properties_,
622 number_of_fast_used_fields_, number_of_fast_unused_fields_);
623
624 PrintF(" - slow properties (#%d): %d (used) %d (unused)\n",
625 number_of_objects_ - number_of_objects_with_fast_properties_,
626 number_of_slow_used_properties_, number_of_slow_unused_properties_);
627
628 PrintF(" - fast elements (#%d): %d (used) %d (unused)\n",
629 number_of_objects_with_fast_elements_,
630 number_of_fast_used_elements_, number_of_fast_unused_elements_);
631
632 PrintF(" - slow elements (#%d): %d (used) %d (unused)\n",
633 number_of_objects_ - number_of_objects_with_fast_elements_,
634 number_of_slow_used_elements_, number_of_slow_unused_elements_);
635
636 PrintF("\n");
637}
638
639
Steve Blocka7e24c12009-10-30 11:49:00 +0000640bool DescriptorArray::IsSortedNoDuplicates() {
641 String* current_key = NULL;
642 uint32_t current = 0;
643 for (int i = 0; i < number_of_descriptors(); i++) {
644 String* key = GetKey(i);
645 if (key == current_key) {
646 PrintDescriptors();
647 return false;
648 }
649 current_key = key;
650 uint32_t hash = GetKey(i)->Hash();
651 if (hash < current) {
652 PrintDescriptors();
653 return false;
654 }
655 current = hash;
656 }
657 return true;
658}
659
660
Steve Block6ded16b2010-05-10 14:33:55 +0100661void JSFunctionResultCache::JSFunctionResultCacheVerify() {
662 JSFunction::cast(get(kFactoryIndex))->Verify();
663
664 int size = Smi::cast(get(kCacheSizeIndex))->value();
665 ASSERT(kEntriesIndex <= size);
666 ASSERT(size <= length());
667 ASSERT_EQ(0, size % kEntrySize);
668
669 int finger = Smi::cast(get(kFingerIndex))->value();
670 ASSERT(kEntriesIndex <= finger);
671 ASSERT(finger < size || finger == kEntriesIndex);
672 ASSERT_EQ(0, finger % kEntrySize);
673
674 if (FLAG_enable_slow_asserts) {
675 for (int i = kEntriesIndex; i < size; i++) {
676 ASSERT(!get(i)->IsTheHole());
677 get(i)->Verify();
678 }
679 for (int i = size; i < length(); i++) {
680 ASSERT(get(i)->IsTheHole());
681 get(i)->Verify();
682 }
683 }
684}
685
686
Kristian Monsen80d68ea2010-09-08 11:05:35 +0100687void NormalizedMapCache::NormalizedMapCacheVerify() {
688 FixedArray::cast(this)->Verify();
689 if (FLAG_enable_slow_asserts) {
690 for (int i = 0; i < length(); i++) {
691 Object* e = get(i);
692 if (e->IsMap()) {
Kristian Monsen0d5e1162010-09-30 15:31:59 +0100693 Map::cast(e)->SharedMapVerify();
Kristian Monsen80d68ea2010-09-08 11:05:35 +0100694 } else {
695 ASSERT(e->IsUndefined());
696 }
697 }
698 }
699}
700
701
Steve Blocka7e24c12009-10-30 11:49:00 +0000702#endif // DEBUG
703
704} } // namespace v8::internal