Chromium Code Reviews
chromiumcodereview-hr@appspot.gserviceaccount.com (chromiumcodereview-hr) | Please choose your nickname with Settings | Help | Chromium Project | Gerrit Changes | Sign out
(18)

Side by Side Diff: src/hydrogen-instructions.cc

Issue 14882006: Print range and type for phis, too. (Closed) Base URL: https://v8.googlecode.com/svn/branches/bleeding_edge
Patch Set: Created 7 years, 7 months ago
Use n/p to move between diff chunks; N/P to move between comments. Draft comments are only viewable by you.
Jump to:
View unified diff | Download patch | Annotate | Revision Log
« no previous file with comments | « no previous file | no next file » | no next file with comments »
Toggle Intra-line Diffs ('i') | Expand Comments ('e') | Collapse Comments ('c') | Show Comments Hide Comments ('s')
OLDNEW
1 // Copyright 2012 the V8 project authors. All rights reserved. 1 // Copyright 2012 the V8 project authors. All rights reserved.
2 // Redistribution and use in source and binary forms, with or without 2 // Redistribution and use in source and binary forms, with or without
3 // modification, are permitted provided that the following conditions are 3 // modification, are permitted provided that the following conditions are
4 // met: 4 // met:
5 // 5 //
6 // * Redistributions of source code must retain the above copyright 6 // * Redistributions of source code must retain the above copyright
7 // notice, this list of conditions and the following disclaimer. 7 // notice, this list of conditions and the following disclaimer.
8 // * Redistributions in binary form must reproduce the above 8 // * Redistributions in binary form must reproduce the above
9 // copyright notice, this list of conditions and the following 9 // copyright notice, this list of conditions and the following
10 // disclaimer in the documentation and/or other materials provided 10 // disclaimer in the documentation and/or other materials provided
(...skipping 408 matching lines...) Expand 10 before | Expand all | Expand 10 after
419 lower_ = Min(Min(v1, v2), Min(v3, v4)); 419 lower_ = Min(Min(v1, v2), Min(v3, v4));
420 upper_ = Max(Max(v1, v2), Max(v3, v4)); 420 upper_ = Max(Max(v1, v2), Max(v3, v4));
421 #ifdef DEBUG 421 #ifdef DEBUG
422 Verify(); 422 Verify();
423 #endif 423 #endif
424 return may_overflow; 424 return may_overflow;
425 } 425 }
426 426
427 427
428 const char* HType::ToString() { 428 const char* HType::ToString() {
429 // Note: The c1visualizer syntax for locals allows only a sequence of the
430 // following characters: A-Za-z0-9_-|:
429 switch (type_) { 431 switch (type_) {
430 case kTagged: return "tagged"; 432 case kTagged: return "tagged";
431 case kTaggedPrimitive: return "primitive"; 433 case kTaggedPrimitive: return "primitive";
432 case kTaggedNumber: return "number"; 434 case kTaggedNumber: return "number";
433 case kSmi: return "smi"; 435 case kSmi: return "smi";
434 case kHeapNumber: return "heap-number"; 436 case kHeapNumber: return "heap-number";
435 case kString: return "string"; 437 case kString: return "string";
436 case kBoolean: return "boolean"; 438 case kBoolean: return "boolean";
437 case kNonPrimitive: return "non-primitive"; 439 case kNonPrimitive: return "non-primitive";
438 case kJSArray: return "array"; 440 case kJSArray: return "array";
439 case kJSObject: return "object"; 441 case kJSObject: return "object";
440 case kUninitialized: return "uninitialized"; 442 case kUninitialized: return "uninitialized";
441 } 443 }
442 UNREACHABLE(); 444 UNREACHABLE();
443 return "Unreachable code"; 445 return "unreachable";
444 } 446 }
445 447
446 448
447 HType HType::TypeFromValue(Handle<Object> value) { 449 HType HType::TypeFromValue(Handle<Object> value) {
448 HType result = HType::Tagged(); 450 HType result = HType::Tagged();
449 if (value->IsSmi()) { 451 if (value->IsSmi()) {
450 result = HType::Smi(); 452 result = HType::Smi();
451 } else if (value->IsHeapNumber()) { 453 } else if (value->IsHeapNumber()) {
452 result = HType::HeapNumber(); 454 result = HType::HeapNumber();
453 } else if (value->IsString()) { 455 } else if (value->IsString()) {
(...skipping 233 matching lines...) Expand 10 before | Expand all | Expand 10 after
687 ASSERT(block_ == NULL || block == NULL); 689 ASSERT(block_ == NULL || block == NULL);
688 block_ = block; 690 block_ = block;
689 if (id_ == kNoNumber && block != NULL) { 691 if (id_ == kNoNumber && block != NULL) {
690 id_ = block->graph()->GetNextValueID(this); 692 id_ = block->graph()->GetNextValueID(this);
691 } 693 }
692 } 694 }
693 695
694 696
695 void HValue::PrintTypeTo(StringStream* stream) { 697 void HValue::PrintTypeTo(StringStream* stream) {
696 if (!representation().IsTagged() || type().Equals(HType::Tagged())) return; 698 if (!representation().IsTagged() || type().Equals(HType::Tagged())) return;
697 stream->Add(" type[%s]", type().ToString()); 699 stream->Add(" type:%s", type().ToString());
698 } 700 }
699 701
700 702
701 void HValue::PrintRangeTo(StringStream* stream) { 703 void HValue::PrintRangeTo(StringStream* stream) {
702 if (range() == NULL || range()->IsMostGeneric()) return; 704 if (range() == NULL || range()->IsMostGeneric()) return;
703 stream->Add(" range[%d,%d,m0=%d]", 705 // Note: The c1visualizer syntax for locals allows only a sequence of the
706 // following characters: A-Za-z0-9_-|:
707 stream->Add(" range:%d_%d%s",
704 range()->lower(), 708 range()->lower(),
705 range()->upper(), 709 range()->upper(),
706 static_cast<int>(range()->CanBeMinusZero())); 710 range()->CanBeMinusZero() ? "_m0" : "");
707 } 711 }
708 712
709 713
710 void HValue::PrintChangesTo(StringStream* stream) { 714 void HValue::PrintChangesTo(StringStream* stream) {
711 GVNFlagSet changes_flags = ChangesFlags(); 715 GVNFlagSet changes_flags = ChangesFlags();
712 if (changes_flags.IsEmpty()) return; 716 if (changes_flags.IsEmpty()) return;
713 stream->Add(" changes["); 717 stream->Add(" changes[");
714 if (changes_flags == AllSideEffectsFlagSet()) { 718 if (changes_flags == AllSideEffectsFlagSet()) {
715 stream->Add("*"); 719 stream->Add("*");
716 } else { 720 } else {
(...skipping 1170 matching lines...) Expand 10 before | Expand all | Expand 10 after
1887 1891
1888 1892
1889 void HPhi::PrintTo(StringStream* stream) { 1893 void HPhi::PrintTo(StringStream* stream) {
1890 stream->Add("["); 1894 stream->Add("[");
1891 for (int i = 0; i < OperandCount(); ++i) { 1895 for (int i = 0; i < OperandCount(); ++i) {
1892 HValue* value = OperandAt(i); 1896 HValue* value = OperandAt(i);
1893 stream->Add(" "); 1897 stream->Add(" ");
1894 value->PrintNameTo(stream); 1898 value->PrintNameTo(stream);
1895 stream->Add(" "); 1899 stream->Add(" ");
1896 } 1900 }
1897 stream->Add(" uses%d_%di_%dd_%dt", 1901 stream->Add(" uses:%d_%di_%dd_%dt",
1898 UseCount(), 1902 UseCount(),
1899 int32_non_phi_uses() + int32_indirect_uses(), 1903 int32_non_phi_uses() + int32_indirect_uses(),
1900 double_non_phi_uses() + double_indirect_uses(), 1904 double_non_phi_uses() + double_indirect_uses(),
1901 tagged_non_phi_uses() + tagged_indirect_uses()); 1905 tagged_non_phi_uses() + tagged_indirect_uses());
1902 stream->Add("%s%s]", 1906 stream->Add("%s%s",
1903 is_live() ? "_live" : "", 1907 is_live() ? "_live" : "",
1904 IsConvertibleToInteger() ? "" : "_ncti"); 1908 IsConvertibleToInteger() ? "" : "_ncti");
1909 PrintRangeTo(stream);
1910 PrintTypeTo(stream);
1911 stream->Add("]");
1905 } 1912 }
1906 1913
1907 1914
1908 void HPhi::AddInput(HValue* value) { 1915 void HPhi::AddInput(HValue* value) {
1909 inputs_.Add(NULL, value->block()->zone()); 1916 inputs_.Add(NULL, value->block()->zone());
1910 SetOperandAt(OperandCount() - 1, value); 1917 SetOperandAt(OperandCount() - 1, value);
1911 // Mark phis that may have 'arguments' directly or indirectly as an operand. 1918 // Mark phis that may have 'arguments' directly or indirectly as an operand.
1912 if (!CheckFlag(kIsArguments) && value->CheckFlag(kIsArguments)) { 1919 if (!CheckFlag(kIsArguments) && value->CheckFlag(kIsArguments)) {
1913 SetFlag(kIsArguments); 1920 SetFlag(kIsArguments);
1914 } 1921 }
(...skipping 1730 matching lines...) Expand 10 before | Expand all | Expand 10 after
3645 3652
3646 3653
3647 void HCheckFunction::Verify() { 3654 void HCheckFunction::Verify() {
3648 HInstruction::Verify(); 3655 HInstruction::Verify();
3649 ASSERT(HasNoUses()); 3656 ASSERT(HasNoUses());
3650 } 3657 }
3651 3658
3652 #endif 3659 #endif
3653 3660
3654 } } // namespace v8::internal 3661 } } // namespace v8::internal
OLDNEW
« no previous file with comments | « no previous file | no next file » | no next file with comments »

Powered by Google App Engine
This is Rietveld 408576698