Mercurial > hg > truffle
annotate graal/com.oracle.graal.java/src/com/oracle/graal/java/AbstractFrameStateBuilder.java @ 19502:71a6d0ba3a49
fixed findbugs issue
author | Doug Simon <doug.simon@oracle.com> |
---|---|
date | Thu, 19 Feb 2015 11:41:13 +0100 |
parents | 9525e4d5b385 |
children | 14e703edb2ab |
rev | line source |
---|---|
14854 | 1 /* |
2 * Copyright (c) 2014, 2014, 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 | |
14794
63b0a6af67b7
added abstract base class
Niclas Adlertz <niclas.adlertz@oracle.com>
parents:
diff
changeset
|
24 package com.oracle.graal.java; |
63b0a6af67b7
added abstract base class
Niclas Adlertz <niclas.adlertz@oracle.com>
parents:
diff
changeset
|
25 |
15031
14e542e27076
Lift implementation from HIRFrameStateBuilder up to AbstractFrameStateBuilder if possible.
Josef Eisl <josef.eisl@jku.at>
parents:
14928
diff
changeset
|
26 import com.oracle.graal.api.code.*; |
14794
63b0a6af67b7
added abstract base class
Niclas Adlertz <niclas.adlertz@oracle.com>
parents:
diff
changeset
|
27 import com.oracle.graal.api.meta.*; |
15032
c9bf91560c82
BciBlock: make entryState abstract.
Josef Eisl <josef.eisl@jku.at>
parents:
15031
diff
changeset
|
28 import com.oracle.graal.java.BciBlockMapping.BciBlock; |
14794
63b0a6af67b7
added abstract base class
Niclas Adlertz <niclas.adlertz@oracle.com>
parents:
diff
changeset
|
29 |
15031
14e542e27076
Lift implementation from HIRFrameStateBuilder up to AbstractFrameStateBuilder if possible.
Josef Eisl <josef.eisl@jku.at>
parents:
14928
diff
changeset
|
30 public abstract class AbstractFrameStateBuilder<T extends KindProvider, S extends AbstractFrameStateBuilder<T, S>> { |
14794
63b0a6af67b7
added abstract base class
Niclas Adlertz <niclas.adlertz@oracle.com>
parents:
diff
changeset
|
31 |
63b0a6af67b7
added abstract base class
Niclas Adlertz <niclas.adlertz@oracle.com>
parents:
diff
changeset
|
32 protected final ResolvedJavaMethod method; |
63b0a6af67b7
added abstract base class
Niclas Adlertz <niclas.adlertz@oracle.com>
parents:
diff
changeset
|
33 protected int stackSize; |
15031
14e542e27076
Lift implementation from HIRFrameStateBuilder up to AbstractFrameStateBuilder if possible.
Josef Eisl <josef.eisl@jku.at>
parents:
14928
diff
changeset
|
34 protected final T[] locals; |
14e542e27076
Lift implementation from HIRFrameStateBuilder up to AbstractFrameStateBuilder if possible.
Josef Eisl <josef.eisl@jku.at>
parents:
14928
diff
changeset
|
35 protected final T[] stack; |
14e542e27076
Lift implementation from HIRFrameStateBuilder up to AbstractFrameStateBuilder if possible.
Josef Eisl <josef.eisl@jku.at>
parents:
14928
diff
changeset
|
36 protected T[] lockedObjects; |
14794
63b0a6af67b7
added abstract base class
Niclas Adlertz <niclas.adlertz@oracle.com>
parents:
diff
changeset
|
37 |
15031
14e542e27076
Lift implementation from HIRFrameStateBuilder up to AbstractFrameStateBuilder if possible.
Josef Eisl <josef.eisl@jku.at>
parents:
14928
diff
changeset
|
38 /** |
19496
9525e4d5b385
disable (asserting) type checks in the FrameStateBuilder when parsing a replacement
Doug Simon <doug.simon@oracle.com>
parents:
19479
diff
changeset
|
39 * Specifies if asserting type checks are enabled. |
9525e4d5b385
disable (asserting) type checks in the FrameStateBuilder when parsing a replacement
Doug Simon <doug.simon@oracle.com>
parents:
19479
diff
changeset
|
40 */ |
9525e4d5b385
disable (asserting) type checks in the FrameStateBuilder when parsing a replacement
Doug Simon <doug.simon@oracle.com>
parents:
19479
diff
changeset
|
41 protected final boolean checkTypes; |
9525e4d5b385
disable (asserting) type checks in the FrameStateBuilder when parsing a replacement
Doug Simon <doug.simon@oracle.com>
parents:
19479
diff
changeset
|
42 |
9525e4d5b385
disable (asserting) type checks in the FrameStateBuilder when parsing a replacement
Doug Simon <doug.simon@oracle.com>
parents:
19479
diff
changeset
|
43 /** |
15031
14e542e27076
Lift implementation from HIRFrameStateBuilder up to AbstractFrameStateBuilder if possible.
Josef Eisl <josef.eisl@jku.at>
parents:
14928
diff
changeset
|
44 * @see BytecodeFrame#rethrowException |
14e542e27076
Lift implementation from HIRFrameStateBuilder up to AbstractFrameStateBuilder if possible.
Josef Eisl <josef.eisl@jku.at>
parents:
14928
diff
changeset
|
45 */ |
14e542e27076
Lift implementation from HIRFrameStateBuilder up to AbstractFrameStateBuilder if possible.
Josef Eisl <josef.eisl@jku.at>
parents:
14928
diff
changeset
|
46 protected boolean rethrowException; |
14e542e27076
Lift implementation from HIRFrameStateBuilder up to AbstractFrameStateBuilder if possible.
Josef Eisl <josef.eisl@jku.at>
parents:
14928
diff
changeset
|
47 |
19496
9525e4d5b385
disable (asserting) type checks in the FrameStateBuilder when parsing a replacement
Doug Simon <doug.simon@oracle.com>
parents:
19479
diff
changeset
|
48 public AbstractFrameStateBuilder(ResolvedJavaMethod method, boolean checkTypes) { |
14794
63b0a6af67b7
added abstract base class
Niclas Adlertz <niclas.adlertz@oracle.com>
parents:
diff
changeset
|
49 this.method = method; |
18374
8971259db8ed
Eliminated the need for Signature.getParameterSlots()
Christian Wimmer <christian.wimmer@oracle.com>
parents:
18230
diff
changeset
|
50 this.locals = allocateArray(method.getMaxLocals()); |
8971259db8ed
Eliminated the need for Signature.getParameterSlots()
Christian Wimmer <christian.wimmer@oracle.com>
parents:
18230
diff
changeset
|
51 this.stack = allocateArray(Math.max(1, method.getMaxStackSize())); |
8971259db8ed
Eliminated the need for Signature.getParameterSlots()
Christian Wimmer <christian.wimmer@oracle.com>
parents:
18230
diff
changeset
|
52 this.lockedObjects = allocateArray(0); |
19496
9525e4d5b385
disable (asserting) type checks in the FrameStateBuilder when parsing a replacement
Doug Simon <doug.simon@oracle.com>
parents:
19479
diff
changeset
|
53 this.checkTypes = checkTypes; |
14794
63b0a6af67b7
added abstract base class
Niclas Adlertz <niclas.adlertz@oracle.com>
parents:
diff
changeset
|
54 } |
63b0a6af67b7
added abstract base class
Niclas Adlertz <niclas.adlertz@oracle.com>
parents:
diff
changeset
|
55 |
15031
14e542e27076
Lift implementation from HIRFrameStateBuilder up to AbstractFrameStateBuilder if possible.
Josef Eisl <josef.eisl@jku.at>
parents:
14928
diff
changeset
|
56 protected AbstractFrameStateBuilder(S other) { |
14794
63b0a6af67b7
added abstract base class
Niclas Adlertz <niclas.adlertz@oracle.com>
parents:
diff
changeset
|
57 this.method = other.method; |
15031
14e542e27076
Lift implementation from HIRFrameStateBuilder up to AbstractFrameStateBuilder if possible.
Josef Eisl <josef.eisl@jku.at>
parents:
14928
diff
changeset
|
58 this.stackSize = other.stackSize; |
14e542e27076
Lift implementation from HIRFrameStateBuilder up to AbstractFrameStateBuilder if possible.
Josef Eisl <josef.eisl@jku.at>
parents:
14928
diff
changeset
|
59 this.locals = other.locals.clone(); |
14e542e27076
Lift implementation from HIRFrameStateBuilder up to AbstractFrameStateBuilder if possible.
Josef Eisl <josef.eisl@jku.at>
parents:
14928
diff
changeset
|
60 this.stack = other.stack.clone(); |
18374
8971259db8ed
Eliminated the need for Signature.getParameterSlots()
Christian Wimmer <christian.wimmer@oracle.com>
parents:
18230
diff
changeset
|
61 this.lockedObjects = other.lockedObjects.length == 0 ? other.lockedObjects : other.lockedObjects.clone(); |
15031
14e542e27076
Lift implementation from HIRFrameStateBuilder up to AbstractFrameStateBuilder if possible.
Josef Eisl <josef.eisl@jku.at>
parents:
14928
diff
changeset
|
62 this.rethrowException = other.rethrowException; |
19496
9525e4d5b385
disable (asserting) type checks in the FrameStateBuilder when parsing a replacement
Doug Simon <doug.simon@oracle.com>
parents:
19479
diff
changeset
|
63 this.checkTypes = other.checkTypes; |
15031
14e542e27076
Lift implementation from HIRFrameStateBuilder up to AbstractFrameStateBuilder if possible.
Josef Eisl <josef.eisl@jku.at>
parents:
14928
diff
changeset
|
64 |
14e542e27076
Lift implementation from HIRFrameStateBuilder up to AbstractFrameStateBuilder if possible.
Josef Eisl <josef.eisl@jku.at>
parents:
14928
diff
changeset
|
65 assert locals.length == method.getMaxLocals(); |
14e542e27076
Lift implementation from HIRFrameStateBuilder up to AbstractFrameStateBuilder if possible.
Josef Eisl <josef.eisl@jku.at>
parents:
14928
diff
changeset
|
66 assert stack.length == Math.max(1, method.getMaxStackSize()); |
14e542e27076
Lift implementation from HIRFrameStateBuilder up to AbstractFrameStateBuilder if possible.
Josef Eisl <josef.eisl@jku.at>
parents:
14928
diff
changeset
|
67 } |
14e542e27076
Lift implementation from HIRFrameStateBuilder up to AbstractFrameStateBuilder if possible.
Josef Eisl <josef.eisl@jku.at>
parents:
14928
diff
changeset
|
68 |
14e542e27076
Lift implementation from HIRFrameStateBuilder up to AbstractFrameStateBuilder if possible.
Josef Eisl <josef.eisl@jku.at>
parents:
14928
diff
changeset
|
69 public abstract S copy(); |
14e542e27076
Lift implementation from HIRFrameStateBuilder up to AbstractFrameStateBuilder if possible.
Josef Eisl <josef.eisl@jku.at>
parents:
14928
diff
changeset
|
70 |
18374
8971259db8ed
Eliminated the need for Signature.getParameterSlots()
Christian Wimmer <christian.wimmer@oracle.com>
parents:
18230
diff
changeset
|
71 protected abstract T[] allocateArray(int length); |
15031
14e542e27076
Lift implementation from HIRFrameStateBuilder up to AbstractFrameStateBuilder if possible.
Josef Eisl <josef.eisl@jku.at>
parents:
14928
diff
changeset
|
72 |
14e542e27076
Lift implementation from HIRFrameStateBuilder up to AbstractFrameStateBuilder if possible.
Josef Eisl <josef.eisl@jku.at>
parents:
14928
diff
changeset
|
73 public abstract boolean isCompatibleWith(S other); |
14e542e27076
Lift implementation from HIRFrameStateBuilder up to AbstractFrameStateBuilder if possible.
Josef Eisl <josef.eisl@jku.at>
parents:
14928
diff
changeset
|
74 |
15032
c9bf91560c82
BciBlock: make entryState abstract.
Josef Eisl <josef.eisl@jku.at>
parents:
15031
diff
changeset
|
75 public void clearNonLiveLocals(BciBlock block, LocalLiveness liveness, boolean liveIn) { |
15283
2f1aefd30079
warning in AbstractFrameStateBuilder
Lukas Stadler <lukas.stadler@oracle.com>
parents:
15032
diff
changeset
|
76 /* |
2f1aefd30079
warning in AbstractFrameStateBuilder
Lukas Stadler <lukas.stadler@oracle.com>
parents:
15032
diff
changeset
|
77 * (lstadler) if somebody is tempted to remove/disable this clearing code: it's possible to |
2f1aefd30079
warning in AbstractFrameStateBuilder
Lukas Stadler <lukas.stadler@oracle.com>
parents:
15032
diff
changeset
|
78 * remove it for normal compilations, but not for OSR compilations - otherwise dead object |
2f1aefd30079
warning in AbstractFrameStateBuilder
Lukas Stadler <lukas.stadler@oracle.com>
parents:
15032
diff
changeset
|
79 * slots at the OSR entry aren't cleared. it is also not enough to rely on PiNodes with |
2f1aefd30079
warning in AbstractFrameStateBuilder
Lukas Stadler <lukas.stadler@oracle.com>
parents:
15032
diff
changeset
|
80 * Kind.Illegal, because the conflicting branch might not have been parsed. |
2f1aefd30079
warning in AbstractFrameStateBuilder
Lukas Stadler <lukas.stadler@oracle.com>
parents:
15032
diff
changeset
|
81 */ |
15032
c9bf91560c82
BciBlock: make entryState abstract.
Josef Eisl <josef.eisl@jku.at>
parents:
15031
diff
changeset
|
82 if (liveness == null) { |
c9bf91560c82
BciBlock: make entryState abstract.
Josef Eisl <josef.eisl@jku.at>
parents:
15031
diff
changeset
|
83 return; |
c9bf91560c82
BciBlock: make entryState abstract.
Josef Eisl <josef.eisl@jku.at>
parents:
15031
diff
changeset
|
84 } |
c9bf91560c82
BciBlock: make entryState abstract.
Josef Eisl <josef.eisl@jku.at>
parents:
15031
diff
changeset
|
85 if (liveIn) { |
c9bf91560c82
BciBlock: make entryState abstract.
Josef Eisl <josef.eisl@jku.at>
parents:
15031
diff
changeset
|
86 for (int i = 0; i < locals.length; i++) { |
c9bf91560c82
BciBlock: make entryState abstract.
Josef Eisl <josef.eisl@jku.at>
parents:
15031
diff
changeset
|
87 if (!liveness.localIsLiveIn(block, i)) { |
c9bf91560c82
BciBlock: make entryState abstract.
Josef Eisl <josef.eisl@jku.at>
parents:
15031
diff
changeset
|
88 locals[i] = null; |
c9bf91560c82
BciBlock: make entryState abstract.
Josef Eisl <josef.eisl@jku.at>
parents:
15031
diff
changeset
|
89 } |
c9bf91560c82
BciBlock: make entryState abstract.
Josef Eisl <josef.eisl@jku.at>
parents:
15031
diff
changeset
|
90 } |
c9bf91560c82
BciBlock: make entryState abstract.
Josef Eisl <josef.eisl@jku.at>
parents:
15031
diff
changeset
|
91 } else { |
c9bf91560c82
BciBlock: make entryState abstract.
Josef Eisl <josef.eisl@jku.at>
parents:
15031
diff
changeset
|
92 for (int i = 0; i < locals.length; i++) { |
c9bf91560c82
BciBlock: make entryState abstract.
Josef Eisl <josef.eisl@jku.at>
parents:
15031
diff
changeset
|
93 if (!liveness.localIsLiveOut(block, i)) { |
c9bf91560c82
BciBlock: make entryState abstract.
Josef Eisl <josef.eisl@jku.at>
parents:
15031
diff
changeset
|
94 locals[i] = null; |
c9bf91560c82
BciBlock: make entryState abstract.
Josef Eisl <josef.eisl@jku.at>
parents:
15031
diff
changeset
|
95 } |
c9bf91560c82
BciBlock: make entryState abstract.
Josef Eisl <josef.eisl@jku.at>
parents:
15031
diff
changeset
|
96 } |
c9bf91560c82
BciBlock: make entryState abstract.
Josef Eisl <josef.eisl@jku.at>
parents:
15031
diff
changeset
|
97 } |
c9bf91560c82
BciBlock: make entryState abstract.
Josef Eisl <josef.eisl@jku.at>
parents:
15031
diff
changeset
|
98 } |
c9bf91560c82
BciBlock: make entryState abstract.
Josef Eisl <josef.eisl@jku.at>
parents:
15031
diff
changeset
|
99 |
15031
14e542e27076
Lift implementation from HIRFrameStateBuilder up to AbstractFrameStateBuilder if possible.
Josef Eisl <josef.eisl@jku.at>
parents:
14928
diff
changeset
|
100 /** |
14e542e27076
Lift implementation from HIRFrameStateBuilder up to AbstractFrameStateBuilder if possible.
Josef Eisl <josef.eisl@jku.at>
parents:
14928
diff
changeset
|
101 * @see BytecodeFrame#rethrowException |
14e542e27076
Lift implementation from HIRFrameStateBuilder up to AbstractFrameStateBuilder if possible.
Josef Eisl <josef.eisl@jku.at>
parents:
14928
diff
changeset
|
102 */ |
14e542e27076
Lift implementation from HIRFrameStateBuilder up to AbstractFrameStateBuilder if possible.
Josef Eisl <josef.eisl@jku.at>
parents:
14928
diff
changeset
|
103 public boolean rethrowException() { |
14e542e27076
Lift implementation from HIRFrameStateBuilder up to AbstractFrameStateBuilder if possible.
Josef Eisl <josef.eisl@jku.at>
parents:
14928
diff
changeset
|
104 return rethrowException; |
14e542e27076
Lift implementation from HIRFrameStateBuilder up to AbstractFrameStateBuilder if possible.
Josef Eisl <josef.eisl@jku.at>
parents:
14928
diff
changeset
|
105 } |
14e542e27076
Lift implementation from HIRFrameStateBuilder up to AbstractFrameStateBuilder if possible.
Josef Eisl <josef.eisl@jku.at>
parents:
14928
diff
changeset
|
106 |
14e542e27076
Lift implementation from HIRFrameStateBuilder up to AbstractFrameStateBuilder if possible.
Josef Eisl <josef.eisl@jku.at>
parents:
14928
diff
changeset
|
107 /** |
14e542e27076
Lift implementation from HIRFrameStateBuilder up to AbstractFrameStateBuilder if possible.
Josef Eisl <josef.eisl@jku.at>
parents:
14928
diff
changeset
|
108 * @see BytecodeFrame#rethrowException |
14e542e27076
Lift implementation from HIRFrameStateBuilder up to AbstractFrameStateBuilder if possible.
Josef Eisl <josef.eisl@jku.at>
parents:
14928
diff
changeset
|
109 */ |
14e542e27076
Lift implementation from HIRFrameStateBuilder up to AbstractFrameStateBuilder if possible.
Josef Eisl <josef.eisl@jku.at>
parents:
14928
diff
changeset
|
110 public void setRethrowException(boolean b) { |
14e542e27076
Lift implementation from HIRFrameStateBuilder up to AbstractFrameStateBuilder if possible.
Josef Eisl <josef.eisl@jku.at>
parents:
14928
diff
changeset
|
111 rethrowException = b; |
14794
63b0a6af67b7
added abstract base class
Niclas Adlertz <niclas.adlertz@oracle.com>
parents:
diff
changeset
|
112 } |
63b0a6af67b7
added abstract base class
Niclas Adlertz <niclas.adlertz@oracle.com>
parents:
diff
changeset
|
113 |
63b0a6af67b7
added abstract base class
Niclas Adlertz <niclas.adlertz@oracle.com>
parents:
diff
changeset
|
114 /** |
63b0a6af67b7
added abstract base class
Niclas Adlertz <niclas.adlertz@oracle.com>
parents:
diff
changeset
|
115 * Returns the size of the local variables. |
14854 | 116 * |
14794
63b0a6af67b7
added abstract base class
Niclas Adlertz <niclas.adlertz@oracle.com>
parents:
diff
changeset
|
117 * @return the size of the local variables |
63b0a6af67b7
added abstract base class
Niclas Adlertz <niclas.adlertz@oracle.com>
parents:
diff
changeset
|
118 */ |
15031
14e542e27076
Lift implementation from HIRFrameStateBuilder up to AbstractFrameStateBuilder if possible.
Josef Eisl <josef.eisl@jku.at>
parents:
14928
diff
changeset
|
119 public int localsSize() { |
14e542e27076
Lift implementation from HIRFrameStateBuilder up to AbstractFrameStateBuilder if possible.
Josef Eisl <josef.eisl@jku.at>
parents:
14928
diff
changeset
|
120 return locals.length; |
14e542e27076
Lift implementation from HIRFrameStateBuilder up to AbstractFrameStateBuilder if possible.
Josef Eisl <josef.eisl@jku.at>
parents:
14928
diff
changeset
|
121 } |
14794
63b0a6af67b7
added abstract base class
Niclas Adlertz <niclas.adlertz@oracle.com>
parents:
diff
changeset
|
122 |
63b0a6af67b7
added abstract base class
Niclas Adlertz <niclas.adlertz@oracle.com>
parents:
diff
changeset
|
123 /** |
63b0a6af67b7
added abstract base class
Niclas Adlertz <niclas.adlertz@oracle.com>
parents:
diff
changeset
|
124 * Gets the current size (height) of the stack. |
63b0a6af67b7
added abstract base class
Niclas Adlertz <niclas.adlertz@oracle.com>
parents:
diff
changeset
|
125 */ |
63b0a6af67b7
added abstract base class
Niclas Adlertz <niclas.adlertz@oracle.com>
parents:
diff
changeset
|
126 public int stackSize() { |
63b0a6af67b7
added abstract base class
Niclas Adlertz <niclas.adlertz@oracle.com>
parents:
diff
changeset
|
127 return stackSize; |
63b0a6af67b7
added abstract base class
Niclas Adlertz <niclas.adlertz@oracle.com>
parents:
diff
changeset
|
128 } |
63b0a6af67b7
added abstract base class
Niclas Adlertz <niclas.adlertz@oracle.com>
parents:
diff
changeset
|
129 |
63b0a6af67b7
added abstract base class
Niclas Adlertz <niclas.adlertz@oracle.com>
parents:
diff
changeset
|
130 /** |
15558
b8bb78808495
AbstractFrameStateBuilder enable access to locks.
Josef Eisl <josef.eisl@jku.at>
parents:
15283
diff
changeset
|
131 * @return the current lock depth |
b8bb78808495
AbstractFrameStateBuilder enable access to locks.
Josef Eisl <josef.eisl@jku.at>
parents:
15283
diff
changeset
|
132 */ |
b8bb78808495
AbstractFrameStateBuilder enable access to locks.
Josef Eisl <josef.eisl@jku.at>
parents:
15283
diff
changeset
|
133 public int lockDepth() { |
b8bb78808495
AbstractFrameStateBuilder enable access to locks.
Josef Eisl <josef.eisl@jku.at>
parents:
15283
diff
changeset
|
134 return lockedObjects.length; |
b8bb78808495
AbstractFrameStateBuilder enable access to locks.
Josef Eisl <josef.eisl@jku.at>
parents:
15283
diff
changeset
|
135 } |
b8bb78808495
AbstractFrameStateBuilder enable access to locks.
Josef Eisl <josef.eisl@jku.at>
parents:
15283
diff
changeset
|
136 |
b8bb78808495
AbstractFrameStateBuilder enable access to locks.
Josef Eisl <josef.eisl@jku.at>
parents:
15283
diff
changeset
|
137 /** |
14794
63b0a6af67b7
added abstract base class
Niclas Adlertz <niclas.adlertz@oracle.com>
parents:
diff
changeset
|
138 * Gets the value in the local variables at the specified index, without any sanity checking. |
14854 | 139 * |
14794
63b0a6af67b7
added abstract base class
Niclas Adlertz <niclas.adlertz@oracle.com>
parents:
diff
changeset
|
140 * @param i the index into the locals |
63b0a6af67b7
added abstract base class
Niclas Adlertz <niclas.adlertz@oracle.com>
parents:
diff
changeset
|
141 * @return the instruction that produced the value for the specified local |
63b0a6af67b7
added abstract base class
Niclas Adlertz <niclas.adlertz@oracle.com>
parents:
diff
changeset
|
142 */ |
15031
14e542e27076
Lift implementation from HIRFrameStateBuilder up to AbstractFrameStateBuilder if possible.
Josef Eisl <josef.eisl@jku.at>
parents:
14928
diff
changeset
|
143 public T localAt(int i) { |
14e542e27076
Lift implementation from HIRFrameStateBuilder up to AbstractFrameStateBuilder if possible.
Josef Eisl <josef.eisl@jku.at>
parents:
14928
diff
changeset
|
144 return locals[i]; |
14e542e27076
Lift implementation from HIRFrameStateBuilder up to AbstractFrameStateBuilder if possible.
Josef Eisl <josef.eisl@jku.at>
parents:
14928
diff
changeset
|
145 } |
14794
63b0a6af67b7
added abstract base class
Niclas Adlertz <niclas.adlertz@oracle.com>
parents:
diff
changeset
|
146 |
63b0a6af67b7
added abstract base class
Niclas Adlertz <niclas.adlertz@oracle.com>
parents:
diff
changeset
|
147 /** |
63b0a6af67b7
added abstract base class
Niclas Adlertz <niclas.adlertz@oracle.com>
parents:
diff
changeset
|
148 * Get the value on the stack at the specified stack index. |
14854 | 149 * |
14794
63b0a6af67b7
added abstract base class
Niclas Adlertz <niclas.adlertz@oracle.com>
parents:
diff
changeset
|
150 * @param i the index into the stack, with {@code 0} being the bottom of the stack |
63b0a6af67b7
added abstract base class
Niclas Adlertz <niclas.adlertz@oracle.com>
parents:
diff
changeset
|
151 * @return the instruction at the specified position in the stack |
63b0a6af67b7
added abstract base class
Niclas Adlertz <niclas.adlertz@oracle.com>
parents:
diff
changeset
|
152 */ |
15031
14e542e27076
Lift implementation from HIRFrameStateBuilder up to AbstractFrameStateBuilder if possible.
Josef Eisl <josef.eisl@jku.at>
parents:
14928
diff
changeset
|
153 public T stackAt(int i) { |
14e542e27076
Lift implementation from HIRFrameStateBuilder up to AbstractFrameStateBuilder if possible.
Josef Eisl <josef.eisl@jku.at>
parents:
14928
diff
changeset
|
154 return stack[i]; |
14e542e27076
Lift implementation from HIRFrameStateBuilder up to AbstractFrameStateBuilder if possible.
Josef Eisl <josef.eisl@jku.at>
parents:
14928
diff
changeset
|
155 } |
14794
63b0a6af67b7
added abstract base class
Niclas Adlertz <niclas.adlertz@oracle.com>
parents:
diff
changeset
|
156 |
63b0a6af67b7
added abstract base class
Niclas Adlertz <niclas.adlertz@oracle.com>
parents:
diff
changeset
|
157 /** |
15558
b8bb78808495
AbstractFrameStateBuilder enable access to locks.
Josef Eisl <josef.eisl@jku.at>
parents:
15283
diff
changeset
|
158 * Gets the value in the lock at the specified index, without any sanity checking. |
b8bb78808495
AbstractFrameStateBuilder enable access to locks.
Josef Eisl <josef.eisl@jku.at>
parents:
15283
diff
changeset
|
159 * |
b8bb78808495
AbstractFrameStateBuilder enable access to locks.
Josef Eisl <josef.eisl@jku.at>
parents:
15283
diff
changeset
|
160 * @param i the index into the lock |
b8bb78808495
AbstractFrameStateBuilder enable access to locks.
Josef Eisl <josef.eisl@jku.at>
parents:
15283
diff
changeset
|
161 * @return the instruction that produced the value for the specified lock |
b8bb78808495
AbstractFrameStateBuilder enable access to locks.
Josef Eisl <josef.eisl@jku.at>
parents:
15283
diff
changeset
|
162 */ |
b8bb78808495
AbstractFrameStateBuilder enable access to locks.
Josef Eisl <josef.eisl@jku.at>
parents:
15283
diff
changeset
|
163 public T lockAt(int i) { |
b8bb78808495
AbstractFrameStateBuilder enable access to locks.
Josef Eisl <josef.eisl@jku.at>
parents:
15283
diff
changeset
|
164 return lockedObjects[i]; |
b8bb78808495
AbstractFrameStateBuilder enable access to locks.
Josef Eisl <josef.eisl@jku.at>
parents:
15283
diff
changeset
|
165 } |
b8bb78808495
AbstractFrameStateBuilder enable access to locks.
Josef Eisl <josef.eisl@jku.at>
parents:
15283
diff
changeset
|
166 |
15829
af16872a18f1
Add accessor method
Christian Wimmer <christian.wimmer@oracle.com>
parents:
15558
diff
changeset
|
167 public void storeLock(int i, T lock) { |
af16872a18f1
Add accessor method
Christian Wimmer <christian.wimmer@oracle.com>
parents:
15558
diff
changeset
|
168 lockedObjects[i] = lock; |
af16872a18f1
Add accessor method
Christian Wimmer <christian.wimmer@oracle.com>
parents:
15558
diff
changeset
|
169 } |
af16872a18f1
Add accessor method
Christian Wimmer <christian.wimmer@oracle.com>
parents:
15558
diff
changeset
|
170 |
15558
b8bb78808495
AbstractFrameStateBuilder enable access to locks.
Josef Eisl <josef.eisl@jku.at>
parents:
15283
diff
changeset
|
171 /** |
14794
63b0a6af67b7
added abstract base class
Niclas Adlertz <niclas.adlertz@oracle.com>
parents:
diff
changeset
|
172 * Loads the local variable at the specified index, checking that the returned value is non-null |
63b0a6af67b7
added abstract base class
Niclas Adlertz <niclas.adlertz@oracle.com>
parents:
diff
changeset
|
173 * and that two-stack values are properly handled. |
14854 | 174 * |
14794
63b0a6af67b7
added abstract base class
Niclas Adlertz <niclas.adlertz@oracle.com>
parents:
diff
changeset
|
175 * @param i the index of the local variable to load |
63b0a6af67b7
added abstract base class
Niclas Adlertz <niclas.adlertz@oracle.com>
parents:
diff
changeset
|
176 * @return the instruction that produced the specified local |
63b0a6af67b7
added abstract base class
Niclas Adlertz <niclas.adlertz@oracle.com>
parents:
diff
changeset
|
177 */ |
15031
14e542e27076
Lift implementation from HIRFrameStateBuilder up to AbstractFrameStateBuilder if possible.
Josef Eisl <josef.eisl@jku.at>
parents:
14928
diff
changeset
|
178 public T loadLocal(int i) { |
14e542e27076
Lift implementation from HIRFrameStateBuilder up to AbstractFrameStateBuilder if possible.
Josef Eisl <josef.eisl@jku.at>
parents:
14928
diff
changeset
|
179 T x = locals[i]; |
18922
fede93375dcb
Initial version of inlining during parsing.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
18913
diff
changeset
|
180 assert x != null : i; |
19496
9525e4d5b385
disable (asserting) type checks in the FrameStateBuilder when parsing a replacement
Doug Simon <doug.simon@oracle.com>
parents:
19479
diff
changeset
|
181 assert !checkTypes || (x.getKind().getSlotCount() == 1 || locals[i + 1] == null); |
9525e4d5b385
disable (asserting) type checks in the FrameStateBuilder when parsing a replacement
Doug Simon <doug.simon@oracle.com>
parents:
19479
diff
changeset
|
182 assert !checkTypes || (i == 0 || locals[i - 1] == null || locals[i - 1].getKind().getSlotCount() == 1); |
15031
14e542e27076
Lift implementation from HIRFrameStateBuilder up to AbstractFrameStateBuilder if possible.
Josef Eisl <josef.eisl@jku.at>
parents:
14928
diff
changeset
|
183 return x; |
14e542e27076
Lift implementation from HIRFrameStateBuilder up to AbstractFrameStateBuilder if possible.
Josef Eisl <josef.eisl@jku.at>
parents:
14928
diff
changeset
|
184 } |
14794
63b0a6af67b7
added abstract base class
Niclas Adlertz <niclas.adlertz@oracle.com>
parents:
diff
changeset
|
185 |
63b0a6af67b7
added abstract base class
Niclas Adlertz <niclas.adlertz@oracle.com>
parents:
diff
changeset
|
186 /** |
14817
80147dac0d6e
LIRFrameStateBuilder added
Niclas Adlertz <niclas.adlertz@oracle.com>
parents:
14794
diff
changeset
|
187 * Stores a given local variable at the specified index. If the value occupies two slots, then |
80147dac0d6e
LIRFrameStateBuilder added
Niclas Adlertz <niclas.adlertz@oracle.com>
parents:
14794
diff
changeset
|
188 * the next local variable index is also overwritten. |
14854 | 189 * |
14794
63b0a6af67b7
added abstract base class
Niclas Adlertz <niclas.adlertz@oracle.com>
parents:
diff
changeset
|
190 * @param i the index at which to store |
63b0a6af67b7
added abstract base class
Niclas Adlertz <niclas.adlertz@oracle.com>
parents:
diff
changeset
|
191 * @param x the instruction which produces the value for the local |
63b0a6af67b7
added abstract base class
Niclas Adlertz <niclas.adlertz@oracle.com>
parents:
diff
changeset
|
192 */ |
15031
14e542e27076
Lift implementation from HIRFrameStateBuilder up to AbstractFrameStateBuilder if possible.
Josef Eisl <josef.eisl@jku.at>
parents:
14928
diff
changeset
|
193 public void storeLocal(int i, T x) { |
19496
9525e4d5b385
disable (asserting) type checks in the FrameStateBuilder when parsing a replacement
Doug Simon <doug.simon@oracle.com>
parents:
19479
diff
changeset
|
194 assert x == null || !checkTypes || (x.getKind() != Kind.Void && x.getKind() != Kind.Illegal) : "unexpected value: " + x; |
15031
14e542e27076
Lift implementation from HIRFrameStateBuilder up to AbstractFrameStateBuilder if possible.
Josef Eisl <josef.eisl@jku.at>
parents:
14928
diff
changeset
|
195 locals[i] = x; |
18913
51680f58e681
Clean up in Kind class. Introduce Kind#getSlotCount and Kind#needsTwoSlots methods.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
18374
diff
changeset
|
196 if (x != null && x.getKind().needsTwoSlots()) { |
15031
14e542e27076
Lift implementation from HIRFrameStateBuilder up to AbstractFrameStateBuilder if possible.
Josef Eisl <josef.eisl@jku.at>
parents:
14928
diff
changeset
|
197 // if this is a double word, then kill i+1 |
14e542e27076
Lift implementation from HIRFrameStateBuilder up to AbstractFrameStateBuilder if possible.
Josef Eisl <josef.eisl@jku.at>
parents:
14928
diff
changeset
|
198 locals[i + 1] = null; |
14e542e27076
Lift implementation from HIRFrameStateBuilder up to AbstractFrameStateBuilder if possible.
Josef Eisl <josef.eisl@jku.at>
parents:
14928
diff
changeset
|
199 } |
14e542e27076
Lift implementation from HIRFrameStateBuilder up to AbstractFrameStateBuilder if possible.
Josef Eisl <josef.eisl@jku.at>
parents:
14928
diff
changeset
|
200 if (x != null && i > 0) { |
14e542e27076
Lift implementation from HIRFrameStateBuilder up to AbstractFrameStateBuilder if possible.
Josef Eisl <josef.eisl@jku.at>
parents:
14928
diff
changeset
|
201 T p = locals[i - 1]; |
18913
51680f58e681
Clean up in Kind class. Introduce Kind#getSlotCount and Kind#needsTwoSlots methods.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
18374
diff
changeset
|
202 if (p != null && p.getKind().needsTwoSlots()) { |
15031
14e542e27076
Lift implementation from HIRFrameStateBuilder up to AbstractFrameStateBuilder if possible.
Josef Eisl <josef.eisl@jku.at>
parents:
14928
diff
changeset
|
203 // if there was a double word at i - 1, then kill it |
14e542e27076
Lift implementation from HIRFrameStateBuilder up to AbstractFrameStateBuilder if possible.
Josef Eisl <josef.eisl@jku.at>
parents:
14928
diff
changeset
|
204 locals[i - 1] = null; |
14e542e27076
Lift implementation from HIRFrameStateBuilder up to AbstractFrameStateBuilder if possible.
Josef Eisl <josef.eisl@jku.at>
parents:
14928
diff
changeset
|
205 } |
14e542e27076
Lift implementation from HIRFrameStateBuilder up to AbstractFrameStateBuilder if possible.
Josef Eisl <josef.eisl@jku.at>
parents:
14928
diff
changeset
|
206 } |
14e542e27076
Lift implementation from HIRFrameStateBuilder up to AbstractFrameStateBuilder if possible.
Josef Eisl <josef.eisl@jku.at>
parents:
14928
diff
changeset
|
207 } |
14794
63b0a6af67b7
added abstract base class
Niclas Adlertz <niclas.adlertz@oracle.com>
parents:
diff
changeset
|
208 |
15031
14e542e27076
Lift implementation from HIRFrameStateBuilder up to AbstractFrameStateBuilder if possible.
Josef Eisl <josef.eisl@jku.at>
parents:
14928
diff
changeset
|
209 public void storeStack(int i, T x) { |
14e542e27076
Lift implementation from HIRFrameStateBuilder up to AbstractFrameStateBuilder if possible.
Josef Eisl <josef.eisl@jku.at>
parents:
14928
diff
changeset
|
210 assert x == null || (stack[i] == null || x.getKind() == stack[i].getKind()) : "Method does not handle changes from one-slot to two-slot values or non-alive values"; |
14e542e27076
Lift implementation from HIRFrameStateBuilder up to AbstractFrameStateBuilder if possible.
Josef Eisl <josef.eisl@jku.at>
parents:
14928
diff
changeset
|
211 stack[i] = x; |
14e542e27076
Lift implementation from HIRFrameStateBuilder up to AbstractFrameStateBuilder if possible.
Josef Eisl <josef.eisl@jku.at>
parents:
14928
diff
changeset
|
212 } |
14794
63b0a6af67b7
added abstract base class
Niclas Adlertz <niclas.adlertz@oracle.com>
parents:
diff
changeset
|
213 |
63b0a6af67b7
added abstract base class
Niclas Adlertz <niclas.adlertz@oracle.com>
parents:
diff
changeset
|
214 /** |
63b0a6af67b7
added abstract base class
Niclas Adlertz <niclas.adlertz@oracle.com>
parents:
diff
changeset
|
215 * Pushes an instruction onto the stack with the expected type. |
14854 | 216 * |
14794
63b0a6af67b7
added abstract base class
Niclas Adlertz <niclas.adlertz@oracle.com>
parents:
diff
changeset
|
217 * @param kind the type expected for this instruction |
63b0a6af67b7
added abstract base class
Niclas Adlertz <niclas.adlertz@oracle.com>
parents:
diff
changeset
|
218 * @param x the instruction to push onto the stack |
63b0a6af67b7
added abstract base class
Niclas Adlertz <niclas.adlertz@oracle.com>
parents:
diff
changeset
|
219 */ |
15031
14e542e27076
Lift implementation from HIRFrameStateBuilder up to AbstractFrameStateBuilder if possible.
Josef Eisl <josef.eisl@jku.at>
parents:
14928
diff
changeset
|
220 public void push(Kind kind, T x) { |
19496
9525e4d5b385
disable (asserting) type checks in the FrameStateBuilder when parsing a replacement
Doug Simon <doug.simon@oracle.com>
parents:
19479
diff
changeset
|
221 assert !checkTypes || (x.getKind() != Kind.Void && x.getKind() != Kind.Illegal) : x; |
15031
14e542e27076
Lift implementation from HIRFrameStateBuilder up to AbstractFrameStateBuilder if possible.
Josef Eisl <josef.eisl@jku.at>
parents:
14928
diff
changeset
|
222 xpush(assertKind(kind, x)); |
18913
51680f58e681
Clean up in Kind class. Introduce Kind#getSlotCount and Kind#needsTwoSlots methods.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
18374
diff
changeset
|
223 if (kind.needsTwoSlots()) { |
15031
14e542e27076
Lift implementation from HIRFrameStateBuilder up to AbstractFrameStateBuilder if possible.
Josef Eisl <josef.eisl@jku.at>
parents:
14928
diff
changeset
|
224 xpush(null); |
14e542e27076
Lift implementation from HIRFrameStateBuilder up to AbstractFrameStateBuilder if possible.
Josef Eisl <josef.eisl@jku.at>
parents:
14928
diff
changeset
|
225 } |
14e542e27076
Lift implementation from HIRFrameStateBuilder up to AbstractFrameStateBuilder if possible.
Josef Eisl <josef.eisl@jku.at>
parents:
14928
diff
changeset
|
226 } |
14794
63b0a6af67b7
added abstract base class
Niclas Adlertz <niclas.adlertz@oracle.com>
parents:
diff
changeset
|
227 |
63b0a6af67b7
added abstract base class
Niclas Adlertz <niclas.adlertz@oracle.com>
parents:
diff
changeset
|
228 /** |
63b0a6af67b7
added abstract base class
Niclas Adlertz <niclas.adlertz@oracle.com>
parents:
diff
changeset
|
229 * Pushes a value onto the stack without checking the type. |
14854 | 230 * |
14794
63b0a6af67b7
added abstract base class
Niclas Adlertz <niclas.adlertz@oracle.com>
parents:
diff
changeset
|
231 * @param x the instruction to push onto the stack |
63b0a6af67b7
added abstract base class
Niclas Adlertz <niclas.adlertz@oracle.com>
parents:
diff
changeset
|
232 */ |
15031
14e542e27076
Lift implementation from HIRFrameStateBuilder up to AbstractFrameStateBuilder if possible.
Josef Eisl <josef.eisl@jku.at>
parents:
14928
diff
changeset
|
233 public void xpush(T x) { |
19496
9525e4d5b385
disable (asserting) type checks in the FrameStateBuilder when parsing a replacement
Doug Simon <doug.simon@oracle.com>
parents:
19479
diff
changeset
|
234 assert !checkTypes || (x == null || (x.getKind() != Kind.Void && x.getKind() != Kind.Illegal)); |
15031
14e542e27076
Lift implementation from HIRFrameStateBuilder up to AbstractFrameStateBuilder if possible.
Josef Eisl <josef.eisl@jku.at>
parents:
14928
diff
changeset
|
235 stack[stackSize++] = x; |
14e542e27076
Lift implementation from HIRFrameStateBuilder up to AbstractFrameStateBuilder if possible.
Josef Eisl <josef.eisl@jku.at>
parents:
14928
diff
changeset
|
236 } |
14794
63b0a6af67b7
added abstract base class
Niclas Adlertz <niclas.adlertz@oracle.com>
parents:
diff
changeset
|
237 |
63b0a6af67b7
added abstract base class
Niclas Adlertz <niclas.adlertz@oracle.com>
parents:
diff
changeset
|
238 /** |
63b0a6af67b7
added abstract base class
Niclas Adlertz <niclas.adlertz@oracle.com>
parents:
diff
changeset
|
239 * Pushes a value onto the stack and checks that it is an int. |
14854 | 240 * |
14794
63b0a6af67b7
added abstract base class
Niclas Adlertz <niclas.adlertz@oracle.com>
parents:
diff
changeset
|
241 * @param x the instruction to push onto the stack |
63b0a6af67b7
added abstract base class
Niclas Adlertz <niclas.adlertz@oracle.com>
parents:
diff
changeset
|
242 */ |
15031
14e542e27076
Lift implementation from HIRFrameStateBuilder up to AbstractFrameStateBuilder if possible.
Josef Eisl <josef.eisl@jku.at>
parents:
14928
diff
changeset
|
243 public void ipush(T x) { |
14e542e27076
Lift implementation from HIRFrameStateBuilder up to AbstractFrameStateBuilder if possible.
Josef Eisl <josef.eisl@jku.at>
parents:
14928
diff
changeset
|
244 xpush(assertInt(x)); |
14e542e27076
Lift implementation from HIRFrameStateBuilder up to AbstractFrameStateBuilder if possible.
Josef Eisl <josef.eisl@jku.at>
parents:
14928
diff
changeset
|
245 } |
14794
63b0a6af67b7
added abstract base class
Niclas Adlertz <niclas.adlertz@oracle.com>
parents:
diff
changeset
|
246 |
63b0a6af67b7
added abstract base class
Niclas Adlertz <niclas.adlertz@oracle.com>
parents:
diff
changeset
|
247 /** |
63b0a6af67b7
added abstract base class
Niclas Adlertz <niclas.adlertz@oracle.com>
parents:
diff
changeset
|
248 * Pushes a value onto the stack and checks that it is a float. |
14854 | 249 * |
14794
63b0a6af67b7
added abstract base class
Niclas Adlertz <niclas.adlertz@oracle.com>
parents:
diff
changeset
|
250 * @param x the instruction to push onto the stack |
63b0a6af67b7
added abstract base class
Niclas Adlertz <niclas.adlertz@oracle.com>
parents:
diff
changeset
|
251 */ |
15031
14e542e27076
Lift implementation from HIRFrameStateBuilder up to AbstractFrameStateBuilder if possible.
Josef Eisl <josef.eisl@jku.at>
parents:
14928
diff
changeset
|
252 public void fpush(T x) { |
14e542e27076
Lift implementation from HIRFrameStateBuilder up to AbstractFrameStateBuilder if possible.
Josef Eisl <josef.eisl@jku.at>
parents:
14928
diff
changeset
|
253 xpush(assertFloat(x)); |
14e542e27076
Lift implementation from HIRFrameStateBuilder up to AbstractFrameStateBuilder if possible.
Josef Eisl <josef.eisl@jku.at>
parents:
14928
diff
changeset
|
254 } |
14794
63b0a6af67b7
added abstract base class
Niclas Adlertz <niclas.adlertz@oracle.com>
parents:
diff
changeset
|
255 |
63b0a6af67b7
added abstract base class
Niclas Adlertz <niclas.adlertz@oracle.com>
parents:
diff
changeset
|
256 /** |
63b0a6af67b7
added abstract base class
Niclas Adlertz <niclas.adlertz@oracle.com>
parents:
diff
changeset
|
257 * Pushes a value onto the stack and checks that it is an object. |
14854 | 258 * |
14794
63b0a6af67b7
added abstract base class
Niclas Adlertz <niclas.adlertz@oracle.com>
parents:
diff
changeset
|
259 * @param x the instruction to push onto the stack |
63b0a6af67b7
added abstract base class
Niclas Adlertz <niclas.adlertz@oracle.com>
parents:
diff
changeset
|
260 */ |
15031
14e542e27076
Lift implementation from HIRFrameStateBuilder up to AbstractFrameStateBuilder if possible.
Josef Eisl <josef.eisl@jku.at>
parents:
14928
diff
changeset
|
261 public void apush(T x) { |
14e542e27076
Lift implementation from HIRFrameStateBuilder up to AbstractFrameStateBuilder if possible.
Josef Eisl <josef.eisl@jku.at>
parents:
14928
diff
changeset
|
262 xpush(assertObject(x)); |
14e542e27076
Lift implementation from HIRFrameStateBuilder up to AbstractFrameStateBuilder if possible.
Josef Eisl <josef.eisl@jku.at>
parents:
14928
diff
changeset
|
263 } |
14794
63b0a6af67b7
added abstract base class
Niclas Adlertz <niclas.adlertz@oracle.com>
parents:
diff
changeset
|
264 |
63b0a6af67b7
added abstract base class
Niclas Adlertz <niclas.adlertz@oracle.com>
parents:
diff
changeset
|
265 /** |
63b0a6af67b7
added abstract base class
Niclas Adlertz <niclas.adlertz@oracle.com>
parents:
diff
changeset
|
266 * Pushes a value onto the stack and checks that it is a long. |
14854 | 267 * |
14794
63b0a6af67b7
added abstract base class
Niclas Adlertz <niclas.adlertz@oracle.com>
parents:
diff
changeset
|
268 * @param x the instruction to push onto the stack |
63b0a6af67b7
added abstract base class
Niclas Adlertz <niclas.adlertz@oracle.com>
parents:
diff
changeset
|
269 */ |
15031
14e542e27076
Lift implementation from HIRFrameStateBuilder up to AbstractFrameStateBuilder if possible.
Josef Eisl <josef.eisl@jku.at>
parents:
14928
diff
changeset
|
270 public void lpush(T x) { |
14e542e27076
Lift implementation from HIRFrameStateBuilder up to AbstractFrameStateBuilder if possible.
Josef Eisl <josef.eisl@jku.at>
parents:
14928
diff
changeset
|
271 xpush(assertLong(x)); |
14e542e27076
Lift implementation from HIRFrameStateBuilder up to AbstractFrameStateBuilder if possible.
Josef Eisl <josef.eisl@jku.at>
parents:
14928
diff
changeset
|
272 xpush(null); |
14e542e27076
Lift implementation from HIRFrameStateBuilder up to AbstractFrameStateBuilder if possible.
Josef Eisl <josef.eisl@jku.at>
parents:
14928
diff
changeset
|
273 } |
14794
63b0a6af67b7
added abstract base class
Niclas Adlertz <niclas.adlertz@oracle.com>
parents:
diff
changeset
|
274 |
63b0a6af67b7
added abstract base class
Niclas Adlertz <niclas.adlertz@oracle.com>
parents:
diff
changeset
|
275 /** |
63b0a6af67b7
added abstract base class
Niclas Adlertz <niclas.adlertz@oracle.com>
parents:
diff
changeset
|
276 * Pushes a value onto the stack and checks that it is a double. |
14854 | 277 * |
14794
63b0a6af67b7
added abstract base class
Niclas Adlertz <niclas.adlertz@oracle.com>
parents:
diff
changeset
|
278 * @param x the instruction to push onto the stack |
63b0a6af67b7
added abstract base class
Niclas Adlertz <niclas.adlertz@oracle.com>
parents:
diff
changeset
|
279 */ |
15031
14e542e27076
Lift implementation from HIRFrameStateBuilder up to AbstractFrameStateBuilder if possible.
Josef Eisl <josef.eisl@jku.at>
parents:
14928
diff
changeset
|
280 public void dpush(T x) { |
14e542e27076
Lift implementation from HIRFrameStateBuilder up to AbstractFrameStateBuilder if possible.
Josef Eisl <josef.eisl@jku.at>
parents:
14928
diff
changeset
|
281 xpush(assertDouble(x)); |
14e542e27076
Lift implementation from HIRFrameStateBuilder up to AbstractFrameStateBuilder if possible.
Josef Eisl <josef.eisl@jku.at>
parents:
14928
diff
changeset
|
282 xpush(null); |
14e542e27076
Lift implementation from HIRFrameStateBuilder up to AbstractFrameStateBuilder if possible.
Josef Eisl <josef.eisl@jku.at>
parents:
14928
diff
changeset
|
283 } |
14794
63b0a6af67b7
added abstract base class
Niclas Adlertz <niclas.adlertz@oracle.com>
parents:
diff
changeset
|
284 |
15031
14e542e27076
Lift implementation from HIRFrameStateBuilder up to AbstractFrameStateBuilder if possible.
Josef Eisl <josef.eisl@jku.at>
parents:
14928
diff
changeset
|
285 public void pushReturn(Kind kind, T x) { |
14e542e27076
Lift implementation from HIRFrameStateBuilder up to AbstractFrameStateBuilder if possible.
Josef Eisl <josef.eisl@jku.at>
parents:
14928
diff
changeset
|
286 if (kind != Kind.Void) { |
14e542e27076
Lift implementation from HIRFrameStateBuilder up to AbstractFrameStateBuilder if possible.
Josef Eisl <josef.eisl@jku.at>
parents:
14928
diff
changeset
|
287 push(kind.getStackKind(), x); |
14e542e27076
Lift implementation from HIRFrameStateBuilder up to AbstractFrameStateBuilder if possible.
Josef Eisl <josef.eisl@jku.at>
parents:
14928
diff
changeset
|
288 } |
14e542e27076
Lift implementation from HIRFrameStateBuilder up to AbstractFrameStateBuilder if possible.
Josef Eisl <josef.eisl@jku.at>
parents:
14928
diff
changeset
|
289 } |
14794
63b0a6af67b7
added abstract base class
Niclas Adlertz <niclas.adlertz@oracle.com>
parents:
diff
changeset
|
290 |
63b0a6af67b7
added abstract base class
Niclas Adlertz <niclas.adlertz@oracle.com>
parents:
diff
changeset
|
291 /** |
63b0a6af67b7
added abstract base class
Niclas Adlertz <niclas.adlertz@oracle.com>
parents:
diff
changeset
|
292 * Pops an instruction off the stack with the expected type. |
14854 | 293 * |
14794
63b0a6af67b7
added abstract base class
Niclas Adlertz <niclas.adlertz@oracle.com>
parents:
diff
changeset
|
294 * @param kind the expected type |
63b0a6af67b7
added abstract base class
Niclas Adlertz <niclas.adlertz@oracle.com>
parents:
diff
changeset
|
295 * @return the instruction on the top of the stack |
63b0a6af67b7
added abstract base class
Niclas Adlertz <niclas.adlertz@oracle.com>
parents:
diff
changeset
|
296 */ |
15031
14e542e27076
Lift implementation from HIRFrameStateBuilder up to AbstractFrameStateBuilder if possible.
Josef Eisl <josef.eisl@jku.at>
parents:
14928
diff
changeset
|
297 public T pop(Kind kind) { |
14e542e27076
Lift implementation from HIRFrameStateBuilder up to AbstractFrameStateBuilder if possible.
Josef Eisl <josef.eisl@jku.at>
parents:
14928
diff
changeset
|
298 assert kind != Kind.Void; |
18913
51680f58e681
Clean up in Kind class. Introduce Kind#getSlotCount and Kind#needsTwoSlots methods.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
18374
diff
changeset
|
299 if (kind.needsTwoSlots()) { |
15031
14e542e27076
Lift implementation from HIRFrameStateBuilder up to AbstractFrameStateBuilder if possible.
Josef Eisl <josef.eisl@jku.at>
parents:
14928
diff
changeset
|
300 xpop(); |
14e542e27076
Lift implementation from HIRFrameStateBuilder up to AbstractFrameStateBuilder if possible.
Josef Eisl <josef.eisl@jku.at>
parents:
14928
diff
changeset
|
301 } |
14e542e27076
Lift implementation from HIRFrameStateBuilder up to AbstractFrameStateBuilder if possible.
Josef Eisl <josef.eisl@jku.at>
parents:
14928
diff
changeset
|
302 return assertKind(kind, xpop()); |
14e542e27076
Lift implementation from HIRFrameStateBuilder up to AbstractFrameStateBuilder if possible.
Josef Eisl <josef.eisl@jku.at>
parents:
14928
diff
changeset
|
303 } |
14794
63b0a6af67b7
added abstract base class
Niclas Adlertz <niclas.adlertz@oracle.com>
parents:
diff
changeset
|
304 |
63b0a6af67b7
added abstract base class
Niclas Adlertz <niclas.adlertz@oracle.com>
parents:
diff
changeset
|
305 /** |
63b0a6af67b7
added abstract base class
Niclas Adlertz <niclas.adlertz@oracle.com>
parents:
diff
changeset
|
306 * Pops a value off of the stack without checking the type. |
14854 | 307 * |
14794
63b0a6af67b7
added abstract base class
Niclas Adlertz <niclas.adlertz@oracle.com>
parents:
diff
changeset
|
308 * @return x the instruction popped off the stack |
63b0a6af67b7
added abstract base class
Niclas Adlertz <niclas.adlertz@oracle.com>
parents:
diff
changeset
|
309 */ |
15031
14e542e27076
Lift implementation from HIRFrameStateBuilder up to AbstractFrameStateBuilder if possible.
Josef Eisl <josef.eisl@jku.at>
parents:
14928
diff
changeset
|
310 public T xpop() { |
14e542e27076
Lift implementation from HIRFrameStateBuilder up to AbstractFrameStateBuilder if possible.
Josef Eisl <josef.eisl@jku.at>
parents:
14928
diff
changeset
|
311 T result = stack[--stackSize]; |
14e542e27076
Lift implementation from HIRFrameStateBuilder up to AbstractFrameStateBuilder if possible.
Josef Eisl <josef.eisl@jku.at>
parents:
14928
diff
changeset
|
312 return result; |
14e542e27076
Lift implementation from HIRFrameStateBuilder up to AbstractFrameStateBuilder if possible.
Josef Eisl <josef.eisl@jku.at>
parents:
14928
diff
changeset
|
313 } |
14794
63b0a6af67b7
added abstract base class
Niclas Adlertz <niclas.adlertz@oracle.com>
parents:
diff
changeset
|
314 |
63b0a6af67b7
added abstract base class
Niclas Adlertz <niclas.adlertz@oracle.com>
parents:
diff
changeset
|
315 /** |
63b0a6af67b7
added abstract base class
Niclas Adlertz <niclas.adlertz@oracle.com>
parents:
diff
changeset
|
316 * Pops a value off of the stack and checks that it is an int. |
14854 | 317 * |
14794
63b0a6af67b7
added abstract base class
Niclas Adlertz <niclas.adlertz@oracle.com>
parents:
diff
changeset
|
318 * @return x the instruction popped off the stack |
63b0a6af67b7
added abstract base class
Niclas Adlertz <niclas.adlertz@oracle.com>
parents:
diff
changeset
|
319 */ |
15031
14e542e27076
Lift implementation from HIRFrameStateBuilder up to AbstractFrameStateBuilder if possible.
Josef Eisl <josef.eisl@jku.at>
parents:
14928
diff
changeset
|
320 public T ipop() { |
14e542e27076
Lift implementation from HIRFrameStateBuilder up to AbstractFrameStateBuilder if possible.
Josef Eisl <josef.eisl@jku.at>
parents:
14928
diff
changeset
|
321 return assertInt(xpop()); |
14e542e27076
Lift implementation from HIRFrameStateBuilder up to AbstractFrameStateBuilder if possible.
Josef Eisl <josef.eisl@jku.at>
parents:
14928
diff
changeset
|
322 } |
14794
63b0a6af67b7
added abstract base class
Niclas Adlertz <niclas.adlertz@oracle.com>
parents:
diff
changeset
|
323 |
63b0a6af67b7
added abstract base class
Niclas Adlertz <niclas.adlertz@oracle.com>
parents:
diff
changeset
|
324 /** |
63b0a6af67b7
added abstract base class
Niclas Adlertz <niclas.adlertz@oracle.com>
parents:
diff
changeset
|
325 * Pops a value off of the stack and checks that it is a float. |
14854 | 326 * |
14794
63b0a6af67b7
added abstract base class
Niclas Adlertz <niclas.adlertz@oracle.com>
parents:
diff
changeset
|
327 * @return x the instruction popped off the stack |
63b0a6af67b7
added abstract base class
Niclas Adlertz <niclas.adlertz@oracle.com>
parents:
diff
changeset
|
328 */ |
15031
14e542e27076
Lift implementation from HIRFrameStateBuilder up to AbstractFrameStateBuilder if possible.
Josef Eisl <josef.eisl@jku.at>
parents:
14928
diff
changeset
|
329 public T fpop() { |
14e542e27076
Lift implementation from HIRFrameStateBuilder up to AbstractFrameStateBuilder if possible.
Josef Eisl <josef.eisl@jku.at>
parents:
14928
diff
changeset
|
330 return assertFloat(xpop()); |
14e542e27076
Lift implementation from HIRFrameStateBuilder up to AbstractFrameStateBuilder if possible.
Josef Eisl <josef.eisl@jku.at>
parents:
14928
diff
changeset
|
331 } |
14794
63b0a6af67b7
added abstract base class
Niclas Adlertz <niclas.adlertz@oracle.com>
parents:
diff
changeset
|
332 |
63b0a6af67b7
added abstract base class
Niclas Adlertz <niclas.adlertz@oracle.com>
parents:
diff
changeset
|
333 /** |
63b0a6af67b7
added abstract base class
Niclas Adlertz <niclas.adlertz@oracle.com>
parents:
diff
changeset
|
334 * Pops a value off of the stack and checks that it is an object. |
14854 | 335 * |
14794
63b0a6af67b7
added abstract base class
Niclas Adlertz <niclas.adlertz@oracle.com>
parents:
diff
changeset
|
336 * @return x the instruction popped off the stack |
63b0a6af67b7
added abstract base class
Niclas Adlertz <niclas.adlertz@oracle.com>
parents:
diff
changeset
|
337 */ |
15031
14e542e27076
Lift implementation from HIRFrameStateBuilder up to AbstractFrameStateBuilder if possible.
Josef Eisl <josef.eisl@jku.at>
parents:
14928
diff
changeset
|
338 public T apop() { |
14e542e27076
Lift implementation from HIRFrameStateBuilder up to AbstractFrameStateBuilder if possible.
Josef Eisl <josef.eisl@jku.at>
parents:
14928
diff
changeset
|
339 return assertObject(xpop()); |
14e542e27076
Lift implementation from HIRFrameStateBuilder up to AbstractFrameStateBuilder if possible.
Josef Eisl <josef.eisl@jku.at>
parents:
14928
diff
changeset
|
340 } |
14794
63b0a6af67b7
added abstract base class
Niclas Adlertz <niclas.adlertz@oracle.com>
parents:
diff
changeset
|
341 |
63b0a6af67b7
added abstract base class
Niclas Adlertz <niclas.adlertz@oracle.com>
parents:
diff
changeset
|
342 /** |
63b0a6af67b7
added abstract base class
Niclas Adlertz <niclas.adlertz@oracle.com>
parents:
diff
changeset
|
343 * Pops a value off of the stack and checks that it is a long. |
14854 | 344 * |
14794
63b0a6af67b7
added abstract base class
Niclas Adlertz <niclas.adlertz@oracle.com>
parents:
diff
changeset
|
345 * @return x the instruction popped off the stack |
63b0a6af67b7
added abstract base class
Niclas Adlertz <niclas.adlertz@oracle.com>
parents:
diff
changeset
|
346 */ |
15031
14e542e27076
Lift implementation from HIRFrameStateBuilder up to AbstractFrameStateBuilder if possible.
Josef Eisl <josef.eisl@jku.at>
parents:
14928
diff
changeset
|
347 public T lpop() { |
14e542e27076
Lift implementation from HIRFrameStateBuilder up to AbstractFrameStateBuilder if possible.
Josef Eisl <josef.eisl@jku.at>
parents:
14928
diff
changeset
|
348 assertHigh(xpop()); |
14e542e27076
Lift implementation from HIRFrameStateBuilder up to AbstractFrameStateBuilder if possible.
Josef Eisl <josef.eisl@jku.at>
parents:
14928
diff
changeset
|
349 return assertLong(xpop()); |
14e542e27076
Lift implementation from HIRFrameStateBuilder up to AbstractFrameStateBuilder if possible.
Josef Eisl <josef.eisl@jku.at>
parents:
14928
diff
changeset
|
350 } |
14794
63b0a6af67b7
added abstract base class
Niclas Adlertz <niclas.adlertz@oracle.com>
parents:
diff
changeset
|
351 |
63b0a6af67b7
added abstract base class
Niclas Adlertz <niclas.adlertz@oracle.com>
parents:
diff
changeset
|
352 /** |
63b0a6af67b7
added abstract base class
Niclas Adlertz <niclas.adlertz@oracle.com>
parents:
diff
changeset
|
353 * Pops a value off of the stack and checks that it is a double. |
14854 | 354 * |
14794
63b0a6af67b7
added abstract base class
Niclas Adlertz <niclas.adlertz@oracle.com>
parents:
diff
changeset
|
355 * @return x the instruction popped off the stack |
63b0a6af67b7
added abstract base class
Niclas Adlertz <niclas.adlertz@oracle.com>
parents:
diff
changeset
|
356 */ |
15031
14e542e27076
Lift implementation from HIRFrameStateBuilder up to AbstractFrameStateBuilder if possible.
Josef Eisl <josef.eisl@jku.at>
parents:
14928
diff
changeset
|
357 public T dpop() { |
14e542e27076
Lift implementation from HIRFrameStateBuilder up to AbstractFrameStateBuilder if possible.
Josef Eisl <josef.eisl@jku.at>
parents:
14928
diff
changeset
|
358 assertHigh(xpop()); |
14e542e27076
Lift implementation from HIRFrameStateBuilder up to AbstractFrameStateBuilder if possible.
Josef Eisl <josef.eisl@jku.at>
parents:
14928
diff
changeset
|
359 return assertDouble(xpop()); |
14e542e27076
Lift implementation from HIRFrameStateBuilder up to AbstractFrameStateBuilder if possible.
Josef Eisl <josef.eisl@jku.at>
parents:
14928
diff
changeset
|
360 } |
14794
63b0a6af67b7
added abstract base class
Niclas Adlertz <niclas.adlertz@oracle.com>
parents:
diff
changeset
|
361 |
63b0a6af67b7
added abstract base class
Niclas Adlertz <niclas.adlertz@oracle.com>
parents:
diff
changeset
|
362 /** |
63b0a6af67b7
added abstract base class
Niclas Adlertz <niclas.adlertz@oracle.com>
parents:
diff
changeset
|
363 * Pop the specified number of slots off of this stack and return them as an array of |
63b0a6af67b7
added abstract base class
Niclas Adlertz <niclas.adlertz@oracle.com>
parents:
diff
changeset
|
364 * instructions. |
14854 | 365 * |
14794
63b0a6af67b7
added abstract base class
Niclas Adlertz <niclas.adlertz@oracle.com>
parents:
diff
changeset
|
366 * @return an array containing the arguments off of the stack |
63b0a6af67b7
added abstract base class
Niclas Adlertz <niclas.adlertz@oracle.com>
parents:
diff
changeset
|
367 */ |
18374
8971259db8ed
Eliminated the need for Signature.getParameterSlots()
Christian Wimmer <christian.wimmer@oracle.com>
parents:
18230
diff
changeset
|
368 public T[] popArguments(int argSize) { |
8971259db8ed
Eliminated the need for Signature.getParameterSlots()
Christian Wimmer <christian.wimmer@oracle.com>
parents:
18230
diff
changeset
|
369 T[] result = allocateArray(argSize); |
8971259db8ed
Eliminated the need for Signature.getParameterSlots()
Christian Wimmer <christian.wimmer@oracle.com>
parents:
18230
diff
changeset
|
370 int newStackSize = stackSize; |
8971259db8ed
Eliminated the need for Signature.getParameterSlots()
Christian Wimmer <christian.wimmer@oracle.com>
parents:
18230
diff
changeset
|
371 for (int i = argSize - 1; i >= 0; i--) { |
8971259db8ed
Eliminated the need for Signature.getParameterSlots()
Christian Wimmer <christian.wimmer@oracle.com>
parents:
18230
diff
changeset
|
372 newStackSize--; |
8971259db8ed
Eliminated the need for Signature.getParameterSlots()
Christian Wimmer <christian.wimmer@oracle.com>
parents:
18230
diff
changeset
|
373 if (stack[newStackSize] == null) { |
8971259db8ed
Eliminated the need for Signature.getParameterSlots()
Christian Wimmer <christian.wimmer@oracle.com>
parents:
18230
diff
changeset
|
374 /* Two-slot value. */ |
8971259db8ed
Eliminated the need for Signature.getParameterSlots()
Christian Wimmer <christian.wimmer@oracle.com>
parents:
18230
diff
changeset
|
375 newStackSize--; |
18913
51680f58e681
Clean up in Kind class. Introduce Kind#getSlotCount and Kind#needsTwoSlots methods.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
18374
diff
changeset
|
376 assert stack[newStackSize].getKind().needsTwoSlots(); |
18374
8971259db8ed
Eliminated the need for Signature.getParameterSlots()
Christian Wimmer <christian.wimmer@oracle.com>
parents:
18230
diff
changeset
|
377 } else { |
19496
9525e4d5b385
disable (asserting) type checks in the FrameStateBuilder when parsing a replacement
Doug Simon <doug.simon@oracle.com>
parents:
19479
diff
changeset
|
378 assert !checkTypes || (stack[newStackSize].getKind().getSlotCount() == 1); |
18374
8971259db8ed
Eliminated the need for Signature.getParameterSlots()
Christian Wimmer <christian.wimmer@oracle.com>
parents:
18230
diff
changeset
|
379 } |
8971259db8ed
Eliminated the need for Signature.getParameterSlots()
Christian Wimmer <christian.wimmer@oracle.com>
parents:
18230
diff
changeset
|
380 result[i] = stack[newStackSize]; |
15031
14e542e27076
Lift implementation from HIRFrameStateBuilder up to AbstractFrameStateBuilder if possible.
Josef Eisl <josef.eisl@jku.at>
parents:
14928
diff
changeset
|
381 } |
18374
8971259db8ed
Eliminated the need for Signature.getParameterSlots()
Christian Wimmer <christian.wimmer@oracle.com>
parents:
18230
diff
changeset
|
382 stackSize = newStackSize; |
8971259db8ed
Eliminated the need for Signature.getParameterSlots()
Christian Wimmer <christian.wimmer@oracle.com>
parents:
18230
diff
changeset
|
383 return result; |
15031
14e542e27076
Lift implementation from HIRFrameStateBuilder up to AbstractFrameStateBuilder if possible.
Josef Eisl <josef.eisl@jku.at>
parents:
14928
diff
changeset
|
384 } |
14794
63b0a6af67b7
added abstract base class
Niclas Adlertz <niclas.adlertz@oracle.com>
parents:
diff
changeset
|
385 |
63b0a6af67b7
added abstract base class
Niclas Adlertz <niclas.adlertz@oracle.com>
parents:
diff
changeset
|
386 /** |
63b0a6af67b7
added abstract base class
Niclas Adlertz <niclas.adlertz@oracle.com>
parents:
diff
changeset
|
387 * Peeks an element from the operand stack. |
14854 | 388 * |
14794
63b0a6af67b7
added abstract base class
Niclas Adlertz <niclas.adlertz@oracle.com>
parents:
diff
changeset
|
389 * @param argumentNumber The number of the argument, relative from the top of the stack (0 = |
63b0a6af67b7
added abstract base class
Niclas Adlertz <niclas.adlertz@oracle.com>
parents:
diff
changeset
|
390 * top). Long and double arguments only count as one argument, i.e., null-slots are |
63b0a6af67b7
added abstract base class
Niclas Adlertz <niclas.adlertz@oracle.com>
parents:
diff
changeset
|
391 * ignored. |
63b0a6af67b7
added abstract base class
Niclas Adlertz <niclas.adlertz@oracle.com>
parents:
diff
changeset
|
392 * @return The peeked argument. |
63b0a6af67b7
added abstract base class
Niclas Adlertz <niclas.adlertz@oracle.com>
parents:
diff
changeset
|
393 */ |
15031
14e542e27076
Lift implementation from HIRFrameStateBuilder up to AbstractFrameStateBuilder if possible.
Josef Eisl <josef.eisl@jku.at>
parents:
14928
diff
changeset
|
394 public T peek(int argumentNumber) { |
14e542e27076
Lift implementation from HIRFrameStateBuilder up to AbstractFrameStateBuilder if possible.
Josef Eisl <josef.eisl@jku.at>
parents:
14928
diff
changeset
|
395 int idx = stackSize() - 1; |
14e542e27076
Lift implementation from HIRFrameStateBuilder up to AbstractFrameStateBuilder if possible.
Josef Eisl <josef.eisl@jku.at>
parents:
14928
diff
changeset
|
396 for (int i = 0; i < argumentNumber; i++) { |
14e542e27076
Lift implementation from HIRFrameStateBuilder up to AbstractFrameStateBuilder if possible.
Josef Eisl <josef.eisl@jku.at>
parents:
14928
diff
changeset
|
397 if (stackAt(idx) == null) { |
14e542e27076
Lift implementation from HIRFrameStateBuilder up to AbstractFrameStateBuilder if possible.
Josef Eisl <josef.eisl@jku.at>
parents:
14928
diff
changeset
|
398 idx--; |
18913
51680f58e681
Clean up in Kind class. Introduce Kind#getSlotCount and Kind#needsTwoSlots methods.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
18374
diff
changeset
|
399 assert stackAt(idx).getKind().needsTwoSlots(); |
15031
14e542e27076
Lift implementation from HIRFrameStateBuilder up to AbstractFrameStateBuilder if possible.
Josef Eisl <josef.eisl@jku.at>
parents:
14928
diff
changeset
|
400 } |
14e542e27076
Lift implementation from HIRFrameStateBuilder up to AbstractFrameStateBuilder if possible.
Josef Eisl <josef.eisl@jku.at>
parents:
14928
diff
changeset
|
401 idx--; |
14e542e27076
Lift implementation from HIRFrameStateBuilder up to AbstractFrameStateBuilder if possible.
Josef Eisl <josef.eisl@jku.at>
parents:
14928
diff
changeset
|
402 } |
14e542e27076
Lift implementation from HIRFrameStateBuilder up to AbstractFrameStateBuilder if possible.
Josef Eisl <josef.eisl@jku.at>
parents:
14928
diff
changeset
|
403 return stackAt(idx); |
14e542e27076
Lift implementation from HIRFrameStateBuilder up to AbstractFrameStateBuilder if possible.
Josef Eisl <josef.eisl@jku.at>
parents:
14928
diff
changeset
|
404 } |
14794
63b0a6af67b7
added abstract base class
Niclas Adlertz <niclas.adlertz@oracle.com>
parents:
diff
changeset
|
405 |
63b0a6af67b7
added abstract base class
Niclas Adlertz <niclas.adlertz@oracle.com>
parents:
diff
changeset
|
406 /** |
63b0a6af67b7
added abstract base class
Niclas Adlertz <niclas.adlertz@oracle.com>
parents:
diff
changeset
|
407 * Clears all values on this stack. |
63b0a6af67b7
added abstract base class
Niclas Adlertz <niclas.adlertz@oracle.com>
parents:
diff
changeset
|
408 */ |
63b0a6af67b7
added abstract base class
Niclas Adlertz <niclas.adlertz@oracle.com>
parents:
diff
changeset
|
409 public void clearStack() { |
63b0a6af67b7
added abstract base class
Niclas Adlertz <niclas.adlertz@oracle.com>
parents:
diff
changeset
|
410 stackSize = 0; |
63b0a6af67b7
added abstract base class
Niclas Adlertz <niclas.adlertz@oracle.com>
parents:
diff
changeset
|
411 } |
63b0a6af67b7
added abstract base class
Niclas Adlertz <niclas.adlertz@oracle.com>
parents:
diff
changeset
|
412 |
15031
14e542e27076
Lift implementation from HIRFrameStateBuilder up to AbstractFrameStateBuilder if possible.
Josef Eisl <josef.eisl@jku.at>
parents:
14928
diff
changeset
|
413 private T assertKind(Kind kind, T x) { |
19496
9525e4d5b385
disable (asserting) type checks in the FrameStateBuilder when parsing a replacement
Doug Simon <doug.simon@oracle.com>
parents:
19479
diff
changeset
|
414 assert x != null && (!checkTypes || x.getKind() == kind) : "kind=" + kind + ", value=" + x + ((x == null) ? "" : ", value.kind=" + x.getKind()); |
15031
14e542e27076
Lift implementation from HIRFrameStateBuilder up to AbstractFrameStateBuilder if possible.
Josef Eisl <josef.eisl@jku.at>
parents:
14928
diff
changeset
|
415 return x; |
14e542e27076
Lift implementation from HIRFrameStateBuilder up to AbstractFrameStateBuilder if possible.
Josef Eisl <josef.eisl@jku.at>
parents:
14928
diff
changeset
|
416 } |
14e542e27076
Lift implementation from HIRFrameStateBuilder up to AbstractFrameStateBuilder if possible.
Josef Eisl <josef.eisl@jku.at>
parents:
14928
diff
changeset
|
417 |
14e542e27076
Lift implementation from HIRFrameStateBuilder up to AbstractFrameStateBuilder if possible.
Josef Eisl <josef.eisl@jku.at>
parents:
14928
diff
changeset
|
418 private T assertLong(T x) { |
14e542e27076
Lift implementation from HIRFrameStateBuilder up to AbstractFrameStateBuilder if possible.
Josef Eisl <josef.eisl@jku.at>
parents:
14928
diff
changeset
|
419 assert x != null && (x.getKind() == Kind.Long); |
14e542e27076
Lift implementation from HIRFrameStateBuilder up to AbstractFrameStateBuilder if possible.
Josef Eisl <josef.eisl@jku.at>
parents:
14928
diff
changeset
|
420 return x; |
14e542e27076
Lift implementation from HIRFrameStateBuilder up to AbstractFrameStateBuilder if possible.
Josef Eisl <josef.eisl@jku.at>
parents:
14928
diff
changeset
|
421 } |
14e542e27076
Lift implementation from HIRFrameStateBuilder up to AbstractFrameStateBuilder if possible.
Josef Eisl <josef.eisl@jku.at>
parents:
14928
diff
changeset
|
422 |
14e542e27076
Lift implementation from HIRFrameStateBuilder up to AbstractFrameStateBuilder if possible.
Josef Eisl <josef.eisl@jku.at>
parents:
14928
diff
changeset
|
423 private T assertInt(T x) { |
14e542e27076
Lift implementation from HIRFrameStateBuilder up to AbstractFrameStateBuilder if possible.
Josef Eisl <josef.eisl@jku.at>
parents:
14928
diff
changeset
|
424 assert x != null && (x.getKind() == Kind.Int); |
14e542e27076
Lift implementation from HIRFrameStateBuilder up to AbstractFrameStateBuilder if possible.
Josef Eisl <josef.eisl@jku.at>
parents:
14928
diff
changeset
|
425 return x; |
14e542e27076
Lift implementation from HIRFrameStateBuilder up to AbstractFrameStateBuilder if possible.
Josef Eisl <josef.eisl@jku.at>
parents:
14928
diff
changeset
|
426 } |
14e542e27076
Lift implementation from HIRFrameStateBuilder up to AbstractFrameStateBuilder if possible.
Josef Eisl <josef.eisl@jku.at>
parents:
14928
diff
changeset
|
427 |
14e542e27076
Lift implementation from HIRFrameStateBuilder up to AbstractFrameStateBuilder if possible.
Josef Eisl <josef.eisl@jku.at>
parents:
14928
diff
changeset
|
428 private T assertFloat(T x) { |
14e542e27076
Lift implementation from HIRFrameStateBuilder up to AbstractFrameStateBuilder if possible.
Josef Eisl <josef.eisl@jku.at>
parents:
14928
diff
changeset
|
429 assert x != null && (x.getKind() == Kind.Float); |
14e542e27076
Lift implementation from HIRFrameStateBuilder up to AbstractFrameStateBuilder if possible.
Josef Eisl <josef.eisl@jku.at>
parents:
14928
diff
changeset
|
430 return x; |
14e542e27076
Lift implementation from HIRFrameStateBuilder up to AbstractFrameStateBuilder if possible.
Josef Eisl <josef.eisl@jku.at>
parents:
14928
diff
changeset
|
431 } |
14e542e27076
Lift implementation from HIRFrameStateBuilder up to AbstractFrameStateBuilder if possible.
Josef Eisl <josef.eisl@jku.at>
parents:
14928
diff
changeset
|
432 |
14e542e27076
Lift implementation from HIRFrameStateBuilder up to AbstractFrameStateBuilder if possible.
Josef Eisl <josef.eisl@jku.at>
parents:
14928
diff
changeset
|
433 private T assertObject(T x) { |
19502 | 434 assert x != null && (!checkTypes || (x.getKind() == Kind.Object)); |
15031
14e542e27076
Lift implementation from HIRFrameStateBuilder up to AbstractFrameStateBuilder if possible.
Josef Eisl <josef.eisl@jku.at>
parents:
14928
diff
changeset
|
435 return x; |
14e542e27076
Lift implementation from HIRFrameStateBuilder up to AbstractFrameStateBuilder if possible.
Josef Eisl <josef.eisl@jku.at>
parents:
14928
diff
changeset
|
436 } |
14e542e27076
Lift implementation from HIRFrameStateBuilder up to AbstractFrameStateBuilder if possible.
Josef Eisl <josef.eisl@jku.at>
parents:
14928
diff
changeset
|
437 |
14e542e27076
Lift implementation from HIRFrameStateBuilder up to AbstractFrameStateBuilder if possible.
Josef Eisl <josef.eisl@jku.at>
parents:
14928
diff
changeset
|
438 private T assertDouble(T x) { |
14e542e27076
Lift implementation from HIRFrameStateBuilder up to AbstractFrameStateBuilder if possible.
Josef Eisl <josef.eisl@jku.at>
parents:
14928
diff
changeset
|
439 assert x != null && (x.getKind() == Kind.Double); |
14e542e27076
Lift implementation from HIRFrameStateBuilder up to AbstractFrameStateBuilder if possible.
Josef Eisl <josef.eisl@jku.at>
parents:
14928
diff
changeset
|
440 return x; |
14e542e27076
Lift implementation from HIRFrameStateBuilder up to AbstractFrameStateBuilder if possible.
Josef Eisl <josef.eisl@jku.at>
parents:
14928
diff
changeset
|
441 } |
14e542e27076
Lift implementation from HIRFrameStateBuilder up to AbstractFrameStateBuilder if possible.
Josef Eisl <josef.eisl@jku.at>
parents:
14928
diff
changeset
|
442 |
14e542e27076
Lift implementation from HIRFrameStateBuilder up to AbstractFrameStateBuilder if possible.
Josef Eisl <josef.eisl@jku.at>
parents:
14928
diff
changeset
|
443 private void assertHigh(T x) { |
14e542e27076
Lift implementation from HIRFrameStateBuilder up to AbstractFrameStateBuilder if possible.
Josef Eisl <josef.eisl@jku.at>
parents:
14928
diff
changeset
|
444 assert x == null; |
14e542e27076
Lift implementation from HIRFrameStateBuilder up to AbstractFrameStateBuilder if possible.
Josef Eisl <josef.eisl@jku.at>
parents:
14928
diff
changeset
|
445 } |
14e542e27076
Lift implementation from HIRFrameStateBuilder up to AbstractFrameStateBuilder if possible.
Josef Eisl <josef.eisl@jku.at>
parents:
14928
diff
changeset
|
446 |
14794
63b0a6af67b7
added abstract base class
Niclas Adlertz <niclas.adlertz@oracle.com>
parents:
diff
changeset
|
447 } |