JSTests/stress/value-bit-lshift-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 = 1;

    let c = v << 4;
    return c;
}
noInline(foo);

for (let i = 0; i < 10000; i++) {
    assert(foo(1n), 16);
}