rev 7659 : [mq]: remove
1 /*
2 * Copyright (c) 1999, 2015, 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_VM_C1_C1_CODESTUBS_HPP
26 #define SHARE_VM_C1_C1_CODESTUBS_HPP
27
28 #include "c1/c1_FrameMap.hpp"
29 #include "c1/c1_IR.hpp"
30 #include "c1/c1_Instruction.hpp"
31 #include "c1/c1_LIR.hpp"
32 #include "c1/c1_Runtime1.hpp"
33 #include "code/nativeInst.hpp"
34 #include "utilities/array.hpp"
35 #include "utilities/macros.hpp"
36
37 class CodeEmitInfo;
38 class LIR_Assembler;
39 class LIR_OpVisitState;
40
41 // CodeStubs are little 'out-of-line' pieces of code that
42 // usually handle slow cases of operations. All code stubs
43 // are collected and code is emitted at the end of the
44 // nmethod.
45
46 class CodeStub: public CompilationResourceObj {
47 protected:
48 Label _entry; // label at the stub entry point
49 Label _continuation; // label where stub continues, if any
50
51 public:
52 CodeStub() {}
53
54 // code generation
55 void assert_no_unbound_labels() { assert(!_entry.is_unbound() && !_continuation.is_unbound(), "unbound label"); }
56 virtual void emit_code(LIR_Assembler* e) = 0;
57 virtual CodeEmitInfo* info() const { return NULL; }
58 virtual bool is_exception_throw_stub() const { return false; }
59 virtual bool is_range_check_stub() const { return false; }
60 virtual bool is_divbyzero_stub() const { return false; }
61 #ifndef PRODUCT
62 virtual void print_name(outputStream* out) const = 0;
63 #endif
64
65 // label access
66 Label* entry() { return &_entry; }
67 Label* continuation() { return &_continuation; }
68 // for LIR
69 virtual void visit(LIR_OpVisitState* visit) {
70 #ifndef PRODUCT
71 if (LIRTracePeephole && Verbose) {
72 tty->print("no visitor for ");
73 print_name(tty);
74 tty->cr();
75 }
76 #endif
77 }
78 };
79
80
81 define_array(CodeStubArray, CodeStub*)
82 define_stack(_CodeStubList, CodeStubArray)
83
84 class CodeStubList: public _CodeStubList {
85 public:
86 CodeStubList(): _CodeStubList() {}
87
88 void append(CodeStub* stub) {
89 if (!contains(stub)) {
90 _CodeStubList::append(stub);
91 }
92 }
93 };
94
95 class CounterOverflowStub: public CodeStub {
96 private:
97 CodeEmitInfo* _info;
98 int _bci;
99 LIR_Opr _method;
100
101 public:
102 CounterOverflowStub(CodeEmitInfo* info, int bci, LIR_Opr method) : _info(info), _bci(bci), _method(method) {
103 }
104
105 virtual void emit_code(LIR_Assembler* e);
106
107 virtual void visit(LIR_OpVisitState* visitor) {
108 visitor->do_slow_case(_info);
109 visitor->do_input(_method);
110 }
111
112 #ifndef PRODUCT
113 virtual void print_name(outputStream* out) const { out->print("CounterOverflowStub"); }
114 #endif // PRODUCT
115
116 };
117
118 class ConversionStub: public CodeStub {
119 private:
120 Bytecodes::Code _bytecode;
121 LIR_Opr _input;
122 LIR_Opr _result;
123
124 static float float_zero;
125 static double double_zero;
126 public:
127 ConversionStub(Bytecodes::Code bytecode, LIR_Opr input, LIR_Opr result)
128 : _bytecode(bytecode), _input(input), _result(result) {
129 }
130
131 Bytecodes::Code bytecode() { return _bytecode; }
132 LIR_Opr input() { return _input; }
133 LIR_Opr result() { return _result; }
134
135 virtual void emit_code(LIR_Assembler* e);
136 virtual void visit(LIR_OpVisitState* visitor) {
137 visitor->do_slow_case();
138 visitor->do_input(_input);
139 visitor->do_output(_result);
140 }
141 #ifndef PRODUCT
142 virtual void print_name(outputStream* out) const { out->print("ConversionStub"); }
143 #endif // PRODUCT
144 };
145
146
147 // Throws ArrayIndexOutOfBoundsException by default but can be
148 // configured to throw IndexOutOfBoundsException in constructor
149 class RangeCheckStub: public CodeStub {
150 private:
151 CodeEmitInfo* _info;
152 LIR_Opr _index;
153 bool _throw_index_out_of_bounds_exception;
154
155 public:
156 RangeCheckStub(CodeEmitInfo* info, LIR_Opr index, bool throw_index_out_of_bounds_exception = false);
157 virtual void emit_code(LIR_Assembler* e);
158 virtual CodeEmitInfo* info() const { return _info; }
159 virtual bool is_exception_throw_stub() const { return true; }
160 virtual bool is_range_check_stub() const { return true; }
161 virtual void visit(LIR_OpVisitState* visitor) {
162 visitor->do_slow_case(_info);
163 visitor->do_input(_index);
164 }
165 #ifndef PRODUCT
166 virtual void print_name(outputStream* out) const { out->print("RangeCheckStub"); }
167 #endif // PRODUCT
168 };
169
170 // stub used when predicate fails and deoptimization is needed
171 class PredicateFailedStub: public CodeStub {
172 private:
173 CodeEmitInfo* _info;
174
175 public:
176 PredicateFailedStub(CodeEmitInfo* info);
177 virtual void emit_code(LIR_Assembler* e);
178 virtual CodeEmitInfo* info() const { return _info; }
179 virtual void visit(LIR_OpVisitState* visitor) {
180 visitor->do_slow_case(_info);
181 }
182 #ifndef PRODUCT
183 virtual void print_name(outputStream* out) const { out->print("PredicateFailedStub"); }
184 #endif // PRODUCT
185 };
186
187 class DivByZeroStub: public CodeStub {
188 private:
189 CodeEmitInfo* _info;
190 int _offset;
191
192 public:
193 DivByZeroStub(CodeEmitInfo* info)
194 : _info(info), _offset(-1) {
195 }
196 DivByZeroStub(int offset, CodeEmitInfo* info)
197 : _info(info), _offset(offset) {
198 }
199 virtual void emit_code(LIR_Assembler* e);
200 virtual CodeEmitInfo* info() const { return _info; }
201 virtual bool is_exception_throw_stub() const { return true; }
202 virtual bool is_divbyzero_stub() const { return true; }
203 virtual void visit(LIR_OpVisitState* visitor) {
204 visitor->do_slow_case(_info);
205 }
206 #ifndef PRODUCT
207 virtual void print_name(outputStream* out) const { out->print("DivByZeroStub"); }
208 #endif // PRODUCT
209 };
210
211
212 class ImplicitNullCheckStub: public CodeStub {
213 private:
214 CodeEmitInfo* _info;
215 int _offset;
216
217 public:
218 ImplicitNullCheckStub(int offset, CodeEmitInfo* info)
219 : _offset(offset), _info(info) {
220 }
221 virtual void emit_code(LIR_Assembler* e);
222 virtual CodeEmitInfo* info() const { return _info; }
223 virtual bool is_exception_throw_stub() const { return true; }
224 virtual void visit(LIR_OpVisitState* visitor) {
225 visitor->do_slow_case(_info);
226 }
227 #ifndef PRODUCT
228 virtual void print_name(outputStream* out) const { out->print("ImplicitNullCheckStub"); }
229 #endif // PRODUCT
230 };
231
232
233 class NewInstanceStub: public CodeStub {
234 private:
235 ciInstanceKlass* _klass;
236 LIR_Opr _klass_reg;
237 LIR_Opr _result;
238 CodeEmitInfo* _info;
239 Runtime1::StubID _stub_id;
240
241 public:
242 NewInstanceStub(LIR_Opr klass_reg, LIR_Opr result, ciInstanceKlass* klass, CodeEmitInfo* info, Runtime1::StubID stub_id);
243 virtual void emit_code(LIR_Assembler* e);
244 virtual CodeEmitInfo* info() const { return _info; }
245 virtual void visit(LIR_OpVisitState* visitor) {
246 visitor->do_slow_case(_info);
247 visitor->do_input(_klass_reg);
248 visitor->do_output(_result);
249 }
250 #ifndef PRODUCT
251 virtual void print_name(outputStream* out) const { out->print("NewInstanceStub"); }
252 #endif // PRODUCT
253 };
254
255
256 class NewTypeArrayStub: public CodeStub {
257 private:
258 LIR_Opr _klass_reg;
259 LIR_Opr _length;
260 LIR_Opr _result;
261 CodeEmitInfo* _info;
262
263 public:
264 NewTypeArrayStub(LIR_Opr klass_reg, LIR_Opr length, LIR_Opr result, CodeEmitInfo* info);
265 virtual void emit_code(LIR_Assembler* e);
266 virtual CodeEmitInfo* info() const { return _info; }
267 virtual void visit(LIR_OpVisitState* visitor) {
268 visitor->do_slow_case(_info);
269 visitor->do_input(_klass_reg);
270 visitor->do_input(_length);
271 assert(_result->is_valid(), "must be valid"); visitor->do_output(_result);
272 }
273 #ifndef PRODUCT
274 virtual void print_name(outputStream* out) const { out->print("NewTypeArrayStub"); }
275 #endif // PRODUCT
276 };
277
278
279 class NewObjectArrayStub: public CodeStub {
280 private:
281 LIR_Opr _klass_reg;
282 LIR_Opr _length;
283 LIR_Opr _result;
284 CodeEmitInfo* _info;
285
286 public:
287 NewObjectArrayStub(LIR_Opr klass_reg, LIR_Opr length, LIR_Opr result, CodeEmitInfo* info);
288 virtual void emit_code(LIR_Assembler* e);
289 virtual CodeEmitInfo* info() const { return _info; }
290 virtual void visit(LIR_OpVisitState* visitor) {
291 visitor->do_slow_case(_info);
292 visitor->do_input(_klass_reg);
293 visitor->do_input(_length);
294 assert(_result->is_valid(), "must be valid"); visitor->do_output(_result);
295 }
296 #ifndef PRODUCT
297 virtual void print_name(outputStream* out) const { out->print("NewObjectArrayStub"); }
298 #endif // PRODUCT
299 };
300
301
302 class MonitorAccessStub: public CodeStub {
303 protected:
304 LIR_Opr _obj_reg;
305 LIR_Opr _lock_reg;
306
307 public:
308 MonitorAccessStub(LIR_Opr obj_reg, LIR_Opr lock_reg) {
309 _obj_reg = obj_reg;
310 _lock_reg = lock_reg;
311 }
312
313 #ifndef PRODUCT
314 virtual void print_name(outputStream* out) const { out->print("MonitorAccessStub"); }
315 #endif // PRODUCT
316 };
317
318
319 class MonitorEnterStub: public MonitorAccessStub {
320 private:
321 CodeEmitInfo* _info;
322
323 public:
324 MonitorEnterStub(LIR_Opr obj_reg, LIR_Opr lock_reg, CodeEmitInfo* info);
325
326 virtual void emit_code(LIR_Assembler* e);
327 virtual CodeEmitInfo* info() const { return _info; }
328 virtual void visit(LIR_OpVisitState* visitor) {
329 visitor->do_input(_obj_reg);
330 visitor->do_input(_lock_reg);
331 visitor->do_slow_case(_info);
332 }
333 #ifndef PRODUCT
334 virtual void print_name(outputStream* out) const { out->print("MonitorEnterStub"); }
335 #endif // PRODUCT
336 };
337
338
339 class MonitorExitStub: public MonitorAccessStub {
340 private:
341 bool _compute_lock;
342 int _monitor_ix;
343
344 public:
345 MonitorExitStub(LIR_Opr lock_reg, bool compute_lock, int monitor_ix)
346 : MonitorAccessStub(LIR_OprFact::illegalOpr, lock_reg),
347 _compute_lock(compute_lock), _monitor_ix(monitor_ix) { }
348 virtual void emit_code(LIR_Assembler* e);
349 virtual void visit(LIR_OpVisitState* visitor) {
350 assert(_obj_reg->is_illegal(), "unused");
351 if (_compute_lock) {
352 visitor->do_temp(_lock_reg);
353 } else {
354 visitor->do_input(_lock_reg);
355 }
356 }
357 #ifndef PRODUCT
358 virtual void print_name(outputStream* out) const { out->print("MonitorExitStub"); }
359 #endif // PRODUCT
360 };
361
362
363 class PatchingStub: public CodeStub {
364 public:
365 enum PatchID {
366 access_field_id,
367 load_klass_id,
368 load_mirror_id,
369 load_appendix_id
370 };
371 enum constants {
372 patch_info_size = 3
373 };
374 private:
375 PatchID _id;
376 address _pc_start;
377 int _bytes_to_copy;
378 Label _patched_code_entry;
379 Label _patch_site_entry;
380 Label _patch_site_continuation;
381 Register _obj;
382 CodeEmitInfo* _info;
383 int _index; // index of the patchable oop or Klass* in nmethod oop or metadata table if needed
384 static int _patch_info_offset;
385
386 void align_patch_site(MacroAssembler* masm);
387
388 public:
389 static int patch_info_offset() { return _patch_info_offset; }
390
391 PatchingStub(MacroAssembler* masm, PatchID id, int index = -1):
392 _id(id)
393 , _info(NULL)
394 , _index(index) {
395 if (os::is_MP()) {
396 // force alignment of patch sites on MP hardware so we
397 // can guarantee atomic writes to the patch site.
398 align_patch_site(masm);
399 }
400 _pc_start = masm->pc();
401 masm->bind(_patch_site_entry);
402 }
403
404 void install(MacroAssembler* masm, LIR_PatchCode patch_code, Register obj, CodeEmitInfo* info) {
405 _info = info;
406 _obj = obj;
407 masm->bind(_patch_site_continuation);
408 _bytes_to_copy = masm->pc() - pc_start();
409 if (_id == PatchingStub::access_field_id) {
410 // embed a fixed offset to handle long patches which need to be offset by a word.
411 // the patching code will just add the field offset field to this offset so
412 // that we can refernce either the high or low word of a double word field.
413 int field_offset = 0;
414 switch (patch_code) {
415 case lir_patch_low: field_offset = lo_word_offset_in_bytes; break;
416 case lir_patch_high: field_offset = hi_word_offset_in_bytes; break;
417 case lir_patch_normal: field_offset = 0; break;
418 default: ShouldNotReachHere();
419 }
420 NativeMovRegMem* n_move = nativeMovRegMem_at(pc_start());
421 n_move->set_offset(field_offset);
422 } else if (_id == load_klass_id || _id == load_mirror_id || _id == load_appendix_id) {
423 assert(_obj != noreg, "must have register object for load_klass/load_mirror");
424 #ifdef ASSERT
425 // verify that we're pointing at a NativeMovConstReg
426 nativeMovConstReg_at(pc_start());
427 #endif
428 } else {
429 ShouldNotReachHere();
430 }
431 assert(_bytes_to_copy <= (masm->pc() - pc_start()), "not enough bytes");
432 }
433
434 address pc_start() const { return _pc_start; }
435 PatchID id() const { return _id; }
436
437 virtual void emit_code(LIR_Assembler* e);
438 virtual CodeEmitInfo* info() const { return _info; }
439 virtual void visit(LIR_OpVisitState* visitor) {
440 visitor->do_slow_case(_info);
441 }
442 #ifndef PRODUCT
443 virtual void print_name(outputStream* out) const { out->print("PatchingStub"); }
444 #endif // PRODUCT
445 };
446
447
448 //------------------------------------------------------------------------------
449 // DeoptimizeStub
450 //
451 class DeoptimizeStub : public CodeStub {
452 private:
453 CodeEmitInfo* _info;
454 jint _trap_request;
455
456 public:
457 DeoptimizeStub(CodeEmitInfo* info, Deoptimization::DeoptReason reason, Deoptimization::DeoptAction action) :
458 _info(new CodeEmitInfo(info)), _trap_request(Deoptimization::make_trap_request(reason, action)) {}
459
460 virtual void emit_code(LIR_Assembler* e);
461 virtual CodeEmitInfo* info() const { return _info; }
462 virtual bool is_exception_throw_stub() const { return true; }
463 virtual void visit(LIR_OpVisitState* visitor) {
464 visitor->do_slow_case(_info);
465 }
466 #ifndef PRODUCT
467 virtual void print_name(outputStream* out) const { out->print("DeoptimizeStub"); }
468 #endif // PRODUCT
469 };
470
471
472 class SimpleExceptionStub: public CodeStub {
473 private:
474 LIR_Opr _obj;
475 Runtime1::StubID _stub;
476 CodeEmitInfo* _info;
477
478 public:
479 SimpleExceptionStub(Runtime1::StubID stub, LIR_Opr obj, CodeEmitInfo* info):
480 _obj(obj), _info(info), _stub(stub) {
481 }
482
483 void set_obj(LIR_Opr obj) {
484 _obj = obj;
485 }
486
487 virtual void emit_code(LIR_Assembler* e);
488 virtual CodeEmitInfo* info() const { return _info; }
489 virtual bool is_exception_throw_stub() const { return true; }
490 virtual void visit(LIR_OpVisitState* visitor) {
491 if (_obj->is_valid()) visitor->do_input(_obj);
492 visitor->do_slow_case(_info);
493 }
494 #ifndef PRODUCT
495 virtual void print_name(outputStream* out) const { out->print("SimpleExceptionStub"); }
496 #endif // PRODUCT
497 };
498
499
500
501 class ArrayStoreExceptionStub: public SimpleExceptionStub {
502 private:
503 CodeEmitInfo* _info;
504
505 public:
506 ArrayStoreExceptionStub(LIR_Opr obj, CodeEmitInfo* info): SimpleExceptionStub(Runtime1::throw_array_store_exception_id, obj, info) {}
507 #ifndef PRODUCT
508 virtual void print_name(outputStream* out) const { out->print("ArrayStoreExceptionStub"); }
509 #endif // PRODUCT
510 };
511
512
513 class ArrayCopyStub: public CodeStub {
514 private:
515 LIR_OpArrayCopy* _op;
516
517 public:
518 ArrayCopyStub(LIR_OpArrayCopy* op): _op(op) { }
519
520 LIR_Opr src() const { return _op->src(); }
521 LIR_Opr src_pos() const { return _op->src_pos(); }
522 LIR_Opr dst() const { return _op->dst(); }
523 LIR_Opr dst_pos() const { return _op->dst_pos(); }
524 LIR_Opr length() const { return _op->length(); }
525 LIR_Opr tmp() const { return _op->tmp(); }
526
527 virtual void emit_code(LIR_Assembler* e);
528 virtual CodeEmitInfo* info() const { return _op->info(); }
529 virtual void visit(LIR_OpVisitState* visitor) {
530 // don't pass in the code emit info since it's processed in the fast path
531 visitor->do_slow_case();
532 }
533 #ifndef PRODUCT
534 virtual void print_name(outputStream* out) const { out->print("ArrayCopyStub"); }
535 #endif // PRODUCT
536 };
537
538 //////////////////////////////////////////////////////////////////////////////////////////
539 #if INCLUDE_ALL_GCS
540
541 // Code stubs for Garbage-First barriers.
542 class G1PreBarrierStub: public CodeStub {
543 private:
544 bool _do_load;
545 LIR_Opr _addr;
546 LIR_Opr _pre_val;
547 LIR_PatchCode _patch_code;
548 CodeEmitInfo* _info;
549
550 public:
551 // Version that _does_ generate a load of the previous value from addr.
552 // addr (the address of the field to be read) must be a LIR_Address
553 // pre_val (a temporary register) must be a register;
554 G1PreBarrierStub(LIR_Opr addr, LIR_Opr pre_val, LIR_PatchCode patch_code, CodeEmitInfo* info) :
555 _addr(addr), _pre_val(pre_val), _do_load(true),
556 _patch_code(patch_code), _info(info)
557 {
558 assert(_pre_val->is_register(), "should be temporary register");
559 assert(_addr->is_address(), "should be the address of the field");
560 }
561
562 // Version that _does not_ generate load of the previous value; the
563 // previous value is assumed to have already been loaded into pre_val.
564 G1PreBarrierStub(LIR_Opr pre_val) :
565 _addr(LIR_OprFact::illegalOpr), _pre_val(pre_val), _do_load(false),
566 _patch_code(lir_patch_none), _info(NULL)
567 {
568 assert(_pre_val->is_register(), "should be a register");
569 }
570
571 LIR_Opr addr() const { return _addr; }
572 LIR_Opr pre_val() const { return _pre_val; }
573 LIR_PatchCode patch_code() const { return _patch_code; }
574 CodeEmitInfo* info() const { return _info; }
575 bool do_load() const { return _do_load; }
576
577 virtual void emit_code(LIR_Assembler* e);
578 virtual void visit(LIR_OpVisitState* visitor) {
579 if (_do_load) {
580 // don't pass in the code emit info since it's processed in the fast
581 // path
582 if (_info != NULL)
583 visitor->do_slow_case(_info);
584 else
585 visitor->do_slow_case();
586
587 visitor->do_input(_addr);
588 visitor->do_temp(_pre_val);
589 } else {
590 visitor->do_slow_case();
591 visitor->do_input(_pre_val);
592 }
593 }
594 #ifndef PRODUCT
595 virtual void print_name(outputStream* out) const { out->print("G1PreBarrierStub"); }
596 #endif // PRODUCT
597 };
598
599 class G1PostBarrierStub: public CodeStub {
600 private:
601 LIR_Opr _addr;
602 LIR_Opr _new_val;
603
604 public:
605 // addr (the address of the object head) and new_val must be registers.
606 G1PostBarrierStub(LIR_Opr addr, LIR_Opr new_val): _addr(addr), _new_val(new_val) { }
607
608 LIR_Opr addr() const { return _addr; }
609 LIR_Opr new_val() const { return _new_val; }
610
611 virtual void emit_code(LIR_Assembler* e);
612 virtual void visit(LIR_OpVisitState* visitor) {
613 // don't pass in the code emit info since it's processed in the fast path
614 visitor->do_slow_case();
615 visitor->do_input(_addr);
616 visitor->do_input(_new_val);
617 }
618 #ifndef PRODUCT
619 virtual void print_name(outputStream* out) const { out->print("G1PostBarrierStub"); }
620 #endif // PRODUCT
621 };
622
623 #endif // INCLUDE_ALL_GCS
624 //////////////////////////////////////////////////////////////////////////////////////////
625
626 #endif // SHARE_VM_C1_C1_CODESTUBS_HPP
--- EOF ---