JSTests/stress/value-bit-not-ai-rule.js

//@ runBigIntEnabled

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

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

    let c = ~v;
    return c;
}
noInline(foo);

for (let i = 0; i < 10000; i++) {
    assert(foo(10n, 10), -11);
}