blob: 8077a66bbc09031fed5b3407083e48f2eabcebff (
plain)
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
|
// Copyright 2023 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: --maglev --allow-natives-syntax
function f(x) {
x++; // Making sure {x} has a Float64 alternative
let phi = x || 0; // Creating a Phi whose inputs are Smi and Float64. Phi
// untagging will make this a Float64 phi.
phi + 1; // Float64 operation with {phi}, which will cause insert a
// CheckedNumberToFloat64(phi). After phi untagging, the
// CheckedNumberToFloat64 will be killed, resulting in the addition
// to take {phi} directly as input.
phi << 4; // Int operation with {phi}, which will produce a
// TruncateNumberToInt32(phi). TruncateNumberToInt32 doesn't check
// if the input is a Number, and call into runtime if necessary to
// to the truncation, so it can't deopt. After Phi untagging, this
// should be replaced by a Float64->Int32 truncation
// (TruncateFloat64ToInt32), which shouldn't deopt either (because
// we can't replace a non-deopting node by a deopting one).
}
%PrepareFunctionForOptimization(f);
f(1.5);
%OptimizeMaglevOnNextCall(f);
f(1.5);
|