annotate test/compiler/6837094/Test.java @ 1552:c18cbe5936b8

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