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
3 // found in the LICENSE file.
4
5 #include "src/objects/objects-inl.h"
6 #include "test/cctest/compiler/function-tester.h"
7
8 namespace v8 {
9 namespace internal {
10 namespace compiler {
11
TEST(Conditional)12 TEST(Conditional) {
13 FunctionTester T("(function(a) { return a ? 23 : 42; })");
14
15 T.CheckCall(T.Val(23), T.true_value(), T.undefined());
16 T.CheckCall(T.Val(42), T.false_value(), T.undefined());
17 T.CheckCall(T.Val(42), T.undefined(), T.undefined());
18 T.CheckCall(T.Val(42), T.Val(0.0), T.undefined());
19 T.CheckCall(T.Val(23), T.Val(999), T.undefined());
20 T.CheckCall(T.Val(23), T.Val("x"), T.undefined());
21 }
22
23
TEST(LogicalAnd)24 TEST(LogicalAnd) {
25 FunctionTester T("(function(a,b) { return a && b; })");
26
27 T.CheckCall(T.true_value(), T.true_value(), T.true_value());
28 T.CheckCall(T.false_value(), T.false_value(), T.true_value());
29 T.CheckCall(T.false_value(), T.true_value(), T.false_value());
30 T.CheckCall(T.false_value(), T.false_value(), T.false_value());
31
32 T.CheckCall(T.Val(999), T.Val(777), T.Val(999));
33 T.CheckCall(T.Val(0.0), T.Val(0.0), T.Val(999));
34 T.CheckCall(T.Val("b"), T.Val("a"), T.Val("b"));
35 }
36
37
TEST(LogicalOr)38 TEST(LogicalOr) {
39 FunctionTester T("(function(a,b) { return a || b; })");
40
41 T.CheckCall(T.true_value(), T.true_value(), T.true_value());
42 T.CheckCall(T.true_value(), T.false_value(), T.true_value());
43 T.CheckCall(T.true_value(), T.true_value(), T.false_value());
44 T.CheckCall(T.false_value(), T.false_value(), T.false_value());
45
46 T.CheckCall(T.Val(777), T.Val(777), T.Val(999));
47 T.CheckCall(T.Val(999), T.Val(0.0), T.Val(999));
48 T.CheckCall(T.Val("a"), T.Val("a"), T.Val("b"));
49 }
50
51
TEST(LogicalEffect)52 TEST(LogicalEffect) {
53 FunctionTester T("(function(a,b) { a && (b = a); return b; })");
54
55 T.CheckCall(T.true_value(), T.true_value(), T.true_value());
56 T.CheckCall(T.true_value(), T.false_value(), T.true_value());
57 T.CheckCall(T.true_value(), T.true_value(), T.false_value());
58 T.CheckCall(T.false_value(), T.false_value(), T.false_value());
59
60 T.CheckCall(T.Val(777), T.Val(777), T.Val(999));
61 T.CheckCall(T.Val(999), T.Val(0.0), T.Val(999));
62 T.CheckCall(T.Val("a"), T.Val("a"), T.Val("b"));
63 }
64
65
TEST(IfStatement)66 TEST(IfStatement) {
67 FunctionTester T("(function(a) { if (a) { return 1; } else { return 2; } })");
68
69 T.CheckCall(T.Val(1), T.true_value(), T.undefined());
70 T.CheckCall(T.Val(2), T.false_value(), T.undefined());
71 T.CheckCall(T.Val(2), T.undefined(), T.undefined());
72 T.CheckCall(T.Val(2), T.Val(0.0), T.undefined());
73 T.CheckCall(T.Val(1), T.Val(999), T.undefined());
74 T.CheckCall(T.Val(1), T.Val("x"), T.undefined());
75 }
76
77
TEST(DoWhileStatement)78 TEST(DoWhileStatement) {
79 FunctionTester T("(function(a,b) { do { a+=23; } while(a < b) return a; })");
80
81 T.CheckCall(T.Val(24), T.Val(1), T.Val(1));
82 T.CheckCall(T.Val(24), T.Val(1), T.Val(23));
83 T.CheckCall(T.Val(47), T.Val(1), T.Val(25));
84 T.CheckCall(T.Val("str23"), T.Val("str"), T.Val("str"));
85 }
86
87
TEST(WhileStatement)88 TEST(WhileStatement) {
89 FunctionTester T("(function(a,b) { while(a < b) { a+=23; } return a; })");
90
91 T.CheckCall(T.Val(1), T.Val(1), T.Val(1));
92 T.CheckCall(T.Val(24), T.Val(1), T.Val(23));
93 T.CheckCall(T.Val(47), T.Val(1), T.Val(25));
94 T.CheckCall(T.Val("str"), T.Val("str"), T.Val("str"));
95 }
96
97
TEST(ForStatement)98 TEST(ForStatement) {
99 FunctionTester T("(function(a,b) { for (; a < b; a+=23) {} return a; })");
100
101 T.CheckCall(T.Val(1), T.Val(1), T.Val(1));
102 T.CheckCall(T.Val(24), T.Val(1), T.Val(23));
103 T.CheckCall(T.Val(47), T.Val(1), T.Val(25));
104 T.CheckCall(T.Val("str"), T.Val("str"), T.Val("str"));
105 }
106
TEST(ForOfContinueStatement)107 TEST(ForOfContinueStatement) {
108 const char* src =
109 "(function(a,b) {"
110 " var r = '-';"
111 " for (var x of a) {"
112 " r += x + '-';"
113 " if (b) continue;"
114 " r += 'X-';"
115 " }"
116 " return r;"
117 "})";
118 FunctionTester T(src);
119
120 CompileRun(
121 "function wrap(v) {"
122 " var iterable = {};"
123 " function next() { return { done:!v.length, value:v.shift() }; };"
124 " iterable[Symbol.iterator] = function() { return { next:next }; };"
125 " return iterable;"
126 "}");
127
128 T.CheckCall(T.Val("-"), T.NewObject("wrap([])"), T.true_value());
129 T.CheckCall(T.Val("-1-2-"), T.NewObject("wrap([1,2])"), T.true_value());
130 T.CheckCall(T.Val("-1-X-2-X-"), T.NewObject("wrap([1,2])"), T.false_value());
131 }
132
133
TEST(SwitchStatement)134 TEST(SwitchStatement) {
135 const char* src =
136 "(function(a,b) {"
137 " var r = '-';"
138 " switch (a) {"
139 " case 'x' : r += 'X-';"
140 " case b + 'b': r += 'B-';"
141 " default : r += 'D-';"
142 " case 'y' : r += 'Y-';"
143 " }"
144 " return r;"
145 "})";
146 FunctionTester T(src);
147
148 T.CheckCall(T.Val("-X-B-D-Y-"), T.Val("x"), T.Val("B"));
149 T.CheckCall(T.Val("-B-D-Y-"), T.Val("Bb"), T.Val("B"));
150 T.CheckCall(T.Val("-D-Y-"), T.Val("z"), T.Val("B"));
151 T.CheckCall(T.Val("-Y-"), T.Val("y"), T.Val("B"));
152
153 CompileRun("var c = 0; var o = { toString:function(){return c++} };");
154 T.CheckCall(T.Val("-D-Y-"), T.Val("1b"), T.NewObject("o"));
155 T.CheckCall(T.Val("-B-D-Y-"), T.Val("1b"), T.NewObject("o"));
156 T.CheckCall(T.Val("-D-Y-"), T.Val("1b"), T.NewObject("o"));
157 }
158
159
TEST(BlockBreakStatement)160 TEST(BlockBreakStatement) {
161 FunctionTester T("(function(a,b) { L:{ if (a) break L; b=1; } return b; })");
162
163 T.CheckCall(T.Val(7), T.true_value(), T.Val(7));
164 T.CheckCall(T.Val(1), T.false_value(), T.Val(7));
165 }
166
167
TEST(BlockReturnStatement)168 TEST(BlockReturnStatement) {
169 FunctionTester T("(function(a,b) { L:{ if (a) b=1; return b; } })");
170
171 T.CheckCall(T.Val(1), T.true_value(), T.Val(7));
172 T.CheckCall(T.Val(7), T.false_value(), T.Val(7));
173 }
174
175
TEST(NestedIfConditional)176 TEST(NestedIfConditional) {
177 FunctionTester T("(function(a,b) { if (a) { b = (b?b:7) + 1; } return b; })");
178
179 T.CheckCall(T.Val(4), T.false_value(), T.Val(4));
180 T.CheckCall(T.Val(6), T.true_value(), T.Val(5));
181 T.CheckCall(T.Val(8), T.true_value(), T.undefined());
182 }
183
184
TEST(NestedIfLogical)185 TEST(NestedIfLogical) {
186 const char* src =
187 "(function(a,b) {"
188 " if (a || b) { return 1; } else { return 2; }"
189 "})";
190 FunctionTester T(src);
191
192 T.CheckCall(T.Val(1), T.true_value(), T.true_value());
193 T.CheckCall(T.Val(1), T.false_value(), T.true_value());
194 T.CheckCall(T.Val(1), T.true_value(), T.false_value());
195 T.CheckCall(T.Val(2), T.false_value(), T.false_value());
196 T.CheckCall(T.Val(1), T.Val(1.0), T.Val(1.0));
197 T.CheckCall(T.Val(1), T.Val(0.0), T.Val(1.0));
198 T.CheckCall(T.Val(1), T.Val(1.0), T.Val(0.0));
199 T.CheckCall(T.Val(2), T.Val(0.0), T.Val(0.0));
200 }
201
202
TEST(NestedIfElseFor)203 TEST(NestedIfElseFor) {
204 const char* src =
205 "(function(a,b) {"
206 " if (!a) { return b - 3; } else { for (; a < b; a++); }"
207 " return a;"
208 "})";
209 FunctionTester T(src);
210
211 T.CheckCall(T.Val(1), T.false_value(), T.Val(4));
212 T.CheckCall(T.Val(2), T.true_value(), T.Val(2));
213 T.CheckCall(T.Val(3), T.Val(3), T.Val(1));
214 }
215
216
TEST(NestedWhileWhile)217 TEST(NestedWhileWhile) {
218 const char* src =
219 "(function(a) {"
220 " var i = a; while (false) while(false) return i;"
221 " return i;"
222 "})";
223 FunctionTester T(src);
224
225 T.CheckCall(T.Val(2.0), T.Val(2.0), T.Val(-1.0));
226 T.CheckCall(T.Val(65.0), T.Val(65.0), T.Val(-1.0));
227 }
228
229
TEST(NestedForIf)230 TEST(NestedForIf) {
231 FunctionTester T("(function(a,b) { for (; a > 1; a--) if (b) return 1; })");
232
233 T.CheckCall(T.Val(1), T.Val(3), T.true_value());
234 T.CheckCall(T.undefined(), T.Val(2), T.false_value());
235 T.CheckCall(T.undefined(), T.Val(1), T.null());
236 }
237
238
TEST(NestedForConditional)239 TEST(NestedForConditional) {
240 FunctionTester T("(function(a,b) { for (; a > 1; a--) return b ? 1 : 2; })");
241
242 T.CheckCall(T.Val(1), T.Val(3), T.true_value());
243 T.CheckCall(T.Val(2), T.Val(2), T.false_value());
244 T.CheckCall(T.undefined(), T.Val(1), T.null());
245 }
246
247
TEST(IfTrue)248 TEST(IfTrue) {
249 FunctionTester T("(function(a,b) { if (true) return a; return b; })");
250
251 T.CheckCall(T.Val(55), T.Val(55), T.Val(11));
252 T.CheckCall(T.Val(666), T.Val(666), T.Val(-444));
253 }
254
255
TEST(TernaryTrue)256 TEST(TernaryTrue) {
257 FunctionTester T("(function(a,b) { return true ? a : b; })");
258
259 T.CheckCall(T.Val(77), T.Val(77), T.Val(11));
260 T.CheckCall(T.Val(111), T.Val(111), T.Val(-444));
261 }
262
263
TEST(IfFalse)264 TEST(IfFalse) {
265 FunctionTester T("(function(a,b) { if (false) return a; return b; })");
266
267 T.CheckCall(T.Val(11), T.Val(22), T.Val(11));
268 T.CheckCall(T.Val(-555), T.Val(333), T.Val(-555));
269 }
270
271
TEST(TernaryFalse)272 TEST(TernaryFalse) {
273 FunctionTester T("(function(a,b) { return false ? a : b; })");
274
275 T.CheckCall(T.Val(99), T.Val(33), T.Val(99));
276 T.CheckCall(T.Val(-99), T.Val(-33), T.Val(-99));
277 }
278
279
TEST(WhileTrue)280 TEST(WhileTrue) {
281 FunctionTester T("(function(a,b) { while (true) return a; return b; })");
282
283 T.CheckCall(T.Val(551), T.Val(551), T.Val(111));
284 T.CheckCall(T.Val(661), T.Val(661), T.Val(-444));
285 }
286
287
TEST(WhileFalse)288 TEST(WhileFalse) {
289 FunctionTester T("(function(a,b) { while (false) return a; return b; })");
290
291 T.CheckCall(T.Val(115), T.Val(551), T.Val(115));
292 T.CheckCall(T.Val(-445), T.Val(661), T.Val(-445));
293 }
294
295
TEST(DoWhileTrue)296 TEST(DoWhileTrue) {
297 FunctionTester T(
298 "(function(a,b) { do { return a; } while (true); return b; })");
299
300 T.CheckCall(T.Val(7551), T.Val(7551), T.Val(7111));
301 T.CheckCall(T.Val(7661), T.Val(7661), T.Val(-7444));
302 }
303
304
TEST(DoWhileFalse)305 TEST(DoWhileFalse) {
306 FunctionTester T(
307 "(function(a,b) { do { "
308 "; } while (false); return b; })");
309
310 T.CheckCall(T.Val(8115), T.Val(8551), T.Val(8115));
311 T.CheckCall(T.Val(-8445), T.Val(8661), T.Val(-8445));
312 }
313
314
TEST(EmptyFor)315 TEST(EmptyFor) {
316 FunctionTester T("(function(a,b) { if (a) for(;;) ; return b; })");
317
318 T.CheckCall(T.Val(8126.1), T.Val(0.0), T.Val(8126.1));
319 T.CheckCall(T.Val(1123.1), T.Val(0.0), T.Val(1123.1));
320 }
321
322 } // namespace compiler
323 } // namespace internal
324 } // namespace v8
325