Mercurial > hg > truffle

annotate graal/com.oracle.graal.hotspot.test/src/com/oracle/graal/hotspot/test/AheadOfTimeCompilationTest.java @ 9966:4158612eca60

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
GraalOptions: use static import
author Bernhard Urban <bernhard.urban@jku.at>
date Mon, 10 Jun 2013 15:41:23 +0200
parents ab90954e5fec
children 3df534c97af1
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
9910
1dd50a788ab7 unittest: add test for OptCanonicalizeReads
Bernhard Urban <bernhard.urban@jku.at>
parents:
diff changeset
1 /*
1dd50a788ab7 unittest: add test for OptCanonicalizeReads
Bernhard Urban <bernhard.urban@jku.at>
parents:
diff changeset
2 * Copyright (c) 2013, Oracle and/or its affiliates. All rights reserved.
1dd50a788ab7 unittest: add test for OptCanonicalizeReads
Bernhard Urban <bernhard.urban@jku.at>
parents:
diff changeset
3 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
1dd50a788ab7 unittest: add test for OptCanonicalizeReads
Bernhard Urban <bernhard.urban@jku.at>
parents:
diff changeset
4 *
1dd50a788ab7 unittest: add test for OptCanonicalizeReads
Bernhard Urban <bernhard.urban@jku.at>
parents:
diff changeset
5 * This code is free software; you can redistribute it and/or modify it
1dd50a788ab7 unittest: add test for OptCanonicalizeReads
Bernhard Urban <bernhard.urban@jku.at>
parents:
diff changeset
6 * under the terms of the GNU General Public License version 2 only, as
1dd50a788ab7 unittest: add test for OptCanonicalizeReads
Bernhard Urban <bernhard.urban@jku.at>
parents:
diff changeset
7 * published by the Free Software Foundation.
1dd50a788ab7 unittest: add test for OptCanonicalizeReads
Bernhard Urban <bernhard.urban@jku.at>
parents:
diff changeset
8 *
1dd50a788ab7 unittest: add test for OptCanonicalizeReads
Bernhard Urban <bernhard.urban@jku.at>
parents:
diff changeset
9 * This code is distributed in the hope that it will be useful, but WITHOUT
1dd50a788ab7 unittest: add test for OptCanonicalizeReads
Bernhard Urban <bernhard.urban@jku.at>
parents:
diff changeset
10 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
1dd50a788ab7 unittest: add test for OptCanonicalizeReads
Bernhard Urban <bernhard.urban@jku.at>
parents:
diff changeset
11 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
1dd50a788ab7 unittest: add test for OptCanonicalizeReads
Bernhard Urban <bernhard.urban@jku.at>
parents:
diff changeset
12 * version 2 for more details (a copy is included in the LICENSE file that
1dd50a788ab7 unittest: add test for OptCanonicalizeReads
Bernhard Urban <bernhard.urban@jku.at>
parents:
diff changeset
13 * accompanied this code).
1dd50a788ab7 unittest: add test for OptCanonicalizeReads
Bernhard Urban <bernhard.urban@jku.at>
parents:
diff changeset
14 *
1dd50a788ab7 unittest: add test for OptCanonicalizeReads
Bernhard Urban <bernhard.urban@jku.at>
parents:
diff changeset
15 * You should have received a copy of the GNU General Public License version
1dd50a788ab7 unittest: add test for OptCanonicalizeReads
Bernhard Urban <bernhard.urban@jku.at>
parents:
diff changeset
16 * 2 along with this work; if not, write to the Free Software Foundation,
1dd50a788ab7 unittest: add test for OptCanonicalizeReads
Bernhard Urban <bernhard.urban@jku.at>
parents:
diff changeset
17 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
1dd50a788ab7 unittest: add test for OptCanonicalizeReads
Bernhard Urban <bernhard.urban@jku.at>
parents:
diff changeset
18 *
1dd50a788ab7 unittest: add test for OptCanonicalizeReads
Bernhard Urban <bernhard.urban@jku.at>
parents:
diff changeset
19 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
1dd50a788ab7 unittest: add test for OptCanonicalizeReads
Bernhard Urban <bernhard.urban@jku.at>
parents:
diff changeset
20 * or visit www.oracle.com if you need additional information or have any
1dd50a788ab7 unittest: add test for OptCanonicalizeReads
Bernhard Urban <bernhard.urban@jku.at>
parents:
diff changeset
21 * questions.
1dd50a788ab7 unittest: add test for OptCanonicalizeReads
Bernhard Urban <bernhard.urban@jku.at>
parents:
diff changeset
22 */
1dd50a788ab7 unittest: add test for OptCanonicalizeReads
Bernhard Urban <bernhard.urban@jku.at>
parents:
diff changeset
23 package com.oracle.graal.hotspot.test;
1dd50a788ab7 unittest: add test for OptCanonicalizeReads
Bernhard Urban <bernhard.urban@jku.at>
parents:
diff changeset
24
1dd50a788ab7 unittest: add test for OptCanonicalizeReads
Bernhard Urban <bernhard.urban@jku.at>
parents:
diff changeset
25 import static com.oracle.graal.api.code.CodeUtil.*;
9966
4158612eca60 GraalOptions: use static import
Bernhard Urban <bernhard.urban@jku.at>
parents: 9918
diff changeset
26 import static com.oracle.graal.phases.GraalOptions.*;
9910
1dd50a788ab7 unittest: add test for OptCanonicalizeReads
Bernhard Urban <bernhard.urban@jku.at>
parents:
diff changeset
27
1dd50a788ab7 unittest: add test for OptCanonicalizeReads
Bernhard Urban <bernhard.urban@jku.at>
parents:
diff changeset
28 import org.junit.*;
1dd50a788ab7 unittest: add test for OptCanonicalizeReads
Bernhard Urban <bernhard.urban@jku.at>
parents:
diff changeset
29
1dd50a788ab7 unittest: add test for OptCanonicalizeReads
Bernhard Urban <bernhard.urban@jku.at>
parents:
diff changeset
30 import com.oracle.graal.api.code.*;
1dd50a788ab7 unittest: add test for OptCanonicalizeReads
Bernhard Urban <bernhard.urban@jku.at>
parents:
diff changeset
31 import com.oracle.graal.api.code.CallingConvention.Type;
1dd50a788ab7 unittest: add test for OptCanonicalizeReads
Bernhard Urban <bernhard.urban@jku.at>
parents:
diff changeset
32 import com.oracle.graal.api.meta.*;
1dd50a788ab7 unittest: add test for OptCanonicalizeReads
Bernhard Urban <bernhard.urban@jku.at>
parents:
diff changeset
33 import com.oracle.graal.compiler.*;
1dd50a788ab7 unittest: add test for OptCanonicalizeReads
Bernhard Urban <bernhard.urban@jku.at>
parents:
diff changeset
34 import com.oracle.graal.compiler.test.*;
1dd50a788ab7 unittest: add test for OptCanonicalizeReads
Bernhard Urban <bernhard.urban@jku.at>
parents:
diff changeset
35 import com.oracle.graal.hotspot.phases.*;
1dd50a788ab7 unittest: add test for OptCanonicalizeReads
Bernhard Urban <bernhard.urban@jku.at>
parents:
diff changeset
36 import com.oracle.graal.java.*;
1dd50a788ab7 unittest: add test for OptCanonicalizeReads
Bernhard Urban <bernhard.urban@jku.at>
parents:
diff changeset
37 import com.oracle.graal.nodes.*;
1dd50a788ab7 unittest: add test for OptCanonicalizeReads
Bernhard Urban <bernhard.urban@jku.at>
parents:
diff changeset
38 import com.oracle.graal.nodes.extended.*;
1dd50a788ab7 unittest: add test for OptCanonicalizeReads
Bernhard Urban <bernhard.urban@jku.at>
parents:
diff changeset
39 import com.oracle.graal.phases.*;
1dd50a788ab7 unittest: add test for OptCanonicalizeReads
Bernhard Urban <bernhard.urban@jku.at>
parents:
diff changeset
40 import com.oracle.graal.phases.PhasePlan.PhasePosition;
1dd50a788ab7 unittest: add test for OptCanonicalizeReads
Bernhard Urban <bernhard.urban@jku.at>
parents:
diff changeset
41
1dd50a788ab7 unittest: add test for OptCanonicalizeReads
Bernhard Urban <bernhard.urban@jku.at>
parents:
diff changeset
42 /**
1dd50a788ab7 unittest: add test for OptCanonicalizeReads
Bernhard Urban <bernhard.urban@jku.at>
parents:
diff changeset
43 * use
1dd50a788ab7 unittest: add test for OptCanonicalizeReads
Bernhard Urban <bernhard.urban@jku.at>
parents:
diff changeset
44 *
1dd50a788ab7 unittest: add test for OptCanonicalizeReads
Bernhard Urban <bernhard.urban@jku.at>
parents:
diff changeset
45 * <pre>
1dd50a788ab7 unittest: add test for OptCanonicalizeReads
Bernhard Urban <bernhard.urban@jku.at>
parents:
diff changeset
46 * mx unittest AheadOfTimeCompilationTest @-XX:CompileCommand='print,*AheadOfTimeCompilationTest.*'
1dd50a788ab7 unittest: add test for OptCanonicalizeReads
Bernhard Urban <bernhard.urban@jku.at>
parents:
diff changeset
47 * </pre>
1dd50a788ab7 unittest: add test for OptCanonicalizeReads
Bernhard Urban <bernhard.urban@jku.at>
parents:
diff changeset
48 *
1dd50a788ab7 unittest: add test for OptCanonicalizeReads
Bernhard Urban <bernhard.urban@jku.at>
parents:
diff changeset
49 * to print disassembly.
1dd50a788ab7 unittest: add test for OptCanonicalizeReads
Bernhard Urban <bernhard.urban@jku.at>
parents:
diff changeset
50 */
1dd50a788ab7 unittest: add test for OptCanonicalizeReads
Bernhard Urban <bernhard.urban@jku.at>
parents:
diff changeset
51 public class AheadOfTimeCompilationTest extends GraalCompilerTest {
1dd50a788ab7 unittest: add test for OptCanonicalizeReads
Bernhard Urban <bernhard.urban@jku.at>
parents:
diff changeset
52
1dd50a788ab7 unittest: add test for OptCanonicalizeReads
Bernhard Urban <bernhard.urban@jku.at>
parents:
diff changeset
53 public static final Object STATICFINALOBJECT = new Object();
1dd50a788ab7 unittest: add test for OptCanonicalizeReads
Bernhard Urban <bernhard.urban@jku.at>
parents:
diff changeset
54
1dd50a788ab7 unittest: add test for OptCanonicalizeReads
Bernhard Urban <bernhard.urban@jku.at>
parents:
diff changeset
55 public static Object getStaticFinalObject() {
1dd50a788ab7 unittest: add test for OptCanonicalizeReads
Bernhard Urban <bernhard.urban@jku.at>
parents:
diff changeset
56 return AheadOfTimeCompilationTest.STATICFINALOBJECT;
1dd50a788ab7 unittest: add test for OptCanonicalizeReads
Bernhard Urban <bernhard.urban@jku.at>
parents:
diff changeset
57 }
1dd50a788ab7 unittest: add test for OptCanonicalizeReads
Bernhard Urban <bernhard.urban@jku.at>
parents:
diff changeset
58
1dd50a788ab7 unittest: add test for OptCanonicalizeReads
Bernhard Urban <bernhard.urban@jku.at>
parents:
diff changeset
59 @Test
9918
ab90954e5fec unittest/aot: disable one part of the test
Bernhard Urban <bernhard.urban@jku.at>
parents: 9910
diff changeset
60 @Ignore
ab90954e5fec unittest/aot: disable one part of the test
Bernhard Urban <bernhard.urban@jku.at>
parents: 9910
diff changeset
61 public void testStaticFinalObject1() {
ab90954e5fec unittest/aot: disable one part of the test
Bernhard Urban <bernhard.urban@jku.at>
parents: 9910
diff changeset
62 StructuredGraph result2 = compile("getStaticFinalObject", true);
ab90954e5fec unittest/aot: disable one part of the test
Bernhard Urban <bernhard.urban@jku.at>
parents: 9910
diff changeset
63 assert result2.getNodes().filter(ConstantNode.class).count() == 1;
ab90954e5fec unittest/aot: disable one part of the test
Bernhard Urban <bernhard.urban@jku.at>
parents: 9910
diff changeset
64 assert result2.getNodes(FloatingReadNode.class).count() == 1;
ab90954e5fec unittest/aot: disable one part of the test
Bernhard Urban <bernhard.urban@jku.at>
parents: 9910
diff changeset
65 }
ab90954e5fec unittest/aot: disable one part of the test
Bernhard Urban <bernhard.urban@jku.at>
parents: 9910
diff changeset
66
ab90954e5fec unittest/aot: disable one part of the test
Bernhard Urban <bernhard.urban@jku.at>
parents: 9910
diff changeset
67 @Test
ab90954e5fec unittest/aot: disable one part of the test
Bernhard Urban <bernhard.urban@jku.at>
parents: 9910
diff changeset
68 public void testStaticFinalObject2() {
9910
1dd50a788ab7 unittest: add test for OptCanonicalizeReads
Bernhard Urban <bernhard.urban@jku.at>
parents:
diff changeset
69 StructuredGraph result1 = compile("getStaticFinalObject", false);
1dd50a788ab7 unittest: add test for OptCanonicalizeReads
Bernhard Urban <bernhard.urban@jku.at>
parents:
diff changeset
70 assert result1.getNodes().filter(ConstantNode.class).count() == 1;
1dd50a788ab7 unittest: add test for OptCanonicalizeReads
Bernhard Urban <bernhard.urban@jku.at>
parents:
diff changeset
71 assert result1.getNodes(FloatingReadNode.class).count() == 0;
1dd50a788ab7 unittest: add test for OptCanonicalizeReads
Bernhard Urban <bernhard.urban@jku.at>
parents:
diff changeset
72 }
1dd50a788ab7 unittest: add test for OptCanonicalizeReads
Bernhard Urban <bernhard.urban@jku.at>
parents:
diff changeset
73
1dd50a788ab7 unittest: add test for OptCanonicalizeReads
Bernhard Urban <bernhard.urban@jku.at>
parents:
diff changeset
74 private StructuredGraph compile(String test, boolean compileAOT) {
1dd50a788ab7 unittest: add test for OptCanonicalizeReads
Bernhard Urban <bernhard.urban@jku.at>
parents:
diff changeset
75 StructuredGraph graph = parse(test);
1dd50a788ab7 unittest: add test for OptCanonicalizeReads
Bernhard Urban <bernhard.urban@jku.at>
parents:
diff changeset
76 ResolvedJavaMethod method = graph.method();
1dd50a788ab7 unittest: add test for OptCanonicalizeReads
Bernhard Urban <bernhard.urban@jku.at>
parents:
diff changeset
77
9966
4158612eca60 GraalOptions: use static import
Bernhard Urban <bernhard.urban@jku.at>
parents: 9918
diff changeset
78 boolean originalSetting = OptCanonicalizeReads.getValue();
4158612eca60 GraalOptions: use static import
Bernhard Urban <bernhard.urban@jku.at>
parents: 9918
diff changeset
79 OptCanonicalizeReads.setValue(!compileAOT);
9910
1dd50a788ab7 unittest: add test for OptCanonicalizeReads
Bernhard Urban <bernhard.urban@jku.at>
parents:
diff changeset
80 PhasePlan phasePlan = new PhasePlan();
1dd50a788ab7 unittest: add test for OptCanonicalizeReads
Bernhard Urban <bernhard.urban@jku.at>
parents:
diff changeset
81 final StructuredGraph graphCopy = graph.copy();
1dd50a788ab7 unittest: add test for OptCanonicalizeReads
Bernhard Urban <bernhard.urban@jku.at>
parents:
diff changeset
82 GraphBuilderPhase graphBuilderPhase = new GraphBuilderPhase(runtime, GraphBuilderConfiguration.getDefault(), OptimisticOptimizations.ALL);
1dd50a788ab7 unittest: add test for OptCanonicalizeReads
Bernhard Urban <bernhard.urban@jku.at>
parents:
diff changeset
83 phasePlan.addPhase(PhasePosition.AFTER_PARSING, graphBuilderPhase);
1dd50a788ab7 unittest: add test for OptCanonicalizeReads
Bernhard Urban <bernhard.urban@jku.at>
parents:
diff changeset
84 phasePlan.addPhase(PhasePosition.LOW_LEVEL, new WriteBarrierAdditionPhase());
1dd50a788ab7 unittest: add test for OptCanonicalizeReads
Bernhard Urban <bernhard.urban@jku.at>
parents:
diff changeset
85 editPhasePlan(method, graph, phasePlan);
1dd50a788ab7 unittest: add test for OptCanonicalizeReads
Bernhard Urban <bernhard.urban@jku.at>
parents:
diff changeset
86 CallingConvention cc = getCallingConvention(runtime, Type.JavaCallee, graph.method(), false);
1dd50a788ab7 unittest: add test for OptCanonicalizeReads
Bernhard Urban <bernhard.urban@jku.at>
parents:
diff changeset
87 final CompilationResult compResult = GraalCompiler.compileGraph(graph, cc, method, runtime, replacements, backend, runtime().getTarget(), null, phasePlan, OptimisticOptimizations.ALL,
1dd50a788ab7 unittest: add test for OptCanonicalizeReads
Bernhard Urban <bernhard.urban@jku.at>
parents:
diff changeset
88 new SpeculationLog());
1dd50a788ab7 unittest: add test for OptCanonicalizeReads
Bernhard Urban <bernhard.urban@jku.at>
parents:
diff changeset
89 addMethod(method, compResult, graphCopy);
1dd50a788ab7 unittest: add test for OptCanonicalizeReads
Bernhard Urban <bernhard.urban@jku.at>
parents:
diff changeset
90
9966
4158612eca60 GraalOptions: use static import
Bernhard Urban <bernhard.urban@jku.at>
parents: 9918
diff changeset
91 OptCanonicalizeReads.setValue(originalSetting);
9910
1dd50a788ab7 unittest: add test for OptCanonicalizeReads
Bernhard Urban <bernhard.urban@jku.at>
parents:
diff changeset
92
1dd50a788ab7 unittest: add test for OptCanonicalizeReads
Bernhard Urban <bernhard.urban@jku.at>
parents:
diff changeset
93 return graph;
1dd50a788ab7 unittest: add test for OptCanonicalizeReads
Bernhard Urban <bernhard.urban@jku.at>
parents:
diff changeset
94 }
1dd50a788ab7 unittest: add test for OptCanonicalizeReads
Bernhard Urban <bernhard.urban@jku.at>
parents:
diff changeset
95 }