src/cpu/ppc/vm/macroAssembler_ppc.cpp

Mon, 10 Mar 2014 12:58:02 +0100

author
goetz
date
Mon, 10 Mar 2014 12:58:02 +0100
changeset 6512
fd1b9f02cc91
parent 6511
31e80afe3fed
child 6515
71a71b0bc844
permissions
-rw-r--r--

8036976: PPC64: implement the template interpreter
Reviewed-by: kvn, coleenp
Contributed-by: axel.siebenborn@sap.com, martin.doerr@sap.com

goetz@6458 1 /*
goetz@6458 2 * Copyright (c) 1997, 2013, Oracle and/or its affiliates. All rights reserved.
goetz@6458 3 * Copyright 2012, 2013 SAP AG. All rights reserved.
goetz@6458 4 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
goetz@6458 5 *
goetz@6458 6 * This code is free software; you can redistribute it and/or modify it
goetz@6458 7 * under the terms of the GNU General Public License version 2 only, as
goetz@6458 8 * published by the Free Software Foundation.
goetz@6458 9 *
goetz@6458 10 * This code is distributed in the hope that it will be useful, but WITHOUT
goetz@6458 11 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
goetz@6458 12 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
goetz@6458 13 * version 2 for more details (a copy is included in the LICENSE file that
goetz@6458 14 * accompanied this code).
goetz@6458 15 *
goetz@6458 16 * You should have received a copy of the GNU General Public License version
goetz@6458 17 * 2 along with this work; if not, write to the Free Software Foundation,
goetz@6458 18 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
goetz@6458 19 *
goetz@6458 20 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
goetz@6458 21 * or visit www.oracle.com if you need additional information or have any
goetz@6458 22 * questions.
goetz@6458 23 *
goetz@6458 24 */
goetz@6458 25
goetz@6458 26 #include "precompiled.hpp"
goetz@6458 27 #include "asm/assembler.hpp"
goetz@6458 28 #include "asm/assembler.inline.hpp"
goetz@6458 29 #include "asm/macroAssembler.inline.hpp"
goetz@6458 30 #include "compiler/disassembler.hpp"
goetz@6458 31 #include "gc_interface/collectedHeap.inline.hpp"
goetz@6458 32 #include "interpreter/interpreter.hpp"
goetz@6458 33 #include "memory/cardTableModRefBS.hpp"
goetz@6458 34 #include "memory/resourceArea.hpp"
goetz@6458 35 #include "prims/methodHandles.hpp"
goetz@6458 36 #include "runtime/biasedLocking.hpp"
goetz@6458 37 #include "runtime/interfaceSupport.hpp"
goetz@6458 38 #include "runtime/objectMonitor.hpp"
goetz@6458 39 #include "runtime/os.hpp"
goetz@6458 40 #include "runtime/sharedRuntime.hpp"
goetz@6458 41 #include "runtime/stubRoutines.hpp"
goetz@6458 42 #include "utilities/macros.hpp"
goetz@6458 43 #if INCLUDE_ALL_GCS
goetz@6458 44 #include "gc_implementation/g1/g1CollectedHeap.inline.hpp"
goetz@6458 45 #include "gc_implementation/g1/g1SATBCardTableModRefBS.hpp"
goetz@6458 46 #include "gc_implementation/g1/heapRegion.hpp"
goetz@6458 47 #endif // INCLUDE_ALL_GCS
goetz@6458 48
goetz@6458 49 #ifdef PRODUCT
goetz@6458 50 #define BLOCK_COMMENT(str) // nothing
goetz@6458 51 #else
goetz@6458 52 #define BLOCK_COMMENT(str) block_comment(str)
goetz@6458 53 #endif
goetz@6458 54
goetz@6458 55 #ifdef ASSERT
goetz@6458 56 // On RISC, there's no benefit to verifying instruction boundaries.
goetz@6458 57 bool AbstractAssembler::pd_check_instruction_mark() { return false; }
goetz@6458 58 #endif
goetz@6458 59
goetz@6458 60 void MacroAssembler::ld_largeoffset_unchecked(Register d, int si31, Register a, int emit_filler_nop) {
goetz@6458 61 assert(Assembler::is_simm(si31, 31) && si31 >= 0, "si31 out of range");
goetz@6458 62 if (Assembler::is_simm(si31, 16)) {
goetz@6458 63 ld(d, si31, a);
goetz@6458 64 if (emit_filler_nop) nop();
goetz@6458 65 } else {
goetz@6458 66 const int hi = MacroAssembler::largeoffset_si16_si16_hi(si31);
goetz@6458 67 const int lo = MacroAssembler::largeoffset_si16_si16_lo(si31);
goetz@6458 68 addis(d, a, hi);
goetz@6458 69 ld(d, lo, d);
goetz@6458 70 }
goetz@6458 71 }
goetz@6458 72
goetz@6458 73 void MacroAssembler::ld_largeoffset(Register d, int si31, Register a, int emit_filler_nop) {
goetz@6458 74 assert_different_registers(d, a);
goetz@6458 75 ld_largeoffset_unchecked(d, si31, a, emit_filler_nop);
goetz@6458 76 }
goetz@6458 77
goetz@6458 78 void MacroAssembler::load_sized_value(Register dst, RegisterOrConstant offs, Register base,
goetz@6458 79 size_t size_in_bytes, bool is_signed) {
goetz@6458 80 switch (size_in_bytes) {
goetz@6458 81 case 8: ld(dst, offs, base); break;
goetz@6458 82 case 4: is_signed ? lwa(dst, offs, base) : lwz(dst, offs, base); break;
goetz@6458 83 case 2: is_signed ? lha(dst, offs, base) : lhz(dst, offs, base); break;
goetz@6458 84 case 1: lbz(dst, offs, base); if (is_signed) extsb(dst, dst); break; // lba doesn't exist :(
goetz@6458 85 default: ShouldNotReachHere();
goetz@6458 86 }
goetz@6458 87 }
goetz@6458 88
goetz@6458 89 void MacroAssembler::store_sized_value(Register dst, RegisterOrConstant offs, Register base,
goetz@6458 90 size_t size_in_bytes) {
goetz@6458 91 switch (size_in_bytes) {
goetz@6458 92 case 8: std(dst, offs, base); break;
goetz@6458 93 case 4: stw(dst, offs, base); break;
goetz@6458 94 case 2: sth(dst, offs, base); break;
goetz@6458 95 case 1: stb(dst, offs, base); break;
goetz@6458 96 default: ShouldNotReachHere();
goetz@6458 97 }
goetz@6458 98 }
goetz@6458 99
goetz@6495 100 void MacroAssembler::align(int modulus, int max, int rem) {
goetz@6495 101 int padding = (rem + modulus - (offset() % modulus)) % modulus;
goetz@6495 102 if (padding > max) return;
goetz@6495 103 for (int c = (padding >> 2); c > 0; --c) { nop(); }
goetz@6458 104 }
goetz@6458 105
goetz@6458 106 // Issue instructions that calculate given TOC from global TOC.
goetz@6458 107 void MacroAssembler::calculate_address_from_global_toc(Register dst, address addr, bool hi16, bool lo16,
goetz@6458 108 bool add_relocation, bool emit_dummy_addr) {
goetz@6458 109 int offset = -1;
goetz@6458 110 if (emit_dummy_addr) {
goetz@6458 111 offset = -128; // dummy address
goetz@6458 112 } else if (addr != (address)(intptr_t)-1) {
goetz@6458 113 offset = MacroAssembler::offset_to_global_toc(addr);
goetz@6458 114 }
goetz@6458 115
goetz@6458 116 if (hi16) {
goetz@6458 117 addis(dst, R29, MacroAssembler::largeoffset_si16_si16_hi(offset));
goetz@6458 118 }
goetz@6458 119 if (lo16) {
goetz@6458 120 if (add_relocation) {
goetz@6458 121 // Relocate at the addi to avoid confusion with a load from the method's TOC.
goetz@6458 122 relocate(internal_word_Relocation::spec(addr));
goetz@6458 123 }
goetz@6458 124 addi(dst, dst, MacroAssembler::largeoffset_si16_si16_lo(offset));
goetz@6458 125 }
goetz@6458 126 }
goetz@6458 127
goetz@6458 128 int MacroAssembler::patch_calculate_address_from_global_toc_at(address a, address bound, address addr) {
goetz@6458 129 const int offset = MacroAssembler::offset_to_global_toc(addr);
goetz@6458 130
goetz@6458 131 const address inst2_addr = a;
goetz@6458 132 const int inst2 = *(int *)inst2_addr;
goetz@6458 133
goetz@6458 134 // The relocation points to the second instruction, the addi,
goetz@6458 135 // and the addi reads and writes the same register dst.
goetz@6458 136 const int dst = inv_rt_field(inst2);
goetz@6458 137 assert(is_addi(inst2) && inv_ra_field(inst2) == dst, "must be addi reading and writing dst");
goetz@6458 138
goetz@6458 139 // Now, find the preceding addis which writes to dst.
goetz@6458 140 int inst1 = 0;
goetz@6458 141 address inst1_addr = inst2_addr - BytesPerInstWord;
goetz@6458 142 while (inst1_addr >= bound) {
goetz@6458 143 inst1 = *(int *) inst1_addr;
goetz@6458 144 if (is_addis(inst1) && inv_rt_field(inst1) == dst) {
goetz@6458 145 // Stop, found the addis which writes dst.
goetz@6458 146 break;
goetz@6458 147 }
goetz@6458 148 inst1_addr -= BytesPerInstWord;
goetz@6458 149 }
goetz@6458 150
goetz@6458 151 assert(is_addis(inst1) && inv_ra_field(inst1) == 29 /* R29 */, "source must be global TOC");
goetz@6458 152 set_imm((int *)inst1_addr, MacroAssembler::largeoffset_si16_si16_hi(offset));
goetz@6458 153 set_imm((int *)inst2_addr, MacroAssembler::largeoffset_si16_si16_lo(offset));
goetz@6458 154 return (int)((intptr_t)addr - (intptr_t)inst1_addr);
goetz@6458 155 }
goetz@6458 156
goetz@6458 157 address MacroAssembler::get_address_of_calculate_address_from_global_toc_at(address a, address bound) {
goetz@6458 158 const address inst2_addr = a;
goetz@6458 159 const int inst2 = *(int *)inst2_addr;
goetz@6458 160
goetz@6458 161 // The relocation points to the second instruction, the addi,
goetz@6458 162 // and the addi reads and writes the same register dst.
goetz@6458 163 const int dst = inv_rt_field(inst2);
goetz@6458 164 assert(is_addi(inst2) && inv_ra_field(inst2) == dst, "must be addi reading and writing dst");
goetz@6458 165
goetz@6458 166 // Now, find the preceding addis which writes to dst.
goetz@6458 167 int inst1 = 0;
goetz@6458 168 address inst1_addr = inst2_addr - BytesPerInstWord;
goetz@6458 169 while (inst1_addr >= bound) {
goetz@6458 170 inst1 = *(int *) inst1_addr;
goetz@6458 171 if (is_addis(inst1) && inv_rt_field(inst1) == dst) {
goetz@6458 172 // stop, found the addis which writes dst
goetz@6458 173 break;
goetz@6458 174 }
goetz@6458 175 inst1_addr -= BytesPerInstWord;
goetz@6458 176 }
goetz@6458 177
goetz@6458 178 assert(is_addis(inst1) && inv_ra_field(inst1) == 29 /* R29 */, "source must be global TOC");
goetz@6458 179
goetz@6458 180 int offset = (get_imm(inst1_addr, 0) << 16) + get_imm(inst2_addr, 0);
goetz@6458 181 // -1 is a special case
goetz@6458 182 if (offset == -1) {
goetz@6458 183 return (address)(intptr_t)-1;
goetz@6458 184 } else {
goetz@6458 185 return global_toc() + offset;
goetz@6458 186 }
goetz@6458 187 }
goetz@6458 188
goetz@6458 189 #ifdef _LP64
goetz@6458 190 // Patch compressed oops or klass constants.
goetz@6495 191 // Assembler sequence is
goetz@6495 192 // 1) compressed oops:
goetz@6495 193 // lis rx = const.hi
goetz@6495 194 // ori rx = rx | const.lo
goetz@6495 195 // 2) compressed klass:
goetz@6495 196 // lis rx = const.hi
goetz@6495 197 // clrldi rx = rx & 0xFFFFffff // clearMS32b, optional
goetz@6495 198 // ori rx = rx | const.lo
goetz@6495 199 // Clrldi will be passed by.
goetz@6458 200 int MacroAssembler::patch_set_narrow_oop(address a, address bound, narrowOop data) {
goetz@6458 201 assert(UseCompressedOops, "Should only patch compressed oops");
goetz@6458 202
goetz@6458 203 const address inst2_addr = a;
goetz@6458 204 const int inst2 = *(int *)inst2_addr;
goetz@6458 205
goetz@6495 206 // The relocation points to the second instruction, the ori,
goetz@6495 207 // and the ori reads and writes the same register dst.
goetz@6495 208 const int dst = inv_rta_field(inst2);
goetz@6501 209 assert(is_ori(inst2) && inv_rs_field(inst2) == dst, "must be ori reading and writing dst");
goetz@6458 210 // Now, find the preceding addis which writes to dst.
goetz@6458 211 int inst1 = 0;
goetz@6458 212 address inst1_addr = inst2_addr - BytesPerInstWord;
goetz@6458 213 bool inst1_found = false;
goetz@6458 214 while (inst1_addr >= bound) {
goetz@6458 215 inst1 = *(int *)inst1_addr;
goetz@6458 216 if (is_lis(inst1) && inv_rs_field(inst1) == dst) { inst1_found = true; break; }
goetz@6458 217 inst1_addr -= BytesPerInstWord;
goetz@6458 218 }
goetz@6458 219 assert(inst1_found, "inst is not lis");
goetz@6458 220
goetz@6458 221 int xc = (data >> 16) & 0xffff;
goetz@6458 222 int xd = (data >> 0) & 0xffff;
goetz@6458 223
goetz@6495 224 set_imm((int *)inst1_addr, (short)(xc)); // see enc_load_con_narrow_hi/_lo
goetz@6501 225 set_imm((int *)inst2_addr, (xd)); // unsigned int
goetz@6458 226 return (int)((intptr_t)inst2_addr - (intptr_t)inst1_addr);
goetz@6458 227 }
goetz@6458 228
goetz@6458 229 // Get compressed oop or klass constant.
goetz@6458 230 narrowOop MacroAssembler::get_narrow_oop(address a, address bound) {
goetz@6458 231 assert(UseCompressedOops, "Should only patch compressed oops");
goetz@6458 232
goetz@6458 233 const address inst2_addr = a;
goetz@6458 234 const int inst2 = *(int *)inst2_addr;
goetz@6458 235
goetz@6495 236 // The relocation points to the second instruction, the ori,
goetz@6495 237 // and the ori reads and writes the same register dst.
goetz@6495 238 const int dst = inv_rta_field(inst2);
goetz@6501 239 assert(is_ori(inst2) && inv_rs_field(inst2) == dst, "must be ori reading and writing dst");
goetz@6458 240 // Now, find the preceding lis which writes to dst.
goetz@6458 241 int inst1 = 0;
goetz@6458 242 address inst1_addr = inst2_addr - BytesPerInstWord;
goetz@6458 243 bool inst1_found = false;
goetz@6458 244
goetz@6458 245 while (inst1_addr >= bound) {
goetz@6458 246 inst1 = *(int *) inst1_addr;
goetz@6458 247 if (is_lis(inst1) && inv_rs_field(inst1) == dst) { inst1_found = true; break;}
goetz@6458 248 inst1_addr -= BytesPerInstWord;
goetz@6458 249 }
goetz@6458 250 assert(inst1_found, "inst is not lis");
goetz@6458 251
goetz@6495 252 uint xl = ((unsigned int) (get_imm(inst2_addr, 0) & 0xffff));
goetz@6495 253 uint xh = (((get_imm(inst1_addr, 0)) & 0xffff) << 16);
goetz@6495 254
goetz@6458 255 return (int) (xl | xh);
goetz@6458 256 }
goetz@6458 257 #endif // _LP64
goetz@6458 258
goetz@6458 259 void MacroAssembler::load_const_from_method_toc(Register dst, AddressLiteral& a, Register toc) {
goetz@6458 260 int toc_offset = 0;
goetz@6458 261 // Use RelocationHolder::none for the constant pool entry, otherwise
goetz@6458 262 // we will end up with a failing NativeCall::verify(x) where x is
goetz@6458 263 // the address of the constant pool entry.
goetz@6458 264 // FIXME: We should insert relocation information for oops at the constant
goetz@6458 265 // pool entries instead of inserting it at the loads; patching of a constant
goetz@6458 266 // pool entry should be less expensive.
goetz@6495 267 address oop_address = address_constant((address)a.value(), RelocationHolder::none);
goetz@6495 268 // Relocate at the pc of the load.
goetz@6495 269 relocate(a.rspec());
goetz@6495 270 toc_offset = (int)(oop_address - code()->consts()->start());
goetz@6458 271 ld_largeoffset_unchecked(dst, toc_offset, toc, true);
goetz@6458 272 }
goetz@6458 273
goetz@6458 274 bool MacroAssembler::is_load_const_from_method_toc_at(address a) {
goetz@6458 275 const address inst1_addr = a;
goetz@6458 276 const int inst1 = *(int *)inst1_addr;
goetz@6458 277
goetz@6458 278 // The relocation points to the ld or the addis.
goetz@6458 279 return (is_ld(inst1)) ||
goetz@6458 280 (is_addis(inst1) && inv_ra_field(inst1) != 0);
goetz@6458 281 }
goetz@6458 282
goetz@6458 283 int MacroAssembler::get_offset_of_load_const_from_method_toc_at(address a) {
goetz@6458 284 assert(is_load_const_from_method_toc_at(a), "must be load_const_from_method_toc");
goetz@6458 285
goetz@6458 286 const address inst1_addr = a;
goetz@6458 287 const int inst1 = *(int *)inst1_addr;
goetz@6458 288
goetz@6458 289 if (is_ld(inst1)) {
goetz@6458 290 return inv_d1_field(inst1);
goetz@6458 291 } else if (is_addis(inst1)) {
goetz@6458 292 const int dst = inv_rt_field(inst1);
goetz@6458 293
goetz@6458 294 // Now, find the succeeding ld which reads and writes to dst.
goetz@6458 295 address inst2_addr = inst1_addr + BytesPerInstWord;
goetz@6458 296 int inst2 = 0;
goetz@6458 297 while (true) {
goetz@6458 298 inst2 = *(int *) inst2_addr;
goetz@6458 299 if (is_ld(inst2) && inv_ra_field(inst2) == dst && inv_rt_field(inst2) == dst) {
goetz@6458 300 // Stop, found the ld which reads and writes dst.
goetz@6458 301 break;
goetz@6458 302 }
goetz@6458 303 inst2_addr += BytesPerInstWord;
goetz@6458 304 }
goetz@6458 305 return (inv_d1_field(inst1) << 16) + inv_d1_field(inst2);
goetz@6458 306 }
goetz@6458 307 ShouldNotReachHere();
goetz@6458 308 return 0;
goetz@6458 309 }
goetz@6458 310
goetz@6458 311 // Get the constant from a `load_const' sequence.
goetz@6458 312 long MacroAssembler::get_const(address a) {
goetz@6458 313 assert(is_load_const_at(a), "not a load of a constant");
goetz@6458 314 const int *p = (const int*) a;
goetz@6458 315 unsigned long x = (((unsigned long) (get_imm(a,0) & 0xffff)) << 48);
goetz@6458 316 if (is_ori(*(p+1))) {
goetz@6458 317 x |= (((unsigned long) (get_imm(a,1) & 0xffff)) << 32);
goetz@6458 318 x |= (((unsigned long) (get_imm(a,3) & 0xffff)) << 16);
goetz@6458 319 x |= (((unsigned long) (get_imm(a,4) & 0xffff)));
goetz@6458 320 } else if (is_lis(*(p+1))) {
goetz@6458 321 x |= (((unsigned long) (get_imm(a,2) & 0xffff)) << 32);
goetz@6458 322 x |= (((unsigned long) (get_imm(a,1) & 0xffff)) << 16);
goetz@6458 323 x |= (((unsigned long) (get_imm(a,3) & 0xffff)));
goetz@6458 324 } else {
goetz@6458 325 ShouldNotReachHere();
goetz@6458 326 return (long) 0;
goetz@6458 327 }
goetz@6458 328 return (long) x;
goetz@6458 329 }
goetz@6458 330
goetz@6458 331 // Patch the 64 bit constant of a `load_const' sequence. This is a low
goetz@6458 332 // level procedure. It neither flushes the instruction cache nor is it
goetz@6458 333 // mt safe.
goetz@6458 334 void MacroAssembler::patch_const(address a, long x) {
goetz@6458 335 assert(is_load_const_at(a), "not a load of a constant");
goetz@6458 336 int *p = (int*) a;
goetz@6458 337 if (is_ori(*(p+1))) {
goetz@6458 338 set_imm(0 + p, (x >> 48) & 0xffff);
goetz@6458 339 set_imm(1 + p, (x >> 32) & 0xffff);
goetz@6458 340 set_imm(3 + p, (x >> 16) & 0xffff);
goetz@6458 341 set_imm(4 + p, x & 0xffff);
goetz@6458 342 } else if (is_lis(*(p+1))) {
goetz@6458 343 set_imm(0 + p, (x >> 48) & 0xffff);
goetz@6458 344 set_imm(2 + p, (x >> 32) & 0xffff);
goetz@6458 345 set_imm(1 + p, (x >> 16) & 0xffff);
goetz@6458 346 set_imm(3 + p, x & 0xffff);
goetz@6458 347 } else {
goetz@6458 348 ShouldNotReachHere();
goetz@6458 349 }
goetz@6458 350 }
goetz@6458 351
goetz@6458 352 AddressLiteral MacroAssembler::allocate_metadata_address(Metadata* obj) {
goetz@6458 353 assert(oop_recorder() != NULL, "this assembler needs a Recorder");
goetz@6458 354 int index = oop_recorder()->allocate_metadata_index(obj);
goetz@6458 355 RelocationHolder rspec = metadata_Relocation::spec(index);
goetz@6458 356 return AddressLiteral((address)obj, rspec);
goetz@6458 357 }
goetz@6458 358
goetz@6458 359 AddressLiteral MacroAssembler::constant_metadata_address(Metadata* obj) {
goetz@6458 360 assert(oop_recorder() != NULL, "this assembler needs a Recorder");
goetz@6458 361 int index = oop_recorder()->find_index(obj);
goetz@6458 362 RelocationHolder rspec = metadata_Relocation::spec(index);
goetz@6458 363 return AddressLiteral((address)obj, rspec);
goetz@6458 364 }
goetz@6458 365
goetz@6458 366 AddressLiteral MacroAssembler::allocate_oop_address(jobject obj) {
goetz@6458 367 assert(oop_recorder() != NULL, "this assembler needs an OopRecorder");
goetz@6458 368 int oop_index = oop_recorder()->allocate_oop_index(obj);
goetz@6458 369 return AddressLiteral(address(obj), oop_Relocation::spec(oop_index));
goetz@6458 370 }
goetz@6458 371
goetz@6458 372 AddressLiteral MacroAssembler::constant_oop_address(jobject obj) {
goetz@6458 373 assert(oop_recorder() != NULL, "this assembler needs an OopRecorder");
goetz@6458 374 int oop_index = oop_recorder()->find_index(obj);
goetz@6458 375 return AddressLiteral(address(obj), oop_Relocation::spec(oop_index));
goetz@6458 376 }
goetz@6458 377
goetz@6458 378 RegisterOrConstant MacroAssembler::delayed_value_impl(intptr_t* delayed_value_addr,
goetz@6458 379 Register tmp, int offset) {
goetz@6458 380 intptr_t value = *delayed_value_addr;
goetz@6458 381 if (value != 0) {
goetz@6458 382 return RegisterOrConstant(value + offset);
goetz@6458 383 }
goetz@6458 384
goetz@6458 385 // Load indirectly to solve generation ordering problem.
goetz@6458 386 // static address, no relocation
goetz@6458 387 int simm16_offset = load_const_optimized(tmp, delayed_value_addr, noreg, true);
goetz@6458 388 ld(tmp, simm16_offset, tmp); // must be aligned ((xa & 3) == 0)
goetz@6458 389
goetz@6458 390 if (offset != 0) {
goetz@6458 391 addi(tmp, tmp, offset);
goetz@6458 392 }
goetz@6458 393
goetz@6458 394 return RegisterOrConstant(tmp);
goetz@6458 395 }
goetz@6458 396
goetz@6458 397 #ifndef PRODUCT
goetz@6458 398 void MacroAssembler::pd_print_patched_instruction(address branch) {
goetz@6458 399 Unimplemented(); // TODO: PPC port
goetz@6458 400 }
goetz@6458 401 #endif // ndef PRODUCT
goetz@6458 402
goetz@6458 403 // Conditional far branch for destinations encodable in 24+2 bits.
goetz@6458 404 void MacroAssembler::bc_far(int boint, int biint, Label& dest, int optimize) {
goetz@6458 405
goetz@6458 406 // If requested by flag optimize, relocate the bc_far as a
goetz@6458 407 // runtime_call and prepare for optimizing it when the code gets
goetz@6458 408 // relocated.
goetz@6458 409 if (optimize == bc_far_optimize_on_relocate) {
goetz@6458 410 relocate(relocInfo::runtime_call_type);
goetz@6458 411 }
goetz@6458 412
goetz@6458 413 // variant 2:
goetz@6458 414 //
goetz@6458 415 // b!cxx SKIP
goetz@6458 416 // bxx DEST
goetz@6458 417 // SKIP:
goetz@6458 418 //
goetz@6458 419
goetz@6458 420 const int opposite_boint = add_bhint_to_boint(opposite_bhint(inv_boint_bhint(boint)),
goetz@6458 421 opposite_bcond(inv_boint_bcond(boint)));
goetz@6458 422
goetz@6458 423 // We emit two branches.
goetz@6458 424 // First, a conditional branch which jumps around the far branch.
goetz@6458 425 const address not_taken_pc = pc() + 2 * BytesPerInstWord;
goetz@6458 426 const address bc_pc = pc();
goetz@6458 427 bc(opposite_boint, biint, not_taken_pc);
goetz@6458 428
goetz@6458 429 const int bc_instr = *(int*)bc_pc;
goetz@6458 430 assert(not_taken_pc == (address)inv_bd_field(bc_instr, (intptr_t)bc_pc), "postcondition");
goetz@6458 431 assert(opposite_boint == inv_bo_field(bc_instr), "postcondition");
goetz@6458 432 assert(boint == add_bhint_to_boint(opposite_bhint(inv_boint_bhint(inv_bo_field(bc_instr))),
goetz@6458 433 opposite_bcond(inv_boint_bcond(inv_bo_field(bc_instr)))),
goetz@6458 434 "postcondition");
goetz@6458 435 assert(biint == inv_bi_field(bc_instr), "postcondition");
goetz@6458 436
goetz@6458 437 // Second, an unconditional far branch which jumps to dest.
goetz@6458 438 // Note: target(dest) remembers the current pc (see CodeSection::target)
goetz@6458 439 // and returns the current pc if the label is not bound yet; when
goetz@6458 440 // the label gets bound, the unconditional far branch will be patched.
goetz@6458 441 const address target_pc = target(dest);
goetz@6458 442 const address b_pc = pc();
goetz@6458 443 b(target_pc);
goetz@6458 444
goetz@6458 445 assert(not_taken_pc == pc(), "postcondition");
goetz@6458 446 assert(dest.is_bound() || target_pc == b_pc, "postcondition");
goetz@6458 447 }
goetz@6458 448
goetz@6458 449 bool MacroAssembler::is_bc_far_at(address instruction_addr) {
goetz@6458 450 return is_bc_far_variant1_at(instruction_addr) ||
goetz@6458 451 is_bc_far_variant2_at(instruction_addr) ||
goetz@6458 452 is_bc_far_variant3_at(instruction_addr);
goetz@6458 453 }
goetz@6458 454
goetz@6458 455 address MacroAssembler::get_dest_of_bc_far_at(address instruction_addr) {
goetz@6458 456 if (is_bc_far_variant1_at(instruction_addr)) {
goetz@6458 457 const address instruction_1_addr = instruction_addr;
goetz@6458 458 const int instruction_1 = *(int*)instruction_1_addr;
goetz@6458 459 return (address)inv_bd_field(instruction_1, (intptr_t)instruction_1_addr);
goetz@6458 460 } else if (is_bc_far_variant2_at(instruction_addr)) {
goetz@6458 461 const address instruction_2_addr = instruction_addr + 4;
goetz@6458 462 return bxx_destination(instruction_2_addr);
goetz@6458 463 } else if (is_bc_far_variant3_at(instruction_addr)) {
goetz@6458 464 return instruction_addr + 8;
goetz@6458 465 }
goetz@6458 466 // variant 4 ???
goetz@6458 467 ShouldNotReachHere();
goetz@6458 468 return NULL;
goetz@6458 469 }
goetz@6458 470 void MacroAssembler::set_dest_of_bc_far_at(address instruction_addr, address dest) {
goetz@6458 471
goetz@6458 472 if (is_bc_far_variant3_at(instruction_addr)) {
goetz@6458 473 // variant 3, far cond branch to the next instruction, already patched to nops:
goetz@6458 474 //
goetz@6458 475 // nop
goetz@6458 476 // endgroup
goetz@6458 477 // SKIP/DEST:
goetz@6458 478 //
goetz@6458 479 return;
goetz@6458 480 }
goetz@6458 481
goetz@6458 482 // first, extract boint and biint from the current branch
goetz@6458 483 int boint = 0;
goetz@6458 484 int biint = 0;
goetz@6458 485
goetz@6458 486 ResourceMark rm;
goetz@6458 487 const int code_size = 2 * BytesPerInstWord;
goetz@6458 488 CodeBuffer buf(instruction_addr, code_size);
goetz@6458 489 MacroAssembler masm(&buf);
goetz@6458 490 if (is_bc_far_variant2_at(instruction_addr) && dest == instruction_addr + 8) {
goetz@6458 491 // Far branch to next instruction: Optimize it by patching nops (produce variant 3).
goetz@6458 492 masm.nop();
goetz@6458 493 masm.endgroup();
goetz@6458 494 } else {
goetz@6458 495 if (is_bc_far_variant1_at(instruction_addr)) {
goetz@6458 496 // variant 1, the 1st instruction contains the destination address:
goetz@6458 497 //
goetz@6458 498 // bcxx DEST
goetz@6458 499 // endgroup
goetz@6458 500 //
goetz@6458 501 const int instruction_1 = *(int*)(instruction_addr);
goetz@6458 502 boint = inv_bo_field(instruction_1);
goetz@6458 503 biint = inv_bi_field(instruction_1);
goetz@6458 504 } else if (is_bc_far_variant2_at(instruction_addr)) {
goetz@6458 505 // variant 2, the 2nd instruction contains the destination address:
goetz@6458 506 //
goetz@6458 507 // b!cxx SKIP
goetz@6458 508 // bxx DEST
goetz@6458 509 // SKIP:
goetz@6458 510 //
goetz@6458 511 const int instruction_1 = *(int*)(instruction_addr);
goetz@6458 512 boint = add_bhint_to_boint(opposite_bhint(inv_boint_bhint(inv_bo_field(instruction_1))),
goetz@6458 513 opposite_bcond(inv_boint_bcond(inv_bo_field(instruction_1))));
goetz@6458 514 biint = inv_bi_field(instruction_1);
goetz@6458 515 } else {
goetz@6458 516 // variant 4???
goetz@6458 517 ShouldNotReachHere();
goetz@6458 518 }
goetz@6458 519
goetz@6458 520 // second, set the new branch destination and optimize the code
goetz@6458 521 if (dest != instruction_addr + 4 && // the bc_far is still unbound!
goetz@6458 522 masm.is_within_range_of_bcxx(dest, instruction_addr)) {
goetz@6458 523 // variant 1:
goetz@6458 524 //
goetz@6458 525 // bcxx DEST
goetz@6458 526 // endgroup
goetz@6458 527 //
goetz@6458 528 masm.bc(boint, biint, dest);
goetz@6458 529 masm.endgroup();
goetz@6458 530 } else {
goetz@6458 531 // variant 2:
goetz@6458 532 //
goetz@6458 533 // b!cxx SKIP
goetz@6458 534 // bxx DEST
goetz@6458 535 // SKIP:
goetz@6458 536 //
goetz@6458 537 const int opposite_boint = add_bhint_to_boint(opposite_bhint(inv_boint_bhint(boint)),
goetz@6458 538 opposite_bcond(inv_boint_bcond(boint)));
goetz@6458 539 const address not_taken_pc = masm.pc() + 2 * BytesPerInstWord;
goetz@6458 540 masm.bc(opposite_boint, biint, not_taken_pc);
goetz@6458 541 masm.b(dest);
goetz@6458 542 }
goetz@6458 543 }
goetz@6495 544 ICache::ppc64_flush_icache_bytes(instruction_addr, code_size);
goetz@6458 545 }
goetz@6458 546
goetz@6458 547 // Emit a NOT mt-safe patchable 64 bit absolute call/jump.
goetz@6458 548 void MacroAssembler::bxx64_patchable(address dest, relocInfo::relocType rt, bool link) {
goetz@6458 549 // get current pc
goetz@6458 550 uint64_t start_pc = (uint64_t) pc();
goetz@6458 551
goetz@6458 552 const address pc_of_bl = (address) (start_pc + (6*BytesPerInstWord)); // bl is last
goetz@6458 553 const address pc_of_b = (address) (start_pc + (0*BytesPerInstWord)); // b is first
goetz@6458 554
goetz@6458 555 // relocate here
goetz@6458 556 if (rt != relocInfo::none) {
goetz@6458 557 relocate(rt);
goetz@6458 558 }
goetz@6458 559
goetz@6458 560 if ( ReoptimizeCallSequences &&
goetz@6458 561 (( link && is_within_range_of_b(dest, pc_of_bl)) ||
goetz@6458 562 (!link && is_within_range_of_b(dest, pc_of_b)))) {
goetz@6458 563 // variant 2:
goetz@6458 564 // Emit an optimized, pc-relative call/jump.
goetz@6458 565
goetz@6458 566 if (link) {
goetz@6458 567 // some padding
goetz@6458 568 nop();
goetz@6458 569 nop();
goetz@6458 570 nop();
goetz@6458 571 nop();
goetz@6458 572 nop();
goetz@6458 573 nop();
goetz@6458 574
goetz@6458 575 // do the call
goetz@6458 576 assert(pc() == pc_of_bl, "just checking");
goetz@6458 577 bl(dest, relocInfo::none);
goetz@6458 578 } else {
goetz@6458 579 // do the jump
goetz@6458 580 assert(pc() == pc_of_b, "just checking");
goetz@6458 581 b(dest, relocInfo::none);
goetz@6458 582
goetz@6458 583 // some padding
goetz@6458 584 nop();
goetz@6458 585 nop();
goetz@6458 586 nop();
goetz@6458 587 nop();
goetz@6458 588 nop();
goetz@6458 589 nop();
goetz@6458 590 }
goetz@6458 591
goetz@6458 592 // Assert that we can identify the emitted call/jump.
goetz@6458 593 assert(is_bxx64_patchable_variant2_at((address)start_pc, link),
goetz@6458 594 "can't identify emitted call");
goetz@6458 595 } else {
goetz@6458 596 // variant 1:
goetz@6511 597 #if defined(ABI_ELFv2)
goetz@6511 598 nop();
goetz@6511 599 calculate_address_from_global_toc(R12, dest, true, true, false);
goetz@6511 600 mtctr(R12);
goetz@6511 601 nop();
goetz@6511 602 nop();
goetz@6511 603 #else
goetz@6458 604 mr(R0, R11); // spill R11 -> R0.
goetz@6458 605
goetz@6458 606 // Load the destination address into CTR,
goetz@6458 607 // calculate destination relative to global toc.
goetz@6458 608 calculate_address_from_global_toc(R11, dest, true, true, false);
goetz@6458 609
goetz@6458 610 mtctr(R11);
goetz@6458 611 mr(R11, R0); // spill R11 <- R0.
goetz@6458 612 nop();
goetz@6511 613 #endif
goetz@6458 614
goetz@6458 615 // do the call/jump
goetz@6458 616 if (link) {
goetz@6458 617 bctrl();
goetz@6458 618 } else{
goetz@6458 619 bctr();
goetz@6458 620 }
goetz@6458 621 // Assert that we can identify the emitted call/jump.
goetz@6458 622 assert(is_bxx64_patchable_variant1b_at((address)start_pc, link),
goetz@6458 623 "can't identify emitted call");
goetz@6458 624 }
goetz@6458 625
goetz@6458 626 // Assert that we can identify the emitted call/jump.
goetz@6458 627 assert(is_bxx64_patchable_at((address)start_pc, link),
goetz@6458 628 "can't identify emitted call");
goetz@6458 629 assert(get_dest_of_bxx64_patchable_at((address)start_pc, link) == dest,
goetz@6458 630 "wrong encoding of dest address");
goetz@6458 631 }
goetz@6458 632
goetz@6458 633 // Identify a bxx64_patchable instruction.
goetz@6458 634 bool MacroAssembler::is_bxx64_patchable_at(address instruction_addr, bool link) {
goetz@6458 635 return is_bxx64_patchable_variant1b_at(instruction_addr, link)
goetz@6458 636 //|| is_bxx64_patchable_variant1_at(instruction_addr, link)
goetz@6458 637 || is_bxx64_patchable_variant2_at(instruction_addr, link);
goetz@6458 638 }
goetz@6458 639
goetz@6458 640 // Does the call64_patchable instruction use a pc-relative encoding of
goetz@6458 641 // the call destination?
goetz@6458 642 bool MacroAssembler::is_bxx64_patchable_pcrelative_at(address instruction_addr, bool link) {
goetz@6458 643 // variant 2 is pc-relative
goetz@6458 644 return is_bxx64_patchable_variant2_at(instruction_addr, link);
goetz@6458 645 }
goetz@6458 646
goetz@6458 647 // Identify variant 1.
goetz@6458 648 bool MacroAssembler::is_bxx64_patchable_variant1_at(address instruction_addr, bool link) {
goetz@6458 649 unsigned int* instr = (unsigned int*) instruction_addr;
goetz@6458 650 return (link ? is_bctrl(instr[6]) : is_bctr(instr[6])) // bctr[l]
goetz@6458 651 && is_mtctr(instr[5]) // mtctr
goetz@6458 652 && is_load_const_at(instruction_addr);
goetz@6458 653 }
goetz@6458 654
goetz@6458 655 // Identify variant 1b: load destination relative to global toc.
goetz@6458 656 bool MacroAssembler::is_bxx64_patchable_variant1b_at(address instruction_addr, bool link) {
goetz@6458 657 unsigned int* instr = (unsigned int*) instruction_addr;
goetz@6458 658 return (link ? is_bctrl(instr[6]) : is_bctr(instr[6])) // bctr[l]
goetz@6458 659 && is_mtctr(instr[3]) // mtctr
goetz@6458 660 && is_calculate_address_from_global_toc_at(instruction_addr + 2*BytesPerInstWord, instruction_addr);
goetz@6458 661 }
goetz@6458 662
goetz@6458 663 // Identify variant 2.
goetz@6458 664 bool MacroAssembler::is_bxx64_patchable_variant2_at(address instruction_addr, bool link) {
goetz@6458 665 unsigned int* instr = (unsigned int*) instruction_addr;
goetz@6458 666 if (link) {
goetz@6458 667 return is_bl (instr[6]) // bl dest is last
goetz@6458 668 && is_nop(instr[0]) // nop
goetz@6458 669 && is_nop(instr[1]) // nop
goetz@6458 670 && is_nop(instr[2]) // nop
goetz@6458 671 && is_nop(instr[3]) // nop
goetz@6458 672 && is_nop(instr[4]) // nop
goetz@6458 673 && is_nop(instr[5]); // nop
goetz@6458 674 } else {
goetz@6458 675 return is_b (instr[0]) // b dest is first
goetz@6458 676 && is_nop(instr[1]) // nop
goetz@6458 677 && is_nop(instr[2]) // nop
goetz@6458 678 && is_nop(instr[3]) // nop
goetz@6458 679 && is_nop(instr[4]) // nop
goetz@6458 680 && is_nop(instr[5]) // nop
goetz@6458 681 && is_nop(instr[6]); // nop
goetz@6458 682 }
goetz@6458 683 }
goetz@6458 684
goetz@6458 685 // Set dest address of a bxx64_patchable instruction.
goetz@6458 686 void MacroAssembler::set_dest_of_bxx64_patchable_at(address instruction_addr, address dest, bool link) {
goetz@6458 687 ResourceMark rm;
goetz@6458 688 int code_size = MacroAssembler::bxx64_patchable_size;
goetz@6458 689 CodeBuffer buf(instruction_addr, code_size);
goetz@6458 690 MacroAssembler masm(&buf);
goetz@6458 691 masm.bxx64_patchable(dest, relocInfo::none, link);
goetz@6495 692 ICache::ppc64_flush_icache_bytes(instruction_addr, code_size);
goetz@6458 693 }
goetz@6458 694
goetz@6458 695 // Get dest address of a bxx64_patchable instruction.
goetz@6458 696 address MacroAssembler::get_dest_of_bxx64_patchable_at(address instruction_addr, bool link) {
goetz@6458 697 if (is_bxx64_patchable_variant1_at(instruction_addr, link)) {
goetz@6458 698 return (address) (unsigned long) get_const(instruction_addr);
goetz@6458 699 } else if (is_bxx64_patchable_variant2_at(instruction_addr, link)) {
goetz@6458 700 unsigned int* instr = (unsigned int*) instruction_addr;
goetz@6458 701 if (link) {
goetz@6458 702 const int instr_idx = 6; // bl is last
goetz@6458 703 int branchoffset = branch_destination(instr[instr_idx], 0);
goetz@6458 704 return instruction_addr + branchoffset + instr_idx*BytesPerInstWord;
goetz@6458 705 } else {
goetz@6458 706 const int instr_idx = 0; // b is first
goetz@6458 707 int branchoffset = branch_destination(instr[instr_idx], 0);
goetz@6458 708 return instruction_addr + branchoffset + instr_idx*BytesPerInstWord;
goetz@6458 709 }
goetz@6458 710 // Load dest relative to global toc.
goetz@6458 711 } else if (is_bxx64_patchable_variant1b_at(instruction_addr, link)) {
goetz@6458 712 return get_address_of_calculate_address_from_global_toc_at(instruction_addr + 2*BytesPerInstWord,
goetz@6458 713 instruction_addr);
goetz@6458 714 } else {
goetz@6458 715 ShouldNotReachHere();
goetz@6458 716 return NULL;
goetz@6458 717 }
goetz@6458 718 }
goetz@6458 719
goetz@6458 720 // Uses ordering which corresponds to ABI:
goetz@6458 721 // _savegpr0_14: std r14,-144(r1)
goetz@6458 722 // _savegpr0_15: std r15,-136(r1)
goetz@6458 723 // _savegpr0_16: std r16,-128(r1)
goetz@6458 724 void MacroAssembler::save_nonvolatile_gprs(Register dst, int offset) {
goetz@6458 725 std(R14, offset, dst); offset += 8;
goetz@6458 726 std(R15, offset, dst); offset += 8;
goetz@6458 727 std(R16, offset, dst); offset += 8;
goetz@6458 728 std(R17, offset, dst); offset += 8;
goetz@6458 729 std(R18, offset, dst); offset += 8;
goetz@6458 730 std(R19, offset, dst); offset += 8;
goetz@6458 731 std(R20, offset, dst); offset += 8;
goetz@6458 732 std(R21, offset, dst); offset += 8;
goetz@6458 733 std(R22, offset, dst); offset += 8;
goetz@6458 734 std(R23, offset, dst); offset += 8;
goetz@6458 735 std(R24, offset, dst); offset += 8;
goetz@6458 736 std(R25, offset, dst); offset += 8;
goetz@6458 737 std(R26, offset, dst); offset += 8;
goetz@6458 738 std(R27, offset, dst); offset += 8;
goetz@6458 739 std(R28, offset, dst); offset += 8;
goetz@6458 740 std(R29, offset, dst); offset += 8;
goetz@6458 741 std(R30, offset, dst); offset += 8;
goetz@6458 742 std(R31, offset, dst); offset += 8;
goetz@6458 743
goetz@6458 744 stfd(F14, offset, dst); offset += 8;
goetz@6458 745 stfd(F15, offset, dst); offset += 8;
goetz@6458 746 stfd(F16, offset, dst); offset += 8;
goetz@6458 747 stfd(F17, offset, dst); offset += 8;
goetz@6458 748 stfd(F18, offset, dst); offset += 8;
goetz@6458 749 stfd(F19, offset, dst); offset += 8;
goetz@6458 750 stfd(F20, offset, dst); offset += 8;
goetz@6458 751 stfd(F21, offset, dst); offset += 8;
goetz@6458 752 stfd(F22, offset, dst); offset += 8;
goetz@6458 753 stfd(F23, offset, dst); offset += 8;
goetz@6458 754 stfd(F24, offset, dst); offset += 8;
goetz@6458 755 stfd(F25, offset, dst); offset += 8;
goetz@6458 756 stfd(F26, offset, dst); offset += 8;
goetz@6458 757 stfd(F27, offset, dst); offset += 8;
goetz@6458 758 stfd(F28, offset, dst); offset += 8;
goetz@6458 759 stfd(F29, offset, dst); offset += 8;
goetz@6458 760 stfd(F30, offset, dst); offset += 8;
goetz@6458 761 stfd(F31, offset, dst);
goetz@6458 762 }
goetz@6458 763
goetz@6458 764 // Uses ordering which corresponds to ABI:
goetz@6458 765 // _restgpr0_14: ld r14,-144(r1)
goetz@6458 766 // _restgpr0_15: ld r15,-136(r1)
goetz@6458 767 // _restgpr0_16: ld r16,-128(r1)
goetz@6458 768 void MacroAssembler::restore_nonvolatile_gprs(Register src, int offset) {
goetz@6458 769 ld(R14, offset, src); offset += 8;
goetz@6458 770 ld(R15, offset, src); offset += 8;
goetz@6458 771 ld(R16, offset, src); offset += 8;
goetz@6458 772 ld(R17, offset, src); offset += 8;
goetz@6458 773 ld(R18, offset, src); offset += 8;
goetz@6458 774 ld(R19, offset, src); offset += 8;
goetz@6458 775 ld(R20, offset, src); offset += 8;
goetz@6458 776 ld(R21, offset, src); offset += 8;
goetz@6458 777 ld(R22, offset, src); offset += 8;
goetz@6458 778 ld(R23, offset, src); offset += 8;
goetz@6458 779 ld(R24, offset, src); offset += 8;
goetz@6458 780 ld(R25, offset, src); offset += 8;
goetz@6458 781 ld(R26, offset, src); offset += 8;
goetz@6458 782 ld(R27, offset, src); offset += 8;
goetz@6458 783 ld(R28, offset, src); offset += 8;
goetz@6458 784 ld(R29, offset, src); offset += 8;
goetz@6458 785 ld(R30, offset, src); offset += 8;
goetz@6458 786 ld(R31, offset, src); offset += 8;
goetz@6458 787
goetz@6458 788 // FP registers
goetz@6458 789 lfd(F14, offset, src); offset += 8;
goetz@6458 790 lfd(F15, offset, src); offset += 8;
goetz@6458 791 lfd(F16, offset, src); offset += 8;
goetz@6458 792 lfd(F17, offset, src); offset += 8;
goetz@6458 793 lfd(F18, offset, src); offset += 8;
goetz@6458 794 lfd(F19, offset, src); offset += 8;
goetz@6458 795 lfd(F20, offset, src); offset += 8;
goetz@6458 796 lfd(F21, offset, src); offset += 8;
goetz@6458 797 lfd(F22, offset, src); offset += 8;
goetz@6458 798 lfd(F23, offset, src); offset += 8;
goetz@6458 799 lfd(F24, offset, src); offset += 8;
goetz@6458 800 lfd(F25, offset, src); offset += 8;
goetz@6458 801 lfd(F26, offset, src); offset += 8;
goetz@6458 802 lfd(F27, offset, src); offset += 8;
goetz@6458 803 lfd(F28, offset, src); offset += 8;
goetz@6458 804 lfd(F29, offset, src); offset += 8;
goetz@6458 805 lfd(F30, offset, src); offset += 8;
goetz@6458 806 lfd(F31, offset, src);
goetz@6458 807 }
goetz@6458 808
goetz@6458 809 // For verify_oops.
goetz@6458 810 void MacroAssembler::save_volatile_gprs(Register dst, int offset) {
goetz@6458 811 std(R3, offset, dst); offset += 8;
goetz@6458 812 std(R4, offset, dst); offset += 8;
goetz@6458 813 std(R5, offset, dst); offset += 8;
goetz@6458 814 std(R6, offset, dst); offset += 8;
goetz@6458 815 std(R7, offset, dst); offset += 8;
goetz@6458 816 std(R8, offset, dst); offset += 8;
goetz@6458 817 std(R9, offset, dst); offset += 8;
goetz@6458 818 std(R10, offset, dst); offset += 8;
goetz@6458 819 std(R11, offset, dst); offset += 8;
goetz@6458 820 std(R12, offset, dst);
goetz@6458 821 }
goetz@6458 822
goetz@6458 823 // For verify_oops.
goetz@6458 824 void MacroAssembler::restore_volatile_gprs(Register src, int offset) {
goetz@6458 825 ld(R3, offset, src); offset += 8;
goetz@6458 826 ld(R4, offset, src); offset += 8;
goetz@6458 827 ld(R5, offset, src); offset += 8;
goetz@6458 828 ld(R6, offset, src); offset += 8;
goetz@6458 829 ld(R7, offset, src); offset += 8;
goetz@6458 830 ld(R8, offset, src); offset += 8;
goetz@6458 831 ld(R9, offset, src); offset += 8;
goetz@6458 832 ld(R10, offset, src); offset += 8;
goetz@6458 833 ld(R11, offset, src); offset += 8;
goetz@6458 834 ld(R12, offset, src);
goetz@6458 835 }
goetz@6458 836
goetz@6458 837 void MacroAssembler::save_LR_CR(Register tmp) {
goetz@6458 838 mfcr(tmp);
goetz@6458 839 std(tmp, _abi(cr), R1_SP);
goetz@6458 840 mflr(tmp);
goetz@6458 841 std(tmp, _abi(lr), R1_SP);
goetz@6458 842 // Tmp must contain lr on exit! (see return_addr and prolog in ppc64.ad)
goetz@6458 843 }
goetz@6458 844
goetz@6458 845 void MacroAssembler::restore_LR_CR(Register tmp) {
goetz@6458 846 assert(tmp != R1_SP, "must be distinct");
goetz@6458 847 ld(tmp, _abi(lr), R1_SP);
goetz@6458 848 mtlr(tmp);
goetz@6458 849 ld(tmp, _abi(cr), R1_SP);
goetz@6458 850 mtcr(tmp);
goetz@6458 851 }
goetz@6458 852
goetz@6458 853 address MacroAssembler::get_PC_trash_LR(Register result) {
goetz@6458 854 Label L;
goetz@6458 855 bl(L);
goetz@6458 856 bind(L);
goetz@6458 857 address lr_pc = pc();
goetz@6458 858 mflr(result);
goetz@6458 859 return lr_pc;
goetz@6458 860 }
goetz@6458 861
goetz@6458 862 void MacroAssembler::resize_frame(Register offset, Register tmp) {
goetz@6458 863 #ifdef ASSERT
goetz@6458 864 assert_different_registers(offset, tmp, R1_SP);
goetz@6458 865 andi_(tmp, offset, frame::alignment_in_bytes-1);
goetz@6458 866 asm_assert_eq("resize_frame: unaligned", 0x204);
goetz@6458 867 #endif
goetz@6458 868
goetz@6458 869 // tmp <- *(SP)
goetz@6458 870 ld(tmp, _abi(callers_sp), R1_SP);
goetz@6458 871 // addr <- SP + offset;
goetz@6458 872 // *(addr) <- tmp;
goetz@6458 873 // SP <- addr
goetz@6458 874 stdux(tmp, R1_SP, offset);
goetz@6458 875 }
goetz@6458 876
goetz@6458 877 void MacroAssembler::resize_frame(int offset, Register tmp) {
goetz@6458 878 assert(is_simm(offset, 16), "too big an offset");
goetz@6458 879 assert_different_registers(tmp, R1_SP);
goetz@6458 880 assert((offset & (frame::alignment_in_bytes-1))==0, "resize_frame: unaligned");
goetz@6458 881 // tmp <- *(SP)
goetz@6458 882 ld(tmp, _abi(callers_sp), R1_SP);
goetz@6458 883 // addr <- SP + offset;
goetz@6458 884 // *(addr) <- tmp;
goetz@6458 885 // SP <- addr
goetz@6458 886 stdu(tmp, offset, R1_SP);
goetz@6458 887 }
goetz@6458 888
goetz@6458 889 void MacroAssembler::resize_frame_absolute(Register addr, Register tmp1, Register tmp2) {
goetz@6458 890 // (addr == tmp1) || (addr == tmp2) is allowed here!
goetz@6458 891 assert(tmp1 != tmp2, "must be distinct");
goetz@6458 892
goetz@6458 893 // compute offset w.r.t. current stack pointer
goetz@6458 894 // tmp_1 <- addr - SP (!)
goetz@6458 895 subf(tmp1, R1_SP, addr);
goetz@6458 896
goetz@6458 897 // atomically update SP keeping back link.
goetz@6458 898 resize_frame(tmp1/* offset */, tmp2/* tmp */);
goetz@6458 899 }
goetz@6458 900
goetz@6458 901 void MacroAssembler::push_frame(Register bytes, Register tmp) {
goetz@6458 902 #ifdef ASSERT
goetz@6458 903 assert(bytes != R0, "r0 not allowed here");
goetz@6458 904 andi_(R0, bytes, frame::alignment_in_bytes-1);
goetz@6458 905 asm_assert_eq("push_frame(Reg, Reg): unaligned", 0x203);
goetz@6458 906 #endif
goetz@6458 907 neg(tmp, bytes);
goetz@6458 908 stdux(R1_SP, R1_SP, tmp);
goetz@6458 909 }
goetz@6458 910
goetz@6458 911 // Push a frame of size `bytes'.
goetz@6458 912 void MacroAssembler::push_frame(unsigned int bytes, Register tmp) {
goetz@6458 913 long offset = align_addr(bytes, frame::alignment_in_bytes);
goetz@6458 914 if (is_simm(-offset, 16)) {
goetz@6458 915 stdu(R1_SP, -offset, R1_SP);
goetz@6458 916 } else {
goetz@6458 917 load_const(tmp, -offset);
goetz@6458 918 stdux(R1_SP, R1_SP, tmp);
goetz@6458 919 }
goetz@6458 920 }
goetz@6458 921
goetz@6511 922 // Push a frame of size `bytes' plus abi_reg_args on top.
goetz@6511 923 void MacroAssembler::push_frame_reg_args(unsigned int bytes, Register tmp) {
goetz@6511 924 push_frame(bytes + frame::abi_reg_args_size, tmp);
goetz@6458 925 }
goetz@6458 926
goetz@6458 927 // Setup up a new C frame with a spill area for non-volatile GPRs and
goetz@6458 928 // additional space for local variables.
goetz@6511 929 void MacroAssembler::push_frame_reg_args_nonvolatiles(unsigned int bytes,
goetz@6511 930 Register tmp) {
goetz@6511 931 push_frame(bytes + frame::abi_reg_args_size + frame::spill_nonvolatiles_size, tmp);
goetz@6458 932 }
goetz@6458 933
goetz@6458 934 // Pop current C frame.
goetz@6458 935 void MacroAssembler::pop_frame() {
goetz@6458 936 ld(R1_SP, _abi(callers_sp), R1_SP);
goetz@6458 937 }
goetz@6458 938
goetz@6511 939 #if defined(ABI_ELFv2)
goetz@6511 940 address MacroAssembler::branch_to(Register r_function_entry, bool and_link) {
goetz@6511 941 // TODO(asmundak): make sure the caller uses R12 as function descriptor
goetz@6511 942 // most of the times.
goetz@6511 943 if (R12 != r_function_entry) {
goetz@6511 944 mr(R12, r_function_entry);
goetz@6511 945 }
goetz@6511 946 mtctr(R12);
goetz@6511 947 // Do a call or a branch.
goetz@6511 948 if (and_link) {
goetz@6511 949 bctrl();
goetz@6511 950 } else {
goetz@6511 951 bctr();
goetz@6511 952 }
goetz@6511 953 _last_calls_return_pc = pc();
goetz@6511 954
goetz@6511 955 return _last_calls_return_pc;
goetz@6511 956 }
goetz@6511 957
goetz@6511 958 // Call a C function via a function descriptor and use full C
goetz@6511 959 // calling conventions. Updates and returns _last_calls_return_pc.
goetz@6511 960 address MacroAssembler::call_c(Register r_function_entry) {
goetz@6511 961 return branch_to(r_function_entry, /*and_link=*/true);
goetz@6511 962 }
goetz@6511 963
goetz@6511 964 // For tail calls: only branch, don't link, so callee returns to caller of this function.
goetz@6511 965 address MacroAssembler::call_c_and_return_to_caller(Register r_function_entry) {
goetz@6511 966 return branch_to(r_function_entry, /*and_link=*/false);
goetz@6511 967 }
goetz@6511 968
goetz@6511 969 address MacroAssembler::call_c(address function_entry, relocInfo::relocType rt) {
goetz@6511 970 load_const(R12, function_entry, R0);
goetz@6511 971 return branch_to(R12, /*and_link=*/true);
goetz@6511 972 }
goetz@6511 973
goetz@6511 974 #else
goetz@6458 975 // Generic version of a call to C function via a function descriptor
goetz@6458 976 // with variable support for C calling conventions (TOC, ENV, etc.).
goetz@6458 977 // Updates and returns _last_calls_return_pc.
goetz@6458 978 address MacroAssembler::branch_to(Register function_descriptor, bool and_link, bool save_toc_before_call,
goetz@6458 979 bool restore_toc_after_call, bool load_toc_of_callee, bool load_env_of_callee) {
goetz@6458 980 // we emit standard ptrgl glue code here
goetz@6458 981 assert((function_descriptor != R0), "function_descriptor cannot be R0");
goetz@6458 982
goetz@6458 983 // retrieve necessary entries from the function descriptor
goetz@6458 984 ld(R0, in_bytes(FunctionDescriptor::entry_offset()), function_descriptor);
goetz@6458 985 mtctr(R0);
goetz@6458 986
goetz@6458 987 if (load_toc_of_callee) {
goetz@6458 988 ld(R2_TOC, in_bytes(FunctionDescriptor::toc_offset()), function_descriptor);
goetz@6458 989 }
goetz@6458 990 if (load_env_of_callee) {
goetz@6458 991 ld(R11, in_bytes(FunctionDescriptor::env_offset()), function_descriptor);
goetz@6458 992 } else if (load_toc_of_callee) {
goetz@6458 993 li(R11, 0);
goetz@6458 994 }
goetz@6458 995
goetz@6458 996 // do a call or a branch
goetz@6458 997 if (and_link) {
goetz@6458 998 bctrl();
goetz@6458 999 } else {
goetz@6458 1000 bctr();
goetz@6458 1001 }
goetz@6458 1002 _last_calls_return_pc = pc();
goetz@6458 1003
goetz@6458 1004 return _last_calls_return_pc;
goetz@6458 1005 }
goetz@6458 1006
goetz@6458 1007 // Call a C function via a function descriptor and use full C calling
goetz@6458 1008 // conventions.
goetz@6458 1009 // We don't use the TOC in generated code, so there is no need to save
goetz@6458 1010 // and restore its value.
goetz@6458 1011 address MacroAssembler::call_c(Register fd) {
goetz@6458 1012 return branch_to(fd, /*and_link=*/true,
goetz@6458 1013 /*save toc=*/false,
goetz@6458 1014 /*restore toc=*/false,
goetz@6458 1015 /*load toc=*/true,
goetz@6458 1016 /*load env=*/true);
goetz@6458 1017 }
goetz@6458 1018
goetz@6495 1019 address MacroAssembler::call_c_and_return_to_caller(Register fd) {
goetz@6495 1020 return branch_to(fd, /*and_link=*/false,
goetz@6495 1021 /*save toc=*/false,
goetz@6495 1022 /*restore toc=*/false,
goetz@6495 1023 /*load toc=*/true,
goetz@6495 1024 /*load env=*/true);
goetz@6495 1025 }
goetz@6495 1026
goetz@6458 1027 address MacroAssembler::call_c(const FunctionDescriptor* fd, relocInfo::relocType rt) {
goetz@6458 1028 if (rt != relocInfo::none) {
goetz@6458 1029 // this call needs to be relocatable
goetz@6458 1030 if (!ReoptimizeCallSequences
goetz@6458 1031 || (rt != relocInfo::runtime_call_type && rt != relocInfo::none)
goetz@6458 1032 || fd == NULL // support code-size estimation
goetz@6458 1033 || !fd->is_friend_function()
goetz@6458 1034 || fd->entry() == NULL) {
goetz@6458 1035 // it's not a friend function as defined by class FunctionDescriptor,
goetz@6458 1036 // so do a full call-c here.
goetz@6458 1037 load_const(R11, (address)fd, R0);
goetz@6458 1038
goetz@6458 1039 bool has_env = (fd != NULL && fd->env() != NULL);
goetz@6458 1040 return branch_to(R11, /*and_link=*/true,
goetz@6501 1041 /*save toc=*/false,
goetz@6501 1042 /*restore toc=*/false,
goetz@6501 1043 /*load toc=*/true,
goetz@6501 1044 /*load env=*/has_env);
goetz@6458 1045 } else {
goetz@6458 1046 // It's a friend function. Load the entry point and don't care about
goetz@6458 1047 // toc and env. Use an optimizable call instruction, but ensure the
goetz@6458 1048 // same code-size as in the case of a non-friend function.
goetz@6458 1049 nop();
goetz@6458 1050 nop();
goetz@6458 1051 nop();
goetz@6458 1052 bl64_patchable(fd->entry(), rt);
goetz@6458 1053 _last_calls_return_pc = pc();
goetz@6458 1054 return _last_calls_return_pc;
goetz@6458 1055 }
goetz@6458 1056 } else {
goetz@6458 1057 // This call does not need to be relocatable, do more aggressive
goetz@6458 1058 // optimizations.
goetz@6458 1059 if (!ReoptimizeCallSequences
goetz@6458 1060 || !fd->is_friend_function()) {
goetz@6458 1061 // It's not a friend function as defined by class FunctionDescriptor,
goetz@6458 1062 // so do a full call-c here.
goetz@6458 1063 load_const(R11, (address)fd, R0);
goetz@6458 1064 return branch_to(R11, /*and_link=*/true,
goetz@6501 1065 /*save toc=*/false,
goetz@6501 1066 /*restore toc=*/false,
goetz@6501 1067 /*load toc=*/true,
goetz@6501 1068 /*load env=*/true);
goetz@6458 1069 } else {
goetz@6458 1070 // it's a friend function, load the entry point and don't care about
goetz@6458 1071 // toc and env.
goetz@6458 1072 address dest = fd->entry();
goetz@6458 1073 if (is_within_range_of_b(dest, pc())) {
goetz@6458 1074 bl(dest);
goetz@6458 1075 } else {
goetz@6458 1076 bl64_patchable(dest, rt);
goetz@6458 1077 }
goetz@6458 1078 _last_calls_return_pc = pc();
goetz@6458 1079 return _last_calls_return_pc;
goetz@6458 1080 }
goetz@6458 1081 }
goetz@6458 1082 }
goetz@6458 1083
goetz@6458 1084 // Call a C function. All constants needed reside in TOC.
goetz@6458 1085 //
goetz@6458 1086 // Read the address to call from the TOC.
goetz@6458 1087 // Read env from TOC, if fd specifies an env.
goetz@6458 1088 // Read new TOC from TOC.
goetz@6458 1089 address MacroAssembler::call_c_using_toc(const FunctionDescriptor* fd,
goetz@6458 1090 relocInfo::relocType rt, Register toc) {
goetz@6458 1091 if (!ReoptimizeCallSequences
goetz@6458 1092 || (rt != relocInfo::runtime_call_type && rt != relocInfo::none)
goetz@6458 1093 || !fd->is_friend_function()) {
goetz@6458 1094 // It's not a friend function as defined by class FunctionDescriptor,
goetz@6458 1095 // so do a full call-c here.
goetz@6458 1096 assert(fd->entry() != NULL, "function must be linked");
goetz@6458 1097
goetz@6458 1098 AddressLiteral fd_entry(fd->entry());
goetz@6458 1099 load_const_from_method_toc(R11, fd_entry, toc);
goetz@6458 1100 mtctr(R11);
goetz@6458 1101 if (fd->env() == NULL) {
goetz@6458 1102 li(R11, 0);
goetz@6458 1103 nop();
goetz@6458 1104 } else {
goetz@6458 1105 AddressLiteral fd_env(fd->env());
goetz@6458 1106 load_const_from_method_toc(R11, fd_env, toc);
goetz@6458 1107 }
goetz@6458 1108 AddressLiteral fd_toc(fd->toc());
goetz@6458 1109 load_toc_from_toc(R2_TOC, fd_toc, toc);
goetz@6458 1110 // R2_TOC is killed.
goetz@6458 1111 bctrl();
goetz@6458 1112 _last_calls_return_pc = pc();
goetz@6458 1113 } else {
goetz@6458 1114 // It's a friend function, load the entry point and don't care about
goetz@6458 1115 // toc and env. Use an optimizable call instruction, but ensure the
goetz@6458 1116 // same code-size as in the case of a non-friend function.
goetz@6458 1117 nop();
goetz@6458 1118 bl64_patchable(fd->entry(), rt);
goetz@6458 1119 _last_calls_return_pc = pc();
goetz@6458 1120 }
goetz@6458 1121 return _last_calls_return_pc;
goetz@6458 1122 }
goetz@6511 1123 #endif
goetz@6458 1124
goetz@6458 1125 void MacroAssembler::call_VM_base(Register oop_result,
goetz@6458 1126 Register last_java_sp,
goetz@6458 1127 address entry_point,
goetz@6458 1128 bool check_exceptions) {
goetz@6458 1129 BLOCK_COMMENT("call_VM {");
goetz@6458 1130 // Determine last_java_sp register.
goetz@6458 1131 if (!last_java_sp->is_valid()) {
goetz@6458 1132 last_java_sp = R1_SP;
goetz@6458 1133 }
goetz@6458 1134 set_top_ijava_frame_at_SP_as_last_Java_frame(last_java_sp, R11_scratch1);
goetz@6458 1135
goetz@6458 1136 // ARG1 must hold thread address.
goetz@6458 1137 mr(R3_ARG1, R16_thread);
goetz@6511 1138 #if defined(ABI_ELFv2)
goetz@6511 1139 address return_pc = call_c(entry_point, relocInfo::none);
goetz@6511 1140 #else
goetz@6458 1141 address return_pc = call_c((FunctionDescriptor*)entry_point, relocInfo::none);
goetz@6511 1142 #endif
goetz@6458 1143
goetz@6458 1144 reset_last_Java_frame();
goetz@6458 1145
goetz@6458 1146 // Check for pending exceptions.
goetz@6458 1147 if (check_exceptions) {
goetz@6458 1148 // We don't check for exceptions here.
goetz@6458 1149 ShouldNotReachHere();
goetz@6458 1150 }
goetz@6458 1151
goetz@6458 1152 // Get oop result if there is one and reset the value in the thread.
goetz@6458 1153 if (oop_result->is_valid()) {
goetz@6458 1154 get_vm_result(oop_result);
goetz@6458 1155 }
goetz@6458 1156
goetz@6458 1157 _last_calls_return_pc = return_pc;
goetz@6458 1158 BLOCK_COMMENT("} call_VM");
goetz@6458 1159 }
goetz@6458 1160
goetz@6458 1161 void MacroAssembler::call_VM_leaf_base(address entry_point) {
goetz@6458 1162 BLOCK_COMMENT("call_VM_leaf {");
goetz@6511 1163 #if defined(ABI_ELFv2)
goetz@6511 1164 call_c(entry_point, relocInfo::none);
goetz@6511 1165 #else
goetz@6458 1166 call_c(CAST_FROM_FN_PTR(FunctionDescriptor*, entry_point), relocInfo::none);
goetz@6511 1167 #endif
goetz@6458 1168 BLOCK_COMMENT("} call_VM_leaf");
goetz@6458 1169 }
goetz@6458 1170
goetz@6458 1171 void MacroAssembler::call_VM(Register oop_result, address entry_point, bool check_exceptions) {
goetz@6458 1172 call_VM_base(oop_result, noreg, entry_point, check_exceptions);
goetz@6458 1173 }
goetz@6458 1174
goetz@6458 1175 void MacroAssembler::call_VM(Register oop_result, address entry_point, Register arg_1,
goetz@6458 1176 bool check_exceptions) {
goetz@6458 1177 // R3_ARG1 is reserved for the thread.
goetz@6458 1178 mr_if_needed(R4_ARG2, arg_1);
goetz@6458 1179 call_VM(oop_result, entry_point, check_exceptions);
goetz@6458 1180 }
goetz@6458 1181
goetz@6458 1182 void MacroAssembler::call_VM(Register oop_result, address entry_point, Register arg_1, Register arg_2,
goetz@6458 1183 bool check_exceptions) {
goetz@6458 1184 // R3_ARG1 is reserved for the thread
goetz@6458 1185 mr_if_needed(R4_ARG2, arg_1);
goetz@6458 1186 assert(arg_2 != R4_ARG2, "smashed argument");
goetz@6458 1187 mr_if_needed(R5_ARG3, arg_2);
goetz@6458 1188 call_VM(oop_result, entry_point, check_exceptions);
goetz@6458 1189 }
goetz@6458 1190
goetz@6458 1191 void MacroAssembler::call_VM_leaf(address entry_point) {
goetz@6458 1192 call_VM_leaf_base(entry_point);
goetz@6458 1193 }
goetz@6458 1194
goetz@6458 1195 void MacroAssembler::call_VM_leaf(address entry_point, Register arg_1) {
goetz@6458 1196 mr_if_needed(R3_ARG1, arg_1);
goetz@6458 1197 call_VM_leaf(entry_point);
goetz@6458 1198 }
goetz@6458 1199
goetz@6458 1200 void MacroAssembler::call_VM_leaf(address entry_point, Register arg_1, Register arg_2) {
goetz@6458 1201 mr_if_needed(R3_ARG1, arg_1);
goetz@6458 1202 assert(arg_2 != R3_ARG1, "smashed argument");
goetz@6458 1203 mr_if_needed(R4_ARG2, arg_2);
goetz@6458 1204 call_VM_leaf(entry_point);
goetz@6458 1205 }
goetz@6458 1206
goetz@6458 1207 void MacroAssembler::call_VM_leaf(address entry_point, Register arg_1, Register arg_2, Register arg_3) {
goetz@6458 1208 mr_if_needed(R3_ARG1, arg_1);
goetz@6458 1209 assert(arg_2 != R3_ARG1, "smashed argument");
goetz@6458 1210 mr_if_needed(R4_ARG2, arg_2);
goetz@6458 1211 assert(arg_3 != R3_ARG1 && arg_3 != R4_ARG2, "smashed argument");
goetz@6458 1212 mr_if_needed(R5_ARG3, arg_3);
goetz@6458 1213 call_VM_leaf(entry_point);
goetz@6458 1214 }
goetz@6458 1215
goetz@6458 1216 // Check whether instruction is a read access to the polling page
goetz@6458 1217 // which was emitted by load_from_polling_page(..).
goetz@6458 1218 bool MacroAssembler::is_load_from_polling_page(int instruction, void* ucontext,
goetz@6458 1219 address* polling_address_ptr) {
goetz@6458 1220 if (!is_ld(instruction))
goetz@6458 1221 return false; // It's not a ld. Fail.
goetz@6458 1222
goetz@6458 1223 int rt = inv_rt_field(instruction);
goetz@6458 1224 int ra = inv_ra_field(instruction);
goetz@6458 1225 int ds = inv_ds_field(instruction);
goetz@6458 1226 if (!(ds == 0 && ra != 0 && rt == 0)) {
goetz@6458 1227 return false; // It's not a ld(r0, X, ra). Fail.
goetz@6458 1228 }
goetz@6458 1229
goetz@6458 1230 if (!ucontext) {
goetz@6458 1231 // Set polling address.
goetz@6458 1232 if (polling_address_ptr != NULL) {
goetz@6458 1233 *polling_address_ptr = NULL;
goetz@6458 1234 }
goetz@6458 1235 return true; // No ucontext given. Can't check value of ra. Assume true.
goetz@6458 1236 }
goetz@6458 1237
goetz@6458 1238 #ifdef LINUX
goetz@6458 1239 // Ucontext given. Check that register ra contains the address of
goetz@6458 1240 // the safepoing polling page.
goetz@6458 1241 ucontext_t* uc = (ucontext_t*) ucontext;
goetz@6458 1242 // Set polling address.
goetz@6458 1243 address addr = (address)uc->uc_mcontext.regs->gpr[ra] + (ssize_t)ds;
goetz@6458 1244 if (polling_address_ptr != NULL) {
goetz@6458 1245 *polling_address_ptr = addr;
goetz@6458 1246 }
goetz@6458 1247 return os::is_poll_address(addr);
goetz@6458 1248 #else
goetz@6458 1249 // Not on Linux, ucontext must be NULL.
goetz@6458 1250 ShouldNotReachHere();
goetz@6458 1251 return false;
goetz@6458 1252 #endif
goetz@6458 1253 }
goetz@6458 1254
goetz@6458 1255 bool MacroAssembler::is_memory_serialization(int instruction, JavaThread* thread, void* ucontext) {
goetz@6458 1256 #ifdef LINUX
goetz@6458 1257 ucontext_t* uc = (ucontext_t*) ucontext;
goetz@6458 1258
goetz@6458 1259 if (is_stwx(instruction) || is_stwux(instruction)) {
goetz@6458 1260 int ra = inv_ra_field(instruction);
goetz@6458 1261 int rb = inv_rb_field(instruction);
goetz@6458 1262
goetz@6458 1263 // look up content of ra and rb in ucontext
goetz@6458 1264 address ra_val=(address)uc->uc_mcontext.regs->gpr[ra];
goetz@6458 1265 long rb_val=(long)uc->uc_mcontext.regs->gpr[rb];
goetz@6458 1266 return os::is_memory_serialize_page(thread, ra_val+rb_val);
goetz@6458 1267 } else if (is_stw(instruction) || is_stwu(instruction)) {
goetz@6458 1268 int ra = inv_ra_field(instruction);
goetz@6458 1269 int d1 = inv_d1_field(instruction);
goetz@6458 1270
goetz@6458 1271 // look up content of ra in ucontext
goetz@6458 1272 address ra_val=(address)uc->uc_mcontext.regs->gpr[ra];
goetz@6458 1273 return os::is_memory_serialize_page(thread, ra_val+d1);
goetz@6458 1274 } else {
goetz@6458 1275 return false;
goetz@6458 1276 }
goetz@6458 1277 #else
goetz@6458 1278 // workaround not needed on !LINUX :-)
goetz@6458 1279 ShouldNotCallThis();
goetz@6458 1280 return false;
goetz@6458 1281 #endif
goetz@6458 1282 }
goetz@6458 1283
goetz@6458 1284 void MacroAssembler::bang_stack_with_offset(int offset) {
goetz@6458 1285 // When increasing the stack, the old stack pointer will be written
goetz@6458 1286 // to the new top of stack according to the PPC64 abi.
goetz@6458 1287 // Therefore, stack banging is not necessary when increasing
goetz@6458 1288 // the stack by <= os::vm_page_size() bytes.
goetz@6458 1289 // When increasing the stack by a larger amount, this method is
goetz@6458 1290 // called repeatedly to bang the intermediate pages.
goetz@6458 1291
goetz@6458 1292 // Stack grows down, caller passes positive offset.
goetz@6458 1293 assert(offset > 0, "must bang with positive offset");
goetz@6458 1294
goetz@6458 1295 long stdoffset = -offset;
goetz@6458 1296
goetz@6458 1297 if (is_simm(stdoffset, 16)) {
goetz@6458 1298 // Signed 16 bit offset, a simple std is ok.
goetz@6458 1299 if (UseLoadInstructionsForStackBangingPPC64) {
goetz@6458 1300 ld(R0, (int)(signed short)stdoffset, R1_SP);
goetz@6458 1301 } else {
goetz@6458 1302 std(R0,(int)(signed short)stdoffset, R1_SP);
goetz@6458 1303 }
goetz@6458 1304 } else if (is_simm(stdoffset, 31)) {
goetz@6458 1305 const int hi = MacroAssembler::largeoffset_si16_si16_hi(stdoffset);
goetz@6458 1306 const int lo = MacroAssembler::largeoffset_si16_si16_lo(stdoffset);
goetz@6458 1307
goetz@6458 1308 Register tmp = R11;
goetz@6458 1309 addis(tmp, R1_SP, hi);
goetz@6458 1310 if (UseLoadInstructionsForStackBangingPPC64) {
goetz@6458 1311 ld(R0, lo, tmp);
goetz@6458 1312 } else {
goetz@6458 1313 std(R0, lo, tmp);
goetz@6458 1314 }
goetz@6458 1315 } else {
goetz@6458 1316 ShouldNotReachHere();
goetz@6458 1317 }
goetz@6458 1318 }
goetz@6458 1319
goetz@6458 1320 // If instruction is a stack bang of the form
goetz@6458 1321 // std R0, x(Ry), (see bang_stack_with_offset())
goetz@6458 1322 // stdu R1_SP, x(R1_SP), (see push_frame(), resize_frame())
goetz@6458 1323 // or stdux R1_SP, Rx, R1_SP (see push_frame(), resize_frame())
goetz@6458 1324 // return the banged address. Otherwise, return 0.
goetz@6458 1325 address MacroAssembler::get_stack_bang_address(int instruction, void *ucontext) {
goetz@6458 1326 #ifdef LINUX
goetz@6458 1327 ucontext_t* uc = (ucontext_t*) ucontext;
goetz@6458 1328 int rs = inv_rs_field(instruction);
goetz@6458 1329 int ra = inv_ra_field(instruction);
goetz@6458 1330 if ( (is_ld(instruction) && rs == 0 && UseLoadInstructionsForStackBangingPPC64)
goetz@6458 1331 || (is_std(instruction) && rs == 0 && !UseLoadInstructionsForStackBangingPPC64)
goetz@6458 1332 || (is_stdu(instruction) && rs == 1)) {
goetz@6458 1333 int ds = inv_ds_field(instruction);
goetz@6458 1334 // return banged address
goetz@6458 1335 return ds+(address)uc->uc_mcontext.regs->gpr[ra];
goetz@6458 1336 } else if (is_stdux(instruction) && rs == 1) {
goetz@6458 1337 int rb = inv_rb_field(instruction);
goetz@6458 1338 address sp = (address)uc->uc_mcontext.regs->gpr[1];
goetz@6458 1339 long rb_val = (long)uc->uc_mcontext.regs->gpr[rb];
goetz@6458 1340 return ra != 1 || rb_val >= 0 ? NULL // not a stack bang
goetz@6458 1341 : sp + rb_val; // banged address
goetz@6458 1342 }
goetz@6458 1343 return NULL; // not a stack bang
goetz@6458 1344 #else
goetz@6458 1345 // workaround not needed on !LINUX :-)
goetz@6458 1346 ShouldNotCallThis();
goetz@6458 1347 return NULL;
goetz@6458 1348 #endif
goetz@6458 1349 }
goetz@6458 1350
goetz@6458 1351 // CmpxchgX sets condition register to cmpX(current, compare).
goetz@6458 1352 void MacroAssembler::cmpxchgw(ConditionRegister flag, Register dest_current_value,
goetz@6458 1353 Register compare_value, Register exchange_value,
goetz@6458 1354 Register addr_base, int semantics, bool cmpxchgx_hint,
goetz@6458 1355 Register int_flag_success, bool contention_hint) {
goetz@6458 1356 Label retry;
goetz@6458 1357 Label failed;
goetz@6458 1358 Label done;
goetz@6458 1359
goetz@6458 1360 // Save one branch if result is returned via register and
goetz@6458 1361 // result register is different from the other ones.
goetz@6458 1362 bool use_result_reg = (int_flag_success != noreg);
goetz@6458 1363 bool preset_result_reg = (int_flag_success != dest_current_value && int_flag_success != compare_value &&
goetz@6458 1364 int_flag_success != exchange_value && int_flag_success != addr_base);
goetz@6458 1365
goetz@6458 1366 // release/fence semantics
goetz@6458 1367 if (semantics & MemBarRel) {
goetz@6458 1368 release();
goetz@6458 1369 }
goetz@6458 1370
goetz@6458 1371 if (use_result_reg && preset_result_reg) {
goetz@6458 1372 li(int_flag_success, 0); // preset (assume cas failed)
goetz@6458 1373 }
goetz@6458 1374
goetz@6458 1375 // Add simple guard in order to reduce risk of starving under high contention (recommended by IBM).
goetz@6458 1376 if (contention_hint) { // Don't try to reserve if cmp fails.
goetz@6458 1377 lwz(dest_current_value, 0, addr_base);
goetz@6458 1378 cmpw(flag, dest_current_value, compare_value);
goetz@6458 1379 bne(flag, failed);
goetz@6458 1380 }
goetz@6458 1381
goetz@6458 1382 // atomic emulation loop
goetz@6458 1383 bind(retry);
goetz@6458 1384
goetz@6458 1385 lwarx(dest_current_value, addr_base, cmpxchgx_hint);
goetz@6458 1386 cmpw(flag, dest_current_value, compare_value);
goetz@6458 1387 if (UseStaticBranchPredictionInCompareAndSwapPPC64) {
goetz@6458 1388 bne_predict_not_taken(flag, failed);
goetz@6458 1389 } else {
goetz@6458 1390 bne( flag, failed);
goetz@6458 1391 }
goetz@6458 1392 // branch to done => (flag == ne), (dest_current_value != compare_value)
goetz@6458 1393 // fall through => (flag == eq), (dest_current_value == compare_value)
goetz@6458 1394
goetz@6458 1395 stwcx_(exchange_value, addr_base);
goetz@6458 1396 if (UseStaticBranchPredictionInCompareAndSwapPPC64) {
goetz@6458 1397 bne_predict_not_taken(CCR0, retry); // StXcx_ sets CCR0.
goetz@6458 1398 } else {
goetz@6458 1399 bne( CCR0, retry); // StXcx_ sets CCR0.
goetz@6458 1400 }
goetz@6458 1401 // fall through => (flag == eq), (dest_current_value == compare_value), (swapped)
goetz@6458 1402
goetz@6458 1403 // Result in register (must do this at the end because int_flag_success can be the
goetz@6458 1404 // same register as one above).
goetz@6458 1405 if (use_result_reg) {
goetz@6458 1406 li(int_flag_success, 1);
goetz@6458 1407 }
goetz@6458 1408
goetz@6458 1409 if (semantics & MemBarFenceAfter) {
goetz@6458 1410 fence();
goetz@6458 1411 } else if (semantics & MemBarAcq) {
goetz@6458 1412 isync();
goetz@6458 1413 }
goetz@6458 1414
goetz@6458 1415 if (use_result_reg && !preset_result_reg) {
goetz@6458 1416 b(done);
goetz@6458 1417 }
goetz@6458 1418
goetz@6458 1419 bind(failed);
goetz@6458 1420 if (use_result_reg && !preset_result_reg) {
goetz@6458 1421 li(int_flag_success, 0);
goetz@6458 1422 }
goetz@6458 1423
goetz@6458 1424 bind(done);
goetz@6458 1425 // (flag == ne) => (dest_current_value != compare_value), (!swapped)
goetz@6458 1426 // (flag == eq) => (dest_current_value == compare_value), ( swapped)
goetz@6458 1427 }
goetz@6458 1428
goetz@6458 1429 // Preforms atomic compare exchange:
goetz@6458 1430 // if (compare_value == *addr_base)
goetz@6458 1431 // *addr_base = exchange_value
goetz@6458 1432 // int_flag_success = 1;
goetz@6458 1433 // else
goetz@6458 1434 // int_flag_success = 0;
goetz@6458 1435 //
goetz@6458 1436 // ConditionRegister flag = cmp(compare_value, *addr_base)
goetz@6458 1437 // Register dest_current_value = *addr_base
goetz@6458 1438 // Register compare_value Used to compare with value in memory
goetz@6458 1439 // Register exchange_value Written to memory if compare_value == *addr_base
goetz@6458 1440 // Register addr_base The memory location to compareXChange
goetz@6458 1441 // Register int_flag_success Set to 1 if exchange_value was written to *addr_base
goetz@6458 1442 //
goetz@6458 1443 // To avoid the costly compare exchange the value is tested beforehand.
goetz@6458 1444 // Several special cases exist to avoid that unnecessary information is generated.
goetz@6458 1445 //
goetz@6458 1446 void MacroAssembler::cmpxchgd(ConditionRegister flag,
goetz@6458 1447 Register dest_current_value, Register compare_value, Register exchange_value,
goetz@6458 1448 Register addr_base, int semantics, bool cmpxchgx_hint,
goetz@6458 1449 Register int_flag_success, Label* failed_ext, bool contention_hint) {
goetz@6458 1450 Label retry;
goetz@6458 1451 Label failed_int;
goetz@6458 1452 Label& failed = (failed_ext != NULL) ? *failed_ext : failed_int;
goetz@6458 1453 Label done;
goetz@6458 1454
goetz@6458 1455 // Save one branch if result is returned via register and result register is different from the other ones.
goetz@6458 1456 bool use_result_reg = (int_flag_success!=noreg);
goetz@6458 1457 bool preset_result_reg = (int_flag_success!=dest_current_value && int_flag_success!=compare_value &&
goetz@6458 1458 int_flag_success!=exchange_value && int_flag_success!=addr_base);
goetz@6458 1459 assert(int_flag_success == noreg || failed_ext == NULL, "cannot have both");
goetz@6458 1460
goetz@6458 1461 // release/fence semantics
goetz@6458 1462 if (semantics & MemBarRel) {
goetz@6458 1463 release();
goetz@6458 1464 }
goetz@6458 1465
goetz@6458 1466 if (use_result_reg && preset_result_reg) {
goetz@6458 1467 li(int_flag_success, 0); // preset (assume cas failed)
goetz@6458 1468 }
goetz@6458 1469
goetz@6458 1470 // Add simple guard in order to reduce risk of starving under high contention (recommended by IBM).
goetz@6458 1471 if (contention_hint) { // Don't try to reserve if cmp fails.
goetz@6458 1472 ld(dest_current_value, 0, addr_base);
goetz@6458 1473 cmpd(flag, dest_current_value, compare_value);
goetz@6458 1474 bne(flag, failed);
goetz@6458 1475 }
goetz@6458 1476
goetz@6458 1477 // atomic emulation loop
goetz@6458 1478 bind(retry);
goetz@6458 1479
goetz@6458 1480 ldarx(dest_current_value, addr_base, cmpxchgx_hint);
goetz@6458 1481 cmpd(flag, dest_current_value, compare_value);
goetz@6458 1482 if (UseStaticBranchPredictionInCompareAndSwapPPC64) {
goetz@6458 1483 bne_predict_not_taken(flag, failed);
goetz@6458 1484 } else {
goetz@6458 1485 bne( flag, failed);
goetz@6458 1486 }
goetz@6458 1487
goetz@6458 1488 stdcx_(exchange_value, addr_base);
goetz@6458 1489 if (UseStaticBranchPredictionInCompareAndSwapPPC64) {
goetz@6458 1490 bne_predict_not_taken(CCR0, retry); // stXcx_ sets CCR0
goetz@6458 1491 } else {
goetz@6458 1492 bne( CCR0, retry); // stXcx_ sets CCR0
goetz@6458 1493 }
goetz@6458 1494
goetz@6458 1495 // result in register (must do this at the end because int_flag_success can be the same register as one above)
goetz@6458 1496 if (use_result_reg) {
goetz@6458 1497 li(int_flag_success, 1);
goetz@6458 1498 }
goetz@6458 1499
goetz@6458 1500 // POWER6 doesn't need isync in CAS.
goetz@6458 1501 // Always emit isync to be on the safe side.
goetz@6458 1502 if (semantics & MemBarFenceAfter) {
goetz@6458 1503 fence();
goetz@6458 1504 } else if (semantics & MemBarAcq) {
goetz@6458 1505 isync();
goetz@6458 1506 }
goetz@6458 1507
goetz@6458 1508 if (use_result_reg && !preset_result_reg) {
goetz@6458 1509 b(done);
goetz@6458 1510 }
goetz@6458 1511
goetz@6458 1512 bind(failed_int);
goetz@6458 1513 if (use_result_reg && !preset_result_reg) {
goetz@6458 1514 li(int_flag_success, 0);
goetz@6458 1515 }
goetz@6458 1516
goetz@6458 1517 bind(done);
goetz@6458 1518 // (flag == ne) => (dest_current_value != compare_value), (!swapped)
goetz@6458 1519 // (flag == eq) => (dest_current_value == compare_value), ( swapped)
goetz@6458 1520 }
goetz@6458 1521
goetz@6458 1522 // Look up the method for a megamorphic invokeinterface call.
goetz@6458 1523 // The target method is determined by <intf_klass, itable_index>.
goetz@6458 1524 // The receiver klass is in recv_klass.
goetz@6458 1525 // On success, the result will be in method_result, and execution falls through.
goetz@6458 1526 // On failure, execution transfers to the given label.
goetz@6458 1527 void MacroAssembler::lookup_interface_method(Register recv_klass,
goetz@6458 1528 Register intf_klass,
goetz@6458 1529 RegisterOrConstant itable_index,
goetz@6458 1530 Register method_result,
goetz@6458 1531 Register scan_temp,
goetz@6458 1532 Register sethi_temp,
goetz@6458 1533 Label& L_no_such_interface) {
goetz@6458 1534 assert_different_registers(recv_klass, intf_klass, method_result, scan_temp);
goetz@6458 1535 assert(itable_index.is_constant() || itable_index.as_register() == method_result,
goetz@6458 1536 "caller must use same register for non-constant itable index as for method");
goetz@6458 1537
goetz@6458 1538 // Compute start of first itableOffsetEntry (which is at the end of the vtable).
goetz@6458 1539 int vtable_base = InstanceKlass::vtable_start_offset() * wordSize;
goetz@6458 1540 int itentry_off = itableMethodEntry::method_offset_in_bytes();
goetz@6458 1541 int logMEsize = exact_log2(itableMethodEntry::size() * wordSize);
goetz@6458 1542 int scan_step = itableOffsetEntry::size() * wordSize;
goetz@6458 1543 int log_vte_size= exact_log2(vtableEntry::size() * wordSize);
goetz@6458 1544
goetz@6458 1545 lwz(scan_temp, InstanceKlass::vtable_length_offset() * wordSize, recv_klass);
goetz@6458 1546 // %%% We should store the aligned, prescaled offset in the klassoop.
goetz@6458 1547 // Then the next several instructions would fold away.
goetz@6458 1548
goetz@6458 1549 sldi(scan_temp, scan_temp, log_vte_size);
goetz@6458 1550 addi(scan_temp, scan_temp, vtable_base);
goetz@6458 1551 add(scan_temp, recv_klass, scan_temp);
goetz@6458 1552
goetz@6458 1553 // Adjust recv_klass by scaled itable_index, so we can free itable_index.
goetz@6458 1554 if (itable_index.is_register()) {
goetz@6458 1555 Register itable_offset = itable_index.as_register();
goetz@6458 1556 sldi(itable_offset, itable_offset, logMEsize);
goetz@6458 1557 if (itentry_off) addi(itable_offset, itable_offset, itentry_off);
goetz@6458 1558 add(recv_klass, itable_offset, recv_klass);
goetz@6458 1559 } else {
goetz@6458 1560 long itable_offset = (long)itable_index.as_constant();
goetz@6458 1561 load_const_optimized(sethi_temp, (itable_offset<<logMEsize)+itentry_off); // static address, no relocation
goetz@6458 1562 add(recv_klass, sethi_temp, recv_klass);
goetz@6458 1563 }
goetz@6458 1564
goetz@6458 1565 // for (scan = klass->itable(); scan->interface() != NULL; scan += scan_step) {
goetz@6458 1566 // if (scan->interface() == intf) {
goetz@6458 1567 // result = (klass + scan->offset() + itable_index);
goetz@6458 1568 // }
goetz@6458 1569 // }
goetz@6458 1570 Label search, found_method;
goetz@6458 1571
goetz@6458 1572 for (int peel = 1; peel >= 0; peel--) {
goetz@6458 1573 // %%%% Could load both offset and interface in one ldx, if they were
goetz@6458 1574 // in the opposite order. This would save a load.
goetz@6458 1575 ld(method_result, itableOffsetEntry::interface_offset_in_bytes(), scan_temp);
goetz@6458 1576
goetz@6458 1577 // Check that this entry is non-null. A null entry means that
goetz@6458 1578 // the receiver class doesn't implement the interface, and wasn't the
goetz@6458 1579 // same as when the caller was compiled.
goetz@6458 1580 cmpd(CCR0, method_result, intf_klass);
goetz@6458 1581
goetz@6458 1582 if (peel) {
goetz@6458 1583 beq(CCR0, found_method);
goetz@6458 1584 } else {
goetz@6458 1585 bne(CCR0, search);
goetz@6458 1586 // (invert the test to fall through to found_method...)
goetz@6458 1587 }
goetz@6458 1588
goetz@6458 1589 if (!peel) break;
goetz@6458 1590
goetz@6458 1591 bind(search);
goetz@6458 1592
goetz@6458 1593 cmpdi(CCR0, method_result, 0);
goetz@6458 1594 beq(CCR0, L_no_such_interface);
goetz@6458 1595 addi(scan_temp, scan_temp, scan_step);
goetz@6458 1596 }
goetz@6458 1597
goetz@6458 1598 bind(found_method);
goetz@6458 1599
goetz@6458 1600 // Got a hit.
goetz@6458 1601 int ito_offset = itableOffsetEntry::offset_offset_in_bytes();
goetz@6458 1602 lwz(scan_temp, ito_offset, scan_temp);
goetz@6458 1603 ldx(method_result, scan_temp, recv_klass);
goetz@6458 1604 }
goetz@6458 1605
goetz@6458 1606 // virtual method calling
goetz@6458 1607 void MacroAssembler::lookup_virtual_method(Register recv_klass,
goetz@6458 1608 RegisterOrConstant vtable_index,
goetz@6458 1609 Register method_result) {
goetz@6458 1610
goetz@6458 1611 assert_different_registers(recv_klass, method_result, vtable_index.register_or_noreg());
goetz@6458 1612
goetz@6458 1613 const int base = InstanceKlass::vtable_start_offset() * wordSize;
goetz@6458 1614 assert(vtableEntry::size() * wordSize == wordSize, "adjust the scaling in the code below");
goetz@6458 1615
goetz@6458 1616 if (vtable_index.is_register()) {
goetz@6458 1617 sldi(vtable_index.as_register(), vtable_index.as_register(), LogBytesPerWord);
goetz@6458 1618 add(recv_klass, vtable_index.as_register(), recv_klass);
goetz@6458 1619 } else {
goetz@6458 1620 addi(recv_klass, recv_klass, vtable_index.as_constant() << LogBytesPerWord);
goetz@6458 1621 }
goetz@6458 1622 ld(R19_method, base + vtableEntry::method_offset_in_bytes(), recv_klass);
goetz@6458 1623 }
goetz@6458 1624
goetz@6458 1625 /////////////////////////////////////////// subtype checking ////////////////////////////////////////////
goetz@6458 1626
goetz@6458 1627 void MacroAssembler::check_klass_subtype_fast_path(Register sub_klass,
goetz@6458 1628 Register super_klass,
goetz@6458 1629 Register temp1_reg,
goetz@6458 1630 Register temp2_reg,
goetz@6458 1631 Label& L_success,
goetz@6458 1632 Label& L_failure) {
goetz@6458 1633
goetz@6458 1634 const Register check_cache_offset = temp1_reg;
goetz@6458 1635 const Register cached_super = temp2_reg;
goetz@6458 1636
goetz@6458 1637 assert_different_registers(sub_klass, super_klass, check_cache_offset, cached_super);
goetz@6458 1638
goetz@6458 1639 int sco_offset = in_bytes(Klass::super_check_offset_offset());
goetz@6458 1640 int sc_offset = in_bytes(Klass::secondary_super_cache_offset());
goetz@6458 1641
goetz@6458 1642 // If the pointers are equal, we are done (e.g., String[] elements).
goetz@6458 1643 // This self-check enables sharing of secondary supertype arrays among
goetz@6458 1644 // non-primary types such as array-of-interface. Otherwise, each such
goetz@6458 1645 // type would need its own customized SSA.
goetz@6458 1646 // We move this check to the front of the fast path because many
goetz@6458 1647 // type checks are in fact trivially successful in this manner,
goetz@6458 1648 // so we get a nicely predicted branch right at the start of the check.
goetz@6458 1649 cmpd(CCR0, sub_klass, super_klass);
goetz@6458 1650 beq(CCR0, L_success);
goetz@6458 1651
goetz@6458 1652 // Check the supertype display:
goetz@6458 1653 lwz(check_cache_offset, sco_offset, super_klass);
goetz@6458 1654 // The loaded value is the offset from KlassOopDesc.
goetz@6458 1655
goetz@6458 1656 ldx(cached_super, check_cache_offset, sub_klass);
goetz@6458 1657 cmpd(CCR0, cached_super, super_klass);
goetz@6458 1658 beq(CCR0, L_success);
goetz@6458 1659
goetz@6458 1660 // This check has worked decisively for primary supers.
goetz@6458 1661 // Secondary supers are sought in the super_cache ('super_cache_addr').
goetz@6458 1662 // (Secondary supers are interfaces and very deeply nested subtypes.)
goetz@6458 1663 // This works in the same check above because of a tricky aliasing
goetz@6458 1664 // between the super_cache and the primary super display elements.
goetz@6458 1665 // (The 'super_check_addr' can address either, as the case requires.)
goetz@6458 1666 // Note that the cache is updated below if it does not help us find
goetz@6458 1667 // what we need immediately.
goetz@6458 1668 // So if it was a primary super, we can just fail immediately.
goetz@6458 1669 // Otherwise, it's the slow path for us (no success at this point).
goetz@6458 1670
goetz@6458 1671 cmpwi(CCR0, check_cache_offset, sc_offset);
goetz@6458 1672 bne(CCR0, L_failure);
goetz@6458 1673 // bind(slow_path); // fallthru
goetz@6458 1674 }
goetz@6458 1675
goetz@6458 1676 void MacroAssembler::check_klass_subtype_slow_path(Register sub_klass,
goetz@6458 1677 Register super_klass,
goetz@6458 1678 Register temp1_reg,
goetz@6458 1679 Register temp2_reg,
goetz@6458 1680 Label* L_success,
goetz@6458 1681 Register result_reg) {
goetz@6458 1682 const Register array_ptr = temp1_reg; // current value from cache array
goetz@6458 1683 const Register temp = temp2_reg;
goetz@6458 1684
goetz@6458 1685 assert_different_registers(sub_klass, super_klass, array_ptr, temp);
goetz@6458 1686
goetz@6458 1687 int source_offset = in_bytes(Klass::secondary_supers_offset());
goetz@6458 1688 int target_offset = in_bytes(Klass::secondary_super_cache_offset());
goetz@6458 1689
goetz@6458 1690 int length_offset = Array<Klass*>::length_offset_in_bytes();
goetz@6458 1691 int base_offset = Array<Klass*>::base_offset_in_bytes();
goetz@6458 1692
goetz@6458 1693 Label hit, loop, failure, fallthru;
goetz@6458 1694
goetz@6458 1695 ld(array_ptr, source_offset, sub_klass);
goetz@6458 1696
goetz@6458 1697 //assert(4 == arrayOopDesc::length_length_in_bytes(), "precondition violated.");
goetz@6458 1698 lwz(temp, length_offset, array_ptr);
goetz@6458 1699 cmpwi(CCR0, temp, 0);
goetz@6458 1700 beq(CCR0, result_reg!=noreg ? failure : fallthru); // length 0
goetz@6458 1701
goetz@6458 1702 mtctr(temp); // load ctr
goetz@6458 1703
goetz@6458 1704 bind(loop);
goetz@6458 1705 // Oops in table are NO MORE compressed.
goetz@6458 1706 ld(temp, base_offset, array_ptr);
goetz@6458 1707 cmpd(CCR0, temp, super_klass);
goetz@6458 1708 beq(CCR0, hit);
goetz@6458 1709 addi(array_ptr, array_ptr, BytesPerWord);
goetz@6458 1710 bdnz(loop);
goetz@6458 1711
goetz@6458 1712 bind(failure);
goetz@6458 1713 if (result_reg!=noreg) li(result_reg, 1); // load non-zero result (indicates a miss)
goetz@6458 1714 b(fallthru);
goetz@6458 1715
goetz@6458 1716 bind(hit);
goetz@6458 1717 std(super_klass, target_offset, sub_klass); // save result to cache
goetz@6458 1718 if (result_reg != noreg) li(result_reg, 0); // load zero result (indicates a hit)
goetz@6458 1719 if (L_success != NULL) b(*L_success);
goetz@6458 1720
goetz@6458 1721 bind(fallthru);
goetz@6458 1722 }
goetz@6458 1723
goetz@6458 1724 // Try fast path, then go to slow one if not successful
goetz@6458 1725 void MacroAssembler::check_klass_subtype(Register sub_klass,
goetz@6458 1726 Register super_klass,
goetz@6458 1727 Register temp1_reg,
goetz@6458 1728 Register temp2_reg,
goetz@6458 1729 Label& L_success) {
goetz@6458 1730 Label L_failure;
goetz@6458 1731 check_klass_subtype_fast_path(sub_klass, super_klass, temp1_reg, temp2_reg, L_success, L_failure);
goetz@6458 1732 check_klass_subtype_slow_path(sub_klass, super_klass, temp1_reg, temp2_reg, &L_success);
goetz@6458 1733 bind(L_failure); // Fallthru if not successful.
goetz@6458 1734 }
goetz@6458 1735
goetz@6458 1736 void MacroAssembler::check_method_handle_type(Register mtype_reg, Register mh_reg,
goetz@6458 1737 Register temp_reg,
goetz@6458 1738 Label& wrong_method_type) {
goetz@6458 1739 assert_different_registers(mtype_reg, mh_reg, temp_reg);
goetz@6458 1740 // Compare method type against that of the receiver.
goetz@6458 1741 load_heap_oop_not_null(temp_reg, delayed_value(java_lang_invoke_MethodHandle::type_offset_in_bytes, temp_reg), mh_reg);
goetz@6458 1742 cmpd(CCR0, temp_reg, mtype_reg);
goetz@6458 1743 bne(CCR0, wrong_method_type);
goetz@6458 1744 }
goetz@6458 1745
goetz@6458 1746 RegisterOrConstant MacroAssembler::argument_offset(RegisterOrConstant arg_slot,
goetz@6458 1747 Register temp_reg,
goetz@6458 1748 int extra_slot_offset) {
goetz@6458 1749 // cf. TemplateTable::prepare_invoke(), if (load_receiver).
goetz@6458 1750 int stackElementSize = Interpreter::stackElementSize;
goetz@6458 1751 int offset = extra_slot_offset * stackElementSize;
goetz@6458 1752 if (arg_slot.is_constant()) {
goetz@6458 1753 offset += arg_slot.as_constant() * stackElementSize;
goetz@6458 1754 return offset;
goetz@6458 1755 } else {
goetz@6458 1756 assert(temp_reg != noreg, "must specify");
goetz@6458 1757 sldi(temp_reg, arg_slot.as_register(), exact_log2(stackElementSize));
goetz@6458 1758 if (offset != 0)
goetz@6458 1759 addi(temp_reg, temp_reg, offset);
goetz@6458 1760 return temp_reg;
goetz@6458 1761 }
goetz@6458 1762 }
goetz@6458 1763
goetz@6458 1764 void MacroAssembler::biased_locking_enter(ConditionRegister cr_reg, Register obj_reg,
goetz@6458 1765 Register mark_reg, Register temp_reg,
goetz@6458 1766 Register temp2_reg, Label& done, Label* slow_case) {
goetz@6458 1767 assert(UseBiasedLocking, "why call this otherwise?");
goetz@6458 1768
goetz@6458 1769 #ifdef ASSERT
goetz@6458 1770 assert_different_registers(obj_reg, mark_reg, temp_reg, temp2_reg);
goetz@6458 1771 #endif
goetz@6458 1772
goetz@6458 1773 Label cas_label;
goetz@6458 1774
goetz@6458 1775 // Branch to done if fast path fails and no slow_case provided.
goetz@6458 1776 Label *slow_case_int = (slow_case != NULL) ? slow_case : &done;
goetz@6458 1777
goetz@6458 1778 // Biased locking
goetz@6458 1779 // See whether the lock is currently biased toward our thread and
goetz@6458 1780 // whether the epoch is still valid
goetz@6458 1781 // Note that the runtime guarantees sufficient alignment of JavaThread
goetz@6458 1782 // pointers to allow age to be placed into low bits
goetz@6458 1783 assert(markOopDesc::age_shift == markOopDesc::lock_bits + markOopDesc::biased_lock_bits,
goetz@6458 1784 "biased locking makes assumptions about bit layout");
goetz@6458 1785
goetz@6458 1786 if (PrintBiasedLockingStatistics) {
goetz@6458 1787 load_const(temp_reg, (address) BiasedLocking::total_entry_count_addr(), temp2_reg);
goetz@6458 1788 lwz(temp2_reg, 0, temp_reg);
goetz@6458 1789 addi(temp2_reg, temp2_reg, 1);
goetz@6458 1790 stw(temp2_reg, 0, temp_reg);
goetz@6458 1791 }
goetz@6458 1792
goetz@6458 1793 andi(temp_reg, mark_reg, markOopDesc::biased_lock_mask_in_place);
goetz@6458 1794 cmpwi(cr_reg, temp_reg, markOopDesc::biased_lock_pattern);
goetz@6458 1795 bne(cr_reg, cas_label);
goetz@6458 1796
goetz@6458 1797 load_klass_with_trap_null_check(temp_reg, obj_reg);
goetz@6458 1798
goetz@6458 1799 load_const_optimized(temp2_reg, ~((int) markOopDesc::age_mask_in_place));
goetz@6458 1800 ld(temp_reg, in_bytes(Klass::prototype_header_offset()), temp_reg);
goetz@6458 1801 orr(temp_reg, R16_thread, temp_reg);
goetz@6458 1802 xorr(temp_reg, mark_reg, temp_reg);
goetz@6458 1803 andr(temp_reg, temp_reg, temp2_reg);
goetz@6458 1804 cmpdi(cr_reg, temp_reg, 0);
goetz@6458 1805 if (PrintBiasedLockingStatistics) {
goetz@6458 1806 Label l;
goetz@6458 1807 bne(cr_reg, l);
goetz@6458 1808 load_const(mark_reg, (address) BiasedLocking::biased_lock_entry_count_addr());
goetz@6458 1809 lwz(temp2_reg, 0, mark_reg);
goetz@6458 1810 addi(temp2_reg, temp2_reg, 1);
goetz@6458 1811 stw(temp2_reg, 0, mark_reg);
goetz@6458 1812 // restore mark_reg
goetz@6458 1813 ld(mark_reg, oopDesc::mark_offset_in_bytes(), obj_reg);
goetz@6458 1814 bind(l);
goetz@6458 1815 }
goetz@6458 1816 beq(cr_reg, done);
goetz@6458 1817
goetz@6458 1818 Label try_revoke_bias;
goetz@6458 1819 Label try_rebias;
goetz@6458 1820
goetz@6458 1821 // At this point we know that the header has the bias pattern and
goetz@6458 1822 // that we are not the bias owner in the current epoch. We need to
goetz@6458 1823 // figure out more details about the state of the header in order to
goetz@6458 1824 // know what operations can be legally performed on the object's
goetz@6458 1825 // header.
goetz@6458 1826
goetz@6458 1827 // If the low three bits in the xor result aren't clear, that means
goetz@6458 1828 // the prototype header is no longer biased and we have to revoke
goetz@6458 1829 // the bias on this object.
goetz@6458 1830 andi(temp2_reg, temp_reg, markOopDesc::biased_lock_mask_in_place);
goetz@6458 1831 cmpwi(cr_reg, temp2_reg, 0);
goetz@6458 1832 bne(cr_reg, try_revoke_bias);
goetz@6458 1833
goetz@6458 1834 // Biasing is still enabled for this data type. See whether the
goetz@6458 1835 // epoch of the current bias is still valid, meaning that the epoch
goetz@6458 1836 // bits of the mark word are equal to the epoch bits of the
goetz@6458 1837 // prototype header. (Note that the prototype header's epoch bits
goetz@6458 1838 // only change at a safepoint.) If not, attempt to rebias the object
goetz@6458 1839 // toward the current thread. Note that we must be absolutely sure
goetz@6458 1840 // that the current epoch is invalid in order to do this because
goetz@6458 1841 // otherwise the manipulations it performs on the mark word are
goetz@6458 1842 // illegal.
goetz@6458 1843
goetz@6458 1844 int shift_amount = 64 - markOopDesc::epoch_shift;
goetz@6458 1845 // rotate epoch bits to right (little) end and set other bits to 0
goetz@6458 1846 // [ big part | epoch | little part ] -> [ 0..0 | epoch ]
goetz@6458 1847 rldicl_(temp2_reg, temp_reg, shift_amount, 64 - markOopDesc::epoch_bits);
goetz@6458 1848 // branch if epoch bits are != 0, i.e. they differ, because the epoch has been incremented
goetz@6458 1849 bne(CCR0, try_rebias);
goetz@6458 1850
goetz@6458 1851 // The epoch of the current bias is still valid but we know nothing
goetz@6458 1852 // about the owner; it might be set or it might be clear. Try to
goetz@6458 1853 // acquire the bias of the object using an atomic operation. If this
goetz@6458 1854 // fails we will go in to the runtime to revoke the object's bias.
goetz@6458 1855 // Note that we first construct the presumed unbiased header so we
goetz@6458 1856 // don't accidentally blow away another thread's valid bias.
goetz@6458 1857 andi(mark_reg, mark_reg, (markOopDesc::biased_lock_mask_in_place |
goetz@6458 1858 markOopDesc::age_mask_in_place |
goetz@6458 1859 markOopDesc::epoch_mask_in_place));
goetz@6458 1860 orr(temp_reg, R16_thread, mark_reg);
goetz@6458 1861
goetz@6458 1862 assert(oopDesc::mark_offset_in_bytes() == 0, "offset of _mark is not 0");
goetz@6458 1863
goetz@6458 1864 // CmpxchgX sets cr_reg to cmpX(temp2_reg, mark_reg).
goetz@6458 1865 fence(); // TODO: replace by MacroAssembler::MemBarRel | MacroAssembler::MemBarAcq ?
goetz@6458 1866 cmpxchgd(/*flag=*/cr_reg, /*current_value=*/temp2_reg,
goetz@6458 1867 /*compare_value=*/mark_reg, /*exchange_value=*/temp_reg,
goetz@6458 1868 /*where=*/obj_reg,
goetz@6458 1869 MacroAssembler::MemBarAcq,
goetz@6458 1870 MacroAssembler::cmpxchgx_hint_acquire_lock(),
goetz@6458 1871 noreg, slow_case_int); // bail out if failed
goetz@6458 1872
goetz@6458 1873 // If the biasing toward our thread failed, this means that
goetz@6458 1874 // another thread succeeded in biasing it toward itself and we
goetz@6458 1875 // need to revoke that bias. The revocation will occur in the
goetz@6458 1876 // interpreter runtime in the slow case.
goetz@6458 1877 if (PrintBiasedLockingStatistics) {
goetz@6458 1878 load_const(temp_reg, (address) BiasedLocking::anonymously_biased_lock_entry_count_addr(), temp2_reg);
goetz@6458 1879 lwz(temp2_reg, 0, temp_reg);
goetz@6458 1880 addi(temp2_reg, temp2_reg, 1);
goetz@6458 1881 stw(temp2_reg, 0, temp_reg);
goetz@6458 1882 }
goetz@6458 1883 b(done);
goetz@6458 1884
goetz@6458 1885 bind(try_rebias);
goetz@6458 1886 // At this point we know the epoch has expired, meaning that the
goetz@6458 1887 // current "bias owner", if any, is actually invalid. Under these
goetz@6458 1888 // circumstances _only_, we are allowed to use the current header's
goetz@6458 1889 // value as the comparison value when doing the cas to acquire the
goetz@6458 1890 // bias in the current epoch. In other words, we allow transfer of
goetz@6458 1891 // the bias from one thread to another directly in this situation.
goetz@6458 1892 andi(temp_reg, mark_reg, markOopDesc::age_mask_in_place);
goetz@6458 1893 orr(temp_reg, R16_thread, temp_reg);
goetz@6458 1894 load_klass_with_trap_null_check(temp2_reg, obj_reg);
goetz@6458 1895 ld(temp2_reg, in_bytes(Klass::prototype_header_offset()), temp2_reg);
goetz@6458 1896 orr(temp_reg, temp_reg, temp2_reg);
goetz@6458 1897
goetz@6458 1898 assert(oopDesc::mark_offset_in_bytes() == 0, "offset of _mark is not 0");
goetz@6458 1899
goetz@6458 1900 // CmpxchgX sets cr_reg to cmpX(temp2_reg, mark_reg).
goetz@6458 1901 fence(); // TODO: replace by MacroAssembler::MemBarRel | MacroAssembler::MemBarAcq ?
goetz@6458 1902 cmpxchgd(/*flag=*/cr_reg, /*current_value=*/temp2_reg,
goetz@6458 1903 /*compare_value=*/mark_reg, /*exchange_value=*/temp_reg,
goetz@6458 1904 /*where=*/obj_reg,
goetz@6458 1905 MacroAssembler::MemBarAcq,
goetz@6458 1906 MacroAssembler::cmpxchgx_hint_acquire_lock(),
goetz@6458 1907 noreg, slow_case_int); // bail out if failed
goetz@6458 1908
goetz@6458 1909 // If the biasing toward our thread failed, this means that
goetz@6458 1910 // another thread succeeded in biasing it toward itself and we
goetz@6458 1911 // need to revoke that bias. The revocation will occur in the
goetz@6458 1912 // interpreter runtime in the slow case.
goetz@6458 1913 if (PrintBiasedLockingStatistics) {
goetz@6458 1914 load_const(temp_reg, (address) BiasedLocking::rebiased_lock_entry_count_addr(), temp2_reg);
goetz@6458 1915 lwz(temp2_reg, 0, temp_reg);
goetz@6458 1916 addi(temp2_reg, temp2_reg, 1);
goetz@6458 1917 stw(temp2_reg, 0, temp_reg);
goetz@6458 1918 }
goetz@6458 1919 b(done);
goetz@6458 1920
goetz@6458 1921 bind(try_revoke_bias);
goetz@6458 1922 // The prototype mark in the klass doesn't have the bias bit set any
goetz@6458 1923 // more, indicating that objects of this data type are not supposed
goetz@6458 1924 // to be biased any more. We are going to try to reset the mark of
goetz@6458 1925 // this object to the prototype value and fall through to the
goetz@6458 1926 // CAS-based locking scheme. Note that if our CAS fails, it means
goetz@6458 1927 // that another thread raced us for the privilege of revoking the
goetz@6458 1928 // bias of this particular object, so it's okay to continue in the
goetz@6458 1929 // normal locking code.
goetz@6458 1930 load_klass_with_trap_null_check(temp_reg, obj_reg);
goetz@6458 1931 ld(temp_reg, in_bytes(Klass::prototype_header_offset()), temp_reg);
goetz@6458 1932 andi(temp2_reg, mark_reg, markOopDesc::age_mask_in_place);
goetz@6458 1933 orr(temp_reg, temp_reg, temp2_reg);
goetz@6458 1934
goetz@6458 1935 assert(oopDesc::mark_offset_in_bytes() == 0, "offset of _mark is not 0");
goetz@6458 1936
goetz@6458 1937 // CmpxchgX sets cr_reg to cmpX(temp2_reg, mark_reg).
goetz@6458 1938 fence(); // TODO: replace by MacroAssembler::MemBarRel | MacroAssembler::MemBarAcq ?
goetz@6458 1939 cmpxchgd(/*flag=*/cr_reg, /*current_value=*/temp2_reg,
goetz@6458 1940 /*compare_value=*/mark_reg, /*exchange_value=*/temp_reg,
goetz@6458 1941 /*where=*/obj_reg,
goetz@6458 1942 MacroAssembler::MemBarAcq,
goetz@6458 1943 MacroAssembler::cmpxchgx_hint_acquire_lock());
goetz@6458 1944
goetz@6458 1945 // reload markOop in mark_reg before continuing with lightweight locking
goetz@6458 1946 ld(mark_reg, oopDesc::mark_offset_in_bytes(), obj_reg);
goetz@6458 1947
goetz@6458 1948 // Fall through to the normal CAS-based lock, because no matter what
goetz@6458 1949 // the result of the above CAS, some thread must have succeeded in
goetz@6458 1950 // removing the bias bit from the object's header.
goetz@6458 1951 if (PrintBiasedLockingStatistics) {
goetz@6458 1952 Label l;
goetz@6458 1953 bne(cr_reg, l);
goetz@6458 1954 load_const(temp_reg, (address) BiasedLocking::revoked_lock_entry_count_addr(), temp2_reg);
goetz@6458 1955 lwz(temp2_reg, 0, temp_reg);
goetz@6458 1956 addi(temp2_reg, temp2_reg, 1);
goetz@6458 1957 stw(temp2_reg, 0, temp_reg);
goetz@6458 1958 bind(l);
goetz@6458 1959 }
goetz@6458 1960
goetz@6458 1961 bind(cas_label);
goetz@6458 1962 }
goetz@6458 1963
goetz@6458 1964 void MacroAssembler::biased_locking_exit (ConditionRegister cr_reg, Register mark_addr, Register temp_reg, Label& done) {
goetz@6458 1965 // Check for biased locking unlock case, which is a no-op
goetz@6458 1966 // Note: we do not have to check the thread ID for two reasons.
goetz@6458 1967 // First, the interpreter checks for IllegalMonitorStateException at
goetz@6458 1968 // a higher level. Second, if the bias was revoked while we held the
goetz@6458 1969 // lock, the object could not be rebiased toward another thread, so
goetz@6458 1970 // the bias bit would be clear.
goetz@6458 1971
goetz@6458 1972 ld(temp_reg, 0, mark_addr);
goetz@6458 1973 andi(temp_reg, temp_reg, markOopDesc::biased_lock_mask_in_place);
goetz@6458 1974
goetz@6458 1975 cmpwi(cr_reg, temp_reg, markOopDesc::biased_lock_pattern);
goetz@6458 1976 beq(cr_reg, done);
goetz@6458 1977 }
goetz@6458 1978
goetz@6458 1979 // "The box" is the space on the stack where we copy the object mark.
goetz@6458 1980 void MacroAssembler::compiler_fast_lock_object(ConditionRegister flag, Register oop, Register box,
goetz@6458 1981 Register temp, Register displaced_header, Register current_header) {
goetz@6458 1982 assert_different_registers(oop, box, temp, displaced_header, current_header);
goetz@6458 1983 assert(flag != CCR0, "bad condition register");
goetz@6458 1984 Label cont;
goetz@6458 1985 Label object_has_monitor;
goetz@6458 1986 Label cas_failed;
goetz@6458 1987
goetz@6458 1988 // Load markOop from object into displaced_header.
goetz@6458 1989 ld(displaced_header, oopDesc::mark_offset_in_bytes(), oop);
goetz@6458 1990
goetz@6458 1991
goetz@6458 1992 // Always do locking in runtime.
goetz@6458 1993 if (EmitSync & 0x01) {
goetz@6458 1994 cmpdi(flag, oop, 0); // Oop can't be 0 here => always false.
goetz@6458 1995 return;
goetz@6458 1996 }
goetz@6458 1997
goetz@6458 1998 if (UseBiasedLocking) {
goetz@6458 1999 biased_locking_enter(flag, oop, displaced_header, temp, current_header, cont);
goetz@6458 2000 }
goetz@6458 2001
goetz@6458 2002 // Handle existing monitor.
goetz@6458 2003 if ((EmitSync & 0x02) == 0) {
goetz@6458 2004 // The object has an existing monitor iff (mark & monitor_value) != 0.
goetz@6458 2005 andi_(temp, displaced_header, markOopDesc::monitor_value);
goetz@6458 2006 bne(CCR0, object_has_monitor);
goetz@6458 2007 }
goetz@6458 2008
goetz@6458 2009 // Set displaced_header to be (markOop of object | UNLOCK_VALUE).
goetz@6458 2010 ori(displaced_header, displaced_header, markOopDesc::unlocked_value);
goetz@6458 2011
goetz@6458 2012 // Load Compare Value application register.
goetz@6458 2013
goetz@6458 2014 // Initialize the box. (Must happen before we update the object mark!)
goetz@6458 2015 std(displaced_header, BasicLock::displaced_header_offset_in_bytes(), box);
goetz@6458 2016
goetz@6458 2017 // Must fence, otherwise, preceding store(s) may float below cmpxchg.
goetz@6458 2018 // Compare object markOop with mark and if equal exchange scratch1 with object markOop.
goetz@6458 2019 // CmpxchgX sets cr_reg to cmpX(current, displaced).
goetz@6501 2020 membar(Assembler::StoreStore);
goetz@6458 2021 cmpxchgd(/*flag=*/flag,
goetz@6458 2022 /*current_value=*/current_header,
goetz@6458 2023 /*compare_value=*/displaced_header,
goetz@6458 2024 /*exchange_value=*/box,
goetz@6458 2025 /*where=*/oop,
goetz@6501 2026 MacroAssembler::MemBarAcq,
goetz@6458 2027 MacroAssembler::cmpxchgx_hint_acquire_lock(),
goetz@6458 2028 noreg,
goetz@6458 2029 &cas_failed);
goetz@6458 2030 assert(oopDesc::mark_offset_in_bytes() == 0, "offset of _mark is not 0");
goetz@6458 2031
goetz@6458 2032 // If the compare-and-exchange succeeded, then we found an unlocked
goetz@6458 2033 // object and we have now locked it.
goetz@6458 2034 b(cont);
goetz@6458 2035
goetz@6458 2036 bind(cas_failed);
goetz@6458 2037 // We did not see an unlocked object so try the fast recursive case.
goetz@6458 2038
goetz@6458 2039 // Check if the owner is self by comparing the value in the markOop of object
goetz@6458 2040 // (current_header) with the stack pointer.
goetz@6458 2041 sub(current_header, current_header, R1_SP);
goetz@6458 2042 load_const_optimized(temp, (address) (~(os::vm_page_size()-1) |
goetz@6458 2043 markOopDesc::lock_mask_in_place));
goetz@6458 2044
goetz@6458 2045 and_(R0/*==0?*/, current_header, temp);
goetz@6458 2046 // If condition is true we are cont and hence we can store 0 as the
goetz@6458 2047 // displaced header in the box, which indicates that it is a recursive lock.
goetz@6458 2048 mcrf(flag,CCR0);
goetz@6458 2049 std(R0/*==0, perhaps*/, BasicLock::displaced_header_offset_in_bytes(), box);
goetz@6458 2050
goetz@6458 2051 // Handle existing monitor.
goetz@6458 2052 if ((EmitSync & 0x02) == 0) {
goetz@6458 2053 b(cont);
goetz@6458 2054
goetz@6458 2055 bind(object_has_monitor);
goetz@6458 2056 // The object's monitor m is unlocked iff m->owner == NULL,
goetz@6458 2057 // otherwise m->owner may contain a thread or a stack address.
goetz@6458 2058 //
goetz@6458 2059 // Try to CAS m->owner from NULL to current thread.
goetz@6458 2060 addi(temp, displaced_header, ObjectMonitor::owner_offset_in_bytes()-markOopDesc::monitor_value);
goetz@6458 2061 li(displaced_header, 0);
goetz@6458 2062 // CmpxchgX sets flag to cmpX(current, displaced).
goetz@6458 2063 cmpxchgd(/*flag=*/flag,
goetz@6458 2064 /*current_value=*/current_header,
goetz@6458 2065 /*compare_value=*/displaced_header,
goetz@6458 2066 /*exchange_value=*/R16_thread,
goetz@6458 2067 /*where=*/temp,
goetz@6458 2068 MacroAssembler::MemBarRel | MacroAssembler::MemBarAcq,
goetz@6458 2069 MacroAssembler::cmpxchgx_hint_acquire_lock());
goetz@6458 2070
goetz@6458 2071 // Store a non-null value into the box.
goetz@6458 2072 std(box, BasicLock::displaced_header_offset_in_bytes(), box);
goetz@6458 2073
goetz@6458 2074 # ifdef ASSERT
goetz@6458 2075 bne(flag, cont);
goetz@6458 2076 // We have acquired the monitor, check some invariants.
goetz@6458 2077 addi(/*monitor=*/temp, temp, -ObjectMonitor::owner_offset_in_bytes());
goetz@6458 2078 // Invariant 1: _recursions should be 0.
goetz@6458 2079 //assert(ObjectMonitor::recursions_size_in_bytes() == 8, "unexpected size");
goetz@6458 2080 asm_assert_mem8_is_zero(ObjectMonitor::recursions_offset_in_bytes(), temp,
goetz@6458 2081 "monitor->_recursions should be 0", -1);
goetz@6458 2082 // Invariant 2: OwnerIsThread shouldn't be 0.
goetz@6458 2083 //assert(ObjectMonitor::OwnerIsThread_size_in_bytes() == 4, "unexpected size");
goetz@6458 2084 //asm_assert_mem4_isnot_zero(ObjectMonitor::OwnerIsThread_offset_in_bytes(), temp,
goetz@6458 2085 // "monitor->OwnerIsThread shouldn't be 0", -1);
goetz@6458 2086 # endif
goetz@6458 2087 }
goetz@6458 2088
goetz@6458 2089 bind(cont);
goetz@6458 2090 // flag == EQ indicates success
goetz@6458 2091 // flag == NE indicates failure
goetz@6458 2092 }
goetz@6458 2093
goetz@6458 2094 void MacroAssembler::compiler_fast_unlock_object(ConditionRegister flag, Register oop, Register box,
goetz@6458 2095 Register temp, Register displaced_header, Register current_header) {
goetz@6458 2096 assert_different_registers(oop, box, temp, displaced_header, current_header);
goetz@6458 2097 assert(flag != CCR0, "bad condition register");
goetz@6458 2098 Label cont;
goetz@6458 2099 Label object_has_monitor;
goetz@6458 2100
goetz@6458 2101 // Always do locking in runtime.
goetz@6458 2102 if (EmitSync & 0x01) {
goetz@6458 2103 cmpdi(flag, oop, 0); // Oop can't be 0 here => always false.
goetz@6458 2104 return;
goetz@6458 2105 }
goetz@6458 2106
goetz@6458 2107 if (UseBiasedLocking) {
goetz@6458 2108 biased_locking_exit(flag, oop, current_header, cont);
goetz@6458 2109 }
goetz@6458 2110
goetz@6458 2111 // Find the lock address and load the displaced header from the stack.
goetz@6458 2112 ld(displaced_header, BasicLock::displaced_header_offset_in_bytes(), box);
goetz@6458 2113
goetz@6458 2114 // If the displaced header is 0, we have a recursive unlock.
goetz@6458 2115 cmpdi(flag, displaced_header, 0);
goetz@6458 2116 beq(flag, cont);
goetz@6458 2117
goetz@6458 2118 // Handle existing monitor.
goetz@6458 2119 if ((EmitSync & 0x02) == 0) {
goetz@6458 2120 // The object has an existing monitor iff (mark & monitor_value) != 0.
goetz@6458 2121 ld(current_header, oopDesc::mark_offset_in_bytes(), oop);
goetz@6458 2122 andi(temp, current_header, markOopDesc::monitor_value);
goetz@6458 2123 cmpdi(flag, temp, 0);
goetz@6458 2124 bne(flag, object_has_monitor);
goetz@6458 2125 }
goetz@6458 2126
goetz@6458 2127
goetz@6458 2128 // Check if it is still a light weight lock, this is is true if we see
goetz@6458 2129 // the stack address of the basicLock in the markOop of the object.
goetz@6458 2130 // Cmpxchg sets flag to cmpd(current_header, box).
goetz@6458 2131 cmpxchgd(/*flag=*/flag,
goetz@6458 2132 /*current_value=*/current_header,
goetz@6458 2133 /*compare_value=*/box,
goetz@6458 2134 /*exchange_value=*/displaced_header,
goetz@6458 2135 /*where=*/oop,
goetz@6458 2136 MacroAssembler::MemBarRel,
goetz@6458 2137 MacroAssembler::cmpxchgx_hint_release_lock(),
goetz@6458 2138 noreg,
goetz@6458 2139 &cont);
goetz@6458 2140
goetz@6458 2141 assert(oopDesc::mark_offset_in_bytes() == 0, "offset of _mark is not 0");
goetz@6458 2142
goetz@6458 2143 // Handle existing monitor.
goetz@6458 2144 if ((EmitSync & 0x02) == 0) {
goetz@6458 2145 b(cont);
goetz@6458 2146
goetz@6458 2147 bind(object_has_monitor);
goetz@6458 2148 addi(current_header, current_header, -markOopDesc::monitor_value); // monitor
goetz@6458 2149 ld(temp, ObjectMonitor::owner_offset_in_bytes(), current_header);
goetz@6458 2150 ld(displaced_header, ObjectMonitor::recursions_offset_in_bytes(), current_header);
goetz@6458 2151 xorr(temp, R16_thread, temp); // Will be 0 if we are the owner.
goetz@6458 2152 orr(temp, temp, displaced_header); // Will be 0 if there are 0 recursions.
goetz@6458 2153 cmpdi(flag, temp, 0);
goetz@6458 2154 bne(flag, cont);
goetz@6458 2155
goetz@6458 2156 ld(temp, ObjectMonitor::EntryList_offset_in_bytes(), current_header);
goetz@6458 2157 ld(displaced_header, ObjectMonitor::cxq_offset_in_bytes(), current_header);
goetz@6458 2158 orr(temp, temp, displaced_header); // Will be 0 if both are 0.
goetz@6458 2159 cmpdi(flag, temp, 0);
goetz@6458 2160 bne(flag, cont);
goetz@6458 2161 release();
goetz@6458 2162 std(temp, ObjectMonitor::owner_offset_in_bytes(), current_header);
goetz@6458 2163 }
goetz@6458 2164
goetz@6458 2165 bind(cont);
goetz@6458 2166 // flag == EQ indicates success
goetz@6458 2167 // flag == NE indicates failure
goetz@6458 2168 }
goetz@6458 2169
goetz@6458 2170 // Write serialization page so VM thread can do a pseudo remote membar.
goetz@6458 2171 // We use the current thread pointer to calculate a thread specific
goetz@6458 2172 // offset to write to within the page. This minimizes bus traffic
goetz@6458 2173 // due to cache line collision.
goetz@6458 2174 void MacroAssembler::serialize_memory(Register thread, Register tmp1, Register tmp2) {
goetz@6458 2175 srdi(tmp2, thread, os::get_serialize_page_shift_count());
goetz@6458 2176
goetz@6458 2177 int mask = os::vm_page_size() - sizeof(int);
goetz@6458 2178 if (Assembler::is_simm(mask, 16)) {
goetz@6458 2179 andi(tmp2, tmp2, mask);
goetz@6458 2180 } else {
goetz@6458 2181 lis(tmp1, (int)((signed short) (mask >> 16)));
goetz@6458 2182 ori(tmp1, tmp1, mask & 0x0000ffff);
goetz@6458 2183 andr(tmp2, tmp2, tmp1);
goetz@6458 2184 }
goetz@6458 2185
goetz@6458 2186 load_const(tmp1, (long) os::get_memory_serialize_page());
goetz@6458 2187 release();
goetz@6458 2188 stwx(R0, tmp1, tmp2);
goetz@6458 2189 }
goetz@6458 2190
goetz@6458 2191
goetz@6458 2192 // GC barrier helper macros
goetz@6458 2193
goetz@6458 2194 // Write the card table byte if needed.
goetz@6458 2195 void MacroAssembler::card_write_barrier_post(Register Rstore_addr, Register Rnew_val, Register Rtmp) {
goetz@6458 2196 CardTableModRefBS* bs = (CardTableModRefBS*) Universe::heap()->barrier_set();
goetz@6458 2197 assert(bs->kind() == BarrierSet::CardTableModRef ||
goetz@6458 2198 bs->kind() == BarrierSet::CardTableExtension, "wrong barrier");
goetz@6458 2199 #ifdef ASSERT
goetz@6458 2200 cmpdi(CCR0, Rnew_val, 0);
goetz@6458 2201 asm_assert_ne("null oop not allowed", 0x321);
goetz@6458 2202 #endif
goetz@6458 2203 card_table_write(bs->byte_map_base, Rtmp, Rstore_addr);
goetz@6458 2204 }
goetz@6458 2205
goetz@6458 2206 // Write the card table byte.
goetz@6458 2207 void MacroAssembler::card_table_write(jbyte* byte_map_base, Register Rtmp, Register Robj) {
goetz@6458 2208 assert_different_registers(Robj, Rtmp, R0);
goetz@6458 2209 load_const_optimized(Rtmp, (address)byte_map_base, R0);
goetz@6458 2210 srdi(Robj, Robj, CardTableModRefBS::card_shift);
goetz@6458 2211 li(R0, 0); // dirty
goetz@6501 2212 if (UseConcMarkSweepGC) membar(Assembler::StoreStore);
goetz@6458 2213 stbx(R0, Rtmp, Robj);
goetz@6458 2214 }
goetz@6458 2215
goetz@6458 2216 #ifndef SERIALGC
goetz@6458 2217
goetz@6458 2218 // General G1 pre-barrier generator.
goetz@6458 2219 // Goal: record the previous value if it is not null.
goetz@6458 2220 void MacroAssembler::g1_write_barrier_pre(Register Robj, RegisterOrConstant offset, Register Rpre_val,
goetz@6458 2221 Register Rtmp1, Register Rtmp2, bool needs_frame) {
goetz@6458 2222 Label runtime, filtered;
goetz@6458 2223
goetz@6458 2224 // Is marking active?
goetz@6458 2225 if (in_bytes(PtrQueue::byte_width_of_active()) == 4) {
goetz@6458 2226 lwz(Rtmp1, in_bytes(JavaThread::satb_mark_queue_offset() + PtrQueue::byte_offset_of_active()), R16_thread);
goetz@6458 2227 } else {
goetz@6458 2228 guarantee(in_bytes(PtrQueue::byte_width_of_active()) == 1, "Assumption");
goetz@6458 2229 lbz(Rtmp1, in_bytes(JavaThread::satb_mark_queue_offset() + PtrQueue::byte_offset_of_active()), R16_thread);
goetz@6458 2230 }
goetz@6458 2231 cmpdi(CCR0, Rtmp1, 0);
goetz@6458 2232 beq(CCR0, filtered);
goetz@6458 2233
goetz@6458 2234 // Do we need to load the previous value?
goetz@6458 2235 if (Robj != noreg) {
goetz@6458 2236 // Load the previous value...
goetz@6458 2237 if (UseCompressedOops) {
goetz@6458 2238 lwz(Rpre_val, offset, Robj);
goetz@6458 2239 } else {
goetz@6458 2240 ld(Rpre_val, offset, Robj);
goetz@6458 2241 }
goetz@6458 2242 // Previous value has been loaded into Rpre_val.
goetz@6458 2243 }
goetz@6458 2244 assert(Rpre_val != noreg, "must have a real register");
goetz@6458 2245
goetz@6458 2246 // Is the previous value null?
goetz@6458 2247 cmpdi(CCR0, Rpre_val, 0);
goetz@6458 2248 beq(CCR0, filtered);
goetz@6458 2249
goetz@6458 2250 if (Robj != noreg && UseCompressedOops) {
goetz@6458 2251 decode_heap_oop_not_null(Rpre_val);
goetz@6458 2252 }
goetz@6458 2253
goetz@6458 2254 // OK, it's not filtered, so we'll need to call enqueue. In the normal
goetz@6458 2255 // case, pre_val will be a scratch G-reg, but there are some cases in
goetz@6458 2256 // which it's an O-reg. In the first case, do a normal call. In the
goetz@6458 2257 // latter, do a save here and call the frameless version.
goetz@6458 2258
goetz@6458 2259 // Can we store original value in the thread's buffer?
goetz@6458 2260 // Is index == 0?
goetz@6458 2261 // (The index field is typed as size_t.)
goetz@6458 2262 const Register Rbuffer = Rtmp1, Rindex = Rtmp2;
goetz@6458 2263
goetz@6458 2264 ld(Rindex, in_bytes(JavaThread::satb_mark_queue_offset() + PtrQueue::byte_offset_of_index()), R16_thread);
goetz@6458 2265 cmpdi(CCR0, Rindex, 0);
goetz@6458 2266 beq(CCR0, runtime); // If index == 0, goto runtime.
goetz@6458 2267 ld(Rbuffer, in_bytes(JavaThread::satb_mark_queue_offset() + PtrQueue::byte_offset_of_buf()), R16_thread);
goetz@6458 2268
goetz@6458 2269 addi(Rindex, Rindex, -wordSize); // Decrement index.
goetz@6458 2270 std(Rindex, in_bytes(JavaThread::satb_mark_queue_offset() + PtrQueue::byte_offset_of_index()), R16_thread);
goetz@6458 2271
goetz@6458 2272 // Record the previous value.
goetz@6458 2273 stdx(Rpre_val, Rbuffer, Rindex);
goetz@6458 2274 b(filtered);
goetz@6458 2275
goetz@6458 2276 bind(runtime);
goetz@6458 2277
goetz@6458 2278 // VM call need frame to access(write) O register.
goetz@6458 2279 if (needs_frame) {
goetz@6458 2280 save_LR_CR(Rtmp1);
goetz@6511 2281 push_frame_reg_args(0, Rtmp2);
goetz@6458 2282 }
goetz@6458 2283
goetz@6458 2284 if (Rpre_val->is_volatile() && Robj == noreg) mr(R31, Rpre_val); // Save pre_val across C call if it was preloaded.
goetz@6458 2285 call_VM_leaf(CAST_FROM_FN_PTR(address, SharedRuntime::g1_wb_pre), Rpre_val, R16_thread);
goetz@6458 2286 if (Rpre_val->is_volatile() && Robj == noreg) mr(Rpre_val, R31); // restore
goetz@6458 2287
goetz@6458 2288 if (needs_frame) {
goetz@6458 2289 pop_frame();
goetz@6458 2290 restore_LR_CR(Rtmp1);
goetz@6458 2291 }
goetz@6458 2292
goetz@6458 2293 bind(filtered);
goetz@6458 2294 }
goetz@6458 2295
goetz@6458 2296 // General G1 post-barrier generator
goetz@6458 2297 // Store cross-region card.
goetz@6458 2298 void MacroAssembler::g1_write_barrier_post(Register Rstore_addr, Register Rnew_val, Register Rtmp1, Register Rtmp2, Register Rtmp3, Label *filtered_ext) {
goetz@6458 2299 Label runtime, filtered_int;
goetz@6458 2300 Label& filtered = (filtered_ext != NULL) ? *filtered_ext : filtered_int;
goetz@6458 2301 assert_different_registers(Rstore_addr, Rnew_val, Rtmp1, Rtmp2);
goetz@6458 2302
goetz@6458 2303 G1SATBCardTableModRefBS* bs = (G1SATBCardTableModRefBS*) Universe::heap()->barrier_set();
goetz@6458 2304 assert(bs->kind() == BarrierSet::G1SATBCT ||
goetz@6458 2305 bs->kind() == BarrierSet::G1SATBCTLogging, "wrong barrier");
goetz@6458 2306
goetz@6458 2307 // Does store cross heap regions?
goetz@6458 2308 if (G1RSBarrierRegionFilter) {
goetz@6458 2309 xorr(Rtmp1, Rstore_addr, Rnew_val);
goetz@6458 2310 srdi_(Rtmp1, Rtmp1, HeapRegion::LogOfHRGrainBytes);
goetz@6458 2311 beq(CCR0, filtered);
goetz@6458 2312 }
goetz@6458 2313
goetz@6458 2314 // Crosses regions, storing NULL?
goetz@6458 2315 #ifdef ASSERT
goetz@6458 2316 cmpdi(CCR0, Rnew_val, 0);
goetz@6458 2317 asm_assert_ne("null oop not allowed (G1)", 0x322); // Checked by caller on PPC64, so following branch is obsolete:
goetz@6458 2318 //beq(CCR0, filtered);
goetz@6458 2319 #endif
goetz@6458 2320
goetz@6458 2321 // Storing region crossing non-NULL, is card already dirty?
goetz@6458 2322 assert(sizeof(*bs->byte_map_base) == sizeof(jbyte), "adjust this code");
goetz@6458 2323 const Register Rcard_addr = Rtmp1;
goetz@6458 2324 Register Rbase = Rtmp2;
goetz@6458 2325 load_const_optimized(Rbase, (address)bs->byte_map_base, /*temp*/ Rtmp3);
goetz@6458 2326
goetz@6458 2327 srdi(Rcard_addr, Rstore_addr, CardTableModRefBS::card_shift);
goetz@6458 2328
goetz@6458 2329 // Get the address of the card.
goetz@6458 2330 lbzx(/*card value*/ Rtmp3, Rbase, Rcard_addr);
goetz@6458 2331
goetz@6458 2332 assert(CardTableModRefBS::dirty_card_val() == 0, "otherwise check this code");
goetz@6458 2333 cmpwi(CCR0, Rtmp3 /* card value */, 0);
goetz@6458 2334 beq(CCR0, filtered);
goetz@6458 2335
goetz@6458 2336 // Storing a region crossing, non-NULL oop, card is clean.
goetz@6458 2337 // Dirty card and log.
goetz@6458 2338 li(Rtmp3, 0); // dirty
goetz@6458 2339 //release(); // G1: oops are allowed to get visible after dirty marking.
goetz@6458 2340 stbx(Rtmp3, Rbase, Rcard_addr);
goetz@6458 2341
goetz@6458 2342 add(Rcard_addr, Rbase, Rcard_addr); // This is the address which needs to get enqueued.
goetz@6458 2343 Rbase = noreg; // end of lifetime
goetz@6458 2344
goetz@6458 2345 const Register Rqueue_index = Rtmp2,
goetz@6458 2346 Rqueue_buf = Rtmp3;
goetz@6458 2347 ld(Rqueue_index, in_bytes(JavaThread::dirty_card_queue_offset() + PtrQueue::byte_offset_of_index()), R16_thread);
goetz@6458 2348 cmpdi(CCR0, Rqueue_index, 0);
goetz@6458 2349 beq(CCR0, runtime); // index == 0 then jump to runtime
goetz@6458 2350 ld(Rqueue_buf, in_bytes(JavaThread::dirty_card_queue_offset() + PtrQueue::byte_offset_of_buf()), R16_thread);
goetz@6458 2351
goetz@6458 2352 addi(Rqueue_index, Rqueue_index, -wordSize); // decrement index
goetz@6458 2353 std(Rqueue_index, in_bytes(JavaThread::dirty_card_queue_offset() + PtrQueue::byte_offset_of_index()), R16_thread);
goetz@6458 2354
goetz@6458 2355 stdx(Rcard_addr, Rqueue_buf, Rqueue_index); // store card
goetz@6458 2356 b(filtered);
goetz@6458 2357
goetz@6458 2358 bind(runtime);
goetz@6458 2359
goetz@6458 2360 // Save the live input values.
goetz@6458 2361 call_VM_leaf(CAST_FROM_FN_PTR(address, SharedRuntime::g1_wb_post), Rcard_addr, R16_thread);
goetz@6458 2362
goetz@6458 2363 bind(filtered_int);
goetz@6458 2364 }
goetz@6458 2365 #endif // SERIALGC
goetz@6458 2366
goetz@6458 2367 // Values for last_Java_pc, and last_Java_sp must comply to the rules
goetz@6458 2368 // in frame_ppc64.hpp.
goetz@6458 2369 void MacroAssembler::set_last_Java_frame(Register last_Java_sp, Register last_Java_pc) {
goetz@6458 2370 // Always set last_Java_pc and flags first because once last_Java_sp
goetz@6458 2371 // is visible has_last_Java_frame is true and users will look at the
goetz@6458 2372 // rest of the fields. (Note: flags should always be zero before we
goetz@6458 2373 // get here so doesn't need to be set.)
goetz@6458 2374
goetz@6458 2375 // Verify that last_Java_pc was zeroed on return to Java
goetz@6458 2376 asm_assert_mem8_is_zero(in_bytes(JavaThread::last_Java_pc_offset()), R16_thread,
goetz@6458 2377 "last_Java_pc not zeroed before leaving Java", 0x200);
goetz@6458 2378
goetz@6458 2379 // When returning from calling out from Java mode the frame anchor's
goetz@6458 2380 // last_Java_pc will always be set to NULL. It is set here so that
goetz@6458 2381 // if we are doing a call to native (not VM) that we capture the
goetz@6458 2382 // known pc and don't have to rely on the native call having a
goetz@6458 2383 // standard frame linkage where we can find the pc.
goetz@6458 2384 if (last_Java_pc != noreg)
goetz@6458 2385 std(last_Java_pc, in_bytes(JavaThread::last_Java_pc_offset()), R16_thread);
goetz@6458 2386
goetz@6495 2387 // Set last_Java_sp last.
goetz@6458 2388 std(last_Java_sp, in_bytes(JavaThread::last_Java_sp_offset()), R16_thread);
goetz@6458 2389 }
goetz@6458 2390
goetz@6458 2391 void MacroAssembler::reset_last_Java_frame(void) {
goetz@6458 2392 asm_assert_mem8_isnot_zero(in_bytes(JavaThread::last_Java_sp_offset()),
goetz@6458 2393 R16_thread, "SP was not set, still zero", 0x202);
goetz@6458 2394
goetz@6458 2395 BLOCK_COMMENT("reset_last_Java_frame {");
goetz@6458 2396 li(R0, 0);
goetz@6458 2397
goetz@6458 2398 // _last_Java_sp = 0
goetz@6458 2399 std(R0, in_bytes(JavaThread::last_Java_sp_offset()), R16_thread);
goetz@6458 2400
goetz@6458 2401 // _last_Java_pc = 0
goetz@6458 2402 std(R0, in_bytes(JavaThread::last_Java_pc_offset()), R16_thread);
goetz@6458 2403 BLOCK_COMMENT("} reset_last_Java_frame");
goetz@6458 2404 }
goetz@6458 2405
goetz@6458 2406 void MacroAssembler::set_top_ijava_frame_at_SP_as_last_Java_frame(Register sp, Register tmp1) {
goetz@6458 2407 assert_different_registers(sp, tmp1);
goetz@6458 2408
goetz@6458 2409 // sp points to a TOP_IJAVA_FRAME, retrieve frame's PC via
goetz@6458 2410 // TOP_IJAVA_FRAME_ABI.
goetz@6458 2411 // FIXME: assert that we really have a TOP_IJAVA_FRAME here!
goetz@6458 2412 #ifdef CC_INTERP
goetz@6458 2413 ld(tmp1/*pc*/, _top_ijava_frame_abi(frame_manager_lr), sp);
goetz@6458 2414 #else
goetz@6512 2415 address entry = pc();
goetz@6512 2416 load_const_optimized(tmp1, entry);
goetz@6458 2417 #endif
goetz@6458 2418
goetz@6458 2419 set_last_Java_frame(/*sp=*/sp, /*pc=*/tmp1);
goetz@6458 2420 }
goetz@6458 2421
goetz@6458 2422 void MacroAssembler::get_vm_result(Register oop_result) {
goetz@6458 2423 // Read:
goetz@6458 2424 // R16_thread
goetz@6458 2425 // R16_thread->in_bytes(JavaThread::vm_result_offset())
goetz@6458 2426 //
goetz@6458 2427 // Updated:
goetz@6458 2428 // oop_result
goetz@6458 2429 // R16_thread->in_bytes(JavaThread::vm_result_offset())
goetz@6458 2430
goetz@6458 2431 ld(oop_result, in_bytes(JavaThread::vm_result_offset()), R16_thread);
goetz@6458 2432 li(R0, 0);
goetz@6458 2433 std(R0, in_bytes(JavaThread::vm_result_offset()), R16_thread);
goetz@6458 2434
goetz@6458 2435 verify_oop(oop_result);
goetz@6458 2436 }
goetz@6458 2437
goetz@6458 2438 void MacroAssembler::get_vm_result_2(Register metadata_result) {
goetz@6458 2439 // Read:
goetz@6458 2440 // R16_thread
goetz@6458 2441 // R16_thread->in_bytes(JavaThread::vm_result_2_offset())
goetz@6458 2442 //
goetz@6458 2443 // Updated:
goetz@6458 2444 // metadata_result
goetz@6458 2445 // R16_thread->in_bytes(JavaThread::vm_result_2_offset())
goetz@6458 2446
goetz@6458 2447 ld(metadata_result, in_bytes(JavaThread::vm_result_2_offset()), R16_thread);
goetz@6458 2448 li(R0, 0);
goetz@6458 2449 std(R0, in_bytes(JavaThread::vm_result_2_offset()), R16_thread);
goetz@6458 2450 }
goetz@6458 2451
goetz@6458 2452
goetz@6458 2453 void MacroAssembler::encode_klass_not_null(Register dst, Register src) {
goetz@6501 2454 Register current = (src != noreg) ? src : dst; // Klass is in dst if no src provided.
goetz@6477 2455 if (Universe::narrow_klass_base() != 0) {
goetz@6501 2456 load_const(R0, Universe::narrow_klass_base(), (dst != current) ? dst : noreg); // Use dst as temp if it is free.
goetz@6501 2457 sub(dst, current, R0);
goetz@6501 2458 current = dst;
goetz@6477 2459 }
goetz@6501 2460 if (Universe::narrow_klass_shift() != 0) {
goetz@6501 2461 srdi(dst, current, Universe::narrow_klass_shift());
goetz@6501 2462 current = dst;
goetz@6458 2463 }
goetz@6501 2464 mr_if_needed(dst, current); // Move may be required.
goetz@6458 2465 }
goetz@6458 2466
goetz@6458 2467 void MacroAssembler::store_klass(Register dst_oop, Register klass, Register ck) {
goetz@6474 2468 if (UseCompressedClassPointers) {
goetz@6458 2469 encode_klass_not_null(ck, klass);
goetz@6458 2470 stw(ck, oopDesc::klass_offset_in_bytes(), dst_oop);
goetz@6458 2471 } else {
goetz@6458 2472 std(klass, oopDesc::klass_offset_in_bytes(), dst_oop);
goetz@6458 2473 }
goetz@6458 2474 }
goetz@6458 2475
goetz@6512 2476 void MacroAssembler::store_klass_gap(Register dst_oop, Register val) {
goetz@6512 2477 if (UseCompressedClassPointers) {
goetz@6512 2478 if (val == noreg) {
goetz@6512 2479 val = R0;
goetz@6512 2480 li(val, 0);
goetz@6512 2481 }
goetz@6512 2482 stw(val, oopDesc::klass_gap_offset_in_bytes(), dst_oop); // klass gap if compressed
goetz@6512 2483 }
goetz@6512 2484 }
goetz@6512 2485
goetz@6477 2486 int MacroAssembler::instr_size_for_decode_klass_not_null() {
goetz@6477 2487 if (!UseCompressedClassPointers) return 0;
goetz@6477 2488 int num_instrs = 1; // shift or move
goetz@6477 2489 if (Universe::narrow_klass_base() != 0) num_instrs = 7; // shift + load const + add
goetz@6477 2490 return num_instrs * BytesPerInstWord;
goetz@6477 2491 }
goetz@6477 2492
goetz@6458 2493 void MacroAssembler::decode_klass_not_null(Register dst, Register src) {
goetz@6458 2494 if (src == noreg) src = dst;
goetz@6463 2495 Register shifted_src = src;
goetz@6477 2496 if (Universe::narrow_klass_shift() != 0 ||
goetz@6477 2497 Universe::narrow_klass_base() == 0 && src != dst) { // Move required.
goetz@6463 2498 shifted_src = dst;
goetz@6463 2499 sldi(shifted_src, src, Universe::narrow_klass_shift());
goetz@6458 2500 }
goetz@6477 2501 if (Universe::narrow_klass_base() != 0) {
goetz@6477 2502 load_const(R0, Universe::narrow_klass_base());
goetz@6477 2503 add(dst, shifted_src, R0);
goetz@6477 2504 }
goetz@6458 2505 }
goetz@6458 2506
goetz@6458 2507 void MacroAssembler::load_klass(Register dst, Register src) {
goetz@6474 2508 if (UseCompressedClassPointers) {
goetz@6458 2509 lwz(dst, oopDesc::klass_offset_in_bytes(), src);
goetz@6458 2510 // Attention: no null check here!
goetz@6458 2511 decode_klass_not_null(dst, dst);
goetz@6458 2512 } else {
goetz@6458 2513 ld(dst, oopDesc::klass_offset_in_bytes(), src);
goetz@6458 2514 }
goetz@6458 2515 }
goetz@6458 2516
goetz@6458 2517 void MacroAssembler::load_klass_with_trap_null_check(Register dst, Register src) {
goetz@6486 2518 if (!os::zero_page_read_protected()) {
goetz@6458 2519 if (TrapBasedNullChecks) {
goetz@6458 2520 trap_null_check(src);
goetz@6458 2521 }
goetz@6458 2522 }
goetz@6458 2523 load_klass(dst, src);
goetz@6458 2524 }
goetz@6458 2525
goetz@6458 2526 void MacroAssembler::reinit_heapbase(Register d, Register tmp) {
goetz@6463 2527 if (Universe::heap() != NULL) {
goetz@6463 2528 if (Universe::narrow_oop_base() == NULL) {
goetz@6463 2529 Assembler::xorr(R30, R30, R30);
goetz@6463 2530 } else {
goetz@6463 2531 load_const(R30, Universe::narrow_ptrs_base(), tmp);
goetz@6463 2532 }
goetz@6463 2533 } else {
goetz@6458 2534 load_const(R30, Universe::narrow_ptrs_base_addr(), tmp);
goetz@6458 2535 ld(R30, 0, R30);
goetz@6458 2536 }
goetz@6458 2537 }
goetz@6458 2538
goetz@6495 2539 // Clear Array
goetz@6495 2540 // Kills both input registers. tmp == R0 is allowed.
goetz@6495 2541 void MacroAssembler::clear_memory_doubleword(Register base_ptr, Register cnt_dwords, Register tmp) {
goetz@6495 2542 // Procedure for large arrays (uses data cache block zero instruction).
goetz@6495 2543 Label startloop, fast, fastloop, small_rest, restloop, done;
goetz@6495 2544 const int cl_size = VM_Version::get_cache_line_size(),
goetz@6495 2545 cl_dwords = cl_size>>3,
goetz@6495 2546 cl_dw_addr_bits = exact_log2(cl_dwords),
goetz@6495 2547 dcbz_min = 1; // Min count of dcbz executions, needs to be >0.
goetz@6495 2548
goetz@6495 2549 //2:
goetz@6495 2550 cmpdi(CCR1, cnt_dwords, ((dcbz_min+1)<<cl_dw_addr_bits)-1); // Big enough? (ensure >=dcbz_min lines included).
goetz@6495 2551 blt(CCR1, small_rest); // Too small.
goetz@6495 2552 rldicl_(tmp, base_ptr, 64-3, 64-cl_dw_addr_bits); // Extract dword offset within first cache line.
goetz@6495 2553 beq(CCR0, fast); // Already 128byte aligned.
goetz@6495 2554
goetz@6495 2555 subfic(tmp, tmp, cl_dwords);
goetz@6495 2556 mtctr(tmp); // Set ctr to hit 128byte boundary (0<ctr<cl_dwords).
goetz@6495 2557 subf(cnt_dwords, tmp, cnt_dwords); // rest.
goetz@6495 2558 li(tmp, 0);
goetz@6495 2559 //10:
goetz@6495 2560 bind(startloop); // Clear at the beginning to reach 128byte boundary.
goetz@6495 2561 std(tmp, 0, base_ptr); // Clear 8byte aligned block.
goetz@6495 2562 addi(base_ptr, base_ptr, 8);
goetz@6495 2563 bdnz(startloop);
goetz@6495 2564 //13:
goetz@6495 2565 bind(fast); // Clear 128byte blocks.
goetz@6495 2566 srdi(tmp, cnt_dwords, cl_dw_addr_bits); // Loop count for 128byte loop (>0).
goetz@6495 2567 andi(cnt_dwords, cnt_dwords, cl_dwords-1); // Rest in dwords.
goetz@6495 2568 mtctr(tmp); // Load counter.
goetz@6495 2569 //16:
goetz@6495 2570 bind(fastloop);
goetz@6495 2571 dcbz(base_ptr); // Clear 128byte aligned block.
goetz@6495 2572 addi(base_ptr, base_ptr, cl_size);
goetz@6495 2573 bdnz(fastloop);
goetz@6495 2574 if (InsertEndGroupPPC64) { endgroup(); } else { nop(); }
goetz@6495 2575 //20:
goetz@6495 2576 bind(small_rest);
goetz@6495 2577 cmpdi(CCR0, cnt_dwords, 0); // size 0?
goetz@6495 2578 beq(CCR0, done); // rest == 0
goetz@6495 2579 li(tmp, 0);
goetz@6495 2580 mtctr(cnt_dwords); // Load counter.
goetz@6495 2581 //24:
goetz@6495 2582 bind(restloop); // Clear rest.
goetz@6495 2583 std(tmp, 0, base_ptr); // Clear 8byte aligned block.
goetz@6495 2584 addi(base_ptr, base_ptr, 8);
goetz@6495 2585 bdnz(restloop);
goetz@6495 2586 //27:
goetz@6495 2587 bind(done);
goetz@6495 2588 }
goetz@6495 2589
goetz@6458 2590 /////////////////////////////////////////// String intrinsics ////////////////////////////////////////////
goetz@6458 2591
goetz@6458 2592 // Search for a single jchar in an jchar[].
goetz@6458 2593 //
goetz@6458 2594 // Assumes that result differs from all other registers.
goetz@6458 2595 //
goetz@6458 2596 // Haystack, needle are the addresses of jchar-arrays.
goetz@6458 2597 // NeedleChar is needle[0] if it is known at compile time.
goetz@6458 2598 // Haycnt is the length of the haystack. We assume haycnt >=1.
goetz@6458 2599 //
goetz@6458 2600 // Preserves haystack, haycnt, kills all other registers.
goetz@6458 2601 //
goetz@6458 2602 // If needle == R0, we search for the constant needleChar.
goetz@6458 2603 void MacroAssembler::string_indexof_1(Register result, Register haystack, Register haycnt,
goetz@6458 2604 Register needle, jchar needleChar,
goetz@6458 2605 Register tmp1, Register tmp2) {
goetz@6458 2606
goetz@6458 2607 assert_different_registers(result, haystack, haycnt, needle, tmp1, tmp2);
goetz@6458 2608
goetz@6458 2609 Label L_InnerLoop, L_FinalCheck, L_Found1, L_Found2, L_Found3, L_NotFound, L_End;
goetz@6458 2610 Register needle0 = needle, // Contains needle[0].
goetz@6458 2611 addr = tmp1,
goetz@6458 2612 ch1 = tmp2,
goetz@6458 2613 ch2 = R0;
goetz@6458 2614
goetz@6458 2615 //2 (variable) or 3 (const):
goetz@6458 2616 if (needle != R0) lhz(needle0, 0, needle); // Preload needle character, needle has len==1.
goetz@6458 2617 dcbtct(haystack, 0x00); // Indicate R/O access to haystack.
goetz@6458 2618
goetz@6458 2619 srwi_(tmp2, haycnt, 1); // Shift right by exact_log2(UNROLL_FACTOR).
goetz@6458 2620 mr(addr, haystack);
goetz@6458 2621 beq(CCR0, L_FinalCheck);
goetz@6458 2622 mtctr(tmp2); // Move to count register.
goetz@6458 2623 //8:
goetz@6458 2624 bind(L_InnerLoop); // Main work horse (2x unrolled search loop).
goetz@6458 2625 lhz(ch1, 0, addr); // Load characters from haystack.
goetz@6458 2626 lhz(ch2, 2, addr);
goetz@6458 2627 (needle != R0) ? cmpw(CCR0, ch1, needle0) : cmplwi(CCR0, ch1, needleChar);
goetz@6458 2628 (needle != R0) ? cmpw(CCR1, ch2, needle0) : cmplwi(CCR1, ch2, needleChar);
goetz@6458 2629 beq(CCR0, L_Found1); // Did we find the needle?
goetz@6458 2630 beq(CCR1, L_Found2);
goetz@6458 2631 addi(addr, addr, 4);
goetz@6458 2632 bdnz(L_InnerLoop);
goetz@6458 2633 //16:
goetz@6458 2634 bind(L_FinalCheck);
goetz@6458 2635 andi_(R0, haycnt, 1);
goetz@6458 2636 beq(CCR0, L_NotFound);
goetz@6458 2637 lhz(ch1, 0, addr); // One position left at which we have to compare.
goetz@6458 2638 (needle != R0) ? cmpw(CCR1, ch1, needle0) : cmplwi(CCR1, ch1, needleChar);
goetz@6458 2639 beq(CCR1, L_Found3);
goetz@6458 2640 //21:
goetz@6458 2641 bind(L_NotFound);
goetz@6458 2642 li(result, -1); // Not found.
goetz@6458 2643 b(L_End);
goetz@6458 2644
goetz@6458 2645 bind(L_Found2);
goetz@6458 2646 addi(addr, addr, 2);
goetz@6458 2647 //24:
goetz@6458 2648 bind(L_Found1);
goetz@6458 2649 bind(L_Found3); // Return index ...
goetz@6458 2650 subf(addr, haystack, addr); // relative to haystack,
goetz@6458 2651 srdi(result, addr, 1); // in characters.
goetz@6458 2652 bind(L_End);
goetz@6458 2653 }
goetz@6458 2654
goetz@6458 2655
goetz@6458 2656 // Implementation of IndexOf for jchar arrays.
goetz@6458 2657 //
goetz@6458 2658 // The length of haystack and needle are not constant, i.e. passed in a register.
goetz@6458 2659 //
goetz@6458 2660 // Preserves registers haystack, needle.
goetz@6458 2661 // Kills registers haycnt, needlecnt.
goetz@6458 2662 // Assumes that result differs from all other registers.
goetz@6458 2663 // Haystack, needle are the addresses of jchar-arrays.
goetz@6458 2664 // Haycnt, needlecnt are the lengths of them, respectively.
goetz@6458 2665 //
goetz@6458 2666 // Needlecntval must be zero or 15-bit unsigned immediate and > 1.
goetz@6458 2667 void MacroAssembler::string_indexof(Register result, Register haystack, Register haycnt,
goetz@6458 2668 Register needle, ciTypeArray* needle_values, Register needlecnt, int needlecntval,
goetz@6458 2669 Register tmp1, Register tmp2, Register tmp3, Register tmp4) {
goetz@6458 2670
goetz@6458 2671 // Ensure 0<needlecnt<=haycnt in ideal graph as prerequisite!
goetz@6458 2672 Label L_TooShort, L_Found, L_NotFound, L_End;
goetz@6458 2673 Register last_addr = haycnt, // Kill haycnt at the beginning.
goetz@6458 2674 addr = tmp1,
goetz@6458 2675 n_start = tmp2,
goetz@6458 2676 ch1 = tmp3,
goetz@6458 2677 ch2 = R0;
goetz@6458 2678
goetz@6458 2679 // **************************************************************************************************
goetz@6458 2680 // Prepare for main loop: optimized for needle count >=2, bail out otherwise.
goetz@6458 2681 // **************************************************************************************************
goetz@6458 2682
goetz@6458 2683 //1 (variable) or 3 (const):
goetz@6458 2684 dcbtct(needle, 0x00); // Indicate R/O access to str1.
goetz@6458 2685 dcbtct(haystack, 0x00); // Indicate R/O access to str2.
goetz@6458 2686
goetz@6458 2687 // Compute last haystack addr to use if no match gets found.
goetz@6458 2688 if (needlecntval == 0) { // variable needlecnt
goetz@6458 2689 //3:
goetz@6458 2690 subf(ch1, needlecnt, haycnt); // Last character index to compare is haycnt-needlecnt.
goetz@6458 2691 addi(addr, haystack, -2); // Accesses use pre-increment.
goetz@6458 2692 cmpwi(CCR6, needlecnt, 2);
goetz@6458 2693 blt(CCR6, L_TooShort); // Variable needlecnt: handle short needle separately.
goetz@6458 2694 slwi(ch1, ch1, 1); // Scale to number of bytes.
goetz@6458 2695 lwz(n_start, 0, needle); // Load first 2 characters of needle.
goetz@6458 2696 add(last_addr, haystack, ch1); // Point to last address to compare (haystack+2*(haycnt-needlecnt)).
goetz@6458 2697 addi(needlecnt, needlecnt, -2); // Rest of needle.
goetz@6458 2698 } else { // constant needlecnt
goetz@6458 2699 guarantee(needlecntval != 1, "IndexOf with single-character needle must be handled separately");
goetz@6458 2700 assert((needlecntval & 0x7fff) == needlecntval, "wrong immediate");
goetz@6458 2701 //5:
goetz@6458 2702 addi(ch1, haycnt, -needlecntval); // Last character index to compare is haycnt-needlecnt.
goetz@6458 2703 lwz(n_start, 0, needle); // Load first 2 characters of needle.
goetz@6458 2704 addi(addr, haystack, -2); // Accesses use pre-increment.
goetz@6458 2705 slwi(ch1, ch1, 1); // Scale to number of bytes.
goetz@6458 2706 add(last_addr, haystack, ch1); // Point to last address to compare (haystack+2*(haycnt-needlecnt)).
goetz@6458 2707 li(needlecnt, needlecntval-2); // Rest of needle.
goetz@6458 2708 }
goetz@6458 2709
goetz@6458 2710 // Main Loop (now we have at least 3 characters).
goetz@6458 2711 //11:
goetz@6458 2712 Label L_OuterLoop, L_InnerLoop, L_FinalCheck, L_Comp1, L_Comp2, L_Comp3;
goetz@6458 2713 bind(L_OuterLoop); // Search for 1st 2 characters.
goetz@6458 2714 Register addr_diff = tmp4;
goetz@6458 2715 subf(addr_diff, addr, last_addr); // Difference between already checked address and last address to check.
goetz@6458 2716 addi(addr, addr, 2); // This is the new address we want to use for comparing.
goetz@6458 2717 srdi_(ch2, addr_diff, 2);
goetz@6458 2718 beq(CCR0, L_FinalCheck); // 2 characters left?
goetz@6458 2719 mtctr(ch2); // addr_diff/4
goetz@6458 2720 //16:
goetz@6458 2721 bind(L_InnerLoop); // Main work horse (2x unrolled search loop)
goetz@6458 2722 lwz(ch1, 0, addr); // Load 2 characters of haystack (ignore alignment).
goetz@6458 2723 lwz(ch2, 2, addr);
goetz@6458 2724 cmpw(CCR0, ch1, n_start); // Compare 2 characters (1 would be sufficient but try to reduce branches to CompLoop).
goetz@6458 2725 cmpw(CCR1, ch2, n_start);
goetz@6458 2726 beq(CCR0, L_Comp1); // Did we find the needle start?
goetz@6458 2727 beq(CCR1, L_Comp2);
goetz@6458 2728 addi(addr, addr, 4);
goetz@6458 2729 bdnz(L_InnerLoop);
goetz@6458 2730 //24:
goetz@6458 2731 bind(L_FinalCheck);
goetz@6458 2732 rldicl_(addr_diff, addr_diff, 64-1, 63); // Remaining characters not covered by InnerLoop: (addr_diff>>1)&1.
goetz@6458 2733 beq(CCR0, L_NotFound);
goetz@6458 2734 lwz(ch1, 0, addr); // One position left at which we have to compare.
goetz@6458 2735 cmpw(CCR1, ch1, n_start);
goetz@6458 2736 beq(CCR1, L_Comp3);
goetz@6458 2737 //29:
goetz@6458 2738 bind(L_NotFound);
goetz@6458 2739 li(result, -1); // not found
goetz@6458 2740 b(L_End);
goetz@6458 2741
goetz@6458 2742
goetz@6458 2743 // **************************************************************************************************
goetz@6458 2744 // Special Case: unfortunately, the variable needle case can be called with needlecnt<2
goetz@6458 2745 // **************************************************************************************************
goetz@6458 2746 //31:
goetz@6458 2747 if ((needlecntval>>1) !=1 ) { // Const needlecnt is 2 or 3? Reduce code size.
goetz@6458 2748 int nopcnt = 5;
goetz@6458 2749 if (needlecntval !=0 ) ++nopcnt; // Balance alignment (other case: see below).
goetz@6458 2750 if (needlecntval == 0) { // We have to handle these cases separately.
goetz@6458 2751 Label L_OneCharLoop;
goetz@6458 2752 bind(L_TooShort);
goetz@6458 2753 mtctr(haycnt);
goetz@6458 2754 lhz(n_start, 0, needle); // First character of needle
goetz@6458 2755 bind(L_OneCharLoop);
goetz@6458 2756 lhzu(ch1, 2, addr);
goetz@6458 2757 cmpw(CCR1, ch1, n_start);
goetz@6458 2758 beq(CCR1, L_Found); // Did we find the one character needle?
goetz@6458 2759 bdnz(L_OneCharLoop);
goetz@6458 2760 li(result, -1); // Not found.
goetz@6458 2761 b(L_End);
goetz@6458 2762 } // 8 instructions, so no impact on alignment.
goetz@6458 2763 for (int x = 0; x < nopcnt; ++x) nop();
goetz@6458 2764 }
goetz@6458 2765
goetz@6458 2766 // **************************************************************************************************
goetz@6458 2767 // Regular Case Part II: compare rest of needle (first 2 characters have been compared already)
goetz@6458 2768 // **************************************************************************************************
goetz@6458 2769
goetz@6458 2770 // Compare the rest
goetz@6458 2771 //36 if needlecntval==0, else 37:
goetz@6458 2772 bind(L_Comp2);
goetz@6458 2773 addi(addr, addr, 2); // First comparison has failed, 2nd one hit.
goetz@6458 2774 bind(L_Comp1); // Addr points to possible needle start.
goetz@6458 2775 bind(L_Comp3); // Could have created a copy and use a different return address but saving code size here.
goetz@6458 2776 if (needlecntval != 2) { // Const needlecnt==2?
goetz@6458 2777 if (needlecntval != 3) {
goetz@6458 2778 if (needlecntval == 0) beq(CCR6, L_Found); // Variable needlecnt==2?
goetz@6458 2779 Register ind_reg = tmp4;
goetz@6458 2780 li(ind_reg, 2*2); // First 2 characters are already compared, use index 2.
goetz@6458 2781 mtctr(needlecnt); // Decremented by 2, still > 0.
goetz@6458 2782 //40:
goetz@6458 2783 Label L_CompLoop;
goetz@6458 2784 bind(L_CompLoop);
goetz@6458 2785 lhzx(ch2, needle, ind_reg);
goetz@6458 2786 lhzx(ch1, addr, ind_reg);
goetz@6458 2787 cmpw(CCR1, ch1, ch2);
goetz@6458 2788 bne(CCR1, L_OuterLoop);
goetz@6458 2789 addi(ind_reg, ind_reg, 2);
goetz@6458 2790 bdnz(L_CompLoop);
goetz@6458 2791 } else { // No loop required if there's only one needle character left.
goetz@6458 2792 lhz(ch2, 2*2, needle);
goetz@6458 2793 lhz(ch1, 2*2, addr);
goetz@6458 2794 cmpw(CCR1, ch1, ch2);
goetz@6458 2795 bne(CCR1, L_OuterLoop);
goetz@6458 2796 }
goetz@6458 2797 }
goetz@6458 2798 // Return index ...
goetz@6458 2799 //46:
goetz@6458 2800 bind(L_Found);
goetz@6458 2801 subf(addr, haystack, addr); // relative to haystack, ...
goetz@6458 2802 srdi(result, addr, 1); // in characters.
goetz@6458 2803 //48:
goetz@6458 2804 bind(L_End);
goetz@6458 2805 }
goetz@6458 2806
goetz@6458 2807 // Implementation of Compare for jchar arrays.
goetz@6458 2808 //
goetz@6458 2809 // Kills the registers str1, str2, cnt1, cnt2.
goetz@6458 2810 // Kills cr0, ctr.
goetz@6458 2811 // Assumes that result differes from the input registers.
goetz@6458 2812 void MacroAssembler::string_compare(Register str1_reg, Register str2_reg, Register cnt1_reg, Register cnt2_reg,
goetz@6458 2813 Register result_reg, Register tmp_reg) {
goetz@6458 2814 assert_different_registers(result_reg, str1_reg, str2_reg, cnt1_reg, cnt2_reg, tmp_reg);
goetz@6458 2815
goetz@6458 2816 Label Ldone, Lslow_case, Lslow_loop, Lfast_loop;
goetz@6458 2817 Register cnt_diff = R0,
goetz@6458 2818 limit_reg = cnt1_reg,
goetz@6458 2819 chr1_reg = result_reg,
goetz@6458 2820 chr2_reg = cnt2_reg,
goetz@6458 2821 addr_diff = str2_reg;
goetz@6458 2822
goetz@6458 2823 // Offset 0 should be 32 byte aligned.
goetz@6458 2824 //-4:
goetz@6458 2825 dcbtct(str1_reg, 0x00); // Indicate R/O access to str1.
goetz@6458 2826 dcbtct(str2_reg, 0x00); // Indicate R/O access to str2.
goetz@6458 2827 //-2:
goetz@6458 2828 // Compute min(cnt1, cnt2) and check if 0 (bail out if we don't need to compare characters).
goetz@6458 2829 subf(result_reg, cnt2_reg, cnt1_reg); // difference between cnt1/2
goetz@6458 2830 subf_(addr_diff, str1_reg, str2_reg); // alias?
goetz@6458 2831 beq(CCR0, Ldone); // return cnt difference if both ones are identical
goetz@6458 2832 srawi(limit_reg, result_reg, 31); // generate signmask (cnt1/2 must be non-negative so cnt_diff can't overflow)
goetz@6458 2833 mr(cnt_diff, result_reg);
goetz@6458 2834 andr(limit_reg, result_reg, limit_reg); // difference or zero (negative): cnt1<cnt2 ? cnt1-cnt2 : 0
goetz@6458 2835 add_(limit_reg, cnt2_reg, limit_reg); // min(cnt1, cnt2)==0?
goetz@6458 2836 beq(CCR0, Ldone); // return cnt difference if one has 0 length
goetz@6458 2837
goetz@6458 2838 lhz(chr1_reg, 0, str1_reg); // optional: early out if first characters mismatch
goetz@6458 2839 lhzx(chr2_reg, str1_reg, addr_diff); // optional: early out if first characters mismatch
goetz@6458 2840 addi(tmp_reg, limit_reg, -1); // min(cnt1, cnt2)-1
goetz@6458 2841 subf_(result_reg, chr2_reg, chr1_reg); // optional: early out if first characters mismatch
goetz@6458 2842 bne(CCR0, Ldone); // optional: early out if first characters mismatch
goetz@6458 2843
goetz@6458 2844 // Set loop counter by scaling down tmp_reg
goetz@6458 2845 srawi_(chr2_reg, tmp_reg, exact_log2(4)); // (min(cnt1, cnt2)-1)/4
goetz@6458 2846 ble(CCR0, Lslow_case); // need >4 characters for fast loop
goetz@6458 2847 andi(limit_reg, tmp_reg, 4-1); // remaining characters
goetz@6458 2848
goetz@6458 2849 // Adapt str1_reg str2_reg for the first loop iteration
goetz@6458 2850 mtctr(chr2_reg); // (min(cnt1, cnt2)-1)/4
goetz@6458 2851 addi(limit_reg, limit_reg, 4+1); // compare last 5-8 characters in slow_case if mismatch found in fast_loop
goetz@6458 2852 //16:
goetz@6458 2853 // Compare the rest of the characters
goetz@6458 2854 bind(Lfast_loop);
goetz@6458 2855 ld(chr1_reg, 0, str1_reg);
goetz@6458 2856 ldx(chr2_reg, str1_reg, addr_diff);
goetz@6458 2857 cmpd(CCR0, chr2_reg, chr1_reg);
goetz@6458 2858 bne(CCR0, Lslow_case); // return chr1_reg
goetz@6458 2859 addi(str1_reg, str1_reg, 4*2);
goetz@6458 2860 bdnz(Lfast_loop);
goetz@6458 2861 addi(limit_reg, limit_reg, -4); // no mismatch found in fast_loop, only 1-4 characters missing
goetz@6458 2862 //23:
goetz@6458 2863 bind(Lslow_case);
goetz@6458 2864 mtctr(limit_reg);
goetz@6458 2865 //24:
goetz@6458 2866 bind(Lslow_loop);
goetz@6458 2867 lhz(chr1_reg, 0, str1_reg);
goetz@6458 2868 lhzx(chr2_reg, str1_reg, addr_diff);
goetz@6458 2869 subf_(result_reg, chr2_reg, chr1_reg);
goetz@6458 2870 bne(CCR0, Ldone); // return chr1_reg
goetz@6458 2871 addi(str1_reg, str1_reg, 1*2);
goetz@6458 2872 bdnz(Lslow_loop);
goetz@6458 2873 //30:
goetz@6458 2874 // If strings are equal up to min length, return the length difference.
goetz@6458 2875 mr(result_reg, cnt_diff);
goetz@6458 2876 nop(); // alignment
goetz@6458 2877 //32:
goetz@6458 2878 // Otherwise, return the difference between the first mismatched chars.
goetz@6458 2879 bind(Ldone);
goetz@6458 2880 }
goetz@6458 2881
goetz@6458 2882
goetz@6458 2883 // Compare char[] arrays.
goetz@6458 2884 //
goetz@6458 2885 // str1_reg USE only
goetz@6458 2886 // str2_reg USE only
goetz@6458 2887 // cnt_reg USE_DEF, due to tmp reg shortage
goetz@6458 2888 // result_reg DEF only, might compromise USE only registers
goetz@6458 2889 void MacroAssembler::char_arrays_equals(Register str1_reg, Register str2_reg, Register cnt_reg, Register result_reg,
goetz@6458 2890 Register tmp1_reg, Register tmp2_reg, Register tmp3_reg, Register tmp4_reg,
goetz@6458 2891 Register tmp5_reg) {
goetz@6458 2892
goetz@6458 2893 // Str1 may be the same register as str2 which can occur e.g. after scalar replacement.
goetz@6458 2894 assert_different_registers(result_reg, str1_reg, cnt_reg, tmp1_reg, tmp2_reg, tmp3_reg, tmp4_reg, tmp5_reg);
goetz@6458 2895 assert_different_registers(result_reg, str2_reg, cnt_reg, tmp1_reg, tmp2_reg, tmp3_reg, tmp4_reg, tmp5_reg);
goetz@6458 2896
goetz@6458 2897 // Offset 0 should be 32 byte aligned.
goetz@6458 2898 Label Linit_cbc, Lcbc, Lloop, Ldone_true, Ldone_false;
goetz@6458 2899 Register index_reg = tmp5_reg;
goetz@6458 2900 Register cbc_iter = tmp4_reg;
goetz@6458 2901
goetz@6458 2902 //-1:
goetz@6458 2903 dcbtct(str1_reg, 0x00); // Indicate R/O access to str1.
goetz@6458 2904 dcbtct(str2_reg, 0x00); // Indicate R/O access to str2.
goetz@6458 2905 //1:
goetz@6458 2906 andi(cbc_iter, cnt_reg, 4-1); // Remaining iterations after 4 java characters per iteration loop.
goetz@6458 2907 li(index_reg, 0); // init
goetz@6458 2908 li(result_reg, 0); // assume false
goetz@6458 2909 srwi_(tmp2_reg, cnt_reg, exact_log2(4)); // Div: 4 java characters per iteration (main loop).
goetz@6458 2910
goetz@6458 2911 cmpwi(CCR1, cbc_iter, 0); // CCR1 = (cbc_iter==0)
goetz@6458 2912 beq(CCR0, Linit_cbc); // too short
goetz@6458 2913 mtctr(tmp2_reg);
goetz@6458 2914 //8:
goetz@6458 2915 bind(Lloop);
goetz@6458 2916 ldx(tmp1_reg, str1_reg, index_reg);
goetz@6458 2917 ldx(tmp2_reg, str2_reg, index_reg);
goetz@6458 2918 cmpd(CCR0, tmp1_reg, tmp2_reg);
goetz@6458 2919 bne(CCR0, Ldone_false); // Unequal char pair found -> done.
goetz@6458 2920 addi(index_reg, index_reg, 4*sizeof(jchar));
goetz@6458 2921 bdnz(Lloop);
goetz@6458 2922 //14:
goetz@6458 2923 bind(Linit_cbc);
goetz@6458 2924 beq(CCR1, Ldone_true);
goetz@6458 2925 mtctr(cbc_iter);
goetz@6458 2926 //16:
goetz@6458 2927 bind(Lcbc);
goetz@6458 2928 lhzx(tmp1_reg, str1_reg, index_reg);
goetz@6458 2929 lhzx(tmp2_reg, str2_reg, index_reg);
goetz@6458 2930 cmpw(CCR0, tmp1_reg, tmp2_reg);
goetz@6458 2931 bne(CCR0, Ldone_false); // Unequal char pair found -> done.
goetz@6458 2932 addi(index_reg, index_reg, 1*sizeof(jchar));
goetz@6458 2933 bdnz(Lcbc);
goetz@6458 2934 nop();
goetz@6458 2935 bind(Ldone_true);
goetz@6458 2936 li(result_reg, 1);
goetz@6458 2937 //24:
goetz@6458 2938 bind(Ldone_false);
goetz@6458 2939 }
goetz@6458 2940
goetz@6458 2941
goetz@6458 2942 void MacroAssembler::char_arrays_equalsImm(Register str1_reg, Register str2_reg, int cntval, Register result_reg,
goetz@6458 2943 Register tmp1_reg, Register tmp2_reg) {
goetz@6458 2944 // Str1 may be the same register as str2 which can occur e.g. after scalar replacement.
goetz@6458 2945 assert_different_registers(result_reg, str1_reg, tmp1_reg, tmp2_reg);
goetz@6458 2946 assert_different_registers(result_reg, str2_reg, tmp1_reg, tmp2_reg);
goetz@6458 2947 assert(sizeof(jchar) == 2, "must be");
goetz@6458 2948 assert(cntval >= 0 && ((cntval & 0x7fff) == cntval), "wrong immediate");
goetz@6458 2949
goetz@6458 2950 Label Ldone_false;
goetz@6458 2951
goetz@6458 2952 if (cntval < 16) { // short case
goetz@6458 2953 if (cntval != 0) li(result_reg, 0); // assume false
goetz@6458 2954
goetz@6458 2955 const int num_bytes = cntval*sizeof(jchar);
goetz@6458 2956 int index = 0;
goetz@6458 2957 for (int next_index; (next_index = index + 8) <= num_bytes; index = next_index) {
goetz@6458 2958 ld(tmp1_reg, index, str1_reg);
goetz@6458 2959 ld(tmp2_reg, index, str2_reg);
goetz@6458 2960 cmpd(CCR0, tmp1_reg, tmp2_reg);
goetz@6458 2961 bne(CCR0, Ldone_false);
goetz@6458 2962 }
goetz@6458 2963 if (cntval & 2) {
goetz@6458 2964 lwz(tmp1_reg, index, str1_reg);
goetz@6458 2965 lwz(tmp2_reg, index, str2_reg);
goetz@6458 2966 cmpw(CCR0, tmp1_reg, tmp2_reg);
goetz@6458 2967 bne(CCR0, Ldone_false);
goetz@6458 2968 index += 4;
goetz@6458 2969 }
goetz@6458 2970 if (cntval & 1) {
goetz@6458 2971 lhz(tmp1_reg, index, str1_reg);
goetz@6458 2972 lhz(tmp2_reg, index, str2_reg);
goetz@6458 2973 cmpw(CCR0, tmp1_reg, tmp2_reg);
goetz@6458 2974 bne(CCR0, Ldone_false);
goetz@6458 2975 }
goetz@6458 2976 // fallthrough: true
goetz@6458 2977 } else {
goetz@6458 2978 Label Lloop;
goetz@6458 2979 Register index_reg = tmp1_reg;
goetz@6458 2980 const int loopcnt = cntval/4;
goetz@6458 2981 assert(loopcnt > 0, "must be");
goetz@6458 2982 // Offset 0 should be 32 byte aligned.
goetz@6458 2983 //2:
goetz@6458 2984 dcbtct(str1_reg, 0x00); // Indicate R/O access to str1.
goetz@6458 2985 dcbtct(str2_reg, 0x00); // Indicate R/O access to str2.
goetz@6458 2986 li(tmp2_reg, loopcnt);
goetz@6458 2987 li(index_reg, 0); // init
goetz@6458 2988 li(result_reg, 0); // assume false
goetz@6458 2989 mtctr(tmp2_reg);
goetz@6458 2990 //8:
goetz@6458 2991 bind(Lloop);
goetz@6458 2992 ldx(R0, str1_reg, index_reg);
goetz@6458 2993 ldx(tmp2_reg, str2_reg, index_reg);
goetz@6458 2994 cmpd(CCR0, R0, tmp2_reg);
goetz@6458 2995 bne(CCR0, Ldone_false); // Unequal char pair found -> done.
goetz@6458 2996 addi(index_reg, index_reg, 4*sizeof(jchar));
goetz@6458 2997 bdnz(Lloop);
goetz@6458 2998 //14:
goetz@6458 2999 if (cntval & 2) {
goetz@6458 3000 lwzx(R0, str1_reg, index_reg);
goetz@6458 3001 lwzx(tmp2_reg, str2_reg, index_reg);
goetz@6458 3002 cmpw(CCR0, R0, tmp2_reg);
goetz@6458 3003 bne(CCR0, Ldone_false);
goetz@6458 3004 if (cntval & 1) addi(index_reg, index_reg, 2*sizeof(jchar));
goetz@6458 3005 }
goetz@6458 3006 if (cntval & 1) {
goetz@6458 3007 lhzx(R0, str1_reg, index_reg);
goetz@6458 3008 lhzx(tmp2_reg, str2_reg, index_reg);
goetz@6458 3009 cmpw(CCR0, R0, tmp2_reg);
goetz@6458 3010 bne(CCR0, Ldone_false);
goetz@6458 3011 }
goetz@6458 3012 // fallthru: true
goetz@6458 3013 }
goetz@6458 3014 li(result_reg, 1);
goetz@6458 3015 bind(Ldone_false);
goetz@6458 3016 }
goetz@6458 3017
goetz@6458 3018
goetz@6458 3019 void MacroAssembler::asm_assert(bool check_equal, const char *msg, int id) {
goetz@6458 3020 #ifdef ASSERT
goetz@6458 3021 Label ok;
goetz@6458 3022 if (check_equal) {
goetz@6458 3023 beq(CCR0, ok);
goetz@6458 3024 } else {
goetz@6458 3025 bne(CCR0, ok);
goetz@6458 3026 }
goetz@6458 3027 stop(msg, id);
goetz@6458 3028 bind(ok);
goetz@6458 3029 #endif
goetz@6458 3030 }
goetz@6458 3031
goetz@6458 3032 void MacroAssembler::asm_assert_mems_zero(bool check_equal, int size, int mem_offset,
goetz@6458 3033 Register mem_base, const char* msg, int id) {
goetz@6458 3034 #ifdef ASSERT
goetz@6458 3035 switch (size) {
goetz@6458 3036 case 4:
goetz@6458 3037 lwz(R0, mem_offset, mem_base);
goetz@6458 3038 cmpwi(CCR0, R0, 0);
goetz@6458 3039 break;
goetz@6458 3040 case 8:
goetz@6458 3041 ld(R0, mem_offset, mem_base);
goetz@6458 3042 cmpdi(CCR0, R0, 0);
goetz@6458 3043 break;
goetz@6458 3044 default:
goetz@6458 3045 ShouldNotReachHere();
goetz@6458 3046 }
goetz@6458 3047 asm_assert(check_equal, msg, id);
goetz@6458 3048 #endif // ASSERT
goetz@6458 3049 }
goetz@6458 3050
goetz@6458 3051 void MacroAssembler::verify_thread() {
goetz@6458 3052 if (VerifyThread) {
goetz@6458 3053 unimplemented("'VerifyThread' currently not implemented on PPC");
goetz@6458 3054 }
goetz@6458 3055 }
goetz@6458 3056
goetz@6458 3057 // READ: oop. KILL: R0. Volatile floats perhaps.
goetz@6458 3058 void MacroAssembler::verify_oop(Register oop, const char* msg) {
goetz@6458 3059 if (!VerifyOops) {
goetz@6458 3060 return;
goetz@6458 3061 }
goetz@6495 3062 // Will be preserved.
goetz@6458 3063 Register tmp = R11;
goetz@6458 3064 assert(oop != tmp, "precondition");
goetz@6458 3065 unsigned int nbytes_save = 10*8; // 10 volatile gprs
goetz@6495 3066 address/* FunctionDescriptor** */fd = StubRoutines::verify_oop_subroutine_entry_address();
goetz@6458 3067 // save tmp
goetz@6458 3068 mr(R0, tmp);
goetz@6458 3069 // kill tmp
goetz@6458 3070 save_LR_CR(tmp);
goetz@6511 3071 push_frame_reg_args(nbytes_save, tmp);
goetz@6458 3072 // restore tmp
goetz@6458 3073 mr(tmp, R0);
goetz@6458 3074 save_volatile_gprs(R1_SP, 112); // except R0
goetz@6511 3075 // load FunctionDescriptor** / entry_address *
goetz@6458 3076 load_const(tmp, fd);
goetz@6511 3077 // load FunctionDescriptor* / entry_address
goetz@6458 3078 ld(tmp, 0, tmp);
goetz@6458 3079 mr(R4_ARG2, oop);
goetz@6458 3080 load_const(R3_ARG1, (address)msg);
goetz@6458 3081 // call destination for its side effect
goetz@6458 3082 call_c(tmp);
goetz@6458 3083 restore_volatile_gprs(R1_SP, 112); // except R0
goetz@6458 3084 pop_frame();
goetz@6458 3085 // save tmp
goetz@6458 3086 mr(R0, tmp);
goetz@6458 3087 // kill tmp
goetz@6458 3088 restore_LR_CR(tmp);
goetz@6458 3089 // restore tmp
goetz@6458 3090 mr(tmp, R0);
goetz@6458 3091 }
goetz@6458 3092
goetz@6458 3093 const char* stop_types[] = {
goetz@6458 3094 "stop",
goetz@6458 3095 "untested",
goetz@6458 3096 "unimplemented",
goetz@6458 3097 "shouldnotreachhere"
goetz@6458 3098 };
goetz@6458 3099
goetz@6458 3100 static void stop_on_request(int tp, const char* msg) {
goetz@6458 3101 tty->print("PPC assembly code requires stop: (%s) %s\n", (void *)stop_types[tp%/*stop_end*/4], msg);
goetz@6458 3102 guarantee(false, err_msg("PPC assembly code requires stop: %s", msg));
goetz@6458 3103 }
goetz@6458 3104
goetz@6458 3105 // Call a C-function that prints output.
goetz@6458 3106 void MacroAssembler::stop(int type, const char* msg, int id) {
goetz@6458 3107 #ifndef PRODUCT
goetz@6458 3108 block_comment(err_msg("stop: %s %s {", stop_types[type%stop_end], msg));
goetz@6458 3109 #else
goetz@6458 3110 block_comment("stop {");
goetz@6458 3111 #endif
goetz@6458 3112
goetz@6458 3113 // setup arguments
goetz@6458 3114 load_const_optimized(R3_ARG1, type);
goetz@6458 3115 load_const_optimized(R4_ARG2, (void *)msg, /*tmp=*/R0);
goetz@6458 3116 call_VM_leaf(CAST_FROM_FN_PTR(address, stop_on_request), R3_ARG1, R4_ARG2);
goetz@6458 3117 illtrap();
goetz@6458 3118 emit_int32(id);
goetz@6458 3119 block_comment("} stop;");
goetz@6458 3120 }
goetz@6458 3121
goetz@6458 3122 #ifndef PRODUCT
goetz@6458 3123 // Write pattern 0x0101010101010101 in memory region [low-before, high+after].
goetz@6458 3124 // Val, addr are temp registers.
goetz@6458 3125 // If low == addr, addr is killed.
goetz@6458 3126 // High is preserved.
goetz@6458 3127 void MacroAssembler::zap_from_to(Register low, int before, Register high, int after, Register val, Register addr) {
goetz@6458 3128 if (!ZapMemory) return;
goetz@6458 3129
goetz@6458 3130 assert_different_registers(low, val);
goetz@6458 3131
goetz@6458 3132 BLOCK_COMMENT("zap memory region {");
goetz@6458 3133 load_const_optimized(val, 0x0101010101010101);
goetz@6458 3134 int size = before + after;
goetz@6458 3135 if (low == high && size < 5 && size > 0) {
goetz@6458 3136 int offset = -before*BytesPerWord;
goetz@6458 3137 for (int i = 0; i < size; ++i) {
goetz@6458 3138 std(val, offset, low);
goetz@6458 3139 offset += (1*BytesPerWord);
goetz@6458 3140 }
goetz@6458 3141 } else {
goetz@6458 3142 addi(addr, low, -before*BytesPerWord);
goetz@6458 3143 assert_different_registers(high, val);
goetz@6458 3144 if (after) addi(high, high, after * BytesPerWord);
goetz@6458 3145 Label loop;
goetz@6458 3146 bind(loop);
goetz@6458 3147 std(val, 0, addr);
goetz@6458 3148 addi(addr, addr, 8);
goetz@6458 3149 cmpd(CCR6, addr, high);
goetz@6458 3150 ble(CCR6, loop);
goetz@6458 3151 if (after) addi(high, high, -after * BytesPerWord); // Correct back to old value.
goetz@6458 3152 }
goetz@6458 3153 BLOCK_COMMENT("} zap memory region");
goetz@6458 3154 }
goetz@6458 3155
goetz@6458 3156 #endif // !PRODUCT
goetz@6512 3157
goetz@6512 3158 SkipIfEqualZero::SkipIfEqualZero(MacroAssembler* masm, Register temp, const bool* flag_addr) : _masm(masm), _label() {
goetz@6512 3159 int simm16_offset = masm->load_const_optimized(temp, (address)flag_addr, R0, true);
goetz@6512 3160 assert(sizeof(bool) == 1, "PowerPC ABI");
goetz@6512 3161 masm->lbz(temp, simm16_offset, temp);
goetz@6512 3162 masm->cmpwi(CCR0, temp, 0);
goetz@6512 3163 masm->beq(CCR0, _label);
goetz@6512 3164 }
goetz@6512 3165
goetz@6512 3166 SkipIfEqualZero::~SkipIfEqualZero() {
goetz@6512 3167 _masm->bind(_label);
goetz@6512 3168 }

mercurial