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 -XX:CompileOnly=Test.collectIs,Test$Factory$1.getArray,Test$Factory$2.getArray Test
31 */
32
33 import java.util.Set;
34 import java.util.HashSet;
35
36 public class Test {
37
38 private interface Factory<M extends Interface> {
39 Factory<Child0> Zero = new Factory<Child0>() {
40 public Child0[] getArray() { return new Child0[1]; }
41 };
42
43 Factory<Child1> One = new Factory<Child1>() {
44 public Child1[] getArray() { return new Child1[1]; }
45 };
46
47 M[] getArray();
48 }
49
50 /**
51 * C2 asserts when compiling this method. Bimorphic inlining happens at
52 * getArray call site. A Phi in the catch block tries to join the meet type
53 * from he inline site (Parent[]) with the type expected by CI (Interface[]).
54 *
55 * C2 throws an assert when it doesn't need to.
56 */
57 private static <I extends Interface> void collectIs(
58 Factory<I> factory, Set<Interface> s) {
59 for (I i : factory.getArray()) {
60 try {
61 s.add(i);
62 } catch (Exception e) {
63 }
64 }
65 }
66
67 static public void main(String argv[]) {
68 Set<Interface> s = new HashSet();
69
70 for (int i = 0; i < 25000; i++) {
71 collectIs(Factory.Zero, s);
72 collectIs(Factory.One, s);
73 }
74 }
75 }
76
77 /**
78 * Establish necessary class hierarchy
79 */
80
81 interface Interface {
82 }
83
84 class Parent {
85 }
86
87 class Child0 extends Parent implements Interface {
88 }
89
90 class Child1 extends Parent implements Interface {
91 }
92
93 class Child2 extends Parent implements Interface {
94 }
|
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
|