70d665026d
TypeGuard nodes interpret their inputs to be of a given type, which might not be reflected in the graph and hence may lead to a type conflict being reported by the Simplified Lowering Verifier. This CL adds an additional SLVerifierHint node to preserve this type information for the verification step. Bug: v8:12619, chromium:1370398 Change-Id: I5e4117d6b3ada053249bc000ba98d04021395ce1 Reviewed-on: https://chromium-review.googlesource.com/c/v8/v8/+/3948704 Reviewed-by: Darius Mercadier <dmercadier@chromium.org> Commit-Queue: Nico Hartmann <nicohartmann@chromium.org> Cr-Commit-Position: refs/heads/main@{#83739}
19 lines
373 B
JavaScript
19 lines
373 B
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 --turbofan
|
|
|
|
function f() {
|
|
let [x] = [1n];
|
|
y = x;
|
|
x = 1n - y;
|
|
x = 1n - y;
|
|
y = x;
|
|
}
|
|
|
|
%PrepareFunctionForOptimization(f);
|
|
f();
|
|
%OptimizeFunctionOnNextCall(f);
|
|
f();
|