blob: a69df8dc5dd67404e55967f95c847fd12a336e02 [file] [log] [blame]
// 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;
}
%PrepareFunctionForOptimization(foo);
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;
}
%PrepareFunctionForOptimization(foo);
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];
}
%PrepareFunctionForOptimization(foo);
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;
}
%PrepareFunctionForOptimization(foo);
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];
}
%PrepareFunctionForOptimization(foo);
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;
}
%PrepareFunctionForOptimization(foo);
assertEquals(0, foo(0xFFFFFFFF));
assertEquals(0, foo(0xFFFFFFFF));
%OptimizeFunctionOnNextCall(foo);
assertEquals(0, foo(0xFFFFFFFF));
})();
// Test checked Float32->Word64 conversions.
(function() {
function foo(dv, i) {
i = dv.getFloat32(i, true);
return dv.getInt8(i, true);
}
%PrepareFunctionForOptimization(foo);
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);
}
%PrepareFunctionForOptimization(foo);
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));
})();