Bug Summary

File:jdk/src/hotspot/share/asm/register.hpp
Warning:line 70, column 7
Called C++ object pointer is null

Annotated Source Code

Press '?' to see keyboard shortcuts

clang -cc1 -triple x86_64-pc-linux-gnu -analyze -disable-free -disable-llvm-verifier -discard-value-names -main-file-name shenandoahBarrierSetAssembler_x86.cpp -analyzer-store=region -analyzer-opt-analyze-nested-blocks -analyzer-checker=core -analyzer-checker=apiModeling -analyzer-checker=unix -analyzer-checker=deadcode -analyzer-checker=cplusplus -analyzer-checker=security.insecureAPI.UncheckedReturn -analyzer-checker=security.insecureAPI.getpw -analyzer-checker=security.insecureAPI.gets -analyzer-checker=security.insecureAPI.mktemp -analyzer-checker=security.insecureAPI.mkstemp -analyzer-checker=security.insecureAPI.vfork -analyzer-checker=nullability.NullPassedToNonnull -analyzer-checker=nullability.NullReturnedFromNonnull -analyzer-output plist -w -setup-static-analyzer -mrelocation-model pic -pic-level 2 -mthread-model posix -fno-delete-null-pointer-checks -mframe-pointer=all -relaxed-aliasing -fmath-errno -fno-rounding-math -masm-verbose -mconstructor-aliases -munwind-tables -target-cpu x86-64 -dwarf-column-info -fno-split-dwarf-inlining -debugger-tuning=gdb -resource-dir /usr/lib/llvm-10/lib/clang/10.0.0 -I /home/daniel/Projects/java/jdk/build/linux-x86_64-server-fastdebug/hotspot/variant-server/libjvm/objs/precompiled -D __STDC_FORMAT_MACROS -D __STDC_LIMIT_MACROS -D __STDC_CONSTANT_MACROS -D _GNU_SOURCE -D _REENTRANT -D LIBC=gnu -D LINUX -D VM_LITTLE_ENDIAN -D _LP64=1 -D ASSERT -D CHECK_UNHANDLED_OOPS -D TARGET_ARCH_x86 -D INCLUDE_SUFFIX_OS=_linux -D INCLUDE_SUFFIX_CPU=_x86 -D INCLUDE_SUFFIX_COMPILER=_gcc -D TARGET_COMPILER_gcc -D AMD64 -D HOTSPOT_LIB_ARCH="amd64" -D COMPILER1 -D COMPILER2 -I /home/daniel/Projects/java/jdk/build/linux-x86_64-server-fastdebug/hotspot/variant-server/gensrc/adfiles -I /home/daniel/Projects/java/jdk/src/hotspot/share -I /home/daniel/Projects/java/jdk/src/hotspot/os/linux -I /home/daniel/Projects/java/jdk/src/hotspot/os/posix -I /home/daniel/Projects/java/jdk/src/hotspot/cpu/x86 -I /home/daniel/Projects/java/jdk/src/hotspot/os_cpu/linux_x86 -I /home/daniel/Projects/java/jdk/build/linux-x86_64-server-fastdebug/hotspot/variant-server/gensrc -I /home/daniel/Projects/java/jdk/src/hotspot/share/precompiled -I /home/daniel/Projects/java/jdk/src/hotspot/share/include -I /home/daniel/Projects/java/jdk/src/hotspot/os/posix/include -I /home/daniel/Projects/java/jdk/build/linux-x86_64-server-fastdebug/support/modules_include/java.base -I /home/daniel/Projects/java/jdk/build/linux-x86_64-server-fastdebug/support/modules_include/java.base/linux -I /home/daniel/Projects/java/jdk/src/java.base/share/native/libjimage -I /home/daniel/Projects/java/jdk/build/linux-x86_64-server-fastdebug/hotspot/variant-server/gensrc/adfiles -I /home/daniel/Projects/java/jdk/src/hotspot/share -I /home/daniel/Projects/java/jdk/src/hotspot/os/linux -I /home/daniel/Projects/java/jdk/src/hotspot/os/posix -I /home/daniel/Projects/java/jdk/src/hotspot/cpu/x86 -I /home/daniel/Projects/java/jdk/src/hotspot/os_cpu/linux_x86 -I /home/daniel/Projects/java/jdk/build/linux-x86_64-server-fastdebug/hotspot/variant-server/gensrc -D _FORTIFY_SOURCE=2 -internal-isystem /usr/lib/gcc/x86_64-linux-gnu/7.5.0/../../../../include/c++/7.5.0 -internal-isystem /usr/lib/gcc/x86_64-linux-gnu/7.5.0/../../../../include/x86_64-linux-gnu/c++/7.5.0 -internal-isystem /usr/lib/gcc/x86_64-linux-gnu/7.5.0/../../../../include/x86_64-linux-gnu/c++/7.5.0 -internal-isystem /usr/lib/gcc/x86_64-linux-gnu/7.5.0/../../../../include/c++/7.5.0/backward -internal-isystem /usr/local/include -internal-isystem /usr/lib/llvm-10/lib/clang/10.0.0/include -internal-externc-isystem /usr/include/x86_64-linux-gnu -internal-externc-isystem /include -internal-externc-isystem /usr/include -O3 -Wno-format-zero-length -Wno-unused-parameter -Wno-unused -Wno-parentheses -Wno-comment -Wno-unknown-pragmas -Wno-address -Wno-delete-non-virtual-dtor -Wno-char-subscripts -Wno-array-bounds -Wno-int-in-bool-context -Wno-ignored-qualifiers -Wno-missing-field-initializers -Wno-implicit-fallthrough -Wno-empty-body -Wno-strict-overflow -Wno-sequence-point -Wno-maybe-uninitialized -Wno-misleading-indentation -Wno-cast-function-type -Wno-shift-negative-value -std=c++14 -fdeprecated-macro -fdebug-compilation-dir /home/daniel/Projects/java/jdk/make/hotspot -ferror-limit 19 -fmessage-length 0 -fvisibility hidden -stack-protector 1 -fno-rtti -fgnuc-version=4.2.1 -fobjc-runtime=gcc -fdiagnostics-show-option -vectorize-loops -vectorize-slp -analyzer-output=html -faddrsig -o /home/daniel/Projects/java/scan/2021-12-21-193737-8510-1 -x c++ /home/daniel/Projects/java/jdk/src/hotspot/cpu/x86/gc/shenandoah/shenandoahBarrierSetAssembler_x86.cpp

/home/daniel/Projects/java/jdk/src/hotspot/cpu/x86/gc/shenandoah/shenandoahBarrierSetAssembler_x86.cpp

→
1/*
2 * Copyright (c) 2018, 2021, Red Hat, Inc. All rights reserved.
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 *
19 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
20 * or visit www.oracle.com if you need additional information or have any
21 * questions.
22 *
23 */
24
25#include "precompiled.hpp"
26#include "gc/shenandoah/shenandoahBarrierSet.hpp"
27#include "gc/shenandoah/shenandoahBarrierSetAssembler.hpp"
28#include "gc/shenandoah/shenandoahForwarding.hpp"
29#include "gc/shenandoah/shenandoahHeap.inline.hpp"
30#include "gc/shenandoah/shenandoahHeapRegion.hpp"
31#include "gc/shenandoah/shenandoahRuntime.hpp"
32#include "gc/shenandoah/shenandoahThreadLocalData.hpp"
33#include "gc/shenandoah/heuristics/shenandoahHeuristics.hpp"
34#include "interpreter/interpreter.hpp"
35#include "runtime/sharedRuntime.hpp"
36#include "runtime/thread.hpp"
37#include "utilities/macros.hpp"
38#ifdef COMPILER11
39#include "c1/c1_LIRAssembler.hpp"
40#include "c1/c1_MacroAssembler.hpp"
41#include "gc/shenandoah/c1/shenandoahBarrierSetC1.hpp"
42#endif
43
44#define __ masm->
45
46static void save_machine_state(MacroAssembler* masm, bool handle_gpr, bool handle_fp) {
47 if (handle_gpr) {
48 __ push_IU_state();
49 }
50
51 if (handle_fp) {
52 // Some paths can be reached from the c2i adapter with live fp arguments in registers.
53 LP64_ONLY(assert(Argument::n_float_register_parameters_j == 8, "8 fp registers to save at java call"))do { if (!(Argument::n_float_register_parameters_j == 8)) { (
*g_assert_poison) = 'X';; report_vm_error("/home/daniel/Projects/java/jdk/src/hotspot/cpu/x86/gc/shenandoah/shenandoahBarrierSetAssembler_x86.cpp"
, 53, "assert(" "Argument::n_float_register_parameters_j == 8"
") failed", "8 fp registers to save at java call"); ::breakpoint
(); } } while (0);
54
55 if (UseSSE >= 2) {
56 const int xmm_size = wordSize * LP64_ONLY(2)2 NOT_LP64(4);
57 __ subptr(rsp, xmm_size * 8);
58 __ movdbl(Address(rsp, xmm_size * 0), xmm0);
59 __ movdbl(Address(rsp, xmm_size * 1), xmm1);
60 __ movdbl(Address(rsp, xmm_size * 2), xmm2);
61 __ movdbl(Address(rsp, xmm_size * 3), xmm3);
62 __ movdbl(Address(rsp, xmm_size * 4), xmm4);
63 __ movdbl(Address(rsp, xmm_size * 5), xmm5);
64 __ movdbl(Address(rsp, xmm_size * 6), xmm6);
65 __ movdbl(Address(rsp, xmm_size * 7), xmm7);
66 } else if (UseSSE >= 1) {
67 const int xmm_size = wordSize * LP64_ONLY(1)1 NOT_LP64(2);
68 __ subptr(rsp, xmm_size * 8);
69 __ movflt(Address(rsp, xmm_size * 0), xmm0);
70 __ movflt(Address(rsp, xmm_size * 1), xmm1);
71 __ movflt(Address(rsp, xmm_size * 2), xmm2);
72 __ movflt(Address(rsp, xmm_size * 3), xmm3);
73 __ movflt(Address(rsp, xmm_size * 4), xmm4);
74 __ movflt(Address(rsp, xmm_size * 5), xmm5);
75 __ movflt(Address(rsp, xmm_size * 6), xmm6);
76 __ movflt(Address(rsp, xmm_size * 7), xmm7);
77 } else {
78 __ push_FPU_state();
79 }
80 }
81}
82
83static void restore_machine_state(MacroAssembler* masm, bool handle_gpr, bool handle_fp) {
84 if (handle_fp) {
85 if (UseSSE >= 2) {
86 const int xmm_size = wordSize * LP64_ONLY(2)2 NOT_LP64(4);
87 __ movdbl(xmm0, Address(rsp, xmm_size * 0));
88 __ movdbl(xmm1, Address(rsp, xmm_size * 1));
89 __ movdbl(xmm2, Address(rsp, xmm_size * 2));
90 __ movdbl(xmm3, Address(rsp, xmm_size * 3));
91 __ movdbl(xmm4, Address(rsp, xmm_size * 4));
92 __ movdbl(xmm5, Address(rsp, xmm_size * 5));
93 __ movdbl(xmm6, Address(rsp, xmm_size * 6));
94 __ movdbl(xmm7, Address(rsp, xmm_size * 7));
95 __ addptr(rsp, xmm_size * 8);
96 } else if (UseSSE >= 1) {
97 const int xmm_size = wordSize * LP64_ONLY(1)1 NOT_LP64(2);
98 __ movflt(xmm0, Address(rsp, xmm_size * 0));
99 __ movflt(xmm1, Address(rsp, xmm_size * 1));
100 __ movflt(xmm2, Address(rsp, xmm_size * 2));
101 __ movflt(xmm3, Address(rsp, xmm_size * 3));
102 __ movflt(xmm4, Address(rsp, xmm_size * 4));
103 __ movflt(xmm5, Address(rsp, xmm_size * 5));
104 __ movflt(xmm6, Address(rsp, xmm_size * 6));
105 __ movflt(xmm7, Address(rsp, xmm_size * 7));
106 __ addptr(rsp, xmm_size * 8);
107 } else {
108 __ pop_FPU_state();
109 }
110 }
111
112 if (handle_gpr) {
113 __ pop_IU_state();
114 }
115}
116
117void ShenandoahBarrierSetAssembler::arraycopy_prologue(MacroAssembler* masm, DecoratorSet decorators, BasicType type,
118 Register src, Register dst, Register count) {
119
120 bool dest_uninitialized = (decorators & IS_DEST_UNINITIALIZED) != 0;
121
122 if (is_reference_type(type)) {
123
124 if ((ShenandoahSATBBarrier && !dest_uninitialized) || ShenandoahIUBarrier || ShenandoahLoadRefBarrier) {
125#ifdef _LP641
126 Register thread = r15_thread;
127#else
128 Register thread = rax;
129 if (thread == src || thread == dst || thread == count) {
130 thread = rbx;
131 }
132 if (thread == src || thread == dst || thread == count) {
133 thread = rcx;
134 }
135 if (thread == src || thread == dst || thread == count) {
136 thread = rdx;
137 }
138 __ push(thread);
139 __ get_thread(thread);
140#endif
141 assert_different_registers(src, dst, count, thread);
142
143 Label done;
144 // Short-circuit if count == 0.
145 __ testptr(count, count);
146 __ jcc(Assembler::zero, done);
147
148 // Avoid runtime call when not active.
149 Address gc_state(thread, in_bytes(ShenandoahThreadLocalData::gc_state_offset()));
150 int flags;
151 if (ShenandoahSATBBarrier && dest_uninitialized) {
152 flags = ShenandoahHeap::HAS_FORWARDED;
153 } else {
154 flags = ShenandoahHeap::HAS_FORWARDED | ShenandoahHeap::MARKING;
155 }
156 __ testb(gc_state, flags);
157 __ jcc(Assembler::zero, done);
158
159 save_machine_state(masm, /* handle_gpr = */ true, /* handle_fp = */ false);
160
161#ifdef _LP641
162 assert(src == rdi, "expected")do { if (!(src == rdi)) { (*g_assert_poison) = 'X';; report_vm_error
("/home/daniel/Projects/java/jdk/src/hotspot/cpu/x86/gc/shenandoah/shenandoahBarrierSetAssembler_x86.cpp"
, 162, "assert(" "src == rdi" ") failed", "expected"); ::breakpoint
(); } } while (0);
163 assert(dst == rsi, "expected")do { if (!(dst == rsi)) { (*g_assert_poison) = 'X';; report_vm_error
("/home/daniel/Projects/java/jdk/src/hotspot/cpu/x86/gc/shenandoah/shenandoahBarrierSetAssembler_x86.cpp"
, 163, "assert(" "dst == rsi" ") failed", "expected"); ::breakpoint
(); } } while (0);
164 assert(count == rdx, "expected")do { if (!(count == rdx)) { (*g_assert_poison) = 'X';; report_vm_error
("/home/daniel/Projects/java/jdk/src/hotspot/cpu/x86/gc/shenandoah/shenandoahBarrierSetAssembler_x86.cpp"
, 164, "assert(" "count == rdx" ") failed", "expected"); ::breakpoint
(); } } while (0);
165 if (UseCompressedOops) {
166 __ call_VM_leaf(CAST_FROM_FN_PTR(address, ShenandoahRuntime::arraycopy_barrier_narrow_oop_entry)((address)((address_word)(ShenandoahRuntime::arraycopy_barrier_narrow_oop_entry
))),
167 src, dst, count);
168 } else
169#endif
170 {
171 __ call_VM_leaf(CAST_FROM_FN_PTR(address, ShenandoahRuntime::arraycopy_barrier_oop_entry)((address)((address_word)(ShenandoahRuntime::arraycopy_barrier_oop_entry
))),
172 src, dst, count);
173 }
174
175 restore_machine_state(masm, /* handle_gpr = */ true, /* handle_fp = */ false);
176
177 __ bind(done);
178 NOT_LP64(__ pop(thread);)
179 }
180 }
181
182}
183
184void ShenandoahBarrierSetAssembler::shenandoah_write_barrier_pre(MacroAssembler* masm,
185 Register obj,
186 Register pre_val,
187 Register thread,
188 Register tmp,
189 bool tosca_live,
190 bool expand_call) {
191
192 if (ShenandoahSATBBarrier) {
193 satb_write_barrier_pre(masm, obj, pre_val, thread, tmp, tosca_live, expand_call);
194 }
195}
196
197void ShenandoahBarrierSetAssembler::satb_write_barrier_pre(MacroAssembler* masm,
198 Register obj,
199 Register pre_val,
200 Register thread,
201 Register tmp,
202 bool tosca_live,
203 bool expand_call) {
204 // If expand_call is true then we expand the call_VM_leaf macro
205 // directly to skip generating the check by
206 // InterpreterMacroAssembler::call_VM_leaf_base that checks _last_sp.
207
208#ifdef _LP641
209 assert(thread == r15_thread, "must be")do { if (!(thread == r15_thread)) { (*g_assert_poison) = 'X';
; report_vm_error("/home/daniel/Projects/java/jdk/src/hotspot/cpu/x86/gc/shenandoah/shenandoahBarrierSetAssembler_x86.cpp"
, 209, "assert(" "thread == r15_thread" ") failed", "must be"
); ::breakpoint(); } } while (0);
210#endif // _LP64
211
212 Label done;
213 Label runtime;
214
215 assert(pre_val != noreg, "check this code")do { if (!(pre_val != noreg)) { (*g_assert_poison) = 'X';; report_vm_error
("/home/daniel/Projects/java/jdk/src/hotspot/cpu/x86/gc/shenandoah/shenandoahBarrierSetAssembler_x86.cpp"
, 215, "assert(" "pre_val != noreg" ") failed", "check this code"
); ::breakpoint(); } } while (0);
216
217 if (obj != noreg) {
218 assert_different_registers(obj, pre_val, tmp);
219 assert(pre_val != rax, "check this code")do { if (!(pre_val != rax)) { (*g_assert_poison) = 'X';; report_vm_error
("/home/daniel/Projects/java/jdk/src/hotspot/cpu/x86/gc/shenandoah/shenandoahBarrierSetAssembler_x86.cpp"
, 219, "assert(" "pre_val != rax" ") failed", "check this code"
); ::breakpoint(); } } while (0);
220 }
221
222 Address in_progress(thread, in_bytes(ShenandoahThreadLocalData::satb_mark_queue_active_offset()));
223 Address index(thread, in_bytes(ShenandoahThreadLocalData::satb_mark_queue_index_offset()));
224 Address buffer(thread, in_bytes(ShenandoahThreadLocalData::satb_mark_queue_buffer_offset()));
225
226 Address gc_state(thread, in_bytes(ShenandoahThreadLocalData::gc_state_offset()));
227 __ testb(gc_state, ShenandoahHeap::MARKING);
228 __ jcc(Assembler::zero, done);
229
230 // Do we need to load the previous value?
231 if (obj != noreg) {
232 __ load_heap_oop(pre_val, Address(obj, 0), noreg, noreg, AS_RAW);
233 }
234
235 // Is the previous value null?
236 __ cmpptr(pre_val, (int32_t) NULL_WORD0L);
237 __ jcc(Assembler::equal, done);
238
239 // Can we store original value in the thread's buffer?
240 // Is index == 0?
241 // (The index field is typed as size_t.)
242
243 __ movptr(tmp, index); // tmp := *index_adr
244 __ cmpptr(tmp, 0); // tmp == 0?
245 __ jcc(Assembler::equal, runtime); // If yes, goto runtime
246
247 __ subptr(tmp, wordSize); // tmp := tmp - wordSize
248 __ movptr(index, tmp); // *index_adr := tmp
249 __ addptr(tmp, buffer); // tmp := tmp + *buffer_adr
250
251 // Record the previous value
252 __ movptr(Address(tmp, 0), pre_val);
253 __ jmp(done);
254
255 __ bind(runtime);
256 // save the live input values
257 if(tosca_live) __ push(rax);
258
259 if (obj != noreg && obj != rax)
260 __ push(obj);
261
262 if (pre_val != rax)
263 __ push(pre_val);
264
265 // Calling the runtime using the regular call_VM_leaf mechanism generates
266 // code (generated by InterpreterMacroAssember::call_VM_leaf_base)
267 // that checks that the *(ebp+frame::interpreter_frame_last_sp) == NULL.
268 //
269 // If we care generating the pre-barrier without a frame (e.g. in the
270 // intrinsified Reference.get() routine) then ebp might be pointing to
271 // the caller frame and so this check will most likely fail at runtime.
272 //
273 // Expanding the call directly bypasses the generation of the check.
274 // So when we do not have have a full interpreter frame on the stack
275 // expand_call should be passed true.
276
277 NOT_LP64( __ push(thread); )
278
279#ifdef _LP641
280 // We move pre_val into c_rarg0 early, in order to avoid smashing it, should
281 // pre_val be c_rarg1 (where the call prologue would copy thread argument).
282 // Note: this should not accidentally smash thread, because thread is always r15.
283 assert(thread != c_rarg0, "smashed arg")do { if (!(thread != c_rarg0)) { (*g_assert_poison) = 'X';; report_vm_error
("/home/daniel/Projects/java/jdk/src/hotspot/cpu/x86/gc/shenandoah/shenandoahBarrierSetAssembler_x86.cpp"
, 283, "assert(" "thread != c_rarg0" ") failed", "smashed arg"
); ::breakpoint(); } } while (0);
284 if (c_rarg0 != pre_val) {
285 __ mov(c_rarg0, pre_val);
286 }
287#endif
288
289 if (expand_call) {
290 LP64_ONLY( assert(pre_val != c_rarg1, "smashed arg"); )do { if (!(pre_val != c_rarg1)) { (*g_assert_poison) = 'X';; report_vm_error
("/home/daniel/Projects/java/jdk/src/hotspot/cpu/x86/gc/shenandoah/shenandoahBarrierSetAssembler_x86.cpp"
, 290, "assert(" "pre_val != c_rarg1" ") failed", "smashed arg"
); ::breakpoint(); } } while (0);
291#ifdef _LP641
292 if (c_rarg1 != thread) {
293 __ mov(c_rarg1, thread);
294 }
295 // Already moved pre_val into c_rarg0 above
296#else
297 __ push(thread);
298 __ push(pre_val);
299#endif
300 __ MacroAssembler::call_VM_leaf_base(CAST_FROM_FN_PTR(address, ShenandoahRuntime::write_ref_field_pre_entry)((address)((address_word)(ShenandoahRuntime::write_ref_field_pre_entry
))), 2);
301 } else {
302 __ call_VM_leaf(CAST_FROM_FN_PTR(address, ShenandoahRuntime::write_ref_field_pre_entry)((address)((address_word)(ShenandoahRuntime::write_ref_field_pre_entry
))), LP64_ONLY(c_rarg0)c_rarg0 NOT_LP64(pre_val), thread);
303 }
304
305 NOT_LP64( __ pop(thread); )
306
307 // save the live input values
308 if (pre_val != rax)
309 __ pop(pre_val);
310
311 if (obj != noreg && obj != rax)
312 __ pop(obj);
313
314 if(tosca_live) __ pop(rax);
315
316 __ bind(done);
317}
318
319void ShenandoahBarrierSetAssembler::load_reference_barrier(MacroAssembler* masm, Register dst, Address src, DecoratorSet decorators) {
320 assert(ShenandoahLoadRefBarrier, "Should be enabled")do { if (!(ShenandoahLoadRefBarrier)) { (*g_assert_poison) = 'X'
;; report_vm_error("/home/daniel/Projects/java/jdk/src/hotspot/cpu/x86/gc/shenandoah/shenandoahBarrierSetAssembler_x86.cpp"
, 320, "assert(" "ShenandoahLoadRefBarrier" ") failed", "Should be enabled"
); ::breakpoint(); } } while (0);
321
322 bool is_strong = ShenandoahBarrierSet::is_strong_access(decorators);
323 bool is_weak = ShenandoahBarrierSet::is_weak_access(decorators);
324 bool is_phantom = ShenandoahBarrierSet::is_phantom_access(decorators);
325 bool is_native = ShenandoahBarrierSet::is_native_access(decorators);
326 bool is_narrow = UseCompressedOops && !is_native;
327
328 Label heap_stable, not_cset;
329
330 __ block_comment("load_reference_barrier { ");
331
332 // Check if GC is active
333#ifdef _LP641
334 Register thread = r15_thread;
335#else
336 Register thread = rcx;
337 if (thread == dst) {
338 thread = rbx;
339 }
340 __ push(thread);
341 __ get_thread(thread);
342#endif
343
344 Address gc_state(thread, in_bytes(ShenandoahThreadLocalData::gc_state_offset()));
345 int flags = ShenandoahHeap::HAS_FORWARDED;
346 if (!is_strong) {
347 flags |= ShenandoahHeap::WEAK_ROOTS;
348 }
349 __ testb(gc_state, flags);
350 __ jcc(Assembler::zero, heap_stable);
351
352 Register tmp1 = noreg, tmp2 = noreg;
353 if (is_strong) {
354 // Test for object in cset
355 // Allocate temporary registers
356 for (int i = 0; i < 8; i++) {
357 Register r = as_Register(i);
358 if (r != rsp && r != rbp && r != dst && r != src.base() && r != src.index()) {
359 if (tmp1 == noreg) {
360 tmp1 = r;
361 } else {
362 tmp2 = r;
363 break;
364 }
365 }
366 }
367 assert(tmp1 != noreg, "tmp1 allocated")do { if (!(tmp1 != noreg)) { (*g_assert_poison) = 'X';; report_vm_error
("/home/daniel/Projects/java/jdk/src/hotspot/cpu/x86/gc/shenandoah/shenandoahBarrierSetAssembler_x86.cpp"
, 367, "assert(" "tmp1 != noreg" ") failed", "tmp1 allocated"
); ::breakpoint(); } } while (0);
368 assert(tmp2 != noreg, "tmp2 allocated")do { if (!(tmp2 != noreg)) { (*g_assert_poison) = 'X';; report_vm_error
("/home/daniel/Projects/java/jdk/src/hotspot/cpu/x86/gc/shenandoah/shenandoahBarrierSetAssembler_x86.cpp"
, 368, "assert(" "tmp2 != noreg" ") failed", "tmp2 allocated"
); ::breakpoint(); } } while (0);
369 assert_different_registers(tmp1, tmp2, src.base(), src.index());
370 assert_different_registers(tmp1, tmp2, dst);
371
372 __ push(tmp1);
373 __ push(tmp2);
374
375 // Optimized cset-test
376 __ movptr(tmp1, dst);
377 __ shrptr(tmp1, ShenandoahHeapRegion::region_size_bytes_shift_jint());
378 __ movptr(tmp2, (intptr_t) ShenandoahHeap::in_cset_fast_test_addr());
379 __ movbool(tmp1, Address(tmp1, tmp2, Address::times_1));
380 __ testbool(tmp1);
381 __ jcc(Assembler::zero, not_cset);
382 }
383
384 save_machine_state(masm, /* handle_gpr = */ false, /* handle_fp = */ true);
385
386 // The rest is saved with the optimized path
387
388 uint num_saved_regs = 4 + (dst != rax ? 1 : 0) LP64_ONLY(+4)+4;
389 __ subptr(rsp, num_saved_regs * wordSize);
390 uint slot = num_saved_regs;
391 if (dst != rax) {
392 __ movptr(Address(rsp, (--slot) * wordSize), rax);
393 }
394 __ movptr(Address(rsp, (--slot) * wordSize), rcx);
395 __ movptr(Address(rsp, (--slot) * wordSize), rdx);
396 __ movptr(Address(rsp, (--slot) * wordSize), rdi);
397 __ movptr(Address(rsp, (--slot) * wordSize), rsi);
398#ifdef _LP641
399 __ movptr(Address(rsp, (--slot) * wordSize), r8);
400 __ movptr(Address(rsp, (--slot) * wordSize), r9);
401 __ movptr(Address(rsp, (--slot) * wordSize), r10);
402 __ movptr(Address(rsp, (--slot) * wordSize), r11);
403 // r12-r15 are callee saved in all calling conventions
404#endif
405 assert(slot == 0, "must use all slots")do { if (!(slot == 0)) { (*g_assert_poison) = 'X';; report_vm_error
("/home/daniel/Projects/java/jdk/src/hotspot/cpu/x86/gc/shenandoah/shenandoahBarrierSetAssembler_x86.cpp"
, 405, "assert(" "slot == 0" ") failed", "must use all slots"
); ::breakpoint(); } } while (0);
406
407 // Shuffle registers such that dst is in c_rarg0 and addr in c_rarg1.
408#ifdef _LP641
409 Register arg0 = c_rarg0, arg1 = c_rarg1;
410#else
411 Register arg0 = rdi, arg1 = rsi;
412#endif
413 if (dst == arg1) {
414 __ lea(arg0, src);
415 __ xchgptr(arg1, arg0);
416 } else {
417 __ lea(arg1, src);
418 __ movptr(arg0, dst);
419 }
420
421 if (is_strong) {
422 if (is_narrow) {
423 __ call_VM_leaf(CAST_FROM_FN_PTR(address, ShenandoahRuntime::load_reference_barrier_strong_narrow)((address)((address_word)(ShenandoahRuntime::load_reference_barrier_strong_narrow
))), arg0, arg1);
424 } else {
425 __ call_VM_leaf(CAST_FROM_FN_PTR(address, ShenandoahRuntime::load_reference_barrier_strong)((address)((address_word)(ShenandoahRuntime::load_reference_barrier_strong
))), arg0, arg1);
426 }
427 } else if (is_weak) {
428 if (is_narrow) {
429 __ super_call_VM_leaf(CAST_FROM_FN_PTR(address, ShenandoahRuntime::load_reference_barrier_weak_narrow)((address)((address_word)(ShenandoahRuntime::load_reference_barrier_weak_narrow
))), arg0, arg1);
430 } else {
431 __ super_call_VM_leaf(CAST_FROM_FN_PTR(address, ShenandoahRuntime::load_reference_barrier_weak)((address)((address_word)(ShenandoahRuntime::load_reference_barrier_weak
))), arg0, arg1);
432 }
433 } else {
434 assert(is_phantom, "only remaining strength")do { if (!(is_phantom)) { (*g_assert_poison) = 'X';; report_vm_error
("/home/daniel/Projects/java/jdk/src/hotspot/cpu/x86/gc/shenandoah/shenandoahBarrierSetAssembler_x86.cpp"
, 434, "assert(" "is_phantom" ") failed", "only remaining strength"
); ::breakpoint(); } } while (0);
435 assert(!is_narrow, "phantom access cannot be narrow")do { if (!(!is_narrow)) { (*g_assert_poison) = 'X';; report_vm_error
("/home/daniel/Projects/java/jdk/src/hotspot/cpu/x86/gc/shenandoah/shenandoahBarrierSetAssembler_x86.cpp"
, 435, "assert(" "!is_narrow" ") failed", "phantom access cannot be narrow"
); ::breakpoint(); } } while (0);
436 __ call_VM_leaf(CAST_FROM_FN_PTR(address, ShenandoahRuntime::load_reference_barrier_phantom)((address)((address_word)(ShenandoahRuntime::load_reference_barrier_phantom
))), arg0, arg1);
437 }
438
439#ifdef _LP641
440 __ movptr(r11, Address(rsp, (slot++) * wordSize));
441 __ movptr(r10, Address(rsp, (slot++) * wordSize));
442 __ movptr(r9, Address(rsp, (slot++) * wordSize));
443 __ movptr(r8, Address(rsp, (slot++) * wordSize));
444#endif
445 __ movptr(rsi, Address(rsp, (slot++) * wordSize));
446 __ movptr(rdi, Address(rsp, (slot++) * wordSize));
447 __ movptr(rdx, Address(rsp, (slot++) * wordSize));
448 __ movptr(rcx, Address(rsp, (slot++) * wordSize));
449
450 if (dst != rax) {
451 __ movptr(dst, rax);
452 __ movptr(rax, Address(rsp, (slot++) * wordSize));
453 }
454
455 assert(slot == num_saved_regs, "must use all slots")do { if (!(slot == num_saved_regs)) { (*g_assert_poison) = 'X'
;; report_vm_error("/home/daniel/Projects/java/jdk/src/hotspot/cpu/x86/gc/shenandoah/shenandoahBarrierSetAssembler_x86.cpp"
, 455, "assert(" "slot == num_saved_regs" ") failed", "must use all slots"
); ::breakpoint(); } } while (0);
456 __ addptr(rsp, num_saved_regs * wordSize);
457
458 restore_machine_state(masm, /* handle_gpr = */ false, /* handle_fp = */ true);
459
460 __ bind(not_cset);
461
462 if (is_strong) {
463 __ pop(tmp2);
464 __ pop(tmp1);
465 }
466
467 __ bind(heap_stable);
468
469 __ block_comment("} load_reference_barrier");
470
471#ifndef _LP641
472 __ pop(thread);
473#endif
474}
475
476void ShenandoahBarrierSetAssembler::iu_barrier(MacroAssembler* masm, Register dst, Register tmp) {
477 if (ShenandoahIUBarrier) {
478 iu_barrier_impl(masm, dst, tmp);
479 }
480}
481
482void ShenandoahBarrierSetAssembler::iu_barrier_impl(MacroAssembler* masm, Register dst, Register tmp) {
483 assert(ShenandoahIUBarrier, "should be enabled")do { if (!(ShenandoahIUBarrier)) { (*g_assert_poison) = 'X';;
report_vm_error("/home/daniel/Projects/java/jdk/src/hotspot/cpu/x86/gc/shenandoah/shenandoahBarrierSetAssembler_x86.cpp"
, 483, "assert(" "ShenandoahIUBarrier" ") failed", "should be enabled"
); ::breakpoint(); } } while (0);
484
485 if (dst == noreg) return;
486
487 if (ShenandoahIUBarrier) {
488 save_machine_state(masm, /* handle_gpr = */ true, /* handle_fp = */ true);
489
490#ifdef _LP641
491 Register thread = r15_thread;
492#else
493 Register thread = rcx;
494 if (thread == dst || thread == tmp) {
495 thread = rdi;
496 }
497 if (thread == dst || thread == tmp) {
498 thread = rbx;
499 }
500 __ get_thread(thread);
501#endif
502 assert_different_registers(dst, tmp, thread);
503
504 satb_write_barrier_pre(masm, noreg, dst, thread, tmp, true, false);
505
506 restore_machine_state(masm, /* handle_gpr = */ true, /* handle_fp = */ true);
507 }
508}
509
510//
511// Arguments:
512//
513// Inputs:
514// src: oop location, might be clobbered
515// tmp1: scratch register, might not be valid.
516//
517// Output:
518// dst: oop loaded from src location
519//
520// Kill:
521// tmp1 (if it is valid)
522//
523void ShenandoahBarrierSetAssembler::load_at(MacroAssembler* masm, DecoratorSet decorators, BasicType type,
524 Register dst, Address src, Register tmp1, Register tmp_thread) {
525 // 1: non-reference load, no additional barrier is needed
526 if (!is_reference_type(type)) {
527 BarrierSetAssembler::load_at(masm, decorators, type, dst, src, tmp1, tmp_thread);
528 return;
529 }
530
531 assert((decorators & ON_UNKNOWN_OOP_REF) == 0, "Not expected")do { if (!((decorators & ON_UNKNOWN_OOP_REF) == 0)) { (*g_assert_poison
) = 'X';; report_vm_error("/home/daniel/Projects/java/jdk/src/hotspot/cpu/x86/gc/shenandoah/shenandoahBarrierSetAssembler_x86.cpp"
, 531, "assert(" "(decorators & ON_UNKNOWN_OOP_REF) == 0"
") failed", "Not expected"); ::breakpoint(); } } while (0);
532
533 // 2: load a reference from src location and apply LRB if needed
534 if (ShenandoahBarrierSet::need_load_reference_barrier(decorators, type)) {
535 Register result_dst = dst;
536 bool use_tmp1_for_dst = false;
537
538 // Preserve src location for LRB
539 if (dst == src.base() || dst == src.index()) {
540 // Use tmp1 for dst if possible, as it is not used in BarrierAssembler::load_at()
541 if (tmp1->is_valid() && tmp1 != src.base() && tmp1 != src.index()) {
542 dst = tmp1;
543 use_tmp1_for_dst = true;
544 } else {
545 dst = rdi;
546 __ push(dst);
547 }
548 assert_different_registers(dst, src.base(), src.index());
549 }
550
551 BarrierSetAssembler::load_at(masm, decorators, type, dst, src, tmp1, tmp_thread);
552
553 load_reference_barrier(masm, dst, src, decorators);
554
555 // Move loaded oop to final destination
556 if (dst != result_dst) {
557 __ movptr(result_dst, dst);
558
559 if (!use_tmp1_for_dst) {
560 __ pop(dst);
561 }
562
563 dst = result_dst;
564 }
565 } else {
566 BarrierSetAssembler::load_at(masm, decorators, type, dst, src, tmp1, tmp_thread);
567 }
568
569 // 3: apply keep-alive barrier if needed
570 if (ShenandoahBarrierSet::need_keep_alive_barrier(decorators, type)) {
571 save_machine_state(masm, /* handle_gpr = */ true, /* handle_fp = */ true);
572
573 Register thread = NOT_LP64(tmp_thread) LP64_ONLY(r15_thread)r15_thread;
574 assert_different_registers(dst, tmp1, tmp_thread);
575 if (!thread->is_valid()) {
576 thread = rdx;
577 }
578 NOT_LP64(__ get_thread(thread));
579 // Generate the SATB pre-barrier code to log the value of
580 // the referent field in an SATB buffer.
581 shenandoah_write_barrier_pre(masm /* masm */,
582 noreg /* obj */,
583 dst /* pre_val */,
584 thread /* thread */,
585 tmp1 /* tmp */,
586 true /* tosca_live */,
587 true /* expand_call */);
588
589 restore_machine_state(masm, /* handle_gpr = */ true, /* handle_fp = */ true);
590 }
591}
592
593void ShenandoahBarrierSetAssembler::store_at(MacroAssembler* masm, DecoratorSet decorators, BasicType type,
594 Address dst, Register val, Register tmp1, Register tmp2) {
595
596 bool on_oop = is_reference_type(type);
597 bool in_heap = (decorators & IN_HEAP) != 0;
598 bool as_normal = (decorators & AS_NORMAL) != 0;
599 if (on_oop && in_heap) {
600 bool needs_pre_barrier = as_normal;
601
602 Register tmp3 = LP64_ONLY(r8)r8 NOT_LP64(rsi);
603 Register rthread = LP64_ONLY(r15_thread)r15_thread NOT_LP64(rcx);
604 // flatten object address if needed
605 // We do it regardless of precise because we need the registers
606 if (dst.index() == noreg && dst.disp() == 0) {
607 if (dst.base() != tmp1) {
608 __ movptr(tmp1, dst.base());
609 }
610 } else {
611 __ lea(tmp1, dst);
612 }
613
614 assert_different_registers(val, tmp1, tmp2, tmp3, rthread);
615
616#ifndef _LP641
617 __ get_thread(rthread);
618 InterpreterMacroAssembler *imasm = static_cast<InterpreterMacroAssembler*>(masm);
619 imasm->save_bcp();
620#endif
621
622 if (needs_pre_barrier) {
623 shenandoah_write_barrier_pre(masm /*masm*/,
624 tmp1 /* obj */,
625 tmp2 /* pre_val */,
626 rthread /* thread */,
627 tmp3 /* tmp */,
628 val != noreg /* tosca_live */,
629 false /* expand_call */);
630 }
631 if (val == noreg) {
632 BarrierSetAssembler::store_at(masm, decorators, type, Address(tmp1, 0), val, noreg, noreg);
633 } else {
634 iu_barrier(masm, val, tmp3);
635 BarrierSetAssembler::store_at(masm, decorators, type, Address(tmp1, 0), val, noreg, noreg);
636 }
637 NOT_LP64(imasm->restore_bcp());
638 } else {
639 BarrierSetAssembler::store_at(masm, decorators, type, dst, val, tmp1, tmp2);
640 }
641}
642
643void ShenandoahBarrierSetAssembler::try_resolve_jobject_in_native(MacroAssembler* masm, Register jni_env,
644 Register obj, Register tmp, Label& slowpath) {
645 Label done;
646 // Resolve jobject
647 BarrierSetAssembler::try_resolve_jobject_in_native(masm, jni_env, obj, tmp, slowpath);
648
649 // Check for null.
650 __ testptr(obj, obj);
651 __ jcc(Assembler::zero, done);
652
653 Address gc_state(jni_env, ShenandoahThreadLocalData::gc_state_offset() - JavaThread::jni_environment_offset());
654 __ testb(gc_state, ShenandoahHeap::EVACUATION);
655 __ jccb(Assembler::notZero, slowpath)jccb_0(Assembler::notZero, slowpath, "/home/daniel/Projects/java/jdk/src/hotspot/cpu/x86/gc/shenandoah/shenandoahBarrierSetAssembler_x86.cpp"
, 655);
656 __ bind(done);
657}
658
659// Special Shenandoah CAS implementation that handles false negatives
660// due to concurrent evacuation.
661void ShenandoahBarrierSetAssembler::cmpxchg_oop(MacroAssembler* masm,
662 Register res, Address addr, Register oldval, Register newval,
663 bool exchange, Register tmp1, Register tmp2) {
664 assert(ShenandoahCASBarrier, "Should only be used when CAS barrier is enabled")do { if (!(ShenandoahCASBarrier)) { (*g_assert_poison) = 'X';
; report_vm_error("/home/daniel/Projects/java/jdk/src/hotspot/cpu/x86/gc/shenandoah/shenandoahBarrierSetAssembler_x86.cpp"
, 664, "assert(" "ShenandoahCASBarrier" ") failed", "Should only be used when CAS barrier is enabled"
); ::breakpoint(); } } while (0);
1
Assuming 'ShenandoahCASBarrier' is true
→
2
←
Taking false branch
→
3
←
Loop condition is false. Exiting loop
→
665 assert(oldval == rax, "must be in rax for implicit use in cmpxchg")do { if (!(oldval == rax)) { (*g_assert_poison) = 'X';; report_vm_error
("/home/daniel/Projects/java/jdk/src/hotspot/cpu/x86/gc/shenandoah/shenandoahBarrierSetAssembler_x86.cpp"
, 665, "assert(" "oldval == rax" ") failed", "must be in rax for implicit use in cmpxchg"
); ::breakpoint(); } } while (0);
4
←
Assuming 'oldval' is equal to 'rax'
→
5
←
Taking false branch
→
6
←
Loop condition is false. Exiting loop
→
666 assert_different_registers(oldval, tmp1, tmp2);
7
←
Calling 'assert_different_registers<RegisterImpl *, RegisterImpl *, RegisterImpl *>'
→
667 assert_different_registers(newval, tmp1, tmp2);
668
669 Label L_success, L_failure;
670
671 // Remember oldval for retry logic below
672#ifdef _LP641
673 if (UseCompressedOops) {
674 __ movl(tmp1, oldval);
675 } else
676#endif
677 {
678 __ movptr(tmp1, oldval);
679 }
680
681 // Step 1. Fast-path.
682 //
683 // Try to CAS with given arguments. If successful, then we are done.
684
685#ifdef _LP641
686 if (UseCompressedOops) {
687 __ lock();
688 __ cmpxchgl(newval, addr);
689 } else
690#endif
691 {
692 __ lock();
693 __ cmpxchgptr(newval, addr);
694 }
695 __ jcc(Assembler::equal, L_success);
696
697 // Step 2. CAS had failed. This may be a false negative.
698 //
699 // The trouble comes when we compare the to-space pointer with the from-space
700 // pointer to the same object. To resolve this, it will suffice to resolve
701 // the value from memory -- this will give both to-space pointers.
702 // If they mismatch, then it was a legitimate failure.
703 //
704 // Before reaching to resolve sequence, see if we can avoid the whole shebang
705 // with filters.
706
707 // Filter: when offending in-memory value is NULL, the failure is definitely legitimate
708 __ testptr(oldval, oldval);
709 __ jcc(Assembler::zero, L_failure);
710
711 // Filter: when heap is stable, the failure is definitely legitimate
712#ifdef _LP641
713 const Register thread = r15_thread;
714#else
715 const Register thread = tmp2;
716 __ get_thread(thread);
717#endif
718 Address gc_state(thread, in_bytes(ShenandoahThreadLocalData::gc_state_offset()));
719 __ testb(gc_state, ShenandoahHeap::HAS_FORWARDED);
720 __ jcc(Assembler::zero, L_failure);
721
722#ifdef _LP641
723 if (UseCompressedOops) {
724 __ movl(tmp2, oldval);
725 __ decode_heap_oop(tmp2);
726 } else
727#endif
728 {
729 __ movptr(tmp2, oldval);
730 }
731
732 // Decode offending in-memory value.
733 // Test if-forwarded
734 __ testb(Address(tmp2, oopDesc::mark_offset_in_bytes()), markWord::marked_value);
735 __ jcc(Assembler::noParity, L_failure); // When odd number of bits, then not forwarded
736 __ jcc(Assembler::zero, L_failure); // When it is 00, then also not forwarded
737
738 // Load and mask forwarding pointer
739 __ movptr(tmp2, Address(tmp2, oopDesc::mark_offset_in_bytes()));
740 __ shrptr(tmp2, 2);
741 __ shlptr(tmp2, 2);
742
743#ifdef _LP641
744 if (UseCompressedOops) {
745 __ decode_heap_oop(tmp1); // decode for comparison
746 }
747#endif
748
749 // Now we have the forwarded offender in tmp2.
750 // Compare and if they don't match, we have legitimate failure
751 __ cmpptr(tmp1, tmp2);
752 __ jcc(Assembler::notEqual, L_failure);
753
754 // Step 3. Need to fix the memory ptr before continuing.
755 //
756 // At this point, we have from-space oldval in the register, and its to-space
757 // address is in tmp2. Let's try to update it into memory. We don't care if it
758 // succeeds or not. If it does, then the retrying CAS would see it and succeed.
759 // If this fixup fails, this means somebody else beat us to it, and necessarily
760 // with to-space ptr store. We still have to do the retry, because the GC might
761 // have updated the reference for us.
762
763#ifdef _LP641
764 if (UseCompressedOops) {
765 __ encode_heap_oop(tmp2); // previously decoded at step 2.
766 }
767#endif
768
769#ifdef _LP641
770 if (UseCompressedOops) {
771 __ lock();
772 __ cmpxchgl(tmp2, addr);
773 } else
774#endif
775 {
776 __ lock();
777 __ cmpxchgptr(tmp2, addr);
778 }
779
780 // Step 4. Try to CAS again.
781 //
782 // This is guaranteed not to have false negatives, because oldval is definitely
783 // to-space, and memory pointer is to-space as well. Nothing is able to store
784 // from-space ptr into memory anymore. Make sure oldval is restored, after being
785 // garbled during retries.
786 //
787#ifdef _LP641
788 if (UseCompressedOops) {
789 __ movl(oldval, tmp2);
790 } else
791#endif
792 {
793 __ movptr(oldval, tmp2);
794 }
795
796#ifdef _LP641
797 if (UseCompressedOops) {
798 __ lock();
799 __ cmpxchgl(newval, addr);
800 } else
801#endif
802 {
803 __ lock();
804 __ cmpxchgptr(newval, addr);
805 }
806 if (!exchange) {
807 __ jccb(Assembler::equal, L_success)jccb_0(Assembler::equal, L_success, "/home/daniel/Projects/java/jdk/src/hotspot/cpu/x86/gc/shenandoah/shenandoahBarrierSetAssembler_x86.cpp"
, 807); // fastpath, peeking into Step 5, no need to jump
808 }
809
810 // Step 5. If we need a boolean result out of CAS, set the flag appropriately.
811 // and promote the result. Note that we handle the flag from both the 1st and 2nd CAS.
812 // Otherwise, failure witness for CAE is in oldval on all paths, and we can return.
813
814 if (exchange) {
815 __ bind(L_failure);
816 __ bind(L_success);
817 } else {
818 assert(res != NULL, "need result register")do { if (!(res != __null)) { (*g_assert_poison) = 'X';; report_vm_error
("/home/daniel/Projects/java/jdk/src/hotspot/cpu/x86/gc/shenandoah/shenandoahBarrierSetAssembler_x86.cpp"
, 818, "assert(" "res != __null" ") failed", "need result register"
); ::breakpoint(); } } while (0);
819
820 Label exit;
821 __ bind(L_failure);
822 __ xorptr(res, res);
823 __ jmpb(exit)jmpb_0(exit, "/home/daniel/Projects/java/jdk/src/hotspot/cpu/x86/gc/shenandoah/shenandoahBarrierSetAssembler_x86.cpp"
, 823);
824
825 __ bind(L_success);
826 __ movptr(res, 1);
827 __ bind(exit);
828 }
829}
830
831#undef __
832
833#ifdef COMPILER11
834
835#define __ ce->masm()->
836
837void ShenandoahBarrierSetAssembler::gen_pre_barrier_stub(LIR_Assembler* ce, ShenandoahPreBarrierStub* stub) {
838 ShenandoahBarrierSetC1* bs = (ShenandoahBarrierSetC1*)BarrierSet::barrier_set()->barrier_set_c1();
839 // At this point we know that marking is in progress.
840 // If do_load() is true then we have to emit the
841 // load of the previous value; otherwise it has already
842 // been loaded into _pre_val.
843
844 __ bind(*stub->entry());
845 assert(stub->pre_val()->is_register(), "Precondition.")do { if (!(stub->pre_val()->is_register())) { (*g_assert_poison
) = 'X';; report_vm_error("/home/daniel/Projects/java/jdk/src/hotspot/cpu/x86/gc/shenandoah/shenandoahBarrierSetAssembler_x86.cpp"
, 845, "assert(" "stub->pre_val()->is_register()" ") failed"
, "Precondition."); ::breakpoint(); } } while (0);
846
847 Register pre_val_reg = stub->pre_val()->as_register();
848
849 if (stub->do_load()) {
850 ce->mem2reg(stub->addr(), stub->pre_val(), T_OBJECT, stub->patch_code(), stub->info(), false /*wide*/);
851 }
852
853 __ cmpptr(pre_val_reg, (int32_t)NULL_WORD0L);
854 __ jcc(Assembler::equal, *stub->continuation());
855 ce->store_parameter(stub->pre_val()->as_register(), 0);
856 __ call(RuntimeAddress(bs->pre_barrier_c1_runtime_code_blob()->code_begin()));
857 __ jmp(*stub->continuation());
858
859}
860
861void ShenandoahBarrierSetAssembler::gen_load_reference_barrier_stub(LIR_Assembler* ce, ShenandoahLoadReferenceBarrierStub* stub) {
862 ShenandoahBarrierSetC1* bs = (ShenandoahBarrierSetC1*)BarrierSet::barrier_set()->barrier_set_c1();
863 __ bind(*stub->entry());
864
865 DecoratorSet decorators = stub->decorators();
866 bool is_strong = ShenandoahBarrierSet::is_strong_access(decorators);
867 bool is_weak = ShenandoahBarrierSet::is_weak_access(decorators);
868 bool is_phantom = ShenandoahBarrierSet::is_phantom_access(decorators);
869 bool is_native = ShenandoahBarrierSet::is_native_access(decorators);
870
871 Register obj = stub->obj()->as_register();
872 Register res = stub->result()->as_register();
873 Register addr = stub->addr()->as_pointer_register();
874 Register tmp1 = stub->tmp1()->as_register();
875 Register tmp2 = stub->tmp2()->as_register();
876 assert_different_registers(obj, res, addr, tmp1, tmp2);
877
878 Label slow_path;
879
880 assert(res == rax, "result must arrive in rax")do { if (!(res == rax)) { (*g_assert_poison) = 'X';; report_vm_error
("/home/daniel/Projects/java/jdk/src/hotspot/cpu/x86/gc/shenandoah/shenandoahBarrierSetAssembler_x86.cpp"
, 880, "assert(" "res == rax" ") failed", "result must arrive in rax"
); ::breakpoint(); } } while (0);
881
882 if (res != obj) {
883 __ mov(res, obj);
884 }
885
886 if (is_strong) {
887 // Check for object being in the collection set.
888 __ mov(tmp1, res);
889 __ shrptr(tmp1, ShenandoahHeapRegion::region_size_bytes_shift_jint());
890 __ movptr(tmp2, (intptr_t) ShenandoahHeap::in_cset_fast_test_addr());
891#ifdef _LP641
892 __ movbool(tmp2, Address(tmp2, tmp1, Address::times_1));
893 __ testbool(tmp2);
894#else
895 // On x86_32, C1 register allocator can give us the register without 8-bit support.
896 // Do the full-register access and test to avoid compilation failures.
897 __ movptr(tmp2, Address(tmp2, tmp1, Address::times_1));
898 __ testptr(tmp2, 0xFF);
899#endif
900 __ jcc(Assembler::zero, *stub->continuation());
901 }
902
903 __ bind(slow_path);
904 ce->store_parameter(res, 0);
905 ce->store_parameter(addr, 1);
906 if (is_strong) {
907 if (is_native) {
908 __ call(RuntimeAddress(bs->load_reference_barrier_strong_native_rt_code_blob()->code_begin()));
909 } else {
910 __ call(RuntimeAddress(bs->load_reference_barrier_strong_rt_code_blob()->code_begin()));
911 }
912 } else if (is_weak) {
913 __ call(RuntimeAddress(bs->load_reference_barrier_weak_rt_code_blob()->code_begin()));
914 } else {
915 assert(is_phantom, "only remaining strength")do { if (!(is_phantom)) { (*g_assert_poison) = 'X';; report_vm_error
("/home/daniel/Projects/java/jdk/src/hotspot/cpu/x86/gc/shenandoah/shenandoahBarrierSetAssembler_x86.cpp"
, 915, "assert(" "is_phantom" ") failed", "only remaining strength"
); ::breakpoint(); } } while (0);
916 __ call(RuntimeAddress(bs->load_reference_barrier_phantom_rt_code_blob()->code_begin()));
917 }
918 __ jmp(*stub->continuation());
919}
920
921#undef __
922
923#define __ sasm->
924
925void ShenandoahBarrierSetAssembler::generate_c1_pre_barrier_runtime_stub(StubAssembler* sasm) {
926 __ prologue("shenandoah_pre_barrier", false);
927 // arg0 : previous value of memory
928
929 __ push(rax);
930 __ push(rdx);
931
932 const Register pre_val = rax;
933 const Register thread = NOT_LP64(rax) LP64_ONLY(r15_thread)r15_thread;
934 const Register tmp = rdx;
935
936 NOT_LP64(__ get_thread(thread);)
937
938 Address queue_index(thread, in_bytes(ShenandoahThreadLocalData::satb_mark_queue_index_offset()));
939 Address buffer(thread, in_bytes(ShenandoahThreadLocalData::satb_mark_queue_buffer_offset()));
940
941 Label done;
942 Label runtime;
943
944 // Is SATB still active?
945 Address gc_state(thread, in_bytes(ShenandoahThreadLocalData::gc_state_offset()));
946 __ testb(gc_state, ShenandoahHeap::MARKING);
947 __ jcc(Assembler::zero, done);
948
949 // Can we store original value in the thread's buffer?
950
951 __ movptr(tmp, queue_index);
952 __ testptr(tmp, tmp);
953 __ jcc(Assembler::zero, runtime);
954 __ subptr(tmp, wordSize);
955 __ movptr(queue_index, tmp);
956 __ addptr(tmp, buffer);
957
958 // prev_val (rax)
959 __ load_parameter(0, pre_val);
960 __ movptr(Address(tmp, 0), pre_val);
961 __ jmp(done);
962
963 __ bind(runtime);
964
965 __ save_live_registers_no_oop_map(true);
966
967 // load the pre-value
968 __ load_parameter(0, rcx);
969 __ call_VM_leaf(CAST_FROM_FN_PTR(address, ShenandoahRuntime::write_ref_field_pre_entry)((address)((address_word)(ShenandoahRuntime::write_ref_field_pre_entry
))), rcx, thread);
970
971 __ restore_live_registers(true);
972
973 __ bind(done);
974
975 __ pop(rdx);
976 __ pop(rax);
977
978 __ epilogue();
979}
980
981void ShenandoahBarrierSetAssembler::generate_c1_load_reference_barrier_runtime_stub(StubAssembler* sasm, DecoratorSet decorators) {
982 __ prologue("shenandoah_load_reference_barrier", false);
983 // arg0 : object to be resolved
984
985 __ save_live_registers_no_oop_map(true);
986
987 bool is_strong = ShenandoahBarrierSet::is_strong_access(decorators);
988 bool is_weak = ShenandoahBarrierSet::is_weak_access(decorators);
989 bool is_phantom = ShenandoahBarrierSet::is_phantom_access(decorators);
990 bool is_native = ShenandoahBarrierSet::is_native_access(decorators);
991
992#ifdef _LP641
993 __ load_parameter(0, c_rarg0);
994 __ load_parameter(1, c_rarg1);
995 if (is_strong) {
996 if (is_native) {
997 __ call_VM_leaf(CAST_FROM_FN_PTR(address, ShenandoahRuntime::load_reference_barrier_strong)((address)((address_word)(ShenandoahRuntime::load_reference_barrier_strong
))), c_rarg0, c_rarg1);
998 } else {
999 if (UseCompressedOops) {
1000 __ call_VM_leaf(CAST_FROM_FN_PTR(address, ShenandoahRuntime::load_reference_barrier_strong_narrow)((address)((address_word)(ShenandoahRuntime::load_reference_barrier_strong_narrow
))), c_rarg0, c_rarg1);
1001 } else {
1002 __ call_VM_leaf(CAST_FROM_FN_PTR(address, ShenandoahRuntime::load_reference_barrier_strong)((address)((address_word)(ShenandoahRuntime::load_reference_barrier_strong
))), c_rarg0, c_rarg1);
1003 }
1004 }
1005 } else if (is_weak) {
1006 assert(!is_native, "weak must not be called off-heap")do { if (!(!is_native)) { (*g_assert_poison) = 'X';; report_vm_error
("/home/daniel/Projects/java/jdk/src/hotspot/cpu/x86/gc/shenandoah/shenandoahBarrierSetAssembler_x86.cpp"
, 1006, "assert(" "!is_native" ") failed", "weak must not be called off-heap"
); ::breakpoint(); } } while (0);
1007 if (UseCompressedOops) {
1008 __ call_VM_leaf(CAST_FROM_FN_PTR(address, ShenandoahRuntime::load_reference_barrier_weak_narrow)((address)((address_word)(ShenandoahRuntime::load_reference_barrier_weak_narrow
))), c_rarg0, c_rarg1);
1009 } else {
1010 __ call_VM_leaf(CAST_FROM_FN_PTR(address, ShenandoahRuntime::load_reference_barrier_weak)((address)((address_word)(ShenandoahRuntime::load_reference_barrier_weak
))), c_rarg0, c_rarg1);
1011 }
1012 } else {
1013 assert(is_phantom, "only remaining strength")do { if (!(is_phantom)) { (*g_assert_poison) = 'X';; report_vm_error
("/home/daniel/Projects/java/jdk/src/hotspot/cpu/x86/gc/shenandoah/shenandoahBarrierSetAssembler_x86.cpp"
, 1013, "assert(" "is_phantom" ") failed", "only remaining strength"
); ::breakpoint(); } } while (0);
1014 assert(is_native, "phantom must only be called off-heap")do { if (!(is_native)) { (*g_assert_poison) = 'X';; report_vm_error
("/home/daniel/Projects/java/jdk/src/hotspot/cpu/x86/gc/shenandoah/shenandoahBarrierSetAssembler_x86.cpp"
, 1014, "assert(" "is_native" ") failed", "phantom must only be called off-heap"
); ::breakpoint(); } } while (0);
1015 __ call_VM_leaf(CAST_FROM_FN_PTR(address, ShenandoahRuntime::load_reference_barrier_phantom)((address)((address_word)(ShenandoahRuntime::load_reference_barrier_phantom
))), c_rarg0, c_rarg1);
1016 }
1017#else
1018 __ load_parameter(0, rax);
1019 __ load_parameter(1, rbx);
1020 if (is_strong) {
1021 __ call_VM_leaf(CAST_FROM_FN_PTR(address, ShenandoahRuntime::load_reference_barrier_strong)((address)((address_word)(ShenandoahRuntime::load_reference_barrier_strong
))), rax, rbx);
1022 } else if (is_weak) {
1023 __ call_VM_leaf(CAST_FROM_FN_PTR(address, ShenandoahRuntime::load_reference_barrier_weak)((address)((address_word)(ShenandoahRuntime::load_reference_barrier_weak
))), rax, rbx);
1024 } else {
1025 assert(is_phantom, "only remaining strength")do { if (!(is_phantom)) { (*g_assert_poison) = 'X';; report_vm_error
("/home/daniel/Projects/java/jdk/src/hotspot/cpu/x86/gc/shenandoah/shenandoahBarrierSetAssembler_x86.cpp"
, 1025, "assert(" "is_phantom" ") failed", "only remaining strength"
); ::breakpoint(); } } while (0);
1026 __ call_VM_leaf(CAST_FROM_FN_PTR(address, ShenandoahRuntime::load_reference_barrier_phantom)((address)((address_word)(ShenandoahRuntime::load_reference_barrier_phantom
))), rax, rbx);
1027 }
1028#endif
1029
1030 __ restore_live_registers_except_rax(true);
1031
1032 __ epilogue();
1033}
1034
1035#undef __
1036
1037#endif // COMPILER1
←

/home/daniel/Projects/java/jdk/src/hotspot/share/asm/register.hpp

1/*
2 * Copyright (c) 2000, 2021, Oracle and/or its affiliates. All rights reserved.
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 *
19 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
20 * or visit www.oracle.com if you need additional information or have any
21 * questions.
22 *
23 */
24
25#ifndef SHARE_ASM_REGISTER_HPP
26#define SHARE_ASM_REGISTER_HPP
27
28#include "utilities/debug.hpp"
29#include "utilities/globalDefinitions.hpp"
30#include "utilities/macros.hpp"
31
32// Use AbstractRegister as shortcut
33class AbstractRegisterImpl;
34typedef AbstractRegisterImpl* AbstractRegister;
35
36
37// The super class for platform specific registers. Instead of using value objects,
38// registers are implemented as pointers. Subclassing is used so all registers can
39// use the debugging suport below. No virtual functions are used for efficiency.
40// They are canonicalized; i.e., registers are equal if their pointers are equal,
41// and vice versa. A concrete implementation may just map the register onto 'this'.
42
43class AbstractRegisterImpl {
44 protected:
45 int value() const { return (int)(intx)this; }
46};
47
48#define AS_REGISTER(type,name)((type)name_typeEnumValue) ((type)name##_##type##EnumValue)
49
50#define CONSTANT_REGISTER_DECLARATION(type, name, value)const type name = ((type)value); enum { name_typeEnumValue = (
value) } \
51const type name = ((type)value); \
52enum { name##_##type##EnumValue = (value) }
53
54#define REGISTER_DECLARATION(type, name, value)const type name = ((type)value) \
55const type name = ((type)value)
56
57#define REGISTER_DEFINITION(type, name)
58
59#include CPU_HEADER(register)"register_x86.hpp"
60
61// Debugging support
62
63template<typename R, typename... Rx>
64inline void assert_different_registers(R first_register, Rx... more_registers) {
65#ifdef ASSERT1
66 const R regs[] = { first_register, more_registers... };
8
←
Initializing to a null pointer value
→
67 // Verify there are no equal entries.
68 for (size_t i = 0; i < ARRAY_SIZE(regs)sizeof(array_size_impl(regs)) - 1; ++i) {
9
←
'i' initialized to 0
→
10
←
Loop condition is true. Entering loop body
→
69 for (size_t j = i + 1; j < ARRAY_SIZE(regs)sizeof(array_size_impl(regs)); ++j) {
11
←
Loop condition is true. Entering loop body
→
70 assert(regs[i] != regs[j], "Multiple uses of register: %s", regs[i]->name())do { if (!(regs[i] != regs[j])) { (*g_assert_poison) = 'X';; report_vm_error
("/home/daniel/Projects/java/jdk/src/hotspot/share/asm/register.hpp"
, 70, "assert(" "regs[i] != regs[j]" ") failed", "Multiple uses of register: %s"
, regs[i]->name()); ::breakpoint(); } } while (0);
12
←
Assuming the condition is false
→
13
←
Taking true branch
→
14
←
Called C++ object pointer is null
71 }
72 }
73#endif
74}
75
76#endif // SHARE_ASM_REGISTER_HPP