1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
|
// 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;
}
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;
}
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];
}
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;
}
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];
}
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;
}
assertEquals(0, foo(0xFFFFFFFF));
assertEquals(0, foo(0xFFFFFFFF));
%OptimizeFunctionOnNextCall(foo);
assertEquals(0, foo(0xFFFFFFFF));
})();
|