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 772 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
783 // Verify that instructions that may have side-effects are followed | 783 // Verify that instructions that may have side-effects are followed |
784 // by a simulate instruction. | 784 // by a simulate instruction. |
785 if (HasObservableSideEffects() && !IsOsrEntry()) { | 785 if (HasObservableSideEffects() && !IsOsrEntry()) { |
786 ASSERT(next()->IsSimulate()); | 786 ASSERT(next()->IsSimulate()); |
787 } | 787 } |
788 | 788 |
789 // Verify that instructions that can be eliminated by GVN have overridden | 789 // Verify that instructions that can be eliminated by GVN have overridden |
790 // HValue::DataEquals. The default implementation is UNREACHABLE. We | 790 // HValue::DataEquals. The default implementation is UNREACHABLE. We |
791 // don't actually care whether DataEquals returns true or false here. | 791 // don't actually care whether DataEquals returns true or false here. |
792 if (CheckFlag(kUseGVN)) DataEquals(this); | 792 if (CheckFlag(kUseGVN)) DataEquals(this); |
| 793 |
| 794 // Verify that all uses are in the graph. |
| 795 for (HUseIterator use = uses(); !use.Done(); use.Advance()) { |
| 796 if (use.value()->IsInstruction()) { |
| 797 ASSERT(HInstruction::cast(use.value())->IsLinked()); |
| 798 } |
| 799 } |
793 } | 800 } |
794 #endif | 801 #endif |
795 | 802 |
796 | 803 |
797 void HDummyUse::PrintDataTo(StringStream* stream) { | 804 void HDummyUse::PrintDataTo(StringStream* stream) { |
798 value()->PrintNameTo(stream); | 805 value()->PrintNameTo(stream); |
799 } | 806 } |
800 | 807 |
801 | 808 |
802 void HUnaryCall::PrintDataTo(StringStream* stream) { | 809 void HUnaryCall::PrintDataTo(StringStream* stream) { |
(...skipping 2131 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
2934 | 2941 |
2935 | 2942 |
2936 void HCheckFunction::Verify() { | 2943 void HCheckFunction::Verify() { |
2937 HInstruction::Verify(); | 2944 HInstruction::Verify(); |
2938 ASSERT(HasNoUses()); | 2945 ASSERT(HasNoUses()); |
2939 } | 2946 } |
2940 | 2947 |
2941 #endif | 2948 #endif |
2942 | 2949 |
2943 } } // namespace v8::internal | 2950 } } // namespace v8::internal |
OLD | NEW |