4b2c6d03e4
This makes sure the {EscapeAnalysisReducer} inserts proper {TypeGuard}
nodes if the replacement node is not a subtype of the original node.
This happens predominantly for code that has been made unreachable by
type checks.
R=jarin@chromium.org
TEST=mjsunit/regress/regress-crbug-640497
BUG=chromium:640497
Review URL: https://codereview.chromium.org/2363573003 .
Cr-Commit-Position: refs/heads/master@{#39656}
20 lines
540 B
JavaScript
20 lines
540 B
JavaScript
// Copyright 2016 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 --turbo --turbo-escape
|
|
|
|
// Warm up {g} with arrays and strings.
|
|
function g(v) { return v.length; }
|
|
assertEquals(1, g("x"));
|
|
assertEquals(2, g("xy"));
|
|
assertEquals(1, g([1]));
|
|
assertEquals(2, g([1,2]));
|
|
|
|
// Inline into {f}, where we see only an array.
|
|
function f() { assertEquals(0, g([])); }
|
|
f();
|
|
f();
|
|
%OptimizeFunctionOnNextCall(f);
|
|
f();
|