Mercurial > hg > truffle
annotate test/compiler/6646019/Test.java @ 295:ea18057223c4
6732194: Data corruption dependent on -server/-client/-Xbatch
Summary: rematerializing nodes results in incorrect inputs
Reviewed-by: rasbold
author | never |
---|---|
date | Mon, 18 Aug 2008 23:17:51 -0700 |
parents | b0fe4deeb9fb |
children | 70c4fb9cf899 |
rev | line source |
---|---|
129
c0939256690b
6646019: array subscript expressions become top() with -d64
rasbold
parents:
diff
changeset
|
1 /* |
253
b0fe4deeb9fb
6726999: nsk/stress/jck12a/jck12a010 assert(n != null,"Bad immediate dominator info.")
kvn
parents:
129
diff
changeset
|
2 * Copyright 2008 Sun Microsystems, Inc. All Rights Reserved. |
b0fe4deeb9fb
6726999: nsk/stress/jck12a/jck12a010 assert(n != null,"Bad immediate dominator info.")
kvn
parents:
129
diff
changeset
|
3 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER. |
129
c0939256690b
6646019: array subscript expressions become top() with -d64
rasbold
parents:
diff
changeset
|
4 * |
253
b0fe4deeb9fb
6726999: nsk/stress/jck12a/jck12a010 assert(n != null,"Bad immediate dominator info.")
kvn
parents:
129
diff
changeset
|
5 * This code is free software; you can redistribute it and/or modify it |
b0fe4deeb9fb
6726999: nsk/stress/jck12a/jck12a010 assert(n != null,"Bad immediate dominator info.")
kvn
parents:
129
diff
changeset
|
6 * under the terms of the GNU General Public License version 2 only, as |
b0fe4deeb9fb
6726999: nsk/stress/jck12a/jck12a010 assert(n != null,"Bad immediate dominator info.")
kvn
parents:
129
diff
changeset
|
7 * published by the Free Software Foundation. |
129
c0939256690b
6646019: array subscript expressions become top() with -d64
rasbold
parents:
diff
changeset
|
8 * |
253
b0fe4deeb9fb
6726999: nsk/stress/jck12a/jck12a010 assert(n != null,"Bad immediate dominator info.")
kvn
parents:
129
diff
changeset
|
9 * This code is distributed in the hope that it will be useful, but WITHOUT |
b0fe4deeb9fb
6726999: nsk/stress/jck12a/jck12a010 assert(n != null,"Bad immediate dominator info.")
kvn
parents:
129
diff
changeset
|
10 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or |
b0fe4deeb9fb
6726999: nsk/stress/jck12a/jck12a010 assert(n != null,"Bad immediate dominator info.")
kvn
parents:
129
diff
changeset
|
11 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License |
b0fe4deeb9fb
6726999: nsk/stress/jck12a/jck12a010 assert(n != null,"Bad immediate dominator info.")
kvn
parents:
129
diff
changeset
|
12 * version 2 for more details (a copy is included in the LICENSE file that |
b0fe4deeb9fb
6726999: nsk/stress/jck12a/jck12a010 assert(n != null,"Bad immediate dominator info.")
kvn
parents:
129
diff
changeset
|
13 * accompanied this code). |
129
c0939256690b
6646019: array subscript expressions become top() with -d64
rasbold
parents:
diff
changeset
|
14 * |
253
b0fe4deeb9fb
6726999: nsk/stress/jck12a/jck12a010 assert(n != null,"Bad immediate dominator info.")
kvn
parents:
129
diff
changeset
|
15 * You should have received a copy of the GNU General Public License version |
b0fe4deeb9fb
6726999: nsk/stress/jck12a/jck12a010 assert(n != null,"Bad immediate dominator info.")
kvn
parents:
129
diff
changeset
|
16 * 2 along with this work; if not, write to the Free Software Foundation, |
b0fe4deeb9fb
6726999: nsk/stress/jck12a/jck12a010 assert(n != null,"Bad immediate dominator info.")
kvn
parents:
129
diff
changeset
|
17 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA. |
129
c0939256690b
6646019: array subscript expressions become top() with -d64
rasbold
parents:
diff
changeset
|
18 * |
253
b0fe4deeb9fb
6726999: nsk/stress/jck12a/jck12a010 assert(n != null,"Bad immediate dominator info.")
kvn
parents:
129
diff
changeset
|
19 * Please contact Sun Microsystems, Inc., 4150 Network Circle, Santa Clara, |
b0fe4deeb9fb
6726999: nsk/stress/jck12a/jck12a010 assert(n != null,"Bad immediate dominator info.")
kvn
parents:
129
diff
changeset
|
20 * CA 95054 USA or visit www.sun.com if you need additional information or |
b0fe4deeb9fb
6726999: nsk/stress/jck12a/jck12a010 assert(n != null,"Bad immediate dominator info.")
kvn
parents:
129
diff
changeset
|
21 * have any questions. |
129
c0939256690b
6646019: array subscript expressions become top() with -d64
rasbold
parents:
diff
changeset
|
22 * |
c0939256690b
6646019: array subscript expressions become top() with -d64
rasbold
parents:
diff
changeset
|
23 */ |
c0939256690b
6646019: array subscript expressions become top() with -d64
rasbold
parents:
diff
changeset
|
24 |
c0939256690b
6646019: array subscript expressions become top() with -d64
rasbold
parents:
diff
changeset
|
25 /* |
c0939256690b
6646019: array subscript expressions become top() with -d64
rasbold
parents:
diff
changeset
|
26 * @test |
c0939256690b
6646019: array subscript expressions become top() with -d64
rasbold
parents:
diff
changeset
|
27 * @bug 6646019 |
c0939256690b
6646019: array subscript expressions become top() with -d64
rasbold
parents:
diff
changeset
|
28 * @summary array subscript expressions become top() with -d64 |
c0939256690b
6646019: array subscript expressions become top() with -d64
rasbold
parents:
diff
changeset
|
29 * @run main/othervm -Xcomp -XX:CompileOnly=Test.test Test |
c0939256690b
6646019: array subscript expressions become top() with -d64
rasbold
parents:
diff
changeset
|
30 */ |
c0939256690b
6646019: array subscript expressions become top() with -d64
rasbold
parents:
diff
changeset
|
31 |
c0939256690b
6646019: array subscript expressions become top() with -d64
rasbold
parents:
diff
changeset
|
32 |
c0939256690b
6646019: array subscript expressions become top() with -d64
rasbold
parents:
diff
changeset
|
33 public class Test { |
c0939256690b
6646019: array subscript expressions become top() with -d64
rasbold
parents:
diff
changeset
|
34 final static int i = 2076285318; |
c0939256690b
6646019: array subscript expressions become top() with -d64
rasbold
parents:
diff
changeset
|
35 long l = 2; |
c0939256690b
6646019: array subscript expressions become top() with -d64
rasbold
parents:
diff
changeset
|
36 short s; |
c0939256690b
6646019: array subscript expressions become top() with -d64
rasbold
parents:
diff
changeset
|
37 |
c0939256690b
6646019: array subscript expressions become top() with -d64
rasbold
parents:
diff
changeset
|
38 public static void main(String[] args) { |
c0939256690b
6646019: array subscript expressions become top() with -d64
rasbold
parents:
diff
changeset
|
39 Test t = new Test(); |
c0939256690b
6646019: array subscript expressions become top() with -d64
rasbold
parents:
diff
changeset
|
40 try { t.test(); } |
c0939256690b
6646019: array subscript expressions become top() with -d64
rasbold
parents:
diff
changeset
|
41 catch (Throwable e) { |
c0939256690b
6646019: array subscript expressions become top() with -d64
rasbold
parents:
diff
changeset
|
42 if (t.l != 5) { |
c0939256690b
6646019: array subscript expressions become top() with -d64
rasbold
parents:
diff
changeset
|
43 System.out.println("Fails: " + t.l + " != 5"); |
c0939256690b
6646019: array subscript expressions become top() with -d64
rasbold
parents:
diff
changeset
|
44 } |
c0939256690b
6646019: array subscript expressions become top() with -d64
rasbold
parents:
diff
changeset
|
45 } |
c0939256690b
6646019: array subscript expressions become top() with -d64
rasbold
parents:
diff
changeset
|
46 } |
c0939256690b
6646019: array subscript expressions become top() with -d64
rasbold
parents:
diff
changeset
|
47 |
c0939256690b
6646019: array subscript expressions become top() with -d64
rasbold
parents:
diff
changeset
|
48 private void test() { |
c0939256690b
6646019: array subscript expressions become top() with -d64
rasbold
parents:
diff
changeset
|
49 l = 5; |
c0939256690b
6646019: array subscript expressions become top() with -d64
rasbold
parents:
diff
changeset
|
50 l = (new short[(byte)-2])[(byte)(l = i)]; |
c0939256690b
6646019: array subscript expressions become top() with -d64
rasbold
parents:
diff
changeset
|
51 } |
c0939256690b
6646019: array subscript expressions become top() with -d64
rasbold
parents:
diff
changeset
|
52 } |