[es8] More spec compliant syntactic tail calls implementation.

test/mjsunit/es7/syntactic-tail-call.js

-// Copyright 2016 the V8 project authors. All rights reserved.
-// Use of this source code is governed by a BSD-style license that can be
-// found in the LICENSE file.
-
-// Flags: --allow-natives-syntax --harmony-explicit-tailcalls
-
-Error.prepareStackTrace = (error,stack) => {
-  error.strace = stack;
-  return error.message + "\n    at " + stack.join("\n    at ");
-}
-
-
-function CheckStackTrace(expected) {
-  var e = new Error();
-  e.stack;  // prepare stack trace
-  var stack = e.strace;
-  assertEquals("CheckStackTrace", stack[0].getFunctionName());
-  for (var i = 0; i < expected.length; i++) {
-    assertEquals(expected[i].name, stack[i + 1].getFunctionName());
-  }
-}
-
-function f(expected_call_stack, a, b) {
-  CheckStackTrace(expected_call_stack);
-  return a;
-}
-
-function f_153(expected_call_stack, a) {
-  CheckStackTrace(expected_call_stack);
-  return 153;
-}
-
-
-// Tail call when caller does not have an arguments adaptor frame.
-(function() {
-  // Caller and callee have same number of arguments.
-  function f1(a) {
-    CheckStackTrace([f1, test]);
-    return 10 + a;
-  }
-  function g1(a) { return continue f1(2); }
-
-  // Caller has more arguments than callee.
-  function f2(a) {
-    CheckStackTrace([f2, test]);
-    return 10 + a;
-  }
-  function g2(a, b, c) { return continue f2(2); }
-
-  // Caller has less arguments than callee.
-  function f3(a, b, c) {
-    CheckStackTrace([f3, test]);
-    return 10 + a + b + c;
-  }
-  function g3(a) { return continue f3(2, 3, 4); }
-
-  // Callee has arguments adaptor frame.
-  function f4(a, b, c) {
-    CheckStackTrace([f4, test]);
-    return 10 + a;
-  }
-  function g4(a) { return continue f4(2); }
-
-  function test() {
-    assertEquals(12, g1(1));
-    assertEquals(12, g2(1, 2, 3));
-    assertEquals(19, g3(1));
-    assertEquals(12, g4(1));
-  }
-  test();
-  test();
-  %OptimizeFunctionOnNextCall(test);
-  test();
-})();
-
-
-// Tail call when caller has an arguments adaptor frame.
-(function() {
-  // Caller and callee have same number of arguments.
-  function f1(a) {
-    CheckStackTrace([f1, test]);
-    return 10 + a;
-  }
-  function g1(a) { return continue f1(2); }
-
-  // Caller has more arguments than callee.
-  function f2(a) {
-    CheckStackTrace([f2, test]);
-    return 10 + a;
-  }
-  function g2(a, b, c) { return continue f2(2); }
-
-  // Caller has less arguments than callee.
-  function f3(a, b, c) {
-    CheckStackTrace([f3, test]);
-    return 10 + a + b + c;
-  }
-  function g3(a) { return continue f3(2, 3, 4); }
-
-  // Callee has arguments adaptor frame.
-  function f4(a, b, c) {
-    CheckStackTrace([f4, test]);
-    return 10 + a;
-  }
-  function g4(a) { return continue f4(2); }
-
-  function test() {
-    assertEquals(12, g1());
-    assertEquals(12, g2());
-    assertEquals(19, g3());
-    assertEquals(12, g4());
-  }
-  test();
-  test();
-  %OptimizeFunctionOnNextCall(test);
-  test();
-})();
-
-
-// Tail call bound function when caller does not have an arguments
-// adaptor frame.
-(function() {
-  // Caller and callee have same number of arguments.
-  function f1(a) {
-    assertEquals(153, this.a);
-    CheckStackTrace([f1, test]);
-    return 10 + a;
-  }
-  var b1 = f1.bind({a: 153});
-  function g1(a) { return continue b1(2); }
-
-  // Caller has more arguments than callee.
-  function f2(a) {
-    assertEquals(153, this.a);
-    CheckStackTrace([f2, test]);
-    return 10 + a;
-  }
-  var b2 = f2.bind({a: 153});
-  function g2(a, b, c) { return continue b2(2); }
-
-  // Caller has less arguments than callee.
-  function f3(a, b, c) {
-    assertEquals(153, this.a);
-    CheckStackTrace([f3, test]);
-    return 10 + a + b + c;
-  }
-  var b3 = f3.bind({a: 153});
-  function g3(a) { return continue b3(2, 3, 4); }
-
-  // Callee has arguments adaptor frame.
-  function f4(a, b, c) {
-    assertEquals(153, this.a);
-    CheckStackTrace([f4, test]);
-    return 10 + a;
-  }
-  var b4 = f4.bind({a: 153});
-  function g4(a) { return continue b4(2); }
-
-  function test() {
-    assertEquals(12, g1(1));
-    assertEquals(12, g2(1, 2, 3));
-    assertEquals(19, g3(1));
-    assertEquals(12, g4(1));
-  }
-  test();
-  test();
-  %OptimizeFunctionOnNextCall(test);
-  test();
-})();
-
-
-// Tail call bound function when caller has an arguments adaptor frame.
-(function() {
-  // Caller and callee have same number of arguments.
-  function f1(a) {
-    assertEquals(153, this.a);
-    CheckStackTrace([f1, test]);
-    return 10 + a;
-  }
-  var b1 = f1.bind({a: 153});
-  function g1(a) { return continue b1(2); }
-
-  // Caller has more arguments than callee.
-  function f2(a) {
-    assertEquals(153, this.a);
-    CheckStackTrace([f2, test]);
-    return 10 + a;
-  }
-  var b2 = f2.bind({a: 153});
-  function g2(a, b, c) { return continue b2(2); }
-
-  // Caller has less arguments than callee.
-  function f3(a, b, c) {
-    assertEquals(153, this.a);
-    CheckStackTrace([f3, test]);
-    return 10 + a + b + c;
-  }
-  var b3 = f3.bind({a: 153});
-  function g3(a) { return continue b3(2, 3, 4); }
-
-  // Callee has arguments adaptor frame.
-  function f4(a, b, c) {
-    assertEquals(153, this.a);
-    CheckStackTrace([f4, test]);
-    return 10 + a;
-  }
-  var b4 = f4.bind({a: 153});
-  function g4(a) { return continue b4(2); }
-
-  function test() {
-    assertEquals(12, g1());
-    assertEquals(12, g2());
-    assertEquals(19, g3());
-    assertEquals(12, g4());
-  }
-  test();
-  test();
-  %OptimizeFunctionOnNextCall(test);
-  test();
-})();
-
-
-// Tail calling via various expressions.
-(function() {
-  function g1(a) {
-    return continue f([f, g1, test], false) || f([f, test], true);
-  }
-
-  function g2(a) {
-    return continue f([f, g2, test], true) && f([f, test], true);
-  }
-
-  function g3(a) {
-    return continue f([f, g3, test], 13), f([f, test], 153);
-  }
-
-  function test() {
-    assertEquals(true, g1());
-    assertEquals(true, g2());
-    assertEquals(153, g3());
-  }
-  test();
-  test();
-  %OptimizeFunctionOnNextCall(test);
-  test();
-})();
-
-
-// Test tail calls from try-catch constructs.
-(function() {
-  function tc1(a) {
-    try {
-      f_153([f_153, tc1, test]);
-      return f_153([f_153, tc1, test]);
-    } catch(e) {
-      f_153([f_153, tc1, test]);
-    }
-  }
-
-  function tc2(a) {
-    try {
-      f_153([f_153, tc2, test]);
-      throw new Error("boom");
-    } catch(e) {
-      f_153([f_153, tc2, test]);
-      return continue f_153([f_153, test]);
-    }
-  }
-
-  function tc3(a) {
-    try {
-      f_153([f_153, tc3, test]);
-      throw new Error("boom");
-    } catch(e) {
-      f_153([f_153, tc3, test]);
-    }
-    f_153([f_153, tc3, test]);
-    return continue f_153([f_153, test]);
-  }
-
-  function test() {
-    assertEquals(153, tc1());
-    assertEquals(153, tc2());
-    assertEquals(153, tc3());
-  }
-  test();
-  test();
-  %OptimizeFunctionOnNextCall(test);
-  test();
-})();
-
-
-// Test tail calls from try-finally constructs.
-(function() {
-  function tf1(a) {
-    try {
-      f_153([f_153, tf1, test]);
-      return f_153([f_153, tf1, test]);
-    } finally {
-      f_153([f_153, tf1, test]);
-    }
-  }
-
-  function tf2(a) {
-    try {
-      f_153([f_153, tf2, test]);
-      throw new Error("boom");
-    } finally {
-      f_153([f_153, tf2, test]);
-      return continue f_153([f_153, test]);
-    }
-  }
-
-  function tf3(a) {
-    try {
-      f_153([f_153, tf3, test]);
-    } finally {
-      f_153([f_153, tf3, test]);
-    }
-    return continue f_153([f_153, test]);
-  }
-
-  function test() {
-    assertEquals(153, tf1());
-    assertEquals(153, tf2());
-    assertEquals(153, tf3());
-  }
-  test();
-  test();
-  %OptimizeFunctionOnNextCall(test);
-  test();
-})();
-
-
-// Test tail calls from try-catch-finally constructs.
-(function() {
-  function tcf1(a) {
-    try {
-      f_153([f_153, tcf1, test]);
-      return f_153([f_153, tcf1, test]);
-    } catch(e) {
-    } finally {
-      f_153([f_153, tcf1, test]);
-    }
-  }
-
-  function tcf2(a) {
-    try {
-      f_153([f_153, tcf2, test]);
-      throw new Error("boom");
-    } catch(e) {
-      f_153([f_153, tcf2, test]);
-      return f_153([f_153, tcf2, test]);
-    } finally {
-      f_153([f_153, tcf2, test]);
-    }
-  }
-
-  function tcf3(a) {
-    try {
-      f_153([f_153, tcf3, test]);
-      throw new Error("boom");
-    } catch(e) {
-      f_153([f_153, tcf3, test]);
-    } finally {
-      f_153([f_153, tcf3, test]);
-      return continue f_153([f_153, test]);
-    }
-  }
-
-  function tcf4(a) {
-    try {
-      f_153([f_153, tcf4, test]);
-      throw new Error("boom");
-    } catch(e) {
-      f_153([f_153, tcf4, test]);
-    } finally {
-      f_153([f_153, tcf4, test]);
-    }
-    return continue f_153([f_153, test]);
-  }
-
-  function test() {
-    assertEquals(153, tcf1());
-    assertEquals(153, tcf2());
-    assertEquals(153, tcf3());
-    assertEquals(153, tcf4());
-  }
-  test();
-  test();
-  %OptimizeFunctionOnNextCall(test);
-  test();
-})();
-
-
-// Test tail calls from arrow functions.
-(function () {
-  function g1(a) {
-    return continue (() => { return continue f_153([f_153, test]); })();
-  }
-
-  function g2(a) {
-    return continue (() => continue f_153([f_153, test]))();
-  }
-
-  function g3(a) {
-    var closure = () => continue f([f, closure, test], true)
-                                            ? f_153([f_153, test])
-                                            : f_153([f_153, test]);
-
-    return continue closure();
-  }
-
-  function test() {
-    assertEquals(153, g1());
-    assertEquals(153, g2());
-    assertEquals(153, g3());
-  }
-  test();
-  test();
-  %OptimizeFunctionOnNextCall(test);
-  test();
-})();