1 files changed, 45 insertions, 0 deletions
diff --git a/js/src/jit-test/tests/ion/spreadcall-not-optimized-dynamic-6b.js b/js/src/jit-test/tests/ion/spreadcall-not-optimized-dynamic-6b.js
new file mode 100644
index 0000000000..a95e3f145c
--- /dev/null
+++ b/js/src/jit-test/tests/ion/spreadcall-not-optimized-dynamic-6b.js
@@ -0,0 +1,45 @@
+// Tests when JSOP_OPTIMIZE_SPREADCALL no longer apply after the initial Ion
+// compilation.
+
+// JSOP_OPTIMIZE_SPREADCALL can be optimised when the following conditions
+// are fulfilled:
+//   (1) the argument is an array
+//   (2) the array has no hole
+//   (3) array[@@iterator] is not modified
+//   (4) the array's prototype is Array.prototype
+//   (5) Array.prototype[@@iterator] is not modified
+//   (6) %ArrayIteratorPrototype%.next is not modified
+
+function add(a, b) {
+    return a + b;
+}
+
+// %ArrayIteratorPrototype%.next was modified.
+function test() {
+    function maybeInvalidate() {
+        // Use a WithStatement to prevent Ion-inlining. This ensures any
+        // bailouts due to type changes don't occur in this function, but
+        // instead in the caller.
+        with ({});
+
+        if (i === 1900) {
+            var ArrayIteratorPrototype = Object.getPrototypeOf(Array.prototype[Symbol.iterator]());
+            var ArrayIteratorPrototypeNext = ArrayIteratorPrototype.next;
+            ArrayIteratorPrototype.next = function() {
+                var res = ArrayIteratorPrototypeNext.call(this);
+                if (!res.done) {
+                    res.value += 2;
+                }
+                return res;
+            };
+        }
+    }
+    function fn(...rest) {
+        maybeInvalidate();
+        return add(...rest);
+    }
+    for (var i = 0; i < 4000; ++i) {
+        assertEq(fn(1, 2), i < 1900 ? 3 : 7);
+    }
+}
+test();