178f2eeb13
This is a reland of commit 24e60017d4
The reland changes %ClearFunctionFeedback to clear *all* feedback
slot kinds including binary/compare/for-in slots. In the tests we
thus no longer have to resort to tricks to restore the function to
it's initial state, instead simply call %ClearFunctionFeedback.
Original change's description:
> [maglev] Deopt on overflow in >>>
>
> Re-enable the int32 fast path for ShiftRightLogical, but account for
> Maglev's missing signed/unsigned representation tracking by a)
> removing rhs==0 as the identity value (a shift by 0 is still a
> signed-unsigned conversion) and b) deoptimizing if the result cannot
> be converted to a non-negative smi.
>
> Note this is not a deopt loop, since a non-smi result will change the
> feedback to kSignedSmallInputs (from kSignedSmall).
>
> To fix this properly, we should track signed/unsigned representations
> and convert the result to a heap number if it doesn't fit within smi
> range.
>
> Bug: v8:7700
> Change-Id: Ifd538d227a6f1290eb7f008d9bfad586ff91ea0f
> Fixed: v8:13251
> Reviewed-on: https://chromium-review.googlesource.com/c/v8/v8/+/3876366
> Reviewed-by: Leszek Swirski <leszeks@chromium.org>
> Commit-Queue: Jakob Linke <jgruber@chromium.org>
> Cr-Commit-Position: refs/heads/main@{#83025}
Bug: v8:7700
Change-Id: I2f607a0fb863b80e8589c9c1e86ee31fbac48c25
Reviewed-on: https://chromium-review.googlesource.com/c/v8/v8/+/3879491
Auto-Submit: Jakob Linke <jgruber@chromium.org>
Commit-Queue: Jakob Linke <jgruber@chromium.org>
Reviewed-by: Leszek Swirski <leszeks@chromium.org>
Cr-Commit-Position: refs/heads/main@{#83057}
42 lines
1.0 KiB
JavaScript
42 lines
1.0 KiB
JavaScript
// Copyright 2022 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 --maglev
|
|
|
|
function sarl(x, y) {
|
|
return x >> y;
|
|
}
|
|
|
|
function sarl_test(lhs, rhs, expected_result) {
|
|
// Warmup.
|
|
%PrepareFunctionForOptimization(sarl);
|
|
%ClearFunctionFeedback(sarl);
|
|
sarl(1, 1);
|
|
%OptimizeMaglevOnNextCall(sarl);
|
|
|
|
assertEquals(expected_result, sarl(lhs, rhs));
|
|
assertTrue(isMaglevved(sarl));
|
|
|
|
%DeoptimizeFunction(sarl);
|
|
assertEquals(expected_result, sarl(lhs, rhs));
|
|
}
|
|
|
|
function sarl_test_expect_deopt(lhs, rhs, expected_result) {
|
|
// Warmup.
|
|
%PrepareFunctionForOptimization(sarl);
|
|
%ClearFunctionFeedback(sarl);
|
|
sarl(1, 1);
|
|
%OptimizeMaglevOnNextCall(sarl);
|
|
|
|
assertEquals(expected_result, sarl(lhs, rhs));
|
|
assertFalse(isMaglevved(sarl));
|
|
}
|
|
|
|
sarl_test(8, 2, 2);
|
|
sarl_test(-8, 2, -2);
|
|
sarl_test(-8, 0, -8);
|
|
sarl_test(8, 10, 0);
|
|
sarl_test(8, 33, 4);
|
|
sarl_test_expect_deopt(0xFFFFFFFF, 0x3FFFFFFF, -1);
|