JSTests/stress/value-rshift-ai-rule.js

function assert(a, e) {
    if (a !== e)
        throw new Error("Expected: " + e + " bug got: " + a);
}

(() => {
    let predicate = true;
    function foo(a) {
        let v = a;
        if (predicate)
            v = 10;

        let c = v >> 2;
        return c;
    }
    noInline(foo);

    for (let i = 0; i < 10000; i++) {
        assert(foo(10.5), 2);
    }
})();