jdk-sandbox: test/hotspot/jtreg/compiler/unsafe/TestSplitIf.java@5e8f9713e343 (annotated)

47820 1bc021ddeae0 8186125: "DU iteration must converge quickly" assert in split if with unsafe accesses roland parents: diff changeset	1	/*
1bc021ddeae0 8186125: "DU iteration must converge quickly" assert in split if with unsafe accesses roland parents: diff changeset	2	* Copyright (c) 2017, Red Hat, Inc. All rights reserved.
1bc021ddeae0 8186125: "DU iteration must converge quickly" assert in split if with unsafe accesses roland parents: diff changeset	3	* DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
1bc021ddeae0 8186125: "DU iteration must converge quickly" assert in split if with unsafe accesses roland parents: diff changeset	4	*
1bc021ddeae0 8186125: "DU iteration must converge quickly" assert in split if with unsafe accesses roland parents: diff changeset	5	* This code is free software; you can redistribute it and/or modify it
1bc021ddeae0 8186125: "DU iteration must converge quickly" assert in split if with unsafe accesses roland parents: diff changeset	6	* under the terms of the GNU General Public License version 2 only, as
1bc021ddeae0 8186125: "DU iteration must converge quickly" assert in split if with unsafe accesses roland parents: diff changeset	7	* published by the Free Software Foundation.
1bc021ddeae0 8186125: "DU iteration must converge quickly" assert in split if with unsafe accesses roland parents: diff changeset	8	*
1bc021ddeae0 8186125: "DU iteration must converge quickly" assert in split if with unsafe accesses roland parents: diff changeset	9	* This code is distributed in the hope that it will be useful, but WITHOUT
1bc021ddeae0 8186125: "DU iteration must converge quickly" assert in split if with unsafe accesses roland parents: diff changeset	10	* ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
1bc021ddeae0 8186125: "DU iteration must converge quickly" assert in split if with unsafe accesses roland parents: diff changeset	11	* FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
1bc021ddeae0 8186125: "DU iteration must converge quickly" assert in split if with unsafe accesses roland parents: diff changeset	12	* version 2 for more details (a copy is included in the LICENSE file that
1bc021ddeae0 8186125: "DU iteration must converge quickly" assert in split if with unsafe accesses roland parents: diff changeset	13	* accompanied this code).
1bc021ddeae0 8186125: "DU iteration must converge quickly" assert in split if with unsafe accesses roland parents: diff changeset	14	*
1bc021ddeae0 8186125: "DU iteration must converge quickly" assert in split if with unsafe accesses roland parents: diff changeset	15	* You should have received a copy of the GNU General Public License version
1bc021ddeae0 8186125: "DU iteration must converge quickly" assert in split if with unsafe accesses roland parents: diff changeset	16	* 2 along with this work; if not, write to the Free Software Foundation,
1bc021ddeae0 8186125: "DU iteration must converge quickly" assert in split if with unsafe accesses roland parents: diff changeset	17	* Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
1bc021ddeae0 8186125: "DU iteration must converge quickly" assert in split if with unsafe accesses roland parents: diff changeset	18	*
1bc021ddeae0 8186125: "DU iteration must converge quickly" assert in split if with unsafe accesses roland parents: diff changeset	19	* Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
1bc021ddeae0 8186125: "DU iteration must converge quickly" assert in split if with unsafe accesses roland parents: diff changeset	20	* or visit www.oracle.com if you need additional information or have any
1bc021ddeae0 8186125: "DU iteration must converge quickly" assert in split if with unsafe accesses roland parents: diff changeset	21	* questions.
1bc021ddeae0 8186125: "DU iteration must converge quickly" assert in split if with unsafe accesses roland parents: diff changeset	22	*/
1bc021ddeae0 8186125: "DU iteration must converge quickly" assert in split if with unsafe accesses roland parents: diff changeset	23
1bc021ddeae0 8186125: "DU iteration must converge quickly" assert in split if with unsafe accesses roland parents: diff changeset	24	/**
1bc021ddeae0 8186125: "DU iteration must converge quickly" assert in split if with unsafe accesses roland parents: diff changeset	25	* @test
1bc021ddeae0 8186125: "DU iteration must converge quickly" assert in split if with unsafe accesses roland parents: diff changeset	26	* @bug 8186125
1bc021ddeae0 8186125: "DU iteration must converge quickly" assert in split if with unsafe accesses roland parents: diff changeset	27	* @summary cast before unsafe access moved in dominating null check null path causes crash
1bc021ddeae0 8186125: "DU iteration must converge quickly" assert in split if with unsafe accesses roland parents: diff changeset	28	* @modules java.base/jdk.internal.misc:+open
1bc021ddeae0 8186125: "DU iteration must converge quickly" assert in split if with unsafe accesses roland parents: diff changeset	29	*
1bc021ddeae0 8186125: "DU iteration must converge quickly" assert in split if with unsafe accesses roland parents: diff changeset	30	* @run main/othervm -XX:-BackgroundCompilation TestSplitIf
1bc021ddeae0 8186125: "DU iteration must converge quickly" assert in split if with unsafe accesses roland parents: diff changeset	31	*
1bc021ddeae0 8186125: "DU iteration must converge quickly" assert in split if with unsafe accesses roland parents: diff changeset	32	*/
1bc021ddeae0 8186125: "DU iteration must converge quickly" assert in split if with unsafe accesses roland parents: diff changeset	33
1bc021ddeae0 8186125: "DU iteration must converge quickly" assert in split if with unsafe accesses roland parents: diff changeset	34	import jdk.internal.misc.Unsafe;
1bc021ddeae0 8186125: "DU iteration must converge quickly" assert in split if with unsafe accesses roland parents: diff changeset	35	import java.lang.reflect.Field;
1bc021ddeae0 8186125: "DU iteration must converge quickly" assert in split if with unsafe accesses roland parents: diff changeset	36
1bc021ddeae0 8186125: "DU iteration must converge quickly" assert in split if with unsafe accesses roland parents: diff changeset	37	public class TestSplitIf {
1bc021ddeae0 8186125: "DU iteration must converge quickly" assert in split if with unsafe accesses roland parents: diff changeset	38
1bc021ddeae0 8186125: "DU iteration must converge quickly" assert in split if with unsafe accesses roland parents: diff changeset	39	static final jdk.internal.misc.Unsafe UNSAFE = Unsafe.getUnsafe();
1bc021ddeae0 8186125: "DU iteration must converge quickly" assert in split if with unsafe accesses roland parents: diff changeset	40	static final long F_OFFSET;
1bc021ddeae0 8186125: "DU iteration must converge quickly" assert in split if with unsafe accesses roland parents: diff changeset	41
1bc021ddeae0 8186125: "DU iteration must converge quickly" assert in split if with unsafe accesses roland parents: diff changeset	42	static class A {
1bc021ddeae0 8186125: "DU iteration must converge quickly" assert in split if with unsafe accesses roland parents: diff changeset	43	int f;
1bc021ddeae0 8186125: "DU iteration must converge quickly" assert in split if with unsafe accesses roland parents: diff changeset	44	A(int f) {
1bc021ddeae0 8186125: "DU iteration must converge quickly" assert in split if with unsafe accesses roland parents: diff changeset	45	this.f = f;
1bc021ddeae0 8186125: "DU iteration must converge quickly" assert in split if with unsafe accesses roland parents: diff changeset	46	}
1bc021ddeae0 8186125: "DU iteration must converge quickly" assert in split if with unsafe accesses roland parents: diff changeset	47	}
1bc021ddeae0 8186125: "DU iteration must converge quickly" assert in split if with unsafe accesses roland parents: diff changeset	48
1bc021ddeae0 8186125: "DU iteration must converge quickly" assert in split if with unsafe accesses roland parents: diff changeset	49	static {
1bc021ddeae0 8186125: "DU iteration must converge quickly" assert in split if with unsafe accesses roland parents: diff changeset	50	try {
1bc021ddeae0 8186125: "DU iteration must converge quickly" assert in split if with unsafe accesses roland parents: diff changeset	51	Field fField = A.class.getDeclaredField("f");
1bc021ddeae0 8186125: "DU iteration must converge quickly" assert in split if with unsafe accesses roland parents: diff changeset	52	F_OFFSET = UNSAFE.objectFieldOffset(fField);
1bc021ddeae0 8186125: "DU iteration must converge quickly" assert in split if with unsafe accesses roland parents: diff changeset	53	} catch (Exception e) {
1bc021ddeae0 8186125: "DU iteration must converge quickly" assert in split if with unsafe accesses roland parents: diff changeset	54	throw new RuntimeException(e);
1bc021ddeae0 8186125: "DU iteration must converge quickly" assert in split if with unsafe accesses roland parents: diff changeset	55	}
1bc021ddeae0 8186125: "DU iteration must converge quickly" assert in split if with unsafe accesses roland parents: diff changeset	56	}
1bc021ddeae0 8186125: "DU iteration must converge quickly" assert in split if with unsafe accesses roland parents: diff changeset	57
1bc021ddeae0 8186125: "DU iteration must converge quickly" assert in split if with unsafe accesses roland parents: diff changeset	58	static int test(A a1, A a2, boolean flag1) {
1bc021ddeae0 8186125: "DU iteration must converge quickly" assert in split if with unsafe accesses roland parents: diff changeset	59	boolean flag2;
1bc021ddeae0 8186125: "DU iteration must converge quickly" assert in split if with unsafe accesses roland parents: diff changeset	60	int f = 0;
1bc021ddeae0 8186125: "DU iteration must converge quickly" assert in split if with unsafe accesses roland parents: diff changeset	61	A a = null;
1bc021ddeae0 8186125: "DU iteration must converge quickly" assert in split if with unsafe accesses roland parents: diff changeset	62	if (flag1) {
1bc021ddeae0 8186125: "DU iteration must converge quickly" assert in split if with unsafe accesses roland parents: diff changeset	63	flag2 = true;
1bc021ddeae0 8186125: "DU iteration must converge quickly" assert in split if with unsafe accesses roland parents: diff changeset	64	a = a1;
1bc021ddeae0 8186125: "DU iteration must converge quickly" assert in split if with unsafe accesses roland parents: diff changeset	65	} else {
1bc021ddeae0 8186125: "DU iteration must converge quickly" assert in split if with unsafe accesses roland parents: diff changeset	66	flag2 = false;
1bc021ddeae0 8186125: "DU iteration must converge quickly" assert in split if with unsafe accesses roland parents: diff changeset	67	a = a2;
1bc021ddeae0 8186125: "DU iteration must converge quickly" assert in split if with unsafe accesses roland parents: diff changeset	68	}
1bc021ddeae0 8186125: "DU iteration must converge quickly" assert in split if with unsafe accesses roland parents: diff changeset	69	if (flag2) {
1bc021ddeae0 8186125: "DU iteration must converge quickly" assert in split if with unsafe accesses roland parents: diff changeset	70	f = UNSAFE.getInt(a, F_OFFSET);
1bc021ddeae0 8186125: "DU iteration must converge quickly" assert in split if with unsafe accesses roland parents: diff changeset	71	} else {
1bc021ddeae0 8186125: "DU iteration must converge quickly" assert in split if with unsafe accesses roland parents: diff changeset	72	f = UNSAFE.getInt(a, F_OFFSET);
1bc021ddeae0 8186125: "DU iteration must converge quickly" assert in split if with unsafe accesses roland parents: diff changeset	73	}
1bc021ddeae0 8186125: "DU iteration must converge quickly" assert in split if with unsafe accesses roland parents: diff changeset	74	return f;
1bc021ddeae0 8186125: "DU iteration must converge quickly" assert in split if with unsafe accesses roland parents: diff changeset	75	}
1bc021ddeae0 8186125: "DU iteration must converge quickly" assert in split if with unsafe accesses roland parents: diff changeset	76
1bc021ddeae0 8186125: "DU iteration must converge quickly" assert in split if with unsafe accesses roland parents: diff changeset	77	static public void main(String[] args) {
1bc021ddeae0 8186125: "DU iteration must converge quickly" assert in split if with unsafe accesses roland parents: diff changeset	78	A a = new A(0x42);
1bc021ddeae0 8186125: "DU iteration must converge quickly" assert in split if with unsafe accesses roland parents: diff changeset	79	for (int i = 0; i < 20000; i++) {
1bc021ddeae0 8186125: "DU iteration must converge quickly" assert in split if with unsafe accesses roland parents: diff changeset	80	test(a, a, (i % 2) == 0);
1bc021ddeae0 8186125: "DU iteration must converge quickly" assert in split if with unsafe accesses roland parents: diff changeset	81	}
1bc021ddeae0 8186125: "DU iteration must converge quickly" assert in split if with unsafe accesses roland parents: diff changeset	82	}
1bc021ddeae0 8186125: "DU iteration must converge quickly" assert in split if with unsafe accesses roland parents: diff changeset	83
1bc021ddeae0 8186125: "DU iteration must converge quickly" assert in split if with unsafe accesses roland parents: diff changeset	84	}

author	neliasso
	Fri, 29 Nov 2019 11:26:25 +0100
changeset 59324	5e8f9713e343
parent 47820	1bc021ddeae0
permissions	-rw-r--r--