FloatingReadTest.java revision 13264:48566d838608 
1/*
2 * Copyright (c) 2011, 2015, Oracle and/or its affiliates. All rights reserved.
3 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
4 *
5 * This code is free software; you can redistribute it and/or modify it
6 * under the terms of the GNU General Public License version 2 only, as
7 * published by the Free Software Foundation.
8 *
9 * This code is distributed in the hope that it will be useful, but WITHOUT
10 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
11 * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
12 * version 2 for more details (a copy is included in the LICENSE file that
13 * accompanied this code).
14 *
15 * You should have received a copy of the GNU General Public License version
16 * 2 along with this work; if not, write to the Free Software Foundation,
17 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
18 *
19 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
20 * or visit www.oracle.com if you need additional information or have any
21 * questions.
22 */
23package org.graalvm.compiler.core.test;
24
25import org.graalvm.compiler.debug.DebugContext;
26import org.graalvm.compiler.debug.DebugDumpScope;
27import org.graalvm.compiler.graph.Node;
28import org.graalvm.compiler.nodes.ReturnNode;
29import org.graalvm.compiler.nodes.StructuredGraph;
30import org.graalvm.compiler.nodes.StructuredGraph.AllowAssumptions;
31import org.graalvm.compiler.nodes.extended.MonitorExit;
32import org.graalvm.compiler.nodes.memory.FloatingReadNode;
33import org.graalvm.compiler.nodes.spi.LoweringTool;
34import org.graalvm.compiler.phases.common.CanonicalizerPhase;
35import org.graalvm.compiler.phases.common.FloatingReadPhase;
36import org.graalvm.compiler.phases.common.LoweringPhase;
37import org.graalvm.compiler.phases.tiers.PhaseContext;
38import org.junit.Assert;
39import org.junit.Test;
40
41public class FloatingReadTest extends GraphScheduleTest {
42
43    public static class Container {
44
45        public int a;
46    }
47
48    public static void changeField(Container c) {
49        c.a = 0xcafebabe;
50    }
51
52    public static synchronized int test1Snippet() {
53        Container c = new Container();
54        return c.a;
55    }
56
57    @Test
58    public void test1() {
59        test("test1Snippet");
60    }
61
62    @SuppressWarnings("try")
63    private void test(final String snippet) {
64        DebugContext debug = getDebugContext();
65        try (DebugContext.Scope s = debug.scope("FloatingReadTest", new DebugDumpScope(snippet))) {
66
67            StructuredGraph graph = parseEager(snippet, AllowAssumptions.YES);
68            PhaseContext context = new PhaseContext(getProviders());
69            new LoweringPhase(new CanonicalizerPhase(), LoweringTool.StandardLoweringStage.HIGH_TIER).apply(graph, context);
70            new FloatingReadPhase().apply(graph);
71
72            ReturnNode returnNode = null;
73            MonitorExit monitorexit = null;
74
75            for (Node n : graph.getNodes()) {
76                if (n instanceof ReturnNode) {
77                    assert returnNode == null;
78                    returnNode = (ReturnNode) n;
79                } else if (n instanceof MonitorExit) {
80                    monitorexit = (MonitorExit) n;
81                }
82            }
83
84            debug.dump(DebugContext.BASIC_LEVEL, graph, "After lowering");
85
86            Assert.assertNotNull(returnNode);
87            Assert.assertNotNull(monitorexit);
88            Assert.assertTrue(returnNode.result() instanceof FloatingReadNode);
89
90            FloatingReadNode read = (FloatingReadNode) returnNode.result();
91
92            assertOrderedAfterSchedule(graph, read, (Node) monitorexit);
93        } catch (Throwable e) {
94            throw debug.handle(e);
95        }
96    }
97}
98