JSTests/stress/movhint-backwards-propagation-must-merge-use-as-value-add.js

function foo(v, a, b) {
    if (v) {
        let r = a + b;
        OSRExit();
        return r;
    }
}
noInline(foo);

for (let i = 0; i < 10000; ++i) {
    let r = foo(true, 4, 4);
    if (r !== 8)
        throw new Error("Bad!");
}
if (foo(true, 2**31 - 1, 1) !== 2**31)
    throw new Error("Bad!");