src/hotspot/share/compiler/oopMap.cpp
author lkorinth
Wed, 11 Sep 2019 14:16:27 +0200
changeset 58083 9046db64ca39
parent 55310 966a51af2986
child 58527 f9cc0141574c
permissions -rw-r--r--
8227168: Cleanup usage of NEW_C_HEAP_ARRAY Reviewed-by: coleenp, dholmes, kbarrett, tschatzl
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
     1
/*
54623
1126f0607c70 8222811: Consolidate MutexLockerEx and MutexLocker
coleenp
parents: 52070
diff changeset
     2
 * Copyright (c) 1998, 2019, 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: 3795
diff changeset
    19
 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
f4b087cbb361 6941466: Oracle rebranding changes for Hotspot repositories
trims
parents: 3795
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: 3795
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 "code/codeBlob.hpp"
5b173b4ca846 6989984: Use standard include model for Hospot
stefank
parents: 5547
diff changeset
    27
#include "code/codeCache.hpp"
5b173b4ca846 6989984: Use standard include model for Hospot
stefank
parents: 5547
diff changeset
    28
#include "code/nmethod.hpp"
5b173b4ca846 6989984: Use standard include model for Hospot
stefank
parents: 5547
diff changeset
    29
#include "code/scopeDesc.hpp"
5b173b4ca846 6989984: Use standard include model for Hospot
stefank
parents: 5547
diff changeset
    30
#include "compiler/oopMap.hpp"
30764
fec48bf5a827 8079792: GC directory structure cleanup
pliden
parents: 30590
diff changeset
    31
#include "gc/shared/collectedHeap.hpp"
7397
5b173b4ca846 6989984: Use standard include model for Hospot
stefank
parents: 5547
diff changeset
    32
#include "memory/allocation.inline.hpp"
47676
b1c020fc35a3 8189748: More precise closures for WeakProcessor::weak_oops_do calls
stefank
parents: 47547
diff changeset
    33
#include "memory/iterator.hpp"
7397
5b173b4ca846 6989984: Use standard include model for Hospot
stefank
parents: 5547
diff changeset
    34
#include "memory/resourceArea.hpp"
54786
ebf733a324d4 8223624: Cleanup includes of universe.hpp
stefank
parents: 54780
diff changeset
    35
#include "memory/universe.hpp"
54780
f8d182aedc92 8223136: Move compressed oops functions to CompressedOops class
stefank
parents: 54623
diff changeset
    36
#include "oops/compressedOops.hpp"
7397
5b173b4ca846 6989984: Use standard include model for Hospot
stefank
parents: 5547
diff changeset
    37
#include "runtime/frame.inline.hpp"
49393
93fe2fc5c093 8199472: Fix non-PCH build after JDK-8199319
simonis
parents: 47799
diff changeset
    38
#include "runtime/handles.inline.hpp"
7397
5b173b4ca846 6989984: Use standard include model for Hospot
stefank
parents: 5547
diff changeset
    39
#include "runtime/signature.hpp"
46625
edefffab74e2 8183552: Move align functions to align.hpp
stefank
parents: 46619
diff changeset
    40
#include "utilities/align.hpp"
54916
7136c9ac56a7 8160539: Stack frame scanning acquires DerivedPointerTableGC_lock mutex
kbarrett
parents: 54807
diff changeset
    41
#include "utilities/lockFreeStack.hpp"
7397
5b173b4ca846 6989984: Use standard include model for Hospot
stefank
parents: 5547
diff changeset
    42
#ifdef COMPILER1
5b173b4ca846 6989984: Use standard include model for Hospot
stefank
parents: 5547
diff changeset
    43
#include "c1/c1_Defs.hpp"
5b173b4ca846 6989984: Use standard include model for Hospot
stefank
parents: 5547
diff changeset
    44
#endif
25715
d5a8dbdc5150 8049325: Introduce and clean up umbrella headers for the files in the cpu subdirectories.
goetz
parents: 24424
diff changeset
    45
#ifdef COMPILER2
d5a8dbdc5150 8049325: Introduce and clean up umbrella headers for the files in the cpu subdirectories.
goetz
parents: 24424
diff changeset
    46
#include "opto/optoreg.hpp"
d5a8dbdc5150 8049325: Introduce and clean up umbrella headers for the files in the cpu subdirectories.
goetz
parents: 24424
diff changeset
    47
#endif
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
    48
489c9b5090e2 Initial load
duke
parents:
diff changeset
    49
// OopMapStream
489c9b5090e2 Initial load
duke
parents:
diff changeset
    50
30590
14f7f48c1377 8064458: OopMap class could be more compact
rbackman
parents: 25715
diff changeset
    51
OopMapStream::OopMapStream(OopMap* oop_map, int oop_types_mask) {
14f7f48c1377 8064458: OopMap class could be more compact
rbackman
parents: 25715
diff changeset
    52
  _stream = new CompressedReadStream(oop_map->write_stream()->buffer());
14f7f48c1377 8064458: OopMap class could be more compact
rbackman
parents: 25715
diff changeset
    53
  _mask = oop_types_mask;
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
    54
  _size = oop_map->omv_count();
489c9b5090e2 Initial load
duke
parents:
diff changeset
    55
  _position = 0;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    56
  _valid_omv = false;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    57
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
    58
30590
14f7f48c1377 8064458: OopMap class could be more compact
rbackman
parents: 25715
diff changeset
    59
OopMapStream::OopMapStream(const ImmutableOopMap* oop_map, int oop_types_mask) {
14f7f48c1377 8064458: OopMap class could be more compact
rbackman
parents: 25715
diff changeset
    60
  _stream = new CompressedReadStream(oop_map->data_addr());
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
    61
  _mask = oop_types_mask;
30590
14f7f48c1377 8064458: OopMap class could be more compact
rbackman
parents: 25715
diff changeset
    62
  _size = oop_map->count();
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
    63
  _position = 0;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    64
  _valid_omv = false;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    65
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
    66
489c9b5090e2 Initial load
duke
parents:
diff changeset
    67
void OopMapStream::find_next() {
489c9b5090e2 Initial load
duke
parents:
diff changeset
    68
  while(_position++ < _size) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
    69
    _omv.read_from(_stream);
489c9b5090e2 Initial load
duke
parents:
diff changeset
    70
    if(((int)_omv.type() & _mask) > 0) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
    71
      _valid_omv = true;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    72
      return;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    73
    }
489c9b5090e2 Initial load
duke
parents:
diff changeset
    74
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
    75
  _valid_omv = false;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    76
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
    77
489c9b5090e2 Initial load
duke
parents:
diff changeset
    78
489c9b5090e2 Initial load
duke
parents:
diff changeset
    79
// OopMap
489c9b5090e2 Initial load
duke
parents:
diff changeset
    80
489c9b5090e2 Initial load
duke
parents:
diff changeset
    81
// frame_size units are stack-slots (4 bytes) NOT intptr_t; we can name odd
489c9b5090e2 Initial load
duke
parents:
diff changeset
    82
// slots to hold 4-byte values like ints and floats in the LP64 build.
489c9b5090e2 Initial load
duke
parents:
diff changeset
    83
OopMap::OopMap(int frame_size, int arg_count) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
    84
  // OopMaps are usually quite so small, so pick a small initial size
489c9b5090e2 Initial load
duke
parents:
diff changeset
    85
  set_write_stream(new CompressedWriteStream(32));
489c9b5090e2 Initial load
duke
parents:
diff changeset
    86
  set_omv_count(0);
489c9b5090e2 Initial load
duke
parents:
diff changeset
    87
489c9b5090e2 Initial load
duke
parents:
diff changeset
    88
#ifdef ASSERT
489c9b5090e2 Initial load
duke
parents:
diff changeset
    89
  _locs_length = VMRegImpl::stack2reg(0)->value() + frame_size + arg_count;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    90
  _locs_used   = NEW_RESOURCE_ARRAY(OopMapValue::oop_types, _locs_length);
489c9b5090e2 Initial load
duke
parents:
diff changeset
    91
  for(int i = 0; i < _locs_length; i++) _locs_used[i] = OopMapValue::unused_value;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    92
#endif
489c9b5090e2 Initial load
duke
parents:
diff changeset
    93
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
    94
489c9b5090e2 Initial load
duke
parents:
diff changeset
    95
489c9b5090e2 Initial load
duke
parents:
diff changeset
    96
OopMap::OopMap(OopMap::DeepCopyToken, OopMap* source) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
    97
  // This constructor does a deep copy
489c9b5090e2 Initial load
duke
parents:
diff changeset
    98
  // of the source OopMap.
489c9b5090e2 Initial load
duke
parents:
diff changeset
    99
  set_write_stream(new CompressedWriteStream(source->omv_count() * 2));
489c9b5090e2 Initial load
duke
parents:
diff changeset
   100
  set_omv_count(0);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   101
  set_offset(source->offset());
489c9b5090e2 Initial load
duke
parents:
diff changeset
   102
489c9b5090e2 Initial load
duke
parents:
diff changeset
   103
#ifdef ASSERT
489c9b5090e2 Initial load
duke
parents:
diff changeset
   104
  _locs_length = source->_locs_length;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   105
  _locs_used = NEW_RESOURCE_ARRAY(OopMapValue::oop_types, _locs_length);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   106
  for(int i = 0; i < _locs_length; i++) _locs_used[i] = OopMapValue::unused_value;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   107
#endif
489c9b5090e2 Initial load
duke
parents:
diff changeset
   108
489c9b5090e2 Initial load
duke
parents:
diff changeset
   109
  // We need to copy the entries too.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   110
  for (OopMapStream oms(source); !oms.is_done(); oms.next()) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   111
    OopMapValue omv = oms.current();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   112
    omv.write_on(write_stream());
489c9b5090e2 Initial load
duke
parents:
diff changeset
   113
    increment_count();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   114
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   115
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   116
489c9b5090e2 Initial load
duke
parents:
diff changeset
   117
489c9b5090e2 Initial load
duke
parents:
diff changeset
   118
OopMap* OopMap::deep_copy() {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   119
  return new OopMap(_deep_copy_token, this);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   120
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   121
30590
14f7f48c1377 8064458: OopMap class could be more compact
rbackman
parents: 25715
diff changeset
   122
void OopMap::copy_data_to(address addr) const {
14f7f48c1377 8064458: OopMap class could be more compact
rbackman
parents: 25715
diff changeset
   123
  memcpy(addr, write_stream()->buffer(), write_stream()->position());
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   124
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   125
489c9b5090e2 Initial load
duke
parents:
diff changeset
   126
int OopMap::heap_size() const {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   127
  int size = sizeof(OopMap);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   128
  int align = sizeof(void *) - 1;
30590
14f7f48c1377 8064458: OopMap class could be more compact
rbackman
parents: 25715
diff changeset
   129
  size += write_stream()->position();
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   130
  // Align to a reasonable ending point
489c9b5090e2 Initial load
duke
parents:
diff changeset
   131
  size = ((size+align) & ~align);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   132
  return size;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   133
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   134
489c9b5090e2 Initial load
duke
parents:
diff changeset
   135
// frame_size units are stack-slots (4 bytes) NOT intptr_t; we can name odd
489c9b5090e2 Initial load
duke
parents:
diff changeset
   136
// slots to hold 4-byte values like ints and floats in the LP64 build.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   137
void OopMap::set_xxx(VMReg reg, OopMapValue::oop_types x, VMReg optional) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   138
489c9b5090e2 Initial load
duke
parents:
diff changeset
   139
  assert(reg->value() < _locs_length, "too big reg value for stack size");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   140
  assert( _locs_used[reg->value()] == OopMapValue::unused_value, "cannot insert twice" );
489c9b5090e2 Initial load
duke
parents:
diff changeset
   141
  debug_only( _locs_used[reg->value()] = x; )
489c9b5090e2 Initial load
duke
parents:
diff changeset
   142
489c9b5090e2 Initial load
duke
parents:
diff changeset
   143
  OopMapValue o(reg, x);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   144
489c9b5090e2 Initial load
duke
parents:
diff changeset
   145
  if(x == OopMapValue::callee_saved_value) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   146
    // This can never be a stack location, so we don't need to transform it.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   147
    assert(optional->is_reg(), "Trying to callee save a stack location");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   148
    o.set_content_reg(optional);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   149
  } else if(x == OopMapValue::derived_oop_value) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   150
    o.set_content_reg(optional);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   151
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   152
489c9b5090e2 Initial load
duke
parents:
diff changeset
   153
  o.write_on(write_stream());
489c9b5090e2 Initial load
duke
parents:
diff changeset
   154
  increment_count();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   155
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   156
489c9b5090e2 Initial load
duke
parents:
diff changeset
   157
489c9b5090e2 Initial load
duke
parents:
diff changeset
   158
void OopMap::set_oop(VMReg reg) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   159
  set_xxx(reg, OopMapValue::oop_value, VMRegImpl::Bad());
489c9b5090e2 Initial load
duke
parents:
diff changeset
   160
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   161
489c9b5090e2 Initial load
duke
parents:
diff changeset
   162
489c9b5090e2 Initial load
duke
parents:
diff changeset
   163
void OopMap::set_value(VMReg reg) {
33063
9e222337a81e 8136406: Remove ZapDeadCompiledLocals code
kvn
parents: 30776
diff changeset
   164
  // At this time, we don't need value entries in our OopMap.
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   165
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   166
489c9b5090e2 Initial load
duke
parents:
diff changeset
   167
360
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 347
diff changeset
   168
void OopMap::set_narrowoop(VMReg reg) {
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 347
diff changeset
   169
  set_xxx(reg, OopMapValue::narrowoop_value, VMRegImpl::Bad());
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   170
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   171
489c9b5090e2 Initial load
duke
parents:
diff changeset
   172
489c9b5090e2 Initial load
duke
parents:
diff changeset
   173
void OopMap::set_callee_saved(VMReg reg, VMReg caller_machine_register ) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   174
  set_xxx(reg, OopMapValue::callee_saved_value, caller_machine_register);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   175
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   176
489c9b5090e2 Initial load
duke
parents:
diff changeset
   177
489c9b5090e2 Initial load
duke
parents:
diff changeset
   178
void OopMap::set_derived_oop(VMReg reg, VMReg derived_from_local_register ) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   179
  if( reg == derived_from_local_register ) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   180
    // Actually an oop, derived shares storage with base,
489c9b5090e2 Initial load
duke
parents:
diff changeset
   181
    set_oop(reg);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   182
  } else {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   183
    set_xxx(reg, OopMapValue::derived_oop_value, derived_from_local_register);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   184
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   185
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   186
489c9b5090e2 Initial load
duke
parents:
diff changeset
   187
// OopMapSet
489c9b5090e2 Initial load
duke
parents:
diff changeset
   188
489c9b5090e2 Initial load
duke
parents:
diff changeset
   189
OopMapSet::OopMapSet() {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   190
  set_om_size(MinOopMapAllocation);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   191
  set_om_count(0);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   192
  OopMap** temp = NEW_RESOURCE_ARRAY(OopMap*, om_size());
489c9b5090e2 Initial load
duke
parents:
diff changeset
   193
  set_om_data(temp);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   194
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   195
489c9b5090e2 Initial load
duke
parents:
diff changeset
   196
489c9b5090e2 Initial load
duke
parents:
diff changeset
   197
void OopMapSet::grow_om_data() {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   198
  int new_size = om_size() * 2;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   199
  OopMap** new_data = NEW_RESOURCE_ARRAY(OopMap*, new_size);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   200
  memcpy(new_data,om_data(),om_size() * sizeof(OopMap*));
489c9b5090e2 Initial load
duke
parents:
diff changeset
   201
  set_om_size(new_size);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   202
  set_om_data(new_data);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   203
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   204
489c9b5090e2 Initial load
duke
parents:
diff changeset
   205
void OopMapSet::add_gc_map(int pc_offset, OopMap *map ) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   206
  assert(om_size() != -1,"Cannot grow a fixed OopMapSet");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   207
489c9b5090e2 Initial load
duke
parents:
diff changeset
   208
  if(om_count() >= om_size()) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   209
    grow_om_data();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   210
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   211
  map->set_offset(pc_offset);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   212
489c9b5090e2 Initial load
duke
parents:
diff changeset
   213
#ifdef ASSERT
489c9b5090e2 Initial load
duke
parents:
diff changeset
   214
  if(om_count() > 0) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   215
    OopMap* last = at(om_count()-1);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   216
    if (last->offset() == map->offset() ) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   217
      fatal("OopMap inserted twice");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   218
    }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   219
    if(last->offset() > map->offset()) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   220
      tty->print_cr( "WARNING, maps not sorted: pc[%d]=%d, pc[%d]=%d",
489c9b5090e2 Initial load
duke
parents:
diff changeset
   221
                      om_count(),last->offset(),om_count()+1,map->offset());
489c9b5090e2 Initial load
duke
parents:
diff changeset
   222
    }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   223
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   224
#endif // ASSERT
489c9b5090e2 Initial load
duke
parents:
diff changeset
   225
489c9b5090e2 Initial load
duke
parents:
diff changeset
   226
  set(om_count(),map);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   227
  increment_count();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   228
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   229
489c9b5090e2 Initial load
duke
parents:
diff changeset
   230
489c9b5090e2 Initial load
duke
parents:
diff changeset
   231
int OopMapSet::heap_size() const {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   232
  // The space we use
489c9b5090e2 Initial load
duke
parents:
diff changeset
   233
  int size = sizeof(OopMap);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   234
  int align = sizeof(void *) - 1;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   235
  size = ((size+align) & ~align);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   236
  size += om_count() * sizeof(OopMap*);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   237
489c9b5090e2 Initial load
duke
parents:
diff changeset
   238
  // Now add in the space needed for the indivdiual OopMaps
489c9b5090e2 Initial load
duke
parents:
diff changeset
   239
  for(int i=0; i < om_count(); i++) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   240
    size += at(i)->heap_size();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   241
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   242
  // We don't need to align this, it will be naturally pointer aligned
489c9b5090e2 Initial load
duke
parents:
diff changeset
   243
  return size;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   244
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   245
489c9b5090e2 Initial load
duke
parents:
diff changeset
   246
489c9b5090e2 Initial load
duke
parents:
diff changeset
   247
OopMap* OopMapSet::singular_oop_map() {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   248
  guarantee(om_count() == 1, "Make sure we only have a single gc point");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   249
  return at(0);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   250
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   251
489c9b5090e2 Initial load
duke
parents:
diff changeset
   252
489c9b5090e2 Initial load
duke
parents:
diff changeset
   253
OopMap* OopMapSet::find_map_at_offset(int pc_offset) const {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   254
  int i, len = om_count();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   255
  assert( len > 0, "must have pointer maps" );
489c9b5090e2 Initial load
duke
parents:
diff changeset
   256
489c9b5090e2 Initial load
duke
parents:
diff changeset
   257
  // Scan through oopmaps. Stop when current offset is either equal or greater
489c9b5090e2 Initial load
duke
parents:
diff changeset
   258
  // than the one we are looking for.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   259
  for( i = 0; i < len; i++) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   260
    if( at(i)->offset() >= pc_offset )
489c9b5090e2 Initial load
duke
parents:
diff changeset
   261
      break;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   262
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   263
489c9b5090e2 Initial load
duke
parents:
diff changeset
   264
  assert( i < len, "oopmap not found" );
489c9b5090e2 Initial load
duke
parents:
diff changeset
   265
489c9b5090e2 Initial load
duke
parents:
diff changeset
   266
  OopMap* m = at(i);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   267
  assert( m->offset() == pc_offset, "oopmap not found" );
489c9b5090e2 Initial load
duke
parents:
diff changeset
   268
  return m;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   269
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   270
489c9b5090e2 Initial load
duke
parents:
diff changeset
   271
static void add_derived_oop(oop* base, oop* derived) {
49972
37b2446d7f86 8202552: [AOT][JVMCI] Incorrect usage of INCLUDE_JVMCI and INCLUDE_AOT
kvn
parents: 49393
diff changeset
   272
#if !defined(TIERED) && !INCLUDE_JVMCI
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   273
  COMPILER1_PRESENT(ShouldNotReachHere();)
49972
37b2446d7f86 8202552: [AOT][JVMCI] Incorrect usage of INCLUDE_JVMCI and INCLUDE_AOT
kvn
parents: 49393
diff changeset
   274
#endif // !defined(TIERED) && !INCLUDE_JVMCI
47799
1772ebf07d1f 8152470: Add COMPILER2_OR_JVMCI definition
jcm
parents: 47676
diff changeset
   275
#if COMPILER2_OR_JVMCI
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   276
  DerivedPointerTable::add(derived, base);
47799
1772ebf07d1f 8152470: Add COMPILER2_OR_JVMCI definition
jcm
parents: 47676
diff changeset
   277
#endif // COMPILER2_OR_JVMCI
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   278
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   279
489c9b5090e2 Initial load
duke
parents:
diff changeset
   280
489c9b5090e2 Initial load
duke
parents:
diff changeset
   281
#ifndef PRODUCT
489c9b5090e2 Initial load
duke
parents:
diff changeset
   282
static void trace_codeblob_maps(const frame *fr, const RegisterMap *reg_map) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   283
  // Print oopmap and regmap
489c9b5090e2 Initial load
duke
parents:
diff changeset
   284
  tty->print_cr("------ ");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   285
  CodeBlob* cb = fr->cb();
33160
c59f1676d27e 8136421: JEP 243: Java-Level JVM Compiler Interface
twisti
parents: 33063
diff changeset
   286
  const ImmutableOopMapSet* maps = cb->oop_maps();
30590
14f7f48c1377 8064458: OopMap class could be more compact
rbackman
parents: 25715
diff changeset
   287
  const ImmutableOopMap* map = cb->oop_map_for_return_address(fr->pc());
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   288
  map->print();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   289
  if( cb->is_nmethod() ) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   290
    nmethod* nm = (nmethod*)cb;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   291
    // native wrappers have no scope data, it is implied
489c9b5090e2 Initial load
duke
parents:
diff changeset
   292
    if (nm->is_native_method()) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   293
      tty->print("bci: 0 (native)");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   294
    } else {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   295
      ScopeDesc* scope  = nm->scope_desc_at(fr->pc());
489c9b5090e2 Initial load
duke
parents:
diff changeset
   296
      tty->print("bci: %d ",scope->bci());
489c9b5090e2 Initial load
duke
parents:
diff changeset
   297
    }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   298
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   299
  tty->cr();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   300
  fr->print_on(tty);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   301
  tty->print("     ");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   302
  cb->print_value_on(tty);  tty->cr();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   303
  reg_map->print();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   304
  tty->print_cr("------ ");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   305
489c9b5090e2 Initial load
duke
parents:
diff changeset
   306
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   307
#endif // PRODUCT
489c9b5090e2 Initial load
duke
parents:
diff changeset
   308
489c9b5090e2 Initial load
duke
parents:
diff changeset
   309
void OopMapSet::oops_do(const frame *fr, const RegisterMap* reg_map, OopClosure* f) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   310
  // add derived oops to a table
47676
b1c020fc35a3 8189748: More precise closures for WeakProcessor::weak_oops_do calls
stefank
parents: 47547
diff changeset
   311
  all_do(fr, reg_map, f, add_derived_oop, &do_nothing_cl);
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   312
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   313
489c9b5090e2 Initial load
duke
parents:
diff changeset
   314
489c9b5090e2 Initial load
duke
parents:
diff changeset
   315
void OopMapSet::all_do(const frame *fr, const RegisterMap *reg_map,
489c9b5090e2 Initial load
duke
parents:
diff changeset
   316
                       OopClosure* oop_fn, void derived_oop_fn(oop*, oop*),
360
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 347
diff changeset
   317
                       OopClosure* value_fn) {
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   318
  CodeBlob* cb = fr->cb();
360
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 347
diff changeset
   319
  assert(cb != NULL, "no codeblob");
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   320
489c9b5090e2 Initial load
duke
parents:
diff changeset
   321
  NOT_PRODUCT(if (TraceCodeBlobStacks) trace_codeblob_maps(fr, reg_map);)
489c9b5090e2 Initial load
duke
parents:
diff changeset
   322
33160
c59f1676d27e 8136421: JEP 243: Java-Level JVM Compiler Interface
twisti
parents: 33063
diff changeset
   323
  const ImmutableOopMapSet* maps = cb->oop_maps();
30590
14f7f48c1377 8064458: OopMap class could be more compact
rbackman
parents: 25715
diff changeset
   324
  const ImmutableOopMap* map = cb->oop_map_for_return_address(fr->pc());
360
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 347
diff changeset
   325
  assert(map != NULL, "no ptr map found");
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   326
489c9b5090e2 Initial load
duke
parents:
diff changeset
   327
  // handle derived pointers first (otherwise base pointer may be
489c9b5090e2 Initial load
duke
parents:
diff changeset
   328
  // changed before derived pointer offset has been collected)
489c9b5090e2 Initial load
duke
parents:
diff changeset
   329
  OopMapValue omv;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   330
  {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   331
    OopMapStream oms(map,OopMapValue::derived_oop_value);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   332
    if (!oms.is_done()) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   333
#ifndef TIERED
489c9b5090e2 Initial load
duke
parents:
diff changeset
   334
      COMPILER1_PRESENT(ShouldNotReachHere();)
33160
c59f1676d27e 8136421: JEP 243: Java-Level JVM Compiler Interface
twisti
parents: 33063
diff changeset
   335
#if INCLUDE_JVMCI
c59f1676d27e 8136421: JEP 243: Java-Level JVM Compiler Interface
twisti
parents: 33063
diff changeset
   336
      if (UseJVMCICompiler) {
c59f1676d27e 8136421: JEP 243: Java-Level JVM Compiler Interface
twisti
parents: 33063
diff changeset
   337
        ShouldNotReachHere();
c59f1676d27e 8136421: JEP 243: Java-Level JVM Compiler Interface
twisti
parents: 33063
diff changeset
   338
      }
c59f1676d27e 8136421: JEP 243: Java-Level JVM Compiler Interface
twisti
parents: 33063
diff changeset
   339
#endif
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   340
#endif // !TIERED
489c9b5090e2 Initial load
duke
parents:
diff changeset
   341
      do {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   342
        omv = oms.current();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   343
        oop* loc = fr->oopmapreg_to_location(omv.reg(),reg_map);
33063
9e222337a81e 8136406: Remove ZapDeadCompiledLocals code
kvn
parents: 30776
diff changeset
   344
        guarantee(loc != NULL, "missing saved register");
45327
ec60e7df88cd 8180855: Null pointer dereference in OopMapSet::all_do of oopMap.cpp:394
zmajo
parents: 40046
diff changeset
   345
        oop *derived_loc = loc;
33063
9e222337a81e 8136406: Remove ZapDeadCompiledLocals code
kvn
parents: 30776
diff changeset
   346
        oop *base_loc    = fr->oopmapreg_to_location(omv.content_reg(), reg_map);
45327
ec60e7df88cd 8180855: Null pointer dereference in OopMapSet::all_do of oopMap.cpp:394
zmajo
parents: 40046
diff changeset
   347
        // Ignore NULL oops and decoded NULL narrow oops which
54780
f8d182aedc92 8223136: Move compressed oops functions to CompressedOops class
stefank
parents: 54623
diff changeset
   348
        // equal to CompressedOops::base() when a narrow oop
45327
ec60e7df88cd 8180855: Null pointer dereference in OopMapSet::all_do of oopMap.cpp:394
zmajo
parents: 40046
diff changeset
   349
        // implicit null check is used in compiled code.
ec60e7df88cd 8180855: Null pointer dereference in OopMapSet::all_do of oopMap.cpp:394
zmajo
parents: 40046
diff changeset
   350
        // The narrow_oop_base could be NULL or be the address
ec60e7df88cd 8180855: Null pointer dereference in OopMapSet::all_do of oopMap.cpp:394
zmajo
parents: 40046
diff changeset
   351
        // of the page below heap depending on compressed oops mode.
54780
f8d182aedc92 8223136: Move compressed oops functions to CompressedOops class
stefank
parents: 54623
diff changeset
   352
        if (base_loc != NULL && *base_loc != NULL && !CompressedOops::is_base(*base_loc)) {
33063
9e222337a81e 8136406: Remove ZapDeadCompiledLocals code
kvn
parents: 30776
diff changeset
   353
          derived_oop_fn(base_loc, derived_loc);
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   354
        }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   355
        oms.next();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   356
      }  while (!oms.is_done());
489c9b5090e2 Initial load
duke
parents:
diff changeset
   357
    }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   358
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   359
33063
9e222337a81e 8136406: Remove ZapDeadCompiledLocals code
kvn
parents: 30776
diff changeset
   360
  // We want coop and oop oop_types
9e222337a81e 8136406: Remove ZapDeadCompiledLocals code
kvn
parents: 30776
diff changeset
   361
  int mask = OopMapValue::oop_value | OopMapValue::narrowoop_value;
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   362
  {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   363
    for (OopMapStream oms(map,mask); !oms.is_done(); oms.next()) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   364
      omv = oms.current();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   365
      oop* loc = fr->oopmapreg_to_location(omv.reg(),reg_map);
33063
9e222337a81e 8136406: Remove ZapDeadCompiledLocals code
kvn
parents: 30776
diff changeset
   366
      // It should be an error if no location can be found for a
9e222337a81e 8136406: Remove ZapDeadCompiledLocals code
kvn
parents: 30776
diff changeset
   367
      // register mentioned as contained an oop of some kind.  Maybe
9e222337a81e 8136406: Remove ZapDeadCompiledLocals code
kvn
parents: 30776
diff changeset
   368
      // this was allowed previously because value_value items might
9e222337a81e 8136406: Remove ZapDeadCompiledLocals code
kvn
parents: 30776
diff changeset
   369
      // be missing?
9e222337a81e 8136406: Remove ZapDeadCompiledLocals code
kvn
parents: 30776
diff changeset
   370
      guarantee(loc != NULL, "missing saved register");
9e222337a81e 8136406: Remove ZapDeadCompiledLocals code
kvn
parents: 30776
diff changeset
   371
      if ( omv.type() == OopMapValue::oop_value ) {
9e222337a81e 8136406: Remove ZapDeadCompiledLocals code
kvn
parents: 30776
diff changeset
   372
        oop val = *loc;
54780
f8d182aedc92 8223136: Move compressed oops functions to CompressedOops class
stefank
parents: 54623
diff changeset
   373
        if (val == NULL || CompressedOops::is_base(val)) {
33063
9e222337a81e 8136406: Remove ZapDeadCompiledLocals code
kvn
parents: 30776
diff changeset
   374
          // Ignore NULL oops and decoded NULL narrow oops which
54780
f8d182aedc92 8223136: Move compressed oops functions to CompressedOops class
stefank
parents: 54623
diff changeset
   375
          // equal to CompressedOops::base() when a narrow oop
33063
9e222337a81e 8136406: Remove ZapDeadCompiledLocals code
kvn
parents: 30776
diff changeset
   376
          // implicit null check is used in compiled code.
9e222337a81e 8136406: Remove ZapDeadCompiledLocals code
kvn
parents: 30776
diff changeset
   377
          // The narrow_oop_base could be NULL or be the address
9e222337a81e 8136406: Remove ZapDeadCompiledLocals code
kvn
parents: 30776
diff changeset
   378
          // of the page below heap depending on compressed oops mode.
9e222337a81e 8136406: Remove ZapDeadCompiledLocals code
kvn
parents: 30776
diff changeset
   379
          continue;
9e222337a81e 8136406: Remove ZapDeadCompiledLocals code
kvn
parents: 30776
diff changeset
   380
        }
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   381
#ifdef ASSERT
55310
966a51af2986 8224966: ZGC: Don't skip oop verification in OopMapSet::all_do()
pliden
parents: 54960
diff changeset
   382
        if ((((uintptr_t)loc & (sizeof(*loc)-1)) != 0) ||
966a51af2986 8224966: ZGC: Don't skip oop verification in OopMapSet::all_do()
pliden
parents: 54960
diff changeset
   383
            !Universe::heap()->is_in_or_null(*loc)) {
33063
9e222337a81e 8136406: Remove ZapDeadCompiledLocals code
kvn
parents: 30776
diff changeset
   384
          tty->print_cr("# Found non oop pointer.  Dumping state at failure");
9e222337a81e 8136406: Remove ZapDeadCompiledLocals code
kvn
parents: 30776
diff changeset
   385
          // try to dump out some helpful debugging information
9e222337a81e 8136406: Remove ZapDeadCompiledLocals code
kvn
parents: 30776
diff changeset
   386
          trace_codeblob_maps(fr, reg_map);
9e222337a81e 8136406: Remove ZapDeadCompiledLocals code
kvn
parents: 30776
diff changeset
   387
          omv.print();
9e222337a81e 8136406: Remove ZapDeadCompiledLocals code
kvn
parents: 30776
diff changeset
   388
          tty->print_cr("register r");
9e222337a81e 8136406: Remove ZapDeadCompiledLocals code
kvn
parents: 30776
diff changeset
   389
          omv.reg()->print();
9e222337a81e 8136406: Remove ZapDeadCompiledLocals code
kvn
parents: 30776
diff changeset
   390
          tty->print_cr("loc = %p *loc = %p\n", loc, (address)*loc);
9e222337a81e 8136406: Remove ZapDeadCompiledLocals code
kvn
parents: 30776
diff changeset
   391
          // do the real assert.
9e222337a81e 8136406: Remove ZapDeadCompiledLocals code
kvn
parents: 30776
diff changeset
   392
          assert(Universe::heap()->is_in_or_null(*loc), "found non oop pointer");
9e222337a81e 8136406: Remove ZapDeadCompiledLocals code
kvn
parents: 30776
diff changeset
   393
        }
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   394
#endif // ASSERT
33063
9e222337a81e 8136406: Remove ZapDeadCompiledLocals code
kvn
parents: 30776
diff changeset
   395
        oop_fn->do_oop(loc);
9e222337a81e 8136406: Remove ZapDeadCompiledLocals code
kvn
parents: 30776
diff changeset
   396
      } else if ( omv.type() == OopMapValue::narrowoop_value ) {
9e222337a81e 8136406: Remove ZapDeadCompiledLocals code
kvn
parents: 30776
diff changeset
   397
        narrowOop *nl = (narrowOop*)loc;
360
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 347
diff changeset
   398
#ifndef VM_LITTLE_ENDIAN
33063
9e222337a81e 8136406: Remove ZapDeadCompiledLocals code
kvn
parents: 30776
diff changeset
   399
        VMReg vmReg = omv.reg();
9e222337a81e 8136406: Remove ZapDeadCompiledLocals code
kvn
parents: 30776
diff changeset
   400
        // Don't do this on SPARC float registers as they can be individually addressed
9e222337a81e 8136406: Remove ZapDeadCompiledLocals code
kvn
parents: 30776
diff changeset
   401
        if (!vmReg->is_stack() SPARC_ONLY(&& !vmReg->is_FloatRegister())) {
9e222337a81e 8136406: Remove ZapDeadCompiledLocals code
kvn
parents: 30776
diff changeset
   402
          // compressed oops in registers only take up 4 bytes of an
9e222337a81e 8136406: Remove ZapDeadCompiledLocals code
kvn
parents: 30776
diff changeset
   403
          // 8 byte register but they are in the wrong part of the
9e222337a81e 8136406: Remove ZapDeadCompiledLocals code
kvn
parents: 30776
diff changeset
   404
          // word so adjust loc to point at the right place.
9e222337a81e 8136406: Remove ZapDeadCompiledLocals code
kvn
parents: 30776
diff changeset
   405
          nl = (narrowOop*)((address)nl + 4);
9e222337a81e 8136406: Remove ZapDeadCompiledLocals code
kvn
parents: 30776
diff changeset
   406
        }
360
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 347
diff changeset
   407
#endif
33063
9e222337a81e 8136406: Remove ZapDeadCompiledLocals code
kvn
parents: 30776
diff changeset
   408
        oop_fn->do_oop(nl);
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   409
      }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   410
    }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   411
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   412
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   413
489c9b5090e2 Initial load
duke
parents:
diff changeset
   414
489c9b5090e2 Initial load
duke
parents:
diff changeset
   415
// Update callee-saved register info for the following frame
489c9b5090e2 Initial load
duke
parents:
diff changeset
   416
void OopMapSet::update_register_map(const frame *fr, RegisterMap *reg_map) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   417
  ResourceMark rm;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   418
  CodeBlob* cb = fr->cb();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   419
  assert(cb != NULL, "no codeblob");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   420
489c9b5090e2 Initial load
duke
parents:
diff changeset
   421
  // Any reg might be saved by a safepoint handler (see generate_handler_blob).
489c9b5090e2 Initial load
duke
parents:
diff changeset
   422
  assert( reg_map->_update_for_id == NULL || fr->is_older(reg_map->_update_for_id),
489c9b5090e2 Initial load
duke
parents:
diff changeset
   423
         "already updated this map; do not 'update' it twice!" );
489c9b5090e2 Initial load
duke
parents:
diff changeset
   424
  debug_only(reg_map->_update_for_id = fr->id());
489c9b5090e2 Initial load
duke
parents:
diff changeset
   425
489c9b5090e2 Initial load
duke
parents:
diff changeset
   426
  // Check if caller must update oop argument
489c9b5090e2 Initial load
duke
parents:
diff changeset
   427
  assert((reg_map->include_argument_oops() ||
489c9b5090e2 Initial load
duke
parents:
diff changeset
   428
          !cb->caller_must_gc_arguments(reg_map->thread())),
489c9b5090e2 Initial load
duke
parents:
diff changeset
   429
         "include_argument_oops should already be set");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   430
489c9b5090e2 Initial load
duke
parents:
diff changeset
   431
  // Scan through oopmap and find location of all callee-saved registers
489c9b5090e2 Initial load
duke
parents:
diff changeset
   432
  // (we do not do update in place, since info could be overwritten)
489c9b5090e2 Initial load
duke
parents:
diff changeset
   433
489c9b5090e2 Initial load
duke
parents:
diff changeset
   434
  address pc = fr->pc();
30590
14f7f48c1377 8064458: OopMap class could be more compact
rbackman
parents: 25715
diff changeset
   435
  const ImmutableOopMap* map  = cb->oop_map_for_return_address(pc);
24320
394d55c783dc 8040919: Uninitialised memory in hotspot/src/share/vm/compiler/oopMap.cpp
morris
parents: 20282
diff changeset
   436
  assert(map != NULL, "no ptr map found");
394d55c783dc 8040919: Uninitialised memory in hotspot/src/share/vm/compiler/oopMap.cpp
morris
parents: 20282
diff changeset
   437
  DEBUG_ONLY(int nof_callee = 0;)
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   438
24320
394d55c783dc 8040919: Uninitialised memory in hotspot/src/share/vm/compiler/oopMap.cpp
morris
parents: 20282
diff changeset
   439
  for (OopMapStream oms(map, OopMapValue::callee_saved_value); !oms.is_done(); oms.next()) {
394d55c783dc 8040919: Uninitialised memory in hotspot/src/share/vm/compiler/oopMap.cpp
morris
parents: 20282
diff changeset
   440
    OopMapValue omv = oms.current();
394d55c783dc 8040919: Uninitialised memory in hotspot/src/share/vm/compiler/oopMap.cpp
morris
parents: 20282
diff changeset
   441
    VMReg reg = omv.content_reg();
394d55c783dc 8040919: Uninitialised memory in hotspot/src/share/vm/compiler/oopMap.cpp
morris
parents: 20282
diff changeset
   442
    oop* loc = fr->oopmapreg_to_location(omv.reg(), reg_map);
394d55c783dc 8040919: Uninitialised memory in hotspot/src/share/vm/compiler/oopMap.cpp
morris
parents: 20282
diff changeset
   443
    reg_map->set_location(reg, (address) loc);
394d55c783dc 8040919: Uninitialised memory in hotspot/src/share/vm/compiler/oopMap.cpp
morris
parents: 20282
diff changeset
   444
    DEBUG_ONLY(nof_callee++;)
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   445
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   446
489c9b5090e2 Initial load
duke
parents:
diff changeset
   447
  // Check that runtime stubs save all callee-saved registers
489c9b5090e2 Initial load
duke
parents:
diff changeset
   448
#ifdef COMPILER2
33160
c59f1676d27e 8136421: JEP 243: Java-Level JVM Compiler Interface
twisti
parents: 33063
diff changeset
   449
  assert(cb->is_compiled_by_c1() || cb->is_compiled_by_jvmci() || !cb->is_runtime_stub() ||
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   450
         (nof_callee >= SAVED_ON_ENTRY_REG_COUNT || nof_callee >= C_SAVED_ON_ENTRY_REG_COUNT),
489c9b5090e2 Initial load
duke
parents:
diff changeset
   451
         "must save all");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   452
#endif // COMPILER2
489c9b5090e2 Initial load
duke
parents:
diff changeset
   453
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   454
489c9b5090e2 Initial load
duke
parents:
diff changeset
   455
//=============================================================================
489c9b5090e2 Initial load
duke
parents:
diff changeset
   456
// Non-Product code
489c9b5090e2 Initial load
duke
parents:
diff changeset
   457
489c9b5090e2 Initial load
duke
parents:
diff changeset
   458
#ifndef PRODUCT
489c9b5090e2 Initial load
duke
parents:
diff changeset
   459
30590
14f7f48c1377 8064458: OopMap class could be more compact
rbackman
parents: 25715
diff changeset
   460
bool ImmutableOopMap::has_derived_pointer() const {
49972
37b2446d7f86 8202552: [AOT][JVMCI] Incorrect usage of INCLUDE_JVMCI and INCLUDE_AOT
kvn
parents: 49393
diff changeset
   461
#if !defined(TIERED) && !INCLUDE_JVMCI
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   462
  COMPILER1_PRESENT(return false);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   463
#endif // !TIERED
47799
1772ebf07d1f 8152470: Add COMPILER2_OR_JVMCI definition
jcm
parents: 47676
diff changeset
   464
#if COMPILER2_OR_JVMCI
33160
c59f1676d27e 8136421: JEP 243: Java-Level JVM Compiler Interface
twisti
parents: 33063
diff changeset
   465
  OopMapStream oms(this,OopMapValue::derived_oop_value);
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   466
  return oms.is_done();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   467
#else
489c9b5090e2 Initial load
duke
parents:
diff changeset
   468
  return false;
47799
1772ebf07d1f 8152470: Add COMPILER2_OR_JVMCI definition
jcm
parents: 47676
diff changeset
   469
#endif // COMPILER2_OR_JVMCI
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   470
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   471
347
df859fcca515 6667042: PrintAssembly option does not work without special plugin
jrose
parents: 198
diff changeset
   472
#endif //PRODUCT
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   473
347
df859fcca515 6667042: PrintAssembly option does not work without special plugin
jrose
parents: 198
diff changeset
   474
// Printing code is present in product build for -XX:+PrintAssembly.
df859fcca515 6667042: PrintAssembly option does not work without special plugin
jrose
parents: 198
diff changeset
   475
df859fcca515 6667042: PrintAssembly option does not work without special plugin
jrose
parents: 198
diff changeset
   476
static
df859fcca515 6667042: PrintAssembly option does not work without special plugin
jrose
parents: 198
diff changeset
   477
void print_register_type(OopMapValue::oop_types x, VMReg optional,
df859fcca515 6667042: PrintAssembly option does not work without special plugin
jrose
parents: 198
diff changeset
   478
                         outputStream* st) {
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   479
  switch( x ) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   480
  case OopMapValue::oop_value:
198
8601165a33c3 6621094: PrintOptoAssembly is broken for oops information in DebugInfo
kvn
parents: 1
diff changeset
   481
    st->print("Oop");
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   482
    break;
360
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 347
diff changeset
   483
  case OopMapValue::narrowoop_value:
15241
87d217c2d183 8005055: pass outputStream to more opto debug routines
kvn
parents: 13963
diff changeset
   484
    st->print("NarrowOop");
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   485
    break;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   486
  case OopMapValue::callee_saved_value:
15241
87d217c2d183 8005055: pass outputStream to more opto debug routines
kvn
parents: 13963
diff changeset
   487
    st->print("Callers_");
198
8601165a33c3 6621094: PrintOptoAssembly is broken for oops information in DebugInfo
kvn
parents: 1
diff changeset
   488
    optional->print_on(st);
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   489
    break;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   490
  case OopMapValue::derived_oop_value:
15241
87d217c2d183 8005055: pass outputStream to more opto debug routines
kvn
parents: 13963
diff changeset
   491
    st->print("Derived_oop_");
198
8601165a33c3 6621094: PrintOptoAssembly is broken for oops information in DebugInfo
kvn
parents: 1
diff changeset
   492
    optional->print_on(st);
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   493
    break;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   494
  default:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   495
    ShouldNotReachHere();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   496
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   497
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   498
198
8601165a33c3 6621094: PrintOptoAssembly is broken for oops information in DebugInfo
kvn
parents: 1
diff changeset
   499
void OopMapValue::print_on(outputStream* st) const {
8601165a33c3 6621094: PrintOptoAssembly is broken for oops information in DebugInfo
kvn
parents: 1
diff changeset
   500
  reg()->print_on(st);
8601165a33c3 6621094: PrintOptoAssembly is broken for oops information in DebugInfo
kvn
parents: 1
diff changeset
   501
  st->print("=");
8601165a33c3 6621094: PrintOptoAssembly is broken for oops information in DebugInfo
kvn
parents: 1
diff changeset
   502
  print_register_type(type(),content_reg(),st);
8601165a33c3 6621094: PrintOptoAssembly is broken for oops information in DebugInfo
kvn
parents: 1
diff changeset
   503
  st->print(" ");
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   504
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   505
54807
33fe50b6d707 8223626: move print() functions to cpp files
coleenp
parents: 54786
diff changeset
   506
void OopMapValue::print() const { print_on(tty); }
33fe50b6d707 8223626: move print() functions to cpp files
coleenp
parents: 54786
diff changeset
   507
30590
14f7f48c1377 8064458: OopMap class could be more compact
rbackman
parents: 25715
diff changeset
   508
void ImmutableOopMap::print_on(outputStream* st) const {
14f7f48c1377 8064458: OopMap class could be more compact
rbackman
parents: 25715
diff changeset
   509
  OopMapValue omv;
54960
e46fe26d7f77 8213084: Rework and enhance Print[Opto]Assembly output
lucy
parents: 54916
diff changeset
   510
  st->print("ImmutableOopMap {");
30590
14f7f48c1377 8064458: OopMap class could be more compact
rbackman
parents: 25715
diff changeset
   511
  for(OopMapStream oms(this); !oms.is_done(); oms.next()) {
14f7f48c1377 8064458: OopMap class could be more compact
rbackman
parents: 25715
diff changeset
   512
    omv = oms.current();
14f7f48c1377 8064458: OopMap class could be more compact
rbackman
parents: 25715
diff changeset
   513
    omv.print_on(st);
14f7f48c1377 8064458: OopMap class could be more compact
rbackman
parents: 25715
diff changeset
   514
  }
14f7f48c1377 8064458: OopMap class could be more compact
rbackman
parents: 25715
diff changeset
   515
  st->print("}");
14f7f48c1377 8064458: OopMap class could be more compact
rbackman
parents: 25715
diff changeset
   516
}
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   517
54807
33fe50b6d707 8223626: move print() functions to cpp files
coleenp
parents: 54786
diff changeset
   518
void ImmutableOopMap::print() const { print_on(tty); }
33fe50b6d707 8223626: move print() functions to cpp files
coleenp
parents: 54786
diff changeset
   519
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   520
void OopMap::print_on(outputStream* st) const {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   521
  OopMapValue omv;
54960
e46fe26d7f77 8213084: Rework and enhance Print[Opto]Assembly output
lucy
parents: 54916
diff changeset
   522
  st->print("OopMap {");
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   523
  for(OopMapStream oms((OopMap*)this); !oms.is_done(); oms.next()) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   524
    omv = oms.current();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   525
    omv.print_on(st);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   526
  }
54960
e46fe26d7f77 8213084: Rework and enhance Print[Opto]Assembly output
lucy
parents: 54916
diff changeset
   527
  // Print hex offset in addition.
e46fe26d7f77 8213084: Rework and enhance Print[Opto]Assembly output
lucy
parents: 54916
diff changeset
   528
  st->print("off=%d/0x%x}", (int) offset(), (int) offset());
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   529
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   530
54807
33fe50b6d707 8223626: move print() functions to cpp files
coleenp
parents: 54786
diff changeset
   531
void OopMap::print() const { print_on(tty); }
33fe50b6d707 8223626: move print() functions to cpp files
coleenp
parents: 54786
diff changeset
   532
30590
14f7f48c1377 8064458: OopMap class could be more compact
rbackman
parents: 25715
diff changeset
   533
void ImmutableOopMapSet::print_on(outputStream* st) const {
14f7f48c1377 8064458: OopMap class could be more compact
rbackman
parents: 25715
diff changeset
   534
  const ImmutableOopMap* last = NULL;
54960
e46fe26d7f77 8213084: Rework and enhance Print[Opto]Assembly output
lucy
parents: 54916
diff changeset
   535
  const int len = count();
e46fe26d7f77 8213084: Rework and enhance Print[Opto]Assembly output
lucy
parents: 54916
diff changeset
   536
e46fe26d7f77 8213084: Rework and enhance Print[Opto]Assembly output
lucy
parents: 54916
diff changeset
   537
  st->print_cr("ImmutableOopMapSet contains %d OopMaps", len);
e46fe26d7f77 8213084: Rework and enhance Print[Opto]Assembly output
lucy
parents: 54916
diff changeset
   538
e46fe26d7f77 8213084: Rework and enhance Print[Opto]Assembly output
lucy
parents: 54916
diff changeset
   539
  for (int i = 0; i < len; i++) {
30590
14f7f48c1377 8064458: OopMap class could be more compact
rbackman
parents: 25715
diff changeset
   540
    const ImmutableOopMapPair* pair = pair_at(i);
14f7f48c1377 8064458: OopMap class could be more compact
rbackman
parents: 25715
diff changeset
   541
    const ImmutableOopMap* map = pair->get_from(this);
14f7f48c1377 8064458: OopMap class could be more compact
rbackman
parents: 25715
diff changeset
   542
    if (map != last) {
14f7f48c1377 8064458: OopMap class could be more compact
rbackman
parents: 25715
diff changeset
   543
      st->cr();
14f7f48c1377 8064458: OopMap class could be more compact
rbackman
parents: 25715
diff changeset
   544
      map->print_on(st);
54960
e46fe26d7f77 8213084: Rework and enhance Print[Opto]Assembly output
lucy
parents: 54916
diff changeset
   545
      st->print(" pc offsets: ");
30590
14f7f48c1377 8064458: OopMap class could be more compact
rbackman
parents: 25715
diff changeset
   546
    }
14f7f48c1377 8064458: OopMap class could be more compact
rbackman
parents: 25715
diff changeset
   547
    last = map;
14f7f48c1377 8064458: OopMap class could be more compact
rbackman
parents: 25715
diff changeset
   548
    st->print("%d ", pair->pc_offset());
14f7f48c1377 8064458: OopMap class could be more compact
rbackman
parents: 25715
diff changeset
   549
  }
54960
e46fe26d7f77 8213084: Rework and enhance Print[Opto]Assembly output
lucy
parents: 54916
diff changeset
   550
  st->cr();
30590
14f7f48c1377 8064458: OopMap class could be more compact
rbackman
parents: 25715
diff changeset
   551
}
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   552
54807
33fe50b6d707 8223626: move print() functions to cpp files
coleenp
parents: 54786
diff changeset
   553
void ImmutableOopMapSet::print() const { print_on(tty); }
33fe50b6d707 8223626: move print() functions to cpp files
coleenp
parents: 54786
diff changeset
   554
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   555
void OopMapSet::print_on(outputStream* st) const {
54960
e46fe26d7f77 8213084: Rework and enhance Print[Opto]Assembly output
lucy
parents: 54916
diff changeset
   556
  const int len = om_count();
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   557
54960
e46fe26d7f77 8213084: Rework and enhance Print[Opto]Assembly output
lucy
parents: 54916
diff changeset
   558
  st->print_cr("OopMapSet contains %d OopMaps", len);
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   559
54960
e46fe26d7f77 8213084: Rework and enhance Print[Opto]Assembly output
lucy
parents: 54916
diff changeset
   560
  for( int i = 0; i < len; i++) {
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   561
    OopMap* m = at(i);
347
df859fcca515 6667042: PrintAssembly option does not work without special plugin
jrose
parents: 198
diff changeset
   562
    st->print_cr("#%d ",i);
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   563
    m->print_on(st);
347
df859fcca515 6667042: PrintAssembly option does not work without special plugin
jrose
parents: 198
diff changeset
   564
    st->cr();
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   565
  }
54960
e46fe26d7f77 8213084: Rework and enhance Print[Opto]Assembly output
lucy
parents: 54916
diff changeset
   566
  st->cr();
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   567
}
347
df859fcca515 6667042: PrintAssembly option does not work without special plugin
jrose
parents: 198
diff changeset
   568
54807
33fe50b6d707 8223626: move print() functions to cpp files
coleenp
parents: 54786
diff changeset
   569
void OopMapSet::print() const { print_on(tty); }
33fe50b6d707 8223626: move print() functions to cpp files
coleenp
parents: 54786
diff changeset
   570
30590
14f7f48c1377 8064458: OopMap class could be more compact
rbackman
parents: 25715
diff changeset
   571
bool OopMap::equals(const OopMap* other) const {
14f7f48c1377 8064458: OopMap class could be more compact
rbackman
parents: 25715
diff changeset
   572
  if (other->_omv_count != _omv_count) {
14f7f48c1377 8064458: OopMap class could be more compact
rbackman
parents: 25715
diff changeset
   573
    return false;
14f7f48c1377 8064458: OopMap class could be more compact
rbackman
parents: 25715
diff changeset
   574
  }
14f7f48c1377 8064458: OopMap class could be more compact
rbackman
parents: 25715
diff changeset
   575
  if (other->write_stream()->position() != write_stream()->position()) {
14f7f48c1377 8064458: OopMap class could be more compact
rbackman
parents: 25715
diff changeset
   576
    return false;
14f7f48c1377 8064458: OopMap class could be more compact
rbackman
parents: 25715
diff changeset
   577
  }
14f7f48c1377 8064458: OopMap class could be more compact
rbackman
parents: 25715
diff changeset
   578
  if (memcmp(other->write_stream()->buffer(), write_stream()->buffer(), write_stream()->position()) != 0) {
14f7f48c1377 8064458: OopMap class could be more compact
rbackman
parents: 25715
diff changeset
   579
    return false;
14f7f48c1377 8064458: OopMap class could be more compact
rbackman
parents: 25715
diff changeset
   580
  }
14f7f48c1377 8064458: OopMap class could be more compact
rbackman
parents: 25715
diff changeset
   581
  return true;
14f7f48c1377 8064458: OopMap class could be more compact
rbackman
parents: 25715
diff changeset
   582
}
14f7f48c1377 8064458: OopMap class could be more compact
rbackman
parents: 25715
diff changeset
   583
14f7f48c1377 8064458: OopMap class could be more compact
rbackman
parents: 25715
diff changeset
   584
const ImmutableOopMap* ImmutableOopMapSet::find_map_at_offset(int pc_offset) const {
14f7f48c1377 8064458: OopMap class could be more compact
rbackman
parents: 25715
diff changeset
   585
  ImmutableOopMapPair* pairs = get_pairs();
54960
e46fe26d7f77 8213084: Rework and enhance Print[Opto]Assembly output
lucy
parents: 54916
diff changeset
   586
  ImmutableOopMapPair* last  = NULL;
30590
14f7f48c1377 8064458: OopMap class could be more compact
rbackman
parents: 25715
diff changeset
   587
54960
e46fe26d7f77 8213084: Rework and enhance Print[Opto]Assembly output
lucy
parents: 54916
diff changeset
   588
  for (int i = 0; i < _count; ++i) {
30590
14f7f48c1377 8064458: OopMap class could be more compact
rbackman
parents: 25715
diff changeset
   589
    if (pairs[i].pc_offset() >= pc_offset) {
54960
e46fe26d7f77 8213084: Rework and enhance Print[Opto]Assembly output
lucy
parents: 54916
diff changeset
   590
      last = &pairs[i];
30590
14f7f48c1377 8064458: OopMap class could be more compact
rbackman
parents: 25715
diff changeset
   591
      break;
14f7f48c1377 8064458: OopMap class could be more compact
rbackman
parents: 25715
diff changeset
   592
    }
14f7f48c1377 8064458: OopMap class could be more compact
rbackman
parents: 25715
diff changeset
   593
  }
14f7f48c1377 8064458: OopMap class could be more compact
rbackman
parents: 25715
diff changeset
   594
54960
e46fe26d7f77 8213084: Rework and enhance Print[Opto]Assembly output
lucy
parents: 54916
diff changeset
   595
  // Heal Coverity issue: potential index out of bounds access.
e46fe26d7f77 8213084: Rework and enhance Print[Opto]Assembly output
lucy
parents: 54916
diff changeset
   596
  guarantee(last != NULL, "last may not be null");
30590
14f7f48c1377 8064458: OopMap class could be more compact
rbackman
parents: 25715
diff changeset
   597
  assert(last->pc_offset() == pc_offset, "oopmap not found");
14f7f48c1377 8064458: OopMap class could be more compact
rbackman
parents: 25715
diff changeset
   598
  return last->get_from(this);
14f7f48c1377 8064458: OopMap class could be more compact
rbackman
parents: 25715
diff changeset
   599
}
14f7f48c1377 8064458: OopMap class could be more compact
rbackman
parents: 25715
diff changeset
   600
14f7f48c1377 8064458: OopMap class could be more compact
rbackman
parents: 25715
diff changeset
   601
const ImmutableOopMap* ImmutableOopMapPair::get_from(const ImmutableOopMapSet* set) const {
14f7f48c1377 8064458: OopMap class could be more compact
rbackman
parents: 25715
diff changeset
   602
  return set->oopmap_at_offset(_oopmap_offset);
14f7f48c1377 8064458: OopMap class could be more compact
rbackman
parents: 25715
diff changeset
   603
}
14f7f48c1377 8064458: OopMap class could be more compact
rbackman
parents: 25715
diff changeset
   604
14f7f48c1377 8064458: OopMap class could be more compact
rbackman
parents: 25715
diff changeset
   605
ImmutableOopMap::ImmutableOopMap(const OopMap* oopmap) : _count(oopmap->count()) {
14f7f48c1377 8064458: OopMap class could be more compact
rbackman
parents: 25715
diff changeset
   606
  address addr = data_addr();
14f7f48c1377 8064458: OopMap class could be more compact
rbackman
parents: 25715
diff changeset
   607
  oopmap->copy_data_to(addr);
14f7f48c1377 8064458: OopMap class could be more compact
rbackman
parents: 25715
diff changeset
   608
}
14f7f48c1377 8064458: OopMap class could be more compact
rbackman
parents: 25715
diff changeset
   609
30774
6745424a720f 8080692: lots of jstack tests failing in pit
rbackman
parents: 30590
diff changeset
   610
#ifdef ASSERT
6745424a720f 8080692: lots of jstack tests failing in pit
rbackman
parents: 30590
diff changeset
   611
int ImmutableOopMap::nr_of_bytes() const {
6745424a720f 8080692: lots of jstack tests failing in pit
rbackman
parents: 30590
diff changeset
   612
  OopMapStream oms(this);
6745424a720f 8080692: lots of jstack tests failing in pit
rbackman
parents: 30590
diff changeset
   613
6745424a720f 8080692: lots of jstack tests failing in pit
rbackman
parents: 30590
diff changeset
   614
  while (!oms.is_done()) {
6745424a720f 8080692: lots of jstack tests failing in pit
rbackman
parents: 30590
diff changeset
   615
    oms.next();
6745424a720f 8080692: lots of jstack tests failing in pit
rbackman
parents: 30590
diff changeset
   616
  }
6745424a720f 8080692: lots of jstack tests failing in pit
rbackman
parents: 30590
diff changeset
   617
  return sizeof(ImmutableOopMap) + oms.stream_position();
6745424a720f 8080692: lots of jstack tests failing in pit
rbackman
parents: 30590
diff changeset
   618
}
6745424a720f 8080692: lots of jstack tests failing in pit
rbackman
parents: 30590
diff changeset
   619
#endif
6745424a720f 8080692: lots of jstack tests failing in pit
rbackman
parents: 30590
diff changeset
   620
51333
f6641fcf7b7e 8208670: Compiler changes to allow enabling -Wreorder
tschatzl
parents: 51078
diff changeset
   621
ImmutableOopMapBuilder::ImmutableOopMapBuilder(const OopMapSet* set) : _set(set), _empty(NULL), _last(NULL), _empty_offset(-1), _last_offset(-1), _offset(0), _required(-1), _new_set(NULL) {
33160
c59f1676d27e 8136421: JEP 243: Java-Level JVM Compiler Interface
twisti
parents: 33063
diff changeset
   622
  _mapping = NEW_RESOURCE_ARRAY(Mapping, _set->size());
c59f1676d27e 8136421: JEP 243: Java-Level JVM Compiler Interface
twisti
parents: 33063
diff changeset
   623
}
30590
14f7f48c1377 8064458: OopMap class could be more compact
rbackman
parents: 25715
diff changeset
   624
14f7f48c1377 8064458: OopMap class could be more compact
rbackman
parents: 25715
diff changeset
   625
int ImmutableOopMapBuilder::size_for(const OopMap* map) const {
46619
a3919f5e8d2b 8178499: Remove _ptr_ and _size_ infixes from align functions
stefank
parents: 46618
diff changeset
   626
  return align_up((int)sizeof(ImmutableOopMap) + map->data_size(), 8);
30590
14f7f48c1377 8064458: OopMap class could be more compact
rbackman
parents: 25715
diff changeset
   627
}
14f7f48c1377 8064458: OopMap class could be more compact
rbackman
parents: 25715
diff changeset
   628
14f7f48c1377 8064458: OopMap class could be more compact
rbackman
parents: 25715
diff changeset
   629
int ImmutableOopMapBuilder::heap_size() {
14f7f48c1377 8064458: OopMap class could be more compact
rbackman
parents: 25715
diff changeset
   630
  int base = sizeof(ImmutableOopMapSet);
46619
a3919f5e8d2b 8178499: Remove _ptr_ and _size_ infixes from align functions
stefank
parents: 46618
diff changeset
   631
  base = align_up(base, 8);
30590
14f7f48c1377 8064458: OopMap class could be more compact
rbackman
parents: 25715
diff changeset
   632
14f7f48c1377 8064458: OopMap class could be more compact
rbackman
parents: 25715
diff changeset
   633
  // all of ours pc / offset pairs
14f7f48c1377 8064458: OopMap class could be more compact
rbackman
parents: 25715
diff changeset
   634
  int pairs = _set->size() * sizeof(ImmutableOopMapPair);
46619
a3919f5e8d2b 8178499: Remove _ptr_ and _size_ infixes from align functions
stefank
parents: 46618
diff changeset
   635
  pairs = align_up(pairs, 8);
30590
14f7f48c1377 8064458: OopMap class could be more compact
rbackman
parents: 25715
diff changeset
   636
14f7f48c1377 8064458: OopMap class could be more compact
rbackman
parents: 25715
diff changeset
   637
  for (int i = 0; i < _set->size(); ++i) {
14f7f48c1377 8064458: OopMap class could be more compact
rbackman
parents: 25715
diff changeset
   638
    int size = 0;
14f7f48c1377 8064458: OopMap class could be more compact
rbackman
parents: 25715
diff changeset
   639
    OopMap* map = _set->at(i);
14f7f48c1377 8064458: OopMap class could be more compact
rbackman
parents: 25715
diff changeset
   640
14f7f48c1377 8064458: OopMap class could be more compact
rbackman
parents: 25715
diff changeset
   641
    if (is_empty(map)) {
14f7f48c1377 8064458: OopMap class could be more compact
rbackman
parents: 25715
diff changeset
   642
      /* only keep a single empty map in the set */
14f7f48c1377 8064458: OopMap class could be more compact
rbackman
parents: 25715
diff changeset
   643
      if (has_empty()) {
14f7f48c1377 8064458: OopMap class could be more compact
rbackman
parents: 25715
diff changeset
   644
        _mapping[i].set(Mapping::OOPMAP_EMPTY, _empty_offset, 0, map, _empty);
14f7f48c1377 8064458: OopMap class could be more compact
rbackman
parents: 25715
diff changeset
   645
      } else {
14f7f48c1377 8064458: OopMap class could be more compact
rbackman
parents: 25715
diff changeset
   646
        _empty_offset = _offset;
14f7f48c1377 8064458: OopMap class could be more compact
rbackman
parents: 25715
diff changeset
   647
        _empty = map;
14f7f48c1377 8064458: OopMap class could be more compact
rbackman
parents: 25715
diff changeset
   648
        size = size_for(map);
14f7f48c1377 8064458: OopMap class could be more compact
rbackman
parents: 25715
diff changeset
   649
        _mapping[i].set(Mapping::OOPMAP_NEW, _offset, size, map);
14f7f48c1377 8064458: OopMap class could be more compact
rbackman
parents: 25715
diff changeset
   650
      }
14f7f48c1377 8064458: OopMap class could be more compact
rbackman
parents: 25715
diff changeset
   651
    } else if (is_last_duplicate(map)) {
14f7f48c1377 8064458: OopMap class could be more compact
rbackman
parents: 25715
diff changeset
   652
      /* if this entry is identical to the previous one, just point it there */
14f7f48c1377 8064458: OopMap class could be more compact
rbackman
parents: 25715
diff changeset
   653
      _mapping[i].set(Mapping::OOPMAP_DUPLICATE, _last_offset, 0, map, _last);
14f7f48c1377 8064458: OopMap class could be more compact
rbackman
parents: 25715
diff changeset
   654
    } else {
14f7f48c1377 8064458: OopMap class could be more compact
rbackman
parents: 25715
diff changeset
   655
      /* not empty, not an identical copy of the previous entry */
14f7f48c1377 8064458: OopMap class could be more compact
rbackman
parents: 25715
diff changeset
   656
      size = size_for(map);
14f7f48c1377 8064458: OopMap class could be more compact
rbackman
parents: 25715
diff changeset
   657
      _mapping[i].set(Mapping::OOPMAP_NEW, _offset, size, map);
14f7f48c1377 8064458: OopMap class could be more compact
rbackman
parents: 25715
diff changeset
   658
      _last_offset = _offset;
14f7f48c1377 8064458: OopMap class could be more compact
rbackman
parents: 25715
diff changeset
   659
      _last = map;
14f7f48c1377 8064458: OopMap class could be more compact
rbackman
parents: 25715
diff changeset
   660
    }
14f7f48c1377 8064458: OopMap class could be more compact
rbackman
parents: 25715
diff changeset
   661
14f7f48c1377 8064458: OopMap class could be more compact
rbackman
parents: 25715
diff changeset
   662
    assert(_mapping[i]._map == map, "check");
14f7f48c1377 8064458: OopMap class could be more compact
rbackman
parents: 25715
diff changeset
   663
    _offset += size;
14f7f48c1377 8064458: OopMap class could be more compact
rbackman
parents: 25715
diff changeset
   664
  }
14f7f48c1377 8064458: OopMap class could be more compact
rbackman
parents: 25715
diff changeset
   665
14f7f48c1377 8064458: OopMap class could be more compact
rbackman
parents: 25715
diff changeset
   666
  int total = base + pairs + _offset;
14f7f48c1377 8064458: OopMap class could be more compact
rbackman
parents: 25715
diff changeset
   667
  DEBUG_ONLY(total += 8);
33160
c59f1676d27e 8136421: JEP 243: Java-Level JVM Compiler Interface
twisti
parents: 33063
diff changeset
   668
  _required = total;
30590
14f7f48c1377 8064458: OopMap class could be more compact
rbackman
parents: 25715
diff changeset
   669
  return total;
14f7f48c1377 8064458: OopMap class could be more compact
rbackman
parents: 25715
diff changeset
   670
}
14f7f48c1377 8064458: OopMap class could be more compact
rbackman
parents: 25715
diff changeset
   671
30774
6745424a720f 8080692: lots of jstack tests failing in pit
rbackman
parents: 30590
diff changeset
   672
void ImmutableOopMapBuilder::fill_pair(ImmutableOopMapPair* pair, const OopMap* map, int offset, const ImmutableOopMapSet* set) {
6745424a720f 8080692: lots of jstack tests failing in pit
rbackman
parents: 30590
diff changeset
   673
  assert(offset < set->nr_of_bytes(), "check");
30590
14f7f48c1377 8064458: OopMap class could be more compact
rbackman
parents: 25715
diff changeset
   674
  new ((address) pair) ImmutableOopMapPair(map->offset(), offset);
14f7f48c1377 8064458: OopMap class could be more compact
rbackman
parents: 25715
diff changeset
   675
}
14f7f48c1377 8064458: OopMap class could be more compact
rbackman
parents: 25715
diff changeset
   676
30774
6745424a720f 8080692: lots of jstack tests failing in pit
rbackman
parents: 30590
diff changeset
   677
int ImmutableOopMapBuilder::fill_map(ImmutableOopMapPair* pair, const OopMap* map, int offset, const ImmutableOopMapSet* set) {
6745424a720f 8080692: lots of jstack tests failing in pit
rbackman
parents: 30590
diff changeset
   678
  fill_pair(pair, map, offset, set);
30590
14f7f48c1377 8064458: OopMap class could be more compact
rbackman
parents: 25715
diff changeset
   679
  address addr = (address) pair->get_from(_new_set); // location of the ImmutableOopMap
14f7f48c1377 8064458: OopMap class could be more compact
rbackman
parents: 25715
diff changeset
   680
14f7f48c1377 8064458: OopMap class could be more compact
rbackman
parents: 25715
diff changeset
   681
  new (addr) ImmutableOopMap(map);
46618
d503911aa948 8178489: Make align functions more type safe and consistent
stefank
parents: 45327
diff changeset
   682
  return size_for(map);
30590
14f7f48c1377 8064458: OopMap class could be more compact
rbackman
parents: 25715
diff changeset
   683
}
14f7f48c1377 8064458: OopMap class could be more compact
rbackman
parents: 25715
diff changeset
   684
14f7f48c1377 8064458: OopMap class could be more compact
rbackman
parents: 25715
diff changeset
   685
void ImmutableOopMapBuilder::fill(ImmutableOopMapSet* set, int sz) {
14f7f48c1377 8064458: OopMap class could be more compact
rbackman
parents: 25715
diff changeset
   686
  ImmutableOopMapPair* pairs = set->get_pairs();
14f7f48c1377 8064458: OopMap class could be more compact
rbackman
parents: 25715
diff changeset
   687
14f7f48c1377 8064458: OopMap class could be more compact
rbackman
parents: 25715
diff changeset
   688
  for (int i = 0; i < set->count(); ++i) {
14f7f48c1377 8064458: OopMap class could be more compact
rbackman
parents: 25715
diff changeset
   689
    const OopMap* map = _mapping[i]._map;
14f7f48c1377 8064458: OopMap class could be more compact
rbackman
parents: 25715
diff changeset
   690
    ImmutableOopMapPair* pair = NULL;
14f7f48c1377 8064458: OopMap class could be more compact
rbackman
parents: 25715
diff changeset
   691
    int size = 0;
14f7f48c1377 8064458: OopMap class could be more compact
rbackman
parents: 25715
diff changeset
   692
14f7f48c1377 8064458: OopMap class could be more compact
rbackman
parents: 25715
diff changeset
   693
    if (_mapping[i]._kind == Mapping::OOPMAP_NEW) {
30774
6745424a720f 8080692: lots of jstack tests failing in pit
rbackman
parents: 30590
diff changeset
   694
      size = fill_map(&pairs[i], map, _mapping[i]._offset, set);
30590
14f7f48c1377 8064458: OopMap class could be more compact
rbackman
parents: 25715
diff changeset
   695
    } else if (_mapping[i]._kind == Mapping::OOPMAP_DUPLICATE || _mapping[i]._kind == Mapping::OOPMAP_EMPTY) {
30774
6745424a720f 8080692: lots of jstack tests failing in pit
rbackman
parents: 30590
diff changeset
   696
      fill_pair(&pairs[i], map, _mapping[i]._offset, set);
30590
14f7f48c1377 8064458: OopMap class could be more compact
rbackman
parents: 25715
diff changeset
   697
    }
14f7f48c1377 8064458: OopMap class could be more compact
rbackman
parents: 25715
diff changeset
   698
14f7f48c1377 8064458: OopMap class could be more compact
rbackman
parents: 25715
diff changeset
   699
    const ImmutableOopMap* nv = set->find_map_at_offset(map->offset());
14f7f48c1377 8064458: OopMap class could be more compact
rbackman
parents: 25715
diff changeset
   700
    assert(memcmp(map->data(), nv->data_addr(), map->data_size()) == 0, "check identity");
14f7f48c1377 8064458: OopMap class could be more compact
rbackman
parents: 25715
diff changeset
   701
  }
14f7f48c1377 8064458: OopMap class could be more compact
rbackman
parents: 25715
diff changeset
   702
}
14f7f48c1377 8064458: OopMap class could be more compact
rbackman
parents: 25715
diff changeset
   703
14f7f48c1377 8064458: OopMap class could be more compact
rbackman
parents: 25715
diff changeset
   704
#ifdef ASSERT
30774
6745424a720f 8080692: lots of jstack tests failing in pit
rbackman
parents: 30590
diff changeset
   705
void ImmutableOopMapBuilder::verify(address buffer, int size, const ImmutableOopMapSet* set) {
30590
14f7f48c1377 8064458: OopMap class could be more compact
rbackman
parents: 25715
diff changeset
   706
  for (int i = 0; i < 8; ++i) {
14f7f48c1377 8064458: OopMap class could be more compact
rbackman
parents: 25715
diff changeset
   707
    assert(buffer[size - 8 + i] == (unsigned char) 0xff, "overwritten memory check");
14f7f48c1377 8064458: OopMap class could be more compact
rbackman
parents: 25715
diff changeset
   708
  }
30774
6745424a720f 8080692: lots of jstack tests failing in pit
rbackman
parents: 30590
diff changeset
   709
6745424a720f 8080692: lots of jstack tests failing in pit
rbackman
parents: 30590
diff changeset
   710
  for (int i = 0; i < set->count(); ++i) {
6745424a720f 8080692: lots of jstack tests failing in pit
rbackman
parents: 30590
diff changeset
   711
    const ImmutableOopMapPair* pair = set->pair_at(i);
6745424a720f 8080692: lots of jstack tests failing in pit
rbackman
parents: 30590
diff changeset
   712
    assert(pair->oopmap_offset() < set->nr_of_bytes(), "check size");
6745424a720f 8080692: lots of jstack tests failing in pit
rbackman
parents: 30590
diff changeset
   713
    const ImmutableOopMap* map = pair->get_from(set);
6745424a720f 8080692: lots of jstack tests failing in pit
rbackman
parents: 30590
diff changeset
   714
    int nr_of_bytes = map->nr_of_bytes();
6745424a720f 8080692: lots of jstack tests failing in pit
rbackman
parents: 30590
diff changeset
   715
    assert(pair->oopmap_offset() + nr_of_bytes <= set->nr_of_bytes(), "check size + size");
6745424a720f 8080692: lots of jstack tests failing in pit
rbackman
parents: 30590
diff changeset
   716
  }
30590
14f7f48c1377 8064458: OopMap class could be more compact
rbackman
parents: 25715
diff changeset
   717
}
14f7f48c1377 8064458: OopMap class could be more compact
rbackman
parents: 25715
diff changeset
   718
#endif
14f7f48c1377 8064458: OopMap class could be more compact
rbackman
parents: 25715
diff changeset
   719
33160
c59f1676d27e 8136421: JEP 243: Java-Level JVM Compiler Interface
twisti
parents: 33063
diff changeset
   720
ImmutableOopMapSet* ImmutableOopMapBuilder::generate_into(address buffer) {
c59f1676d27e 8136421: JEP 243: Java-Level JVM Compiler Interface
twisti
parents: 33063
diff changeset
   721
  DEBUG_ONLY(memset(&buffer[_required-8], 0xff, 8));
c59f1676d27e 8136421: JEP 243: Java-Level JVM Compiler Interface
twisti
parents: 33063
diff changeset
   722
c59f1676d27e 8136421: JEP 243: Java-Level JVM Compiler Interface
twisti
parents: 33063
diff changeset
   723
  _new_set = new (buffer) ImmutableOopMapSet(_set, _required);
c59f1676d27e 8136421: JEP 243: Java-Level JVM Compiler Interface
twisti
parents: 33063
diff changeset
   724
  fill(_new_set, _required);
c59f1676d27e 8136421: JEP 243: Java-Level JVM Compiler Interface
twisti
parents: 33063
diff changeset
   725
c59f1676d27e 8136421: JEP 243: Java-Level JVM Compiler Interface
twisti
parents: 33063
diff changeset
   726
  DEBUG_ONLY(verify(buffer, _required, _new_set));
c59f1676d27e 8136421: JEP 243: Java-Level JVM Compiler Interface
twisti
parents: 33063
diff changeset
   727
c59f1676d27e 8136421: JEP 243: Java-Level JVM Compiler Interface
twisti
parents: 33063
diff changeset
   728
  return _new_set;
c59f1676d27e 8136421: JEP 243: Java-Level JVM Compiler Interface
twisti
parents: 33063
diff changeset
   729
}
c59f1676d27e 8136421: JEP 243: Java-Level JVM Compiler Interface
twisti
parents: 33063
diff changeset
   730
30590
14f7f48c1377 8064458: OopMap class could be more compact
rbackman
parents: 25715
diff changeset
   731
ImmutableOopMapSet* ImmutableOopMapBuilder::build() {
33160
c59f1676d27e 8136421: JEP 243: Java-Level JVM Compiler Interface
twisti
parents: 33063
diff changeset
   732
  _required = heap_size();
30590
14f7f48c1377 8064458: OopMap class could be more compact
rbackman
parents: 25715
diff changeset
   733
14f7f48c1377 8064458: OopMap class could be more compact
rbackman
parents: 25715
diff changeset
   734
  // We need to allocate a chunk big enough to hold the ImmutableOopMapSet and all of its ImmutableOopMaps
58083
9046db64ca39 8227168: Cleanup usage of NEW_C_HEAP_ARRAY
lkorinth
parents: 55310
diff changeset
   735
  address buffer = NEW_C_HEAP_ARRAY(unsigned char, _required, mtCode);
33160
c59f1676d27e 8136421: JEP 243: Java-Level JVM Compiler Interface
twisti
parents: 33063
diff changeset
   736
  return generate_into(buffer);
30590
14f7f48c1377 8064458: OopMap class could be more compact
rbackman
parents: 25715
diff changeset
   737
}
14f7f48c1377 8064458: OopMap class could be more compact
rbackman
parents: 25715
diff changeset
   738
14f7f48c1377 8064458: OopMap class could be more compact
rbackman
parents: 25715
diff changeset
   739
ImmutableOopMapSet* ImmutableOopMapSet::build_from(const OopMapSet* oopmap_set) {
14f7f48c1377 8064458: OopMap class could be more compact
rbackman
parents: 25715
diff changeset
   740
  ResourceMark mark;
14f7f48c1377 8064458: OopMap class could be more compact
rbackman
parents: 25715
diff changeset
   741
  ImmutableOopMapBuilder builder(oopmap_set);
14f7f48c1377 8064458: OopMap class could be more compact
rbackman
parents: 25715
diff changeset
   742
  return builder.build();
14f7f48c1377 8064458: OopMap class could be more compact
rbackman
parents: 25715
diff changeset
   743
}
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   744
489c9b5090e2 Initial load
duke
parents:
diff changeset
   745
489c9b5090e2 Initial load
duke
parents:
diff changeset
   746
//------------------------------DerivedPointerTable---------------------------
489c9b5090e2 Initial load
duke
parents:
diff changeset
   747
47799
1772ebf07d1f 8152470: Add COMPILER2_OR_JVMCI definition
jcm
parents: 47676
diff changeset
   748
#if COMPILER2_OR_JVMCI
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   749
54916
7136c9ac56a7 8160539: Stack frame scanning acquires DerivedPointerTableGC_lock mutex
kbarrett
parents: 54807
diff changeset
   750
class DerivedPointerTable::Entry : public CHeapObj<mtCompiler> {
7136c9ac56a7 8160539: Stack frame scanning acquires DerivedPointerTableGC_lock mutex
kbarrett
parents: 54807
diff changeset
   751
  oop* _location;   // Location of derived pointer, also pointing to base
7136c9ac56a7 8160539: Stack frame scanning acquires DerivedPointerTableGC_lock mutex
kbarrett
parents: 54807
diff changeset
   752
  intptr_t _offset; // Offset from base pointer
7136c9ac56a7 8160539: Stack frame scanning acquires DerivedPointerTableGC_lock mutex
kbarrett
parents: 54807
diff changeset
   753
  Entry* volatile _next;
7136c9ac56a7 8160539: Stack frame scanning acquires DerivedPointerTableGC_lock mutex
kbarrett
parents: 54807
diff changeset
   754
7136c9ac56a7 8160539: Stack frame scanning acquires DerivedPointerTableGC_lock mutex
kbarrett
parents: 54807
diff changeset
   755
  static Entry* volatile* next_ptr(Entry& entry) { return &entry._next; }
7136c9ac56a7 8160539: Stack frame scanning acquires DerivedPointerTableGC_lock mutex
kbarrett
parents: 54807
diff changeset
   756
7136c9ac56a7 8160539: Stack frame scanning acquires DerivedPointerTableGC_lock mutex
kbarrett
parents: 54807
diff changeset
   757
public:
7136c9ac56a7 8160539: Stack frame scanning acquires DerivedPointerTableGC_lock mutex
kbarrett
parents: 54807
diff changeset
   758
  Entry(oop* location, intptr_t offset) :
7136c9ac56a7 8160539: Stack frame scanning acquires DerivedPointerTableGC_lock mutex
kbarrett
parents: 54807
diff changeset
   759
    _location(location), _offset(offset), _next(NULL) {}
7136c9ac56a7 8160539: Stack frame scanning acquires DerivedPointerTableGC_lock mutex
kbarrett
parents: 54807
diff changeset
   760
7136c9ac56a7 8160539: Stack frame scanning acquires DerivedPointerTableGC_lock mutex
kbarrett
parents: 54807
diff changeset
   761
  oop* location() const { return _location; }
7136c9ac56a7 8160539: Stack frame scanning acquires DerivedPointerTableGC_lock mutex
kbarrett
parents: 54807
diff changeset
   762
  intptr_t offset() const { return _offset; }
7136c9ac56a7 8160539: Stack frame scanning acquires DerivedPointerTableGC_lock mutex
kbarrett
parents: 54807
diff changeset
   763
  Entry* next() const { return _next; }
7136c9ac56a7 8160539: Stack frame scanning acquires DerivedPointerTableGC_lock mutex
kbarrett
parents: 54807
diff changeset
   764
7136c9ac56a7 8160539: Stack frame scanning acquires DerivedPointerTableGC_lock mutex
kbarrett
parents: 54807
diff changeset
   765
  typedef LockFreeStack<Entry, &next_ptr> List;
7136c9ac56a7 8160539: Stack frame scanning acquires DerivedPointerTableGC_lock mutex
kbarrett
parents: 54807
diff changeset
   766
  static List* _list;
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   767
};
489c9b5090e2 Initial load
duke
parents:
diff changeset
   768
54916
7136c9ac56a7 8160539: Stack frame scanning acquires DerivedPointerTableGC_lock mutex
kbarrett
parents: 54807
diff changeset
   769
DerivedPointerTable::Entry::List* DerivedPointerTable::Entry::_list = NULL;
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   770
bool DerivedPointerTable::_active = false;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   771
54916
7136c9ac56a7 8160539: Stack frame scanning acquires DerivedPointerTableGC_lock mutex
kbarrett
parents: 54807
diff changeset
   772
bool DerivedPointerTable::is_empty() {
7136c9ac56a7 8160539: Stack frame scanning acquires DerivedPointerTableGC_lock mutex
kbarrett
parents: 54807
diff changeset
   773
  return Entry::_list == NULL || Entry::_list->empty();
7136c9ac56a7 8160539: Stack frame scanning acquires DerivedPointerTableGC_lock mutex
kbarrett
parents: 54807
diff changeset
   774
}
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   775
489c9b5090e2 Initial load
duke
parents:
diff changeset
   776
void DerivedPointerTable::clear() {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   777
  // The first time, we create the list.  Otherwise it should be
489c9b5090e2 Initial load
duke
parents:
diff changeset
   778
  // empty.  If not, then we have probably forgotton to call
489c9b5090e2 Initial load
duke
parents:
diff changeset
   779
  // update_pointers after last GC/Scavenge.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   780
  assert (!_active, "should not be active");
54916
7136c9ac56a7 8160539: Stack frame scanning acquires DerivedPointerTableGC_lock mutex
kbarrett
parents: 54807
diff changeset
   781
  assert(is_empty(), "table not empty");
7136c9ac56a7 8160539: Stack frame scanning acquires DerivedPointerTableGC_lock mutex
kbarrett
parents: 54807
diff changeset
   782
  if (Entry::_list == NULL) {
7136c9ac56a7 8160539: Stack frame scanning acquires DerivedPointerTableGC_lock mutex
kbarrett
parents: 54807
diff changeset
   783
    void* mem = NEW_C_HEAP_OBJ(Entry::List, mtCompiler);
7136c9ac56a7 8160539: Stack frame scanning acquires DerivedPointerTableGC_lock mutex
kbarrett
parents: 54807
diff changeset
   784
    Entry::_list = ::new (mem) Entry::List();
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   785
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   786
  _active = true;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   787
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   788
489c9b5090e2 Initial load
duke
parents:
diff changeset
   789
// Returns value of location as an int
54916
7136c9ac56a7 8160539: Stack frame scanning acquires DerivedPointerTableGC_lock mutex
kbarrett
parents: 54807
diff changeset
   790
inline intptr_t value_of_loc(oop *pointer) {
7136c9ac56a7 8160539: Stack frame scanning acquires DerivedPointerTableGC_lock mutex
kbarrett
parents: 54807
diff changeset
   791
  return cast_from_oop<intptr_t>((*pointer));
7136c9ac56a7 8160539: Stack frame scanning acquires DerivedPointerTableGC_lock mutex
kbarrett
parents: 54807
diff changeset
   792
}
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   793
489c9b5090e2 Initial load
duke
parents:
diff changeset
   794
void DerivedPointerTable::add(oop *derived_loc, oop *base_loc) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   795
  assert(Universe::heap()->is_in_or_null(*base_loc), "not an oop");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   796
  assert(derived_loc != base_loc, "Base and derived in same location");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   797
  if (_active) {
52070
e4d72440d60e 8211279: Verify missing object equals barriers
rkennke
parents: 51333
diff changeset
   798
    assert(*derived_loc != (void*)base_loc, "location already added");
54916
7136c9ac56a7 8160539: Stack frame scanning acquires DerivedPointerTableGC_lock mutex
kbarrett
parents: 54807
diff changeset
   799
    assert(Entry::_list != NULL, "list must exist");
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   800
    intptr_t offset = value_of_loc(derived_loc) - value_of_loc(base_loc);
9976
6fef34e63df1 7045514: SPARC assembly code for JSR 292 ricochet frames
never
parents: 7397
diff changeset
   801
    // This assert is invalid because derived pointers can be
6fef34e63df1 7045514: SPARC assembly code for JSR 292 ricochet frames
never
parents: 7397
diff changeset
   802
    // arbitrarily far away from their base.
6fef34e63df1 7045514: SPARC assembly code for JSR 292 ricochet frames
never
parents: 7397
diff changeset
   803
    // assert(offset >= -1000000, "wrong derived pointer info");
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   804
489c9b5090e2 Initial load
duke
parents:
diff changeset
   805
    if (TraceDerivedPointers) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   806
      tty->print_cr(
489c9b5090e2 Initial load
duke
parents:
diff changeset
   807
        "Add derived pointer@" INTPTR_FORMAT
489c9b5090e2 Initial load
duke
parents:
diff changeset
   808
        " - Derived: " INTPTR_FORMAT
24424
2658d7834c6e 8037816: Fix for 8036122 breaks build with Xcode5/clang
drchase
parents: 24320
diff changeset
   809
        " Base: " INTPTR_FORMAT " (@" INTPTR_FORMAT ") (Offset: " INTX_FORMAT ")",
2658d7834c6e 8037816: Fix for 8036122 breaks build with Xcode5/clang
drchase
parents: 24320
diff changeset
   810
        p2i(derived_loc), p2i((address)*derived_loc), p2i((address)*base_loc), p2i(base_loc), offset
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   811
      );
489c9b5090e2 Initial load
duke
parents:
diff changeset
   812
    }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   813
    // Set derived oop location to point to base.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   814
    *derived_loc = (oop)base_loc;
54916
7136c9ac56a7 8160539: Stack frame scanning acquires DerivedPointerTableGC_lock mutex
kbarrett
parents: 54807
diff changeset
   815
    Entry* entry = new Entry(derived_loc, offset);
7136c9ac56a7 8160539: Stack frame scanning acquires DerivedPointerTableGC_lock mutex
kbarrett
parents: 54807
diff changeset
   816
    Entry::_list->push(*entry);
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   817
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   818
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   819
489c9b5090e2 Initial load
duke
parents:
diff changeset
   820
void DerivedPointerTable::update_pointers() {
54916
7136c9ac56a7 8160539: Stack frame scanning acquires DerivedPointerTableGC_lock mutex
kbarrett
parents: 54807
diff changeset
   821
  assert(Entry::_list != NULL, "list must exist");
7136c9ac56a7 8160539: Stack frame scanning acquires DerivedPointerTableGC_lock mutex
kbarrett
parents: 54807
diff changeset
   822
  Entry* entries = Entry::_list->pop_all();
7136c9ac56a7 8160539: Stack frame scanning acquires DerivedPointerTableGC_lock mutex
kbarrett
parents: 54807
diff changeset
   823
  while (entries != NULL) {
7136c9ac56a7 8160539: Stack frame scanning acquires DerivedPointerTableGC_lock mutex
kbarrett
parents: 54807
diff changeset
   824
    Entry* entry = entries;
7136c9ac56a7 8160539: Stack frame scanning acquires DerivedPointerTableGC_lock mutex
kbarrett
parents: 54807
diff changeset
   825
    entries = entry->next();
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   826
    oop* derived_loc = entry->location();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   827
    intptr_t offset  = entry->offset();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   828
    // The derived oop was setup to point to location of base
54916
7136c9ac56a7 8160539: Stack frame scanning acquires DerivedPointerTableGC_lock mutex
kbarrett
parents: 54807
diff changeset
   829
    oop base = **(oop**)derived_loc;
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   830
    assert(Universe::heap()->is_in_or_null(base), "must be an oop");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   831
489c9b5090e2 Initial load
duke
parents:
diff changeset
   832
    *derived_loc = (oop)(((address)base) + offset);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   833
    assert(value_of_loc(derived_loc) - value_of_loc(&base) == offset, "sanity check");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   834
489c9b5090e2 Initial load
duke
parents:
diff changeset
   835
    if (TraceDerivedPointers) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   836
      tty->print_cr("Updating derived pointer@" INTPTR_FORMAT
24424
2658d7834c6e 8037816: Fix for 8036122 breaks build with Xcode5/clang
drchase
parents: 24320
diff changeset
   837
                    " - Derived: " INTPTR_FORMAT "  Base: " INTPTR_FORMAT " (Offset: " INTX_FORMAT ")",
2658d7834c6e 8037816: Fix for 8036122 breaks build with Xcode5/clang
drchase
parents: 24320
diff changeset
   838
          p2i(derived_loc), p2i((address)*derived_loc), p2i((address)base), offset);
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   839
    }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   840
489c9b5090e2 Initial load
duke
parents:
diff changeset
   841
    // Delete entry
489c9b5090e2 Initial load
duke
parents:
diff changeset
   842
    delete entry;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   843
  }
54916
7136c9ac56a7 8160539: Stack frame scanning acquires DerivedPointerTableGC_lock mutex
kbarrett
parents: 54807
diff changeset
   844
  assert(Entry::_list->empty(), "invariant");
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   845
  _active = false;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   846
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   847
47799
1772ebf07d1f 8152470: Add COMPILER2_OR_JVMCI definition
jcm
parents: 47676
diff changeset
   848
#endif // COMPILER2_OR_JVMCI