//@ skip if $model == "Apple Watch Series 3" # added by mark-jsc-stress-test.py
// 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 < 500000; ++i)
    result = (result + foo(i, bigNumber - i, i%2)) | 0;

if (result != 445698416)
    throw "Bad result: " + result;