// This tests that we can correctly infer that a local variable is only
// used as an integer even if its uses are not in the same basic block as
// where it is defined.

function foo(a, b, c) {
    var x = 1 + a + b;
    if (c)
        x++;
    else
        x--;
    return (x + a)|0;
}

var bigNumber = 2147483647;
var result = 0;

for (var i = 0; i < 10000000; ++i)
    result = (result + foo(i, bigNumber - i, i%2)) | 0;

if (result != -2014260032) {
    print("Got a bad result: " + result);
    throw "Bad result";
}