michael@0: // Normal checks:
michael@0: function mul(x, y) {
michael@0:     return x*y;
michael@0: }
michael@0: assertEq(mul(1, 2), 2);
michael@0: assertEq(mul(0, 2), 0);
michael@0: assertEq(mul(0, -1), -0);
michael@0: assertEq(mul(100000000, 20000), 2000000000000);
michael@0: assertEq(mul(0, -2), -0);
michael@0: assertEq(mul(0, 0), 0);
michael@0: 
michael@0: // Constant * value checks:
michael@0: assertEq(function(x){return x*1}(4), 4);
michael@0: assertEq(function(x){return x*1}(0), 0);
michael@0: assertEq(function(x){return x*1}(-4), -4);
michael@0: assertEq(function(x){return x*2}(4), 8);
michael@0: assertEq(function(x){return x*2}(0), 0);
michael@0: assertEq(function(x){return x*2}(-4), -8);
michael@0: assertEq(function(x){return x*2}(2000000000), 4000000000);
michael@0: assertEq(function(x){return x*5}(4), 20);
michael@0: assertEq(function(x){return x*5}(0), 0);
michael@0: assertEq(function(x){return x*5}(-4), -20);
michael@0: assertEq(function(x){return x*0}(0), 0);
michael@0: assertEq(function(x){return x*0}(5), 0);
michael@0: assertEq(function(x){return x*0}(-5), -0);
michael@0: assertEq(function(x){return x*-5}(4), -20);
michael@0: assertEq(function(x){return x*-5}(0), -0);
michael@0: assertEq(function(x){return x*-5}(-4), 20);
michael@0: assertEq(function(x){return x*20000}(100000000), 2000000000000);
michael@0: 
michael@0: // Constant folding
michael@0: assertEq(function(){var x=5; return x*4}(), 20);
michael@0: assertEq(function(){var x=5; return x*-4}(), -20);
michael@0: assertEq(function(){var x=0; return x*4}(), 0);
michael@0: assertEq(function(){var x=0; return x*0}(), 0);
michael@0: assertEq(function(){var x=0; return x*-4}(), -0);
michael@0: assertEq(function(){var x=20000; return x*100000000}(), 2000000000000);