Mercurial > hg > truffle
annotate src/share/vm/code/codeBlob.hpp @ 14714:b602356a9cfc
additional canonicalizers for accesses and value nodes (improves number of implicit null checks)
author | Lukas Stadler <lukas.stadler@oracle.com> |
---|---|
date | Thu, 20 Mar 2014 17:15:36 +0100 |
parents | 096c224171c4 |
children | ed29f7ff71eb |
rev | line source |
---|---|
0 | 1 /* |
12146
9758d9f36299
8021954: VM SIGSEGV during classloading on MacOS; hs_err_pid file produced
coleenp
parents:
8767
diff
changeset
|
2 * Copyright (c) 1998, 2013, 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 | |
38 // DeoptimizationBlob : Used for deoptimizatation | |
39 // ExceptionBlob : Used for stack unrolling | |
40 // SafepointBlob : Used to handle illegal instruction exceptions | |
41 // | |
42 // | |
43 // Layout: | |
44 // - header | |
45 // - relocation | |
1748 | 46 // - content space |
47 // - instruction space | |
0 | 48 // - data space |
49 class DeoptimizationBlob; | |
50 | |
51 class CodeBlob VALUE_OBJ_CLASS_SPEC { | |
52 | |
53 friend class VMStructs; | |
54 | |
55 private: | |
56 const char* _name; | |
57 int _size; // total size of CodeBlob in bytes | |
58 int _header_size; // size of header (depends on subclass) | |
59 int _relocation_size; // size of relocation | |
1748 | 60 int _content_offset; // offset to where content region begins (this includes consts, insts, stubs) |
61 int _code_offset; // offset to where instructions region begins (this includes insts, stubs) | |
0 | 62 int _frame_complete_offset; // instruction offsets in [0.._frame_complete_offset) have |
63 // not finished setting up their frame. Beware of pc's in | |
64 // that range. There is a similar range(s) on returns | |
65 // which we don't detect. | |
66 int _data_offset; // offset to where data region begins | |
67 int _frame_size; // size of stack frame | |
68 OopMapSet* _oop_maps; // OopMap for this CodeBlob | |
8767
a5de0cc2f91c
8008555: Debugging code in compiled method sometimes leaks memory
roland
parents:
6796
diff
changeset
|
69 CodeStrings _strings; |
0 | 70 |
71 public: | |
72 // Returns the space needed for CodeBlob | |
73 static unsigned int allocation_size(CodeBuffer* cb, int header_size); | |
74 | |
75 // Creation | |
76 // a) simple CodeBlob | |
77 // frame_complete is the offset from the beginning of the instructions | |
78 // to where the frame setup (from stackwalk viewpoint) is complete. | |
79 CodeBlob(const char* name, int header_size, int size, int frame_complete, int locs_size); | |
80 | |
81 // b) full CodeBlob | |
82 CodeBlob( | |
83 const char* name, | |
84 CodeBuffer* cb, | |
85 int header_size, | |
86 int size, | |
87 int frame_complete, | |
88 int frame_size, | |
89 OopMapSet* oop_maps | |
90 ); | |
91 | |
92 // Deletion | |
93 void flush(); | |
94 | |
95 // Typing | |
3363
167b70ff3abc
6939861: JVM should handle more conversion operations
never
parents:
1972
diff
changeset
|
96 virtual bool is_buffer_blob() const { return false; } |
167b70ff3abc
6939861: JVM should handle more conversion operations
never
parents:
1972
diff
changeset
|
97 virtual bool is_nmethod() const { return false; } |
167b70ff3abc
6939861: JVM should handle more conversion operations
never
parents:
1972
diff
changeset
|
98 virtual bool is_runtime_stub() const { return false; } |
167b70ff3abc
6939861: JVM should handle more conversion operations
never
parents:
1972
diff
changeset
|
99 virtual bool is_deoptimization_stub() const { return false; } |
167b70ff3abc
6939861: JVM should handle more conversion operations
never
parents:
1972
diff
changeset
|
100 virtual bool is_uncommon_trap_stub() const { return false; } |
167b70ff3abc
6939861: JVM should handle more conversion operations
never
parents:
1972
diff
changeset
|
101 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
|
102 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
|
103 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
|
104 virtual bool is_method_handles_adapter_blob() const { return false; } |
0 | 105 |
106 virtual bool is_compiled_by_c2() const { return false; } | |
107 virtual bool is_compiled_by_c1() const { return false; } | |
7125
1baf7f1e3f23
decoupled C++ Graal runtime from C1
Doug Simon <doug.simon@oracle.com>
parents:
6948
diff
changeset
|
108 virtual bool is_compiled_by_graal() const { return false; } |
0 | 109 |
1135
e66fd840cb6b
6893081: method handle & invokedynamic code needs additional cleanup (post 6815692, 6858164)
twisti
parents:
989
diff
changeset
|
110 // Casting |
e66fd840cb6b
6893081: method handle & invokedynamic code needs additional cleanup (post 6815692, 6858164)
twisti
parents:
989
diff
changeset
|
111 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
|
112 |
0 | 113 // Boundaries |
114 address header_begin() const { return (address) this; } | |
115 address header_end() const { return ((address) this) + _header_size; }; | |
116 relocInfo* relocation_begin() const { return (relocInfo*) header_end(); }; | |
117 relocInfo* relocation_end() const { return (relocInfo*)(header_end() + _relocation_size); } | |
1748 | 118 address content_begin() const { return (address) header_begin() + _content_offset; } |
119 address content_end() const { return (address) header_begin() + _data_offset; } | |
120 address code_begin() const { return (address) header_begin() + _code_offset; } | |
121 address code_end() const { return (address) header_begin() + _data_offset; } | |
0 | 122 address data_begin() const { return (address) header_begin() + _data_offset; } |
123 address data_end() const { return (address) header_begin() + _size; } | |
124 | |
125 // Offsets | |
126 int relocation_offset() const { return _header_size; } | |
1748 | 127 int content_offset() const { return _content_offset; } |
128 int code_offset() const { return _code_offset; } | |
0 | 129 int data_offset() const { return _data_offset; } |
130 | |
131 // Sizes | |
132 int size() const { return _size; } | |
133 int header_size() const { return _header_size; } | |
134 int relocation_size() const { return (address) relocation_end() - (address) relocation_begin(); } | |
1748 | 135 int content_size() const { return content_end() - content_begin(); } |
136 int code_size() const { return code_end() - code_begin(); } | |
137 int data_size() const { return data_end() - data_begin(); } | |
0 | 138 |
139 // Containment | |
1748 | 140 bool blob_contains(address addr) const { return header_begin() <= addr && addr < data_end(); } |
0 | 141 bool relocation_contains(relocInfo* addr) const{ return relocation_begin() <= addr && addr < relocation_end(); } |
1748 | 142 bool content_contains(address addr) const { return content_begin() <= addr && addr < content_end(); } |
143 bool code_contains(address addr) const { return code_begin() <= addr && addr < code_end(); } | |
144 bool data_contains(address addr) const { return data_begin() <= addr && addr < data_end(); } | |
145 bool contains(address addr) const { return content_contains(addr); } | |
146 bool is_frame_complete_at(address addr) const { return code_contains(addr) && | |
147 addr >= code_begin() + _frame_complete_offset; } | |
0 | 148 |
149 // CodeCache support: really only used by the nmethods, but in order to get | |
150 // asserts and certain bookkeeping to work in the CodeCache they are defined | |
151 // virtual here. | |
152 virtual bool is_zombie() const { return false; } | |
153 virtual bool is_locked_by_vm() const { return false; } | |
154 | |
155 virtual bool is_unloaded() const { return false; } | |
156 virtual bool is_not_entrant() const { return false; } | |
157 | |
158 // GC support | |
159 virtual bool is_alive() const = 0; | |
160 | |
161 // OopMap for frame | |
162 OopMapSet* oop_maps() const { return _oop_maps; } | |
163 void set_oop_maps(OopMapSet* p); | |
164 OopMap* oop_map_for_return_address(address return_address); | |
165 virtual void preserve_callee_argument_oops(frame fr, const RegisterMap* reg_map, OopClosure* f) { ShouldNotReachHere(); } | |
166 | |
167 // Frame support | |
168 int frame_size() const { return _frame_size; } | |
169 void set_frame_size(int size) { _frame_size = size; } | |
170 | |
171 // Returns true, if the next frame is responsible for GC'ing oops passed as arguments | |
172 virtual bool caller_must_gc_arguments(JavaThread* thread) const { return false; } | |
173 | |
174 // Naming | |
175 const char* name() const { return _name; } | |
176 void set_name(const char* name) { _name = name; } | |
177 | |
178 // Debugging | |
179 virtual void verify(); | |
1681
126ea7725993
6953477: Increase portability and flexibility of building Hotspot
bobv
parents:
1663
diff
changeset
|
180 void print() const { print_on(tty); } |
126ea7725993
6953477: Increase portability and flexibility of building Hotspot
bobv
parents:
1663
diff
changeset
|
181 virtual void print_on(outputStream* st) const; |
126ea7725993
6953477: Increase portability and flexibility of building Hotspot
bobv
parents:
1663
diff
changeset
|
182 virtual void print_value_on(outputStream* st) const; |
0 | 183 |
3363
167b70ff3abc
6939861: JVM should handle more conversion operations
never
parents:
1972
diff
changeset
|
184 // Deal with Disassembler, VTune, Forte, JvmtiExport, MemoryService. |
167b70ff3abc
6939861: JVM should handle more conversion operations
never
parents:
1972
diff
changeset
|
185 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
|
186 |
0 | 187 // Print the comment associated with offset on stream, if there is one |
6796
b31471cdc53e
7200163: add CodeComments functionality to assember stubs
kvn
parents:
6725
diff
changeset
|
188 virtual void print_block_comment(outputStream* stream, address block_begin) const { |
1748 | 189 intptr_t offset = (intptr_t)(block_begin - code_begin()); |
8767
a5de0cc2f91c
8008555: Debugging code in compiled method sometimes leaks memory
roland
parents:
6796
diff
changeset
|
190 _strings.print_block_comment(stream, offset); |
0 | 191 } |
192 | |
193 // Transfer ownership of comments to this CodeBlob | |
8767
a5de0cc2f91c
8008555: Debugging code in compiled method sometimes leaks memory
roland
parents:
6796
diff
changeset
|
194 void set_strings(CodeStrings& strings) { |
a5de0cc2f91c
8008555: Debugging code in compiled method sometimes leaks memory
roland
parents:
6796
diff
changeset
|
195 _strings.assign(strings); |
0 | 196 } |
197 }; | |
198 | |
199 | |
200 //---------------------------------------------------------------------------------------------------- | |
201 // BufferBlob: used to hold non-relocatable machine code such as the interpreter, stubroutines, etc. | |
202 | |
203 class BufferBlob: public CodeBlob { | |
204 friend class VMStructs; | |
1299
9eba43136cb5
6934494: JSR 292 MethodHandles adapters should be generated into their own CodeBlob
twisti
parents:
1155
diff
changeset
|
205 friend class AdapterBlob; |
9eba43136cb5
6934494: JSR 292 MethodHandles adapters should be generated into their own CodeBlob
twisti
parents:
1155
diff
changeset
|
206 friend class MethodHandlesAdapterBlob; |
9eba43136cb5
6934494: JSR 292 MethodHandles adapters should be generated into their own CodeBlob
twisti
parents:
1155
diff
changeset
|
207 |
0 | 208 private: |
209 // Creation support | |
210 BufferBlob(const char* name, int size); | |
211 BufferBlob(const char* name, int size, CodeBuffer* cb); | |
212 | |
12880
469216acdb28
8023014: CodeSweeperSweepNoFlushTest.java fails with HS crash
anoll
parents:
12146
diff
changeset
|
213 void* operator new(size_t s, unsigned size, bool is_critical = false) throw(); |
0 | 214 |
215 public: | |
216 // Creation | |
217 static BufferBlob* create(const char* name, int buffer_size); | |
218 static BufferBlob* create(const char* name, CodeBuffer* cb); | |
219 | |
220 static void free(BufferBlob* buf); | |
221 | |
222 // Typing | |
1299
9eba43136cb5
6934494: JSR 292 MethodHandles adapters should be generated into their own CodeBlob
twisti
parents:
1155
diff
changeset
|
223 virtual bool is_buffer_blob() const { return true; } |
0 | 224 |
225 // GC/Verification support | |
226 void preserve_callee_argument_oops(frame fr, const RegisterMap* reg_map, OopClosure* f) { /* nothing to do */ } | |
227 bool is_alive() const { return true; } | |
228 | |
229 void verify(); | |
1681
126ea7725993
6953477: Increase portability and flexibility of building Hotspot
bobv
parents:
1663
diff
changeset
|
230 void print_on(outputStream* st) const; |
126ea7725993
6953477: Increase portability and flexibility of building Hotspot
bobv
parents:
1663
diff
changeset
|
231 void print_value_on(outputStream* st) const; |
0 | 232 }; |
233 | |
234 | |
235 //---------------------------------------------------------------------------------------------------- | |
1299
9eba43136cb5
6934494: JSR 292 MethodHandles adapters should be generated into their own CodeBlob
twisti
parents:
1155
diff
changeset
|
236 // 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
|
237 |
9eba43136cb5
6934494: JSR 292 MethodHandles adapters should be generated into their own CodeBlob
twisti
parents:
1155
diff
changeset
|
238 class AdapterBlob: public BufferBlob { |
9eba43136cb5
6934494: JSR 292 MethodHandles adapters should be generated into their own CodeBlob
twisti
parents:
1155
diff
changeset
|
239 private: |
1663 | 240 AdapterBlob(int size, CodeBuffer* cb); |
1299
9eba43136cb5
6934494: JSR 292 MethodHandles adapters should be generated into their own CodeBlob
twisti
parents:
1155
diff
changeset
|
241 |
9eba43136cb5
6934494: JSR 292 MethodHandles adapters should be generated into their own CodeBlob
twisti
parents:
1155
diff
changeset
|
242 public: |
9eba43136cb5
6934494: JSR 292 MethodHandles adapters should be generated into their own CodeBlob
twisti
parents:
1155
diff
changeset
|
243 // Creation |
9eba43136cb5
6934494: JSR 292 MethodHandles adapters should be generated into their own CodeBlob
twisti
parents:
1155
diff
changeset
|
244 static AdapterBlob* create(CodeBuffer* cb); |
9eba43136cb5
6934494: JSR 292 MethodHandles adapters should be generated into their own CodeBlob
twisti
parents:
1155
diff
changeset
|
245 |
9eba43136cb5
6934494: JSR 292 MethodHandles adapters should be generated into their own CodeBlob
twisti
parents:
1155
diff
changeset
|
246 // Typing |
9eba43136cb5
6934494: JSR 292 MethodHandles adapters should be generated into their own CodeBlob
twisti
parents:
1155
diff
changeset
|
247 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
|
248 }; |
9eba43136cb5
6934494: JSR 292 MethodHandles adapters should be generated into their own CodeBlob
twisti
parents:
1155
diff
changeset
|
249 |
9eba43136cb5
6934494: JSR 292 MethodHandles adapters should be generated into their own CodeBlob
twisti
parents:
1155
diff
changeset
|
250 |
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 // MethodHandlesAdapterBlob: used to hold MethodHandles adapters |
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 class MethodHandlesAdapterBlob: public BufferBlob { |
9eba43136cb5
6934494: JSR 292 MethodHandles adapters should be generated into their own CodeBlob
twisti
parents:
1155
diff
changeset
|
255 private: |
9eba43136cb5
6934494: JSR 292 MethodHandles adapters should be generated into their own CodeBlob
twisti
parents:
1155
diff
changeset
|
256 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
|
257 |
9eba43136cb5
6934494: JSR 292 MethodHandles adapters should be generated into their own CodeBlob
twisti
parents:
1155
diff
changeset
|
258 public: |
9eba43136cb5
6934494: JSR 292 MethodHandles adapters should be generated into their own CodeBlob
twisti
parents:
1155
diff
changeset
|
259 // Creation |
9eba43136cb5
6934494: JSR 292 MethodHandles adapters should be generated into their own CodeBlob
twisti
parents:
1155
diff
changeset
|
260 static MethodHandlesAdapterBlob* create(int buffer_size); |
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 // Typing |
9eba43136cb5
6934494: JSR 292 MethodHandles adapters should be generated into their own CodeBlob
twisti
parents:
1155
diff
changeset
|
263 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
|
264 }; |
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 |
9eba43136cb5
6934494: JSR 292 MethodHandles adapters should be generated into their own CodeBlob
twisti
parents:
1155
diff
changeset
|
267 //---------------------------------------------------------------------------------------------------- |
0 | 268 // RuntimeStub: describes stubs used by compiled code to call a (static) C++ runtime routine |
269 | |
270 class RuntimeStub: public CodeBlob { | |
271 friend class VMStructs; | |
272 private: | |
273 bool _caller_must_gc_arguments; | |
274 | |
275 // Creation support | |
276 RuntimeStub( | |
277 const char* name, | |
278 CodeBuffer* cb, | |
279 int size, | |
280 int frame_complete, | |
281 int frame_size, | |
282 OopMapSet* oop_maps, | |
283 bool caller_must_gc_arguments | |
284 ); | |
285 | |
12146
9758d9f36299
8021954: VM SIGSEGV during classloading on MacOS; hs_err_pid file produced
coleenp
parents:
8767
diff
changeset
|
286 void* operator new(size_t s, unsigned size) throw(); |
0 | 287 |
288 public: | |
289 // Creation | |
290 static RuntimeStub* new_runtime_stub( | |
291 const char* stub_name, | |
292 CodeBuffer* cb, | |
293 int frame_complete, | |
294 int frame_size, | |
295 OopMapSet* oop_maps, | |
296 bool caller_must_gc_arguments | |
297 ); | |
298 | |
299 // Typing | |
300 bool is_runtime_stub() const { return true; } | |
301 | |
302 // GC support | |
303 bool caller_must_gc_arguments(JavaThread* thread) const { return _caller_must_gc_arguments; } | |
304 | |
1748 | 305 address entry_point() { return code_begin(); } |
0 | 306 |
307 // GC/Verification support | |
308 void preserve_callee_argument_oops(frame fr, const RegisterMap *reg_map, OopClosure* f) { /* nothing to do */ } | |
309 bool is_alive() const { return true; } | |
310 | |
311 void verify(); | |
1681
126ea7725993
6953477: Increase portability and flexibility of building Hotspot
bobv
parents:
1663
diff
changeset
|
312 void print_on(outputStream* st) const; |
126ea7725993
6953477: Increase portability and flexibility of building Hotspot
bobv
parents:
1663
diff
changeset
|
313 void print_value_on(outputStream* st) const; |
0 | 314 }; |
315 | |
316 | |
317 //---------------------------------------------------------------------------------------------------- | |
318 // Super-class for all blobs that exist in only one instance. Implements default behaviour. | |
319 | |
320 class SingletonBlob: public CodeBlob { | |
321 friend class VMStructs; | |
3363
167b70ff3abc
6939861: JVM should handle more conversion operations
never
parents:
1972
diff
changeset
|
322 |
167b70ff3abc
6939861: JVM should handle more conversion operations
never
parents:
1972
diff
changeset
|
323 protected: |
12146
9758d9f36299
8021954: VM SIGSEGV during classloading on MacOS; hs_err_pid file produced
coleenp
parents:
8767
diff
changeset
|
324 void* operator new(size_t s, unsigned size) throw(); |
3363
167b70ff3abc
6939861: JVM should handle more conversion operations
never
parents:
1972
diff
changeset
|
325 |
167b70ff3abc
6939861: JVM should handle more conversion operations
never
parents:
1972
diff
changeset
|
326 public: |
0 | 327 SingletonBlob( |
328 const char* name, | |
329 CodeBuffer* cb, | |
330 int header_size, | |
331 int size, | |
332 int frame_size, | |
333 OopMapSet* oop_maps | |
334 ) | |
335 : CodeBlob(name, cb, header_size, size, CodeOffsets::frame_never_safe, frame_size, oop_maps) | |
1748 | 336 {}; |
0 | 337 |
1748 | 338 address entry_point() { return code_begin(); } |
0 | 339 |
1748 | 340 bool is_alive() const { return true; } |
341 | |
342 void verify(); // does nothing | |
343 void print_on(outputStream* st) const; | |
344 void print_value_on(outputStream* st) const; | |
0 | 345 }; |
346 | |
347 | |
348 //---------------------------------------------------------------------------------------------------- | |
349 // DeoptimizationBlob | |
350 | |
351 class DeoptimizationBlob: public SingletonBlob { | |
352 friend class VMStructs; | |
353 private: | |
354 int _unpack_offset; | |
355 int _unpack_with_exception; | |
356 int _unpack_with_reexecution; | |
357 | |
358 int _unpack_with_exception_in_tls; | |
359 | |
9112
6c33b2076d7c
minor HotSpot deoptimization cleanups
Christian Haeubl <haeubl@ssw.jku.at>
parents:
8883
diff
changeset
|
360 #ifdef GRAAL |
7125
1baf7f1e3f23
decoupled C++ Graal runtime from C1
Doug Simon <doug.simon@oracle.com>
parents:
6948
diff
changeset
|
361 // (thomaswue) Offset when Graal calls uncommon_trap. |
2059
9508a52cbd32
Add deoptimization blob support.
Thomas Wuerthinger <wuerthinger@ssw.jku.at>
parents:
1972
diff
changeset
|
362 int _uncommon_trap_offset; |
5111
422c979ff392
fixed two cases where DeoptAction was invalid
Christian Haeubl <christian.haeubl@oracle.com>
parents:
5056
diff
changeset
|
363 int _implicit_exception_uncommon_trap_offset; |
9112
6c33b2076d7c
minor HotSpot deoptimization cleanups
Christian Haeubl <haeubl@ssw.jku.at>
parents:
8883
diff
changeset
|
364 #endif |
2059
9508a52cbd32
Add deoptimization blob support.
Thomas Wuerthinger <wuerthinger@ssw.jku.at>
parents:
1972
diff
changeset
|
365 |
0 | 366 // Creation support |
367 DeoptimizationBlob( | |
368 CodeBuffer* cb, | |
369 int size, | |
370 OopMapSet* oop_maps, | |
371 int unpack_offset, | |
372 int unpack_with_exception_offset, | |
373 int unpack_with_reexecution_offset, | |
374 int frame_size | |
375 ); | |
376 | |
377 public: | |
378 // Creation | |
379 static DeoptimizationBlob* create( | |
380 CodeBuffer* cb, | |
381 OopMapSet* oop_maps, | |
382 int unpack_offset, | |
383 int unpack_with_exception_offset, | |
384 int unpack_with_reexecution_offset, | |
385 int frame_size | |
386 ); | |
387 | |
388 // Typing | |
389 bool is_deoptimization_stub() const { return true; } | |
390 bool exception_address_is_unpack_entry(address pc) const { | |
391 address unpack_pc = unpack(); | |
392 return (pc == unpack_pc || (pc + frame::pc_return_offset) == unpack_pc); | |
393 } | |
394 | |
395 | |
396 | |
397 | |
398 // GC for args | |
399 void preserve_callee_argument_oops(frame fr, const RegisterMap *reg_map, OopClosure* f) { /* Nothing to do */ } | |
400 | |
401 // Printing | |
1681
126ea7725993
6953477: Increase portability and flexibility of building Hotspot
bobv
parents:
1663
diff
changeset
|
402 void print_value_on(outputStream* st) const; |
0 | 403 |
1748 | 404 address unpack() const { return code_begin() + _unpack_offset; } |
405 address unpack_with_exception() const { return code_begin() + _unpack_with_exception; } | |
406 address unpack_with_reexecution() const { return code_begin() + _unpack_with_reexecution; } | |
0 | 407 |
408 // Alternate entry point for C1 where the exception and issuing pc | |
409 // are in JavaThread::_exception_oop and JavaThread::_exception_pc | |
410 // instead of being in registers. This is needed because C1 doesn't | |
411 // model exception paths in a way that keeps these registers free so | |
412 // there may be live values in those registers during deopt. | |
413 void set_unpack_with_exception_in_tls_offset(int offset) { | |
414 _unpack_with_exception_in_tls = offset; | |
1748 | 415 assert(code_contains(code_begin() + _unpack_with_exception_in_tls), "must be PC inside codeblob"); |
0 | 416 } |
1748 | 417 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
|
418 |
9112
6c33b2076d7c
minor HotSpot deoptimization cleanups
Christian Haeubl <haeubl@ssw.jku.at>
parents:
8883
diff
changeset
|
419 #ifdef GRAAL |
7125
1baf7f1e3f23
decoupled C++ Graal runtime from C1
Doug Simon <doug.simon@oracle.com>
parents:
6948
diff
changeset
|
420 // (thomaswue) Offset when Graal calls uncommon_trap. |
2059
9508a52cbd32
Add deoptimization blob support.
Thomas Wuerthinger <wuerthinger@ssw.jku.at>
parents:
1972
diff
changeset
|
421 void set_uncommon_trap_offset(int offset) { |
9508a52cbd32
Add deoptimization blob support.
Thomas Wuerthinger <wuerthinger@ssw.jku.at>
parents:
1972
diff
changeset
|
422 _uncommon_trap_offset = offset; |
9508a52cbd32
Add deoptimization blob support.
Thomas Wuerthinger <wuerthinger@ssw.jku.at>
parents:
1972
diff
changeset
|
423 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
|
424 } |
9508a52cbd32
Add deoptimization blob support.
Thomas Wuerthinger <wuerthinger@ssw.jku.at>
parents:
1972
diff
changeset
|
425 address uncommon_trap() const { return code_begin() + _uncommon_trap_offset; } |
5111
422c979ff392
fixed two cases where DeoptAction was invalid
Christian Haeubl <christian.haeubl@oracle.com>
parents:
5056
diff
changeset
|
426 void set_implicit_exception_uncommon_trap_offset(int offset) { |
422c979ff392
fixed two cases where DeoptAction was invalid
Christian Haeubl <christian.haeubl@oracle.com>
parents:
5056
diff
changeset
|
427 _implicit_exception_uncommon_trap_offset = offset; |
422c979ff392
fixed two cases where DeoptAction was invalid
Christian Haeubl <christian.haeubl@oracle.com>
parents:
5056
diff
changeset
|
428 assert(contains(code_begin() + _implicit_exception_uncommon_trap_offset), "must be PC inside codeblob"); |
2605
98fa88528319
Deopt on implicit null pointer exception.
Thomas Wuerthinger <thomas@wuerthinger.net>
parents:
2059
diff
changeset
|
429 } |
5111
422c979ff392
fixed two cases where DeoptAction was invalid
Christian Haeubl <christian.haeubl@oracle.com>
parents:
5056
diff
changeset
|
430 address implicit_exception_uncommon_trap() const { return code_begin() + _implicit_exception_uncommon_trap_offset; } |
9112
6c33b2076d7c
minor HotSpot deoptimization cleanups
Christian Haeubl <haeubl@ssw.jku.at>
parents:
8883
diff
changeset
|
431 #endif |
0 | 432 }; |
433 | |
434 | |
435 //---------------------------------------------------------------------------------------------------- | |
436 // UncommonTrapBlob (currently only used by Compiler 2) | |
437 | |
438 #ifdef COMPILER2 | |
439 | |
440 class UncommonTrapBlob: public SingletonBlob { | |
441 friend class VMStructs; | |
442 private: | |
443 // Creation support | |
444 UncommonTrapBlob( | |
445 CodeBuffer* cb, | |
446 int size, | |
447 OopMapSet* oop_maps, | |
448 int frame_size | |
449 ); | |
450 | |
451 public: | |
452 // Creation | |
453 static UncommonTrapBlob* create( | |
454 CodeBuffer* cb, | |
455 OopMapSet* oop_maps, | |
456 int frame_size | |
457 ); | |
458 | |
459 // GC for args | |
460 void preserve_callee_argument_oops(frame fr, const RegisterMap *reg_map, OopClosure* f) { /* nothing to do */ } | |
461 | |
462 // Typing | |
463 bool is_uncommon_trap_stub() const { return true; } | |
464 }; | |
465 | |
466 | |
467 //---------------------------------------------------------------------------------------------------- | |
468 // ExceptionBlob: used for exception unwinding in compiled code (currently only used by Compiler 2) | |
469 | |
470 class ExceptionBlob: public SingletonBlob { | |
471 friend class VMStructs; | |
472 private: | |
473 // Creation support | |
474 ExceptionBlob( | |
475 CodeBuffer* cb, | |
476 int size, | |
477 OopMapSet* oop_maps, | |
478 int frame_size | |
479 ); | |
480 | |
481 public: | |
482 // Creation | |
483 static ExceptionBlob* create( | |
484 CodeBuffer* cb, | |
485 OopMapSet* oop_maps, | |
486 int frame_size | |
487 ); | |
488 | |
489 // GC for args | |
490 void preserve_callee_argument_oops(frame fr, const RegisterMap* reg_map, OopClosure* f) { /* nothing to do */ } | |
491 | |
492 // Typing | |
493 bool is_exception_stub() const { return true; } | |
494 }; | |
495 #endif // COMPILER2 | |
496 | |
497 | |
498 //---------------------------------------------------------------------------------------------------- | |
499 // SafepointBlob: handles illegal_instruction exceptions during a safepoint | |
500 | |
501 class SafepointBlob: public SingletonBlob { | |
502 friend class VMStructs; | |
503 private: | |
504 // Creation support | |
505 SafepointBlob( | |
506 CodeBuffer* cb, | |
507 int size, | |
508 OopMapSet* oop_maps, | |
509 int frame_size | |
510 ); | |
511 | |
512 public: | |
513 // Creation | |
514 static SafepointBlob* create( | |
515 CodeBuffer* cb, | |
516 OopMapSet* oop_maps, | |
517 int frame_size | |
518 ); | |
519 | |
520 // GC for args | |
521 void preserve_callee_argument_oops(frame fr, const RegisterMap* reg_map, OopClosure* f) { /* nothing to do */ } | |
522 | |
523 // Typing | |
524 bool is_safepoint_stub() const { return true; } | |
525 }; | |
1972 | 526 |
527 #endif // SHARE_VM_CODE_CODEBLOB_HPP |