Mercurial > hg > truffle
annotate src/share/vm/code/codeBlob.hpp @ 3363:167b70ff3abc
6939861: JVM should handle more conversion operations
Reviewed-by: twisti, jrose
| author | never |
|---|---|
| date | Fri, 06 May 2011 16:33:13 -0700 |
| parents | f95d63e2154a |
| children | be4ca325525a 1d7922586cf6 |
| 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 | |
| 408 // Creation support | |
| 409 DeoptimizationBlob( | |
| 410 CodeBuffer* cb, | |
| 411 int size, | |
| 412 OopMapSet* oop_maps, | |
| 413 int unpack_offset, | |
| 414 int unpack_with_exception_offset, | |
| 415 int unpack_with_reexecution_offset, | |
| 416 int frame_size | |
| 417 ); | |
| 418 | |
| 419 public: | |
| 420 // Creation | |
| 421 static DeoptimizationBlob* create( | |
| 422 CodeBuffer* cb, | |
| 423 OopMapSet* oop_maps, | |
| 424 int unpack_offset, | |
| 425 int unpack_with_exception_offset, | |
| 426 int unpack_with_reexecution_offset, | |
| 427 int frame_size | |
| 428 ); | |
| 429 | |
| 430 // Typing | |
| 431 bool is_deoptimization_stub() const { return true; } | |
| 432 bool exception_address_is_unpack_entry(address pc) const { | |
| 433 address unpack_pc = unpack(); | |
| 434 return (pc == unpack_pc || (pc + frame::pc_return_offset) == unpack_pc); | |
| 435 } | |
| 436 | |
| 437 | |
| 438 | |
| 439 | |
| 440 // GC for args | |
| 441 void preserve_callee_argument_oops(frame fr, const RegisterMap *reg_map, OopClosure* f) { /* Nothing to do */ } | |
| 442 | |
| 443 // Printing | |
|
1681
126ea7725993
6953477: Increase portability and flexibility of building Hotspot
bobv
parents:
1663
diff
changeset
|
444 void print_value_on(outputStream* st) const; |
| 0 | 445 |
| 1748 | 446 address unpack() const { return code_begin() + _unpack_offset; } |
| 447 address unpack_with_exception() const { return code_begin() + _unpack_with_exception; } | |
| 448 address unpack_with_reexecution() const { return code_begin() + _unpack_with_reexecution; } | |
| 0 | 449 |
| 450 // Alternate entry point for C1 where the exception and issuing pc | |
| 451 // are in JavaThread::_exception_oop and JavaThread::_exception_pc | |
| 452 // instead of being in registers. This is needed because C1 doesn't | |
| 453 // model exception paths in a way that keeps these registers free so | |
| 454 // there may be live values in those registers during deopt. | |
| 455 void set_unpack_with_exception_in_tls_offset(int offset) { | |
| 456 _unpack_with_exception_in_tls = offset; | |
| 1748 | 457 assert(code_contains(code_begin() + _unpack_with_exception_in_tls), "must be PC inside codeblob"); |
| 0 | 458 } |
| 1748 | 459 address unpack_with_exception_in_tls() const { return code_begin() + _unpack_with_exception_in_tls; } |
| 0 | 460 }; |
| 461 | |
| 462 | |
| 463 //---------------------------------------------------------------------------------------------------- | |
| 464 // UncommonTrapBlob (currently only used by Compiler 2) | |
| 465 | |
| 466 #ifdef COMPILER2 | |
| 467 | |
| 468 class UncommonTrapBlob: public SingletonBlob { | |
| 469 friend class VMStructs; | |
| 470 private: | |
| 471 // Creation support | |
| 472 UncommonTrapBlob( | |
| 473 CodeBuffer* cb, | |
| 474 int size, | |
| 475 OopMapSet* oop_maps, | |
| 476 int frame_size | |
| 477 ); | |
| 478 | |
| 479 public: | |
| 480 // Creation | |
| 481 static UncommonTrapBlob* create( | |
| 482 CodeBuffer* cb, | |
| 483 OopMapSet* oop_maps, | |
| 484 int frame_size | |
| 485 ); | |
| 486 | |
| 487 // GC for args | |
| 488 void preserve_callee_argument_oops(frame fr, const RegisterMap *reg_map, OopClosure* f) { /* nothing to do */ } | |
| 489 | |
| 490 // Typing | |
| 491 bool is_uncommon_trap_stub() const { return true; } | |
| 492 }; | |
| 493 | |
| 494 | |
| 495 //---------------------------------------------------------------------------------------------------- | |
| 496 // ExceptionBlob: used for exception unwinding in compiled code (currently only used by Compiler 2) | |
| 497 | |
| 498 class ExceptionBlob: public SingletonBlob { | |
| 499 friend class VMStructs; | |
| 500 private: | |
| 501 // Creation support | |
| 502 ExceptionBlob( | |
| 503 CodeBuffer* cb, | |
| 504 int size, | |
| 505 OopMapSet* oop_maps, | |
| 506 int frame_size | |
| 507 ); | |
| 508 | |
| 509 public: | |
| 510 // Creation | |
| 511 static ExceptionBlob* create( | |
| 512 CodeBuffer* cb, | |
| 513 OopMapSet* oop_maps, | |
| 514 int frame_size | |
| 515 ); | |
| 516 | |
| 517 // GC for args | |
| 518 void preserve_callee_argument_oops(frame fr, const RegisterMap* reg_map, OopClosure* f) { /* nothing to do */ } | |
| 519 | |
| 520 // Typing | |
| 521 bool is_exception_stub() const { return true; } | |
| 522 }; | |
| 523 #endif // COMPILER2 | |
| 524 | |
| 525 | |
| 526 //---------------------------------------------------------------------------------------------------- | |
| 527 // SafepointBlob: handles illegal_instruction exceptions during a safepoint | |
| 528 | |
| 529 class SafepointBlob: public SingletonBlob { | |
| 530 friend class VMStructs; | |
| 531 private: | |
| 532 // Creation support | |
| 533 SafepointBlob( | |
| 534 CodeBuffer* cb, | |
| 535 int size, | |
| 536 OopMapSet* oop_maps, | |
| 537 int frame_size | |
| 538 ); | |
| 539 | |
| 540 public: | |
| 541 // Creation | |
| 542 static SafepointBlob* create( | |
| 543 CodeBuffer* cb, | |
| 544 OopMapSet* oop_maps, | |
| 545 int frame_size | |
| 546 ); | |
| 547 | |
| 548 // GC for args | |
| 549 void preserve_callee_argument_oops(frame fr, const RegisterMap* reg_map, OopClosure* f) { /* nothing to do */ } | |
| 550 | |
| 551 // Typing | |
| 552 bool is_safepoint_stub() const { return true; } | |
| 553 }; | |
| 1972 | 554 |
| 555 #endif // SHARE_VM_CODE_CODEBLOB_HPP |