1/*
2 * Copyright (c) 2009, 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.nodes.java;
24
25import org.graalvm.compiler.core.common.type.StampFactory;
26import org.graalvm.compiler.graph.NodeClass;
27import org.graalvm.compiler.nodeinfo.InputType;
28import org.graalvm.compiler.nodeinfo.NodeInfo;
29import org.graalvm.compiler.nodes.DeoptimizingNode;
30import org.graalvm.compiler.nodes.FrameState;
31import org.graalvm.compiler.nodes.ValueNode;
32import org.graalvm.compiler.nodes.memory.AbstractMemoryCheckpoint;
33import org.graalvm.compiler.nodes.memory.MemoryCheckpoint;
34
35import jdk.vm.ci.code.BailoutException;
36
37/**
38 * The {@code AccessMonitorNode} is the base class of both monitor acquisition and release.
39 * <p>
40 * The Java bytecode specification allows non-balanced locking. Graal does not handle such cases and
41 * throws a {@link BailoutException} instead during graph building.
42 */
43@NodeInfo(allowedUsageTypes = {InputType.Memory})
44public abstract class AccessMonitorNode extends AbstractMemoryCheckpoint implements MemoryCheckpoint, DeoptimizingNode.DeoptBefore, DeoptimizingNode.DeoptAfter {
45
46    public static final NodeClass<AccessMonitorNode> TYPE = NodeClass.create(AccessMonitorNode.class);
47    @OptionalInput(InputType.State) FrameState stateBefore;
48    @Input ValueNode object;
49    @Input(InputType.Association) MonitorIdNode monitorId;
50
51    @Override
52    public boolean canDeoptimize() {
53        return true;
54    }
55
56    @Override
57    public FrameState stateBefore() {
58        return stateBefore;
59    }
60
61    @Override
62    public void setStateBefore(FrameState f) {
63        updateUsages(stateBefore, f);
64        stateBefore = f;
65    }
66
67    public ValueNode object() {
68        return object;
69    }
70
71    public MonitorIdNode getMonitorId() {
72        return monitorId;
73    }
74
75    /**
76     * Creates a new AccessMonitor instruction.
77     *
78     * @param object the instruction producing the object
79     */
80    protected AccessMonitorNode(NodeClass<? extends AccessMonitorNode> c, ValueNode object, MonitorIdNode monitorId) {
81        super(c, StampFactory.forVoid());
82        this.object = object;
83        this.monitorId = monitorId;
84    }
85}
86