OLD | NEW |
1 // Copyright 2014 the V8 project authors. All rights reserved. | 1 // Copyright 2014 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 #include "src/v8.h" | 5 #include "src/v8.h" |
6 | 6 |
7 #include "test/cctest/compiler/function-tester.h" | 7 #include "test/cctest/compiler/function-tester.h" |
8 | 8 |
9 using namespace v8::internal; | 9 using namespace v8::internal; |
10 using namespace v8::internal::compiler; | 10 using namespace v8::internal::compiler; |
11 | 11 uint32_t flags = CompilationInfo::kInliningEnabled; |
12 | 12 |
13 TEST(IsSmi) { | 13 TEST(IsSmi) { |
14 FunctionTester T("(function(a) { return %_IsSmi(a); })"); | 14 FLAG_turbo_inlining_intrinsics = true; |
| 15 FLAG_turbo_deoptimization = true; |
| 16 FunctionTester T("(function(a) { return %_IsSmi(a); })", flags); |
15 | 17 |
16 T.CheckTrue(T.Val(1)); | 18 T.CheckTrue(T.Val(1)); |
17 T.CheckFalse(T.Val(1.1)); | 19 T.CheckFalse(T.Val(1.1)); |
18 T.CheckFalse(T.Val(-0.0)); | 20 T.CheckFalse(T.Val(-0.0)); |
19 T.CheckTrue(T.Val(-2)); | 21 T.CheckTrue(T.Val(-2)); |
20 T.CheckFalse(T.Val(-2.3)); | 22 T.CheckFalse(T.Val(-2.3)); |
21 T.CheckFalse(T.undefined()); | 23 T.CheckFalse(T.undefined()); |
22 } | 24 } |
23 | 25 |
24 | 26 |
25 TEST(IsNonNegativeSmi) { | 27 TEST(IsNonNegativeSmi) { |
26 FunctionTester T("(function(a) { return %_IsNonNegativeSmi(a); })"); | 28 FLAG_turbo_inlining_intrinsics = true; |
| 29 FLAG_turbo_deoptimization = true; |
| 30 FunctionTester T("(function(a) { return %_IsNonNegativeSmi(a); })", flags); |
27 | 31 |
28 T.CheckTrue(T.Val(1)); | 32 T.CheckTrue(T.Val(1)); |
29 T.CheckFalse(T.Val(1.1)); | 33 T.CheckFalse(T.Val(1.1)); |
30 T.CheckFalse(T.Val(-0.0)); | 34 T.CheckFalse(T.Val(-0.0)); |
31 T.CheckFalse(T.Val(-2)); | 35 T.CheckFalse(T.Val(-2)); |
32 T.CheckFalse(T.Val(-2.3)); | 36 T.CheckFalse(T.Val(-2.3)); |
33 T.CheckFalse(T.undefined()); | 37 T.CheckFalse(T.undefined()); |
34 } | 38 } |
35 | 39 |
36 | 40 |
37 TEST(IsMinusZero) { | 41 TEST(IsMinusZero) { |
38 FunctionTester T("(function(a) { return %_IsMinusZero(a); })"); | 42 FLAG_turbo_inlining_intrinsics = true; |
| 43 FLAG_turbo_deoptimization = true; |
| 44 FunctionTester T("(function(a) { return %_IsMinusZero(a); })", flags); |
39 | 45 |
40 T.CheckFalse(T.Val(1)); | 46 T.CheckFalse(T.Val(1)); |
41 T.CheckFalse(T.Val(1.1)); | 47 T.CheckFalse(T.Val(1.1)); |
42 T.CheckTrue(T.Val(-0.0)); | 48 T.CheckTrue(T.Val(-0.0)); |
43 T.CheckFalse(T.Val(-2)); | 49 T.CheckFalse(T.Val(-2)); |
44 T.CheckFalse(T.Val(-2.3)); | 50 T.CheckFalse(T.Val(-2.3)); |
45 T.CheckFalse(T.undefined()); | 51 T.CheckFalse(T.undefined()); |
46 } | 52 } |
47 | 53 |
48 | 54 |
49 TEST(IsArray) { | 55 TEST(IsArray) { |
50 FunctionTester T("(function(a) { return %_IsArray(a); })"); | 56 FLAG_turbo_inlining_intrinsics = true; |
| 57 FLAG_turbo_deoptimization = true; |
| 58 FunctionTester T("(function(a) { return %_IsArray(a); })", flags); |
51 | 59 |
52 T.CheckFalse(T.NewObject("(function() {})")); | 60 T.CheckFalse(T.NewObject("(function() {})")); |
53 T.CheckTrue(T.NewObject("([1])")); | 61 T.CheckTrue(T.NewObject("([1])")); |
54 T.CheckFalse(T.NewObject("({})")); | 62 T.CheckFalse(T.NewObject("({})")); |
55 T.CheckFalse(T.NewObject("(/x/)")); | 63 T.CheckFalse(T.NewObject("(/x/)")); |
56 T.CheckFalse(T.undefined()); | 64 T.CheckFalse(T.undefined()); |
57 T.CheckFalse(T.null()); | 65 T.CheckFalse(T.null()); |
58 T.CheckFalse(T.Val("x")); | 66 T.CheckFalse(T.Val("x")); |
59 T.CheckFalse(T.Val(1)); | 67 T.CheckFalse(T.Val(1)); |
60 } | 68 } |
61 | 69 |
62 | 70 |
63 TEST(IsObject) { | 71 TEST(IsObject) { |
64 FunctionTester T("(function(a) { return %_IsObject(a); })"); | 72 FLAG_turbo_inlining_intrinsics = true; |
| 73 FLAG_turbo_deoptimization = true; |
| 74 FunctionTester T("(function(a) { return %_IsObject(a); })", flags); |
65 | 75 |
66 T.CheckFalse(T.NewObject("(function() {})")); | 76 T.CheckFalse(T.NewObject("(function() {})")); |
67 T.CheckTrue(T.NewObject("([1])")); | 77 T.CheckTrue(T.NewObject("([1])")); |
68 T.CheckTrue(T.NewObject("({})")); | 78 T.CheckTrue(T.NewObject("({})")); |
69 T.CheckTrue(T.NewObject("(/x/)")); | 79 T.CheckTrue(T.NewObject("(/x/)")); |
70 T.CheckFalse(T.undefined()); | 80 T.CheckFalse(T.undefined()); |
71 T.CheckTrue(T.null()); | 81 T.CheckTrue(T.null()); |
72 T.CheckFalse(T.Val("x")); | 82 T.CheckFalse(T.Val("x")); |
73 T.CheckFalse(T.Val(1)); | 83 T.CheckFalse(T.Val(1)); |
74 } | 84 } |
75 | 85 |
76 | 86 |
77 TEST(IsFunction) { | 87 TEST(IsFunction) { |
78 FunctionTester T("(function(a) { return %_IsFunction(a); })"); | 88 FLAG_turbo_inlining_intrinsics = true; |
| 89 FLAG_turbo_deoptimization = true; |
| 90 FunctionTester T("(function(a) { return %_IsFunction(a); })", flags); |
79 | 91 |
80 T.CheckTrue(T.NewObject("(function() {})")); | 92 T.CheckTrue(T.NewObject("(function() {})")); |
81 T.CheckFalse(T.NewObject("([1])")); | 93 T.CheckFalse(T.NewObject("([1])")); |
82 T.CheckFalse(T.NewObject("({})")); | 94 T.CheckFalse(T.NewObject("({})")); |
83 T.CheckFalse(T.NewObject("(/x/)")); | 95 T.CheckFalse(T.NewObject("(/x/)")); |
84 T.CheckFalse(T.undefined()); | 96 T.CheckFalse(T.undefined()); |
85 T.CheckFalse(T.null()); | 97 T.CheckFalse(T.null()); |
86 T.CheckFalse(T.Val("x")); | 98 T.CheckFalse(T.Val("x")); |
87 T.CheckFalse(T.Val(1)); | 99 T.CheckFalse(T.Val(1)); |
88 } | 100 } |
89 | 101 |
90 | 102 |
91 TEST(IsRegExp) { | 103 TEST(IsRegExp) { |
92 FunctionTester T("(function(a) { return %_IsRegExp(a); })"); | 104 FLAG_turbo_inlining_intrinsics = true; |
| 105 FLAG_turbo_deoptimization = true; |
| 106 FunctionTester T("(function(a) { return %_IsRegExp(a); })", flags); |
93 | 107 |
94 T.CheckFalse(T.NewObject("(function() {})")); | 108 T.CheckFalse(T.NewObject("(function() {})")); |
95 T.CheckFalse(T.NewObject("([1])")); | 109 T.CheckFalse(T.NewObject("([1])")); |
96 T.CheckFalse(T.NewObject("({})")); | 110 T.CheckFalse(T.NewObject("({})")); |
97 T.CheckTrue(T.NewObject("(/x/)")); | 111 T.CheckTrue(T.NewObject("(/x/)")); |
98 T.CheckFalse(T.undefined()); | 112 T.CheckFalse(T.undefined()); |
99 T.CheckFalse(T.null()); | 113 T.CheckFalse(T.null()); |
100 T.CheckFalse(T.Val("x")); | 114 T.CheckFalse(T.Val("x")); |
101 T.CheckFalse(T.Val(1)); | 115 T.CheckFalse(T.Val(1)); |
102 } | 116 } |
103 | 117 |
104 | 118 |
105 TEST(ClassOf) { | 119 TEST(ClassOf) { |
106 FunctionTester T("(function(a) { return %_ClassOf(a); })"); | 120 FLAG_turbo_inlining_intrinsics = true; |
| 121 FLAG_turbo_deoptimization = true; |
| 122 FunctionTester T("(function(a) { return %_ClassOf(a); })", flags); |
107 | 123 |
108 T.CheckCall(T.Val("Function"), T.NewObject("(function() {})")); | 124 T.CheckCall(T.Val("Function"), T.NewObject("(function() {})")); |
109 T.CheckCall(T.Val("Array"), T.NewObject("([1])")); | 125 T.CheckCall(T.Val("Array"), T.NewObject("([1])")); |
110 T.CheckCall(T.Val("Object"), T.NewObject("({})")); | 126 T.CheckCall(T.Val("Object"), T.NewObject("({})")); |
111 T.CheckCall(T.Val("RegExp"), T.NewObject("(/x/)")); | 127 T.CheckCall(T.Val("RegExp"), T.NewObject("(/x/)")); |
112 T.CheckCall(T.null(), T.undefined()); | 128 T.CheckCall(T.null(), T.undefined()); |
113 T.CheckCall(T.null(), T.null()); | 129 T.CheckCall(T.null(), T.null()); |
114 T.CheckCall(T.null(), T.Val("x")); | 130 T.CheckCall(T.null(), T.Val("x")); |
115 T.CheckCall(T.null(), T.Val(1)); | 131 T.CheckCall(T.null(), T.Val(1)); |
116 } | 132 } |
117 | 133 |
118 | 134 |
119 TEST(ObjectEquals) { | 135 TEST(ObjectEquals) { |
120 FunctionTester T("(function(a,b) { return %_ObjectEquals(a,b); })"); | 136 FLAG_turbo_inlining_intrinsics = true; |
| 137 FLAG_turbo_deoptimization = true; |
| 138 FunctionTester T("(function(a,b) { return %_ObjectEquals(a,b); })", flags); |
121 CompileRun("var o = {}"); | 139 CompileRun("var o = {}"); |
122 | 140 |
123 T.CheckTrue(T.NewObject("(o)"), T.NewObject("(o)")); | 141 T.CheckTrue(T.NewObject("(o)"), T.NewObject("(o)")); |
124 T.CheckTrue(T.Val("internal"), T.Val("internal")); | 142 T.CheckTrue(T.Val("internal"), T.Val("internal")); |
125 T.CheckTrue(T.true_value(), T.true_value()); | 143 T.CheckTrue(T.true_value(), T.true_value()); |
126 T.CheckFalse(T.true_value(), T.false_value()); | 144 T.CheckFalse(T.true_value(), T.false_value()); |
127 T.CheckFalse(T.NewObject("({})"), T.NewObject("({})")); | 145 T.CheckFalse(T.NewObject("({})"), T.NewObject("({})")); |
128 T.CheckFalse(T.Val("a"), T.Val("b")); | 146 T.CheckFalse(T.Val("a"), T.Val("b")); |
129 } | 147 } |
130 | 148 |
131 | 149 |
132 TEST(ValueOf) { | 150 TEST(ValueOf) { |
133 FunctionTester T("(function(a) { return %_ValueOf(a); })"); | 151 FLAG_turbo_inlining_intrinsics = true; |
| 152 FLAG_turbo_deoptimization = true; |
| 153 FunctionTester T("(function(a) { return %_ValueOf(a); })", flags); |
134 | 154 |
135 T.CheckCall(T.Val("a"), T.Val("a")); | 155 T.CheckCall(T.Val("a"), T.Val("a")); |
136 T.CheckCall(T.Val("b"), T.NewObject("(new String('b'))")); | 156 T.CheckCall(T.Val("b"), T.NewObject("(new String('b'))")); |
137 T.CheckCall(T.Val(123), T.Val(123)); | 157 T.CheckCall(T.Val(123), T.Val(123)); |
138 T.CheckCall(T.Val(456), T.NewObject("(new Number(456))")); | 158 T.CheckCall(T.Val(456), T.NewObject("(new Number(456))")); |
139 } | 159 } |
140 | 160 |
141 | 161 |
142 TEST(SetValueOf) { | 162 TEST(SetValueOf) { |
143 FunctionTester T("(function(a,b) { return %_SetValueOf(a,b); })"); | 163 FLAG_turbo_inlining_intrinsics = true; |
| 164 FLAG_turbo_deoptimization = true; |
| 165 FunctionTester T("(function(a,b) { return %_SetValueOf(a,b); })", flags); |
144 | 166 |
145 T.CheckCall(T.Val("a"), T.NewObject("(new String)"), T.Val("a")); | 167 T.CheckCall(T.Val("a"), T.NewObject("(new String)"), T.Val("a")); |
146 T.CheckCall(T.Val(123), T.NewObject("(new Number)"), T.Val(123)); | 168 T.CheckCall(T.Val(123), T.NewObject("(new Number)"), T.Val(123)); |
147 T.CheckCall(T.Val("x"), T.undefined(), T.Val("x")); | 169 T.CheckCall(T.Val("x"), T.undefined(), T.Val("x")); |
148 } | 170 } |
149 | 171 |
150 | 172 |
151 TEST(StringCharFromCode) { | 173 TEST(StringCharFromCode) { |
152 FunctionTester T("(function(a) { return %_StringCharFromCode(a); })"); | 174 FLAG_turbo_inlining_intrinsics = true; |
| 175 FLAG_turbo_deoptimization = true; |
| 176 FunctionTester T("(function(a) { return %_StringCharFromCode(a); })", flags); |
153 | 177 |
154 T.CheckCall(T.Val("a"), T.Val(97)); | 178 T.CheckCall(T.Val("a"), T.Val(97)); |
155 T.CheckCall(T.Val("\xE2\x9D\x8A"), T.Val(0x274A)); | 179 T.CheckCall(T.Val("\xE2\x9D\x8A"), T.Val(0x274A)); |
156 T.CheckCall(T.Val(""), T.undefined()); | 180 T.CheckCall(T.Val(""), T.undefined()); |
157 } | 181 } |
158 | 182 |
159 | 183 |
160 TEST(StringCharAt) { | 184 TEST(StringCharAt) { |
161 FunctionTester T("(function(a,b) { return %_StringCharAt(a,b); })"); | 185 FLAG_turbo_inlining_intrinsics = true; |
| 186 FLAG_turbo_deoptimization = true; |
| 187 FunctionTester T("(function(a,b) { return %_StringCharAt(a,b); })", flags); |
162 | 188 |
163 T.CheckCall(T.Val("e"), T.Val("huge fan!"), T.Val(3)); | 189 T.CheckCall(T.Val("e"), T.Val("huge fan!"), T.Val(3)); |
164 T.CheckCall(T.Val("f"), T.Val("\xE2\x9D\x8A fan!"), T.Val(2)); | 190 T.CheckCall(T.Val("f"), T.Val("\xE2\x9D\x8A fan!"), T.Val(2)); |
165 T.CheckCall(T.Val(""), T.Val("not a fan!"), T.Val(23)); | 191 T.CheckCall(T.Val(""), T.Val("not a fan!"), T.Val(23)); |
166 } | 192 } |
167 | 193 |
168 | 194 |
169 TEST(StringCharCodeAt) { | 195 TEST(StringCharCodeAt) { |
170 FunctionTester T("(function(a,b) { return %_StringCharCodeAt(a,b); })"); | 196 FLAG_turbo_inlining_intrinsics = true; |
| 197 FLAG_turbo_deoptimization = true; |
| 198 FunctionTester T("(function(a,b) { return %_StringCharCodeAt(a,b); })", |
| 199 flags); |
171 | 200 |
172 T.CheckCall(T.Val('e'), T.Val("huge fan!"), T.Val(3)); | 201 T.CheckCall(T.Val('e'), T.Val("huge fan!"), T.Val(3)); |
173 T.CheckCall(T.Val('f'), T.Val("\xE2\x9D\x8A fan!"), T.Val(2)); | 202 T.CheckCall(T.Val('f'), T.Val("\xE2\x9D\x8A fan!"), T.Val(2)); |
174 T.CheckCall(T.nan(), T.Val("not a fan!"), T.Val(23)); | 203 T.CheckCall(T.nan(), T.Val("not a fan!"), T.Val(23)); |
175 } | 204 } |
176 | 205 |
177 | 206 |
178 TEST(StringAdd) { | 207 TEST(StringAdd) { |
179 FunctionTester T("(function(a,b) { return %_StringAdd(a,b); })"); | 208 FLAG_turbo_inlining_intrinsics = true; |
| 209 FLAG_turbo_deoptimization = true; |
| 210 FunctionTester T("(function(a,b) { return %_StringAdd(a,b); })", flags); |
180 | 211 |
181 T.CheckCall(T.Val("aaabbb"), T.Val("aaa"), T.Val("bbb")); | 212 T.CheckCall(T.Val("aaabbb"), T.Val("aaa"), T.Val("bbb")); |
182 T.CheckCall(T.Val("aaa"), T.Val("aaa"), T.Val("")); | 213 T.CheckCall(T.Val("aaa"), T.Val("aaa"), T.Val("")); |
183 T.CheckCall(T.Val("bbb"), T.Val(""), T.Val("bbb")); | 214 T.CheckCall(T.Val("bbb"), T.Val(""), T.Val("bbb")); |
184 } | 215 } |
185 | 216 |
186 | 217 |
187 TEST(StringSubString) { | 218 TEST(StringSubString) { |
188 FunctionTester T("(function(a,b) { return %_SubString(a,b,b+3); })"); | 219 FLAG_turbo_inlining_intrinsics = true; |
| 220 FLAG_turbo_deoptimization = true; |
| 221 FunctionTester T("(function(a,b) { return %_SubString(a,b,b+3); })", flags); |
189 | 222 |
190 T.CheckCall(T.Val("aaa"), T.Val("aaabbb"), T.Val(0.0)); | 223 T.CheckCall(T.Val("aaa"), T.Val("aaabbb"), T.Val(0.0)); |
191 T.CheckCall(T.Val("abb"), T.Val("aaabbb"), T.Val(2)); | 224 T.CheckCall(T.Val("abb"), T.Val("aaabbb"), T.Val(2)); |
192 T.CheckCall(T.Val("aaa"), T.Val("aaa"), T.Val(0.0)); | 225 T.CheckCall(T.Val("aaa"), T.Val("aaa"), T.Val(0.0)); |
193 } | 226 } |
194 | 227 |
195 | 228 |
196 TEST(StringCompare) { | 229 TEST(StringCompare) { |
197 FunctionTester T("(function(a,b) { return %_StringCompare(a,b); })"); | 230 FLAG_turbo_inlining_intrinsics = true; |
| 231 FLAG_turbo_deoptimization = true; |
| 232 FunctionTester T("(function(a,b) { return %_StringCompare(a,b); })", flags); |
198 | 233 |
199 T.CheckCall(T.Val(-1), T.Val("aaa"), T.Val("bbb")); | 234 T.CheckCall(T.Val(-1), T.Val("aaa"), T.Val("bbb")); |
200 T.CheckCall(T.Val(0.0), T.Val("bbb"), T.Val("bbb")); | 235 T.CheckCall(T.Val(0.0), T.Val("bbb"), T.Val("bbb")); |
201 T.CheckCall(T.Val(+1), T.Val("ccc"), T.Val("bbb")); | 236 T.CheckCall(T.Val(+1), T.Val("ccc"), T.Val("bbb")); |
202 } | 237 } |
203 | 238 |
204 | 239 |
205 TEST(CallFunction) { | 240 TEST(CallFunction) { |
206 FunctionTester T("(function(a,b) { return %_CallFunction(a, 1, 2, 3, b); })"); | 241 FLAG_turbo_inlining_intrinsics = true; |
| 242 FLAG_turbo_deoptimization = true; |
| 243 FunctionTester T("(function(a,b) { return %_CallFunction(a, 1, 2, 3, b); })", |
| 244 flags); |
207 CompileRun("function f(a,b,c) { return a + b + c + this.d; }"); | 245 CompileRun("function f(a,b,c) { return a + b + c + this.d; }"); |
208 | 246 |
209 T.CheckCall(T.Val(129), T.NewObject("({d:123})"), T.NewObject("f")); | 247 T.CheckCall(T.Val(129), T.NewObject("({d:123})"), T.NewObject("f")); |
210 T.CheckCall(T.Val("6x"), T.NewObject("({d:'x'})"), T.NewObject("f")); | 248 T.CheckCall(T.Val("6x"), T.NewObject("({d:'x'})"), T.NewObject("f")); |
211 } | 249 } |
OLD | NEW |