int64.js 3.59 KB
Newer Older
1 2 3 4 5 6 7 8 9 10 11 12 13
// 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 NumberAdd with PositiveSafeInteger -> PositiveSafeInteger (as Tagged).
(function() {
  function foo(x) {
    const i = x ? 0xFFFFFFFF : 0;
    return i + 1;
  }

14
  %PrepareFunctionForOptimization(foo);
15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30
  assertEquals(0x000000001, foo(false));
  assertEquals(0x000000001, foo(false));
  assertEquals(0x100000000, foo(true));
  assertEquals(0x100000000, foo(true));
  %OptimizeFunctionOnNextCall(foo);
  assertEquals(0x000000001, foo(false));
  assertEquals(0x100000000, foo(true));
})();

// Test NumberAdd with SafeInteger -> SafeInteger (as Tagged).
(function() {
  function foo(x) {
    const i = x ? 0xFFFFFFFF : -1;
    return i + 1;
  }

31
  %PrepareFunctionForOptimization(foo);
32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49
  assertEquals(0x000000000, foo(false));
  assertEquals(0x000000000, foo(false));
  assertEquals(0x100000000, foo(true));
  assertEquals(0x100000000, foo(true));
  %OptimizeFunctionOnNextCall(foo);
  assertEquals(0x000000000, foo(false));
  assertEquals(0x100000000, foo(true));
})();

// NumberAdd: Smi x Unsigned32 -> SafeInteger (as Float64).
(function() {
  const a = new Float64Array(1);

  function foo(o) {
    a[0] = o.x + 0xFFFFFFFF;
    return a[0];
  }

50
  %PrepareFunctionForOptimization(foo);
51 52 53 54 55 56 57 58 59 60 61 62
  assertEquals(0x0FFFFFFFF, foo({x:0}));
  assertEquals(0x100000000, foo({x:1}));
  %OptimizeFunctionOnNextCall(foo);
  assertEquals(0x100000000, foo({x:1}));
})();

// NumberAdd: Smi x Unsigned32 -> SafeInteger (as TaggedSigned).
(function() {
  function foo(o) {
    return {x: Math.floor((o.x + 11123456789) + -11123456788)}.x;
  }

63
  %PrepareFunctionForOptimization(foo);
64 65 66 67 68 69 70 71 72 73 74 75 76
  assertEquals(1, foo({x:0}));
  assertEquals(2, foo({x:1}));
  %OptimizeFunctionOnNextCall(foo);
  assertEquals(2, foo({x:1}));
})();

// NumberSubtract: Unsigned32 x Unsigned32 -> SafeInteger (as Word32).
(function() {
  function foo(a, i) {
    i = ((i >>> 0)) - 0xFFFFFFFF;
    return a[i];
  }

77
  %PrepareFunctionForOptimization(foo);
78 79 80 81 82 83 84 85 86 87 88 89 90 91
  assertEquals(1, foo([1], 0xFFFFFFFF));
  assertEquals(2, foo([2], 0xFFFFFFFF));
  %OptimizeFunctionOnNextCall(foo);
  assertEquals(3, foo([3], 0xFFFFFFFF));
})();

// Test that the Deoptimizer can handle Word64 properly.
(function() {
  function foo(b) {
    const i = ((b >>> 0)) - 0xFFFFFFFF;
    %DeoptimizeFunction(foo);
    return i;
  }

92
  %PrepareFunctionForOptimization(foo);
93 94 95 96 97
  assertEquals(0, foo(0xFFFFFFFF));
  assertEquals(0, foo(0xFFFFFFFF));
  %OptimizeFunctionOnNextCall(foo);
  assertEquals(0, foo(0xFFFFFFFF));
})();
98 99 100 101 102 103 104 105

// Test checked Float32->Word64 conversions.
(function() {
  function foo(dv, i) {
    i = dv.getFloat32(i, true);
    return dv.getInt8(i, true);
  }

106
  %PrepareFunctionForOptimization(foo);
107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126
  const dv = new DataView(new ArrayBuffer(10));
  dv.setFloat32(0, 8, true);
  dv.setFloat32(4, 9, true);
  dv.setInt8(8, 42);
  dv.setInt8(9, 24);

  assertEquals(42, foo(dv, 0));
  assertEquals(24, foo(dv, 4));
  %OptimizeFunctionOnNextCall(foo);
  assertEquals(42, foo(dv, 0));
  assertEquals(24, foo(dv, 4));
})();

// Test checked Float64->Word64 conversions.
(function() {
  function foo(dv, i) {
    i = dv.getFloat64(i, true);
    return dv.getInt8(i, true);
  }

127
  %PrepareFunctionForOptimization(foo);
128 129 130 131 132 133 134 135 136 137 138 139
  const dv = new DataView(new ArrayBuffer(18));
  dv.setFloat64(0, 16, true);
  dv.setFloat64(8, 17, true);
  dv.setInt8(16, 42);
  dv.setInt8(17, 24);

  assertEquals(42, foo(dv, 0));
  assertEquals(24, foo(dv, 8));
  %OptimizeFunctionOnNextCall(foo);
  assertEquals(42, foo(dv, 0));
  assertEquals(24, foo(dv, 8));
})();