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