v8/test/mjsunit/compiler/turbo-number-feedback.js

// Copyright 2016 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 --turbo-type-feedback

(function AddSubtractSmis() {
  function f0(a, b, c) {
    return a + b - c;
  }

  assertEquals(4, f0(3, 2, 1));
  assertEquals(4, f0(3, 2, 1));
  %OptimizeFunctionOnNextCall(f0);
  assertEquals(4, f0(3, 2, 1));
})();

(function AddSubtractDoubles() {
  function f1(a, b, c) {
    return a + b - c;
  }

  assertEquals(4.5, f1(3.5, 2.5, 1.5));
  assertEquals(4.5, f1(3.5, 2.5, 1.5));
  %OptimizeFunctionOnNextCall(f1);
  assertEquals(4.5, f1(3.5, 2.5, 1.5));
  assertEquals(4, f1(3, 2, 1));
  assertTrue(isNaN(f1(3, 2, undefined)));
  assertTrue(isNaN(f1(3, undefined, 1)));
})();

(function CheckUint32ToInt32Conv() {
  function f2(a) {
    return (a >>> 0) + 1;
  }

  assertEquals(1, f2(0));
  assertEquals(1, f2(0));
  %OptimizeFunctionOnNextCall(f2);
  assertEquals(1, f2(0));
  assertEquals(4294967295, f2(-2));
})();

(function CheckFloat64ToInt32Conv() {
  function f3(a, b) {
    var x = 0;
    if (a) {
      x = 0.5;
    }
    return x + b;
  }

  assertEquals(1, f3(0, 1));
  assertEquals(1, f3(0, 1));
  %OptimizeFunctionOnNextCall(f3);
  assertEquals(1, f3(0, 1));
  assertEquals(1.5, f3(1, 1));
})();

(function ShiftLeftSmis() {
  function f4(a, b) {
    return a << b;
  }

  assertEquals(24, f4(3, 3));
  assertEquals(40, f4(5, 3));
  %OptimizeFunctionOnNextCall(f4);
  assertEquals(64, f4(4, 4));
})();