Mercurial > hg > truffle

annotate graal/com.oracle.graal.compiler.test/src/com/oracle/graal/compiler/test/ReadAfterCheckCastTest.java @ 9267:950a385e059b

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Make LoweringPhase reentrant.
author Roland Schatz <roland.schatz@oracle.com>
date Tue, 23 Apr 2013 17:49:10 +0200
parents 223e01540fe8
children 6f8d76dbe874
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
8535
3cf7d22b14dd CheckCastSnippets: testcase for reading a field after checkcast
Bernhard Urban <bernhard.urban@jku.at>
parents:
diff changeset
1 /*
3cf7d22b14dd CheckCastSnippets: testcase for reading a field after checkcast
Bernhard Urban <bernhard.urban@jku.at>
parents:
diff changeset
2 * Copyright (c) 2013, Oracle and/or its affiliates. All rights reserved.
3cf7d22b14dd CheckCastSnippets: testcase for reading a field after checkcast
Bernhard Urban <bernhard.urban@jku.at>
parents:
diff changeset
3 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
3cf7d22b14dd CheckCastSnippets: testcase for reading a field after checkcast
Bernhard Urban <bernhard.urban@jku.at>
parents:
diff changeset
4 *
3cf7d22b14dd CheckCastSnippets: testcase for reading a field after checkcast
Bernhard Urban <bernhard.urban@jku.at>
parents:
diff changeset
5 * This code is free software; you can redistribute it and/or modify it
3cf7d22b14dd CheckCastSnippets: testcase for reading a field after checkcast
Bernhard Urban <bernhard.urban@jku.at>
parents:
diff changeset
6 * under the terms of the GNU General Public License version 2 only, as
3cf7d22b14dd CheckCastSnippets: testcase for reading a field after checkcast
Bernhard Urban <bernhard.urban@jku.at>
parents:
diff changeset
7 * published by the Free Software Foundation.
3cf7d22b14dd CheckCastSnippets: testcase for reading a field after checkcast
Bernhard Urban <bernhard.urban@jku.at>
parents:
diff changeset
8 *
3cf7d22b14dd CheckCastSnippets: testcase for reading a field after checkcast
Bernhard Urban <bernhard.urban@jku.at>
parents:
diff changeset
9 * This code is distributed in the hope that it will be useful, but WITHOUT
3cf7d22b14dd CheckCastSnippets: testcase for reading a field after checkcast
Bernhard Urban <bernhard.urban@jku.at>
parents:
diff changeset
10 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
3cf7d22b14dd CheckCastSnippets: testcase for reading a field after checkcast
Bernhard Urban <bernhard.urban@jku.at>
parents:
diff changeset
11 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
3cf7d22b14dd CheckCastSnippets: testcase for reading a field after checkcast
Bernhard Urban <bernhard.urban@jku.at>
parents:
diff changeset
12 * version 2 for more details (a copy is included in the LICENSE file that
3cf7d22b14dd CheckCastSnippets: testcase for reading a field after checkcast
Bernhard Urban <bernhard.urban@jku.at>
parents:
diff changeset
13 * accompanied this code).
3cf7d22b14dd CheckCastSnippets: testcase for reading a field after checkcast
Bernhard Urban <bernhard.urban@jku.at>
parents:
diff changeset
14 *
3cf7d22b14dd CheckCastSnippets: testcase for reading a field after checkcast
Bernhard Urban <bernhard.urban@jku.at>
parents:
diff changeset
15 * You should have received a copy of the GNU General Public License version
3cf7d22b14dd CheckCastSnippets: testcase for reading a field after checkcast
Bernhard Urban <bernhard.urban@jku.at>
parents:
diff changeset
16 * 2 along with this work; if not, write to the Free Software Foundation,
3cf7d22b14dd CheckCastSnippets: testcase for reading a field after checkcast
Bernhard Urban <bernhard.urban@jku.at>
parents:
diff changeset
17 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
3cf7d22b14dd CheckCastSnippets: testcase for reading a field after checkcast
Bernhard Urban <bernhard.urban@jku.at>
parents:
diff changeset
18 *
3cf7d22b14dd CheckCastSnippets: testcase for reading a field after checkcast
Bernhard Urban <bernhard.urban@jku.at>
parents:
diff changeset
19 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
3cf7d22b14dd CheckCastSnippets: testcase for reading a field after checkcast
Bernhard Urban <bernhard.urban@jku.at>
parents:
diff changeset
20 * or visit www.oracle.com if you need additional information or have any
3cf7d22b14dd CheckCastSnippets: testcase for reading a field after checkcast
Bernhard Urban <bernhard.urban@jku.at>
parents:
diff changeset
21 * questions.
3cf7d22b14dd CheckCastSnippets: testcase for reading a field after checkcast
Bernhard Urban <bernhard.urban@jku.at>
parents:
diff changeset
22 */
3cf7d22b14dd CheckCastSnippets: testcase for reading a field after checkcast
Bernhard Urban <bernhard.urban@jku.at>
parents:
diff changeset
23 package com.oracle.graal.compiler.test;
3cf7d22b14dd CheckCastSnippets: testcase for reading a field after checkcast
Bernhard Urban <bernhard.urban@jku.at>
parents:
diff changeset
24
3cf7d22b14dd CheckCastSnippets: testcase for reading a field after checkcast
Bernhard Urban <bernhard.urban@jku.at>
parents:
diff changeset
25 import java.util.*;
3cf7d22b14dd CheckCastSnippets: testcase for reading a field after checkcast
Bernhard Urban <bernhard.urban@jku.at>
parents:
diff changeset
26
3cf7d22b14dd CheckCastSnippets: testcase for reading a field after checkcast
Bernhard Urban <bernhard.urban@jku.at>
parents:
diff changeset
27 import org.junit.*;
3cf7d22b14dd CheckCastSnippets: testcase for reading a field after checkcast
Bernhard Urban <bernhard.urban@jku.at>
parents:
diff changeset
28
3cf7d22b14dd CheckCastSnippets: testcase for reading a field after checkcast
Bernhard Urban <bernhard.urban@jku.at>
parents:
diff changeset
29 import com.oracle.graal.api.code.*;
3cf7d22b14dd CheckCastSnippets: testcase for reading a field after checkcast
Bernhard Urban <bernhard.urban@jku.at>
parents:
diff changeset
30 import com.oracle.graal.debug.*;
3cf7d22b14dd CheckCastSnippets: testcase for reading a field after checkcast
Bernhard Urban <bernhard.urban@jku.at>
parents:
diff changeset
31 import com.oracle.graal.graph.*;
3cf7d22b14dd CheckCastSnippets: testcase for reading a field after checkcast
Bernhard Urban <bernhard.urban@jku.at>
parents:
diff changeset
32 import com.oracle.graal.nodes.*;
3cf7d22b14dd CheckCastSnippets: testcase for reading a field after checkcast
Bernhard Urban <bernhard.urban@jku.at>
parents:
diff changeset
33 import com.oracle.graal.nodes.calc.*;
3cf7d22b14dd CheckCastSnippets: testcase for reading a field after checkcast
Bernhard Urban <bernhard.urban@jku.at>
parents:
diff changeset
34 import com.oracle.graal.nodes.extended.*;
9251
435bb9425124 added enum to Lowerable interface (before/after guard lowering)
Lukas Stadler <lukas.stadler@jku.at>
parents: 9196
diff changeset
35 import com.oracle.graal.nodes.spi.Lowerable.*;
8535
3cf7d22b14dd CheckCastSnippets: testcase for reading a field after checkcast
Bernhard Urban <bernhard.urban@jku.at>
parents:
diff changeset
36 import com.oracle.graal.phases.common.*;
9267
950a385e059b Make LoweringPhase reentrant.
Roland Schatz <roland.schatz@oracle.com>
parents: 9266
diff changeset
37 import com.oracle.graal.phases.tiers.*;
8535
3cf7d22b14dd CheckCastSnippets: testcase for reading a field after checkcast
Bernhard Urban <bernhard.urban@jku.at>
parents:
diff changeset
38
3cf7d22b14dd CheckCastSnippets: testcase for reading a field after checkcast
Bernhard Urban <bernhard.urban@jku.at>
parents:
diff changeset
39 /* consider
3cf7d22b14dd CheckCastSnippets: testcase for reading a field after checkcast
Bernhard Urban <bernhard.urban@jku.at>
parents:
diff changeset
40 * B b = (B) a;
3cf7d22b14dd CheckCastSnippets: testcase for reading a field after checkcast
Bernhard Urban <bernhard.urban@jku.at>
parents:
diff changeset
41 * return b.x10;
3cf7d22b14dd CheckCastSnippets: testcase for reading a field after checkcast
Bernhard Urban <bernhard.urban@jku.at>
parents:
diff changeset
42 *
3cf7d22b14dd CheckCastSnippets: testcase for reading a field after checkcast
Bernhard Urban <bernhard.urban@jku.at>
parents:
diff changeset
43 * With snippets a typecheck is performed and if it was successful, a UnsafeCastNode is created.
3cf7d22b14dd CheckCastSnippets: testcase for reading a field after checkcast
Bernhard Urban <bernhard.urban@jku.at>
parents:
diff changeset
44 * For the read node, however, there is only a dependency to the UnsafeCastNode, but not to the
3cf7d22b14dd CheckCastSnippets: testcase for reading a field after checkcast
Bernhard Urban <bernhard.urban@jku.at>
parents:
diff changeset
45 * typecheck itself. With special crafting, it's possible to get the scheduler moving the
3cf7d22b14dd CheckCastSnippets: testcase for reading a field after checkcast
Bernhard Urban <bernhard.urban@jku.at>
parents:
diff changeset
46 * FloatingReadNode before the typecheck. Assuming the object is of the wrong type (here for
3cf7d22b14dd CheckCastSnippets: testcase for reading a field after checkcast
Bernhard Urban <bernhard.urban@jku.at>
parents:
diff changeset
47 * example A), an invalid field read is done.
8536
2978a819763b CheckCastSnippets: anchor UnsafeCast with subclass tests
Bernhard Urban <bernhard.urban@jku.at>
parents: 8535
diff changeset
48 *
2978a819763b CheckCastSnippets: anchor UnsafeCast with subclass tests
Bernhard Urban <bernhard.urban@jku.at>
parents: 8535
diff changeset
49 * In order to avoid this situation, an anchor node is introduced in CheckCastSnippts.
8535
3cf7d22b14dd CheckCastSnippets: testcase for reading a field after checkcast
Bernhard Urban <bernhard.urban@jku.at>
parents:
diff changeset
50 */
3cf7d22b14dd CheckCastSnippets: testcase for reading a field after checkcast
Bernhard Urban <bernhard.urban@jku.at>
parents:
diff changeset
51
9196
31c1168e1a8e rename ReadAfterCheckCast -> ReadAfterCheckCastTest
Bernhard Urban <bernhard.urban@jku.at>
parents: 9049
diff changeset
52 public class ReadAfterCheckCastTest extends GraphScheduleTest {
8535
3cf7d22b14dd CheckCastSnippets: testcase for reading a field after checkcast
Bernhard Urban <bernhard.urban@jku.at>
parents:
diff changeset
53
3cf7d22b14dd CheckCastSnippets: testcase for reading a field after checkcast
Bernhard Urban <bernhard.urban@jku.at>
parents:
diff changeset
54 public static long foo = 0;
3cf7d22b14dd CheckCastSnippets: testcase for reading a field after checkcast
Bernhard Urban <bernhard.urban@jku.at>
parents:
diff changeset
55
3cf7d22b14dd CheckCastSnippets: testcase for reading a field after checkcast
Bernhard Urban <bernhard.urban@jku.at>
parents:
diff changeset
56 public static class A {
3cf7d22b14dd CheckCastSnippets: testcase for reading a field after checkcast
Bernhard Urban <bernhard.urban@jku.at>
parents:
diff changeset
57
3cf7d22b14dd CheckCastSnippets: testcase for reading a field after checkcast
Bernhard Urban <bernhard.urban@jku.at>
parents:
diff changeset
58 public long x1;
3cf7d22b14dd CheckCastSnippets: testcase for reading a field after checkcast
Bernhard Urban <bernhard.urban@jku.at>
parents:
diff changeset
59 }
3cf7d22b14dd CheckCastSnippets: testcase for reading a field after checkcast
Bernhard Urban <bernhard.urban@jku.at>
parents:
diff changeset
60
3cf7d22b14dd CheckCastSnippets: testcase for reading a field after checkcast
Bernhard Urban <bernhard.urban@jku.at>
parents:
diff changeset
61 public static class B extends A {
3cf7d22b14dd CheckCastSnippets: testcase for reading a field after checkcast
Bernhard Urban <bernhard.urban@jku.at>
parents:
diff changeset
62
3cf7d22b14dd CheckCastSnippets: testcase for reading a field after checkcast
Bernhard Urban <bernhard.urban@jku.at>
parents:
diff changeset
63 public long x10;
3cf7d22b14dd CheckCastSnippets: testcase for reading a field after checkcast
Bernhard Urban <bernhard.urban@jku.at>
parents:
diff changeset
64 }
3cf7d22b14dd CheckCastSnippets: testcase for reading a field after checkcast
Bernhard Urban <bernhard.urban@jku.at>
parents:
diff changeset
65
3cf7d22b14dd CheckCastSnippets: testcase for reading a field after checkcast
Bernhard Urban <bernhard.urban@jku.at>
parents:
diff changeset
66 public static long test1Snippet(A a) {
3cf7d22b14dd CheckCastSnippets: testcase for reading a field after checkcast
Bernhard Urban <bernhard.urban@jku.at>
parents:
diff changeset
67 if (foo > 4) {
3cf7d22b14dd CheckCastSnippets: testcase for reading a field after checkcast
Bernhard Urban <bernhard.urban@jku.at>
parents:
diff changeset
68 B b = (B) a;
3cf7d22b14dd CheckCastSnippets: testcase for reading a field after checkcast
Bernhard Urban <bernhard.urban@jku.at>
parents:
diff changeset
69 b.x10 += 1;
3cf7d22b14dd CheckCastSnippets: testcase for reading a field after checkcast
Bernhard Urban <bernhard.urban@jku.at>
parents:
diff changeset
70 return b.x10;
3cf7d22b14dd CheckCastSnippets: testcase for reading a field after checkcast
Bernhard Urban <bernhard.urban@jku.at>
parents:
diff changeset
71 } else {
3cf7d22b14dd CheckCastSnippets: testcase for reading a field after checkcast
Bernhard Urban <bernhard.urban@jku.at>
parents:
diff changeset
72 B b = (B) a;
3cf7d22b14dd CheckCastSnippets: testcase for reading a field after checkcast
Bernhard Urban <bernhard.urban@jku.at>
parents:
diff changeset
73 b.x10 += 1;
3cf7d22b14dd CheckCastSnippets: testcase for reading a field after checkcast
Bernhard Urban <bernhard.urban@jku.at>
parents:
diff changeset
74 return b.x10;
3cf7d22b14dd CheckCastSnippets: testcase for reading a field after checkcast
Bernhard Urban <bernhard.urban@jku.at>
parents:
diff changeset
75 }
3cf7d22b14dd CheckCastSnippets: testcase for reading a field after checkcast
Bernhard Urban <bernhard.urban@jku.at>
parents:
diff changeset
76 }
3cf7d22b14dd CheckCastSnippets: testcase for reading a field after checkcast
Bernhard Urban <bernhard.urban@jku.at>
parents:
diff changeset
77
3cf7d22b14dd CheckCastSnippets: testcase for reading a field after checkcast
Bernhard Urban <bernhard.urban@jku.at>
parents:
diff changeset
78 @Test
3cf7d22b14dd CheckCastSnippets: testcase for reading a field after checkcast
Bernhard Urban <bernhard.urban@jku.at>
parents:
diff changeset
79 public void test1() {
3cf7d22b14dd CheckCastSnippets: testcase for reading a field after checkcast
Bernhard Urban <bernhard.urban@jku.at>
parents:
diff changeset
80 test("test1Snippet");
3cf7d22b14dd CheckCastSnippets: testcase for reading a field after checkcast
Bernhard Urban <bernhard.urban@jku.at>
parents:
diff changeset
81 }
3cf7d22b14dd CheckCastSnippets: testcase for reading a field after checkcast
Bernhard Urban <bernhard.urban@jku.at>
parents:
diff changeset
82
3cf7d22b14dd CheckCastSnippets: testcase for reading a field after checkcast
Bernhard Urban <bernhard.urban@jku.at>
parents:
diff changeset
83 private void test(final String snippet) {
3cf7d22b14dd CheckCastSnippets: testcase for reading a field after checkcast
Bernhard Urban <bernhard.urban@jku.at>
parents:
diff changeset
84 Debug.scope("FloatingReadTest", new DebugDumpScope(snippet), new Runnable() {
3cf7d22b14dd CheckCastSnippets: testcase for reading a field after checkcast
Bernhard Urban <bernhard.urban@jku.at>
parents:
diff changeset
85
3cf7d22b14dd CheckCastSnippets: testcase for reading a field after checkcast
Bernhard Urban <bernhard.urban@jku.at>
parents:
diff changeset
86 // check shape of graph, with lots of assumptions. will probably fail if graph
3cf7d22b14dd CheckCastSnippets: testcase for reading a field after checkcast
Bernhard Urban <bernhard.urban@jku.at>
parents:
diff changeset
87 // structure changes significantly
3cf7d22b14dd CheckCastSnippets: testcase for reading a field after checkcast
Bernhard Urban <bernhard.urban@jku.at>
parents:
diff changeset
88 public void run() {
3cf7d22b14dd CheckCastSnippets: testcase for reading a field after checkcast
Bernhard Urban <bernhard.urban@jku.at>
parents:
diff changeset
89 StructuredGraph graph = parse(snippet);
9267
950a385e059b Make LoweringPhase reentrant.
Roland Schatz <roland.schatz@oracle.com>
parents: 9266
diff changeset
90 HighTierContext context = new HighTierContext(runtime(), new Assumptions(false), replacements);
950a385e059b Make LoweringPhase reentrant.
Roland Schatz <roland.schatz@oracle.com>
parents: 9266
diff changeset
91 new LoweringPhase(LoweringType.BEFORE_GUARDS).apply(graph, context);
8535
3cf7d22b14dd CheckCastSnippets: testcase for reading a field after checkcast
Bernhard Urban <bernhard.urban@jku.at>
parents:
diff changeset
92 new FloatingReadPhase().apply(graph);
3cf7d22b14dd CheckCastSnippets: testcase for reading a field after checkcast
Bernhard Urban <bernhard.urban@jku.at>
parents:
diff changeset
93 new EliminatePartiallyRedundantGuardsPhase(true, false).apply(graph);
3cf7d22b14dd CheckCastSnippets: testcase for reading a field after checkcast
Bernhard Urban <bernhard.urban@jku.at>
parents:
diff changeset
94 new ReadEliminationPhase().apply(graph);
9267
950a385e059b Make LoweringPhase reentrant.
Roland Schatz <roland.schatz@oracle.com>
parents: 9266
diff changeset
95 new CanonicalizerPhase().apply(graph, context);
8535
3cf7d22b14dd CheckCastSnippets: testcase for reading a field after checkcast
Bernhard Urban <bernhard.urban@jku.at>
parents:
diff changeset
96
3cf7d22b14dd CheckCastSnippets: testcase for reading a field after checkcast
Bernhard Urban <bernhard.urban@jku.at>
parents:
diff changeset
97 Debug.dump(graph, "After lowering");
3cf7d22b14dd CheckCastSnippets: testcase for reading a field after checkcast
Bernhard Urban <bernhard.urban@jku.at>
parents:
diff changeset
98
3cf7d22b14dd CheckCastSnippets: testcase for reading a field after checkcast
Bernhard Urban <bernhard.urban@jku.at>
parents:
diff changeset
99 ArrayList<MergeNode> merges = new ArrayList<>();
3cf7d22b14dd CheckCastSnippets: testcase for reading a field after checkcast
Bernhard Urban <bernhard.urban@jku.at>
parents:
diff changeset
100 ArrayList<FloatingReadNode> reads = new ArrayList<>();
3cf7d22b14dd CheckCastSnippets: testcase for reading a field after checkcast
Bernhard Urban <bernhard.urban@jku.at>
parents:
diff changeset
101 for (Node n : graph.getNodes()) {
3cf7d22b14dd CheckCastSnippets: testcase for reading a field after checkcast
Bernhard Urban <bernhard.urban@jku.at>
parents:
diff changeset
102 if (n instanceof MergeNode) {
3cf7d22b14dd CheckCastSnippets: testcase for reading a field after checkcast
Bernhard Urban <bernhard.urban@jku.at>
parents:
diff changeset
103 // check shape
3cf7d22b14dd CheckCastSnippets: testcase for reading a field after checkcast
Bernhard Urban <bernhard.urban@jku.at>
parents:
diff changeset
104 MergeNode merge = (MergeNode) n;
3cf7d22b14dd CheckCastSnippets: testcase for reading a field after checkcast
Bernhard Urban <bernhard.urban@jku.at>
parents:
diff changeset
105
3cf7d22b14dd CheckCastSnippets: testcase for reading a field after checkcast
Bernhard Urban <bernhard.urban@jku.at>
parents:
diff changeset
106 if (merge.inputs().count() == 2) {
3cf7d22b14dd CheckCastSnippets: testcase for reading a field after checkcast
Bernhard Urban <bernhard.urban@jku.at>
parents:
diff changeset
107 for (EndNode m : merge.forwardEnds()) {
3cf7d22b14dd CheckCastSnippets: testcase for reading a field after checkcast
Bernhard Urban <bernhard.urban@jku.at>
parents:
diff changeset
108 if (m.predecessor() != null && m.predecessor() instanceof BeginNode && m.predecessor().predecessor() instanceof IfNode) {
3cf7d22b14dd CheckCastSnippets: testcase for reading a field after checkcast
Bernhard Urban <bernhard.urban@jku.at>
parents:
diff changeset
109 IfNode o = (IfNode) m.predecessor().predecessor();
3cf7d22b14dd CheckCastSnippets: testcase for reading a field after checkcast
Bernhard Urban <bernhard.urban@jku.at>
parents:
diff changeset
110 if (o.falseSuccessor().next() instanceof DeoptimizeNode) {
3cf7d22b14dd CheckCastSnippets: testcase for reading a field after checkcast
Bernhard Urban <bernhard.urban@jku.at>
parents:
diff changeset
111 merges.add(merge);
3cf7d22b14dd CheckCastSnippets: testcase for reading a field after checkcast
Bernhard Urban <bernhard.urban@jku.at>
parents:
diff changeset
112 }
3cf7d22b14dd CheckCastSnippets: testcase for reading a field after checkcast
Bernhard Urban <bernhard.urban@jku.at>
parents:
diff changeset
113 }
3cf7d22b14dd CheckCastSnippets: testcase for reading a field after checkcast
Bernhard Urban <bernhard.urban@jku.at>
parents:
diff changeset
114 }
3cf7d22b14dd CheckCastSnippets: testcase for reading a field after checkcast
Bernhard Urban <bernhard.urban@jku.at>
parents:
diff changeset
115 }
3cf7d22b14dd CheckCastSnippets: testcase for reading a field after checkcast
Bernhard Urban <bernhard.urban@jku.at>
parents:
diff changeset
116 }
3cf7d22b14dd CheckCastSnippets: testcase for reading a field after checkcast
Bernhard Urban <bernhard.urban@jku.at>
parents:
diff changeset
117 if (n instanceof IntegerAddNode) {
3cf7d22b14dd CheckCastSnippets: testcase for reading a field after checkcast
Bernhard Urban <bernhard.urban@jku.at>
parents:
diff changeset
118 IntegerAddNode ian = (IntegerAddNode) n;
3cf7d22b14dd CheckCastSnippets: testcase for reading a field after checkcast
Bernhard Urban <bernhard.urban@jku.at>
parents:
diff changeset
119
3cf7d22b14dd CheckCastSnippets: testcase for reading a field after checkcast
Bernhard Urban <bernhard.urban@jku.at>
parents:
diff changeset
120 Assert.assertTrue(ian.y() instanceof ConstantNode);
3cf7d22b14dd CheckCastSnippets: testcase for reading a field after checkcast
Bernhard Urban <bernhard.urban@jku.at>
parents:
diff changeset
121 Assert.assertTrue(ian.x() instanceof FloatingReadNode);
3cf7d22b14dd CheckCastSnippets: testcase for reading a field after checkcast
Bernhard Urban <bernhard.urban@jku.at>
parents:
diff changeset
122 reads.add((FloatingReadNode) ian.x());
3cf7d22b14dd CheckCastSnippets: testcase for reading a field after checkcast
Bernhard Urban <bernhard.urban@jku.at>
parents:
diff changeset
123 }
3cf7d22b14dd CheckCastSnippets: testcase for reading a field after checkcast
Bernhard Urban <bernhard.urban@jku.at>
parents:
diff changeset
124 }
3cf7d22b14dd CheckCastSnippets: testcase for reading a field after checkcast
Bernhard Urban <bernhard.urban@jku.at>
parents:
diff changeset
125
3cf7d22b14dd CheckCastSnippets: testcase for reading a field after checkcast
Bernhard Urban <bernhard.urban@jku.at>
parents:
diff changeset
126 Assert.assertTrue(merges.size() >= reads.size());
3cf7d22b14dd CheckCastSnippets: testcase for reading a field after checkcast
Bernhard Urban <bernhard.urban@jku.at>
parents:
diff changeset
127 for (int i = 0; i < reads.size(); i++) {
3cf7d22b14dd CheckCastSnippets: testcase for reading a field after checkcast
Bernhard Urban <bernhard.urban@jku.at>
parents:
diff changeset
128 assertOrderedAfterSchedule(graph, merges.get(i), reads.get(i));
3cf7d22b14dd CheckCastSnippets: testcase for reading a field after checkcast
Bernhard Urban <bernhard.urban@jku.at>
parents:
diff changeset
129 }
3cf7d22b14dd CheckCastSnippets: testcase for reading a field after checkcast
Bernhard Urban <bernhard.urban@jku.at>
parents:
diff changeset
130 }
3cf7d22b14dd CheckCastSnippets: testcase for reading a field after checkcast
Bernhard Urban <bernhard.urban@jku.at>
parents:
diff changeset
131 });
3cf7d22b14dd CheckCastSnippets: testcase for reading a field after checkcast
Bernhard Urban <bernhard.urban@jku.at>
parents:
diff changeset
132 }
3cf7d22b14dd CheckCastSnippets: testcase for reading a field after checkcast
Bernhard Urban <bernhard.urban@jku.at>
parents:
diff changeset
133 }