blob: 65ad561eca4d359320ca25c952ba7fa33c8785fe [file] [log] [blame]
// 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);