[crankshaft] Support ES6 tail call elimination.

test/mjsunit/es6/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-tailcalls
+// TODO(v8:4698), TODO(ishell): support these cases.
+// Flags: --max-inlined-source-size=0
 "use strict";
 
 Error.prepareStackTrace = (error,stack) => {
   error.strace = stack;
   return error.message + "\n    at " + stack.join("\n    at ");
 }
 
 
 function CheckStackTrace(expected) {
   var e = new Error();
@@ skipping 46 matching lines @@
   }
   function g4(a) { return 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]);
@@ skipping 22 matching lines @@
   }
   function g4(a) { return 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) {
@@ skipping 31 matching lines @@
   var b4 = f4.bind({a: 153});
   function g4(a) { return 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);
@@ skipping 30 matching lines @@
   var b4 = f4.bind({a: 153});
   function g4(a) { return 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 f([f, g1, test], false) || f([f, test], true);
   }
 
   function g2(a) {
     return f([f, g2, test], true) && f([f, test], true);
   }
 
   function g3(a) {
     return 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]);
@@ skipping 23 matching lines @@
     f_153([f_153, tc3, test]);
     return 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]);
@@ skipping 21 matching lines @@
     }
     return 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]);
@@ skipping 40 matching lines @@
     return f_153([f_153, test]);
   }
 
   function test() {
     assertEquals(153, tcf1());
     assertEquals(153, tcf2());
     assertEquals(153, tcf3());
     assertEquals(153, tcf4());
   }
   test();
+  test();
   %OptimizeFunctionOnNextCall(test);
   test();
 })();