1 files changed, 110 insertions, 0 deletions
diff --git a/js/src/jit-test/tests/basic/spread-call.js b/js/src/jit-test/tests/basic/spread-call.js
new file mode 100644
index 0000000000..6604430733
--- /dev/null
+++ b/js/src/jit-test/tests/basic/spread-call.js
@@ -0,0 +1,110 @@
+load(libdir + "asserts.js");
+load(libdir + "eqArrayHelper.js");
+load(libdir + "iteration.js");
+
+let makeCall    = farg => Function("f", "arg", "return f(" + farg + ");");
+let makeFunCall = farg => Function("f", "arg", "return f.call(null, " + farg + ");");
+let makeNew     = farg => Function("f", "arg", "return new f(" + farg + ").value;");
+
+function checkCommon(f, makeFn) {
+  assertEqArray(makeFn("...[1, 2, 3]")(f), [1, 2, 3]);
+  assertEqArray(makeFn("1, ...[2], 3")(f), [1, 2, 3]);
+  assertEqArray(makeFn("1, ...[2], ...[3]")(f), [1, 2, 3]);
+  assertEqArray(makeFn("1, ...[2, 3]")(f), [1, 2, 3]);
+  assertEqArray(makeFn("1, ...[], 2, 3")(f), [1, 2, 3]);
+
+  // other iterable objects
+  assertEqArray(makeFn("...arg")(f, new Int32Array([1, 2, 3])), [1, 2, 3]);
+  assertEqArray(makeFn("...arg")(f, "abc"), ["a", "b", "c"]);
+  assertEqArray(makeFn("...arg")(f, [1, 2, 3][Symbol.iterator]()), [1, 2, 3]);
+  assertEqArray(makeFn("...arg")(f, new Set([1, 2, 3])), [1, 2, 3]);
+  assertEqArray(makeFn("...arg")(f, new Map([["a", "A"], ["b", "B"], ["c", "C"]])).map(([k, v]) => k + v), ["aA", "bB", "cC"]);
+  let itr = {};
+  itr[Symbol.iterator] = function() {
+      return {
+          i: 1,
+          next: function() {
+              if (this.i < 4)
+                  return { value: this.i++, done: false };
+              else
+                  return { value: undefined, done: true };
+          }
+      };
+  };
+  assertEqArray(makeFn("...arg")(f, itr), [1, 2, 3]);
+  function* gen() {
+      for (let i = 1; i < 4; i ++)
+          yield i;
+  }
+  assertEqArray(makeFn("...arg")(f, gen()), [1, 2, 3]);
+
+  assertEqArray(makeFn("...arg=[1, 2, 3]")(f), [1, 2, 3]);
+
+  // 12.2.4.1.2 Runtime Semantics: ArrayAccumulation
+  // If Type(spreadObj) is not Object, then throw a TypeError exception.
+  assertThrowsInstanceOf(makeFn("1, ...null, 2, 3"), TypeError);
+  assertThrowsInstanceOf(makeFn("1, ...undefined, 2, 3"), TypeError);
+}
+
+function checkNormal(f, makeFn) {
+  checkCommon(f, makeFn);
+
+  assertEqArray(makeFn("...[]")(f), [undefined, undefined, undefined]);
+  assertEqArray(makeFn("...[1]")(f), [1, undefined, undefined]);
+  assertEqArray(makeFn("...[1, 2]")(f), [1, 2, undefined]);
+  assertEqArray(makeFn("...[1, 2, 3, 4]")(f), [1, 2, 3]);
+
+  assertEqArray(makeFn("...[undefined]")(f), [undefined, undefined, undefined]);
+}
+
+checkNormal(function(a, b, c) { return [a, b, c]; }, makeCall);
+checkNormal(function(a, b, c) { return [a, b, c]; }, makeFunCall);
+checkNormal((a, b, c) => [a, b, c], makeCall);
+checkNormal((a, b, c) => [a, b, c], makeFunCall);
+function normalClass(a, b, c) {
+  this.value = [a, b, c];
+  assertEq(Object.getPrototypeOf(this), normalClass.prototype);
+}
+checkNormal(normalClass, makeNew);
+
+function checkDefault(f, makeFn) {
+  checkCommon(f, makeFn);
+
+  assertEqArray(makeFn("...[]")(f), [-1, -2, -3]);
+  assertEqArray(makeFn("...[1]")(f), [1, -2, -3]);
+  assertEqArray(makeFn("...[1, 2]")(f), [1, 2, -3]);
+  assertEqArray(makeFn("...[1, 2, 3, 4]")(f), [1, 2, 3]);
+
+  assertEqArray(makeFn("...[undefined]")(f), [-1, -2, -3]);
+}
+
+checkDefault(function(a = -1, b = -2, c = -3) { return [a, b, c]; }, makeCall);
+checkDefault(function(a = -1, b = -2, c = -3) { return [a, b, c]; }, makeFunCall);
+checkDefault((a = -1, b = -2, c = -3) => [a, b, c], makeCall);
+checkDefault((a = -1, b = -2, c = -3) => [a, b, c], makeFunCall);
+function defaultClass(a = -1, b = -2, c = -3) {
+  this.value = [a, b, c];
+  assertEq(Object.getPrototypeOf(this), defaultClass.prototype);
+}
+checkDefault(defaultClass, makeNew);
+
+function checkRest(f, makeFn) {
+  checkCommon(f, makeFn);
+
+  assertEqArray(makeFn("...[]")(f), []);
+  assertEqArray(makeFn("1, ...[2, 3, 4], 5")(f), [1, 2, 3, 4, 5]);
+  assertEqArray(makeFn("1, ...[], 2")(f), [1, 2]);
+  assertEqArray(makeFn("1, ...[2, 3], 4, ...[5, 6]")(f), [1, 2, 3, 4, 5, 6]);
+
+  assertEqArray(makeFn("...[undefined]")(f), [undefined]);
+}
+
+checkRest(function(...x) { return x; }, makeCall);
+checkRest(function(...x) { return x; }, makeFunCall);
+checkRest((...x) => x, makeCall);
+checkRest((...x) => x, makeFunCall);
+function restClass(...x) {
+  this.value = x;
+  assertEq(Object.getPrototypeOf(this), restClass.prototype);
+}
+checkRest(restClass, makeNew);