hotspot/src/cpu/sparc/vm/c1_MacroAssembler_sparc.cpp
author jrose
Sat, 09 Apr 2011 21:16:12 -0700
changeset 9124 f60dee480d49
parent 8921 14bfe81f2a9d
parent 9120 3606dd709168
child 10252 0981ce1c3eef
permissions -rw-r--r--
Merge
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
     1
/*
9120
3606dd709168 7034967: C1: assert(false) failed: error (assembler_sparc.cpp:2043)
iveresov
parents: 7898
diff changeset
     2
 * Copyright (c) 1999, 2011, Oracle and/or its affiliates. All rights reserved.
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
     3
 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
489c9b5090e2 Initial load
duke
parents:
diff changeset
     4
 *
489c9b5090e2 Initial load
duke
parents:
diff changeset
     5
 * This code is free software; you can redistribute it and/or modify it
489c9b5090e2 Initial load
duke
parents:
diff changeset
     6
 * under the terms of the GNU General Public License version 2 only, as
489c9b5090e2 Initial load
duke
parents:
diff changeset
     7
 * published by the Free Software Foundation.
489c9b5090e2 Initial load
duke
parents:
diff changeset
     8
 *
489c9b5090e2 Initial load
duke
parents:
diff changeset
     9
 * This code is distributed in the hope that it will be useful, but WITHOUT
489c9b5090e2 Initial load
duke
parents:
diff changeset
    10
 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
489c9b5090e2 Initial load
duke
parents:
diff changeset
    11
 * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
489c9b5090e2 Initial load
duke
parents:
diff changeset
    12
 * version 2 for more details (a copy is included in the LICENSE file that
489c9b5090e2 Initial load
duke
parents:
diff changeset
    13
 * accompanied this code).
489c9b5090e2 Initial load
duke
parents:
diff changeset
    14
 *
489c9b5090e2 Initial load
duke
parents:
diff changeset
    15
 * You should have received a copy of the GNU General Public License version
489c9b5090e2 Initial load
duke
parents:
diff changeset
    16
 * 2 along with this work; if not, write to the Free Software Foundation,
489c9b5090e2 Initial load
duke
parents:
diff changeset
    17
 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
489c9b5090e2 Initial load
duke
parents:
diff changeset
    18
 *
5547
f4b087cbb361 6941466: Oracle rebranding changes for Hotspot repositories
trims
parents: 5046
diff changeset
    19
 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
f4b087cbb361 6941466: Oracle rebranding changes for Hotspot repositories
trims
parents: 5046
diff changeset
    20
 * or visit www.oracle.com if you need additional information or have any
f4b087cbb361 6941466: Oracle rebranding changes for Hotspot repositories
trims
parents: 5046
diff changeset
    21
 * questions.
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
    22
 *
489c9b5090e2 Initial load
duke
parents:
diff changeset
    23
 */
489c9b5090e2 Initial load
duke
parents:
diff changeset
    24
7397
5b173b4ca846 6989984: Use standard include model for Hospot
stefank
parents: 5547
diff changeset
    25
#include "precompiled.hpp"
5b173b4ca846 6989984: Use standard include model for Hospot
stefank
parents: 5547
diff changeset
    26
#include "c1/c1_MacroAssembler.hpp"
5b173b4ca846 6989984: Use standard include model for Hospot
stefank
parents: 5547
diff changeset
    27
#include "c1/c1_Runtime1.hpp"
5b173b4ca846 6989984: Use standard include model for Hospot
stefank
parents: 5547
diff changeset
    28
#include "classfile/systemDictionary.hpp"
5b173b4ca846 6989984: Use standard include model for Hospot
stefank
parents: 5547
diff changeset
    29
#include "gc_interface/collectedHeap.hpp"
5b173b4ca846 6989984: Use standard include model for Hospot
stefank
parents: 5547
diff changeset
    30
#include "interpreter/interpreter.hpp"
5b173b4ca846 6989984: Use standard include model for Hospot
stefank
parents: 5547
diff changeset
    31
#include "oops/arrayOop.hpp"
5b173b4ca846 6989984: Use standard include model for Hospot
stefank
parents: 5547
diff changeset
    32
#include "oops/markOop.hpp"
5b173b4ca846 6989984: Use standard include model for Hospot
stefank
parents: 5547
diff changeset
    33
#include "runtime/basicLock.hpp"
5b173b4ca846 6989984: Use standard include model for Hospot
stefank
parents: 5547
diff changeset
    34
#include "runtime/biasedLocking.hpp"
5b173b4ca846 6989984: Use standard include model for Hospot
stefank
parents: 5547
diff changeset
    35
#include "runtime/os.hpp"
5b173b4ca846 6989984: Use standard include model for Hospot
stefank
parents: 5547
diff changeset
    36
#include "runtime/stubRoutines.hpp"
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
    37
489c9b5090e2 Initial load
duke
parents:
diff changeset
    38
void C1_MacroAssembler::inline_cache_check(Register receiver, Register iCache) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
    39
  Label L;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    40
  const Register temp_reg = G3_scratch;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    41
  // Note: needs more testing of out-of-line vs. inline slow case
489c9b5090e2 Initial load
duke
parents:
diff changeset
    42
  verify_oop(receiver);
7427
d7b79a367474 6985015: C1 needs to support compressed oops
iveresov
parents: 7397
diff changeset
    43
  load_klass(receiver, temp_reg);
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
    44
  cmp(temp_reg, iCache);
489c9b5090e2 Initial load
duke
parents:
diff changeset
    45
  brx(Assembler::equal, true, Assembler::pt, L);
489c9b5090e2 Initial load
duke
parents:
diff changeset
    46
  delayed()->nop();
2571
d602ad6538bd 6822110: Add AddressLiteral class on SPARC
twisti
parents: 670
diff changeset
    47
  AddressLiteral ic_miss(SharedRuntime::get_ic_miss_stub());
d602ad6538bd 6822110: Add AddressLiteral class on SPARC
twisti
parents: 670
diff changeset
    48
  jump_to(ic_miss, temp_reg);
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
    49
  delayed()->nop();
489c9b5090e2 Initial load
duke
parents:
diff changeset
    50
  align(CodeEntryAlignment);
489c9b5090e2 Initial load
duke
parents:
diff changeset
    51
  bind(L);
489c9b5090e2 Initial load
duke
parents:
diff changeset
    52
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
    53
489c9b5090e2 Initial load
duke
parents:
diff changeset
    54
489c9b5090e2 Initial load
duke
parents:
diff changeset
    55
void C1_MacroAssembler::explicit_null_check(Register base) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
    56
  Unimplemented();
489c9b5090e2 Initial load
duke
parents:
diff changeset
    57
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
    58
489c9b5090e2 Initial load
duke
parents:
diff changeset
    59
489c9b5090e2 Initial load
duke
parents:
diff changeset
    60
void C1_MacroAssembler::build_frame(int frame_size_in_bytes) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
    61
489c9b5090e2 Initial load
duke
parents:
diff changeset
    62
  generate_stack_overflow_check(frame_size_in_bytes);
489c9b5090e2 Initial load
duke
parents:
diff changeset
    63
  // Create the frame.
489c9b5090e2 Initial load
duke
parents:
diff changeset
    64
  save_frame_c1(frame_size_in_bytes);
489c9b5090e2 Initial load
duke
parents:
diff changeset
    65
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
    66
489c9b5090e2 Initial load
duke
parents:
diff changeset
    67
489c9b5090e2 Initial load
duke
parents:
diff changeset
    68
void C1_MacroAssembler::unverified_entry(Register receiver, Register ic_klass) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
    69
  if (C1Breakpoint) breakpoint_trap();
489c9b5090e2 Initial load
duke
parents:
diff changeset
    70
  inline_cache_check(receiver, ic_klass);
489c9b5090e2 Initial load
duke
parents:
diff changeset
    71
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
    72
489c9b5090e2 Initial load
duke
parents:
diff changeset
    73
489c9b5090e2 Initial load
duke
parents:
diff changeset
    74
void C1_MacroAssembler::verified_entry() {
489c9b5090e2 Initial load
duke
parents:
diff changeset
    75
  if (C1Breakpoint) breakpoint_trap();
489c9b5090e2 Initial load
duke
parents:
diff changeset
    76
  // build frame
489c9b5090e2 Initial load
duke
parents:
diff changeset
    77
  verify_FPU(0, "method_entry");
489c9b5090e2 Initial load
duke
parents:
diff changeset
    78
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
    79
489c9b5090e2 Initial load
duke
parents:
diff changeset
    80
489c9b5090e2 Initial load
duke
parents:
diff changeset
    81
void C1_MacroAssembler::lock_object(Register Rmark, Register Roop, Register Rbox, Register Rscratch, Label& slow_case) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
    82
  assert_different_registers(Rmark, Roop, Rbox, Rscratch);
489c9b5090e2 Initial load
duke
parents:
diff changeset
    83
489c9b5090e2 Initial load
duke
parents:
diff changeset
    84
  Label done;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    85
2571
d602ad6538bd 6822110: Add AddressLiteral class on SPARC
twisti
parents: 670
diff changeset
    86
  Address mark_addr(Roop, oopDesc::mark_offset_in_bytes());
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
    87
489c9b5090e2 Initial load
duke
parents:
diff changeset
    88
  // The following move must be the first instruction of emitted since debug
489c9b5090e2 Initial load
duke
parents:
diff changeset
    89
  // information may be generated for it.
489c9b5090e2 Initial load
duke
parents:
diff changeset
    90
  // Load object header
489c9b5090e2 Initial load
duke
parents:
diff changeset
    91
  ld_ptr(mark_addr, Rmark);
489c9b5090e2 Initial load
duke
parents:
diff changeset
    92
489c9b5090e2 Initial load
duke
parents:
diff changeset
    93
  verify_oop(Roop);
489c9b5090e2 Initial load
duke
parents:
diff changeset
    94
489c9b5090e2 Initial load
duke
parents:
diff changeset
    95
  // save object being locked into the BasicObjectLock
489c9b5090e2 Initial load
duke
parents:
diff changeset
    96
  st_ptr(Roop, Rbox, BasicObjectLock::obj_offset_in_bytes());
489c9b5090e2 Initial load
duke
parents:
diff changeset
    97
489c9b5090e2 Initial load
duke
parents:
diff changeset
    98
  if (UseBiasedLocking) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
    99
    biased_locking_enter(Roop, Rmark, Rscratch, done, &slow_case);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   100
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   101
489c9b5090e2 Initial load
duke
parents:
diff changeset
   102
  // Save Rbox in Rscratch to be used for the cas operation
489c9b5090e2 Initial load
duke
parents:
diff changeset
   103
  mov(Rbox, Rscratch);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   104
489c9b5090e2 Initial load
duke
parents:
diff changeset
   105
  // and mark it unlocked
489c9b5090e2 Initial load
duke
parents:
diff changeset
   106
  or3(Rmark, markOopDesc::unlocked_value, Rmark);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   107
489c9b5090e2 Initial load
duke
parents:
diff changeset
   108
  // save unlocked object header into the displaced header location on the stack
489c9b5090e2 Initial load
duke
parents:
diff changeset
   109
  st_ptr(Rmark, Rbox, BasicLock::displaced_header_offset_in_bytes());
489c9b5090e2 Initial load
duke
parents:
diff changeset
   110
489c9b5090e2 Initial load
duke
parents:
diff changeset
   111
  // compare object markOop with Rmark and if equal exchange Rscratch with object markOop
489c9b5090e2 Initial load
duke
parents:
diff changeset
   112
  assert(mark_addr.disp() == 0, "cas must take a zero displacement");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   113
  casx_under_lock(mark_addr.base(), Rmark, Rscratch, (address)StubRoutines::Sparc::atomic_memory_operation_lock_addr());
489c9b5090e2 Initial load
duke
parents:
diff changeset
   114
  // if compare/exchange succeeded we found an unlocked object and we now have locked it
489c9b5090e2 Initial load
duke
parents:
diff changeset
   115
  // hence we are done
489c9b5090e2 Initial load
duke
parents:
diff changeset
   116
  cmp(Rmark, Rscratch);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   117
  brx(Assembler::equal, false, Assembler::pt, done);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   118
  delayed()->sub(Rscratch, SP, Rscratch);  //pull next instruction into delay slot
489c9b5090e2 Initial load
duke
parents:
diff changeset
   119
  // we did not find an unlocked object so see if this is a recursive case
489c9b5090e2 Initial load
duke
parents:
diff changeset
   120
  // sub(Rscratch, SP, Rscratch);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   121
  assert(os::vm_page_size() > 0xfff, "page size too small - change the constant");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   122
  andcc(Rscratch, 0xfffff003, Rscratch);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   123
  brx(Assembler::notZero, false, Assembler::pn, slow_case);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   124
  delayed()->st_ptr(Rscratch, Rbox, BasicLock::displaced_header_offset_in_bytes());
489c9b5090e2 Initial load
duke
parents:
diff changeset
   125
  bind(done);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   126
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   127
489c9b5090e2 Initial load
duke
parents:
diff changeset
   128
489c9b5090e2 Initial load
duke
parents:
diff changeset
   129
void C1_MacroAssembler::unlock_object(Register Rmark, Register Roop, Register Rbox, Label& slow_case) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   130
  assert_different_registers(Rmark, Roop, Rbox);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   131
489c9b5090e2 Initial load
duke
parents:
diff changeset
   132
  Label done;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   133
2571
d602ad6538bd 6822110: Add AddressLiteral class on SPARC
twisti
parents: 670
diff changeset
   134
  Address mark_addr(Roop, oopDesc::mark_offset_in_bytes());
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   135
  assert(mark_addr.disp() == 0, "cas must take a zero displacement");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   136
489c9b5090e2 Initial load
duke
parents:
diff changeset
   137
  if (UseBiasedLocking) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   138
    // load the object out of the BasicObjectLock
489c9b5090e2 Initial load
duke
parents:
diff changeset
   139
    ld_ptr(Rbox, BasicObjectLock::obj_offset_in_bytes(), Roop);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   140
    verify_oop(Roop);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   141
    biased_locking_exit(mark_addr, Rmark, done);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   142
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   143
  // Test first it it is a fast recursive unlock
489c9b5090e2 Initial load
duke
parents:
diff changeset
   144
  ld_ptr(Rbox, BasicLock::displaced_header_offset_in_bytes(), Rmark);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   145
  br_null(Rmark, false, Assembler::pt, done);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   146
  delayed()->nop();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   147
  if (!UseBiasedLocking) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   148
    // load object
489c9b5090e2 Initial load
duke
parents:
diff changeset
   149
    ld_ptr(Rbox, BasicObjectLock::obj_offset_in_bytes(), Roop);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   150
    verify_oop(Roop);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   151
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   152
489c9b5090e2 Initial load
duke
parents:
diff changeset
   153
  // Check if it is still a light weight lock, this is is true if we see
489c9b5090e2 Initial load
duke
parents:
diff changeset
   154
  // the stack address of the basicLock in the markOop of the object
489c9b5090e2 Initial load
duke
parents:
diff changeset
   155
  casx_under_lock(mark_addr.base(), Rbox, Rmark, (address)StubRoutines::Sparc::atomic_memory_operation_lock_addr());
489c9b5090e2 Initial load
duke
parents:
diff changeset
   156
  cmp(Rbox, Rmark);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   157
489c9b5090e2 Initial load
duke
parents:
diff changeset
   158
  brx(Assembler::notEqual, false, Assembler::pn, slow_case);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   159
  delayed()->nop();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   160
  // Done
489c9b5090e2 Initial load
duke
parents:
diff changeset
   161
  bind(done);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   162
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   163
489c9b5090e2 Initial load
duke
parents:
diff changeset
   164
489c9b5090e2 Initial load
duke
parents:
diff changeset
   165
void C1_MacroAssembler::try_allocate(
489c9b5090e2 Initial load
duke
parents:
diff changeset
   166
  Register obj,                        // result: pointer to object after successful allocation
489c9b5090e2 Initial load
duke
parents:
diff changeset
   167
  Register var_size_in_bytes,          // object size in bytes if unknown at compile time; invalid otherwise
489c9b5090e2 Initial load
duke
parents:
diff changeset
   168
  int      con_size_in_bytes,          // object size in bytes if   known at compile time
7724
a92d706dbdd5 7003271: Hotspot should track cumulative Java heap bytes allocated on a per-thread basis
phh
parents: 7427
diff changeset
   169
  Register t1,                         // temp register, must be global register for incr_allocated_bytes
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   170
  Register t2,                         // temp register
489c9b5090e2 Initial load
duke
parents:
diff changeset
   171
  Label&   slow_case                   // continuation point if fast allocation fails
489c9b5090e2 Initial load
duke
parents:
diff changeset
   172
) {
7898
729a02451b8a 7011463: Sparc MacroAssembler::incr_allocated_bytes() needs a RegisterOrConstant argument
phh
parents: 7724
diff changeset
   173
  RegisterOrConstant size_in_bytes = var_size_in_bytes->is_valid()
729a02451b8a 7011463: Sparc MacroAssembler::incr_allocated_bytes() needs a RegisterOrConstant argument
phh
parents: 7724
diff changeset
   174
    ? RegisterOrConstant(var_size_in_bytes) : RegisterOrConstant(con_size_in_bytes);
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   175
  if (UseTLAB) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   176
    tlab_allocate(obj, var_size_in_bytes, con_size_in_bytes, t1, slow_case);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   177
  } else {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   178
    eden_allocate(obj, var_size_in_bytes, con_size_in_bytes, t1, t2, slow_case);
7898
729a02451b8a 7011463: Sparc MacroAssembler::incr_allocated_bytes() needs a RegisterOrConstant argument
phh
parents: 7724
diff changeset
   179
    incr_allocated_bytes(size_in_bytes, t1, t2);
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   180
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   181
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   182
489c9b5090e2 Initial load
duke
parents:
diff changeset
   183
489c9b5090e2 Initial load
duke
parents:
diff changeset
   184
void C1_MacroAssembler::initialize_header(Register obj, Register klass, Register len, Register t1, Register t2) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   185
  assert_different_registers(obj, klass, len, t1, t2);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   186
  if (UseBiasedLocking && !len->is_valid()) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   187
    ld_ptr(klass, Klass::prototype_header_offset_in_bytes() + klassOopDesc::klass_part_offset_in_bytes(), t1);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   188
  } else {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   189
    set((intx)markOopDesc::prototype(), t1);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   190
  }
7427
d7b79a367474 6985015: C1 needs to support compressed oops
iveresov
parents: 7397
diff changeset
   191
  st_ptr(t1, obj, oopDesc::mark_offset_in_bytes());
d7b79a367474 6985015: C1 needs to support compressed oops
iveresov
parents: 7397
diff changeset
   192
  if (UseCompressedOops) {
d7b79a367474 6985015: C1 needs to support compressed oops
iveresov
parents: 7397
diff changeset
   193
    // Save klass
d7b79a367474 6985015: C1 needs to support compressed oops
iveresov
parents: 7397
diff changeset
   194
    mov(klass, t1);
d7b79a367474 6985015: C1 needs to support compressed oops
iveresov
parents: 7397
diff changeset
   195
    encode_heap_oop_not_null(t1);
d7b79a367474 6985015: C1 needs to support compressed oops
iveresov
parents: 7397
diff changeset
   196
    stw(t1, obj, oopDesc::klass_offset_in_bytes());
d7b79a367474 6985015: C1 needs to support compressed oops
iveresov
parents: 7397
diff changeset
   197
  } else {
d7b79a367474 6985015: C1 needs to support compressed oops
iveresov
parents: 7397
diff changeset
   198
    st_ptr(klass, obj, oopDesc::klass_offset_in_bytes());
d7b79a367474 6985015: C1 needs to support compressed oops
iveresov
parents: 7397
diff changeset
   199
  }
d7b79a367474 6985015: C1 needs to support compressed oops
iveresov
parents: 7397
diff changeset
   200
  if (len->is_valid()) st(len, obj, arrayOopDesc::length_offset_in_bytes());
d7b79a367474 6985015: C1 needs to support compressed oops
iveresov
parents: 7397
diff changeset
   201
  else if (UseCompressedOops) {
d7b79a367474 6985015: C1 needs to support compressed oops
iveresov
parents: 7397
diff changeset
   202
    store_klass_gap(G0, obj);
d7b79a367474 6985015: C1 needs to support compressed oops
iveresov
parents: 7397
diff changeset
   203
  }
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   204
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   205
489c9b5090e2 Initial load
duke
parents:
diff changeset
   206
489c9b5090e2 Initial load
duke
parents:
diff changeset
   207
void C1_MacroAssembler::initialize_body(Register base, Register index) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   208
  assert_different_registers(base, index);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   209
  Label loop;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   210
  bind(loop);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   211
  subcc(index, HeapWordSize, index);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   212
  brx(Assembler::greaterEqual, true, Assembler::pt, loop);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   213
  delayed()->st_ptr(G0, base, index);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   214
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   215
489c9b5090e2 Initial load
duke
parents:
diff changeset
   216
489c9b5090e2 Initial load
duke
parents:
diff changeset
   217
void C1_MacroAssembler::allocate_object(
489c9b5090e2 Initial load
duke
parents:
diff changeset
   218
  Register obj,                        // result: pointer to object after successful allocation
489c9b5090e2 Initial load
duke
parents:
diff changeset
   219
  Register t1,                         // temp register
7724
a92d706dbdd5 7003271: Hotspot should track cumulative Java heap bytes allocated on a per-thread basis
phh
parents: 7427
diff changeset
   220
  Register t2,                         // temp register, must be a global register for try_allocate
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   221
  Register t3,                         // temp register
489c9b5090e2 Initial load
duke
parents:
diff changeset
   222
  int      hdr_size,                   // object header size in words
489c9b5090e2 Initial load
duke
parents:
diff changeset
   223
  int      obj_size,                   // object size in words
489c9b5090e2 Initial load
duke
parents:
diff changeset
   224
  Register klass,                      // object klass
489c9b5090e2 Initial load
duke
parents:
diff changeset
   225
  Label&   slow_case                   // continuation point if fast allocation fails
489c9b5090e2 Initial load
duke
parents:
diff changeset
   226
) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   227
  assert_different_registers(obj, t1, t2, t3, klass);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   228
  assert(klass == G5, "must be G5");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   229
489c9b5090e2 Initial load
duke
parents:
diff changeset
   230
  // allocate space & initialize header
489c9b5090e2 Initial load
duke
parents:
diff changeset
   231
  if (!is_simm13(obj_size * wordSize)) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   232
    // would need to use extra register to load
489c9b5090e2 Initial load
duke
parents:
diff changeset
   233
    // object size => go the slow case for now
489c9b5090e2 Initial load
duke
parents:
diff changeset
   234
    br(Assembler::always, false, Assembler::pt, slow_case);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   235
    delayed()->nop();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   236
    return;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   237
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   238
  try_allocate(obj, noreg, obj_size * wordSize, t2, t3, slow_case);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   239
489c9b5090e2 Initial load
duke
parents:
diff changeset
   240
  initialize_object(obj, klass, noreg, obj_size * HeapWordSize, t1, t2);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   241
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   242
489c9b5090e2 Initial load
duke
parents:
diff changeset
   243
void C1_MacroAssembler::initialize_object(
489c9b5090e2 Initial load
duke
parents:
diff changeset
   244
  Register obj,                        // result: pointer to object after successful allocation
489c9b5090e2 Initial load
duke
parents:
diff changeset
   245
  Register klass,                      // object klass
489c9b5090e2 Initial load
duke
parents:
diff changeset
   246
  Register var_size_in_bytes,          // object size in bytes if unknown at compile time; invalid otherwise
489c9b5090e2 Initial load
duke
parents:
diff changeset
   247
  int      con_size_in_bytes,          // object size in bytes if   known at compile time
489c9b5090e2 Initial load
duke
parents:
diff changeset
   248
  Register t1,                         // temp register
489c9b5090e2 Initial load
duke
parents:
diff changeset
   249
  Register t2                          // temp register
489c9b5090e2 Initial load
duke
parents:
diff changeset
   250
  ) {
7427
d7b79a367474 6985015: C1 needs to support compressed oops
iveresov
parents: 7397
diff changeset
   251
  const int hdr_size_in_bytes = instanceOopDesc::header_size() * HeapWordSize;
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   252
489c9b5090e2 Initial load
duke
parents:
diff changeset
   253
  initialize_header(obj, klass, noreg, t1, t2);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   254
489c9b5090e2 Initial load
duke
parents:
diff changeset
   255
#ifdef ASSERT
489c9b5090e2 Initial load
duke
parents:
diff changeset
   256
  {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   257
    Label ok;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   258
    ld(klass, klassOopDesc::header_size() * HeapWordSize + Klass::layout_helper_offset_in_bytes(), t1);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   259
    if (var_size_in_bytes != noreg) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   260
      cmp(t1, var_size_in_bytes);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   261
    } else {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   262
      cmp(t1, con_size_in_bytes);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   263
    }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   264
    brx(Assembler::equal, false, Assembler::pt, ok);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   265
    delayed()->nop();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   266
    stop("bad size in initialize_object");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   267
    should_not_reach_here();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   268
489c9b5090e2 Initial load
duke
parents:
diff changeset
   269
    bind(ok);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   270
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   271
489c9b5090e2 Initial load
duke
parents:
diff changeset
   272
#endif
489c9b5090e2 Initial load
duke
parents:
diff changeset
   273
489c9b5090e2 Initial load
duke
parents:
diff changeset
   274
  // initialize body
489c9b5090e2 Initial load
duke
parents:
diff changeset
   275
  const int threshold = 5 * HeapWordSize;              // approximate break even point for code size
489c9b5090e2 Initial load
duke
parents:
diff changeset
   276
  if (var_size_in_bytes != noreg) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   277
    // use a loop
489c9b5090e2 Initial load
duke
parents:
diff changeset
   278
    add(obj, hdr_size_in_bytes, t1);               // compute address of first element
489c9b5090e2 Initial load
duke
parents:
diff changeset
   279
    sub(var_size_in_bytes, hdr_size_in_bytes, t2); // compute size of body
489c9b5090e2 Initial load
duke
parents:
diff changeset
   280
    initialize_body(t1, t2);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   281
#ifndef _LP64
489c9b5090e2 Initial load
duke
parents:
diff changeset
   282
  } else if (VM_Version::v9_instructions_work() && con_size_in_bytes < threshold * 2) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   283
    // on v9 we can do double word stores to fill twice as much space.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   284
    assert(hdr_size_in_bytes % 8 == 0, "double word aligned");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   285
    assert(con_size_in_bytes % 8 == 0, "double word aligned");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   286
    for (int i = hdr_size_in_bytes; i < con_size_in_bytes; i += 2 * HeapWordSize) stx(G0, obj, i);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   287
#endif
489c9b5090e2 Initial load
duke
parents:
diff changeset
   288
  } else if (con_size_in_bytes <= threshold) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   289
    // use explicit NULL stores
489c9b5090e2 Initial load
duke
parents:
diff changeset
   290
    for (int i = hdr_size_in_bytes; i < con_size_in_bytes; i += HeapWordSize)     st_ptr(G0, obj, i);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   291
  } else if (con_size_in_bytes > hdr_size_in_bytes) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   292
    // use a loop
489c9b5090e2 Initial load
duke
parents:
diff changeset
   293
    const Register base  = t1;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   294
    const Register index = t2;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   295
    add(obj, hdr_size_in_bytes, base);               // compute address of first element
489c9b5090e2 Initial load
duke
parents:
diff changeset
   296
    // compute index = number of words to clear
489c9b5090e2 Initial load
duke
parents:
diff changeset
   297
    set(con_size_in_bytes - hdr_size_in_bytes, index);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   298
    initialize_body(base, index);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   299
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   300
2867
69187054225f 6788527: Server vm intermittently fails with assertion "live value must not be garbage" with fastdebug bits
kvn
parents: 2571
diff changeset
   301
  if (CURRENT_ENV->dtrace_alloc_probes()) {
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   302
    assert(obj == O0, "must be");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   303
    call(CAST_FROM_FN_PTR(address, Runtime1::entry_for(Runtime1::dtrace_object_alloc_id)),
489c9b5090e2 Initial load
duke
parents:
diff changeset
   304
         relocInfo::runtime_call_type);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   305
    delayed()->nop();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   306
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   307
489c9b5090e2 Initial load
duke
parents:
diff changeset
   308
  verify_oop(obj);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   309
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   310
489c9b5090e2 Initial load
duke
parents:
diff changeset
   311
489c9b5090e2 Initial load
duke
parents:
diff changeset
   312
void C1_MacroAssembler::allocate_array(
489c9b5090e2 Initial load
duke
parents:
diff changeset
   313
  Register obj,                        // result: pointer to array after successful allocation
489c9b5090e2 Initial load
duke
parents:
diff changeset
   314
  Register len,                        // array length
489c9b5090e2 Initial load
duke
parents:
diff changeset
   315
  Register t1,                         // temp register
489c9b5090e2 Initial load
duke
parents:
diff changeset
   316
  Register t2,                         // temp register
489c9b5090e2 Initial load
duke
parents:
diff changeset
   317
  Register t3,                         // temp register
489c9b5090e2 Initial load
duke
parents:
diff changeset
   318
  int      hdr_size,                   // object header size in words
489c9b5090e2 Initial load
duke
parents:
diff changeset
   319
  int      elt_size,                   // element size in bytes
489c9b5090e2 Initial load
duke
parents:
diff changeset
   320
  Register klass,                      // object klass
489c9b5090e2 Initial load
duke
parents:
diff changeset
   321
  Label&   slow_case                   // continuation point if fast allocation fails
489c9b5090e2 Initial load
duke
parents:
diff changeset
   322
) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   323
  assert_different_registers(obj, len, t1, t2, t3, klass);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   324
  assert(klass == G5, "must be G5");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   325
  assert(t1 == G1, "must be G1");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   326
489c9b5090e2 Initial load
duke
parents:
diff changeset
   327
  // determine alignment mask
489c9b5090e2 Initial load
duke
parents:
diff changeset
   328
  assert(!(BytesPerWord & 1), "must be a multiple of 2 for masking code to work");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   329
489c9b5090e2 Initial load
duke
parents:
diff changeset
   330
  // check for negative or excessive length
489c9b5090e2 Initial load
duke
parents:
diff changeset
   331
  // note: the maximum length allowed is chosen so that arrays of any
489c9b5090e2 Initial load
duke
parents:
diff changeset
   332
  //       element size with this length are always smaller or equal
489c9b5090e2 Initial load
duke
parents:
diff changeset
   333
  //       to the largest integer (i.e., array size computation will
489c9b5090e2 Initial load
duke
parents:
diff changeset
   334
  //       not overflow)
489c9b5090e2 Initial load
duke
parents:
diff changeset
   335
  set(max_array_allocation_length, t1);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   336
  cmp(len, t1);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   337
  br(Assembler::greaterUnsigned, false, Assembler::pn, slow_case);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   338
489c9b5090e2 Initial load
duke
parents:
diff changeset
   339
  // compute array size
489c9b5090e2 Initial load
duke
parents:
diff changeset
   340
  // note: if 0 <= len <= max_length, len*elt_size + header + alignment is
489c9b5090e2 Initial load
duke
parents:
diff changeset
   341
  //       smaller or equal to the largest integer; also, since top is always
489c9b5090e2 Initial load
duke
parents:
diff changeset
   342
  //       aligned, we can do the alignment here instead of at the end address
489c9b5090e2 Initial load
duke
parents:
diff changeset
   343
  //       computation
489c9b5090e2 Initial load
duke
parents:
diff changeset
   344
  const Register arr_size = t1;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   345
  switch (elt_size) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   346
    case  1: delayed()->mov(len,    arr_size); break;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   347
    case  2: delayed()->sll(len, 1, arr_size); break;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   348
    case  4: delayed()->sll(len, 2, arr_size); break;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   349
    case  8: delayed()->sll(len, 3, arr_size); break;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   350
    default: ShouldNotReachHere();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   351
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   352
  add(arr_size, hdr_size * wordSize + MinObjAlignmentInBytesMask, arr_size); // add space for header & alignment
489c9b5090e2 Initial load
duke
parents:
diff changeset
   353
  and3(arr_size, ~MinObjAlignmentInBytesMask, arr_size);                     // align array size
489c9b5090e2 Initial load
duke
parents:
diff changeset
   354
489c9b5090e2 Initial load
duke
parents:
diff changeset
   355
  // allocate space & initialize header
489c9b5090e2 Initial load
duke
parents:
diff changeset
   356
  if (UseTLAB) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   357
    tlab_allocate(obj, arr_size, 0, t2, slow_case);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   358
  } else {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   359
    eden_allocate(obj, arr_size, 0, t2, t3, slow_case);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   360
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   361
  initialize_header(obj, klass, len, t2, t3);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   362
489c9b5090e2 Initial load
duke
parents:
diff changeset
   363
  // initialize body
489c9b5090e2 Initial load
duke
parents:
diff changeset
   364
  const Register base  = t2;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   365
  const Register index = t3;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   366
  add(obj, hdr_size * wordSize, base);               // compute address of first element
489c9b5090e2 Initial load
duke
parents:
diff changeset
   367
  sub(arr_size, hdr_size * wordSize, index);         // compute index = number of words to clear
489c9b5090e2 Initial load
duke
parents:
diff changeset
   368
  initialize_body(base, index);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   369
2867
69187054225f 6788527: Server vm intermittently fails with assertion "live value must not be garbage" with fastdebug bits
kvn
parents: 2571
diff changeset
   370
  if (CURRENT_ENV->dtrace_alloc_probes()) {
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   371
    assert(obj == O0, "must be");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   372
    call(CAST_FROM_FN_PTR(address, Runtime1::entry_for(Runtime1::dtrace_object_alloc_id)),
489c9b5090e2 Initial load
duke
parents:
diff changeset
   373
         relocInfo::runtime_call_type);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   374
    delayed()->nop();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   375
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   376
489c9b5090e2 Initial load
duke
parents:
diff changeset
   377
  verify_oop(obj);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   378
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   379
489c9b5090e2 Initial load
duke
parents:
diff changeset
   380
489c9b5090e2 Initial load
duke
parents:
diff changeset
   381
#ifndef PRODUCT
489c9b5090e2 Initial load
duke
parents:
diff changeset
   382
489c9b5090e2 Initial load
duke
parents:
diff changeset
   383
void C1_MacroAssembler::verify_stack_oop(int stack_offset) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   384
  if (!VerifyOops) return;
2571
d602ad6538bd 6822110: Add AddressLiteral class on SPARC
twisti
parents: 670
diff changeset
   385
  verify_oop_addr(Address(SP, stack_offset + STACK_BIAS));
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   386
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   387
489c9b5090e2 Initial load
duke
parents:
diff changeset
   388
void C1_MacroAssembler::verify_not_null_oop(Register r) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   389
  Label not_null;
9120
3606dd709168 7034967: C1: assert(false) failed: error (assembler_sparc.cpp:2043)
iveresov
parents: 7898
diff changeset
   390
  br_notnull(r, false, Assembler::pt, not_null);
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   391
  delayed()->nop();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   392
  stop("non-null oop required");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   393
  bind(not_null);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   394
  if (!VerifyOops) return;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   395
  verify_oop(r);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   396
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   397
489c9b5090e2 Initial load
duke
parents:
diff changeset
   398
void C1_MacroAssembler::invalidate_registers(bool iregisters, bool lregisters, bool oregisters,
489c9b5090e2 Initial load
duke
parents:
diff changeset
   399
                                             Register preserve1, Register preserve2) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   400
  if (iregisters) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   401
    for (int i = 0; i < 6; i++) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   402
      Register r = as_iRegister(i);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   403
      if (r != preserve1 && r != preserve2)  set(0xdead, r);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   404
    }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   405
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   406
  if (oregisters) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   407
    for (int i = 0; i < 6; i++) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   408
      Register r = as_oRegister(i);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   409
      if (r != preserve1 && r != preserve2)  set(0xdead, r);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   410
    }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   411
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   412
  if (lregisters) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   413
    for (int i = 0; i < 8; i++) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   414
      Register r = as_lRegister(i);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   415
      if (r != preserve1 && r != preserve2)  set(0xdead, r);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   416
    }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   417
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   418
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   419
489c9b5090e2 Initial load
duke
parents:
diff changeset
   420
489c9b5090e2 Initial load
duke
parents:
diff changeset
   421
#endif