OLD | NEW |
1 // Copyright 2006-2008 the V8 project authors. All rights reserved. | 1 // Copyright 2006-2008 the V8 project authors. All rights reserved. |
2 // Use of this source code is governed by a BSD-style license that can be | 2 // Use of this source code is governed by a BSD-style license that can be |
3 // found in the LICENSE file. | 3 // found in the LICENSE file. |
4 | 4 |
5 // This files contains runtime support implemented in JavaScript. | 5 // This files contains runtime support implemented in JavaScript. |
6 | 6 |
7 // CAUTION: Some of the functions specified in this file are called | 7 // CAUTION: Some of the functions specified in this file are called |
8 // directly from compiled code. These are the functions with names in | 8 // directly from compiled code. These are the functions with names in |
9 // ALL CAPS. The compiled code passes the first argument in 'this'. | 9 // ALL CAPS. The compiled code passes the first argument in 'this'. |
10 | 10 |
(...skipping 85 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
96 // ECMA-262 Section 11.9.3. | 96 // ECMA-262 Section 11.9.3. |
97 EQUALS = function EQUALS(y) { | 97 EQUALS = function EQUALS(y) { |
98 if (IS_STRING(this) && IS_STRING(y)) return %StringEquals(this, y); | 98 if (IS_STRING(this) && IS_STRING(y)) return %StringEquals(this, y); |
99 var x = this; | 99 var x = this; |
100 | 100 |
101 while (true) { | 101 while (true) { |
102 if (IS_NUMBER(x)) { | 102 if (IS_NUMBER(x)) { |
103 while (true) { | 103 while (true) { |
104 if (IS_NUMBER(y)) return %NumberEquals(x, y); | 104 if (IS_NUMBER(y)) return %NumberEquals(x, y); |
105 if (IS_NULL_OR_UNDEFINED(y)) return 1; // not equal | 105 if (IS_NULL_OR_UNDEFINED(y)) return 1; // not equal |
106 if (IS_SYMBOL(y) || IS_FLOAT32X4(y)) return 1; // not equal | 106 if (IS_SYMBOL(y)) return 1; // not equal |
107 if (!IS_SPEC_OBJECT(y)) { | 107 if (!IS_SPEC_OBJECT(y)) { |
108 // String or boolean. | 108 // String or boolean. |
109 return %NumberEquals(x, %$toNumber(y)); | 109 return %NumberEquals(x, %$toNumber(y)); |
110 } | 110 } |
111 y = %$toPrimitive(y, NO_HINT); | 111 y = %$toPrimitive(y, NO_HINT); |
112 } | 112 } |
113 } else if (IS_STRING(x)) { | 113 } else if (IS_STRING(x)) { |
114 while (true) { | 114 while (true) { |
115 if (IS_STRING(y)) return %StringEquals(x, y); | 115 if (IS_STRING(y)) return %StringEquals(x, y); |
116 if (IS_SYMBOL(y) || IS_FLOAT32X4(y)) return 1; // not equal | 116 if (IS_SYMBOL(y)) return 1; // not equal |
117 if (IS_NUMBER(y)) return %NumberEquals(%$toNumber(x), y); | 117 if (IS_NUMBER(y)) return %NumberEquals(%$toNumber(x), y); |
118 if (IS_BOOLEAN(y)) return %NumberEquals(%$toNumber(x), %$toNumber(y)); | 118 if (IS_BOOLEAN(y)) return %NumberEquals(%$toNumber(x), %$toNumber(y)); |
119 if (IS_NULL_OR_UNDEFINED(y)) return 1; // not equal | 119 if (IS_NULL_OR_UNDEFINED(y)) return 1; // not equal |
120 y = %$toPrimitive(y, NO_HINT); | 120 y = %$toPrimitive(y, NO_HINT); |
121 } | 121 } |
122 } else if (IS_SYMBOL(x)) { | 122 } else if (IS_SYMBOL(x)) { |
123 if (IS_SYMBOL(y)) return %_ObjectEquals(x, y) ? 0 : 1; | 123 if (IS_SYMBOL(y)) return %_ObjectEquals(x, y) ? 0 : 1; |
124 return 1; // not equal | 124 return 1; // not equal |
125 } else if (IS_BOOLEAN(x)) { | 125 } else if (IS_BOOLEAN(x)) { |
126 if (IS_BOOLEAN(y)) return %_ObjectEquals(x, y) ? 0 : 1; | 126 if (IS_BOOLEAN(y)) return %_ObjectEquals(x, y) ? 0 : 1; |
127 if (IS_NULL_OR_UNDEFINED(y)) return 1; | 127 if (IS_NULL_OR_UNDEFINED(y)) return 1; |
128 if (IS_NUMBER(y)) return %NumberEquals(%$toNumber(x), y); | 128 if (IS_NUMBER(y)) return %NumberEquals(%$toNumber(x), y); |
129 if (IS_STRING(y)) return %NumberEquals(%$toNumber(x), %$toNumber(y)); | 129 if (IS_STRING(y)) return %NumberEquals(%$toNumber(x), %$toNumber(y)); |
130 if (IS_SYMBOL(y) || IS_FLOAT32X4(y)) return 1; // not equal | 130 if (IS_SYMBOL(y)) return 1; // not equal |
131 // y is object. | 131 // y is object. |
132 x = %$toNumber(x); | 132 x = %$toNumber(x); |
133 y = %$toPrimitive(y, NO_HINT); | 133 y = %$toPrimitive(y, NO_HINT); |
134 } else if (IS_NULL_OR_UNDEFINED(x)) { | 134 } else if (IS_NULL_OR_UNDEFINED(x)) { |
135 return IS_NULL_OR_UNDEFINED(y) ? 0 : 1; | 135 return IS_NULL_OR_UNDEFINED(y) ? 0 : 1; |
136 } else if (IS_FLOAT32X4(x)) { | |
137 if (IS_FLOAT32X4(y)) | |
138 return %Float32x4Equals(x, y); | |
139 return 1; // not equal | |
140 } else { | 136 } else { |
141 // x is an object. | 137 // x is an object. |
142 if (IS_SPEC_OBJECT(y)) { | 138 if (IS_SPEC_OBJECT(y)) { |
143 return %_ObjectEquals(x, y) ? 0 : 1; | 139 return %_ObjectEquals(x, y) ? 0 : 1; |
144 } | 140 } |
145 if (IS_NULL_OR_UNDEFINED(y)) return 1; // not equal | 141 if (IS_NULL_OR_UNDEFINED(y)) return 1; // not equal |
146 if (IS_SYMBOL(y) || IS_FLOAT32X4(y)) return 1; // not equal | 142 if (IS_SYMBOL(y)) return 1; // not equal |
147 if (IS_BOOLEAN(y)) y = %$toNumber(y); | 143 if (IS_BOOLEAN(y)) y = %$toNumber(y); |
148 x = %$toPrimitive(x, NO_HINT); | 144 x = %$toPrimitive(x, NO_HINT); |
149 } | 145 } |
150 } | 146 } |
151 } | 147 } |
152 | 148 |
153 // ECMA-262, section 11.9.4, page 56. | 149 // ECMA-262, section 11.9.4, page 56. |
154 STRICT_EQUALS = function STRICT_EQUALS(x) { | 150 STRICT_EQUALS = function STRICT_EQUALS(x) { |
155 if (IS_STRING(this)) { | 151 if (IS_STRING(this)) { |
156 if (!IS_STRING(x)) return 1; // not equal | 152 if (!IS_STRING(x)) return 1; // not equal |
157 return %StringEquals(this, x); | 153 return %StringEquals(this, x); |
158 } | 154 } |
159 | 155 |
160 if (IS_NUMBER(this)) { | 156 if (IS_NUMBER(this)) { |
161 if (!IS_NUMBER(x)) return 1; // not equal | 157 if (!IS_NUMBER(x)) return 1; // not equal |
162 return %NumberEquals(this, x); | 158 return %NumberEquals(this, x); |
163 } | 159 } |
164 | 160 |
165 if (IS_FLOAT32X4(this) && IS_FLOAT32X4(x)) | |
166 return %Float32x4Equals(this, x); | |
167 | |
168 // If anything else gets here, we just do simple identity check. | 161 // If anything else gets here, we just do simple identity check. |
169 // Objects (including functions), null, undefined and booleans were | 162 // Objects (including functions), null, undefined and booleans were |
170 // checked in the CompareStub, so there should be nothing left. | 163 // checked in the CompareStub, so there should be nothing left. |
171 return %_ObjectEquals(this, x) ? 0 : 1; | 164 return %_ObjectEquals(this, x) ? 0 : 1; |
172 } | 165 } |
173 | 166 |
174 | 167 |
175 // ECMA-262, section 11.8.5, page 53. The 'ncr' parameter is used as | 168 // ECMA-262, section 11.8.5, page 53. The 'ncr' parameter is used as |
176 // the result when either (or both) the operands are NaN. | 169 // the result when either (or both) the operands are NaN. |
177 COMPARE = function COMPARE(x, ncr) { | 170 COMPARE = function COMPARE(x, ncr) { |
(...skipping 582 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
760 */ | 753 */ |
761 | 754 |
762 // ECMA-262, section 9.1, page 30. Use null/undefined for no hint, | 755 // ECMA-262, section 9.1, page 30. Use null/undefined for no hint, |
763 // (1) for number hint, and (2) for string hint. | 756 // (1) for number hint, and (2) for string hint. |
764 function ToPrimitive(x, hint) { | 757 function ToPrimitive(x, hint) { |
765 // Fast case check. | 758 // Fast case check. |
766 if (IS_STRING(x)) return x; | 759 if (IS_STRING(x)) return x; |
767 // Normal behavior. | 760 // Normal behavior. |
768 if (!IS_SPEC_OBJECT(x)) return x; | 761 if (!IS_SPEC_OBJECT(x)) return x; |
769 if (IS_SYMBOL_WRAPPER(x)) throw MakeTypeError(kSymbolToPrimitive); | 762 if (IS_SYMBOL_WRAPPER(x)) throw MakeTypeError(kSymbolToPrimitive); |
770 if (IS_FLOAT32X4(x)) return x; | |
771 if (hint == NO_HINT) hint = (IS_DATE(x)) ? STRING_HINT : NUMBER_HINT; | 763 if (hint == NO_HINT) hint = (IS_DATE(x)) ? STRING_HINT : NUMBER_HINT; |
772 return (hint == NUMBER_HINT) ? DefaultNumber(x) : DefaultString(x); | 764 return (hint == NUMBER_HINT) ? DefaultNumber(x) : DefaultString(x); |
773 } | 765 } |
774 | 766 |
775 | 767 |
776 // ECMA-262, section 9.2, page 30 | 768 // ECMA-262, section 9.2, page 30 |
777 function ToBoolean(x) { | 769 function ToBoolean(x) { |
778 if (IS_BOOLEAN(x)) return x; | 770 if (IS_BOOLEAN(x)) return x; |
779 if (IS_STRING(x)) return x.length != 0; | 771 if (IS_STRING(x)) return x.length != 0; |
780 if (x == null) return false; | 772 if (x == null) return false; |
781 if (IS_NUMBER(x)) return !((x == 0) || NUMBER_IS_NAN(x)); | 773 if (IS_NUMBER(x)) return !((x == 0) || NUMBER_IS_NAN(x)); |
782 return true; | 774 return true; |
783 } | 775 } |
784 | 776 |
785 | 777 |
786 // ECMA-262, section 9.3, page 31. | 778 // ECMA-262, section 9.3, page 31. |
787 function ToNumber(x) { | 779 function ToNumber(x) { |
788 if (IS_NUMBER(x)) return x; | 780 if (IS_NUMBER(x)) return x; |
789 if (IS_STRING(x)) { | 781 if (IS_STRING(x)) { |
790 return %_HasCachedArrayIndex(x) ? %_GetCachedArrayIndex(x) | 782 return %_HasCachedArrayIndex(x) ? %_GetCachedArrayIndex(x) |
791 : %StringToNumber(x); | 783 : %StringToNumber(x); |
792 } | 784 } |
793 if (IS_BOOLEAN(x)) return x ? 1 : 0; | 785 if (IS_BOOLEAN(x)) return x ? 1 : 0; |
794 if (IS_UNDEFINED(x)) return NAN; | 786 if (IS_UNDEFINED(x)) return NAN; |
795 if (IS_SYMBOL(x)) throw MakeTypeError(kSymbolToNumber); | 787 if (IS_SYMBOL(x)) throw MakeTypeError(kSymbolToNumber); |
796 if (IS_FLOAT32X4(x)) throw MakeTypeError(kSimdToNumber); | |
797 return (IS_NULL(x)) ? 0 : ToNumber(DefaultNumber(x)); | 788 return (IS_NULL(x)) ? 0 : ToNumber(DefaultNumber(x)); |
798 } | 789 } |
799 | 790 |
800 function NonNumberToNumber(x) { | 791 function NonNumberToNumber(x) { |
801 if (IS_STRING(x)) { | 792 if (IS_STRING(x)) { |
802 return %_HasCachedArrayIndex(x) ? %_GetCachedArrayIndex(x) | 793 return %_HasCachedArrayIndex(x) ? %_GetCachedArrayIndex(x) |
803 : %StringToNumber(x); | 794 : %StringToNumber(x); |
804 } | 795 } |
805 if (IS_BOOLEAN(x)) return x ? 1 : 0; | 796 if (IS_BOOLEAN(x)) return x ? 1 : 0; |
806 if (IS_UNDEFINED(x)) return NAN; | 797 if (IS_UNDEFINED(x)) return NAN; |
807 if (IS_SYMBOL(x)) throw MakeTypeError(kSymbolToNumber); | 798 if (IS_SYMBOL(x)) throw MakeTypeError(kSymbolToNumber); |
808 if (IS_FLOAT32X4(x)) throw MakeTypeError(kSimdToNumber); | |
809 return (IS_NULL(x)) ? 0 : ToNumber(DefaultNumber(x)); | 799 return (IS_NULL(x)) ? 0 : ToNumber(DefaultNumber(x)); |
810 } | 800 } |
811 | 801 |
812 | 802 |
813 // ECMA-262, section 9.8, page 35. | 803 // ECMA-262, section 9.8, page 35. |
814 function ToString(x) { | 804 function ToString(x) { |
815 if (IS_STRING(x)) return x; | 805 if (IS_STRING(x)) return x; |
816 if (IS_NUMBER(x)) return %_NumberToString(x); | 806 if (IS_NUMBER(x)) return %_NumberToString(x); |
817 if (IS_BOOLEAN(x)) return x ? 'true' : 'false'; | 807 if (IS_BOOLEAN(x)) return x ? 'true' : 'false'; |
818 if (IS_UNDEFINED(x)) return 'undefined'; | 808 if (IS_UNDEFINED(x)) return 'undefined'; |
(...skipping 15 matching lines...) Expand all Loading... |
834 return IS_SYMBOL(x) ? x : ToString(x); | 824 return IS_SYMBOL(x) ? x : ToString(x); |
835 } | 825 } |
836 | 826 |
837 | 827 |
838 // ECMA-262, section 9.9, page 36. | 828 // ECMA-262, section 9.9, page 36. |
839 function ToObject(x) { | 829 function ToObject(x) { |
840 if (IS_STRING(x)) return new GlobalString(x); | 830 if (IS_STRING(x)) return new GlobalString(x); |
841 if (IS_NUMBER(x)) return new GlobalNumber(x); | 831 if (IS_NUMBER(x)) return new GlobalNumber(x); |
842 if (IS_BOOLEAN(x)) return new GlobalBoolean(x); | 832 if (IS_BOOLEAN(x)) return new GlobalBoolean(x); |
843 if (IS_SYMBOL(x)) return %NewSymbolWrapper(x); | 833 if (IS_SYMBOL(x)) return %NewSymbolWrapper(x); |
844 if (IS_FLOAT32X4(x)) return %NewFloat32x4Wrapper(x); | |
845 if (IS_NULL_OR_UNDEFINED(x) && !IS_UNDETECTABLE(x)) { | 834 if (IS_NULL_OR_UNDEFINED(x) && !IS_UNDETECTABLE(x)) { |
846 throw MakeTypeError(kUndefinedOrNullToObject); | 835 throw MakeTypeError(kUndefinedOrNullToObject); |
847 } | 836 } |
848 return x; | 837 return x; |
849 } | 838 } |
850 | 839 |
851 | 840 |
852 // ECMA-262, section 9.4, page 34. | 841 // ECMA-262, section 9.4, page 34. |
853 function ToInteger(x) { | 842 function ToInteger(x) { |
854 if (%_IsSmi(x)) return x; | 843 if (%_IsSmi(x)) return x; |
(...skipping 27 matching lines...) Expand all Loading... |
882 // ES5, section 9.12 | 871 // ES5, section 9.12 |
883 function SameValue(x, y) { | 872 function SameValue(x, y) { |
884 if (typeof x != typeof y) return false; | 873 if (typeof x != typeof y) return false; |
885 if (IS_NUMBER(x)) { | 874 if (IS_NUMBER(x)) { |
886 if (NUMBER_IS_NAN(x) && NUMBER_IS_NAN(y)) return true; | 875 if (NUMBER_IS_NAN(x) && NUMBER_IS_NAN(y)) return true; |
887 // x is +0 and y is -0 or vice versa. | 876 // x is +0 and y is -0 or vice versa. |
888 if (x === 0 && y === 0 && %_IsMinusZero(x) != %_IsMinusZero(y)) { | 877 if (x === 0 && y === 0 && %_IsMinusZero(x) != %_IsMinusZero(y)) { |
889 return false; | 878 return false; |
890 } | 879 } |
891 } | 880 } |
892 if (IS_FLOAT32X4(x)) { | |
893 return %Float32x4SameValue(x, y); | |
894 } | |
895 return x === y; | 881 return x === y; |
896 } | 882 } |
897 | 883 |
898 | 884 |
899 // ES6, section 7.2.4 | 885 // ES6, section 7.2.4 |
900 function SameValueZero(x, y) { | 886 function SameValueZero(x, y) { |
901 if (typeof x != typeof y) return false; | 887 if (typeof x != typeof y) return false; |
902 if (IS_NUMBER(x)) { | 888 if (IS_NUMBER(x)) { |
903 if (NUMBER_IS_NAN(x) && NUMBER_IS_NAN(y)) return true; | 889 if (NUMBER_IS_NAN(x) && NUMBER_IS_NAN(y)) return true; |
904 } | 890 } |
905 if (IS_FLOAT32X4(x)) { | |
906 return %Float32x4SameValueZero(x, y); | |
907 } | |
908 return x === y; | 891 return x === y; |
909 } | 892 } |
910 | 893 |
911 | |
912 function ConcatIterableToArray(target, iterable) { | 894 function ConcatIterableToArray(target, iterable) { |
913 var index = target.length; | 895 var index = target.length; |
914 for (var element of iterable) { | 896 for (var element of iterable) { |
915 %AddElement(target, index++, element); | 897 %AddElement(target, index++, element); |
916 } | 898 } |
917 return target; | 899 return target; |
918 } | 900 } |
919 | 901 |
920 | 902 |
921 /* --------------------------------- | 903 /* --------------------------------- |
(...skipping 15 matching lines...) Expand all Loading... |
937 function IsConcatSpreadable(O) { | 919 function IsConcatSpreadable(O) { |
938 if (!IS_SPEC_OBJECT(O)) return false; | 920 if (!IS_SPEC_OBJECT(O)) return false; |
939 var spreadable = O[symbolIsConcatSpreadable]; | 921 var spreadable = O[symbolIsConcatSpreadable]; |
940 if (IS_UNDEFINED(spreadable)) return IS_ARRAY(O); | 922 if (IS_UNDEFINED(spreadable)) return IS_ARRAY(O); |
941 return ToBoolean(spreadable); | 923 return ToBoolean(spreadable); |
942 } | 924 } |
943 | 925 |
944 | 926 |
945 // ECMA-262, section 8.6.2.6, page 28. | 927 // ECMA-262, section 8.6.2.6, page 28. |
946 function DefaultNumber(x) { | 928 function DefaultNumber(x) { |
947 if (!IS_SYMBOL_WRAPPER(x) && !IS_FLOAT32X4_WRAPPER(x)) { | 929 if (!IS_SYMBOL_WRAPPER(x)) { |
948 var valueOf = x.valueOf; | 930 var valueOf = x.valueOf; |
949 if (IS_SPEC_FUNCTION(valueOf)) { | 931 if (IS_SPEC_FUNCTION(valueOf)) { |
950 var v = %_CallFunction(x, valueOf); | 932 var v = %_CallFunction(x, valueOf); |
951 if (IsPrimitive(v)) return v; | 933 if (IsPrimitive(v)) return v; |
952 } | 934 } |
953 | 935 |
954 var toString = x.toString; | 936 var toString = x.toString; |
955 if (IS_SPEC_FUNCTION(toString)) { | 937 if (IS_SPEC_FUNCTION(toString)) { |
956 var s = %_CallFunction(x, toString); | 938 var s = %_CallFunction(x, toString); |
957 if (IsPrimitive(s)) return s; | 939 if (IsPrimitive(s)) return s; |
(...skipping 51 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
1009 $toLength = ToLength; | 991 $toLength = ToLength; |
1010 $toName = ToName; | 992 $toName = ToName; |
1011 $toNumber = ToNumber; | 993 $toNumber = ToNumber; |
1012 $toObject = ToObject; | 994 $toObject = ToObject; |
1013 $toPositiveInteger = ToPositiveInteger; | 995 $toPositiveInteger = ToPositiveInteger; |
1014 $toPrimitive = ToPrimitive; | 996 $toPrimitive = ToPrimitive; |
1015 $toString = ToString; | 997 $toString = ToString; |
1016 $toUint32 = ToUint32; | 998 $toUint32 = ToUint32; |
1017 | 999 |
1018 }) | 1000 }) |
OLD | NEW |