summaryrefslogtreecommitdiffstats
path: root/js/src/jit-test/tests/ion/spreadcall-not-optimized-dynamic-5a.js
diff options
context:
space:
mode:
Diffstat (limited to 'js/src/jit-test/tests/ion/spreadcall-not-optimized-dynamic-5a.js')
-rw-r--r--js/src/jit-test/tests/ion/spreadcall-not-optimized-dynamic-5a.js37
1 files changed, 37 insertions, 0 deletions
diff --git a/js/src/jit-test/tests/ion/spreadcall-not-optimized-dynamic-5a.js b/js/src/jit-test/tests/ion/spreadcall-not-optimized-dynamic-5a.js
new file mode 100644
index 0000000000..88c2683cab
--- /dev/null
+++ b/js/src/jit-test/tests/ion/spreadcall-not-optimized-dynamic-5a.js
@@ -0,0 +1,37 @@
+// 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;
+}
+
+// Array.prototype's [[Prototype]] was changed, as a result all properties are marked as unknown.
+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) {
+ Object.setPrototypeOf(Array.prototype, null);
+ }
+ }
+ function fn(...rest) {
+ maybeInvalidate();
+ return add(...rest);
+ }
+ for (var i = 0; i < 4000; ++i) {
+ assertEq(fn(1, 2), 3);
+ }
+}
+test();