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
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
|
// vim: set ts=8 sts=4 et sw=4 tw=99:
function f(x, y) {
// Confuse the type analysis to not know the type of x.
var u;
var a = x + u;
var b = x + 3;
return x + y;
}
function g_bool(x, y) {
var t;
if (x + 0)
t = true;
else
t = false;
return t + y;
}
function g_null(x) {
return null + x;
}
assertEq(g_bool(1, 2), 3);
assertEq(g_bool(0, 2), 2);
assertEq(g_null(2), 2);
// These will not bailout.
assertEq(f(Math.cos(Math.PI), 2), 1);
assertEq(f(null, 2), 2);
assertEq(f(false, 2), 2);
assertEq(f(true, 2), 3);
assertEq(f(17, 2), 19);
// These will bailout.
assertEq(f(undefined, 2), Number.NaN);
assertEq(f("20", 2), "202");
assertEq(f(16.3, 2), 18.3);
assertEq((1 / f(-0, -0)), -Infinity);
|
