1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
|
/* Test undoing addition in overflow paths when under heavy register pressure. */
function add1(x, y, a, b, res) { var nres = res + 0; var z = (x + a) + (y + b); assertEq(z, nres); }
function add2(x, y, a, b, res) { var nres = res + 0; var z = (x + a) + (y + b); assertEq(z, nres); }
function add3(x, y, a, b, res) { var nres = res + 0; var z = (x + a) + (y + b); assertEq(z, nres); }
add1(0x7ffffff0, 100, 0, 0, 2147483732);
add2(-1000, -0x80000000, 0, 0, -2147484648);
add3(-0x80000000, -1000, 0, 0, -2147484648);
function cadd1(x, a, b, res) {
var nres = res + 0;
var nb = b + 0;
var z = (x + a) + 1000;
assertEq(z, nres + nb);
}
cadd1(0x7ffffff0, 0, 0, 2147484632);
function cadd2(x, a, b, res) {
var nres = res + 0;
var nb = b + 0;
var z = (x + a) + (-0x80000000);
assertEq(z, nres + nb);
}
cadd2(-1000, 0, 0, -2147484648);
|
