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/v8.h"
6
7 #include "test/cctest/compiler/function-tester.h"
8
9 using namespace v8::internal;
10 using namespace v8::internal::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
107
TestForIn(const char * code)108 static void TestForIn(const char* code) {
109 FunctionTester T(code);
110 T.CheckCall(T.undefined(), T.undefined());
111 T.CheckCall(T.undefined(), T.null());
112 T.CheckCall(T.undefined(), T.NewObject("({})"));
113 T.CheckCall(T.undefined(), T.Val(1));
114 T.CheckCall(T.Val("2"), T.Val("str"));
115 T.CheckCall(T.Val("a"), T.NewObject("({'a' : 1})"));
116 T.CheckCall(T.Val("2"), T.NewObject("([1, 2, 3])"));
117 T.CheckCall(T.Val("a"), T.NewObject("({'a' : 1, 'b' : 1})"), T.Val("b"));
118 T.CheckCall(T.Val("1"), T.NewObject("([1, 2, 3])"), T.Val("2"));
119 }
120
121
TEST(ForInStatement)122 TEST(ForInStatement) {
123 // Variable assignment.
124 TestForIn(
125 "(function(a, b) {"
126 "var last;"
127 "for (var x in a) {"
128 " if (b) { delete a[b]; b = undefined; }"
129 " last = x;"
130 "}"
131 "return last;})");
132 // Indexed assignment.
133 TestForIn(
134 "(function(a, b) {"
135 "var array = [0, 1, undefined];"
136 "for (array[2] in a) {"
137 " if (b) { delete a[b]; b = undefined; }"
138 "}"
139 "return array[2];})");
140 // Named assignment.
141 TestForIn(
142 "(function(a, b) {"
143 "var obj = {'a' : undefined};"
144 "for (obj.a in a) {"
145 " if (b) { delete a[b]; b = undefined; }"
146 "}"
147 "return obj.a;})");
148 }
149
150
TEST(ForInContinueStatement)151 TEST(ForInContinueStatement) {
152 const char* src =
153 "(function(a,b) {"
154 " var r = '-';"
155 " for (var x in a) {"
156 " r += 'A-';"
157 " if (b) continue;"
158 " r += 'B-';"
159 " }"
160 " return r;"
161 "})";
162 FunctionTester T(src);
163
164 T.CheckCall(T.Val("-A-B-"), T.NewObject("({x:1})"), T.false_value());
165 T.CheckCall(T.Val("-A-B-A-B-"), T.NewObject("({x:1,y:2})"), T.false_value());
166 T.CheckCall(T.Val("-A-"), T.NewObject("({x:1})"), T.true_value());
167 T.CheckCall(T.Val("-A-A-"), T.NewObject("({x:1,y:2})"), T.true_value());
168 }
169
170
TEST(SwitchStatement)171 TEST(SwitchStatement) {
172 const char* src =
173 "(function(a,b) {"
174 " var r = '-';"
175 " switch (a) {"
176 " case 'x' : r += 'X-';"
177 " case b + 'b': r += 'B-';"
178 " default : r += 'D-';"
179 " case 'y' : r += 'Y-';"
180 " }"
181 " return r;"
182 "})";
183 FunctionTester T(src);
184
185 T.CheckCall(T.Val("-X-B-D-Y-"), T.Val("x"), T.Val("B"));
186 T.CheckCall(T.Val("-B-D-Y-"), T.Val("Bb"), T.Val("B"));
187 T.CheckCall(T.Val("-D-Y-"), T.Val("z"), T.Val("B"));
188 T.CheckCall(T.Val("-Y-"), T.Val("y"), T.Val("B"));
189
190 CompileRun("var c = 0; var o = { toString:function(){return c++} };");
191 T.CheckCall(T.Val("-D-Y-"), T.Val("1b"), T.NewObject("o"));
192 T.CheckCall(T.Val("-B-D-Y-"), T.Val("1b"), T.NewObject("o"));
193 T.CheckCall(T.Val("-D-Y-"), T.Val("1b"), T.NewObject("o"));
194 }
195
196
TEST(BlockBreakStatement)197 TEST(BlockBreakStatement) {
198 FunctionTester T("(function(a,b) { L:{ if (a) break L; b=1; } return b; })");
199
200 T.CheckCall(T.Val(7), T.true_value(), T.Val(7));
201 T.CheckCall(T.Val(1), T.false_value(), T.Val(7));
202 }
203
204
TEST(BlockReturnStatement)205 TEST(BlockReturnStatement) {
206 FunctionTester T("(function(a,b) { L:{ if (a) b=1; return b; } })");
207
208 T.CheckCall(T.Val(1), T.true_value(), T.Val(7));
209 T.CheckCall(T.Val(7), T.false_value(), T.Val(7));
210 }
211
212
TEST(NestedIfConditional)213 TEST(NestedIfConditional) {
214 FunctionTester T("(function(a,b) { if (a) { b = (b?b:7) + 1; } return b; })");
215
216 T.CheckCall(T.Val(4), T.false_value(), T.Val(4));
217 T.CheckCall(T.Val(6), T.true_value(), T.Val(5));
218 T.CheckCall(T.Val(8), T.true_value(), T.undefined());
219 }
220
221
TEST(NestedIfLogical)222 TEST(NestedIfLogical) {
223 const char* src =
224 "(function(a,b) {"
225 " if (a || b) { return 1; } else { return 2; }"
226 "})";
227 FunctionTester T(src);
228
229 T.CheckCall(T.Val(1), T.true_value(), T.true_value());
230 T.CheckCall(T.Val(1), T.false_value(), T.true_value());
231 T.CheckCall(T.Val(1), T.true_value(), T.false_value());
232 T.CheckCall(T.Val(2), T.false_value(), T.false_value());
233 T.CheckCall(T.Val(1), T.Val(1.0), T.Val(1.0));
234 T.CheckCall(T.Val(1), T.Val(0.0), T.Val(1.0));
235 T.CheckCall(T.Val(1), T.Val(1.0), T.Val(0.0));
236 T.CheckCall(T.Val(2), T.Val(0.0), T.Val(0.0));
237 }
238
239
TEST(NestedIfElseFor)240 TEST(NestedIfElseFor) {
241 const char* src =
242 "(function(a,b) {"
243 " if (!a) { return b - 3; } else { for (; a < b; a++); }"
244 " return a;"
245 "})";
246 FunctionTester T(src);
247
248 T.CheckCall(T.Val(1), T.false_value(), T.Val(4));
249 T.CheckCall(T.Val(2), T.true_value(), T.Val(2));
250 T.CheckCall(T.Val(3), T.Val(3), T.Val(1));
251 }
252
253
TEST(NestedWhileWhile)254 TEST(NestedWhileWhile) {
255 const char* src =
256 "(function(a) {"
257 " var i = a; while (false) while(false) return i;"
258 " return i;"
259 "})";
260 FunctionTester T(src);
261
262 T.CheckCall(T.Val(2.0), T.Val(2.0), T.Val(-1.0));
263 T.CheckCall(T.Val(65.0), T.Val(65.0), T.Val(-1.0));
264 }
265
266
TEST(NestedForIf)267 TEST(NestedForIf) {
268 FunctionTester T("(function(a,b) { for (; a > 1; a--) if (b) return 1; })");
269
270 T.CheckCall(T.Val(1), T.Val(3), T.true_value());
271 T.CheckCall(T.undefined(), T.Val(2), T.false_value());
272 T.CheckCall(T.undefined(), T.Val(1), T.null());
273 }
274
275
TEST(NestedForConditional)276 TEST(NestedForConditional) {
277 FunctionTester T("(function(a,b) { for (; a > 1; a--) return b ? 1 : 2; })");
278
279 T.CheckCall(T.Val(1), T.Val(3), T.true_value());
280 T.CheckCall(T.Val(2), T.Val(2), T.false_value());
281 T.CheckCall(T.undefined(), T.Val(1), T.null());
282 }
283