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 691 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
702 }; | 702 }; |
703 | 703 |
704 | 704 |
705 class UnaryOpIC: public IC { | 705 class UnaryOpIC: public IC { |
706 public: | 706 public: |
707 // sorted: increasingly more unspecific (ignoring UNINITIALIZED) | 707 // sorted: increasingly more unspecific (ignoring UNINITIALIZED) |
708 // TODO(svenpanne) Using enums+switch is an antipattern, use a class instead. | 708 // TODO(svenpanne) Using enums+switch is an antipattern, use a class instead. |
709 enum TypeInfo { | 709 enum TypeInfo { |
710 UNINITIALIZED, | 710 UNINITIALIZED, |
711 SMI, | 711 SMI, |
712 HEAP_NUMBER, | 712 NUMBER, |
713 GENERIC | 713 GENERIC |
714 }; | 714 }; |
715 | 715 |
716 explicit UnaryOpIC(Isolate* isolate) : IC(NO_EXTRA_FRAME, isolate) { } | 716 explicit UnaryOpIC(Isolate* isolate) : IC(NO_EXTRA_FRAME, isolate) { } |
717 | 717 |
718 void patch(Code* code); | 718 void patch(Code* code); |
719 | 719 |
720 static const char* GetName(TypeInfo type_info); | 720 static const char* GetName(TypeInfo type_info); |
721 | 721 |
722 static State ToState(TypeInfo type_info); | 722 static State ToState(TypeInfo type_info); |
723 | 723 |
724 static TypeInfo GetTypeInfo(Handle<Object> operand); | 724 static TypeInfo GetTypeInfo(Handle<Object> operand); |
725 | 725 |
726 static TypeInfo ComputeNewType(TypeInfo type, TypeInfo previous); | 726 static TypeInfo ComputeNewType(TypeInfo type, TypeInfo previous); |
727 }; | 727 }; |
728 | 728 |
729 | 729 |
730 // Type Recording BinaryOpIC, that records the types of the inputs and outputs. | 730 // Type Recording BinaryOpIC, that records the types of the inputs and outputs. |
731 class BinaryOpIC: public IC { | 731 class BinaryOpIC: public IC { |
732 public: | 732 public: |
733 enum TypeInfo { | 733 enum TypeInfo { |
734 UNINITIALIZED, | 734 UNINITIALIZED, |
735 SMI, | 735 SMI, |
736 INT32, | 736 INT32, |
737 HEAP_NUMBER, | 737 NUMBER, |
738 ODDBALL, | 738 ODDBALL, |
739 STRING, // Only used for addition operation. | 739 STRING, // Only used for addition operation. |
740 GENERIC | 740 GENERIC |
741 }; | 741 }; |
742 | 742 |
743 explicit BinaryOpIC(Isolate* isolate) : IC(NO_EXTRA_FRAME, isolate) { } | 743 explicit BinaryOpIC(Isolate* isolate) : IC(NO_EXTRA_FRAME, isolate) { } |
744 | 744 |
745 void patch(Code* code); | 745 void patch(Code* code); |
746 | 746 |
747 static const char* GetName(TypeInfo type_info); | 747 static const char* GetName(TypeInfo type_info); |
748 | 748 |
749 static State ToState(TypeInfo type_info); | 749 static State ToState(TypeInfo type_info); |
750 }; | 750 }; |
751 | 751 |
752 | 752 |
753 class CompareIC: public IC { | 753 class CompareIC: public IC { |
754 public: | 754 public: |
| 755 // The type/state lattice is defined by the following inequations: |
| 756 // UNINITIALIZED < ... |
| 757 // ... < GENERIC |
| 758 // SMI < NUMBER |
| 759 // SYMBOL < STRING |
| 760 // KNOWN_OBJECT < OBJECT |
755 enum State { | 761 enum State { |
756 UNINITIALIZED, | 762 UNINITIALIZED, |
757 SMI, | 763 SMI, |
758 HEAP_NUMBER, | 764 NUMBER, |
759 SYMBOL, | 765 SYMBOL, |
760 STRING, | 766 STRING, |
761 OBJECT, | 767 OBJECT, // JSObject |
762 KNOWN_OBJECTS, | 768 KNOWN_OBJECT, // JSObject with specific map (faster check) |
763 GENERIC | 769 GENERIC |
764 }; | 770 }; |
765 | 771 |
766 CompareIC(Isolate* isolate, Token::Value op) | 772 CompareIC(Isolate* isolate, Token::Value op) |
767 : IC(EXTRA_CALL_FRAME, isolate), op_(op) { } | 773 : IC(EXTRA_CALL_FRAME, isolate), op_(op) { } |
768 | 774 |
769 // Update the inline cache for the given operands. | 775 // Update the inline cache for the given operands. |
770 void UpdateCaches(Handle<Object> x, Handle<Object> y); | 776 void UpdateCaches(Handle<Object> x, Handle<Object> y); |
771 | 777 |
772 | 778 |
(...skipping 39 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
812 // Helper for BinaryOpIC and CompareIC. | 818 // Helper for BinaryOpIC and CompareIC. |
813 enum InlinedSmiCheck { ENABLE_INLINED_SMI_CHECK, DISABLE_INLINED_SMI_CHECK }; | 819 enum InlinedSmiCheck { ENABLE_INLINED_SMI_CHECK, DISABLE_INLINED_SMI_CHECK }; |
814 void PatchInlinedSmiCode(Address address, InlinedSmiCheck check); | 820 void PatchInlinedSmiCode(Address address, InlinedSmiCheck check); |
815 | 821 |
816 DECLARE_RUNTIME_FUNCTION(MaybeObject*, KeyedLoadIC_Miss); | 822 DECLARE_RUNTIME_FUNCTION(MaybeObject*, KeyedLoadIC_Miss); |
817 DECLARE_RUNTIME_FUNCTION(MaybeObject*, KeyedLoadIC_MissFromStubFailure); | 823 DECLARE_RUNTIME_FUNCTION(MaybeObject*, KeyedLoadIC_MissFromStubFailure); |
818 | 824 |
819 } } // namespace v8::internal | 825 } } // namespace v8::internal |
820 | 826 |
821 #endif // V8_IC_H_ | 827 #endif // V8_IC_H_ |
OLD | NEW |