4dff27edfc
CanCover is not transitive. The counter example are Nodes A,B,C such that CanCover(A, B) and CanCover(B,C) and B is pure. In this case the effect level of A and B might differ. This CL adds a missing CanCover check to a case of shift reduction where we assumed transitivity. Change-Id: I9f368ffa6907d2af21bbc87b3e6570d0d422e125 Bug: v8:8384 Reviewed-on: https://chromium-review.googlesource.com/c/1307419 Commit-Queue: Sigurd Schneider <sigurds@chromium.org> Reviewed-by: Benedikt Meurer <bmeurer@chromium.org> Cr-Commit-Position: refs/heads/master@{#57157}
65 lines
1.5 KiB
JavaScript
65 lines
1.5 KiB
JavaScript
// 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
|
|
|
|
function assert(cond) { if (!cond) throw "Assert"; }
|
|
|
|
function Constructor() {
|
|
this.padding1 = null;
|
|
this.padding2 = null;
|
|
this.padding3 = null;
|
|
this.padding4 = null;
|
|
this.padding5 = null;
|
|
this.padding6 = null;
|
|
this.padding7 = null;
|
|
this.padding8 = null;
|
|
this.padding9 = null;
|
|
this.padding10 = null;
|
|
this.padding11 = null;
|
|
this.padding12 = null;
|
|
this.padding13 = null;
|
|
this.padding14 = null;
|
|
this.padding15 = null;
|
|
this.padding16 = null;
|
|
this.padding17 = null;
|
|
this.padding18 = null;
|
|
this.padding19 = null;
|
|
this.padding20 = null;
|
|
this.padding21 = null;
|
|
this.padding22 = null;
|
|
this.padding23 = null;
|
|
this.padding24 = null;
|
|
this.padding25 = null;
|
|
this.padding26 = null;
|
|
this.padding27 = null;
|
|
this.padding28 = null;
|
|
this.padding29 = null;
|
|
this.array = null;
|
|
this.accumulator = 0;
|
|
}
|
|
|
|
function f(k) {
|
|
var c = k.accumulator | 0;
|
|
k.accumulator = k.array[(k.accumulator + 1 | 0)] | 0;
|
|
k.array[c + 1 | 0] = (-1);
|
|
var head = k.accumulator;
|
|
assert((head + c) & 1);
|
|
while (head >= 0) {
|
|
head = k.array[head + 1 | 0];
|
|
}
|
|
return;
|
|
}
|
|
|
|
const tmp = new Constructor();
|
|
tmp.array = new Int32Array(5);
|
|
for (var i = 1; i < 5; i++)
|
|
tmp.array[i] = i | 0;
|
|
tmp.accumulator = 0;
|
|
|
|
f(tmp);
|
|
f(tmp);
|
|
%OptimizeFunctionOnNextCall(f);
|
|
f(tmp); // This must not trigger the {assert}.
|