blob: d67544e7be9d191ceedf2694aad46614abeb1b54 [file] [log] [blame]
ager@chromium.org9258b6b2008-09-11 09:11:10 +00001// Copyright 2006-2008 the V8 project authors. All rights reserved.
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +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"
32#include "macro-assembler.h"
33
34namespace v8 { namespace internal {
35
36#ifdef DEBUG
37
38static const char* TypeToString(InstanceType type);
39
40
41void Object::Print() {
42 if (IsSmi()) {
43 Smi::cast(this)->SmiPrint();
44 } else if (IsFailure()) {
45 Failure::cast(this)->FailurePrint();
46 } else {
47 HeapObject::cast(this)->HeapObjectPrint();
48 }
49 Flush();
50}
51
52
53void Object::PrintLn() {
54 Print();
55 PrintF("\n");
56}
57
58
59void Object::Verify() {
60 if (IsSmi()) {
61 Smi::cast(this)->SmiVerify();
62 } else if (IsFailure()) {
63 Failure::cast(this)->FailureVerify();
64 } else {
65 HeapObject::cast(this)->HeapObjectVerify();
66 }
67}
68
69
70void Object::VerifyPointer(Object* p) {
71 if (p->IsHeapObject()) {
72 HeapObject::VerifyHeapPointer(p);
73 } else {
74 ASSERT(p->IsSmi());
75 }
76}
77
78
79void Smi::SmiVerify() {
80 ASSERT(IsSmi());
81}
82
83
84void Failure::FailureVerify() {
85 ASSERT(IsFailure());
86}
87
88
89void HeapObject::PrintHeader(const char* id) {
90 PrintF("%p: [%s]\n", this, id);
91}
92
93
94void HeapObject::HeapObjectPrint() {
95 InstanceType instance_type = map()->instance_type();
96
97 HandleScope scope;
98 if (instance_type < FIRST_NONSTRING_TYPE) {
99 String::cast(this)->StringPrint();
100 return;
101 }
102
103 switch (instance_type) {
104 case MAP_TYPE:
105 Map::cast(this)->MapPrint();
106 break;
107 case HEAP_NUMBER_TYPE:
108 HeapNumber::cast(this)->HeapNumberPrint();
109 break;
110 case FIXED_ARRAY_TYPE:
111 FixedArray::cast(this)->FixedArrayPrint();
112 break;
113 case BYTE_ARRAY_TYPE:
114 ByteArray::cast(this)->ByteArrayPrint();
115 break;
116 case FILLER_TYPE:
117 PrintF("filler");
118 break;
119 case JS_OBJECT_TYPE: // fall through
120 case JS_ARRAY_TYPE:
ager@chromium.org236ad962008-09-25 09:45:57 +0000121 case JS_REGEXP_TYPE:
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000122 JSObject::cast(this)->JSObjectPrint();
123 break;
124 case ODDBALL_TYPE:
125 Oddball::cast(this)->to_string()->Print();
126 break;
127 case JS_FUNCTION_TYPE:
128 JSFunction::cast(this)->JSFunctionPrint();
129 break;
kasperl@chromium.org5a8ca6c2008-10-23 13:57:19 +0000130 case JS_GLOBAL_PROXY_TYPE:
131 JSGlobalProxy::cast(this)->JSGlobalProxyPrint();
132 break;
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000133 case JS_GLOBAL_OBJECT_TYPE:
134 JSGlobalObject::cast(this)->JSGlobalObjectPrint();
135 break;
136 case JS_BUILTINS_OBJECT_TYPE:
137 JSBuiltinsObject::cast(this)->JSBuiltinsObjectPrint();
138 break;
139 case JS_VALUE_TYPE:
mads.s.ager@gmail.com9a4089a2008-09-01 08:55:01 +0000140 PrintF("Value wrapper around:");
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000141 JSValue::cast(this)->value()->Print();
142 break;
143 case CODE_TYPE:
144 Code::cast(this)->CodePrint();
145 break;
146 case PROXY_TYPE:
147 Proxy::cast(this)->ProxyPrint();
148 break;
149 case SHARED_FUNCTION_INFO_TYPE:
150 SharedFunctionInfo::cast(this)->SharedFunctionInfoPrint();
151 break;
152
153#define MAKE_STRUCT_CASE(NAME, Name, name) \
154 case NAME##_TYPE: \
155 Name::cast(this)->Name##Print(); \
156 break;
157 STRUCT_LIST(MAKE_STRUCT_CASE)
158#undef MAKE_STRUCT_CASE
159
160 default:
161 PrintF("UNKNOWN TYPE %d", map()->instance_type());
162 UNREACHABLE();
163 break;
164 }
165}
166
167
168void HeapObject::HeapObjectVerify() {
169 InstanceType instance_type = map()->instance_type();
170
171 if (instance_type < FIRST_NONSTRING_TYPE) {
172 String::cast(this)->StringVerify();
173 return;
174 }
175
176 switch (instance_type) {
177 case MAP_TYPE:
178 Map::cast(this)->MapVerify();
179 break;
180 case HEAP_NUMBER_TYPE:
181 HeapNumber::cast(this)->HeapNumberVerify();
182 break;
183 case FIXED_ARRAY_TYPE:
184 FixedArray::cast(this)->FixedArrayVerify();
185 break;
186 case BYTE_ARRAY_TYPE:
187 ByteArray::cast(this)->ByteArrayVerify();
188 break;
189 case CODE_TYPE:
190 Code::cast(this)->CodeVerify();
191 break;
192 case ODDBALL_TYPE:
193 Oddball::cast(this)->OddballVerify();
194 break;
195 case JS_OBJECT_TYPE:
196 JSObject::cast(this)->JSObjectVerify();
197 break;
198 case JS_VALUE_TYPE:
199 JSValue::cast(this)->JSValueVerify();
200 break;
201 case JS_FUNCTION_TYPE:
202 JSFunction::cast(this)->JSFunctionVerify();
203 break;
kasperl@chromium.org5a8ca6c2008-10-23 13:57:19 +0000204 case JS_GLOBAL_PROXY_TYPE:
205 JSGlobalProxy::cast(this)->JSGlobalProxyVerify();
206 break;
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000207 case JS_GLOBAL_OBJECT_TYPE:
208 JSGlobalObject::cast(this)->JSGlobalObjectVerify();
209 break;
210 case JS_BUILTINS_OBJECT_TYPE:
211 JSBuiltinsObject::cast(this)->JSBuiltinsObjectVerify();
212 break;
213 case JS_ARRAY_TYPE:
214 JSArray::cast(this)->JSArrayVerify();
215 break;
ager@chromium.org236ad962008-09-25 09:45:57 +0000216 case JS_REGEXP_TYPE:
217 JSRegExp::cast(this)->JSRegExpVerify();
218 break;
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000219 case FILLER_TYPE:
220 break;
221 case PROXY_TYPE:
222 Proxy::cast(this)->ProxyVerify();
223 break;
224 case SHARED_FUNCTION_INFO_TYPE:
225 SharedFunctionInfo::cast(this)->SharedFunctionInfoVerify();
226 break;
227
228#define MAKE_STRUCT_CASE(NAME, Name, name) \
229 case NAME##_TYPE: \
230 Name::cast(this)->Name##Verify(); \
231 break;
232 STRUCT_LIST(MAKE_STRUCT_CASE)
233#undef MAKE_STRUCT_CASE
234
235 default:
236 UNREACHABLE();
237 break;
238 }
239}
240
241
242void HeapObject::VerifyHeapPointer(Object* p) {
243 ASSERT(p->IsHeapObject());
244 ASSERT(Heap::Contains(HeapObject::cast(p)));
245}
246
247
248void HeapNumber::HeapNumberVerify() {
249 ASSERT(IsHeapNumber());
250}
251
252
253void ByteArray::ByteArrayPrint() {
254 PrintF("byte array, data starts at %p", GetDataStartAddress());
255}
256
257
258void ByteArray::ByteArrayVerify() {
259 ASSERT(IsByteArray());
260}
261
262
263void JSObject::PrintProperties() {
264 if (HasFastProperties()) {
265 for (DescriptorReader r(map()->instance_descriptors());
266 !r.eos();
267 r.advance()) {
268 PrintF(" ");
269 r.GetKey()->StringPrint();
270 PrintF(": ");
271 if (r.type() == FIELD) {
ager@chromium.org7c537e22008-10-16 08:43:32 +0000272 FastPropertyAt(r.GetFieldIndex())->ShortPrint();
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000273 PrintF(" (field at offset %d)\n", r.GetFieldIndex());
274 } else if (r.type() == CONSTANT_FUNCTION) {
275 r.GetConstantFunction()->ShortPrint();
276 PrintF(" (constant function)\n");
277 } else if (r.type() == CALLBACKS) {
278 r.GetCallbacksObject()->ShortPrint();
279 PrintF(" (callback)\n");
280 } else if (r.type() == MAP_TRANSITION) {
281 PrintF(" (map transition)\n");
282 } else {
283 UNREACHABLE();
284 }
285 }
286 } else {
287 property_dictionary()->Print();
288 }
289}
290
291
292void JSObject::PrintElements() {
293 if (HasFastElements()) {
294 FixedArray* p = FixedArray::cast(elements());
295 for (int i = 0; i < p->length(); i++) {
296 PrintF(" %d: ", i);
297 p->get(i)->ShortPrint();
298 PrintF("\n");
299 }
300 } else {
301 elements()->Print();
302 }
303}
304
305
306void JSObject::JSObjectPrint() {
307 PrintF("%p: [JSObject]\n", this);
308 PrintF(" - map = %p\n", map());
309 PrintF(" - prototype = %p\n", GetPrototype());
310 PrintF(" {\n");
311 PrintProperties();
312 PrintElements();
313 PrintF(" }\n");
314}
315
316
317void JSObject::JSObjectVerify() {
318 VerifyHeapPointer(properties());
319 VerifyHeapPointer(elements());
320 if (HasFastProperties()) {
321 CHECK(map()->unused_property_fields() ==
ager@chromium.org7c537e22008-10-16 08:43:32 +0000322 (map()->inobject_properties() + properties()->length() -
323 map()->NextFreePropertyIndex()));
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000324 }
325}
326
327
328static const char* TypeToString(InstanceType type) {
329 switch (type) {
kasperl@chromium.org9fe21c62008-10-28 08:53:51 +0000330 case INVALID_TYPE: return "INVALID";
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000331 case MAP_TYPE: return "MAP";
332 case HEAP_NUMBER_TYPE: return "HEAP_NUMBER";
333 case SHORT_SYMBOL_TYPE:
334 case MEDIUM_SYMBOL_TYPE:
335 case LONG_SYMBOL_TYPE: return "SYMBOL";
336 case SHORT_ASCII_SYMBOL_TYPE:
337 case MEDIUM_ASCII_SYMBOL_TYPE:
338 case LONG_ASCII_SYMBOL_TYPE: return "ASCII_SYMBOL";
339 case SHORT_SLICED_SYMBOL_TYPE:
340 case MEDIUM_SLICED_SYMBOL_TYPE:
341 case LONG_SLICED_SYMBOL_TYPE: return "SLICED_SYMBOL";
342 case SHORT_SLICED_ASCII_SYMBOL_TYPE:
343 case MEDIUM_SLICED_ASCII_SYMBOL_TYPE:
344 case LONG_SLICED_ASCII_SYMBOL_TYPE: return "SLICED_ASCII_SYMBOL";
345 case SHORT_CONS_SYMBOL_TYPE:
346 case MEDIUM_CONS_SYMBOL_TYPE:
347 case LONG_CONS_SYMBOL_TYPE: return "CONS_SYMBOL";
348 case SHORT_CONS_ASCII_SYMBOL_TYPE:
349 case MEDIUM_CONS_ASCII_SYMBOL_TYPE:
350 case LONG_CONS_ASCII_SYMBOL_TYPE: return "CONS_ASCII_SYMBOL";
351 case SHORT_EXTERNAL_ASCII_SYMBOL_TYPE:
352 case MEDIUM_EXTERNAL_ASCII_SYMBOL_TYPE:
353 case LONG_EXTERNAL_ASCII_SYMBOL_TYPE:
354 case SHORT_EXTERNAL_SYMBOL_TYPE:
355 case MEDIUM_EXTERNAL_SYMBOL_TYPE:
356 case LONG_EXTERNAL_SYMBOL_TYPE: return "EXTERNAL_SYMBOL";
357 case SHORT_ASCII_STRING_TYPE:
358 case MEDIUM_ASCII_STRING_TYPE:
359 case LONG_ASCII_STRING_TYPE: return "ASCII_STRING";
360 case SHORT_STRING_TYPE:
361 case MEDIUM_STRING_TYPE:
362 case LONG_STRING_TYPE: return "TWO_BYTE_STRING";
363 case SHORT_CONS_STRING_TYPE:
364 case MEDIUM_CONS_STRING_TYPE:
365 case LONG_CONS_STRING_TYPE:
366 case SHORT_CONS_ASCII_STRING_TYPE:
367 case MEDIUM_CONS_ASCII_STRING_TYPE:
368 case LONG_CONS_ASCII_STRING_TYPE: return "CONS_STRING";
369 case SHORT_SLICED_STRING_TYPE:
370 case MEDIUM_SLICED_STRING_TYPE:
371 case LONG_SLICED_STRING_TYPE:
372 case SHORT_SLICED_ASCII_STRING_TYPE:
373 case MEDIUM_SLICED_ASCII_STRING_TYPE:
374 case LONG_SLICED_ASCII_STRING_TYPE: return "SLICED_STRING";
375 case SHORT_EXTERNAL_ASCII_STRING_TYPE:
376 case MEDIUM_EXTERNAL_ASCII_STRING_TYPE:
377 case LONG_EXTERNAL_ASCII_STRING_TYPE:
378 case SHORT_EXTERNAL_STRING_TYPE:
379 case MEDIUM_EXTERNAL_STRING_TYPE:
380 case LONG_EXTERNAL_STRING_TYPE: return "EXTERNAL_STRING";
381 case FIXED_ARRAY_TYPE: return "FIXED_ARRAY";
382 case BYTE_ARRAY_TYPE: return "BYTE_ARRAY";
383 case FILLER_TYPE: return "FILLER";
384 case JS_OBJECT_TYPE: return "JS_OBJECT";
385 case ODDBALL_TYPE: return "ODDBALL";
386 case SHARED_FUNCTION_INFO_TYPE: return "SHARED_FUNCTION_INFO";
387 case JS_FUNCTION_TYPE: return "JS_FUNCTION";
388 case CODE_TYPE: return "CODE";
389 case JS_ARRAY_TYPE: return "JS_ARRAY";
ager@chromium.org236ad962008-09-25 09:45:57 +0000390 case JS_REGEXP_TYPE: return "JS_REGEXP";
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000391 case JS_VALUE_TYPE: return "JS_VALUE";
392 case JS_GLOBAL_OBJECT_TYPE: return "JS_GLOBAL_OBJECT";
393 case JS_BUILTINS_OBJECT_TYPE: return "JS_BUILTINS_OBJECT";
kasperl@chromium.org5a8ca6c2008-10-23 13:57:19 +0000394 case JS_GLOBAL_PROXY_TYPE: return "JS_GLOBAL_PROXY";
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000395 case PROXY_TYPE: return "PROXY";
396 case SMI_TYPE: return "SMI";
397#define MAKE_STRUCT_CASE(NAME, Name, name) case NAME##_TYPE: return #NAME;
398 STRUCT_LIST(MAKE_STRUCT_CASE)
399#undef MAKE_STRUCT_CASE
400 }
401 return "UNKNOWN";
402}
403
404
405void Map::MapPrint() {
406 HeapObject::PrintHeader("Map");
407 PrintF(" - type: %s\n", TypeToString(instance_type()));
408 PrintF(" - instance size: %d\n", instance_size());
409 PrintF(" - unused property fields: %d\n", unused_property_fields());
410 PrintF(" - instance descriptors: ");
411 instance_descriptors()->ShortPrint();
412 PrintF("\n - prototype: ");
413 prototype()->ShortPrint();
414 PrintF("\n - constructor: ");
415 constructor()->ShortPrint();
416 PrintF("\n");
417}
418
419
420void Map::MapVerify() {
421 ASSERT(!Heap::InNewSpace(this));
422 ASSERT(FIRST_TYPE <= instance_type() && instance_type() <= LAST_TYPE);
423 ASSERT(kPointerSize <= instance_size()
424 && instance_size() < Heap::Capacity());
425 VerifyHeapPointer(prototype());
426 VerifyHeapPointer(instance_descriptors());
427}
428
429
430void FixedArray::FixedArrayPrint() {
431 HeapObject::PrintHeader("FixedArray");
432 PrintF(" - length: %d", length());
433 for (int i = 0; i < length(); i++) {
434 PrintF("\n [%d]: ", i);
435 get(i)->ShortPrint();
436 }
437 PrintF("\n");
438}
439
440
441void FixedArray::FixedArrayVerify() {
442 for (int i = 0; i < length(); i++) {
443 Object* e = get(i);
444 if (e->IsHeapObject()) {
445 VerifyHeapPointer(e);
446 } else {
447 e->Verify();
448 }
449 }
450}
451
452
453void JSValue::JSValuePrint() {
454 HeapObject::PrintHeader("ValueObject");
455 value()->Print();
456}
457
458
459void JSValue::JSValueVerify() {
460 Object* v = value();
461 if (v->IsHeapObject()) {
462 VerifyHeapPointer(v);
463 }
464}
465
466
467void String::StringPrint() {
468 if (IsSymbol()) {
469 PrintF("#");
470 } else if (IsConsString()) {
471 PrintF("c\"");
472 } else {
473 PrintF("\"");
474 }
475
476 for (int i = 0; i < length(); i++) {
477 PrintF("%c", Get(i));
478 }
479
480 if (!IsSymbol()) PrintF("\"");
481}
482
483
484void String::StringVerify() {
485 CHECK(IsString());
486 CHECK(length() >= 0 && length() <= Smi::kMaxValue);
487 if (IsSymbol()) {
488 CHECK(!Heap::InNewSpace(this));
489 }
490}
491
492
493void JSFunction::JSFunctionPrint() {
494 HeapObject::PrintHeader("Function");
495 PrintF(" - map = 0x%p\n", map());
496 PrintF(" - is boilerplate: %s\n", IsBoilerplate() ? "yes" : "no");
497 PrintF(" - initial_map = ");
498 if (has_initial_map()) {
499 initial_map()->ShortPrint();
500 }
501 PrintF("\n - shared_info = ");
502 shared()->ShortPrint();
503 PrintF("\n - name = ");
504 shared()->name()->Print();
505 PrintF("\n - context = ");
506 unchecked_context()->ShortPrint();
507 PrintF("\n - code = ");
508 code()->ShortPrint();
509 PrintF("\n");
510
511 PrintProperties();
512 PrintElements();
513
514 PrintF("\n");
515}
516
517
518void JSFunction::JSFunctionVerify() {
519 CHECK(IsJSFunction());
520 VerifyObjectField(kPrototypeOrInitialMapOffset);
521}
522
523
524void SharedFunctionInfo::SharedFunctionInfoPrint() {
525 HeapObject::PrintHeader("SharedFunctionInfo");
526 PrintF(" - name: ");
527 name()->ShortPrint();
528 PrintF("\n - expected_nof_properties: %d", expected_nof_properties());
529 PrintF("\n - instance class name =");
530 instance_class_name()->Print();
531 PrintF("\n - code =");
532 code()->ShortPrint();
533 PrintF("\n - source code =");
534 GetSourceCode()->ShortPrint();
535 PrintF("\n - lazy load: %s",
536 lazy_load_data() == Heap::undefined_value() ? "no" : "yes");
537 // Script files are often large, hard to read.
538 // PrintF("\n - script =");
539 // script()->Print();
540 PrintF("\n - function token position = %d", function_token_position());
541 PrintF("\n - start position = %d", start_position());
542 PrintF("\n - end position = %d", end_position());
543 PrintF("\n - is expression = %d", is_expression());
544 PrintF("\n - debug info = ");
545 debug_info()->Print();
546 PrintF("\n - length = %d", length());
547 PrintF("\n");
548}
549
550void SharedFunctionInfo::SharedFunctionInfoVerify() {
551 CHECK(IsSharedFunctionInfo());
552 VerifyObjectField(kNameOffset);
553 VerifyObjectField(kCodeOffset);
554 VerifyObjectField(kInstanceClassNameOffset);
555 VerifyObjectField(kExternalReferenceDataOffset);
556 VerifyObjectField(kLazyLoadDataOffset);
557 VerifyObjectField(kScriptOffset);
558 VerifyObjectField(kDebugInfoOffset);
559}
560
561
kasperl@chromium.org5a8ca6c2008-10-23 13:57:19 +0000562void JSGlobalProxy::JSGlobalProxyPrint() {
563 PrintF("global_proxy");
564 JSObjectPrint();
565 PrintF("context : ");
566 context()->ShortPrint();
567 PrintF("\n");
568}
569
570
571void JSGlobalProxy::JSGlobalProxyVerify() {
572 CHECK(IsJSGlobalProxy());
573 JSObjectVerify();
574 VerifyObjectField(JSGlobalProxy::kContextOffset);
575 // Make sure that this object has no properties, elements.
576 CHECK_EQ(0, properties()->length());
577 CHECK_EQ(0, elements()->length());
578}
579
580
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000581void JSGlobalObject::JSGlobalObjectPrint() {
582 PrintF("global ");
583 JSObjectPrint();
kasperl@chromium.org5a8ca6c2008-10-23 13:57:19 +0000584 PrintF("global context : ");
585 global_context()->ShortPrint();
586 PrintF("\n");
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000587}
588
589
590void JSGlobalObject::JSGlobalObjectVerify() {
591 CHECK(IsJSGlobalObject());
592 JSObjectVerify();
593 for (int i = GlobalObject::kBuiltinsOffset;
594 i < JSGlobalObject::kSize;
595 i += kPointerSize) {
596 VerifyObjectField(i);
597 }
598}
599
600
601void JSBuiltinsObject::JSBuiltinsObjectPrint() {
602 PrintF("builtins ");
603 JSObjectPrint();
604}
605
606
607void JSBuiltinsObject::JSBuiltinsObjectVerify() {
608 CHECK(IsJSBuiltinsObject());
609 JSObjectVerify();
610 for (int i = GlobalObject::kBuiltinsOffset;
611 i < JSBuiltinsObject::kSize;
612 i += kPointerSize) {
613 VerifyObjectField(i);
614 }
615}
616
617
618void Oddball::OddballVerify() {
619 CHECK(IsOddball());
620 VerifyHeapPointer(to_string());
621 Object* number = to_number();
622 if (number->IsHeapObject()) {
623 ASSERT(number == Heap::nan_value());
624 } else {
625 ASSERT(number->IsSmi());
626 int value = Smi::cast(number)->value();
627 ASSERT(value == 0 || value == 1 || value == -1);
628 }
629}
630
631
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000632void Code::CodePrint() {
633 HeapObject::PrintHeader("Code");
mads.s.ager31e71382008-08-13 09:32:07 +0000634#ifdef ENABLE_DISASSEMBLER
635 Disassemble();
636#endif
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000637}
638
639
640void Code::CodeVerify() {
kasper.lund7276f142008-07-30 08:49:36 +0000641 CHECK(ic_flag() == IC_TARGET_IS_ADDRESS);
642 Address last_gc_pc = NULL;
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000643 for (RelocIterator it(this); !it.done(); it.next()) {
644 it.rinfo()->Verify();
kasper.lund7276f142008-07-30 08:49:36 +0000645 // Ensure that GC will not iterate twice over the same pointer.
ager@chromium.org236ad962008-09-25 09:45:57 +0000646 if (RelocInfo::IsGCRelocMode(it.rinfo()->rmode())) {
kasper.lund7276f142008-07-30 08:49:36 +0000647 CHECK(it.rinfo()->pc() != last_gc_pc);
648 last_gc_pc = it.rinfo()->pc();
649 }
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000650 }
651}
652
653
654void JSArray::JSArrayVerify() {
655 JSObjectVerify();
656 ASSERT(length()->IsNumber() || length()->IsUndefined());
657 ASSERT(elements()->IsUndefined() || elements()->IsFixedArray());
658}
659
660
ager@chromium.org236ad962008-09-25 09:45:57 +0000661void JSRegExp::JSRegExpVerify() {
662 JSObjectVerify();
kasperl@chromium.org9fe21c62008-10-28 08:53:51 +0000663 ASSERT(data()->IsUndefined() || data()->IsFixedArray());
664 switch (TypeTag()) {
665 case JSRegExp::ATOM: {
666 FixedArray* arr = FixedArray::cast(data());
667 ASSERT(arr->get(JSRegExp::kAtomPatternIndex)->IsString());
668 break;
kasperl@chromium.org41044eb2008-10-06 08:24:46 +0000669 }
kasperl@chromium.org9fe21c62008-10-28 08:53:51 +0000670 case JSRegExp::JSCRE: {
671 FixedArray* arr = FixedArray::cast(data());
672 ASSERT(arr->get(JSRegExp::kJscreDataIndex)->IsFixedArray());
673 break;
674 }
675 default:
676 ASSERT_EQ(JSRegExp::NOT_COMPILED, TypeTag());
677 ASSERT(data()->IsUndefined());
678 break;
kasperl@chromium.org41044eb2008-10-06 08:24:46 +0000679 }
ager@chromium.org236ad962008-09-25 09:45:57 +0000680}
681
682
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000683void Proxy::ProxyPrint() {
684 PrintF("proxy to %p", proxy());
685}
686
687
688void Proxy::ProxyVerify() {
689 ASSERT(IsProxy());
690}
691
692
693void Dictionary::Print() {
694 int capacity = Capacity();
695 for (int i = 0; i < capacity; i++) {
696 Object* k = KeyAt(i);
697 if (IsKey(k)) {
698 PrintF(" ");
699 if (k->IsString()) {
700 String::cast(k)->StringPrint();
701 } else {
702 k->ShortPrint();
703 }
704 PrintF(": ");
705 ValueAt(i)->ShortPrint();
706 PrintF("\n");
707 }
708 }
709}
710
711
712void AccessorInfo::AccessorInfoVerify() {
713 CHECK(IsAccessorInfo());
714 VerifyPointer(getter());
715 VerifyPointer(setter());
716 VerifyPointer(name());
717 VerifyPointer(data());
718 VerifyPointer(flag());
719}
720
721void AccessorInfo::AccessorInfoPrint() {
722 PrintF("AccessorInfo");
723 PrintF("\n - getter: ");
724 getter()->ShortPrint();
725 PrintF("\n - setter: ");
726 setter()->ShortPrint();
727 PrintF("\n - name: ");
728 name()->ShortPrint();
729 PrintF("\n - data: ");
730 data()->ShortPrint();
731 PrintF("\n - flag: ");
732 flag()->ShortPrint();
733}
734
735void AccessCheckInfo::AccessCheckInfoVerify() {
736 CHECK(IsAccessCheckInfo());
737 VerifyPointer(named_callback());
738 VerifyPointer(indexed_callback());
739 VerifyPointer(data());
740}
741
742void AccessCheckInfo::AccessCheckInfoPrint() {
743 PrintF("AccessCheckInfo");
744 PrintF("\n - named_callback: ");
745 named_callback()->ShortPrint();
746 PrintF("\n - indexed_callback: ");
747 indexed_callback()->ShortPrint();
748 PrintF("\n - data: ");
749 data()->ShortPrint();
750}
751
752void InterceptorInfo::InterceptorInfoVerify() {
753 CHECK(IsInterceptorInfo());
754 VerifyPointer(getter());
755 VerifyPointer(setter());
756 VerifyPointer(query());
757 VerifyPointer(deleter());
758 VerifyPointer(enumerator());
759 VerifyPointer(data());
760}
761
762void InterceptorInfo::InterceptorInfoPrint() {
763 PrintF("InterceptorInfo");
764 PrintF("\n - getter: ");
765 getter()->ShortPrint();
766 PrintF("\n - setter: ");
767 setter()->ShortPrint();
768 PrintF("\n - query: ");
769 query()->ShortPrint();
770 PrintF("\n - deleter: ");
771 deleter()->ShortPrint();
772 PrintF("\n - enumerator: ");
773 enumerator()->ShortPrint();
774 PrintF("\n - data: ");
775 data()->ShortPrint();
776}
777
778void CallHandlerInfo::CallHandlerInfoVerify() {
779 CHECK(IsCallHandlerInfo());
780 VerifyPointer(callback());
781 VerifyPointer(data());
782}
783
784void CallHandlerInfo::CallHandlerInfoPrint() {
785 PrintF("CallHandlerInfo");
786 PrintF("\n - callback: ");
787 callback()->ShortPrint();
788 PrintF("\n - data: ");
789 data()->ShortPrint();
790}
791
792void TemplateInfo::TemplateInfoVerify() {
793 VerifyPointer(tag());
794 VerifyPointer(property_list());
795}
796
797void FunctionTemplateInfo::FunctionTemplateInfoVerify() {
798 CHECK(IsFunctionTemplateInfo());
799 TemplateInfoVerify();
800 VerifyPointer(serial_number());
801 VerifyPointer(call_code());
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000802 VerifyPointer(property_accessors());
803 VerifyPointer(prototype_template());
804 VerifyPointer(parent_template());
805 VerifyPointer(named_property_handler());
806 VerifyPointer(indexed_property_handler());
807 VerifyPointer(instance_template());
808 VerifyPointer(signature());
809 VerifyPointer(access_check_info());
810}
811
812void FunctionTemplateInfo::FunctionTemplateInfoPrint() {
813 PrintF("FunctionTemplateInfo");
814 PrintF("\n - tag: ");
815 tag()->ShortPrint();
816 PrintF("\n - property_list: ");
817 property_list()->ShortPrint();
818 PrintF("\n - serial_number: ");
819 serial_number()->ShortPrint();
820 PrintF("\n - call_code: ");
821 call_code()->ShortPrint();
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000822 PrintF("\n - property_accessors: ");
823 property_accessors()->ShortPrint();
824 PrintF("\n - prototype_template: ");
825 prototype_template()->ShortPrint();
826 PrintF("\n - parent_template: ");
827 parent_template()->ShortPrint();
828 PrintF("\n - named_property_handler: ");
829 named_property_handler()->ShortPrint();
830 PrintF("\n - indexed_property_handler: ");
831 indexed_property_handler()->ShortPrint();
832 PrintF("\n - instance_template: ");
833 instance_template()->ShortPrint();
834 PrintF("\n - signature: ");
835 signature()->ShortPrint();
836 PrintF("\n - access_check_info: ");
837 access_check_info()->ShortPrint();
838 PrintF("\n - hidden_prototype: %s", hidden_prototype() ? "true" : "false");
839 PrintF("\n - undetectable: %s", undetectable() ? "true" : "false");
840 PrintF("\n - need_access_check: %s", needs_access_check() ? "true" : "false");
841}
842
843void ObjectTemplateInfo::ObjectTemplateInfoVerify() {
844 CHECK(IsObjectTemplateInfo());
845 TemplateInfoVerify();
846 VerifyPointer(constructor());
kasper.lund212ac232008-07-16 07:07:30 +0000847 VerifyPointer(internal_field_count());
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000848}
849
850void ObjectTemplateInfo::ObjectTemplateInfoPrint() {
851 PrintF("ObjectTemplateInfo");
kasper.lund212ac232008-07-16 07:07:30 +0000852 PrintF("\n - constructor: ");
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000853 constructor()->ShortPrint();
kasper.lund212ac232008-07-16 07:07:30 +0000854 PrintF("\n - internal_field_count: ");
855 internal_field_count()->ShortPrint();
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000856}
857
858void SignatureInfo::SignatureInfoVerify() {
859 CHECK(IsSignatureInfo());
860 VerifyPointer(receiver());
861 VerifyPointer(args());
862}
863
864void SignatureInfo::SignatureInfoPrint() {
865 PrintF("SignatureInfo");
kasper.lund212ac232008-07-16 07:07:30 +0000866 PrintF("\n - receiver: ");
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000867 receiver()->ShortPrint();
kasper.lund212ac232008-07-16 07:07:30 +0000868 PrintF("\n - args: ");
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000869 args()->ShortPrint();
870}
871
872void TypeSwitchInfo::TypeSwitchInfoVerify() {
873 CHECK(IsTypeSwitchInfo());
874 VerifyPointer(types());
875}
876
877void TypeSwitchInfo::TypeSwitchInfoPrint() {
878 PrintF("TypeSwitchInfo");
kasper.lund212ac232008-07-16 07:07:30 +0000879 PrintF("\n - types: ");
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000880 types()->ShortPrint();
881}
882
883
884void Script::ScriptVerify() {
885 CHECK(IsScript());
886 VerifyPointer(source());
887 VerifyPointer(name());
888 line_offset()->SmiVerify();
889 column_offset()->SmiVerify();
890 type()->SmiVerify();
891}
892
893
894void Script::ScriptPrint() {
895 HeapObject::PrintHeader("Script");
896 PrintF("\n - source: ");
897 source()->ShortPrint();
898 PrintF("\n - name: ");
899 name()->ShortPrint();
900 PrintF("\n - line_offset: ");
901 line_offset()->ShortPrint();
902 PrintF("\n - column_offset: ");
903 column_offset()->ShortPrint();
904 PrintF("\n - type: ");
905 type()->ShortPrint();
906 PrintF("\n");
907}
908
909
910void DebugInfo::DebugInfoVerify() {
911 CHECK(IsDebugInfo());
912 VerifyPointer(shared());
913 VerifyPointer(original_code());
914 VerifyPointer(code());
915 VerifyPointer(break_points());
916}
917
918
919void DebugInfo::DebugInfoPrint() {
920 PrintF("DebugInfo");
921 PrintF("\n - shared");
922 shared()->ShortPrint();
923 PrintF("\n - original_code");
924 original_code()->ShortPrint();
925 PrintF("\n - code");
926 code()->ShortPrint();
927 PrintF("\n - break_points");
928 break_points()->ShortPrint();
929}
930
931
932void BreakPointInfo::BreakPointInfoVerify() {
933 CHECK(IsBreakPointInfo());
934 code_position()->SmiVerify();
935 source_position()->SmiVerify();
936 statement_position()->SmiVerify();
937 VerifyPointer(break_point_objects());
938}
939
940
941void BreakPointInfo::BreakPointInfoPrint() {
942 PrintF("BreakPointInfo");
943 PrintF("\n - code_position %d", code_position());
944 PrintF("\n - source_position %d", source_position());
945 PrintF("\n - statement_position %d", statement_position());
946 PrintF("\n - break_point_objects ");
947 break_point_objects()->ShortPrint();
948}
949
950
951void JSObject::IncrementSpillStatistics(SpillInformation* info) {
952 info->number_of_objects_++;
953 // Named properties
954 if (HasFastProperties()) {
955 info->number_of_objects_with_fast_properties_++;
956 info->number_of_fast_used_fields_ += map()->NextFreePropertyIndex();
957 info->number_of_fast_unused_fields_ += map()->unused_property_fields();
958 } else {
959 Dictionary* dict = property_dictionary();
960 info->number_of_slow_used_properties_ += dict->NumberOfElements();
961 info->number_of_slow_unused_properties_ +=
962 dict->Capacity() - dict->NumberOfElements();
963 }
964 // Indexed properties
965 if (HasFastElements()) {
966 info->number_of_objects_with_fast_elements_++;
967 int holes = 0;
968 FixedArray* e = FixedArray::cast(elements());
969 int len = e->length();
970 for (int i = 0; i < len; i++) {
971 if (e->get(i) == Heap::the_hole_value()) holes++;
972 }
973 info->number_of_fast_used_elements_ += len - holes;
974 info->number_of_fast_unused_elements_ += holes;
975 } else {
976 Dictionary* dict = element_dictionary();
977 info->number_of_slow_used_elements_ += dict->NumberOfElements();
978 info->number_of_slow_unused_elements_ +=
979 dict->Capacity() - dict->NumberOfElements();
980 }
981}
982
983
984void JSObject::SpillInformation::Clear() {
985 number_of_objects_ = 0;
986 number_of_objects_with_fast_properties_ = 0;
987 number_of_objects_with_fast_elements_ = 0;
988 number_of_fast_used_fields_ = 0;
989 number_of_fast_unused_fields_ = 0;
990 number_of_slow_used_properties_ = 0;
991 number_of_slow_unused_properties_ = 0;
992 number_of_fast_used_elements_ = 0;
993 number_of_fast_unused_elements_ = 0;
994 number_of_slow_used_elements_ = 0;
995 number_of_slow_unused_elements_ = 0;
996}
997
998void JSObject::SpillInformation::Print() {
999 PrintF("\n JSObject Spill Statistics (#%d):\n", number_of_objects_);
1000
1001 PrintF(" - fast properties (#%d): %d (used) %d (unused)\n",
1002 number_of_objects_with_fast_properties_,
1003 number_of_fast_used_fields_, number_of_fast_unused_fields_);
1004
1005 PrintF(" - slow properties (#%d): %d (used) %d (unused)\n",
1006 number_of_objects_ - number_of_objects_with_fast_properties_,
1007 number_of_slow_used_properties_, number_of_slow_unused_properties_);
1008
1009 PrintF(" - fast elements (#%d): %d (used) %d (unused)\n",
1010 number_of_objects_with_fast_elements_,
1011 number_of_fast_used_elements_, number_of_fast_unused_elements_);
1012
1013 PrintF(" - slow elements (#%d): %d (used) %d (unused)\n",
1014 number_of_objects_ - number_of_objects_with_fast_elements_,
1015 number_of_slow_used_elements_, number_of_slow_unused_elements_);
1016
1017 PrintF("\n");
1018}
1019
1020
1021void DescriptorArray::PrintDescriptors() {
1022 PrintF("Descriptor array %d\n", number_of_descriptors());
1023 int number = 0;
1024 for (DescriptorReader r(this); !r.eos(); r.advance()) {
1025 Descriptor desc;
1026 r.Get(&desc);
1027 PrintF(" %d: ", number++);
1028 desc.Print();
1029 }
1030 PrintF("\n");
1031}
1032
1033
mads.s.ager@gmail.com769cc962008-08-06 10:02:49 +00001034bool DescriptorArray::IsSortedNoDuplicates() {
1035 String* current_key = NULL;
1036 uint32_t current = 0;
1037 for (DescriptorReader r(this); !r.eos(); r.advance()) {
1038 String* key = r.GetKey();
1039 if (key == current_key) {
1040 PrintDescriptors();
1041 return false;
1042 }
1043 current_key = key;
1044 uint32_t hash = r.GetKey()->Hash();
1045 if (hash < current) {
1046 PrintDescriptors();
1047 return false;
1048 }
1049 current = hash;
1050 }
1051 return true;
1052}
1053
1054
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001055#endif // DEBUG
1056
1057} } // namespace v8::internal