math-min.js 1.08 KB
Newer Older
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16
// Copyright 2018 the V8 project authors. All rights reserved.
// Use of this source code is governed by a BSD-style license that can be
// found in the LICENSE file.

// Flags: --allow-natives-syntax

// Test the case where TurboFan can statically rule out -0 from the
// Math.min type.
(function() {
  function foo(x) {
    // Arrange x such that TurboFan infers type [-inf, inf] \/ MinusZero.
    x = +x;
    x = Math.round(x);
    return Object.is(-0, Math.min(-1, x))
  }

17
  %PrepareFunctionForOptimization(foo);
18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33
  assertFalse(foo(-0));
  assertFalse(foo(-1));
  %OptimizeFunctionOnNextCall(foo);
  assertFalse(foo(-0));
  assertFalse(foo(-1));
})();

// Test the case where +0 is ruled out because it's strictly greater than -0.
(function() {
  function foo(x) {
    // Arrange x such that TurboFan infers type [-inf, inf] \/ MinusZero.
    x = +x;
    x = Math.round(x);
    return Object.is(+0, Math.min(-0, x))
  }

34
  %PrepareFunctionForOptimization(foo);
35 36 37 38 39 40
  assertFalse(foo(-0));
  assertFalse(foo(-1));
  %OptimizeFunctionOnNextCall(foo);
  assertFalse(foo(-0));
  assertFalse(foo(-1));
})();