1// Copyright 2011 the V8 project authors. All rights reserved.
2// Redistribution and use in source and binary forms, with or without
3// modification, are permitted provided that the following conditions are
4// met:
5//
6//     * Redistributions of source code must retain the above copyright
7//       notice, this list of conditions and the following disclaimer.
8//     * Redistributions in binary form must reproduce the above
9//       copyright notice, this list of conditions and the following
10//       disclaimer in the documentation and/or other materials provided
11//       with the distribution.
12//     * Neither the name of Google Inc. nor the names of its
13//       contributors may be used to endorse or promote products derived
14//       from this software without specific prior written permission.
15//
16// THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
17// "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
18// LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
19// A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
20// OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
21// SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
22// LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
23// DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
24// THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
25// (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
26// OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
27
28// Flags: --harmony-scoping --allow-natives-syntax
29
30// TODO(ES6): properly activate extended mode
31"use strict";
32
33// Check that the following functions are optimizable.
34var functions = [ f1, f2, f3, f4, f5, f6, f7, f8, f9, f10, f11, f12, f13, f14,
35                  f15, f16, f17, f18, f19, f20, f21, f22, f23 ];
36
37for (var i = 0; i < functions.length; ++i) {
38  var func = functions[i];
39  print("Testing:");
40  print(func);
41  for (var j = 0; j < 10; ++j) {
42    func(12);
43  }
44  %OptimizeFunctionOnNextCall(func);
45  func(12);
46  assertTrue(%GetOptimizationStatus(func) != 2);
47}
48
49function f1() { }
50
51function f2(x) { }
52
53function f3() {
54  let x;
55}
56
57function f4() {
58  function foo() {
59  }
60}
61
62function f5() {
63  let x = 1;
64}
65
66function f6() {
67  const x = 1;
68}
69
70function f7(x) {
71  return x;
72}
73
74function f8() {
75  let x;
76  return x;
77}
78
79function f9() {
80  function x() {
81  }
82  return x;
83}
84
85function f10(x) {
86  x = 1;
87}
88
89function f11() {
90  let x;
91  x = 1;
92}
93
94function f12() {
95  function x() {};
96  x = 1;
97}
98
99function f13(x) {
100  (function() { x; });
101}
102
103function f14() {
104  let x;
105  (function() { x; });
106}
107
108function f15() {
109  function x() {
110  }
111  (function() { x; });
112}
113
114function f16() {
115  let x = 1;
116  (function() { x; });
117}
118
119function f17() {
120  const x = 1;
121  (function() { x; });
122}
123
124function f18(x) {
125  return x;
126  (function() { x; });
127}
128
129function f19() {
130  let x;
131  return x;
132  (function() { x; });
133}
134
135function f20() {
136  function x() {
137  }
138  return x;
139  (function() { x; });
140}
141
142function f21(x) {
143  x = 1;
144  (function() { x; });
145}
146
147function f22() {
148  let x;
149  x = 1;
150  (function() { x; });
151}
152
153function f23() {
154  function x() { }
155  x = 1;
156  (function() { x; });
157}
158
159
160// Test that temporal dead zone semantics for function and block scoped
161// let bindings are handled by the optimizing compiler.
162
163function TestFunctionLocal(s) {
164  'use strict';
165  var func = eval("(function baz(){" + s + "; })");
166  print("Testing:");
167  print(func);
168  for (var i = 0; i < 5; ++i) {
169    try {
170      func();
171      assertUnreachable();
172    } catch (e) {
173      assertInstanceof(e, ReferenceError);
174    }
175  }
176  %OptimizeFunctionOnNextCall(func);
177  try {
178    func();
179    assertUnreachable();
180  } catch (e) {
181    assertInstanceof(e, ReferenceError);
182  }
183}
184
185function TestFunctionContext(s) {
186  'use strict';
187  var func = eval("(function baz(){ " + s + "; (function() { x; }); })");
188  print("Testing:");
189  print(func);
190  for (var i = 0; i < 5; ++i) {
191    print(i);
192    try {
193      func();
194      assertUnreachable();
195    } catch (e) {
196      assertInstanceof(e, ReferenceError);
197    }
198  }
199  print("optimize");
200  %OptimizeFunctionOnNextCall(func);
201  try {
202    print("call");
203    func();
204    assertUnreachable();
205  } catch (e) {
206    print("catch");
207    assertInstanceof(e, ReferenceError);
208  }
209}
210
211function TestAll(s) {
212  TestFunctionLocal(s);
213  TestFunctionContext(s);
214}
215
216// Use before initialization in declaration statement.
217TestAll('let x = x + 1');
218TestAll('let x = x += 1');
219TestAll('let x = x++');
220TestAll('let x = ++x');
221TestAll('const x = x + 1');
222
223// Use before initialization in prior statement.
224TestAll('x + 1; let x;');
225TestAll('x = 1; let x;');
226TestAll('x += 1; let x;');
227TestAll('++x; let x;');
228TestAll('x++; let x;');
229TestAll('let y = x; const x = 1;');
230
231
232function f(x, b) {
233  let y = (b ? y : x) + 42;
234  return y;
235}
236
237function g(x, b) {
238  {
239    let y = (b ? y : x) + 42;
240    return y;
241  }
242}
243
244for (var i=0; i<10; i++) {
245  f(i, false);
246  g(i, false);
247}
248
249%OptimizeFunctionOnNextCall(f);
250%OptimizeFunctionOnNextCall(g);
251
252try {
253  f(42, true);
254} catch (e) {
255  assertInstanceof(e, ReferenceError);
256}
257
258try {
259  g(42, true);
260} catch (e) {
261  assertInstanceof(e, ReferenceError);
262}
263