8d20f2fe37
Migrate Math.ceil, Math.round and Math.trunc to TurboFan code stubs, similar to what we did with Math.floor, and make these builtins properly optimizable in TurboFan via appropriate simplified operators NumberCeil, NumberRound and NumberTrunc, which are intended to be reusable for ToInteger and ToLength optimizations that will be done in a followup CL. Also allows us to kill the funky %RoundNumber runtime function, which was quite heavy. Improve test coverage for Math.ceil and Math.trunc a lot, especially making sure that we also properly trigger the TurboFan builtin reducer case. R=jarin@chromium.org BUG=v8:4059 LOG=n Review URL: https://codereview.chromium.org/1841993002 Cr-Commit-Position: refs/heads/master@{#35135}
115 lines
4.2 KiB
JavaScript
115 lines
4.2 KiB
JavaScript
// Copyright 2011 the V8 project authors. All rights reserved.
|
|
// Redistribution and use in source and binary forms, with or without
|
|
// modification, are permitted provided that the following conditions are
|
|
// met:
|
|
//
|
|
// * Redistributions of source code must retain the above copyright
|
|
// notice, this list of conditions and the following disclaimer.
|
|
// * Redistributions in binary form must reproduce the above
|
|
// copyright notice, this list of conditions and the following
|
|
// disclaimer in the documentation and/or other materials provided
|
|
// with the distribution.
|
|
// * Neither the name of Google Inc. nor the names of its
|
|
// contributors may be used to endorse or promote products derived
|
|
// from this software without specific prior written permission.
|
|
//
|
|
// THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
|
|
// "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
|
|
// LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
|
|
// A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
|
|
// OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
|
|
// SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
|
|
// LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
|
|
// DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
|
|
// THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
|
|
// (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
|
|
// OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
|
|
|
|
// Flags: --max-semi-space-size=1 --allow-natives-syntax
|
|
|
|
var test_id = 0;
|
|
|
|
function testFloor(expect, input) {
|
|
var test = new Function('n',
|
|
'"' + (test_id++) + '";return Math.floor(n)');
|
|
assertEquals(expect, test(input));
|
|
assertEquals(expect, test(input));
|
|
assertEquals(expect, test(input));
|
|
%OptimizeFunctionOnNextCall(test);
|
|
assertEquals(expect, test(input));
|
|
|
|
var test_double_input = new Function(
|
|
'n',
|
|
'"' + (test_id++) + '";return Math.floor(+n)');
|
|
assertEquals(expect, test_double_input(input));
|
|
assertEquals(expect, test_double_input(input));
|
|
assertEquals(expect, test_double_input(input));
|
|
%OptimizeFunctionOnNextCall(test_double_input);
|
|
assertEquals(expect, test_double_input(input));
|
|
|
|
var test_double_output = new Function(
|
|
'n',
|
|
'"' + (test_id++) + '";return Math.floor(n) + -0.0');
|
|
assertEquals(expect, test_double_output(input));
|
|
assertEquals(expect, test_double_output(input));
|
|
assertEquals(expect, test_double_output(input));
|
|
%OptimizeFunctionOnNextCall(test_double_output);
|
|
assertEquals(expect, test_double_output(input));
|
|
|
|
var test_via_ceil = new Function(
|
|
'n',
|
|
'"' + (test_id++) + '";return -Math.ceil(-n)');
|
|
assertEquals(expect, test_via_ceil(input));
|
|
assertEquals(expect, test_via_ceil(input));
|
|
assertEquals(expect, test_via_ceil(input));
|
|
%OptimizeFunctionOnNextCall(test_via_ceil);
|
|
assertEquals(expect, test_via_ceil(input));
|
|
|
|
if (input >= 0) {
|
|
var test_via_trunc = new Function(
|
|
'n',
|
|
'"' + (test_id++) + '";return Math.trunc(n)');
|
|
assertEquals(expect, test_via_trunc(input));
|
|
assertEquals(expect, test_via_trunc(input));
|
|
assertEquals(expect, test_via_trunc(input));
|
|
%OptimizeFunctionOnNextCall(test_via_trunc);
|
|
assertEquals(expect, test_via_trunc(input));
|
|
}
|
|
}
|
|
|
|
function zero() {
|
|
var x = 0.5;
|
|
return (function() { return x - 0.5; })();
|
|
}
|
|
|
|
function test() {
|
|
testFloor(0, 0);
|
|
testFloor(0, zero());
|
|
testFloor(-0, -0);
|
|
testFloor(Infinity, Infinity);
|
|
testFloor(-Infinity, -Infinity);
|
|
testFloor(NaN, NaN);
|
|
}
|
|
|
|
|
|
// Test in a loop to cover the custom IC and GC-related issues.
|
|
for (var i = 0; i < 100; i++) {
|
|
test();
|
|
}
|
|
|
|
|
|
// Regression test for a bug where a negative zero coming from Math.floor
|
|
// was not properly handled by other operations.
|
|
function floorsum(i, n) {
|
|
var ret = Math.floor(n);
|
|
while (--i > 0) {
|
|
ret += Math.floor(n);
|
|
}
|
|
return ret;
|
|
}
|
|
assertEquals(-0, floorsum(1, -0));
|
|
%OptimizeFunctionOnNextCall(floorsum);
|
|
// The optimized function will deopt. Run it with enough iterations to try
|
|
// to optimize via OSR (triggering the bug).
|
|
assertEquals(-0, floorsum(100000, -0));
|