[turbofan]: Implement tail calls with more callee than caller parameters

test/mjsunit/tail-call-intrinsic.js

 // Copyright 2015 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 --nostress-opt --turbo
 // Flags: --nonative-context-specialization
 
 var p0 = new Object();
 var p1 = new Object();
 var p2 = new Object();
@@ skipping 35 matching lines @@
   "use strict";
   if (count3-- == 0) {
     return this;
   }
   return %_TailCall(tailee3, px, this);
 };
 
 %OptimizeFunctionOnNextCall(tailee3);
 assertEquals(p2, tailee3.call(p1, p2));
 
-// Ensure too many parameters defeats the tail call optimization (currently
-// unsupported).
+// Ensure too many parameters defeats the tail call optimization if they use the
+// arguments adapter (currently unsupported).
 var count4 = 1000000;
 tailee4 = function(px) {
   "use strict";
   if (count4-- == 0) {
     return this;
   }
   return %_TailCall(tailee4, this, px, undefined);
 };
 
 %OptimizeFunctionOnNextCall(tailee4);
@@ skipping 31 matching lines @@
 }
 
 tailee9 = function(px, py, pz, pa, pb, pc) {
   "use strict";
   return %_TailCall(tailee8, this, pb, py, px, pa, pz);
 };
 
 %OptimizeFunctionOnNextCall(tailee8);
 %OptimizeFunctionOnNextCall(tailee9);
 assertEquals(32, tailee9.call(null, 15, 16, 17, 18, 0, 110));
+
+// Tail calls adding a single parameter.
+tailee10 = function(pb) {
+  return pb;
+}
+
+tailee11 = function() {
+  "use strict";
+  return %_TailCall(tailee10, this, 5);
+};
+
+%OptimizeFunctionOnNextCall(tailee10);
+%OptimizeFunctionOnNextCall(tailee11);
+assertEquals(5, tailee11.call(null));
+
+tailee12 = function(pa, pb, pc, pd) {
+  return pa + pb + pc + pd;
+}
+
+tailee13 = function(pa, pb) {
+  "use strict";
+  return %_TailCall(tailee12, 7, this, pb, pa, 13);
+};
+
+%OptimizeFunctionOnNextCall(tailee12);
+%OptimizeFunctionOnNextCall(tailee13);
+assertEquals(41, tailee13.call(12, 15, 1));
+
+tailee14 = function(pa, pb, pc, pd, pe, pf) {
+  return pa + pb + pc + pd + pe + pf;
+}
+
+tailee15 = function(pa, pb) {
+  "use strict";
+  return %_TailCall(tailee14, 7, this, pb, pa, 13, pb, pa);
+};
+
+%OptimizeFunctionOnNextCall(tailee14);
+%OptimizeFunctionOnNextCall(tailee15);
+assertEquals(57, tailee15.call(12, 15, 1));