Index: test/webkit/dfg-int-overflow-large-constants-in-a-line.js |
diff --git a/test/webkit/concat-while-having-a-bad-time.js b/test/webkit/dfg-int-overflow-large-constants-in-a-line.js |
similarity index 51% |
copy from test/webkit/concat-while-having-a-bad-time.js |
copy to test/webkit/dfg-int-overflow-large-constants-in-a-line.js |
index dfda1e08a0b36194b787a44ee12a9693acd8aeaf..4e2f970dd49e132de6a8296f2f6da1338b3dd911 100644 |
--- a/test/webkit/concat-while-having-a-bad-time.js |
+++ b/test/webkit/dfg-int-overflow-large-constants-in-a-line.js |
@@ -22,10 +22,55 @@ |
// SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. |
description( |
-"Tests the behavior of Array.prototype.concat while the array is having a bad time due to one of the elements we are concatenating." |
+"Tests that our optimization to elide overflow checks understands that if we keep adding huge numbers, we could end up creating a number that is not precisely representable using doubles." |
); |
-Object.defineProperty(Array.prototype, 0, { writable: false }); |
-shouldBe("[42].concat()", "[42]"); |
+function foo(a) { |
+ var x = a; |
+ x += 281474976710655; |
+ x += 281474976710654; |
+ x += 281474976710653; |
+ x += 281474976710652; |
+ x += 281474976710655; |
+ x += 281474976710654; |
+ x += 281474976710653; |
+ x += 281474976710652; |
+ x += 281474976710655; |
+ x += 281474976710654; |
+ x += 281474976710653; |
+ x += 281474976710652; |
+ x += 281474976710655; |
+ x += 281474976710654; |
+ x += 281474976710653; |
+ x += 281474976710652; |
+ x += 281474976710655; |
+ x += 281474976710654; |
+ x += 281474976710653; |
+ x += 281474976710652; |
+ x += 281474976710655; |
+ x += 281474976710654; |
+ x += 281474976710653; |
+ x += 281474976710652; |
+ x += 281474976710655; |
+ x += 281474976710654; |
+ x += 281474976710653; |
+ x += 281474976710652; |
+ x += 281474976710655; |
+ x += 281474976710654; |
+ x += 281474976710653; |
+ x += 281474976710652; |
+ x += 281474976710655; |
+ x += 281474976710654; |
+ x += 281474976710653; |
+ x += 281474976710652; |
+ x += 281474976710655; |
+ x += 281474976710654; |
+ x += 281474976710653; |
+ x += 281474976710652; |
+ return x | 0 |
+} |
+ |
+for (var i = 0; i < 200; ++i) |
+ shouldBe("foo(2147483647)", "2147483552"); |