Mercurial > hg > graal-compiler

annotate graal/com.oracle.graal.nodes/src/com/oracle/graal/nodes/java/MonitorExitNode.java @ 18998:ec0733b5a90a

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Allow final modifier on node subclasses and start adding the modifier to leaf classes.
author Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
date Wed, 28 Jan 2015 02:34:14 +0100
parents f57d86eb036f
children 7e2c87dae93e
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
3733
e233f5660da4 Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
1 /*
4233
fa53d5e4aa35 Remove lock information from frame states, and compute it instead when LIR is generated.
Christian Wimmer <Christian.Wimmer@Oracle.com>
parents: 3733
diff changeset
2 * Copyright (c) 2009, 2012, Oracle and/or its affiliates. All rights reserved.
3733
e233f5660da4 Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
3 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
e233f5660da4 Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
4 *
e233f5660da4 Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
5 * This code is free software; you can redistribute it and/or modify it
e233f5660da4 Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
6 * under the terms of the GNU General Public License version 2 only, as
e233f5660da4 Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
7 * published by the Free Software Foundation.
e233f5660da4 Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
8 *
e233f5660da4 Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
9 * This code is distributed in the hope that it will be useful, but WITHOUT
e233f5660da4 Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
10 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
e233f5660da4 Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
11 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
e233f5660da4 Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
12 * version 2 for more details (a copy is included in the LICENSE file that
e233f5660da4 Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
13 * accompanied this code).
e233f5660da4 Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
14 *
e233f5660da4 Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
15 * You should have received a copy of the GNU General Public License version
e233f5660da4 Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
16 * 2 along with this work; if not, write to the Free Software Foundation,
e233f5660da4 Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
17 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
e233f5660da4 Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
18 *
e233f5660da4 Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
19 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
e233f5660da4 Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
20 * or visit www.oracle.com if you need additional information or have any
e233f5660da4 Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
21 * questions.
e233f5660da4 Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
22 */
5060
4ed4295ce15f Update import statements.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents: 5059
diff changeset
23 package com.oracle.graal.nodes.java;
3733
e233f5660da4 Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
24
15263
0b25b81414c9 Move various bci constants from FrameState (gral.nodes) to BytecodeFrame (graal.api.code)
Gilles Duboscq <duboscq@ssw.jku.at>
parents: 13802
diff changeset
25 import com.oracle.graal.api.code.*;
9792
06dc2d2324d6 pulled LocationIdentity into a top level class and moved it to the api.meta project
Doug Simon <doug.simon@oracle.com>
parents: 9526
diff changeset
26 import com.oracle.graal.api.meta.*;
9504
106f0a0acafa refactored monitor handling in EA: MonitorEnter/Exit is removed, not eliminated
Lukas Stadler <lukas.stadler@jku.at>
parents: 9251
diff changeset
27 import com.oracle.graal.graph.*;
12623
0d6ad1cd4191 documentation and simplification in MonitorExitNode
Lukas Stadler <lukas.stadler@jku.at>
parents: 12417
diff changeset
28 import com.oracle.graal.graph.spi.*;
16841
cbd42807a31f moved NodeInfo and friends into separate com.oracle.graal.nodeinfo project so that annotation processor can be applied to the base Node class
Doug Simon <doug.simon@oracle.com>
parents: 16811
diff changeset
29 import com.oracle.graal.nodeinfo.*;
5060
4ed4295ce15f Update import statements.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents: 5059
diff changeset
30 import com.oracle.graal.nodes.*;
6386
abeeb57b655d added MonitorSnippets which passes MonitorTest but is not yet enabled for general lowering
Doug Simon <doug.simon@oracle.com>
parents: 5061
diff changeset
31 import com.oracle.graal.nodes.extended.*;
5060
4ed4295ce15f Update import statements.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents: 5059
diff changeset
32 import com.oracle.graal.nodes.spi.*;
3733
e233f5660da4 Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
33
e233f5660da4 Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
34 /**
12623
0d6ad1cd4191 documentation and simplification in MonitorExitNode
Lukas Stadler <lukas.stadler@jku.at>
parents: 12417
diff changeset
35 * The {@code MonitorExitNode} represents a monitor release. If it is the release of the monitor of
0d6ad1cd4191 documentation and simplification in MonitorExitNode
Lukas Stadler <lukas.stadler@jku.at>
parents: 12417
diff changeset
36 * a synchronized method, then the return value of the method will be referenced, so that it will be
0d6ad1cd4191 documentation and simplification in MonitorExitNode
Lukas Stadler <lukas.stadler@jku.at>
parents: 12417
diff changeset
37 * materialized before releasing the monitor.
3733
e233f5660da4 Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
38 */
16811
5d468add216f added @NodeInfo annotations to all Node classes
Doug Simon <doug.simon@oracle.com>
parents: 16451
diff changeset
39 @NodeInfo
18998
ec0733b5a90a Allow final modifier on node subclasses and start adding the modifier to leaf classes.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents: 18845
diff changeset
40 public final class MonitorExitNode extends AccessMonitorNode implements Virtualizable, Simplifiable, Lowerable, IterableNodeType, MonitorExit, MemoryCheckpoint.Single {
12623
0d6ad1cd4191 documentation and simplification in MonitorExitNode
Lukas Stadler <lukas.stadler@jku.at>
parents: 12417
diff changeset
41
16897
f90dcdbbb75e switched to using new NodeFieldIterator and NodeFieldIterable for traversing Node inputs and successors
Doug Simon <doug.simon@oracle.com>
parents: 16895
diff changeset
42 @OptionalInput ValueNode escapedReturnValue;
8586
82f6a25321b8 modeling of lock state removed from LIR and runtime specific debug info for locks moved into runtime specific classes
Doug Simon <doug.simon@oracle.com>
parents: 8394
diff changeset
43
18845
f57d86eb036f removed Node factory methods
Doug Simon <doug.simon@oracle.com>
parents: 17450
diff changeset
44 public MonitorExitNode(ValueNode object, MonitorIdNode monitorId, ValueNode escapedReturnValue) {
13554
83fd2094ff66 rework of monitorenter/exit (use MonitorIdNode)
Lukas Stadler <lukas.stadler@jku.at>
parents: 12623
diff changeset
45 super(object, monitorId);
12417
0b71e8b6418c preliminary fix for MonitorExitNodes with AFTER_BCI
Lukas Stadler <lukas.stadler@jku.at>
parents: 12045
diff changeset
46 this.escapedReturnValue = escapedReturnValue;
3733
e233f5660da4 Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
47 }
e233f5660da4 Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
48
16451
394b949fec5a setter for MonitorExitNode.escapedReturnValue
Lukas Stadler <lukas.stadler@oracle.com>
parents: 16332
diff changeset
49 public ValueNode getEscapedReturnValue() {
394b949fec5a setter for MonitorExitNode.escapedReturnValue
Lukas Stadler <lukas.stadler@oracle.com>
parents: 16332
diff changeset
50 return escapedReturnValue;
394b949fec5a setter for MonitorExitNode.escapedReturnValue
Lukas Stadler <lukas.stadler@oracle.com>
parents: 16332
diff changeset
51 }
394b949fec5a setter for MonitorExitNode.escapedReturnValue
Lukas Stadler <lukas.stadler@oracle.com>
parents: 16332
diff changeset
52
12417
0b71e8b6418c preliminary fix for MonitorExitNodes with AFTER_BCI
Lukas Stadler <lukas.stadler@jku.at>
parents: 12045
diff changeset
53 public void setEscapedReturnValue(ValueNode x) {
0b71e8b6418c preliminary fix for MonitorExitNodes with AFTER_BCI
Lukas Stadler <lukas.stadler@jku.at>
parents: 12045
diff changeset
54 updateUsages(escapedReturnValue, x);
0b71e8b6418c preliminary fix for MonitorExitNodes with AFTER_BCI
Lukas Stadler <lukas.stadler@jku.at>
parents: 12045
diff changeset
55 this.escapedReturnValue = x;
0b71e8b6418c preliminary fix for MonitorExitNodes with AFTER_BCI
Lukas Stadler <lukas.stadler@jku.at>
parents: 12045
diff changeset
56 }
0b71e8b6418c preliminary fix for MonitorExitNodes with AFTER_BCI
Lukas Stadler <lukas.stadler@jku.at>
parents: 12045
diff changeset
57
7864
b66a826acf4b add location identity to MemoryCheckpoint and let WriteNode implement MemoryCheckpoint
Lukas Stadler <lukas.stadler@jku.at>
parents: 7530
diff changeset
58 @Override
10090
ae6f0c381087 split MemoryCheckpoint interface into Single and Multi
Lukas Stadler <lukas.stadler@jku.at>
parents: 9793
diff changeset
59 public LocationIdentity getLocationIdentity() {
ae6f0c381087 split MemoryCheckpoint interface into Single and Multi
Lukas Stadler <lukas.stadler@jku.at>
parents: 9793
diff changeset
60 return LocationIdentity.ANY_LOCATION;
7864
b66a826acf4b add location identity to MemoryCheckpoint and let WriteNode implement MemoryCheckpoint
Lukas Stadler <lukas.stadler@jku.at>
parents: 7530
diff changeset
61 }
b66a826acf4b add location identity to MemoryCheckpoint and let WriteNode implement MemoryCheckpoint
Lukas Stadler <lukas.stadler@jku.at>
parents: 7530
diff changeset
62
9504
106f0a0acafa refactored monitor handling in EA: MonitorEnter/Exit is removed, not eliminated
Lukas Stadler <lukas.stadler@jku.at>
parents: 9251
diff changeset
63 @Override
12623
0d6ad1cd4191 documentation and simplification in MonitorExitNode
Lukas Stadler <lukas.stadler@jku.at>
parents: 12417
diff changeset
64 public void simplify(SimplifierTool tool) {
17328
c9bb0da795d4 Backed out of changeset 17322:655f3e6b467b
Doug Simon <doug.simon@oracle.com>
parents: 17327
diff changeset
65 if (escapedReturnValue != null && stateAfter() != null && stateAfter().bci != BytecodeFrame.AFTER_BCI) {
12623
0d6ad1cd4191 documentation and simplification in MonitorExitNode
Lukas Stadler <lukas.stadler@jku.at>
parents: 12417
diff changeset
66 ValueNode returnValue = escapedReturnValue;
0d6ad1cd4191 documentation and simplification in MonitorExitNode
Lukas Stadler <lukas.stadler@jku.at>
parents: 12417
diff changeset
67 setEscapedReturnValue(null);
0d6ad1cd4191 documentation and simplification in MonitorExitNode
Lukas Stadler <lukas.stadler@jku.at>
parents: 12417
diff changeset
68 tool.removeIfUnused(returnValue);
0d6ad1cd4191 documentation and simplification in MonitorExitNode
Lukas Stadler <lukas.stadler@jku.at>
parents: 12417
diff changeset
69 }
0d6ad1cd4191 documentation and simplification in MonitorExitNode
Lukas Stadler <lukas.stadler@jku.at>
parents: 12417
diff changeset
70 }
0d6ad1cd4191 documentation and simplification in MonitorExitNode
Lukas Stadler <lukas.stadler@jku.at>
parents: 12417
diff changeset
71
0d6ad1cd4191 documentation and simplification in MonitorExitNode
Lukas Stadler <lukas.stadler@jku.at>
parents: 12417
diff changeset
72 @Override
11579
ae619d70bf4b Rename LoweringType to GuardsPhase and make it an attribute of StructuredGraphs
Gilles Duboscq <duboscq@ssw.jku.at>
parents: 10090
diff changeset
73 public void lower(LoweringTool tool) {
12045
0fc653a9e019 made GraalCodeCacheProvider independent of CodeCacheProvider and renamed the former to LoweringProvider (GRAAL-511)
Doug Simon <doug.simon@oracle.com>
parents: 11959
diff changeset
74 tool.getLowerer().lower(this, tool);
6386
abeeb57b655d added MonitorSnippets which passes MonitorTest but is not yet enabled for general lowering
Doug Simon <doug.simon@oracle.com>
parents: 5061
diff changeset
75 }
8586
82f6a25321b8 modeling of lock state removed from LIR and runtime specific debug info for locks moved into runtime specific classes
Doug Simon <doug.simon@oracle.com>
parents: 8394
diff changeset
76
9504
106f0a0acafa refactored monitor handling in EA: MonitorEnter/Exit is removed, not eliminated
Lukas Stadler <lukas.stadler@jku.at>
parents: 9251
diff changeset
77 @Override
106f0a0acafa refactored monitor handling in EA: MonitorEnter/Exit is removed, not eliminated
Lukas Stadler <lukas.stadler@jku.at>
parents: 9251
diff changeset
78 public void virtualize(VirtualizerTool tool) {
12623
0d6ad1cd4191 documentation and simplification in MonitorExitNode
Lukas Stadler <lukas.stadler@jku.at>
parents: 12417
diff changeset
79 State state = tool.getObjectState(object());
0d6ad1cd4191 documentation and simplification in MonitorExitNode
Lukas Stadler <lukas.stadler@jku.at>
parents: 12417
diff changeset
80 // the monitor exit for a synchronized method should never be virtualized
17328
c9bb0da795d4 Backed out of changeset 17322:655f3e6b467b
Doug Simon <doug.simon@oracle.com>
parents: 17327
diff changeset
81 assert stateAfter().bci != BytecodeFrame.AFTER_BCI || state == null;
12623
0d6ad1cd4191 documentation and simplification in MonitorExitNode
Lukas Stadler <lukas.stadler@jku.at>
parents: 12417
diff changeset
82 if (state != null && state.getState() == EscapeState.Virtual && state.getVirtualObject().hasIdentity()) {
13554
83fd2094ff66 rework of monitorenter/exit (use MonitorIdNode)
Lukas Stadler <lukas.stadler@jku.at>
parents: 12623
diff changeset
83 MonitorIdNode removedLock = state.removeLock();
83fd2094ff66 rework of monitorenter/exit (use MonitorIdNode)
Lukas Stadler <lukas.stadler@jku.at>
parents: 12623
diff changeset
84 assert removedLock == getMonitorId() : "mismatch at " + this + ": " + removedLock + " vs. " + getMonitorId();
12623
0d6ad1cd4191 documentation and simplification in MonitorExitNode
Lukas Stadler <lukas.stadler@jku.at>
parents: 12417
diff changeset
85 tool.delete();
9504
106f0a0acafa refactored monitor handling in EA: MonitorEnter/Exit is removed, not eliminated
Lukas Stadler <lukas.stadler@jku.at>
parents: 9251
diff changeset
86 }
106f0a0acafa refactored monitor handling in EA: MonitorEnter/Exit is removed, not eliminated
Lukas Stadler <lukas.stadler@jku.at>
parents: 9251
diff changeset
87 }
3733
e233f5660da4 Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
88 }