Mercurial > hg > truffle
annotate src/share/vm/code/codeBlob.hpp @ 3500:6111c168756f
IdealGraphPrinter can now output bytecodes, enabled by default (GraalOptions.PrintIdealGraphBytecodes)
author | Lukas Stadler <lukas.stadler@jku.at> |
---|---|
date | Mon, 08 Aug 2011 15:19:09 +0200 |
parents | be4ca325525a |
children | 2f2c6347fce4 |
rev | line source |
---|---|
0 | 1 /* |
1552
c18cbe5936b8
6941466: Oracle rebranding changes for Hotspot repositories
trims
parents:
1299
diff
changeset
|
2 * Copyright (c) 1998, 2010, Oracle and/or its affiliates. All rights reserved. |
0 | 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 * | |
1552
c18cbe5936b8
6941466: Oracle rebranding changes for Hotspot repositories
trims
parents:
1299
diff
changeset
|
19 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA |
c18cbe5936b8
6941466: Oracle rebranding changes for Hotspot repositories
trims
parents:
1299
diff
changeset
|
20 * or visit www.oracle.com if you need additional information or have any |
c18cbe5936b8
6941466: Oracle rebranding changes for Hotspot repositories
trims
parents:
1299
diff
changeset
|
21 * questions. |
0 | 22 * |
23 */ | |
24 | |
1972 | 25 #ifndef SHARE_VM_CODE_CODEBLOB_HPP |
26 #define SHARE_VM_CODE_CODEBLOB_HPP | |
27 | |
28 #include "asm/codeBuffer.hpp" | |
29 #include "compiler/oopMap.hpp" | |
30 #include "runtime/frame.hpp" | |
31 #include "runtime/handles.hpp" | |
32 | |
0 | 33 // CodeBlob - superclass for all entries in the CodeCache. |
34 // | |
35 // Suptypes are: | |
36 // nmethod : Compiled Java methods (include method that calls to native code) | |
37 // RuntimeStub : Call to VM runtime methods | |
3363
167b70ff3abc
6939861: JVM should handle more conversion operations
never
parents:
1972
diff
changeset
|
38 // RicochetBlob : Used for blocking MethodHandle adapters |
0 | 39 // DeoptimizationBlob : Used for deoptimizatation |
40 // ExceptionBlob : Used for stack unrolling | |
41 // SafepointBlob : Used to handle illegal instruction exceptions | |
42 // | |
43 // | |
44 // Layout: | |
45 // - header | |
46 // - relocation | |
1748 | 47 // - content space |
48 // - instruction space | |
0 | 49 // - data space |
50 class DeoptimizationBlob; | |
51 | |
52 class CodeBlob VALUE_OBJ_CLASS_SPEC { | |
53 | |
54 friend class VMStructs; | |
55 | |
56 private: | |
57 const char* _name; | |
58 int _size; // total size of CodeBlob in bytes | |
59 int _header_size; // size of header (depends on subclass) | |
60 int _relocation_size; // size of relocation | |
1748 | 61 int _content_offset; // offset to where content region begins (this includes consts, insts, stubs) |
62 int _code_offset; // offset to where instructions region begins (this includes insts, stubs) | |
0 | 63 int _frame_complete_offset; // instruction offsets in [0.._frame_complete_offset) have |
64 // not finished setting up their frame. Beware of pc's in | |
65 // that range. There is a similar range(s) on returns | |
66 // which we don't detect. | |
67 int _data_offset; // offset to where data region begins | |
68 int _frame_size; // size of stack frame | |
69 OopMapSet* _oop_maps; // OopMap for this CodeBlob | |
70 CodeComments _comments; | |
71 | |
72 friend class OopRecorder; | |
73 | |
74 public: | |
75 // Returns the space needed for CodeBlob | |
76 static unsigned int allocation_size(CodeBuffer* cb, int header_size); | |
77 | |
78 // Creation | |
79 // a) simple CodeBlob | |
80 // frame_complete is the offset from the beginning of the instructions | |
81 // to where the frame setup (from stackwalk viewpoint) is complete. | |
82 CodeBlob(const char* name, int header_size, int size, int frame_complete, int locs_size); | |
83 | |
84 // b) full CodeBlob | |
85 CodeBlob( | |
86 const char* name, | |
87 CodeBuffer* cb, | |
88 int header_size, | |
89 int size, | |
90 int frame_complete, | |
91 int frame_size, | |
92 OopMapSet* oop_maps | |
93 ); | |
94 | |
95 // Deletion | |
96 void flush(); | |
97 | |
98 // Typing | |
3363
167b70ff3abc
6939861: JVM should handle more conversion operations
never
parents:
1972
diff
changeset
|
99 virtual bool is_buffer_blob() const { return false; } |
167b70ff3abc
6939861: JVM should handle more conversion operations
never
parents:
1972
diff
changeset
|
100 virtual bool is_nmethod() const { return false; } |
167b70ff3abc
6939861: JVM should handle more conversion operations
never
parents:
1972
diff
changeset
|
101 virtual bool is_runtime_stub() const { return false; } |
167b70ff3abc
6939861: JVM should handle more conversion operations
never
parents:
1972
diff
changeset
|
102 virtual bool is_ricochet_stub() const { return false; } |
167b70ff3abc
6939861: JVM should handle more conversion operations
never
parents:
1972
diff
changeset
|
103 virtual bool is_deoptimization_stub() const { return false; } |
167b70ff3abc
6939861: JVM should handle more conversion operations
never
parents:
1972
diff
changeset
|
104 virtual bool is_uncommon_trap_stub() const { return false; } |
167b70ff3abc
6939861: JVM should handle more conversion operations
never
parents:
1972
diff
changeset
|
105 virtual bool is_exception_stub() const { return false; } |
1299
9eba43136cb5
6934494: JSR 292 MethodHandles adapters should be generated into their own CodeBlob
twisti
parents:
1155
diff
changeset
|
106 virtual bool is_safepoint_stub() const { return false; } |
9eba43136cb5
6934494: JSR 292 MethodHandles adapters should be generated into their own CodeBlob
twisti
parents:
1155
diff
changeset
|
107 virtual bool is_adapter_blob() const { return false; } |
9eba43136cb5
6934494: JSR 292 MethodHandles adapters should be generated into their own CodeBlob
twisti
parents:
1155
diff
changeset
|
108 virtual bool is_method_handles_adapter_blob() const { return false; } |
0 | 109 |
110 virtual bool is_compiled_by_c2() const { return false; } | |
111 virtual bool is_compiled_by_c1() const { return false; } | |
112 | |
1135
e66fd840cb6b
6893081: method handle & invokedynamic code needs additional cleanup (post 6815692, 6858164)
twisti
parents:
989
diff
changeset
|
113 // Casting |
e66fd840cb6b
6893081: method handle & invokedynamic code needs additional cleanup (post 6815692, 6858164)
twisti
parents:
989
diff
changeset
|
114 nmethod* as_nmethod_or_null() { return is_nmethod() ? (nmethod*) this : NULL; } |
e66fd840cb6b
6893081: method handle & invokedynamic code needs additional cleanup (post 6815692, 6858164)
twisti
parents:
989
diff
changeset
|
115 |
0 | 116 // Boundaries |
117 address header_begin() const { return (address) this; } | |
118 address header_end() const { return ((address) this) + _header_size; }; | |
119 relocInfo* relocation_begin() const { return (relocInfo*) header_end(); }; | |
120 relocInfo* relocation_end() const { return (relocInfo*)(header_end() + _relocation_size); } | |
1748 | 121 address content_begin() const { return (address) header_begin() + _content_offset; } |
122 address content_end() const { return (address) header_begin() + _data_offset; } | |
123 address code_begin() const { return (address) header_begin() + _code_offset; } | |
124 address code_end() const { return (address) header_begin() + _data_offset; } | |
0 | 125 address data_begin() const { return (address) header_begin() + _data_offset; } |
126 address data_end() const { return (address) header_begin() + _size; } | |
127 | |
128 // Offsets | |
129 int relocation_offset() const { return _header_size; } | |
1748 | 130 int content_offset() const { return _content_offset; } |
131 int code_offset() const { return _code_offset; } | |
0 | 132 int data_offset() const { return _data_offset; } |
133 | |
134 // Sizes | |
135 int size() const { return _size; } | |
136 int header_size() const { return _header_size; } | |
137 int relocation_size() const { return (address) relocation_end() - (address) relocation_begin(); } | |
1748 | 138 int content_size() const { return content_end() - content_begin(); } |
139 int code_size() const { return code_end() - code_begin(); } | |
140 int data_size() const { return data_end() - data_begin(); } | |
0 | 141 |
142 // Containment | |
1748 | 143 bool blob_contains(address addr) const { return header_begin() <= addr && addr < data_end(); } |
0 | 144 bool relocation_contains(relocInfo* addr) const{ return relocation_begin() <= addr && addr < relocation_end(); } |
1748 | 145 bool content_contains(address addr) const { return content_begin() <= addr && addr < content_end(); } |
146 bool code_contains(address addr) const { return code_begin() <= addr && addr < code_end(); } | |
147 bool data_contains(address addr) const { return data_begin() <= addr && addr < data_end(); } | |
148 bool contains(address addr) const { return content_contains(addr); } | |
149 bool is_frame_complete_at(address addr) const { return code_contains(addr) && | |
150 addr >= code_begin() + _frame_complete_offset; } | |
0 | 151 |
152 // CodeCache support: really only used by the nmethods, but in order to get | |
153 // asserts and certain bookkeeping to work in the CodeCache they are defined | |
154 // virtual here. | |
155 virtual bool is_zombie() const { return false; } | |
156 virtual bool is_locked_by_vm() const { return false; } | |
157 | |
158 virtual bool is_unloaded() const { return false; } | |
159 virtual bool is_not_entrant() const { return false; } | |
160 | |
161 // GC support | |
162 virtual bool is_alive() const = 0; | |
163 | |
164 // OopMap for frame | |
165 OopMapSet* oop_maps() const { return _oop_maps; } | |
166 void set_oop_maps(OopMapSet* p); | |
167 OopMap* oop_map_for_return_address(address return_address); | |
168 virtual void preserve_callee_argument_oops(frame fr, const RegisterMap* reg_map, OopClosure* f) { ShouldNotReachHere(); } | |
169 | |
170 // Frame support | |
171 int frame_size() const { return _frame_size; } | |
172 void set_frame_size(int size) { _frame_size = size; } | |
173 | |
174 // Returns true, if the next frame is responsible for GC'ing oops passed as arguments | |
175 virtual bool caller_must_gc_arguments(JavaThread* thread) const { return false; } | |
176 | |
177 // Naming | |
178 const char* name() const { return _name; } | |
179 void set_name(const char* name) { _name = name; } | |
180 | |
181 // Debugging | |
182 virtual void verify(); | |
1681
126ea7725993
6953477: Increase portability and flexibility of building Hotspot
bobv
parents:
1663
diff
changeset
|
183 void print() const { print_on(tty); } |
126ea7725993
6953477: Increase portability and flexibility of building Hotspot
bobv
parents:
1663
diff
changeset
|
184 virtual void print_on(outputStream* st) const; |
126ea7725993
6953477: Increase portability and flexibility of building Hotspot
bobv
parents:
1663
diff
changeset
|
185 virtual void print_value_on(outputStream* st) const; |
0 | 186 |
3363
167b70ff3abc
6939861: JVM should handle more conversion operations
never
parents:
1972
diff
changeset
|
187 // Deal with Disassembler, VTune, Forte, JvmtiExport, MemoryService. |
167b70ff3abc
6939861: JVM should handle more conversion operations
never
parents:
1972
diff
changeset
|
188 static void trace_new_stub(CodeBlob* blob, const char* name1, const char* name2 = ""); |
167b70ff3abc
6939861: JVM should handle more conversion operations
never
parents:
1972
diff
changeset
|
189 |
0 | 190 // Print the comment associated with offset on stream, if there is one |
1155
4e6abf09f540
6912062: disassembler plugin needs to produce symbolic information in product mode
jrose
parents:
1135
diff
changeset
|
191 virtual void print_block_comment(outputStream* stream, address block_begin) { |
1748 | 192 intptr_t offset = (intptr_t)(block_begin - code_begin()); |
0 | 193 _comments.print_block_comment(stream, offset); |
194 } | |
195 | |
196 // Transfer ownership of comments to this CodeBlob | |
197 void set_comments(CodeComments& comments) { | |
198 _comments.assign(comments); | |
199 } | |
200 }; | |
201 | |
202 | |
203 //---------------------------------------------------------------------------------------------------- | |
204 // BufferBlob: used to hold non-relocatable machine code such as the interpreter, stubroutines, etc. | |
205 | |
206 class BufferBlob: public CodeBlob { | |
207 friend class VMStructs; | |
1299
9eba43136cb5
6934494: JSR 292 MethodHandles adapters should be generated into their own CodeBlob
twisti
parents:
1155
diff
changeset
|
208 friend class AdapterBlob; |
9eba43136cb5
6934494: JSR 292 MethodHandles adapters should be generated into their own CodeBlob
twisti
parents:
1155
diff
changeset
|
209 friend class MethodHandlesAdapterBlob; |
9eba43136cb5
6934494: JSR 292 MethodHandles adapters should be generated into their own CodeBlob
twisti
parents:
1155
diff
changeset
|
210 |
0 | 211 private: |
212 // Creation support | |
213 BufferBlob(const char* name, int size); | |
214 BufferBlob(const char* name, int size, CodeBuffer* cb); | |
215 | |
216 void* operator new(size_t s, unsigned size); | |
217 | |
218 public: | |
219 // Creation | |
220 static BufferBlob* create(const char* name, int buffer_size); | |
221 static BufferBlob* create(const char* name, CodeBuffer* cb); | |
222 | |
223 static void free(BufferBlob* buf); | |
224 | |
225 // Typing | |
1299
9eba43136cb5
6934494: JSR 292 MethodHandles adapters should be generated into their own CodeBlob
twisti
parents:
1155
diff
changeset
|
226 virtual bool is_buffer_blob() const { return true; } |
0 | 227 |
228 // GC/Verification support | |
229 void preserve_callee_argument_oops(frame fr, const RegisterMap* reg_map, OopClosure* f) { /* nothing to do */ } | |
230 bool is_alive() const { return true; } | |
231 | |
232 void verify(); | |
1681
126ea7725993
6953477: Increase portability and flexibility of building Hotspot
bobv
parents:
1663
diff
changeset
|
233 void print_on(outputStream* st) const; |
126ea7725993
6953477: Increase portability and flexibility of building Hotspot
bobv
parents:
1663
diff
changeset
|
234 void print_value_on(outputStream* st) const; |
0 | 235 }; |
236 | |
237 | |
238 //---------------------------------------------------------------------------------------------------- | |
1299
9eba43136cb5
6934494: JSR 292 MethodHandles adapters should be generated into their own CodeBlob
twisti
parents:
1155
diff
changeset
|
239 // AdapterBlob: used to hold C2I/I2C adapters |
9eba43136cb5
6934494: JSR 292 MethodHandles adapters should be generated into their own CodeBlob
twisti
parents:
1155
diff
changeset
|
240 |
9eba43136cb5
6934494: JSR 292 MethodHandles adapters should be generated into their own CodeBlob
twisti
parents:
1155
diff
changeset
|
241 class AdapterBlob: public BufferBlob { |
9eba43136cb5
6934494: JSR 292 MethodHandles adapters should be generated into their own CodeBlob
twisti
parents:
1155
diff
changeset
|
242 private: |
1663 | 243 AdapterBlob(int size, CodeBuffer* cb); |
1299
9eba43136cb5
6934494: JSR 292 MethodHandles adapters should be generated into their own CodeBlob
twisti
parents:
1155
diff
changeset
|
244 |
9eba43136cb5
6934494: JSR 292 MethodHandles adapters should be generated into their own CodeBlob
twisti
parents:
1155
diff
changeset
|
245 public: |
9eba43136cb5
6934494: JSR 292 MethodHandles adapters should be generated into their own CodeBlob
twisti
parents:
1155
diff
changeset
|
246 // Creation |
9eba43136cb5
6934494: JSR 292 MethodHandles adapters should be generated into their own CodeBlob
twisti
parents:
1155
diff
changeset
|
247 static AdapterBlob* create(CodeBuffer* cb); |
9eba43136cb5
6934494: JSR 292 MethodHandles adapters should be generated into their own CodeBlob
twisti
parents:
1155
diff
changeset
|
248 |
9eba43136cb5
6934494: JSR 292 MethodHandles adapters should be generated into their own CodeBlob
twisti
parents:
1155
diff
changeset
|
249 // Typing |
9eba43136cb5
6934494: JSR 292 MethodHandles adapters should be generated into their own CodeBlob
twisti
parents:
1155
diff
changeset
|
250 virtual bool is_adapter_blob() const { return true; } |
9eba43136cb5
6934494: JSR 292 MethodHandles adapters should be generated into their own CodeBlob
twisti
parents:
1155
diff
changeset
|
251 }; |
9eba43136cb5
6934494: JSR 292 MethodHandles adapters should be generated into their own CodeBlob
twisti
parents:
1155
diff
changeset
|
252 |
9eba43136cb5
6934494: JSR 292 MethodHandles adapters should be generated into their own CodeBlob
twisti
parents:
1155
diff
changeset
|
253 |
9eba43136cb5
6934494: JSR 292 MethodHandles adapters should be generated into their own CodeBlob
twisti
parents:
1155
diff
changeset
|
254 //---------------------------------------------------------------------------------------------------- |
9eba43136cb5
6934494: JSR 292 MethodHandles adapters should be generated into their own CodeBlob
twisti
parents:
1155
diff
changeset
|
255 // MethodHandlesAdapterBlob: used to hold MethodHandles adapters |
9eba43136cb5
6934494: JSR 292 MethodHandles adapters should be generated into their own CodeBlob
twisti
parents:
1155
diff
changeset
|
256 |
9eba43136cb5
6934494: JSR 292 MethodHandles adapters should be generated into their own CodeBlob
twisti
parents:
1155
diff
changeset
|
257 class MethodHandlesAdapterBlob: public BufferBlob { |
9eba43136cb5
6934494: JSR 292 MethodHandles adapters should be generated into their own CodeBlob
twisti
parents:
1155
diff
changeset
|
258 private: |
9eba43136cb5
6934494: JSR 292 MethodHandles adapters should be generated into their own CodeBlob
twisti
parents:
1155
diff
changeset
|
259 MethodHandlesAdapterBlob(int size) : BufferBlob("MethodHandles adapters", size) {} |
9eba43136cb5
6934494: JSR 292 MethodHandles adapters should be generated into their own CodeBlob
twisti
parents:
1155
diff
changeset
|
260 MethodHandlesAdapterBlob(int size, CodeBuffer* cb) : BufferBlob("MethodHandles adapters", size, cb) {} |
9eba43136cb5
6934494: JSR 292 MethodHandles adapters should be generated into their own CodeBlob
twisti
parents:
1155
diff
changeset
|
261 |
9eba43136cb5
6934494: JSR 292 MethodHandles adapters should be generated into their own CodeBlob
twisti
parents:
1155
diff
changeset
|
262 public: |
9eba43136cb5
6934494: JSR 292 MethodHandles adapters should be generated into their own CodeBlob
twisti
parents:
1155
diff
changeset
|
263 // Creation |
9eba43136cb5
6934494: JSR 292 MethodHandles adapters should be generated into their own CodeBlob
twisti
parents:
1155
diff
changeset
|
264 static MethodHandlesAdapterBlob* create(int buffer_size); |
9eba43136cb5
6934494: JSR 292 MethodHandles adapters should be generated into their own CodeBlob
twisti
parents:
1155
diff
changeset
|
265 |
9eba43136cb5
6934494: JSR 292 MethodHandles adapters should be generated into their own CodeBlob
twisti
parents:
1155
diff
changeset
|
266 // Typing |
9eba43136cb5
6934494: JSR 292 MethodHandles adapters should be generated into their own CodeBlob
twisti
parents:
1155
diff
changeset
|
267 virtual bool is_method_handles_adapter_blob() const { return true; } |
9eba43136cb5
6934494: JSR 292 MethodHandles adapters should be generated into their own CodeBlob
twisti
parents:
1155
diff
changeset
|
268 }; |
9eba43136cb5
6934494: JSR 292 MethodHandles adapters should be generated into their own CodeBlob
twisti
parents:
1155
diff
changeset
|
269 |
9eba43136cb5
6934494: JSR 292 MethodHandles adapters should be generated into their own CodeBlob
twisti
parents:
1155
diff
changeset
|
270 |
9eba43136cb5
6934494: JSR 292 MethodHandles adapters should be generated into their own CodeBlob
twisti
parents:
1155
diff
changeset
|
271 //---------------------------------------------------------------------------------------------------- |
0 | 272 // RuntimeStub: describes stubs used by compiled code to call a (static) C++ runtime routine |
273 | |
274 class RuntimeStub: public CodeBlob { | |
275 friend class VMStructs; | |
276 private: | |
277 bool _caller_must_gc_arguments; | |
278 | |
279 // Creation support | |
280 RuntimeStub( | |
281 const char* name, | |
282 CodeBuffer* cb, | |
283 int size, | |
284 int frame_complete, | |
285 int frame_size, | |
286 OopMapSet* oop_maps, | |
287 bool caller_must_gc_arguments | |
288 ); | |
289 | |
290 void* operator new(size_t s, unsigned size); | |
291 | |
292 public: | |
293 // Creation | |
294 static RuntimeStub* new_runtime_stub( | |
295 const char* stub_name, | |
296 CodeBuffer* cb, | |
297 int frame_complete, | |
298 int frame_size, | |
299 OopMapSet* oop_maps, | |
300 bool caller_must_gc_arguments | |
301 ); | |
302 | |
303 // Typing | |
304 bool is_runtime_stub() const { return true; } | |
305 | |
306 // GC support | |
307 bool caller_must_gc_arguments(JavaThread* thread) const { return _caller_must_gc_arguments; } | |
308 | |
1748 | 309 address entry_point() { return code_begin(); } |
0 | 310 |
311 // GC/Verification support | |
312 void preserve_callee_argument_oops(frame fr, const RegisterMap *reg_map, OopClosure* f) { /* nothing to do */ } | |
313 bool is_alive() const { return true; } | |
314 | |
315 void verify(); | |
1681
126ea7725993
6953477: Increase portability and flexibility of building Hotspot
bobv
parents:
1663
diff
changeset
|
316 void print_on(outputStream* st) const; |
126ea7725993
6953477: Increase portability and flexibility of building Hotspot
bobv
parents:
1663
diff
changeset
|
317 void print_value_on(outputStream* st) const; |
0 | 318 }; |
319 | |
320 | |
321 //---------------------------------------------------------------------------------------------------- | |
322 // Super-class for all blobs that exist in only one instance. Implements default behaviour. | |
323 | |
324 class SingletonBlob: public CodeBlob { | |
325 friend class VMStructs; | |
3363
167b70ff3abc
6939861: JVM should handle more conversion operations
never
parents:
1972
diff
changeset
|
326 |
167b70ff3abc
6939861: JVM should handle more conversion operations
never
parents:
1972
diff
changeset
|
327 protected: |
167b70ff3abc
6939861: JVM should handle more conversion operations
never
parents:
1972
diff
changeset
|
328 void* operator new(size_t s, unsigned size); |
167b70ff3abc
6939861: JVM should handle more conversion operations
never
parents:
1972
diff
changeset
|
329 |
167b70ff3abc
6939861: JVM should handle more conversion operations
never
parents:
1972
diff
changeset
|
330 public: |
0 | 331 SingletonBlob( |
332 const char* name, | |
333 CodeBuffer* cb, | |
334 int header_size, | |
335 int size, | |
336 int frame_size, | |
337 OopMapSet* oop_maps | |
338 ) | |
339 : CodeBlob(name, cb, header_size, size, CodeOffsets::frame_never_safe, frame_size, oop_maps) | |
1748 | 340 {}; |
0 | 341 |
1748 | 342 address entry_point() { return code_begin(); } |
0 | 343 |
1748 | 344 bool is_alive() const { return true; } |
345 | |
346 void verify(); // does nothing | |
347 void print_on(outputStream* st) const; | |
348 void print_value_on(outputStream* st) const; | |
0 | 349 }; |
350 | |
351 | |
352 //---------------------------------------------------------------------------------------------------- | |
3363
167b70ff3abc
6939861: JVM should handle more conversion operations
never
parents:
1972
diff
changeset
|
353 // RicochetBlob |
167b70ff3abc
6939861: JVM should handle more conversion operations
never
parents:
1972
diff
changeset
|
354 // Holds an arbitrary argument list indefinitely while Java code executes recursively. |
167b70ff3abc
6939861: JVM should handle more conversion operations
never
parents:
1972
diff
changeset
|
355 |
167b70ff3abc
6939861: JVM should handle more conversion operations
never
parents:
1972
diff
changeset
|
356 class RicochetBlob: public SingletonBlob { |
167b70ff3abc
6939861: JVM should handle more conversion operations
never
parents:
1972
diff
changeset
|
357 friend class VMStructs; |
167b70ff3abc
6939861: JVM should handle more conversion operations
never
parents:
1972
diff
changeset
|
358 private: |
167b70ff3abc
6939861: JVM should handle more conversion operations
never
parents:
1972
diff
changeset
|
359 |
167b70ff3abc
6939861: JVM should handle more conversion operations
never
parents:
1972
diff
changeset
|
360 int _bounce_offset; |
167b70ff3abc
6939861: JVM should handle more conversion operations
never
parents:
1972
diff
changeset
|
361 int _exception_offset; |
167b70ff3abc
6939861: JVM should handle more conversion operations
never
parents:
1972
diff
changeset
|
362 |
167b70ff3abc
6939861: JVM should handle more conversion operations
never
parents:
1972
diff
changeset
|
363 // Creation support |
167b70ff3abc
6939861: JVM should handle more conversion operations
never
parents:
1972
diff
changeset
|
364 RicochetBlob( |
167b70ff3abc
6939861: JVM should handle more conversion operations
never
parents:
1972
diff
changeset
|
365 CodeBuffer* cb, |
167b70ff3abc
6939861: JVM should handle more conversion operations
never
parents:
1972
diff
changeset
|
366 int size, |
167b70ff3abc
6939861: JVM should handle more conversion operations
never
parents:
1972
diff
changeset
|
367 int bounce_offset, |
167b70ff3abc
6939861: JVM should handle more conversion operations
never
parents:
1972
diff
changeset
|
368 int exception_offset, |
167b70ff3abc
6939861: JVM should handle more conversion operations
never
parents:
1972
diff
changeset
|
369 int frame_size |
167b70ff3abc
6939861: JVM should handle more conversion operations
never
parents:
1972
diff
changeset
|
370 ); |
167b70ff3abc
6939861: JVM should handle more conversion operations
never
parents:
1972
diff
changeset
|
371 |
167b70ff3abc
6939861: JVM should handle more conversion operations
never
parents:
1972
diff
changeset
|
372 public: |
167b70ff3abc
6939861: JVM should handle more conversion operations
never
parents:
1972
diff
changeset
|
373 // Creation |
167b70ff3abc
6939861: JVM should handle more conversion operations
never
parents:
1972
diff
changeset
|
374 static RicochetBlob* create( |
167b70ff3abc
6939861: JVM should handle more conversion operations
never
parents:
1972
diff
changeset
|
375 CodeBuffer* cb, |
167b70ff3abc
6939861: JVM should handle more conversion operations
never
parents:
1972
diff
changeset
|
376 int bounce_offset, |
167b70ff3abc
6939861: JVM should handle more conversion operations
never
parents:
1972
diff
changeset
|
377 int exception_offset, |
167b70ff3abc
6939861: JVM should handle more conversion operations
never
parents:
1972
diff
changeset
|
378 int frame_size |
167b70ff3abc
6939861: JVM should handle more conversion operations
never
parents:
1972
diff
changeset
|
379 ); |
167b70ff3abc
6939861: JVM should handle more conversion operations
never
parents:
1972
diff
changeset
|
380 |
167b70ff3abc
6939861: JVM should handle more conversion operations
never
parents:
1972
diff
changeset
|
381 // Typing |
167b70ff3abc
6939861: JVM should handle more conversion operations
never
parents:
1972
diff
changeset
|
382 bool is_ricochet_stub() const { return true; } |
167b70ff3abc
6939861: JVM should handle more conversion operations
never
parents:
1972
diff
changeset
|
383 |
167b70ff3abc
6939861: JVM should handle more conversion operations
never
parents:
1972
diff
changeset
|
384 // GC for args |
167b70ff3abc
6939861: JVM should handle more conversion operations
never
parents:
1972
diff
changeset
|
385 void preserve_callee_argument_oops(frame fr, const RegisterMap *reg_map, OopClosure* f) { /* Nothing to do */ } |
167b70ff3abc
6939861: JVM should handle more conversion operations
never
parents:
1972
diff
changeset
|
386 |
167b70ff3abc
6939861: JVM should handle more conversion operations
never
parents:
1972
diff
changeset
|
387 address bounce_addr() const { return code_begin() + _bounce_offset; } |
167b70ff3abc
6939861: JVM should handle more conversion operations
never
parents:
1972
diff
changeset
|
388 address exception_addr() const { return code_begin() + _exception_offset; } |
167b70ff3abc
6939861: JVM should handle more conversion operations
never
parents:
1972
diff
changeset
|
389 bool returns_to_bounce_addr(address pc) const { |
167b70ff3abc
6939861: JVM should handle more conversion operations
never
parents:
1972
diff
changeset
|
390 address bounce_pc = bounce_addr(); |
167b70ff3abc
6939861: JVM should handle more conversion operations
never
parents:
1972
diff
changeset
|
391 return (pc == bounce_pc || (pc + frame::pc_return_offset) == bounce_pc); |
167b70ff3abc
6939861: JVM should handle more conversion operations
never
parents:
1972
diff
changeset
|
392 } |
167b70ff3abc
6939861: JVM should handle more conversion operations
never
parents:
1972
diff
changeset
|
393 }; |
167b70ff3abc
6939861: JVM should handle more conversion operations
never
parents:
1972
diff
changeset
|
394 |
167b70ff3abc
6939861: JVM should handle more conversion operations
never
parents:
1972
diff
changeset
|
395 |
167b70ff3abc
6939861: JVM should handle more conversion operations
never
parents:
1972
diff
changeset
|
396 //---------------------------------------------------------------------------------------------------- |
0 | 397 // DeoptimizationBlob |
398 | |
399 class DeoptimizationBlob: public SingletonBlob { | |
400 friend class VMStructs; | |
401 private: | |
402 int _unpack_offset; | |
403 int _unpack_with_exception; | |
404 int _unpack_with_reexecution; | |
405 | |
406 int _unpack_with_exception_in_tls; | |
407 | |
2891
75a99b4f1c98
Rebranded C++ part from C1X to Graal.
Thomas Wuerthinger <thomas@wuerthinger.net>
parents:
2605
diff
changeset
|
408 // (tw) Offset when graal calls uncommon_trap. |
2059
9508a52cbd32
Add deoptimization blob support.
Thomas Wuerthinger <wuerthinger@ssw.jku.at>
parents:
1972
diff
changeset
|
409 int _uncommon_trap_offset; |
2605
98fa88528319
Deopt on implicit null pointer exception.
Thomas Wuerthinger <thomas@wuerthinger.net>
parents:
2059
diff
changeset
|
410 int _jmp_uncommon_trap_offset; |
2059
9508a52cbd32
Add deoptimization blob support.
Thomas Wuerthinger <wuerthinger@ssw.jku.at>
parents:
1972
diff
changeset
|
411 |
9508a52cbd32
Add deoptimization blob support.
Thomas Wuerthinger <wuerthinger@ssw.jku.at>
parents:
1972
diff
changeset
|
412 |
0 | 413 // Creation support |
414 DeoptimizationBlob( | |
415 CodeBuffer* cb, | |
416 int size, | |
417 OopMapSet* oop_maps, | |
418 int unpack_offset, | |
419 int unpack_with_exception_offset, | |
420 int unpack_with_reexecution_offset, | |
421 int frame_size | |
422 ); | |
423 | |
424 public: | |
425 // Creation | |
426 static DeoptimizationBlob* create( | |
427 CodeBuffer* cb, | |
428 OopMapSet* oop_maps, | |
429 int unpack_offset, | |
430 int unpack_with_exception_offset, | |
431 int unpack_with_reexecution_offset, | |
432 int frame_size | |
433 ); | |
434 | |
435 // Typing | |
436 bool is_deoptimization_stub() const { return true; } | |
437 bool exception_address_is_unpack_entry(address pc) const { | |
438 address unpack_pc = unpack(); | |
439 return (pc == unpack_pc || (pc + frame::pc_return_offset) == unpack_pc); | |
440 } | |
441 | |
442 | |
443 | |
444 | |
445 // GC for args | |
446 void preserve_callee_argument_oops(frame fr, const RegisterMap *reg_map, OopClosure* f) { /* Nothing to do */ } | |
447 | |
448 // Printing | |
1681
126ea7725993
6953477: Increase portability and flexibility of building Hotspot
bobv
parents:
1663
diff
changeset
|
449 void print_value_on(outputStream* st) const; |
0 | 450 |
1748 | 451 address unpack() const { return code_begin() + _unpack_offset; } |
452 address unpack_with_exception() const { return code_begin() + _unpack_with_exception; } | |
453 address unpack_with_reexecution() const { return code_begin() + _unpack_with_reexecution; } | |
0 | 454 |
455 // Alternate entry point for C1 where the exception and issuing pc | |
456 // are in JavaThread::_exception_oop and JavaThread::_exception_pc | |
457 // instead of being in registers. This is needed because C1 doesn't | |
458 // model exception paths in a way that keeps these registers free so | |
459 // there may be live values in those registers during deopt. | |
460 void set_unpack_with_exception_in_tls_offset(int offset) { | |
461 _unpack_with_exception_in_tls = offset; | |
1748 | 462 assert(code_contains(code_begin() + _unpack_with_exception_in_tls), "must be PC inside codeblob"); |
0 | 463 } |
1748 | 464 address unpack_with_exception_in_tls() const { return code_begin() + _unpack_with_exception_in_tls; } |
2059
9508a52cbd32
Add deoptimization blob support.
Thomas Wuerthinger <wuerthinger@ssw.jku.at>
parents:
1972
diff
changeset
|
465 |
2891
75a99b4f1c98
Rebranded C++ part from C1X to Graal.
Thomas Wuerthinger <thomas@wuerthinger.net>
parents:
2605
diff
changeset
|
466 // (tw) Offset when graal calls uncommon_trap. |
2059
9508a52cbd32
Add deoptimization blob support.
Thomas Wuerthinger <wuerthinger@ssw.jku.at>
parents:
1972
diff
changeset
|
467 void set_uncommon_trap_offset(int offset) { |
9508a52cbd32
Add deoptimization blob support.
Thomas Wuerthinger <wuerthinger@ssw.jku.at>
parents:
1972
diff
changeset
|
468 _uncommon_trap_offset = offset; |
9508a52cbd32
Add deoptimization blob support.
Thomas Wuerthinger <wuerthinger@ssw.jku.at>
parents:
1972
diff
changeset
|
469 assert(contains(code_begin() + _uncommon_trap_offset), "must be PC inside codeblob"); |
9508a52cbd32
Add deoptimization blob support.
Thomas Wuerthinger <wuerthinger@ssw.jku.at>
parents:
1972
diff
changeset
|
470 } |
9508a52cbd32
Add deoptimization blob support.
Thomas Wuerthinger <wuerthinger@ssw.jku.at>
parents:
1972
diff
changeset
|
471 address uncommon_trap() const { return code_begin() + _uncommon_trap_offset; } |
2605
98fa88528319
Deopt on implicit null pointer exception.
Thomas Wuerthinger <thomas@wuerthinger.net>
parents:
2059
diff
changeset
|
472 void set_jmp_uncommon_trap_offset(int offset) { |
98fa88528319
Deopt on implicit null pointer exception.
Thomas Wuerthinger <thomas@wuerthinger.net>
parents:
2059
diff
changeset
|
473 _jmp_uncommon_trap_offset = offset; |
98fa88528319
Deopt on implicit null pointer exception.
Thomas Wuerthinger <thomas@wuerthinger.net>
parents:
2059
diff
changeset
|
474 assert(contains(code_begin() + _jmp_uncommon_trap_offset), "must be PC inside codeblob"); |
98fa88528319
Deopt on implicit null pointer exception.
Thomas Wuerthinger <thomas@wuerthinger.net>
parents:
2059
diff
changeset
|
475 } |
98fa88528319
Deopt on implicit null pointer exception.
Thomas Wuerthinger <thomas@wuerthinger.net>
parents:
2059
diff
changeset
|
476 address jmp_uncommon_trap() const { return code_begin() + _jmp_uncommon_trap_offset; } |
2059
9508a52cbd32
Add deoptimization blob support.
Thomas Wuerthinger <wuerthinger@ssw.jku.at>
parents:
1972
diff
changeset
|
477 |
0 | 478 }; |
479 | |
480 | |
481 //---------------------------------------------------------------------------------------------------- | |
482 // UncommonTrapBlob (currently only used by Compiler 2) | |
483 | |
484 #ifdef COMPILER2 | |
485 | |
486 class UncommonTrapBlob: public SingletonBlob { | |
487 friend class VMStructs; | |
488 private: | |
489 // Creation support | |
490 UncommonTrapBlob( | |
491 CodeBuffer* cb, | |
492 int size, | |
493 OopMapSet* oop_maps, | |
494 int frame_size | |
495 ); | |
496 | |
497 public: | |
498 // Creation | |
499 static UncommonTrapBlob* create( | |
500 CodeBuffer* cb, | |
501 OopMapSet* oop_maps, | |
502 int frame_size | |
503 ); | |
504 | |
505 // GC for args | |
506 void preserve_callee_argument_oops(frame fr, const RegisterMap *reg_map, OopClosure* f) { /* nothing to do */ } | |
507 | |
508 // Typing | |
509 bool is_uncommon_trap_stub() const { return true; } | |
510 }; | |
511 | |
512 | |
513 //---------------------------------------------------------------------------------------------------- | |
514 // ExceptionBlob: used for exception unwinding in compiled code (currently only used by Compiler 2) | |
515 | |
516 class ExceptionBlob: public SingletonBlob { | |
517 friend class VMStructs; | |
518 private: | |
519 // Creation support | |
520 ExceptionBlob( | |
521 CodeBuffer* cb, | |
522 int size, | |
523 OopMapSet* oop_maps, | |
524 int frame_size | |
525 ); | |
526 | |
527 public: | |
528 // Creation | |
529 static ExceptionBlob* create( | |
530 CodeBuffer* cb, | |
531 OopMapSet* oop_maps, | |
532 int frame_size | |
533 ); | |
534 | |
535 // GC for args | |
536 void preserve_callee_argument_oops(frame fr, const RegisterMap* reg_map, OopClosure* f) { /* nothing to do */ } | |
537 | |
538 // Typing | |
539 bool is_exception_stub() const { return true; } | |
540 }; | |
541 #endif // COMPILER2 | |
542 | |
543 | |
544 //---------------------------------------------------------------------------------------------------- | |
545 // SafepointBlob: handles illegal_instruction exceptions during a safepoint | |
546 | |
547 class SafepointBlob: public SingletonBlob { | |
548 friend class VMStructs; | |
549 private: | |
550 // Creation support | |
551 SafepointBlob( | |
552 CodeBuffer* cb, | |
553 int size, | |
554 OopMapSet* oop_maps, | |
555 int frame_size | |
556 ); | |
557 | |
558 public: | |
559 // Creation | |
560 static SafepointBlob* create( | |
561 CodeBuffer* cb, | |
562 OopMapSet* oop_maps, | |
563 int frame_size | |
564 ); | |
565 | |
566 // GC for args | |
567 void preserve_callee_argument_oops(frame fr, const RegisterMap* reg_map, OopClosure* f) { /* nothing to do */ } | |
568 | |
569 // Typing | |
570 bool is_safepoint_stub() const { return true; } | |
571 }; | |
1972 | 572 |
573 #endif // SHARE_VM_CODE_CODEBLOB_HPP |