JSTests/stress/double-add-sub-mul-can-produce-nan.js

"use strict";

function assert(b) {
    if (!b)
        throw new Error;
}
noInline(assert);

{
    function sub(arr, b, c) {
        let x = b - c;
        arr[0] = x;
    }
    noInline(sub);


    for (let i = 0; i < 10000; ++i) {
        let arr = [];
        arr.length = 2;
        arr[1] = 10.5;
        sub(arr, 10.5, 20.5);
        assert(0 in arr);
    }

    let arr = [];
    arr.length = 2;
    arr[1] = 10.5;
    sub(arr, Infinity, Infinity);
    assert(typeof arr[0] === "number" && isNaN(arr[0]));
    assert(0 in arr);
}

{
    function mul(arr, b, c) {
        let x = b * c;
        arr[0] = x;
    }
    noInline(mul);

    for (let i = 0; i < 10000; ++i) {
        let arr = [];
        arr.length = 2;
        arr[1] = 10.5;
        mul(arr, 10.5, 20.5);
        assert(0 in arr);
    }

    let arr = [];
    arr.length = 2;
    arr[1] = 10.5;
    mul(arr, Infinity, 0);
    assert(typeof arr[0] === "number" && isNaN(arr[0]));
    assert(0 in arr);
}

{
    function add(arr, b, c) {
        let x = b + c;
        arr[0] = x;
    }
    noInline(add);

    for (let i = 0; i < 10000; ++i) {
        let arr = [];
        arr.length = 2;
        arr[1] = 10.5;
        add(arr, 10.5, 20.5);
        assert(0 in arr);
    }

    let arr = [];
    arr.length = 2;
    arr[1] = 10.5;
    add(arr, Infinity, -Infinity);
    assert(typeof arr[0] === "number" && isNaN(arr[0]));
    assert(0 in arr);
}