Mercurial > hg > truffle
annotate src/share/vm/c1/c1_Runtime1.hpp @ 6290:01d274503562
canonicalize reads and writes on null objects to deopts
author | Lukas Stadler <lukas.stadler@jku.at> |
---|---|
date | Tue, 28 Aug 2012 12:15:10 +0200 |
parents | 957c266d8bc5 |
children | 6b74f44c5059 |
rev | line source |
---|---|
0 | 1 /* |
2168
e4fee0bdaa85
7008809: should report the class in ArrayStoreExceptions from compiled code
never
parents:
1972
diff
changeset
|
2 * Copyright (c) 1999, 2011, 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:
342
diff
changeset
|
19 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA |
c18cbe5936b8
6941466: Oracle rebranding changes for Hotspot repositories
trims
parents:
342
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:
342
diff
changeset
|
21 * questions. |
0 | 22 * |
23 */ | |
24 | |
1972 | 25 #ifndef SHARE_VM_C1_C1_RUNTIME1_HPP |
26 #define SHARE_VM_C1_C1_RUNTIME1_HPP | |
27 | |
28 #include "c1/c1_FrameMap.hpp" | |
29 #include "code/stubs.hpp" | |
30 #include "interpreter/interpreter.hpp" | |
31 #include "memory/allocation.hpp" | |
32 #include "runtime/deoptimization.hpp" | |
33 | |
0 | 34 class StubAssembler; |
35 | |
36 // The Runtime1 holds all assembly stubs and VM | |
37 // runtime routines needed by code code generated | |
38 // by the Compiler1. | |
4982
38012b8c29b1
create separate RUNTIME1_STUBS definition for non-graal build.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
4976
diff
changeset
|
39 #ifdef GRAAL |
0 | 40 #define RUNTIME1_STUBS(stub, last_entry) \ |
41 stub(dtrace_object_alloc) \ | |
42 stub(unwind_exception) \ | |
43 stub(forward_exception) \ | |
44 stub(throw_range_check_failed) /* throws ArrayIndexOutOfBoundsException */ \ | |
45 stub(throw_index_exception) /* throws IndexOutOfBoundsException */ \ | |
46 stub(throw_div0_exception) \ | |
47 stub(throw_null_pointer_exception) \ | |
48 stub(register_finalizer) \ | |
49 stub(new_instance) \ | |
50 stub(fast_new_instance) \ | |
51 stub(fast_new_instance_init_check) \ | |
52 stub(new_type_array) \ | |
53 stub(new_object_array) \ | |
54 stub(new_multi_array) \ | |
55 stub(handle_exception_nofpu) /* optimized version that does not preserve fpu registers */ \ | |
56 stub(handle_exception) \ | |
2321
1b4e6a5d98e0
7012914: JSR 292 MethodHandlesTest C1: frame::verify_return_pc(return_address) failed: must be a return pc
twisti
parents:
2168
diff
changeset
|
57 stub(handle_exception_from_callee) \ |
0 | 58 stub(throw_array_store_exception) \ |
59 stub(throw_class_cast_exception) \ | |
60 stub(throw_incompatible_class_change_error) \ | |
61 stub(slow_subtype_check) \ | |
62 stub(monitorenter) \ | |
63 stub(monitorenter_nofpu) /* optimized version that does not preserve fpu registers */ \ | |
64 stub(monitorexit) \ | |
65 stub(monitorexit_nofpu) /* optimized version that does not preserve fpu registers */ \ | |
4048
cec1757a0134
7102657: JSR 292: C1 deoptimizes unlinked invokedynamic call sites infinitely
twisti
parents:
3899
diff
changeset
|
66 stub(deoptimize) \ |
0 | 67 stub(access_field_patching) \ |
68 stub(load_klass_patching) \ | |
342 | 69 stub(g1_pre_barrier_slow) \ |
70 stub(g1_post_barrier_slow) \ | |
0 | 71 stub(fpu2long_stub) \ |
72 stub(counter_overflow) \ | |
3538
e4616e3d207b
support for new CiRuntimeCalls CreateNullPointerException and CreateOutOfBoundsException
Lukas Stadler <lukas.stadler@jku.at>
parents:
2891
diff
changeset
|
73 stub(graal_unwind_exception_call) \ |
e4616e3d207b
support for new CiRuntimeCalls CreateNullPointerException and CreateOutOfBoundsException
Lukas Stadler <lukas.stadler@jku.at>
parents:
2891
diff
changeset
|
74 stub(graal_slow_subtype_check) \ |
e4616e3d207b
support for new CiRuntimeCalls CreateNullPointerException and CreateOutOfBoundsException
Lukas Stadler <lukas.stadler@jku.at>
parents:
2891
diff
changeset
|
75 stub(graal_arithmetic_frem) \ |
e4616e3d207b
support for new CiRuntimeCalls CreateNullPointerException and CreateOutOfBoundsException
Lukas Stadler <lukas.stadler@jku.at>
parents:
2891
diff
changeset
|
76 stub(graal_arithmetic_drem) \ |
e4616e3d207b
support for new CiRuntimeCalls CreateNullPointerException and CreateOutOfBoundsException
Lukas Stadler <lukas.stadler@jku.at>
parents:
2891
diff
changeset
|
77 stub(graal_monitorenter) \ |
e4616e3d207b
support for new CiRuntimeCalls CreateNullPointerException and CreateOutOfBoundsException
Lukas Stadler <lukas.stadler@jku.at>
parents:
2891
diff
changeset
|
78 stub(graal_monitorexit) \ |
5624
7d25723b7699
added oop verification to NewInstanceSnippets when -XX:+VerifyOops is enabled
Doug Simon <doug.simon@oracle.com>
parents:
5580
diff
changeset
|
79 stub(graal_verify_oop) \ |
3558
bc95d122df79
added runtime call to supply info upon deoptimization
Lukas Stadler <lukas.stadler@jku.at>
parents:
3538
diff
changeset
|
80 stub(graal_set_deopt_info) \ |
3538
e4616e3d207b
support for new CiRuntimeCalls CreateNullPointerException and CreateOutOfBoundsException
Lukas Stadler <lukas.stadler@jku.at>
parents:
2891
diff
changeset
|
81 stub(graal_create_null_pointer_exception) \ |
e4616e3d207b
support for new CiRuntimeCalls CreateNullPointerException and CreateOutOfBoundsException
Lukas Stadler <lukas.stadler@jku.at>
parents:
2891
diff
changeset
|
82 stub(graal_create_out_of_bounds_exception) \ |
3682
6c04a4f268e5
implement generic callback mechanism (CiGenericCallback)
Lukas Stadler <lukas.stadler@jku.at>
parents:
3558
diff
changeset
|
83 stub(graal_generic_callback) \ |
5580
69358a2182a3
added printf-like facility (Log.java) for logging debug output in snippets
Doug Simon <doug.simon@oracle.com>
parents:
5573
diff
changeset
|
84 stub(graal_log_object) \ |
69358a2182a3
added printf-like facility (Log.java) for logging debug output in snippets
Doug Simon <doug.simon@oracle.com>
parents:
5573
diff
changeset
|
85 stub(graal_log_primitive) \ |
0 | 86 last_entry(number_of_ids) |
4982
38012b8c29b1
create separate RUNTIME1_STUBS definition for non-graal build.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
4976
diff
changeset
|
87 #else |
0 | 88 #define RUNTIME1_STUBS(stub, last_entry) \ |
89 stub(dtrace_object_alloc) \ | |
90 stub(unwind_exception) \ | |
91 stub(forward_exception) \ | |
92 stub(throw_range_check_failed) /* throws ArrayIndexOutOfBoundsException */ \ | |
93 stub(throw_index_exception) /* throws IndexOutOfBoundsException */ \ | |
94 stub(throw_div0_exception) \ | |
95 stub(throw_null_pointer_exception) \ | |
96 stub(register_finalizer) \ | |
97 stub(new_instance) \ | |
98 stub(fast_new_instance) \ | |
99 stub(fast_new_instance_init_check) \ | |
100 stub(new_type_array) \ | |
101 stub(new_object_array) \ | |
102 stub(new_multi_array) \ | |
103 stub(handle_exception_nofpu) /* optimized version that does not preserve fpu registers */ \ | |
104 stub(handle_exception) \ | |
2321
1b4e6a5d98e0
7012914: JSR 292 MethodHandlesTest C1: frame::verify_return_pc(return_address) failed: must be a return pc
twisti
parents:
2168
diff
changeset
|
105 stub(handle_exception_from_callee) \ |
0 | 106 stub(throw_array_store_exception) \ |
107 stub(throw_class_cast_exception) \ | |
108 stub(throw_incompatible_class_change_error) \ | |
109 stub(slow_subtype_check) \ | |
110 stub(monitorenter) \ | |
111 stub(monitorenter_nofpu) /* optimized version that does not preserve fpu registers */ \ | |
112 stub(monitorexit) \ | |
113 stub(monitorexit_nofpu) /* optimized version that does not preserve fpu registers */ \ | |
4048
cec1757a0134
7102657: JSR 292: C1 deoptimizes unlinked invokedynamic call sites infinitely
twisti
parents:
3899
diff
changeset
|
114 stub(deoptimize) \ |
0 | 115 stub(access_field_patching) \ |
116 stub(load_klass_patching) \ | |
342 | 117 stub(g1_pre_barrier_slow) \ |
118 stub(g1_post_barrier_slow) \ | |
0 | 119 stub(fpu2long_stub) \ |
120 stub(counter_overflow) \ | |
121 last_entry(number_of_ids) | |
4982
38012b8c29b1
create separate RUNTIME1_STUBS definition for non-graal build.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
4976
diff
changeset
|
122 #endif |
0 | 123 |
124 #define DECLARE_STUB_ID(x) x ## _id , | |
125 #define DECLARE_LAST_STUB_ID(x) x | |
126 #define STUB_NAME(x) #x " Runtime1 stub", | |
127 #define LAST_STUB_NAME(x) #x " Runtime1 stub" | |
128 | |
129 class Runtime1: public AllStatic { | |
130 friend class VMStructs; | |
131 friend class ArrayCopyStub; | |
132 | |
133 public: | |
134 enum StubID { | |
135 RUNTIME1_STUBS(DECLARE_STUB_ID, DECLARE_LAST_STUB_ID) | |
136 }; | |
137 | |
138 // statistics | |
139 #ifndef PRODUCT | |
140 static int _resolve_invoke_cnt; | |
141 static int _handle_wrong_method_cnt; | |
142 static int _ic_miss_cnt; | |
143 static int _generic_arraycopy_cnt; | |
144 static int _primitive_arraycopy_cnt; | |
145 static int _oop_arraycopy_cnt; | |
2446 | 146 static int _generic_arraycopystub_cnt; |
0 | 147 static int _arraycopy_slowcase_cnt; |
2446 | 148 static int _arraycopy_checkcast_cnt; |
149 static int _arraycopy_checkcast_attempt_cnt; | |
0 | 150 static int _new_type_array_slowcase_cnt; |
151 static int _new_object_array_slowcase_cnt; | |
152 static int _new_instance_slowcase_cnt; | |
153 static int _new_multi_array_slowcase_cnt; | |
154 static int _monitorenter_slowcase_cnt; | |
155 static int _monitorexit_slowcase_cnt; | |
156 static int _patch_code_slowcase_cnt; | |
157 static int _throw_range_check_exception_count; | |
158 static int _throw_index_exception_count; | |
159 static int _throw_div0_exception_count; | |
160 static int _throw_null_pointer_exception_count; | |
161 static int _throw_class_cast_exception_count; | |
162 static int _throw_incompatible_class_change_error_count; | |
163 static int _throw_array_store_exception_count; | |
164 static int _throw_count; | |
165 #endif | |
166 | |
167 private: | |
168 static CodeBlob* _blobs[number_of_ids]; | |
169 static const char* _blob_names[]; | |
170 | |
171 // stub generation | |
2321
1b4e6a5d98e0
7012914: JSR 292 MethodHandlesTest C1: frame::verify_return_pc(return_address) failed: must be a return pc
twisti
parents:
2168
diff
changeset
|
172 static void generate_blob_for(BufferBlob* blob, StubID id); |
1b4e6a5d98e0
7012914: JSR 292 MethodHandlesTest C1: frame::verify_return_pc(return_address) failed: must be a return pc
twisti
parents:
2168
diff
changeset
|
173 static OopMapSet* generate_code_for(StubID id, StubAssembler* sasm); |
0 | 174 static OopMapSet* generate_exception_throw(StubAssembler* sasm, address target, bool has_argument); |
2321
1b4e6a5d98e0
7012914: JSR 292 MethodHandlesTest C1: frame::verify_return_pc(return_address) failed: must be a return pc
twisti
parents:
2168
diff
changeset
|
175 static OopMapSet* generate_handle_exception(StubID id, StubAssembler* sasm); |
1b4e6a5d98e0
7012914: JSR 292 MethodHandlesTest C1: frame::verify_return_pc(return_address) failed: must be a return pc
twisti
parents:
2168
diff
changeset
|
176 static void generate_unwind_exception(StubAssembler *sasm); |
0 | 177 static OopMapSet* generate_patching(StubAssembler* sasm, address target); |
178 | |
179 static OopMapSet* generate_stub_call(StubAssembler* sasm, Register result, address entry, | |
180 Register arg1 = noreg, Register arg2 = noreg, Register arg3 = noreg); | |
181 | |
182 // runtime entry points | |
183 static void new_instance (JavaThread* thread, klassOopDesc* klass); | |
184 static void new_type_array (JavaThread* thread, klassOopDesc* klass, jint length); | |
185 static void new_object_array(JavaThread* thread, klassOopDesc* klass, jint length); | |
186 static void new_multi_array (JavaThread* thread, klassOopDesc* klass, int rank, jint* dims); | |
187 | |
1783 | 188 static address counter_overflow(JavaThread* thread, int bci, methodOopDesc* method); |
0 | 189 |
190 static void unimplemented_entry (JavaThread* thread, StubID id); | |
191 | |
192 static address exception_handler_for_pc(JavaThread* thread); | |
193 | |
194 static void throw_range_check_exception(JavaThread* thread, int index); | |
195 static void throw_index_exception(JavaThread* thread, int index); | |
196 static void throw_div0_exception(JavaThread* thread); | |
197 static void throw_null_pointer_exception(JavaThread* thread); | |
2168
e4fee0bdaa85
7008809: should report the class in ArrayStoreExceptions from compiled code
never
parents:
1972
diff
changeset
|
198 static void throw_class_cast_exception(JavaThread* thread, oopDesc* object); |
0 | 199 static void throw_incompatible_class_change_error(JavaThread* thread); |
2168
e4fee0bdaa85
7008809: should report the class in ArrayStoreExceptions from compiled code
never
parents:
1972
diff
changeset
|
200 static void throw_array_store_exception(JavaThread* thread, oopDesc* object); |
0 | 201 static void monitorenter(JavaThread* thread, oopDesc* obj, BasicObjectLock* lock); |
202 static void monitorexit (JavaThread* thread, BasicObjectLock* lock); | |
4976
8f01f899bccd
More GRAAL #ifdef; ignore graal directory on windows for client/server configuration.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
4697
diff
changeset
|
203 #ifdef GRAAL |
5573
f5cfb62f17b8
moved platform-independent Graal code from c1_Runtime1_x86.cpp to c1_Runtime1.[hpp,cpp]
Doug Simon <doug.simon@oracle.com>
parents:
4982
diff
changeset
|
204 static void graal_create_null_exception(JavaThread* thread); |
f5cfb62f17b8
moved platform-independent Graal code from c1_Runtime1_x86.cpp to c1_Runtime1.[hpp,cpp]
Doug Simon <doug.simon@oracle.com>
parents:
4982
diff
changeset
|
205 static void graal_create_out_of_bounds_exception(JavaThread* thread, jint index); |
f5cfb62f17b8
moved platform-independent Graal code from c1_Runtime1_x86.cpp to c1_Runtime1.[hpp,cpp]
Doug Simon <doug.simon@oracle.com>
parents:
4982
diff
changeset
|
206 static void graal_generic_callback(JavaThread* thread, oop _callback, oop _argument); |
3714
b648304ba4ff
Change Graal monitor enter and exit from BasicObjectLock to BasicLock
Christian Wimmer <christian.wimmer@oracle.com>
parents:
3682
diff
changeset
|
207 static void graal_monitorenter(JavaThread* thread, oopDesc* obj, BasicLock* lock); |
b648304ba4ff
Change Graal monitor enter and exit from BasicObjectLock to BasicLock
Christian Wimmer <christian.wimmer@oracle.com>
parents:
3682
diff
changeset
|
208 static void graal_monitorexit (JavaThread* thread, oopDesc* obj, BasicLock* lock); |
5580
69358a2182a3
added printf-like facility (Log.java) for logging debug output in snippets
Doug Simon <doug.simon@oracle.com>
parents:
5573
diff
changeset
|
209 static void graal_log_primitive(JavaThread* thread, jchar typeChar, jlong value, jboolean newline); |
69358a2182a3
added printf-like facility (Log.java) for logging debug output in snippets
Doug Simon <doug.simon@oracle.com>
parents:
5573
diff
changeset
|
210 static void graal_log_object(JavaThread* thread, oop msg, jboolean newline, jboolean string); |
4976
8f01f899bccd
More GRAAL #ifdef; ignore graal directory on windows for client/server configuration.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
4697
diff
changeset
|
211 #endif |
0 | 212 |
4048
cec1757a0134
7102657: JSR 292: C1 deoptimizes unlinked invokedynamic call sites infinitely
twisti
parents:
3899
diff
changeset
|
213 static void deoptimize(JavaThread* thread); |
cec1757a0134
7102657: JSR 292: C1 deoptimizes unlinked invokedynamic call sites infinitely
twisti
parents:
3899
diff
changeset
|
214 |
0 | 215 static int access_field_patching(JavaThread* thread); |
216 static int move_klass_patching(JavaThread* thread); | |
217 | |
218 static void patch_code(JavaThread* thread, StubID stub_id); | |
219 | |
220 public: | |
221 // initialization | |
1584 | 222 static void initialize(BufferBlob* blob); |
0 | 223 static void initialize_pd(); |
224 | |
225 // stubs | |
226 static CodeBlob* blob_for (StubID id); | |
1748 | 227 static address entry_for(StubID id) { return blob_for(id)->code_begin(); } |
0 | 228 static const char* name_for (StubID id); |
229 static const char* name_for_address(address entry); | |
230 | |
1681
126ea7725993
6953477: Increase portability and flexibility of building Hotspot
bobv
parents:
1584
diff
changeset
|
231 // platform might add runtime names. |
126ea7725993
6953477: Increase portability and flexibility of building Hotspot
bobv
parents:
1584
diff
changeset
|
232 static const char* pd_name_for_address(address entry); |
126ea7725993
6953477: Increase portability and flexibility of building Hotspot
bobv
parents:
1584
diff
changeset
|
233 |
0 | 234 // method tracing |
235 static void trace_block_entry(jint block_id); | |
236 | |
237 #ifndef PRODUCT | |
2446 | 238 static address throw_count_address() { return (address)&_throw_count; } |
239 static address arraycopy_count_address(BasicType type); | |
0 | 240 #endif |
241 | |
242 // directly accessible leaf routine | |
243 static int arraycopy(oopDesc* src, int src_pos, oopDesc* dst, int dst_pos, int length); | |
244 static void primitive_arraycopy(HeapWord* src, HeapWord* dst, int length); | |
245 static void oop_arraycopy(HeapWord* src, HeapWord* dst, int length); | |
6135 | 246 static int is_instance_of(oopDesc* mirror, oopDesc* obj); |
0 | 247 |
248 static void print_statistics() PRODUCT_RETURN; | |
249 }; | |
1972 | 250 |
251 #endif // SHARE_VM_C1_C1_RUNTIME1_HPP |