comparison graal/Compiler/src/com/sun/c1x/ir/MonitorExit.java @ 2507:9ec15d6914ca

Pull over of compiler from maxine repository.
author Thomas Wuerthinger <thomas@wuerthinger.net>
date Wed, 27 Apr 2011 11:43:22 +0200
parents
children
comparison
equal deleted inserted replaced
2506:4a3bf8a5bf41 2507:9ec15d6914ca
1 /*
2 * Copyright (c) 2009, 2011, 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 */
23 package com.sun.c1x.ir;
24
25 import com.sun.c1x.debug.*;
26 import com.sun.c1x.value.*;
27
28 /**
29 * The {@code MonitorExit} instruction represents a monitor release.
30 *
31 * @author Ben L. Titzer
32 */
33 public final class MonitorExit extends AccessMonitor {
34
35 /**
36 * Creates a new MonitorExit instruction.
37 *
38 * @param object the instruction produces the object value
39 * @param lockAddress the address of the on-stack lock object or {@code null} if the runtime does not place locks on the stack
40 * @param lockNumber the number of the lock
41 * @param stateBefore the state before executing this instruction
42 */
43 public MonitorExit(Value object, Value lockAddress, int lockNumber, FrameState stateBefore) {
44 super(object, lockAddress, stateBefore, lockNumber);
45 if (object.isNonNull()) {
46 eliminateNullCheck();
47 }
48 }
49
50 @Override
51 public boolean canTrap() {
52 // C1X assumes that locks are well balanced and so there no need to handle
53 // IllegalMonitorStateExceptions thrown by monitorexit instructions.
54 return needsNullCheck();
55 }
56
57 @Override
58 public void accept(ValueVisitor v) {
59 v.visitMonitorExit(this);
60 }
61
62 @Override
63 public void print(LogStream out) {
64 out.print("exit monitor[").print(lockNumber).print("](").print(object()).print(')');
65 }
66 }