Mercurial > hg > truffle
annotate src/cpu/sparc/vm/c1_CodeStubs_sparc.cpp @ 4678:a03f3fd16b22
Fix reexecute boolean in HotSpot debug information. Introduce "duringCall" flag in FrameState that indicates that the bci of the frame state denotes an invoke that should *not* be reexecuted.
author | Thomas Wuerthinger <thomas.wuerthinger@oracle.com> |
---|---|
date | Thu, 23 Feb 2012 21:43:59 +0100 |
parents | cec1757a0134 |
children | 069ab3f976d3 |
rev | line source |
---|---|
0 | 1 /* |
2168
e4fee0bdaa85
7008809: should report the class in ArrayStoreExceptions from compiled code
never
parents:
2002
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:
1295
diff
changeset
|
19 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA |
c18cbe5936b8
6941466: Oracle rebranding changes for Hotspot repositories
trims
parents:
1295
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:
1295
diff
changeset
|
21 * questions. |
0 | 22 * |
23 */ | |
24 | |
1972 | 25 #include "precompiled.hpp" |
26 #include "c1/c1_CodeStubs.hpp" | |
27 #include "c1/c1_FrameMap.hpp" | |
28 #include "c1/c1_LIRAssembler.hpp" | |
29 #include "c1/c1_MacroAssembler.hpp" | |
30 #include "c1/c1_Runtime1.hpp" | |
31 #include "nativeInst_sparc.hpp" | |
32 #include "runtime/sharedRuntime.hpp" | |
33 #include "vmreg_sparc.inline.hpp" | |
34 #ifndef SERIALGC | |
35 #include "gc_implementation/g1/g1SATBCardTableModRefBS.hpp" | |
36 #endif | |
0 | 37 |
38 #define __ ce->masm()-> | |
39 | |
40 RangeCheckStub::RangeCheckStub(CodeEmitInfo* info, LIR_Opr index, | |
41 bool throw_index_out_of_bounds_exception) | |
42 : _throw_index_out_of_bounds_exception(throw_index_out_of_bounds_exception) | |
43 , _index(index) | |
44 { | |
1819 | 45 assert(info != NULL, "must have info"); |
0 | 46 _info = new CodeEmitInfo(info); |
47 } | |
48 | |
49 | |
50 void RangeCheckStub::emit_code(LIR_Assembler* ce) { | |
51 __ bind(_entry); | |
52 | |
53 if (_index->is_register()) { | |
54 __ mov(_index->as_register(), G4); | |
55 } else { | |
56 __ set(_index->as_jint(), G4); | |
57 } | |
58 if (_throw_index_out_of_bounds_exception) { | |
59 __ call(Runtime1::entry_for(Runtime1::throw_index_exception_id), relocInfo::runtime_call_type); | |
60 } else { | |
61 __ call(Runtime1::entry_for(Runtime1::throw_range_check_failed_id), relocInfo::runtime_call_type); | |
62 } | |
63 __ delayed()->nop(); | |
64 ce->add_call_info_here(_info); | |
65 ce->verify_oop_map(_info); | |
66 #ifdef ASSERT | |
67 __ should_not_reach_here(); | |
68 #endif | |
69 } | |
70 | |
71 | |
72 void CounterOverflowStub::emit_code(LIR_Assembler* ce) { | |
73 __ bind(_entry); | |
74 __ set(_bci, G4); | |
75 __ call(Runtime1::entry_for(Runtime1::counter_overflow_id), relocInfo::runtime_call_type); | |
1783 | 76 __ delayed()->mov_or_nop(_method->as_register(), G5); |
0 | 77 ce->add_call_info_here(_info); |
78 ce->verify_oop_map(_info); | |
79 | |
80 __ br(Assembler::always, true, Assembler::pt, _continuation); | |
81 __ delayed()->nop(); | |
82 } | |
83 | |
84 | |
85 void DivByZeroStub::emit_code(LIR_Assembler* ce) { | |
86 if (_offset != -1) { | |
87 ce->compilation()->implicit_exception_table()->append(_offset, __ offset()); | |
88 } | |
89 __ bind(_entry); | |
90 __ call(Runtime1::entry_for(Runtime1::throw_div0_exception_id), relocInfo::runtime_call_type); | |
91 __ delayed()->nop(); | |
92 ce->add_call_info_here(_info); | |
93 ce->verify_oop_map(_info); | |
94 #ifdef ASSERT | |
95 __ should_not_reach_here(); | |
96 #endif | |
97 } | |
98 | |
99 | |
100 void ImplicitNullCheckStub::emit_code(LIR_Assembler* ce) { | |
101 ce->compilation()->implicit_exception_table()->append(_offset, __ offset()); | |
102 __ bind(_entry); | |
103 __ call(Runtime1::entry_for(Runtime1::throw_null_pointer_exception_id), | |
104 relocInfo::runtime_call_type); | |
105 __ delayed()->nop(); | |
106 ce->add_call_info_here(_info); | |
107 ce->verify_oop_map(_info); | |
108 #ifdef ASSERT | |
109 __ should_not_reach_here(); | |
110 #endif | |
111 } | |
112 | |
113 | |
114 // Implementation of SimpleExceptionStub | |
115 // Note: %g1 and %g3 are already in use | |
116 void SimpleExceptionStub::emit_code(LIR_Assembler* ce) { | |
117 __ bind(_entry); | |
118 __ call(Runtime1::entry_for(_stub), relocInfo::runtime_call_type); | |
119 | |
120 if (_obj->is_valid()) { | |
121 __ delayed()->mov(_obj->as_register(), G4); // _obj contains the optional argument to the stub | |
122 } else { | |
123 __ delayed()->mov(G0, G4); | |
124 } | |
125 ce->add_call_info_here(_info); | |
126 #ifdef ASSERT | |
127 __ should_not_reach_here(); | |
128 #endif | |
129 } | |
130 | |
131 | |
132 // Implementation of NewInstanceStub | |
133 | |
134 NewInstanceStub::NewInstanceStub(LIR_Opr klass_reg, LIR_Opr result, ciInstanceKlass* klass, CodeEmitInfo* info, Runtime1::StubID stub_id) { | |
135 _result = result; | |
136 _klass = klass; | |
137 _klass_reg = klass_reg; | |
138 _info = new CodeEmitInfo(info); | |
139 assert(stub_id == Runtime1::new_instance_id || | |
140 stub_id == Runtime1::fast_new_instance_id || | |
141 stub_id == Runtime1::fast_new_instance_init_check_id, | |
142 "need new_instance id"); | |
143 _stub_id = stub_id; | |
144 } | |
145 | |
146 | |
147 void NewInstanceStub::emit_code(LIR_Assembler* ce) { | |
148 __ bind(_entry); | |
149 __ call(Runtime1::entry_for(_stub_id), relocInfo::runtime_call_type); | |
150 __ delayed()->mov_or_nop(_klass_reg->as_register(), G5); | |
151 ce->add_call_info_here(_info); | |
152 ce->verify_oop_map(_info); | |
153 __ br(Assembler::always, false, Assembler::pt, _continuation); | |
154 __ delayed()->mov_or_nop(O0, _result->as_register()); | |
155 } | |
156 | |
157 | |
158 // Implementation of NewTypeArrayStub | |
159 NewTypeArrayStub::NewTypeArrayStub(LIR_Opr klass_reg, LIR_Opr length, LIR_Opr result, CodeEmitInfo* info) { | |
160 _klass_reg = klass_reg; | |
161 _length = length; | |
162 _result = result; | |
163 _info = new CodeEmitInfo(info); | |
164 } | |
165 | |
166 | |
167 void NewTypeArrayStub::emit_code(LIR_Assembler* ce) { | |
168 __ bind(_entry); | |
169 | |
170 __ mov(_length->as_register(), G4); | |
171 __ call(Runtime1::entry_for(Runtime1::new_type_array_id), relocInfo::runtime_call_type); | |
172 __ delayed()->mov_or_nop(_klass_reg->as_register(), G5); | |
173 ce->add_call_info_here(_info); | |
174 ce->verify_oop_map(_info); | |
175 __ br(Assembler::always, false, Assembler::pt, _continuation); | |
176 __ delayed()->mov_or_nop(O0, _result->as_register()); | |
177 } | |
178 | |
179 | |
180 // Implementation of NewObjectArrayStub | |
181 | |
182 NewObjectArrayStub::NewObjectArrayStub(LIR_Opr klass_reg, LIR_Opr length, LIR_Opr result, CodeEmitInfo* info) { | |
183 _klass_reg = klass_reg; | |
184 _length = length; | |
185 _result = result; | |
186 _info = new CodeEmitInfo(info); | |
187 } | |
188 | |
189 | |
190 void NewObjectArrayStub::emit_code(LIR_Assembler* ce) { | |
191 __ bind(_entry); | |
192 | |
193 __ mov(_length->as_register(), G4); | |
194 __ call(Runtime1::entry_for(Runtime1::new_object_array_id), relocInfo::runtime_call_type); | |
195 __ delayed()->mov_or_nop(_klass_reg->as_register(), G5); | |
196 ce->add_call_info_here(_info); | |
197 ce->verify_oop_map(_info); | |
198 __ br(Assembler::always, false, Assembler::pt, _continuation); | |
199 __ delayed()->mov_or_nop(O0, _result->as_register()); | |
200 } | |
201 | |
202 | |
203 // Implementation of MonitorAccessStubs | |
204 MonitorEnterStub::MonitorEnterStub(LIR_Opr obj_reg, LIR_Opr lock_reg, CodeEmitInfo* info) | |
205 : MonitorAccessStub(obj_reg, lock_reg) { | |
206 _info = new CodeEmitInfo(info); | |
207 } | |
208 | |
209 | |
210 void MonitorEnterStub::emit_code(LIR_Assembler* ce) { | |
211 __ bind(_entry); | |
212 __ mov(_obj_reg->as_register(), G4); | |
213 if (ce->compilation()->has_fpu_code()) { | |
214 __ call(Runtime1::entry_for(Runtime1::monitorenter_id), relocInfo::runtime_call_type); | |
215 } else { | |
216 __ call(Runtime1::entry_for(Runtime1::monitorenter_nofpu_id), relocInfo::runtime_call_type); | |
217 } | |
218 __ delayed()->mov_or_nop(_lock_reg->as_register(), G5); | |
219 ce->add_call_info_here(_info); | |
220 ce->verify_oop_map(_info); | |
221 __ br(Assembler::always, true, Assembler::pt, _continuation); | |
222 __ delayed()->nop(); | |
223 } | |
224 | |
225 | |
226 void MonitorExitStub::emit_code(LIR_Assembler* ce) { | |
227 __ bind(_entry); | |
228 if (_compute_lock) { | |
229 ce->monitor_address(_monitor_ix, _lock_reg); | |
230 } | |
231 if (ce->compilation()->has_fpu_code()) { | |
232 __ call(Runtime1::entry_for(Runtime1::monitorexit_id), relocInfo::runtime_call_type); | |
233 } else { | |
234 __ call(Runtime1::entry_for(Runtime1::monitorexit_nofpu_id), relocInfo::runtime_call_type); | |
235 } | |
236 | |
237 __ delayed()->mov_or_nop(_lock_reg->as_register(), G4); | |
238 __ br(Assembler::always, true, Assembler::pt, _continuation); | |
239 __ delayed()->nop(); | |
240 } | |
241 | |
242 // Implementation of patching: | |
243 // - Copy the code at given offset to an inlined buffer (first the bytes, then the number of bytes) | |
244 // - Replace original code with a call to the stub | |
245 // At Runtime: | |
246 // - call to stub, jump to runtime | |
247 // - in runtime: preserve all registers (especially objects, i.e., source and destination object) | |
248 // - in runtime: after initializing class, restore original code, reexecute instruction | |
249 | |
250 int PatchingStub::_patch_info_offset = -NativeGeneralJump::instruction_size; | |
251 | |
252 void PatchingStub::align_patch_site(MacroAssembler* ) { | |
253 // patch sites on sparc are always properly aligned. | |
254 } | |
255 | |
256 void PatchingStub::emit_code(LIR_Assembler* ce) { | |
257 // copy original code here | |
258 assert(NativeCall::instruction_size <= _bytes_to_copy && _bytes_to_copy <= 0xFF, | |
259 "not enough room for call"); | |
260 assert((_bytes_to_copy & 0x3) == 0, "must copy a multiple of four bytes"); | |
261 | |
262 Label call_patch; | |
263 | |
264 int being_initialized_entry = __ offset(); | |
265 | |
266 if (_id == load_klass_id) { | |
267 // produce a copy of the load klass instruction for use by the being initialized case | |
727 | 268 #ifdef ASSERT |
0 | 269 address start = __ pc(); |
727 | 270 #endif |
271 AddressLiteral addrlit(NULL, oop_Relocation::spec(_oop_index)); | |
272 __ patchable_set(addrlit, _obj); | |
0 | 273 |
274 #ifdef ASSERT | |
275 for (int i = 0; i < _bytes_to_copy; i++) { | |
276 address ptr = (address)(_pc_start + i); | |
277 int a_byte = (*ptr) & 0xFF; | |
278 assert(a_byte == *start++, "should be the same code"); | |
279 } | |
280 #endif | |
281 } else { | |
282 // make a copy the code which is going to be patched. | |
283 for (int i = 0; i < _bytes_to_copy; i++) { | |
284 address ptr = (address)(_pc_start + i); | |
285 int a_byte = (*ptr) & 0xFF; | |
286 __ a_byte (a_byte); | |
287 } | |
288 } | |
289 | |
290 address end_of_patch = __ pc(); | |
291 int bytes_to_skip = 0; | |
292 if (_id == load_klass_id) { | |
293 int offset = __ offset(); | |
294 if (CommentedAssembly) { | |
295 __ block_comment(" being_initialized check"); | |
296 } | |
297 | |
298 // static field accesses have special semantics while the class | |
299 // initializer is being run so we emit a test which can be used to | |
300 // check that this code is being executed by the initializing | |
301 // thread. | |
302 assert(_obj != noreg, "must be a valid register"); | |
303 assert(_oop_index >= 0, "must have oop index"); | |
2380
32f7097f9d8f
7030300: more nightly failures after statics in Class changes
never
parents:
2376
diff
changeset
|
304 __ load_heap_oop(_obj, java_lang_Class::klass_offset_in_bytes(), G3); |
2376
c7f3d0b4570f
7017732: move static fields into Class to prepare for perm gen removal
never
parents:
2168
diff
changeset
|
305 __ ld_ptr(G3, instanceKlass::init_thread_offset_in_bytes() + sizeof(klassOopDesc), G3); |
3839 | 306 __ cmp_and_brx_short(G2_thread, G3, Assembler::notEqual, Assembler::pn, call_patch); |
0 | 307 |
308 // load_klass patches may execute the patched code before it's | |
309 // copied back into place so we need to jump back into the main | |
310 // code of the nmethod to continue execution. | |
311 __ br(Assembler::always, false, Assembler::pt, _patch_site_continuation); | |
312 __ delayed()->nop(); | |
313 | |
314 // make sure this extra code gets skipped | |
315 bytes_to_skip += __ offset() - offset; | |
316 } | |
317 | |
318 // Now emit the patch record telling the runtime how to find the | |
319 // pieces of the patch. We only need 3 bytes but it has to be | |
320 // aligned as an instruction so emit 4 bytes. | |
321 int sizeof_patch_record = 4; | |
322 bytes_to_skip += sizeof_patch_record; | |
323 | |
324 // emit the offsets needed to find the code to patch | |
325 int being_initialized_entry_offset = __ offset() - being_initialized_entry + sizeof_patch_record; | |
326 | |
327 // Emit the patch record. We need to emit a full word, so emit an extra empty byte | |
328 __ a_byte(0); | |
329 __ a_byte(being_initialized_entry_offset); | |
330 __ a_byte(bytes_to_skip); | |
331 __ a_byte(_bytes_to_copy); | |
332 address patch_info_pc = __ pc(); | |
333 assert(patch_info_pc - end_of_patch == bytes_to_skip, "incorrect patch info"); | |
334 | |
335 address entry = __ pc(); | |
336 NativeGeneralJump::insert_unconditional((address)_pc_start, entry); | |
337 address target = NULL; | |
338 switch (_id) { | |
339 case access_field_id: target = Runtime1::entry_for(Runtime1::access_field_patching_id); break; | |
340 case load_klass_id: target = Runtime1::entry_for(Runtime1::load_klass_patching_id); break; | |
341 default: ShouldNotReachHere(); | |
342 } | |
343 __ bind(call_patch); | |
344 | |
345 if (CommentedAssembly) { | |
346 __ block_comment("patch entry point"); | |
347 } | |
348 __ call(target, relocInfo::runtime_call_type); | |
349 __ delayed()->nop(); | |
350 assert(_patch_info_offset == (patch_info_pc - __ pc()), "must not change"); | |
351 ce->add_call_info_here(_info); | |
352 __ br(Assembler::always, false, Assembler::pt, _patch_site_entry); | |
353 __ delayed()->nop(); | |
354 if (_id == load_klass_id) { | |
355 CodeSection* cs = __ code_section(); | |
356 address pc = (address)_pc_start; | |
357 RelocIterator iter(cs, pc, pc + 1); | |
358 relocInfo::change_reloc_info_for_address(&iter, (address) pc, relocInfo::oop_type, relocInfo::none); | |
359 | |
360 pc = (address)(_pc_start + NativeMovConstReg::add_offset); | |
361 RelocIterator iter2(cs, pc, pc+1); | |
362 relocInfo::change_reloc_info_for_address(&iter2, (address) pc, relocInfo::oop_type, relocInfo::none); | |
363 } | |
364 | |
365 } | |
366 | |
1295 | 367 |
368 void DeoptimizeStub::emit_code(LIR_Assembler* ce) { | |
369 __ bind(_entry); | |
4048
cec1757a0134
7102657: JSR 292: C1 deoptimizes unlinked invokedynamic call sites infinitely
twisti
parents:
3888
diff
changeset
|
370 __ call(Runtime1::entry_for(Runtime1::deoptimize_id), relocInfo::runtime_call_type); |
1295 | 371 __ delayed()->nop(); |
372 ce->add_call_info_here(_info); | |
4048
cec1757a0134
7102657: JSR 292: C1 deoptimizes unlinked invokedynamic call sites infinitely
twisti
parents:
3888
diff
changeset
|
373 DEBUG_ONLY(__ should_not_reach_here()); |
1295 | 374 } |
375 | |
376 | |
0 | 377 void ArrayCopyStub::emit_code(LIR_Assembler* ce) { |
378 //---------------slow case: call to native----------------- | |
379 __ bind(_entry); | |
380 __ mov(src()->as_register(), O0); | |
381 __ mov(src_pos()->as_register(), O1); | |
382 __ mov(dst()->as_register(), O2); | |
383 __ mov(dst_pos()->as_register(), O3); | |
384 __ mov(length()->as_register(), O4); | |
385 | |
386 ce->emit_static_call_stub(); | |
387 | |
388 __ call(SharedRuntime::get_resolve_static_call_stub(), relocInfo::static_call_type); | |
389 __ delayed()->nop(); | |
390 ce->add_call_info_here(info()); | |
391 ce->verify_oop_map(info()); | |
392 | |
393 #ifndef PRODUCT | |
394 __ set((intptr_t)&Runtime1::_arraycopy_slowcase_cnt, O0); | |
395 __ ld(O0, 0, O1); | |
396 __ inc(O1); | |
397 __ st(O1, 0, O0); | |
398 #endif | |
399 | |
400 __ br(Assembler::always, false, Assembler::pt, _continuation); | |
401 __ delayed()->nop(); | |
402 } | |
403 | |
404 | |
342 | 405 /////////////////////////////////////////////////////////////////////////////////// |
406 #ifndef SERIALGC | |
407 | |
408 void G1PreBarrierStub::emit_code(LIR_Assembler* ce) { | |
3249
e1162778c1c8
7009266: G1: assert(obj->is_oop_or_null(true )) failed: Error
johnc
parents:
2380
diff
changeset
|
409 // At this point we know that marking is in progress. |
e1162778c1c8
7009266: G1: assert(obj->is_oop_or_null(true )) failed: Error
johnc
parents:
2380
diff
changeset
|
410 // If do_load() is true then we have to emit the |
e1162778c1c8
7009266: G1: assert(obj->is_oop_or_null(true )) failed: Error
johnc
parents:
2380
diff
changeset
|
411 // load of the previous value; otherwise it has already |
e1162778c1c8
7009266: G1: assert(obj->is_oop_or_null(true )) failed: Error
johnc
parents:
2380
diff
changeset
|
412 // been loaded into _pre_val. |
e1162778c1c8
7009266: G1: assert(obj->is_oop_or_null(true )) failed: Error
johnc
parents:
2380
diff
changeset
|
413 |
342 | 414 __ bind(_entry); |
415 | |
416 assert(pre_val()->is_register(), "Precondition."); | |
417 Register pre_val_reg = pre_val()->as_register(); | |
418 | |
3249
e1162778c1c8
7009266: G1: assert(obj->is_oop_or_null(true )) failed: Error
johnc
parents:
2380
diff
changeset
|
419 if (do_load()) { |
e1162778c1c8
7009266: G1: assert(obj->is_oop_or_null(true )) failed: Error
johnc
parents:
2380
diff
changeset
|
420 ce->mem2reg(addr(), pre_val(), T_OBJECT, patch_code(), info(), false /*wide*/, false /*unaligned*/); |
e1162778c1c8
7009266: G1: assert(obj->is_oop_or_null(true )) failed: Error
johnc
parents:
2380
diff
changeset
|
421 } |
e1162778c1c8
7009266: G1: assert(obj->is_oop_or_null(true )) failed: Error
johnc
parents:
2380
diff
changeset
|
422 |
1848 | 423 if (__ is_in_wdisp16_range(_continuation)) { |
3888
4fe626cbf0bf
7066841: remove MacroAssembler::br_on_reg_cond() on sparc
johnc
parents:
3839
diff
changeset
|
424 __ br_null(pre_val_reg, /*annul*/false, Assembler::pt, _continuation); |
1848 | 425 } else { |
426 __ cmp(pre_val_reg, G0); | |
427 __ brx(Assembler::equal, false, Assembler::pn, _continuation); | |
428 } | |
342 | 429 __ delayed()->nop(); |
430 | |
431 __ call(Runtime1::entry_for(Runtime1::Runtime1::g1_pre_barrier_slow_id)); | |
432 __ delayed()->mov(pre_val_reg, G4); | |
433 __ br(Assembler::always, false, Assembler::pt, _continuation); | |
434 __ delayed()->nop(); | |
435 | |
436 } | |
437 | |
3249
e1162778c1c8
7009266: G1: assert(obj->is_oop_or_null(true )) failed: Error
johnc
parents:
2380
diff
changeset
|
438 void G1UnsafeGetObjSATBBarrierStub::emit_code(LIR_Assembler* ce) { |
e1162778c1c8
7009266: G1: assert(obj->is_oop_or_null(true )) failed: Error
johnc
parents:
2380
diff
changeset
|
439 // At this point we know that offset == referent_offset. |
e1162778c1c8
7009266: G1: assert(obj->is_oop_or_null(true )) failed: Error
johnc
parents:
2380
diff
changeset
|
440 // |
e1162778c1c8
7009266: G1: assert(obj->is_oop_or_null(true )) failed: Error
johnc
parents:
2380
diff
changeset
|
441 // So we might have to emit: |
e1162778c1c8
7009266: G1: assert(obj->is_oop_or_null(true )) failed: Error
johnc
parents:
2380
diff
changeset
|
442 // if (src == null) goto continuation. |
e1162778c1c8
7009266: G1: assert(obj->is_oop_or_null(true )) failed: Error
johnc
parents:
2380
diff
changeset
|
443 // |
e1162778c1c8
7009266: G1: assert(obj->is_oop_or_null(true )) failed: Error
johnc
parents:
2380
diff
changeset
|
444 // and we definitely have to emit: |
e1162778c1c8
7009266: G1: assert(obj->is_oop_or_null(true )) failed: Error
johnc
parents:
2380
diff
changeset
|
445 // if (klass(src).reference_type == REF_NONE) goto continuation |
e1162778c1c8
7009266: G1: assert(obj->is_oop_or_null(true )) failed: Error
johnc
parents:
2380
diff
changeset
|
446 // if (!marking_active) goto continuation |
e1162778c1c8
7009266: G1: assert(obj->is_oop_or_null(true )) failed: Error
johnc
parents:
2380
diff
changeset
|
447 // if (pre_val == null) goto continuation |
e1162778c1c8
7009266: G1: assert(obj->is_oop_or_null(true )) failed: Error
johnc
parents:
2380
diff
changeset
|
448 // call pre_barrier(pre_val) |
e1162778c1c8
7009266: G1: assert(obj->is_oop_or_null(true )) failed: Error
johnc
parents:
2380
diff
changeset
|
449 // goto continuation |
e1162778c1c8
7009266: G1: assert(obj->is_oop_or_null(true )) failed: Error
johnc
parents:
2380
diff
changeset
|
450 // |
e1162778c1c8
7009266: G1: assert(obj->is_oop_or_null(true )) failed: Error
johnc
parents:
2380
diff
changeset
|
451 __ bind(_entry); |
e1162778c1c8
7009266: G1: assert(obj->is_oop_or_null(true )) failed: Error
johnc
parents:
2380
diff
changeset
|
452 |
e1162778c1c8
7009266: G1: assert(obj->is_oop_or_null(true )) failed: Error
johnc
parents:
2380
diff
changeset
|
453 assert(src()->is_register(), "sanity"); |
e1162778c1c8
7009266: G1: assert(obj->is_oop_or_null(true )) failed: Error
johnc
parents:
2380
diff
changeset
|
454 Register src_reg = src()->as_register(); |
e1162778c1c8
7009266: G1: assert(obj->is_oop_or_null(true )) failed: Error
johnc
parents:
2380
diff
changeset
|
455 |
e1162778c1c8
7009266: G1: assert(obj->is_oop_or_null(true )) failed: Error
johnc
parents:
2380
diff
changeset
|
456 if (gen_src_check()) { |
e1162778c1c8
7009266: G1: assert(obj->is_oop_or_null(true )) failed: Error
johnc
parents:
2380
diff
changeset
|
457 // The original src operand was not a constant. |
e1162778c1c8
7009266: G1: assert(obj->is_oop_or_null(true )) failed: Error
johnc
parents:
2380
diff
changeset
|
458 // Generate src == null? |
e1162778c1c8
7009266: G1: assert(obj->is_oop_or_null(true )) failed: Error
johnc
parents:
2380
diff
changeset
|
459 if (__ is_in_wdisp16_range(_continuation)) { |
3888
4fe626cbf0bf
7066841: remove MacroAssembler::br_on_reg_cond() on sparc
johnc
parents:
3839
diff
changeset
|
460 __ br_null(src_reg, /*annul*/false, Assembler::pt, _continuation); |
3249
e1162778c1c8
7009266: G1: assert(obj->is_oop_or_null(true )) failed: Error
johnc
parents:
2380
diff
changeset
|
461 } else { |
e1162778c1c8
7009266: G1: assert(obj->is_oop_or_null(true )) failed: Error
johnc
parents:
2380
diff
changeset
|
462 __ cmp(src_reg, G0); |
e1162778c1c8
7009266: G1: assert(obj->is_oop_or_null(true )) failed: Error
johnc
parents:
2380
diff
changeset
|
463 __ brx(Assembler::equal, false, Assembler::pt, _continuation); |
e1162778c1c8
7009266: G1: assert(obj->is_oop_or_null(true )) failed: Error
johnc
parents:
2380
diff
changeset
|
464 } |
e1162778c1c8
7009266: G1: assert(obj->is_oop_or_null(true )) failed: Error
johnc
parents:
2380
diff
changeset
|
465 __ delayed()->nop(); |
e1162778c1c8
7009266: G1: assert(obj->is_oop_or_null(true )) failed: Error
johnc
parents:
2380
diff
changeset
|
466 } |
e1162778c1c8
7009266: G1: assert(obj->is_oop_or_null(true )) failed: Error
johnc
parents:
2380
diff
changeset
|
467 |
e1162778c1c8
7009266: G1: assert(obj->is_oop_or_null(true )) failed: Error
johnc
parents:
2380
diff
changeset
|
468 // Generate src->_klass->_reference_type() == REF_NONE)? |
e1162778c1c8
7009266: G1: assert(obj->is_oop_or_null(true )) failed: Error
johnc
parents:
2380
diff
changeset
|
469 assert(tmp()->is_register(), "sanity"); |
e1162778c1c8
7009266: G1: assert(obj->is_oop_or_null(true )) failed: Error
johnc
parents:
2380
diff
changeset
|
470 Register tmp_reg = tmp()->as_register(); |
e1162778c1c8
7009266: G1: assert(obj->is_oop_or_null(true )) failed: Error
johnc
parents:
2380
diff
changeset
|
471 |
e1162778c1c8
7009266: G1: assert(obj->is_oop_or_null(true )) failed: Error
johnc
parents:
2380
diff
changeset
|
472 __ load_klass(src_reg, tmp_reg); |
e1162778c1c8
7009266: G1: assert(obj->is_oop_or_null(true )) failed: Error
johnc
parents:
2380
diff
changeset
|
473 |
e1162778c1c8
7009266: G1: assert(obj->is_oop_or_null(true )) failed: Error
johnc
parents:
2380
diff
changeset
|
474 Address ref_type_adr(tmp_reg, instanceKlass::reference_type_offset_in_bytes() + sizeof(oopDesc)); |
e1162778c1c8
7009266: G1: assert(obj->is_oop_or_null(true )) failed: Error
johnc
parents:
2380
diff
changeset
|
475 __ ld(ref_type_adr, tmp_reg); |
e1162778c1c8
7009266: G1: assert(obj->is_oop_or_null(true )) failed: Error
johnc
parents:
2380
diff
changeset
|
476 |
3888
4fe626cbf0bf
7066841: remove MacroAssembler::br_on_reg_cond() on sparc
johnc
parents:
3839
diff
changeset
|
477 // _reference_type field is of type ReferenceType (enum) |
4fe626cbf0bf
7066841: remove MacroAssembler::br_on_reg_cond() on sparc
johnc
parents:
3839
diff
changeset
|
478 assert(REF_NONE == 0, "check this code"); |
4fe626cbf0bf
7066841: remove MacroAssembler::br_on_reg_cond() on sparc
johnc
parents:
3839
diff
changeset
|
479 __ cmp_zero_and_br(Assembler::equal, tmp_reg, _continuation, /*annul*/false, Assembler::pt); |
3249
e1162778c1c8
7009266: G1: assert(obj->is_oop_or_null(true )) failed: Error
johnc
parents:
2380
diff
changeset
|
480 __ delayed()->nop(); |
e1162778c1c8
7009266: G1: assert(obj->is_oop_or_null(true )) failed: Error
johnc
parents:
2380
diff
changeset
|
481 |
e1162778c1c8
7009266: G1: assert(obj->is_oop_or_null(true )) failed: Error
johnc
parents:
2380
diff
changeset
|
482 // Is marking active? |
e1162778c1c8
7009266: G1: assert(obj->is_oop_or_null(true )) failed: Error
johnc
parents:
2380
diff
changeset
|
483 assert(thread()->is_register(), "precondition"); |
3260
527b586edf24
7036706: G1: Use LIR_OprDesc::as_pointer_register in code changes for 7035117
johnc
parents:
3254
diff
changeset
|
484 Register thread_reg = thread()->as_pointer_register(); |
3249
e1162778c1c8
7009266: G1: assert(obj->is_oop_or_null(true )) failed: Error
johnc
parents:
2380
diff
changeset
|
485 |
e1162778c1c8
7009266: G1: assert(obj->is_oop_or_null(true )) failed: Error
johnc
parents:
2380
diff
changeset
|
486 Address in_progress(thread_reg, in_bytes(JavaThread::satb_mark_queue_offset() + |
e1162778c1c8
7009266: G1: assert(obj->is_oop_or_null(true )) failed: Error
johnc
parents:
2380
diff
changeset
|
487 PtrQueue::byte_offset_of_active())); |
e1162778c1c8
7009266: G1: assert(obj->is_oop_or_null(true )) failed: Error
johnc
parents:
2380
diff
changeset
|
488 |
e1162778c1c8
7009266: G1: assert(obj->is_oop_or_null(true )) failed: Error
johnc
parents:
2380
diff
changeset
|
489 if (in_bytes(PtrQueue::byte_width_of_active()) == 4) { |
e1162778c1c8
7009266: G1: assert(obj->is_oop_or_null(true )) failed: Error
johnc
parents:
2380
diff
changeset
|
490 __ ld(in_progress, tmp_reg); |
e1162778c1c8
7009266: G1: assert(obj->is_oop_or_null(true )) failed: Error
johnc
parents:
2380
diff
changeset
|
491 } else { |
e1162778c1c8
7009266: G1: assert(obj->is_oop_or_null(true )) failed: Error
johnc
parents:
2380
diff
changeset
|
492 assert(in_bytes(PtrQueue::byte_width_of_active()) == 1, "Assumption"); |
e1162778c1c8
7009266: G1: assert(obj->is_oop_or_null(true )) failed: Error
johnc
parents:
2380
diff
changeset
|
493 __ ldsb(in_progress, tmp_reg); |
e1162778c1c8
7009266: G1: assert(obj->is_oop_or_null(true )) failed: Error
johnc
parents:
2380
diff
changeset
|
494 } |
3888
4fe626cbf0bf
7066841: remove MacroAssembler::br_on_reg_cond() on sparc
johnc
parents:
3839
diff
changeset
|
495 |
4fe626cbf0bf
7066841: remove MacroAssembler::br_on_reg_cond() on sparc
johnc
parents:
3839
diff
changeset
|
496 __ cmp_zero_and_br(Assembler::equal, tmp_reg, _continuation, /*annul*/false, Assembler::pt); |
3249
e1162778c1c8
7009266: G1: assert(obj->is_oop_or_null(true )) failed: Error
johnc
parents:
2380
diff
changeset
|
497 __ delayed()->nop(); |
e1162778c1c8
7009266: G1: assert(obj->is_oop_or_null(true )) failed: Error
johnc
parents:
2380
diff
changeset
|
498 |
e1162778c1c8
7009266: G1: assert(obj->is_oop_or_null(true )) failed: Error
johnc
parents:
2380
diff
changeset
|
499 // val == null? |
e1162778c1c8
7009266: G1: assert(obj->is_oop_or_null(true )) failed: Error
johnc
parents:
2380
diff
changeset
|
500 assert(val()->is_register(), "Precondition."); |
e1162778c1c8
7009266: G1: assert(obj->is_oop_or_null(true )) failed: Error
johnc
parents:
2380
diff
changeset
|
501 Register val_reg = val()->as_register(); |
e1162778c1c8
7009266: G1: assert(obj->is_oop_or_null(true )) failed: Error
johnc
parents:
2380
diff
changeset
|
502 |
e1162778c1c8
7009266: G1: assert(obj->is_oop_or_null(true )) failed: Error
johnc
parents:
2380
diff
changeset
|
503 if (__ is_in_wdisp16_range(_continuation)) { |
3888
4fe626cbf0bf
7066841: remove MacroAssembler::br_on_reg_cond() on sparc
johnc
parents:
3839
diff
changeset
|
504 __ br_null(val_reg, /*annul*/false, Assembler::pt, _continuation); |
3249
e1162778c1c8
7009266: G1: assert(obj->is_oop_or_null(true )) failed: Error
johnc
parents:
2380
diff
changeset
|
505 } else { |
e1162778c1c8
7009266: G1: assert(obj->is_oop_or_null(true )) failed: Error
johnc
parents:
2380
diff
changeset
|
506 __ cmp(val_reg, G0); |
e1162778c1c8
7009266: G1: assert(obj->is_oop_or_null(true )) failed: Error
johnc
parents:
2380
diff
changeset
|
507 __ brx(Assembler::equal, false, Assembler::pt, _continuation); |
e1162778c1c8
7009266: G1: assert(obj->is_oop_or_null(true )) failed: Error
johnc
parents:
2380
diff
changeset
|
508 } |
e1162778c1c8
7009266: G1: assert(obj->is_oop_or_null(true )) failed: Error
johnc
parents:
2380
diff
changeset
|
509 __ delayed()->nop(); |
e1162778c1c8
7009266: G1: assert(obj->is_oop_or_null(true )) failed: Error
johnc
parents:
2380
diff
changeset
|
510 |
e1162778c1c8
7009266: G1: assert(obj->is_oop_or_null(true )) failed: Error
johnc
parents:
2380
diff
changeset
|
511 __ call(Runtime1::entry_for(Runtime1::Runtime1::g1_pre_barrier_slow_id)); |
e1162778c1c8
7009266: G1: assert(obj->is_oop_or_null(true )) failed: Error
johnc
parents:
2380
diff
changeset
|
512 __ delayed()->mov(val_reg, G4); |
e1162778c1c8
7009266: G1: assert(obj->is_oop_or_null(true )) failed: Error
johnc
parents:
2380
diff
changeset
|
513 __ br(Assembler::always, false, Assembler::pt, _continuation); |
e1162778c1c8
7009266: G1: assert(obj->is_oop_or_null(true )) failed: Error
johnc
parents:
2380
diff
changeset
|
514 __ delayed()->nop(); |
e1162778c1c8
7009266: G1: assert(obj->is_oop_or_null(true )) failed: Error
johnc
parents:
2380
diff
changeset
|
515 } |
e1162778c1c8
7009266: G1: assert(obj->is_oop_or_null(true )) failed: Error
johnc
parents:
2380
diff
changeset
|
516 |
342 | 517 jbyte* G1PostBarrierStub::_byte_map_base = NULL; |
518 | |
519 jbyte* G1PostBarrierStub::byte_map_base_slow() { | |
520 BarrierSet* bs = Universe::heap()->barrier_set(); | |
521 assert(bs->is_a(BarrierSet::G1SATBCTLogging), | |
522 "Must be if we're using this."); | |
523 return ((G1SATBCardTableModRefBS*)bs)->byte_map_base; | |
524 } | |
525 | |
526 void G1PostBarrierStub::emit_code(LIR_Assembler* ce) { | |
527 __ bind(_entry); | |
528 | |
529 assert(addr()->is_register(), "Precondition."); | |
530 assert(new_val()->is_register(), "Precondition."); | |
531 Register addr_reg = addr()->as_pointer_register(); | |
532 Register new_val_reg = new_val()->as_register(); | |
3888
4fe626cbf0bf
7066841: remove MacroAssembler::br_on_reg_cond() on sparc
johnc
parents:
3839
diff
changeset
|
533 |
1848 | 534 if (__ is_in_wdisp16_range(_continuation)) { |
3888
4fe626cbf0bf
7066841: remove MacroAssembler::br_on_reg_cond() on sparc
johnc
parents:
3839
diff
changeset
|
535 __ br_null(new_val_reg, /*annul*/false, Assembler::pt, _continuation); |
1848 | 536 } else { |
537 __ cmp(new_val_reg, G0); | |
538 __ brx(Assembler::equal, false, Assembler::pn, _continuation); | |
539 } | |
342 | 540 __ delayed()->nop(); |
541 | |
542 __ call(Runtime1::entry_for(Runtime1::Runtime1::g1_post_barrier_slow_id)); | |
543 __ delayed()->mov(addr_reg, G4); | |
544 __ br(Assembler::always, false, Assembler::pt, _continuation); | |
545 __ delayed()->nop(); | |
546 } | |
547 | |
548 #endif // SERIALGC | |
549 /////////////////////////////////////////////////////////////////////////////////// | |
550 | |
0 | 551 #undef __ |