blob: e4529c1bfb77505d5f62766dc2222aa81d674e88 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
// |jit-test| --ion-warmup-threshold=0; --ion-check-range-analysis
function f(o) {
// Int32 math does an overflow check.
o += 1;
// Int32 math does an underflow check.
o += -2147483647;
// If previous math operations are folded, we should keep the smallest
// overflow check and the highest underflow check to stay within the
// expected range deduced by Range Analysis.
for (let i = 0; i < 1; ++i) {
o -= 1;
}
}
f(0);
f(0);
f(2147483647);
|
