JSTests/stress/int52rep-with-double-checks-int52-range.js

function shouldBe(actual, expected) {
    if (actual !== expected)
        throw new Error('bad value: ' + actual);
}

var doubleArray = [3, 1, 2, 3, 4, 5.5];
doubleArray[0] = 3; // Break CoW.

function test(array)
{
    return fiatInt52(array[0]) + 0xffffffff;
}
noInline(test);

for (var i = 0; i < 1e6; ++i)
    shouldBe(test(doubleArray), 0xffffffff + 3);
doubleArray[0] = 0x7ffffffffffff;
shouldBe(test(doubleArray), 0x80000fffffffe);
doubleArray[0] = 0x8000000000000;
shouldBe(test(doubleArray), 0x80000ffffffff);
doubleArray[0] = -0x8000000000000;
shouldBe(test(doubleArray), -0x7ffff00000001);
doubleArray[0] = -0x8000000000001;
shouldBe(test(doubleArray), -0x7ffff00000002);
doubleArray[0] = 1.3;
shouldBe(test(doubleArray), 4294967296.3);
doubleArray[0] = Number.NaN;
shouldBe(Number.isNaN(test(doubleArray)), true);
doubleArray[0] = Number.POSITIVE_INFINITY;
shouldBe(test(doubleArray), Number.POSITIVE_INFINITY);
doubleArray[0] = Number.NEGATIVE_INFINITY;
shouldBe(test(doubleArray), Number.NEGATIVE_INFINITY);

doubleArray[0] = 3;
shouldBe(test(doubleArray), 0xffffffff + 3);