JSTests/stress/fiat-value-to-int52-then-fold.js

function foo() {
    return fiatInt52($vm.dfgTrue() ? 42 : 5.5) + 1;
}

noInline(foo);

for (var i = 0; i < 1000000; ++i) {
    var result = foo();
    if (result != 43 && result != 6.5)
        throw "Error: bad result: " + result;
}