| OLD | NEW |
| 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 90 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 101 PrintF("#%d %s is used by #%d %s as %s%s\n", | 101 PrintF("#%d %s is used by #%d %s as %s%s\n", |
| 102 id(), Mnemonic(), use->id(), use->Mnemonic(), rep.Mnemonic(), | 102 id(), Mnemonic(), use->id(), use->Mnemonic(), rep.Mnemonic(), |
| 103 (use->CheckFlag(kTruncatingToInt32) ? "-trunc" : "")); | 103 (use->CheckFlag(kTruncatingToInt32) ? "-trunc" : "")); |
| 104 } | 104 } |
| 105 use_count[rep.kind()] += use->LoopWeight(); | 105 use_count[rep.kind()] += use->LoopWeight(); |
| 106 } | 106 } |
| 107 if (IsPhi()) HPhi::cast(this)->AddIndirectUsesTo(&use_count[0]); | 107 if (IsPhi()) HPhi::cast(this)->AddIndirectUsesTo(&use_count[0]); |
| 108 int tagged_count = use_count[Representation::kTagged]; | 108 int tagged_count = use_count[Representation::kTagged]; |
| 109 int double_count = use_count[Representation::kDouble]; | 109 int double_count = use_count[Representation::kDouble]; |
| 110 int int32_count = use_count[Representation::kInteger32]; | 110 int int32_count = use_count[Representation::kInteger32]; |
| 111 int smi_count = use_count[Representation::kSmi]; |
| 111 | 112 |
| 112 if (tagged_count > 0) return Representation::Tagged(); | 113 if (tagged_count > 0) return Representation::Tagged(); |
| 113 if (double_count > 0) return Representation::Double(); | 114 if (double_count > 0) return Representation::Double(); |
| 114 if (int32_count > 0) return Representation::Integer32(); | 115 if (int32_count > 0) return Representation::Integer32(); |
| 116 if (smi_count > 0) return Representation::Smi(); |
| 115 | 117 |
| 116 return Representation::None(); | 118 return Representation::None(); |
| 117 } | 119 } |
| 118 | 120 |
| 119 | 121 |
| 120 void HValue::UpdateRepresentation(Representation new_rep, | 122 void HValue::UpdateRepresentation(Representation new_rep, |
| 121 HInferRepresentation* h_infer, | 123 HInferRepresentation* h_infer, |
| 122 const char* reason) { | 124 const char* reason) { |
| 123 Representation r = representation(); | 125 Representation r = representation(); |
| 124 if (new_rep.is_more_general_than(r)) { | 126 if (new_rep.is_more_general_than(r)) { |
| (...skipping 1777 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 1902 | 1904 |
| 1903 | 1905 |
| 1904 void HPhi::PrintTo(StringStream* stream) { | 1906 void HPhi::PrintTo(StringStream* stream) { |
| 1905 stream->Add("["); | 1907 stream->Add("["); |
| 1906 for (int i = 0; i < OperandCount(); ++i) { | 1908 for (int i = 0; i < OperandCount(); ++i) { |
| 1907 HValue* value = OperandAt(i); | 1909 HValue* value = OperandAt(i); |
| 1908 stream->Add(" "); | 1910 stream->Add(" "); |
| 1909 value->PrintNameTo(stream); | 1911 value->PrintNameTo(stream); |
| 1910 stream->Add(" "); | 1912 stream->Add(" "); |
| 1911 } | 1913 } |
| 1912 stream->Add(" uses:%d_%di_%dd_%dt", | 1914 stream->Add(" uses:%d_%ds_%di_%dd_%dt", |
| 1913 UseCount(), | 1915 UseCount(), |
| 1916 smi_non_phi_uses() + smi_indirect_uses(), |
| 1914 int32_non_phi_uses() + int32_indirect_uses(), | 1917 int32_non_phi_uses() + int32_indirect_uses(), |
| 1915 double_non_phi_uses() + double_indirect_uses(), | 1918 double_non_phi_uses() + double_indirect_uses(), |
| 1916 tagged_non_phi_uses() + tagged_indirect_uses()); | 1919 tagged_non_phi_uses() + tagged_indirect_uses()); |
| 1917 if (!IsConvertibleToInteger()) stream->Add("_ncti"); | 1920 if (!IsConvertibleToInteger()) stream->Add("_ncti"); |
| 1918 PrintRangeTo(stream); | 1921 PrintRangeTo(stream); |
| 1919 PrintTypeTo(stream); | 1922 PrintTypeTo(stream); |
| 1920 stream->Add("]"); | 1923 stream->Add("]"); |
| 1921 } | 1924 } |
| 1922 | 1925 |
| 1923 | 1926 |
| (...skipping 58 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 1982 if (!value->IsSimulate() && !value->CheckFlag(kTruncatingToInt32)) { | 1985 if (!value->IsSimulate() && !value->CheckFlag(kTruncatingToInt32)) { |
| 1983 ClearFlag(kTruncatingToInt32); | 1986 ClearFlag(kTruncatingToInt32); |
| 1984 } | 1987 } |
| 1985 } | 1988 } |
| 1986 } | 1989 } |
| 1987 } | 1990 } |
| 1988 | 1991 |
| 1989 | 1992 |
| 1990 void HPhi::AddNonPhiUsesFrom(HPhi* other) { | 1993 void HPhi::AddNonPhiUsesFrom(HPhi* other) { |
| 1991 if (FLAG_trace_representation) { | 1994 if (FLAG_trace_representation) { |
| 1992 PrintF("adding to #%d Phi uses of #%d Phi: i%d d%d t%d\n", | 1995 PrintF("adding to #%d Phi uses of #%d Phi: s%d i%d d%d t%d\n", |
| 1993 id(), other->id(), | 1996 id(), other->id(), |
| 1997 other->non_phi_uses_[Representation::kSmi], |
| 1994 other->non_phi_uses_[Representation::kInteger32], | 1998 other->non_phi_uses_[Representation::kInteger32], |
| 1995 other->non_phi_uses_[Representation::kDouble], | 1999 other->non_phi_uses_[Representation::kDouble], |
| 1996 other->non_phi_uses_[Representation::kTagged]); | 2000 other->non_phi_uses_[Representation::kTagged]); |
| 1997 } | 2001 } |
| 1998 | 2002 |
| 1999 for (int i = 0; i < Representation::kNumRepresentations; i++) { | 2003 for (int i = 0; i < Representation::kNumRepresentations; i++) { |
| 2000 indirect_uses_[i] += other->non_phi_uses_[i]; | 2004 indirect_uses_[i] += other->non_phi_uses_[i]; |
| 2001 } | 2005 } |
| 2002 } | 2006 } |
| 2003 | 2007 |
| (...skipping 1535 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 3539 new_rep = RepresentationFromUses(); | 3543 new_rep = RepresentationFromUses(); |
| 3540 UpdateRepresentation(new_rep, h_infer, "uses"); | 3544 UpdateRepresentation(new_rep, h_infer, "uses"); |
| 3541 new_rep = RepresentationFromUseRequirements(); | 3545 new_rep = RepresentationFromUseRequirements(); |
| 3542 UpdateRepresentation(new_rep, h_infer, "use requirements"); | 3546 UpdateRepresentation(new_rep, h_infer, "use requirements"); |
| 3543 } | 3547 } |
| 3544 | 3548 |
| 3545 | 3549 |
| 3546 Representation HPhi::RepresentationFromInputs() { | 3550 Representation HPhi::RepresentationFromInputs() { |
| 3547 bool double_occurred = false; | 3551 bool double_occurred = false; |
| 3548 bool int32_occurred = false; | 3552 bool int32_occurred = false; |
| 3553 bool smi_occurred = false; |
| 3549 for (int i = 0; i < OperandCount(); ++i) { | 3554 for (int i = 0; i < OperandCount(); ++i) { |
| 3550 HValue* value = OperandAt(i); | 3555 HValue* value = OperandAt(i); |
| 3551 if (value->IsUnknownOSRValue()) { | 3556 if (value->IsUnknownOSRValue()) { |
| 3552 HPhi* hint_value = HUnknownOSRValue::cast(value)->incoming_value(); | 3557 HPhi* hint_value = HUnknownOSRValue::cast(value)->incoming_value(); |
| 3553 if (hint_value != NULL) { | 3558 if (hint_value != NULL) { |
| 3554 Representation hint = hint_value->representation(); | 3559 Representation hint = hint_value->representation(); |
| 3555 if (hint.IsSmiOrTagged()) return hint; | 3560 if (hint.IsTagged()) return hint; |
| 3556 if (hint.IsDouble()) double_occurred = true; | 3561 if (hint.IsDouble()) double_occurred = true; |
| 3557 if (hint.IsInteger32()) int32_occurred = true; | 3562 if (hint.IsInteger32()) int32_occurred = true; |
| 3563 if (hint.IsSmi()) smi_occurred = true; |
| 3558 } | 3564 } |
| 3559 continue; | 3565 continue; |
| 3560 } | 3566 } |
| 3561 if (value->representation().IsDouble()) double_occurred = true; | 3567 if (value->representation().IsDouble()) double_occurred = true; |
| 3562 if (value->representation().IsInteger32()) int32_occurred = true; | 3568 if (value->representation().IsInteger32()) int32_occurred = true; |
| 3563 if (value->representation().IsSmiOrTagged()) { | 3569 if (value->representation().IsSmi()) smi_occurred = true; |
| 3570 if (value->representation().IsTagged()) { |
| 3564 if (value->IsConstant()) { | 3571 if (value->IsConstant()) { |
| 3565 HConstant* constant = HConstant::cast(value); | 3572 HConstant* constant = HConstant::cast(value); |
| 3566 if (constant->IsConvertibleToInteger()) { | 3573 if (constant->IsConvertibleToInteger()) { |
| 3567 int32_occurred = true; | 3574 int32_occurred = true; |
| 3568 } else if (constant->HasNumberValue()) { | 3575 } else if (constant->HasNumberValue()) { |
| 3569 double_occurred = true; | 3576 double_occurred = true; |
| 3570 } else { | 3577 } else { |
| 3571 return Representation::Tagged(); | 3578 return Representation::Tagged(); |
| 3572 } | 3579 } |
| 3573 } else { | 3580 } else { |
| 3574 if (value->IsPhi() && !IsConvertibleToInteger()) { | 3581 if (value->IsPhi() && !IsConvertibleToInteger()) { |
| 3575 return Representation::Tagged(); | 3582 return Representation::Tagged(); |
| 3576 } | 3583 } |
| 3577 } | 3584 } |
| 3578 } | 3585 } |
| 3579 } | 3586 } |
| 3580 | 3587 |
| 3581 if (double_occurred) return Representation::Double(); | 3588 if (double_occurred) return Representation::Double(); |
| 3582 | |
| 3583 if (int32_occurred) return Representation::Integer32(); | 3589 if (int32_occurred) return Representation::Integer32(); |
| 3590 if (smi_occurred) return Representation::Smi(); |
| 3584 | 3591 |
| 3585 return Representation::None(); | 3592 return Representation::None(); |
| 3586 } | 3593 } |
| 3587 | 3594 |
| 3588 | 3595 |
| 3589 Representation HPhi::RepresentationFromUseRequirements() { | 3596 Representation HPhi::RepresentationFromUseRequirements() { |
| 3590 Representation all_uses_require = Representation::None(); | 3597 Representation all_uses_require = Representation::None(); |
| 3591 bool all_uses_require_the_same = true; | 3598 bool all_uses_require_the_same = true; |
| 3592 for (HUseIterator it(uses()); !it.Done(); it.Advance()) { | 3599 for (HUseIterator it(uses()); !it.Done(); it.Advance()) { |
| 3593 // We check for observed_input_representation elsewhere. | 3600 // We check for observed_input_representation elsewhere. |
| (...skipping 194 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 3788 case kBackingStore: | 3795 case kBackingStore: |
| 3789 if (!name_.is_null()) stream->Add(*String::cast(*name_)->ToCString()); | 3796 if (!name_.is_null()) stream->Add(*String::cast(*name_)->ToCString()); |
| 3790 stream->Add("[backing-store]"); | 3797 stream->Add("[backing-store]"); |
| 3791 break; | 3798 break; |
| 3792 } | 3799 } |
| 3793 | 3800 |
| 3794 stream->Add("@%d", offset()); | 3801 stream->Add("@%d", offset()); |
| 3795 } | 3802 } |
| 3796 | 3803 |
| 3797 } } // namespace v8::internal | 3804 } } // namespace v8::internal |
| OLD | NEW |