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
9using namespace v8::internal;
10using namespace v8::internal::compiler;
11
12TEST(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
24TEST(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
38TEST(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
52TEST(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
66TEST(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
78TEST(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
88TEST(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
98TEST(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
108static 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
122TEST(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
151TEST(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
171TEST(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
197TEST(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
205TEST(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
213TEST(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
222TEST(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
240TEST(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
254TEST(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
267TEST(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
276TEST(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