JavaScriptCore-7600.1.4.9.tar.gz

[apple/javascriptcore.git] / tests / stress / redundant-array-bounds-checks-unchecked-addition.js

diff --git a/tests/stress/redundant-array-bounds-checks-unchecked-addition.js b/tests/stress/redundant-array-bounds-checks-unchecked-addition.js
new file mode 100644 (file)
index 0000000..5ccb2be
--- /dev/null
+++ b/tests/stress/redundant-array-bounds-checks-unchecked-addition.js
@@ -0,0 +1,50 @@
+function foo(a, i) {
+    return [a[(i + 0)|0], a[(i + 1)|0], a[(i + 2)|0], a[(i + 3)|0], a[(i + 4)|0], a[(i + 5)|0], a[(i + 6)|0], a[(i + 7)|0]];
+}
+
+noInline(foo);
+
+function arraycmp(a, b) {
+    if (a.length != b.length)
+        return false;
+    for (var i = 0; i < a.length; ++i) {
+        if (a[i] != b[i])
+            return false;
+    }
+    return true;
+}
+
+for (var i = 0; i < 100000; ++i) {
+    var array = [];
+    var offset = i & 3;
+    for (var j = 0; j < offset; ++j)
+        array.push(42);
+    var result = foo(array.concat([1, 2, 3, 4, 5, 6, 7, 8]), offset);
+    if (!arraycmp(result, [1, 2, 3, 4, 5, 6, 7, 8]))
+        throw "Error: bad result (1..8): " + result;
+}
+
+var result = foo([1, 2, 3, 4, 5, 6, 7], 0);
+if (!arraycmp(result, [1, 2, 3, 4, 5, 6, 7, void 0]))
+    throw "Error: bad result (1..7): " + result;
+var result = foo([1, 2, 3, 4, 5, 6], 0);
+if (!arraycmp(result, [1, 2, 3, 4, 5, 6, void 0, void 0]))
+    throw "Error: bad result (1..6): " + result;
+var result = foo([1, 2, 3, 4, 5], 0);
+if (!arraycmp(result, [1, 2, 3, 4, 5, void 0, void 0, void 0]))
+    throw "Error: bad result (1..5): " + result;
+var result = foo([1, 2, 3, 4], 0);
+if (!arraycmp(result, [1, 2, 3, 4, void 0, void 0, void 0, void 0]))
+    throw "Error: bad result (1..4): " + result;
+var result = foo([1, 2, 3], 0);
+if (!arraycmp(result, [1, 2, 3, void 0, void 0, void 0, void 0, void 0]))
+    throw "Error: bad result (1..3): " + result;
+var result = foo([1, 2], 0);
+if (!arraycmp(result, [1, 2, void 0, void 0, void 0, void 0, void 0, void 0]))
+    throw "Error: bad result (1..2): " + result;
+var result = foo([1], 0);
+if (!arraycmp(result, [1, void 0, void 0, void 0, void 0, void 0, void 0, void 0]))
+    throw "Error: bad result (1..1): " + result;
+var result = foo([], 0);
+if (!arraycmp(result, [void 0, void 0, void 0, void 0, void 0, void 0, void 0, void 0]))
+    throw "Error: bad result (1..1): " + result;