• file
• revisions
• annotate
• diff
• comparison
• raw

test/compiler/6837094/Test.java@f90c822e73f8 (annotated)

test/compiler/6837094/Test.java

Wed, 27 Apr 2016 01:25:04 +0800

author

aoqi

date

Wed, 27 Apr 2016 01:25:04 +0800

changeset 0

f90c822e73f8

child 6876

710a3c8b516e

permissions

-rw-r--r--

Initial load
http://hg.openjdk.java.net/jdk8u/jdk8u/hotspot/
changeset: 6782:28b50d07f6f8
tag: jdk8u25-b17

aoqi@0	1	/*
aoqi@0	2	* Copyright 2009 Google Inc. All Rights Reserved.
aoqi@0	3	* DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
aoqi@0	4	*
aoqi@0	5	* This code is free software; you can redistribute it and/or modify it
aoqi@0	6	* under the terms of the GNU General Public License version 2 only, as
aoqi@0	7	* published by the Free Software Foundation.
aoqi@0	8	*
aoqi@0	9	* This code is distributed in the hope that it will be useful, but WITHOUT
aoqi@0	10	* ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
aoqi@0	11	* FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
aoqi@0	12	* version 2 for more details (a copy is included in the LICENSE file that
aoqi@0	13	* accompanied this code).
aoqi@0	14	*
aoqi@0	15	* You should have received a copy of the GNU General Public License version
aoqi@0	16	* 2 along with this work; if not, write to the Free Software Foundation,
aoqi@0	17	* Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
aoqi@0	18	*
aoqi@0	19	* Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
aoqi@0	20	* or visit www.oracle.com if you need additional information or have any
aoqi@0	21	* questions.
aoqi@0	22	*
aoqi@0	23	*/
aoqi@0	24
aoqi@0	25	/**
aoqi@0	26	* @test
aoqi@0	27	* @bug 6837094
aoqi@0	28	* @summary False positive for "meet not symmetric" failure
aoqi@0	29	*
aoqi@0	30	* @run main/othervm -Xbatch -XX:CompileOnly=Test.collectIs,Test$Factory$1.getArray,Test$Factory$2.getArray Test
aoqi@0	31	*/
aoqi@0	32
aoqi@0	33	import java.util.Set;
aoqi@0	34	import java.util.HashSet;
aoqi@0	35
aoqi@0	36	public class Test {
aoqi@0	37
aoqi@0	38	private interface Factory<M extends Interface> {
aoqi@0	39	Factory<Child0> Zero = new Factory<Child0>() {
aoqi@0	40	public Child0[] getArray() { return new Child0[1]; }
aoqi@0	41	};
aoqi@0	42
aoqi@0	43	Factory<Child1> One = new Factory<Child1>() {
aoqi@0	44	public Child1[] getArray() { return new Child1[1]; }
aoqi@0	45	};
aoqi@0	46
aoqi@0	47	M[] getArray();
aoqi@0	48	}
aoqi@0	49
aoqi@0	50	/**
aoqi@0	51	* C2 asserts when compiling this method. Bimorphic inlining happens at
aoqi@0	52	* getArray call site. A Phi in the catch block tries to join the meet type
aoqi@0	53	* from he inline site (Parent[]) with the type expected by CI (Interface[]).
aoqi@0	54	*
aoqi@0	55	* C2 throws an assert when it doesn't need to.
aoqi@0	56	*/
aoqi@0	57	private static <I extends Interface> void collectIs(
aoqi@0	58	Factory<I> factory, Set<Interface> s) {
aoqi@0	59	for (I i : factory.getArray()) {
aoqi@0	60	try {
aoqi@0	61	s.add(i);
aoqi@0	62	} catch (Exception e) {
aoqi@0	63	}
aoqi@0	64	}
aoqi@0	65	}
aoqi@0	66
aoqi@0	67	static public void main(String argv[]) {
aoqi@0	68	Set<Interface> s = new HashSet();
aoqi@0	69
aoqi@0	70	for (int i = 0; i < 25000; i++) {
aoqi@0	71	collectIs(Factory.Zero, s);
aoqi@0	72	collectIs(Factory.One, s);
aoqi@0	73	}
aoqi@0	74	}
aoqi@0	75	}
aoqi@0	76
aoqi@0	77	/**
aoqi@0	78	* Establish necessary class hierarchy
aoqi@0	79	*/
aoqi@0	80
aoqi@0	81	interface Interface {
aoqi@0	82	}
aoqi@0	83
aoqi@0	84	class Parent {
aoqi@0	85	}
aoqi@0	86
aoqi@0	87	class Child0 extends Parent implements Interface {
aoqi@0	88	}
aoqi@0	89
aoqi@0	90	class Child1 extends Parent implements Interface {
aoqi@0	91	}
aoqi@0	92
aoqi@0	93	class Child2 extends Parent implements Interface {
aoqi@0	94	}