annotate test/compiler/6724218/Test.java @ 3237:399aa66d375e

Fixed a bug in which the valueEquals method was misused. The method does only check the equality of the node data and not full GVN equality by taking inputs and successors into account.
author Thomas Wuerthinger <thomas@wuerthinger.net>
date Wed, 27 Jul 2011 14:16:38 -0700
parents c18cbe5936b8
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
247
02a35ad4adf8 6723160: Nightly failure: Error: meet not symmetric
kvn
parents:
diff changeset
1 /*
1552
c18cbe5936b8 6941466: Oracle rebranding changes for Hotspot repositories
trims
parents: 247
diff changeset
2 * Copyright (c) 2008, Oracle and/or its affiliates. All rights reserved.
247
02a35ad4adf8 6723160: Nightly failure: Error: meet not symmetric
kvn
parents:
diff changeset
3 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
02a35ad4adf8 6723160: Nightly failure: Error: meet not symmetric
kvn
parents:
diff changeset
4 *
02a35ad4adf8 6723160: Nightly failure: Error: meet not symmetric
kvn
parents:
diff changeset
5 * This code is free software; you can redistribute it and/or modify it
02a35ad4adf8 6723160: Nightly failure: Error: meet not symmetric
kvn
parents:
diff changeset
6 * under the terms of the GNU General Public License version 2 only, as
02a35ad4adf8 6723160: Nightly failure: Error: meet not symmetric
kvn
parents:
diff changeset
7 * published by the Free Software Foundation.
02a35ad4adf8 6723160: Nightly failure: Error: meet not symmetric
kvn
parents:
diff changeset
8 *
02a35ad4adf8 6723160: Nightly failure: Error: meet not symmetric
kvn
parents:
diff changeset
9 * This code is distributed in the hope that it will be useful, but WITHOUT
02a35ad4adf8 6723160: Nightly failure: Error: meet not symmetric
kvn
parents:
diff changeset
10 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
02a35ad4adf8 6723160: Nightly failure: Error: meet not symmetric
kvn
parents:
diff changeset
11 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
02a35ad4adf8 6723160: Nightly failure: Error: meet not symmetric
kvn
parents:
diff changeset
12 * version 2 for more details (a copy is included in the LICENSE file that
02a35ad4adf8 6723160: Nightly failure: Error: meet not symmetric
kvn
parents:
diff changeset
13 * accompanied this code).
02a35ad4adf8 6723160: Nightly failure: Error: meet not symmetric
kvn
parents:
diff changeset
14 *
02a35ad4adf8 6723160: Nightly failure: Error: meet not symmetric
kvn
parents:
diff changeset
15 * You should have received a copy of the GNU General Public License version
02a35ad4adf8 6723160: Nightly failure: Error: meet not symmetric
kvn
parents:
diff changeset
16 * 2 along with this work; if not, write to the Free Software Foundation,
02a35ad4adf8 6723160: Nightly failure: Error: meet not symmetric
kvn
parents:
diff changeset
17 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
02a35ad4adf8 6723160: Nightly failure: Error: meet not symmetric
kvn
parents:
diff changeset
18 *
1552
c18cbe5936b8 6941466: Oracle rebranding changes for Hotspot repositories
trims
parents: 247
diff changeset
19 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
c18cbe5936b8 6941466: Oracle rebranding changes for Hotspot repositories
trims
parents: 247
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: 247
diff changeset
21 * questions.
247
02a35ad4adf8 6723160: Nightly failure: Error: meet not symmetric
kvn
parents:
diff changeset
22 */
02a35ad4adf8 6723160: Nightly failure: Error: meet not symmetric
kvn
parents:
diff changeset
23
02a35ad4adf8 6723160: Nightly failure: Error: meet not symmetric
kvn
parents:
diff changeset
24 /*
02a35ad4adf8 6723160: Nightly failure: Error: meet not symmetric
kvn
parents:
diff changeset
25 * @test
02a35ad4adf8 6723160: Nightly failure: Error: meet not symmetric
kvn
parents:
diff changeset
26 * @bug 6724218
02a35ad4adf8 6723160: Nightly failure: Error: meet not symmetric
kvn
parents:
diff changeset
27 * @summary Fix raise_LCA_above_marks() early termination
02a35ad4adf8 6723160: Nightly failure: Error: meet not symmetric
kvn
parents:
diff changeset
28 * @run main/othervm -Xbatch -XX:CompileCommand=exclude,Test.update Test
02a35ad4adf8 6723160: Nightly failure: Error: meet not symmetric
kvn
parents:
diff changeset
29 */
02a35ad4adf8 6723160: Nightly failure: Error: meet not symmetric
kvn
parents:
diff changeset
30
02a35ad4adf8 6723160: Nightly failure: Error: meet not symmetric
kvn
parents:
diff changeset
31 public class Test {
02a35ad4adf8 6723160: Nightly failure: Error: meet not symmetric
kvn
parents:
diff changeset
32 Test next = null;
02a35ad4adf8 6723160: Nightly failure: Error: meet not symmetric
kvn
parents:
diff changeset
33 Object value = null;
02a35ad4adf8 6723160: Nightly failure: Error: meet not symmetric
kvn
parents:
diff changeset
34
02a35ad4adf8 6723160: Nightly failure: Error: meet not symmetric
kvn
parents:
diff changeset
35 static boolean _closed = false;
02a35ad4adf8 6723160: Nightly failure: Error: meet not symmetric
kvn
parents:
diff changeset
36 static int size = 0;
02a35ad4adf8 6723160: Nightly failure: Error: meet not symmetric
kvn
parents:
diff changeset
37 static Test list = null;
02a35ad4adf8 6723160: Nightly failure: Error: meet not symmetric
kvn
parents:
diff changeset
38 static int cache_size = 0;
02a35ad4adf8 6723160: Nightly failure: Error: meet not symmetric
kvn
parents:
diff changeset
39 static Test cache = null;
02a35ad4adf8 6723160: Nightly failure: Error: meet not symmetric
kvn
parents:
diff changeset
40
02a35ad4adf8 6723160: Nightly failure: Error: meet not symmetric
kvn
parents:
diff changeset
41 Object get(int i) {
02a35ad4adf8 6723160: Nightly failure: Error: meet not symmetric
kvn
parents:
diff changeset
42 Test t = list;
02a35ad4adf8 6723160: Nightly failure: Error: meet not symmetric
kvn
parents:
diff changeset
43 list = t.next;
02a35ad4adf8 6723160: Nightly failure: Error: meet not symmetric
kvn
parents:
diff changeset
44 size -= 1;
02a35ad4adf8 6723160: Nightly failure: Error: meet not symmetric
kvn
parents:
diff changeset
45 Object o = t.value;
02a35ad4adf8 6723160: Nightly failure: Error: meet not symmetric
kvn
parents:
diff changeset
46 if (i > 0) {
02a35ad4adf8 6723160: Nightly failure: Error: meet not symmetric
kvn
parents:
diff changeset
47 t.next = cache;
02a35ad4adf8 6723160: Nightly failure: Error: meet not symmetric
kvn
parents:
diff changeset
48 t.value = null;
02a35ad4adf8 6723160: Nightly failure: Error: meet not symmetric
kvn
parents:
diff changeset
49 cache = t;
02a35ad4adf8 6723160: Nightly failure: Error: meet not symmetric
kvn
parents:
diff changeset
50 cache_size = +1;
02a35ad4adf8 6723160: Nightly failure: Error: meet not symmetric
kvn
parents:
diff changeset
51 }
02a35ad4adf8 6723160: Nightly failure: Error: meet not symmetric
kvn
parents:
diff changeset
52 return o;
02a35ad4adf8 6723160: Nightly failure: Error: meet not symmetric
kvn
parents:
diff changeset
53 }
02a35ad4adf8 6723160: Nightly failure: Error: meet not symmetric
kvn
parents:
diff changeset
54
02a35ad4adf8 6723160: Nightly failure: Error: meet not symmetric
kvn
parents:
diff changeset
55 void update() {
02a35ad4adf8 6723160: Nightly failure: Error: meet not symmetric
kvn
parents:
diff changeset
56 // Exclude compilation of this one.
02a35ad4adf8 6723160: Nightly failure: Error: meet not symmetric
kvn
parents:
diff changeset
57 if (size == 0) {
02a35ad4adf8 6723160: Nightly failure: Error: meet not symmetric
kvn
parents:
diff changeset
58 Test t;
02a35ad4adf8 6723160: Nightly failure: Error: meet not symmetric
kvn
parents:
diff changeset
59 if (cache_size > 0) {
02a35ad4adf8 6723160: Nightly failure: Error: meet not symmetric
kvn
parents:
diff changeset
60 t = cache;
02a35ad4adf8 6723160: Nightly failure: Error: meet not symmetric
kvn
parents:
diff changeset
61 cache = t.next;
02a35ad4adf8 6723160: Nightly failure: Error: meet not symmetric
kvn
parents:
diff changeset
62 cache_size = -1;
02a35ad4adf8 6723160: Nightly failure: Error: meet not symmetric
kvn
parents:
diff changeset
63 } else {
02a35ad4adf8 6723160: Nightly failure: Error: meet not symmetric
kvn
parents:
diff changeset
64 t = new Test();
02a35ad4adf8 6723160: Nightly failure: Error: meet not symmetric
kvn
parents:
diff changeset
65 }
02a35ad4adf8 6723160: Nightly failure: Error: meet not symmetric
kvn
parents:
diff changeset
66 t.value = new Object();
02a35ad4adf8 6723160: Nightly failure: Error: meet not symmetric
kvn
parents:
diff changeset
67 t.next = list;
02a35ad4adf8 6723160: Nightly failure: Error: meet not symmetric
kvn
parents:
diff changeset
68 list = t;
02a35ad4adf8 6723160: Nightly failure: Error: meet not symmetric
kvn
parents:
diff changeset
69 size += 1;
02a35ad4adf8 6723160: Nightly failure: Error: meet not symmetric
kvn
parents:
diff changeset
70 }
02a35ad4adf8 6723160: Nightly failure: Error: meet not symmetric
kvn
parents:
diff changeset
71 }
02a35ad4adf8 6723160: Nightly failure: Error: meet not symmetric
kvn
parents:
diff changeset
72
02a35ad4adf8 6723160: Nightly failure: Error: meet not symmetric
kvn
parents:
diff changeset
73 synchronized Object test(int i) {
02a35ad4adf8 6723160: Nightly failure: Error: meet not symmetric
kvn
parents:
diff changeset
74 while (true) {
02a35ad4adf8 6723160: Nightly failure: Error: meet not symmetric
kvn
parents:
diff changeset
75 if (_closed) {
02a35ad4adf8 6723160: Nightly failure: Error: meet not symmetric
kvn
parents:
diff changeset
76 return null;
02a35ad4adf8 6723160: Nightly failure: Error: meet not symmetric
kvn
parents:
diff changeset
77 } else if (size > 0) {
02a35ad4adf8 6723160: Nightly failure: Error: meet not symmetric
kvn
parents:
diff changeset
78 return get(i);
02a35ad4adf8 6723160: Nightly failure: Error: meet not symmetric
kvn
parents:
diff changeset
79 }
02a35ad4adf8 6723160: Nightly failure: Error: meet not symmetric
kvn
parents:
diff changeset
80 update();
02a35ad4adf8 6723160: Nightly failure: Error: meet not symmetric
kvn
parents:
diff changeset
81 }
02a35ad4adf8 6723160: Nightly failure: Error: meet not symmetric
kvn
parents:
diff changeset
82 }
02a35ad4adf8 6723160: Nightly failure: Error: meet not symmetric
kvn
parents:
diff changeset
83
02a35ad4adf8 6723160: Nightly failure: Error: meet not symmetric
kvn
parents:
diff changeset
84 public static void main(String argv[]) throws Exception {
02a35ad4adf8 6723160: Nightly failure: Error: meet not symmetric
kvn
parents:
diff changeset
85 Test t = new Test();
02a35ad4adf8 6723160: Nightly failure: Error: meet not symmetric
kvn
parents:
diff changeset
86 int lim = 500000;
02a35ad4adf8 6723160: Nightly failure: Error: meet not symmetric
kvn
parents:
diff changeset
87 Object o;
02a35ad4adf8 6723160: Nightly failure: Error: meet not symmetric
kvn
parents:
diff changeset
88 for (int j = 0; j < lim; j++) {
02a35ad4adf8 6723160: Nightly failure: Error: meet not symmetric
kvn
parents:
diff changeset
89 o = t.test(j&1);
02a35ad4adf8 6723160: Nightly failure: Error: meet not symmetric
kvn
parents:
diff changeset
90 if (o == null) {
02a35ad4adf8 6723160: Nightly failure: Error: meet not symmetric
kvn
parents:
diff changeset
91 throw new Exception("*** Failed on iteration " + j);
02a35ad4adf8 6723160: Nightly failure: Error: meet not symmetric
kvn
parents:
diff changeset
92 }
02a35ad4adf8 6723160: Nightly failure: Error: meet not symmetric
kvn
parents:
diff changeset
93 if ((j&1) == 0) {
02a35ad4adf8 6723160: Nightly failure: Error: meet not symmetric
kvn
parents:
diff changeset
94 t.update();
02a35ad4adf8 6723160: Nightly failure: Error: meet not symmetric
kvn
parents:
diff changeset
95 }
02a35ad4adf8 6723160: Nightly failure: Error: meet not symmetric
kvn
parents:
diff changeset
96 }
02a35ad4adf8 6723160: Nightly failure: Error: meet not symmetric
kvn
parents:
diff changeset
97 }
02a35ad4adf8 6723160: Nightly failure: Error: meet not symmetric
kvn
parents:
diff changeset
98 }