test262/implementation-contributed/javascriptcore/stress/fiat-double-to-int52-then-fail-to-fold.js

function foo() {
    return fiatInt52(Math.sqrt(2)) + 1;
}

noInline(foo);

for (var i = 0; i < 1000000; ++i) {
    var result = foo();
    if (result != Math.sqrt(2) + 1)
        throw "Error: bad result: " + result;
}