rev 7659 : [mq]: remove
1 /* 2 * Copyright (c) 1999, 2014, 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 static jbyte* _byte_map_base; 605 static jbyte* byte_map_base_slow(); 606 static jbyte* byte_map_base() { 607 if (_byte_map_base == NULL) { 608 _byte_map_base = byte_map_base_slow(); 609 } 610 return _byte_map_base; 611 } 612 613 public: 614 // addr (the address of the object head) and new_val must be registers. 615 G1PostBarrierStub(LIR_Opr addr, LIR_Opr new_val): _addr(addr), _new_val(new_val) { } 616 617 LIR_Opr addr() const { return _addr; } 618 LIR_Opr new_val() const { return _new_val; } 619 620 virtual void emit_code(LIR_Assembler* e); 621 virtual void visit(LIR_OpVisitState* visitor) { 622 // don't pass in the code emit info since it's processed in the fast path 623 visitor->do_slow_case(); 624 visitor->do_input(_addr); 625 visitor->do_input(_new_val); 626 } 627 #ifndef PRODUCT 628 virtual void print_name(outputStream* out) const { out->print("G1PostBarrierStub"); } 629 #endif // PRODUCT 630 }; 631 632 #endif // INCLUDE_ALL_GCS 633 ////////////////////////////////////////////////////////////////////////////////////////// 634 635 #endif // SHARE_VM_C1_C1_CODESTUBS_HPP --- EOF ---