blob: d2e854f79538c2ff020a77b4182bebfb300f9a42 [file] [log] [blame]
/*
* Copyright (c) 2020, Red Hat, Inc. All rights reserved.
* DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
*
* This code is free software; you can redistribute it and/or modify it
* under the terms of the GNU General Public License version 2 only, as
* published by the Free Software Foundation.
*
* This code is distributed in the hope that it will be useful, but WITHOUT
* ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
* FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
* version 2 for more details (a copy is included in the LICENSE file that
* accompanied this code).
*
* You should have received a copy of the GNU General Public License version
* 2 along with this work; if not, write to the Free Software Foundation,
* Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
*
* Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
* or visit www.oracle.com if you need additional information or have any
* questions.
*/
/**
* @test 8238385
* @summary CTW: C2 (Shenandoah) compilation fails with "Range check dependent CastII node was not removed"
* @key gc
* @requires vm.gc.Shenandoah & !vm.graal.enabled
* @modules java.base/jdk.internal.misc:+open
*
* @run main/othervm -XX:-UseOnStackReplacement -XX:-BackgroundCompilation -XX:-TieredCompilation -XX:+UnlockExperimentalVMOptions -XX:+UseShenandoahGC
* FoldIfAfterExpansion
*
*/
import jdk.internal.misc.Unsafe;
public class FoldIfAfterExpansion {
private static int[] field1 = new int[100];
private static int[] field2 = new int[100];
private static int[] field3;
private static volatile int barrier;
static final jdk.internal.misc.Unsafe UNSAFE = Unsafe.getUnsafe();
public static void main(String[] args) {
for (int i = 0; i < 20_000; i++) {
test(true, 10, false, true);
test(false, 10, false, false);
}
}
private static Object test(boolean flag, int i, boolean flag2, boolean flag3) {
int[] array;
if (flag) {
barrier = 1;
array = field1;
final int length = array.length;
if (flag2) {
field3 = array;
}
} else {
barrier = 1;
array = field1;
final int length = array.length;
if (flag2) {
field3 = array;
}
}
array = field1;
if (flag3) {
if (i < 0 || i >= array.length) {
throw new RuntimeException();
}
long l = (long)i;
l = l * UNSAFE.ARRAY_INT_INDEX_SCALE + UNSAFE.ARRAY_INT_BASE_OFFSET;
UNSAFE.putInt(array, l, i);
} else {
if (i < 0 || i >= array.length) {
throw new RuntimeException();
}
long l = (long)i;
l = l * UNSAFE.ARRAY_INT_INDEX_SCALE + UNSAFE.ARRAY_INT_BASE_OFFSET;
UNSAFE.putInt(array, l, i);
}
return array;
}
}