src/cpu/sparc/vm/c1_CodeStubs_sparc.cpp

Mon, 24 Jan 2011 13:34:18 -0800

author
never
date
Mon, 24 Jan 2011 13:34:18 -0800
changeset 2488
e4fee0bdaa85
parent 2344
ac637b7220d1
child 2658
c7f3d0b4570f
permissions
-rw-r--r--

7008809: should report the class in ArrayStoreExceptions from compiled code
Reviewed-by: iveresov, twisti

     1 /*
     2  * Copyright (c) 1999, 2011, 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  */
    25 #include "precompiled.hpp"
    26 #include "c1/c1_CodeStubs.hpp"
    27 #include "c1/c1_FrameMap.hpp"
    28 #include "c1/c1_LIRAssembler.hpp"
    29 #include "c1/c1_MacroAssembler.hpp"
    30 #include "c1/c1_Runtime1.hpp"
    31 #include "nativeInst_sparc.hpp"
    32 #include "runtime/sharedRuntime.hpp"
    33 #include "vmreg_sparc.inline.hpp"
    34 #ifndef SERIALGC
    35 #include "gc_implementation/g1/g1SATBCardTableModRefBS.hpp"
    36 #endif
    38 #define __ ce->masm()->
    40 RangeCheckStub::RangeCheckStub(CodeEmitInfo* info, LIR_Opr index,
    41                                bool throw_index_out_of_bounds_exception)
    42   : _throw_index_out_of_bounds_exception(throw_index_out_of_bounds_exception)
    43   , _index(index)
    44 {
    45   assert(info != NULL, "must have info");
    46   _info = new CodeEmitInfo(info);
    47 }
    50 void RangeCheckStub::emit_code(LIR_Assembler* ce) {
    51   __ bind(_entry);
    53   if (_index->is_register()) {
    54     __ mov(_index->as_register(), G4);
    55   } else {
    56     __ set(_index->as_jint(), G4);
    57   }
    58   if (_throw_index_out_of_bounds_exception) {
    59     __ call(Runtime1::entry_for(Runtime1::throw_index_exception_id), relocInfo::runtime_call_type);
    60   } else {
    61     __ call(Runtime1::entry_for(Runtime1::throw_range_check_failed_id), relocInfo::runtime_call_type);
    62   }
    63   __ delayed()->nop();
    64   ce->add_call_info_here(_info);
    65   ce->verify_oop_map(_info);
    66 #ifdef ASSERT
    67   __ should_not_reach_here();
    68 #endif
    69 }
    72 void CounterOverflowStub::emit_code(LIR_Assembler* ce) {
    73   __ bind(_entry);
    74   __ set(_bci, G4);
    75   __ call(Runtime1::entry_for(Runtime1::counter_overflow_id), relocInfo::runtime_call_type);
    76   __ delayed()->mov_or_nop(_method->as_register(), G5);
    77   ce->add_call_info_here(_info);
    78   ce->verify_oop_map(_info);
    80   __ br(Assembler::always, true, Assembler::pt, _continuation);
    81   __ delayed()->nop();
    82 }
    85 void DivByZeroStub::emit_code(LIR_Assembler* ce) {
    86   if (_offset != -1) {
    87     ce->compilation()->implicit_exception_table()->append(_offset, __ offset());
    88   }
    89   __ bind(_entry);
    90   __ call(Runtime1::entry_for(Runtime1::throw_div0_exception_id), relocInfo::runtime_call_type);
    91   __ delayed()->nop();
    92   ce->add_call_info_here(_info);
    93   ce->verify_oop_map(_info);
    94 #ifdef ASSERT
    95   __ should_not_reach_here();
    96 #endif
    97 }
   100 void ImplicitNullCheckStub::emit_code(LIR_Assembler* ce) {
   101   ce->compilation()->implicit_exception_table()->append(_offset, __ offset());
   102   __ bind(_entry);
   103   __ call(Runtime1::entry_for(Runtime1::throw_null_pointer_exception_id),
   104           relocInfo::runtime_call_type);
   105   __ delayed()->nop();
   106   ce->add_call_info_here(_info);
   107   ce->verify_oop_map(_info);
   108 #ifdef ASSERT
   109   __ should_not_reach_here();
   110 #endif
   111 }
   114 // Implementation of SimpleExceptionStub
   115 // Note: %g1 and %g3 are already in use
   116 void SimpleExceptionStub::emit_code(LIR_Assembler* ce) {
   117   __ bind(_entry);
   118   __ call(Runtime1::entry_for(_stub), relocInfo::runtime_call_type);
   120   if (_obj->is_valid()) {
   121     __ delayed()->mov(_obj->as_register(), G4); // _obj contains the optional argument to the stub
   122   } else {
   123     __ delayed()->mov(G0, G4);
   124   }
   125   ce->add_call_info_here(_info);
   126 #ifdef ASSERT
   127   __ should_not_reach_here();
   128 #endif
   129 }
   132 // Implementation of NewInstanceStub
   134 NewInstanceStub::NewInstanceStub(LIR_Opr klass_reg, LIR_Opr result, ciInstanceKlass* klass, CodeEmitInfo* info, Runtime1::StubID stub_id) {
   135   _result = result;
   136   _klass = klass;
   137   _klass_reg = klass_reg;
   138   _info = new CodeEmitInfo(info);
   139   assert(stub_id == Runtime1::new_instance_id                 ||
   140          stub_id == Runtime1::fast_new_instance_id            ||
   141          stub_id == Runtime1::fast_new_instance_init_check_id,
   142          "need new_instance id");
   143   _stub_id   = stub_id;
   144 }
   147 void NewInstanceStub::emit_code(LIR_Assembler* ce) {
   148   __ bind(_entry);
   149   __ call(Runtime1::entry_for(_stub_id), relocInfo::runtime_call_type);
   150   __ delayed()->mov_or_nop(_klass_reg->as_register(), G5);
   151   ce->add_call_info_here(_info);
   152   ce->verify_oop_map(_info);
   153   __ br(Assembler::always, false, Assembler::pt, _continuation);
   154   __ delayed()->mov_or_nop(O0, _result->as_register());
   155 }
   158 // Implementation of NewTypeArrayStub
   159 NewTypeArrayStub::NewTypeArrayStub(LIR_Opr klass_reg, LIR_Opr length, LIR_Opr result, CodeEmitInfo* info) {
   160   _klass_reg = klass_reg;
   161   _length = length;
   162   _result = result;
   163   _info = new CodeEmitInfo(info);
   164 }
   167 void NewTypeArrayStub::emit_code(LIR_Assembler* ce) {
   168   __ bind(_entry);
   170   __ mov(_length->as_register(), G4);
   171   __ call(Runtime1::entry_for(Runtime1::new_type_array_id), relocInfo::runtime_call_type);
   172   __ delayed()->mov_or_nop(_klass_reg->as_register(), G5);
   173   ce->add_call_info_here(_info);
   174   ce->verify_oop_map(_info);
   175   __ br(Assembler::always, false, Assembler::pt, _continuation);
   176   __ delayed()->mov_or_nop(O0, _result->as_register());
   177 }
   180 // Implementation of NewObjectArrayStub
   182 NewObjectArrayStub::NewObjectArrayStub(LIR_Opr klass_reg, LIR_Opr length, LIR_Opr result, CodeEmitInfo* info) {
   183   _klass_reg = klass_reg;
   184   _length = length;
   185   _result = result;
   186   _info = new CodeEmitInfo(info);
   187 }
   190 void NewObjectArrayStub::emit_code(LIR_Assembler* ce) {
   191   __ bind(_entry);
   193   __ mov(_length->as_register(), G4);
   194   __ call(Runtime1::entry_for(Runtime1::new_object_array_id), relocInfo::runtime_call_type);
   195   __ delayed()->mov_or_nop(_klass_reg->as_register(), G5);
   196   ce->add_call_info_here(_info);
   197   ce->verify_oop_map(_info);
   198   __ br(Assembler::always, false, Assembler::pt, _continuation);
   199   __ delayed()->mov_or_nop(O0, _result->as_register());
   200 }
   203 // Implementation of MonitorAccessStubs
   204 MonitorEnterStub::MonitorEnterStub(LIR_Opr obj_reg, LIR_Opr lock_reg, CodeEmitInfo* info)
   205   : MonitorAccessStub(obj_reg, lock_reg) {
   206   _info = new CodeEmitInfo(info);
   207 }
   210 void MonitorEnterStub::emit_code(LIR_Assembler* ce) {
   211   __ bind(_entry);
   212   __ mov(_obj_reg->as_register(), G4);
   213   if (ce->compilation()->has_fpu_code()) {
   214     __ call(Runtime1::entry_for(Runtime1::monitorenter_id), relocInfo::runtime_call_type);
   215   } else {
   216     __ call(Runtime1::entry_for(Runtime1::monitorenter_nofpu_id), relocInfo::runtime_call_type);
   217   }
   218   __ delayed()->mov_or_nop(_lock_reg->as_register(), G5);
   219   ce->add_call_info_here(_info);
   220   ce->verify_oop_map(_info);
   221   __ br(Assembler::always, true, Assembler::pt, _continuation);
   222   __ delayed()->nop();
   223 }
   226 void MonitorExitStub::emit_code(LIR_Assembler* ce) {
   227   __ bind(_entry);
   228   if (_compute_lock) {
   229     ce->monitor_address(_monitor_ix, _lock_reg);
   230   }
   231   if (ce->compilation()->has_fpu_code()) {
   232     __ call(Runtime1::entry_for(Runtime1::monitorexit_id), relocInfo::runtime_call_type);
   233   } else {
   234     __ call(Runtime1::entry_for(Runtime1::monitorexit_nofpu_id), relocInfo::runtime_call_type);
   235   }
   237   __ delayed()->mov_or_nop(_lock_reg->as_register(), G4);
   238   __ br(Assembler::always, true, Assembler::pt, _continuation);
   239   __ delayed()->nop();
   240 }
   242 // Implementation of patching:
   243 // - Copy the code at given offset to an inlined buffer (first the bytes, then the number of bytes)
   244 // - Replace original code with a call to the stub
   245 // At Runtime:
   246 // - call to stub, jump to runtime
   247 // - in runtime: preserve all registers (especially objects, i.e., source and destination object)
   248 // - in runtime: after initializing class, restore original code, reexecute instruction
   250 int PatchingStub::_patch_info_offset = -NativeGeneralJump::instruction_size;
   252 void PatchingStub::align_patch_site(MacroAssembler* ) {
   253   // patch sites on sparc are always properly aligned.
   254 }
   256 void PatchingStub::emit_code(LIR_Assembler* ce) {
   257   // copy original code here
   258   assert(NativeCall::instruction_size <= _bytes_to_copy && _bytes_to_copy <= 0xFF,
   259          "not enough room for call");
   260   assert((_bytes_to_copy & 0x3) == 0, "must copy a multiple of four bytes");
   262   Label call_patch;
   264   int being_initialized_entry = __ offset();
   266   if (_id == load_klass_id) {
   267     // produce a copy of the load klass instruction for use by the being initialized case
   268 #ifdef ASSERT
   269     address start = __ pc();
   270 #endif
   271     AddressLiteral addrlit(NULL, oop_Relocation::spec(_oop_index));
   272     __ patchable_set(addrlit, _obj);
   274 #ifdef ASSERT
   275     for (int i = 0; i < _bytes_to_copy; i++) {
   276       address ptr = (address)(_pc_start + i);
   277       int a_byte = (*ptr) & 0xFF;
   278       assert(a_byte == *start++, "should be the same code");
   279     }
   280 #endif
   281   } else {
   282     // make a copy the code which is going to be patched.
   283     for (int i = 0; i < _bytes_to_copy; i++) {
   284       address ptr = (address)(_pc_start + i);
   285       int a_byte = (*ptr) & 0xFF;
   286       __ a_byte (a_byte);
   287     }
   288   }
   290   address end_of_patch = __ pc();
   291   int bytes_to_skip = 0;
   292   if (_id == load_klass_id) {
   293     int offset = __ offset();
   294     if (CommentedAssembly) {
   295       __ block_comment(" being_initialized check");
   296     }
   298     // static field accesses have special semantics while the class
   299     // initializer is being run so we emit a test which can be used to
   300     // check that this code is being executed by the initializing
   301     // thread.
   302     assert(_obj != noreg, "must be a valid register");
   303     assert(_oop_index >= 0, "must have oop index");
   304     __ ld_ptr(_obj, instanceKlass::init_thread_offset_in_bytes() + sizeof(klassOopDesc), G3);
   305     __ cmp(G2_thread, G3);
   306     __ br(Assembler::notEqual, false, Assembler::pn, call_patch);
   307     __ delayed()->nop();
   309     // load_klass patches may execute the patched code before it's
   310     // copied back into place so we need to jump back into the main
   311     // code of the nmethod to continue execution.
   312     __ br(Assembler::always, false, Assembler::pt, _patch_site_continuation);
   313     __ delayed()->nop();
   315     // make sure this extra code gets skipped
   316     bytes_to_skip += __ offset() - offset;
   317   }
   319   // Now emit the patch record telling the runtime how to find the
   320   // pieces of the patch.  We only need 3 bytes but it has to be
   321   // aligned as an instruction so emit 4 bytes.
   322   int sizeof_patch_record = 4;
   323   bytes_to_skip += sizeof_patch_record;
   325   // emit the offsets needed to find the code to patch
   326   int being_initialized_entry_offset = __ offset() - being_initialized_entry + sizeof_patch_record;
   328   // Emit the patch record.  We need to emit a full word, so emit an extra empty byte
   329   __ a_byte(0);
   330   __ a_byte(being_initialized_entry_offset);
   331   __ a_byte(bytes_to_skip);
   332   __ a_byte(_bytes_to_copy);
   333   address patch_info_pc = __ pc();
   334   assert(patch_info_pc - end_of_patch == bytes_to_skip, "incorrect patch info");
   336   address entry = __ pc();
   337   NativeGeneralJump::insert_unconditional((address)_pc_start, entry);
   338   address target = NULL;
   339   switch (_id) {
   340     case access_field_id:  target = Runtime1::entry_for(Runtime1::access_field_patching_id); break;
   341     case load_klass_id:    target = Runtime1::entry_for(Runtime1::load_klass_patching_id); break;
   342     default: ShouldNotReachHere();
   343   }
   344   __ bind(call_patch);
   346   if (CommentedAssembly) {
   347     __ block_comment("patch entry point");
   348   }
   349   __ call(target, relocInfo::runtime_call_type);
   350   __ delayed()->nop();
   351   assert(_patch_info_offset == (patch_info_pc - __ pc()), "must not change");
   352   ce->add_call_info_here(_info);
   353   __ br(Assembler::always, false, Assembler::pt, _patch_site_entry);
   354   __ delayed()->nop();
   355   if (_id == load_klass_id) {
   356     CodeSection* cs = __ code_section();
   357     address pc = (address)_pc_start;
   358     RelocIterator iter(cs, pc, pc + 1);
   359     relocInfo::change_reloc_info_for_address(&iter, (address) pc, relocInfo::oop_type, relocInfo::none);
   361     pc = (address)(_pc_start + NativeMovConstReg::add_offset);
   362     RelocIterator iter2(cs, pc, pc+1);
   363     relocInfo::change_reloc_info_for_address(&iter2, (address) pc, relocInfo::oop_type, relocInfo::none);
   364   }
   366 }
   369 void DeoptimizeStub::emit_code(LIR_Assembler* ce) {
   370   __ bind(_entry);
   371   __ call(SharedRuntime::deopt_blob()->unpack_with_reexecution());
   372   __ delayed()->nop();
   373   ce->add_call_info_here(_info);
   374   debug_only(__ should_not_reach_here());
   375 }
   378 void ArrayCopyStub::emit_code(LIR_Assembler* ce) {
   379   //---------------slow case: call to native-----------------
   380   __ bind(_entry);
   381   __ mov(src()->as_register(),     O0);
   382   __ mov(src_pos()->as_register(), O1);
   383   __ mov(dst()->as_register(),     O2);
   384   __ mov(dst_pos()->as_register(), O3);
   385   __ mov(length()->as_register(),  O4);
   387   ce->emit_static_call_stub();
   389   __ call(SharedRuntime::get_resolve_static_call_stub(), relocInfo::static_call_type);
   390   __ delayed()->nop();
   391   ce->add_call_info_here(info());
   392   ce->verify_oop_map(info());
   394 #ifndef PRODUCT
   395   __ set((intptr_t)&Runtime1::_arraycopy_slowcase_cnt, O0);
   396   __ ld(O0, 0, O1);
   397   __ inc(O1);
   398   __ st(O1, 0, O0);
   399 #endif
   401   __ br(Assembler::always, false, Assembler::pt, _continuation);
   402   __ delayed()->nop();
   403 }
   406 ///////////////////////////////////////////////////////////////////////////////////
   407 #ifndef SERIALGC
   409 void G1PreBarrierStub::emit_code(LIR_Assembler* ce) {
   410   __ bind(_entry);
   412   assert(pre_val()->is_register(), "Precondition.");
   414   Register pre_val_reg = pre_val()->as_register();
   416   ce->mem2reg(addr(), pre_val(), T_OBJECT, patch_code(), info(), false /*wide*/, false /*unaligned*/);
   417   if (__ is_in_wdisp16_range(_continuation)) {
   418     __ br_on_reg_cond(Assembler::rc_z, /*annul*/false, Assembler::pt,
   419                       pre_val_reg, _continuation);
   420   } else {
   421     __ cmp(pre_val_reg, G0);
   422     __ brx(Assembler::equal, false, Assembler::pn, _continuation);
   423   }
   424   __ delayed()->nop();
   426   __ call(Runtime1::entry_for(Runtime1::Runtime1::g1_pre_barrier_slow_id));
   427   __ delayed()->mov(pre_val_reg, G4);
   428   __ br(Assembler::always, false, Assembler::pt, _continuation);
   429   __ delayed()->nop();
   431 }
   433 jbyte* G1PostBarrierStub::_byte_map_base = NULL;
   435 jbyte* G1PostBarrierStub::byte_map_base_slow() {
   436   BarrierSet* bs = Universe::heap()->barrier_set();
   437   assert(bs->is_a(BarrierSet::G1SATBCTLogging),
   438          "Must be if we're using this.");
   439   return ((G1SATBCardTableModRefBS*)bs)->byte_map_base;
   440 }
   442 void G1PostBarrierStub::emit_code(LIR_Assembler* ce) {
   443   __ bind(_entry);
   445   assert(addr()->is_register(), "Precondition.");
   446   assert(new_val()->is_register(), "Precondition.");
   447   Register addr_reg = addr()->as_pointer_register();
   448   Register new_val_reg = new_val()->as_register();
   449   if (__ is_in_wdisp16_range(_continuation)) {
   450     __ br_on_reg_cond(Assembler::rc_z, /*annul*/false, Assembler::pt,
   451                       new_val_reg, _continuation);
   452   } else {
   453     __ cmp(new_val_reg, G0);
   454     __ brx(Assembler::equal, false, Assembler::pn, _continuation);
   455   }
   456   __ delayed()->nop();
   458   __ call(Runtime1::entry_for(Runtime1::Runtime1::g1_post_barrier_slow_id));
   459   __ delayed()->mov(addr_reg, G4);
   460   __ br(Assembler::always, false, Assembler::pt, _continuation);
   461   __ delayed()->nop();
   462 }
   464 #endif // SERIALGC
   465 ///////////////////////////////////////////////////////////////////////////////////
   467 #undef __

mercurial