src/hotspot/share/ci/ciMethodData.cpp
author ihse
Mon, 26 Nov 2018 14:18:22 +0100
branchihse-manpages-branch
changeset 57043 23d7457ca4c6
parent 51680 d058b410af0a
child 52785 7003a0220fe4
permissions -rw-r--r--
Clean up login in when running which kind of man page creation.
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
     1
/*
46630
75aa3e39d02c 8182299: Enable disabled clang warnings, build on OSX 10 + Xcode 8
jwilhelm
parents: 44315
diff changeset
     2
 * Copyright (c) 2001, 2017, 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: 670
diff changeset
    19
 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
f4b087cbb361 6941466: Oracle rebranding changes for Hotspot repositories
trims
parents: 670
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: 670
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: 6453
diff changeset
    25
#include "precompiled.hpp"
13728
882756847a04 6964458: Reimplement class meta-data storage to use native memory
coleenp
parents: 7397
diff changeset
    26
#include "ci/ciMetadata.hpp"
7397
5b173b4ca846 6989984: Use standard include model for Hospot
stefank
parents: 6453
diff changeset
    27
#include "ci/ciMethodData.hpp"
14477
95e66ea71f71 6830717: replay of compilations would help with debugging
minqi
parents: 13728
diff changeset
    28
#include "ci/ciReplay.hpp"
49449
ef5d5d343e2a 8199263: Split interfaceSupport.hpp to not require including .inline.hpp files
coleenp
parents: 47887
diff changeset
    29
#include "ci/ciUtilities.inline.hpp"
7397
5b173b4ca846 6989984: Use standard include model for Hospot
stefank
parents: 6453
diff changeset
    30
#include "memory/allocation.inline.hpp"
5b173b4ca846 6989984: Use standard include model for Hospot
stefank
parents: 6453
diff changeset
    31
#include "memory/resourceArea.hpp"
5b173b4ca846 6989984: Use standard include model for Hospot
stefank
parents: 6453
diff changeset
    32
#include "runtime/deoptimization.hpp"
5b173b4ca846 6989984: Use standard include model for Hospot
stefank
parents: 6453
diff changeset
    33
#include "utilities/copy.hpp"
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
    34
489c9b5090e2 Initial load
duke
parents:
diff changeset
    35
// ciMethodData
489c9b5090e2 Initial load
duke
parents:
diff changeset
    36
489c9b5090e2 Initial load
duke
parents:
diff changeset
    37
// ------------------------------------------------------------------
489c9b5090e2 Initial load
duke
parents:
diff changeset
    38
// ciMethodData::ciMethodData
489c9b5090e2 Initial load
duke
parents:
diff changeset
    39
//
13728
882756847a04 6964458: Reimplement class meta-data storage to use native memory
coleenp
parents: 7397
diff changeset
    40
ciMethodData::ciMethodData(MethodData* md) : ciMetadata(md) {
882756847a04 6964458: Reimplement class meta-data storage to use native memory
coleenp
parents: 7397
diff changeset
    41
  assert(md != NULL, "no null method data");
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
    42
  Copy::zero_to_words((HeapWord*) &_orig, sizeof(_orig) / sizeof(HeapWord));
489c9b5090e2 Initial load
duke
parents:
diff changeset
    43
  _data = NULL;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    44
  _data_size = 0;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    45
  _extra_data_size = 0;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    46
  _current_mileage = 0;
6453
970dc585ab63 6953144: Tiered compilation
iveresov
parents: 5547
diff changeset
    47
  _invocation_counter = 0;
970dc585ab63 6953144: Tiered compilation
iveresov
parents: 5547
diff changeset
    48
  _backedge_counter = 0;
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
    49
  _state = empty_state;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    50
  _saw_free_extra_data = false;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    51
  // Set an initial hint. Don't use set_hint_di() because
489c9b5090e2 Initial load
duke
parents:
diff changeset
    52
  // first_di() may be out of bounds if data_size is 0.
489c9b5090e2 Initial load
duke
parents:
diff changeset
    53
  _hint_di = first_di();
218
a0e996680b05 6667615: (Escape Analysis) extend MDO to cache arguments escape state
kvn
parents: 1
diff changeset
    54
  // Initialize the escape information (to "don't know.");
a0e996680b05 6667615: (Escape Analysis) extend MDO to cache arguments escape state
kvn
parents: 1
diff changeset
    55
  _eflags = _arg_local = _arg_stack = _arg_returned = 0;
21095
1a04f7b3946e 8026251: New type profiling points: parameters to methods
roland
parents: 20709
diff changeset
    56
  _parameters = NULL;
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
    57
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
    58
489c9b5090e2 Initial load
duke
parents:
diff changeset
    59
// ------------------------------------------------------------------
489c9b5090e2 Initial load
duke
parents:
diff changeset
    60
// ciMethodData::ciMethodData
489c9b5090e2 Initial load
duke
parents:
diff changeset
    61
//
13728
882756847a04 6964458: Reimplement class meta-data storage to use native memory
coleenp
parents: 7397
diff changeset
    62
// No MethodData*.
882756847a04 6964458: Reimplement class meta-data storage to use native memory
coleenp
parents: 7397
diff changeset
    63
ciMethodData::ciMethodData() : ciMetadata(NULL) {
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
    64
  Copy::zero_to_words((HeapWord*) &_orig, sizeof(_orig) / sizeof(HeapWord));
489c9b5090e2 Initial load
duke
parents:
diff changeset
    65
  _data = NULL;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    66
  _data_size = 0;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    67
  _extra_data_size = 0;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    68
  _current_mileage = 0;
6453
970dc585ab63 6953144: Tiered compilation
iveresov
parents: 5547
diff changeset
    69
  _invocation_counter = 0;
970dc585ab63 6953144: Tiered compilation
iveresov
parents: 5547
diff changeset
    70
  _backedge_counter = 0;
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
    71
  _state = empty_state;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    72
  _saw_free_extra_data = false;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    73
  // Set an initial hint. Don't use set_hint_di() because
489c9b5090e2 Initial load
duke
parents:
diff changeset
    74
  // first_di() may be out of bounds if data_size is 0.
489c9b5090e2 Initial load
duke
parents:
diff changeset
    75
  _hint_di = first_di();
218
a0e996680b05 6667615: (Escape Analysis) extend MDO to cache arguments escape state
kvn
parents: 1
diff changeset
    76
  // Initialize the escape information (to "don't know.");
a0e996680b05 6667615: (Escape Analysis) extend MDO to cache arguments escape state
kvn
parents: 1
diff changeset
    77
  _eflags = _arg_local = _arg_stack = _arg_returned = 0;
21095
1a04f7b3946e 8026251: New type profiling points: parameters to methods
roland
parents: 20709
diff changeset
    78
  _parameters = NULL;
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
    79
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
    80
22916
582da2ed4dfa 8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents: 22234
diff changeset
    81
void ciMethodData::load_extra_data() {
582da2ed4dfa 8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents: 22234
diff changeset
    82
  MethodData* mdo = get_MethodData();
582da2ed4dfa 8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents: 22234
diff changeset
    83
36601
e791e26c8f1b 8139247: Improper locking of MethodData::_extra_data_lock
vlivanov
parents: 33105
diff changeset
    84
  MutexLocker ml(mdo->extra_data_lock());
26440
0c9e5ee0083a 8057038: Speculative traps not robust when compilation and class unloading are concurrent
roland
parents: 25492
diff changeset
    85
22916
582da2ed4dfa 8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents: 22234
diff changeset
    86
  // speculative trap entries also hold a pointer to a Method so need to be translated
582da2ed4dfa 8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents: 22234
diff changeset
    87
  DataLayout* dp_src  = mdo->extra_data_base();
26440
0c9e5ee0083a 8057038: Speculative traps not robust when compilation and class unloading are concurrent
roland
parents: 25492
diff changeset
    88
  DataLayout* end_src = mdo->args_data_limit();
22916
582da2ed4dfa 8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents: 22234
diff changeset
    89
  DataLayout* dp_dst  = extra_data_base();
582da2ed4dfa 8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents: 22234
diff changeset
    90
  for (;; dp_src = MethodData::next_extra(dp_src), dp_dst = MethodData::next_extra(dp_dst)) {
582da2ed4dfa 8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents: 22234
diff changeset
    91
    assert(dp_src < end_src, "moved past end of extra data");
26440
0c9e5ee0083a 8057038: Speculative traps not robust when compilation and class unloading are concurrent
roland
parents: 25492
diff changeset
    92
    assert(((intptr_t)dp_dst) - ((intptr_t)extra_data_base()) == ((intptr_t)dp_src) - ((intptr_t)mdo->extra_data_base()), "source and destination don't match");
0c9e5ee0083a 8057038: Speculative traps not robust when compilation and class unloading are concurrent
roland
parents: 25492
diff changeset
    93
0c9e5ee0083a 8057038: Speculative traps not robust when compilation and class unloading are concurrent
roland
parents: 25492
diff changeset
    94
    // New traps in the MDO may have been added since we copied the
0c9e5ee0083a 8057038: Speculative traps not robust when compilation and class unloading are concurrent
roland
parents: 25492
diff changeset
    95
    // data (concurrent deoptimizations before we acquired
0c9e5ee0083a 8057038: Speculative traps not robust when compilation and class unloading are concurrent
roland
parents: 25492
diff changeset
    96
    // extra_data_lock above) or can be removed (a safepoint may occur
0c9e5ee0083a 8057038: Speculative traps not robust when compilation and class unloading are concurrent
roland
parents: 25492
diff changeset
    97
    // in the translate_from call below) as we translate the copy:
0c9e5ee0083a 8057038: Speculative traps not robust when compilation and class unloading are concurrent
roland
parents: 25492
diff changeset
    98
    // update the copy as we go.
0c9e5ee0083a 8057038: Speculative traps not robust when compilation and class unloading are concurrent
roland
parents: 25492
diff changeset
    99
    int tag = dp_src->tag();
0c9e5ee0083a 8057038: Speculative traps not robust when compilation and class unloading are concurrent
roland
parents: 25492
diff changeset
   100
    if (tag != DataLayout::arg_info_data_tag) {
0c9e5ee0083a 8057038: Speculative traps not robust when compilation and class unloading are concurrent
roland
parents: 25492
diff changeset
   101
      memcpy(dp_dst, dp_src, ((intptr_t)MethodData::next_extra(dp_src)) - ((intptr_t)dp_src));
0c9e5ee0083a 8057038: Speculative traps not robust when compilation and class unloading are concurrent
roland
parents: 25492
diff changeset
   102
    }
0c9e5ee0083a 8057038: Speculative traps not robust when compilation and class unloading are concurrent
roland
parents: 25492
diff changeset
   103
0c9e5ee0083a 8057038: Speculative traps not robust when compilation and class unloading are concurrent
roland
parents: 25492
diff changeset
   104
    switch(tag) {
22916
582da2ed4dfa 8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents: 22234
diff changeset
   105
    case DataLayout::speculative_trap_data_tag: {
36601
e791e26c8f1b 8139247: Improper locking of MethodData::_extra_data_lock
vlivanov
parents: 33105
diff changeset
   106
      ciSpeculativeTrapData data_dst(dp_dst);
e791e26c8f1b 8139247: Improper locking of MethodData::_extra_data_lock
vlivanov
parents: 33105
diff changeset
   107
      SpeculativeTrapData   data_src(dp_src);
26440
0c9e5ee0083a 8057038: Speculative traps not robust when compilation and class unloading are concurrent
roland
parents: 25492
diff changeset
   108
36601
e791e26c8f1b 8139247: Improper locking of MethodData::_extra_data_lock
vlivanov
parents: 33105
diff changeset
   109
      { // During translation a safepoint can happen or VM lock can be taken (e.g., Compile_lock).
e791e26c8f1b 8139247: Improper locking of MethodData::_extra_data_lock
vlivanov
parents: 33105
diff changeset
   110
        MutexUnlocker ml(mdo->extra_data_lock());
e791e26c8f1b 8139247: Improper locking of MethodData::_extra_data_lock
vlivanov
parents: 33105
diff changeset
   111
        data_dst.translate_from(&data_src);
e791e26c8f1b 8139247: Improper locking of MethodData::_extra_data_lock
vlivanov
parents: 33105
diff changeset
   112
      }
22916
582da2ed4dfa 8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents: 22234
diff changeset
   113
      break;
582da2ed4dfa 8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents: 22234
diff changeset
   114
    }
582da2ed4dfa 8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents: 22234
diff changeset
   115
    case DataLayout::bit_data_tag:
582da2ed4dfa 8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents: 22234
diff changeset
   116
      break;
582da2ed4dfa 8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents: 22234
diff changeset
   117
    case DataLayout::no_tag:
582da2ed4dfa 8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents: 22234
diff changeset
   118
    case DataLayout::arg_info_data_tag:
582da2ed4dfa 8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents: 22234
diff changeset
   119
      // An empty slot or ArgInfoData entry marks the end of the trap data
36601
e791e26c8f1b 8139247: Improper locking of MethodData::_extra_data_lock
vlivanov
parents: 33105
diff changeset
   120
      {
e791e26c8f1b 8139247: Improper locking of MethodData::_extra_data_lock
vlivanov
parents: 33105
diff changeset
   121
        return; // Need a block to avoid SS compiler bug
e791e26c8f1b 8139247: Improper locking of MethodData::_extra_data_lock
vlivanov
parents: 33105
diff changeset
   122
      }
22916
582da2ed4dfa 8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents: 22234
diff changeset
   123
    default:
36601
e791e26c8f1b 8139247: Improper locking of MethodData::_extra_data_lock
vlivanov
parents: 33105
diff changeset
   124
      fatal("bad tag = %d", tag);
22916
582da2ed4dfa 8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents: 22234
diff changeset
   125
    }
582da2ed4dfa 8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents: 22234
diff changeset
   126
  }
582da2ed4dfa 8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents: 22234
diff changeset
   127
}
582da2ed4dfa 8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents: 22234
diff changeset
   128
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   129
void ciMethodData::load_data() {
13728
882756847a04 6964458: Reimplement class meta-data storage to use native memory
coleenp
parents: 7397
diff changeset
   130
  MethodData* mdo = get_MethodData();
20695
4f5a5e95090b 8025566: EXCEPTION_ACCESS_VIOLATION in compiled by C1 String.valueOf method
twisti
parents: 20692
diff changeset
   131
  if (mdo == NULL) {
4f5a5e95090b 8025566: EXCEPTION_ACCESS_VIOLATION in compiled by C1 String.valueOf method
twisti
parents: 20692
diff changeset
   132
    return;
4f5a5e95090b 8025566: EXCEPTION_ACCESS_VIOLATION in compiled by C1 String.valueOf method
twisti
parents: 20692
diff changeset
   133
  }
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   134
489c9b5090e2 Initial load
duke
parents:
diff changeset
   135
  // To do: don't copy the data if it is not "ripe" -- require a minimum #
489c9b5090e2 Initial load
duke
parents:
diff changeset
   136
  // of invocations.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   137
489c9b5090e2 Initial load
duke
parents:
diff changeset
   138
  // Snapshot the data -- actually, take an approximate snapshot of
489c9b5090e2 Initial load
duke
parents:
diff changeset
   139
  // the data.  Any concurrently executing threads may be changing the
489c9b5090e2 Initial load
duke
parents:
diff changeset
   140
  // data as we copy it.
13728
882756847a04 6964458: Reimplement class meta-data storage to use native memory
coleenp
parents: 7397
diff changeset
   141
  Copy::disjoint_words((HeapWord*) mdo,
882756847a04 6964458: Reimplement class meta-data storage to use native memory
coleenp
parents: 7397
diff changeset
   142
                       (HeapWord*) &_orig,
882756847a04 6964458: Reimplement class meta-data storage to use native memory
coleenp
parents: 7397
diff changeset
   143
                       sizeof(_orig) / HeapWordSize);
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   144
  Arena* arena = CURRENT_ENV->arena();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   145
  _data_size = mdo->data_size();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   146
  _extra_data_size = mdo->extra_data_size();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   147
  int total_size = _data_size + _extra_data_size;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   148
  _data = (intptr_t *) arena->Amalloc(total_size);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   149
  Copy::disjoint_words((HeapWord*) mdo->data_base(), (HeapWord*) _data, total_size / HeapWordSize);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   150
489c9b5090e2 Initial load
duke
parents:
diff changeset
   151
  // Traverse the profile data, translating any oops into their
489c9b5090e2 Initial load
duke
parents:
diff changeset
   152
  // ci equivalents.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   153
  ResourceMark rm;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   154
  ciProfileData* ci_data = first_data();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   155
  ProfileData* data = mdo->first_data();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   156
  while (is_valid(ci_data)) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   157
    ci_data->translate_from(data);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   158
    ci_data = next_data(ci_data);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   159
    data = mdo->next_data(data);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   160
  }
21095
1a04f7b3946e 8026251: New type profiling points: parameters to methods
roland
parents: 20709
diff changeset
   161
  if (mdo->parameters_type_data() != NULL) {
1a04f7b3946e 8026251: New type profiling points: parameters to methods
roland
parents: 20709
diff changeset
   162
    _parameters = data_layout_at(mdo->parameters_type_data_di());
1a04f7b3946e 8026251: New type profiling points: parameters to methods
roland
parents: 20709
diff changeset
   163
    ciParametersTypeData* parameters = new ciParametersTypeData(_parameters);
1a04f7b3946e 8026251: New type profiling points: parameters to methods
roland
parents: 20709
diff changeset
   164
    parameters->translate_from(mdo->parameters_type_data());
1a04f7b3946e 8026251: New type profiling points: parameters to methods
roland
parents: 20709
diff changeset
   165
  }
1a04f7b3946e 8026251: New type profiling points: parameters to methods
roland
parents: 20709
diff changeset
   166
22916
582da2ed4dfa 8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents: 22234
diff changeset
   167
  load_extra_data();
582da2ed4dfa 8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents: 22234
diff changeset
   168
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   169
  // Note:  Extra data are all BitData, and do not need translation.
13728
882756847a04 6964458: Reimplement class meta-data storage to use native memory
coleenp
parents: 7397
diff changeset
   170
  _current_mileage = MethodData::mileage_of(mdo->method());
6453
970dc585ab63 6953144: Tiered compilation
iveresov
parents: 5547
diff changeset
   171
  _invocation_counter = mdo->invocation_count();
970dc585ab63 6953144: Tiered compilation
iveresov
parents: 5547
diff changeset
   172
  _backedge_counter = mdo->backedge_count();
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   173
  _state = mdo->is_mature()? mature_state: immature_state;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   174
489c9b5090e2 Initial load
duke
parents:
diff changeset
   175
  _eflags = mdo->eflags();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   176
  _arg_local = mdo->arg_local();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   177
  _arg_stack = mdo->arg_stack();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   178
  _arg_returned  = mdo->arg_returned();
14477
95e66ea71f71 6830717: replay of compilations would help with debugging
minqi
parents: 13728
diff changeset
   179
#ifndef PRODUCT
95e66ea71f71 6830717: replay of compilations would help with debugging
minqi
parents: 13728
diff changeset
   180
  if (ReplayCompiles) {
95e66ea71f71 6830717: replay of compilations would help with debugging
minqi
parents: 13728
diff changeset
   181
    ciReplay::initialize(this);
95e66ea71f71 6830717: replay of compilations would help with debugging
minqi
parents: 13728
diff changeset
   182
  }
95e66ea71f71 6830717: replay of compilations would help with debugging
minqi
parents: 13728
diff changeset
   183
#endif
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   184
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   185
20702
bbe0fcde6e13 8023657: New type profiling points: arguments to call
roland
parents: 20695
diff changeset
   186
void ciReceiverTypeData::translate_receiver_data_from(const ProfileData* data) {
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   187
  for (uint row = 0; row < row_limit(); row++) {
13728
882756847a04 6964458: Reimplement class meta-data storage to use native memory
coleenp
parents: 7397
diff changeset
   188
    Klass* k = data->as_ReceiverTypeData()->receiver(row);
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   189
    if (k != NULL) {
51680
d058b410af0a 8210236: Prepare ciReceiverTypeData::translate_receiver_data_from for concurrent class unloading
eosterlund
parents: 49449
diff changeset
   190
      if (k->is_loader_alive()) {
d058b410af0a 8210236: Prepare ciReceiverTypeData::translate_receiver_data_from for concurrent class unloading
eosterlund
parents: 49449
diff changeset
   191
        ciKlass* klass = CURRENT_ENV->get_klass(k);
d058b410af0a 8210236: Prepare ciReceiverTypeData::translate_receiver_data_from for concurrent class unloading
eosterlund
parents: 49449
diff changeset
   192
        set_receiver(row, klass);
d058b410af0a 8210236: Prepare ciReceiverTypeData::translate_receiver_data_from for concurrent class unloading
eosterlund
parents: 49449
diff changeset
   193
      } else {
d058b410af0a 8210236: Prepare ciReceiverTypeData::translate_receiver_data_from for concurrent class unloading
eosterlund
parents: 49449
diff changeset
   194
        // With concurrent class unloading, the MDO could have stale metadata; override it
d058b410af0a 8210236: Prepare ciReceiverTypeData::translate_receiver_data_from for concurrent class unloading
eosterlund
parents: 49449
diff changeset
   195
        clear_row(row);
d058b410af0a 8210236: Prepare ciReceiverTypeData::translate_receiver_data_from for concurrent class unloading
eosterlund
parents: 49449
diff changeset
   196
      }
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   197
    }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   198
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   199
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   200
489c9b5090e2 Initial load
duke
parents:
diff changeset
   201
20702
bbe0fcde6e13 8023657: New type profiling points: arguments to call
roland
parents: 20695
diff changeset
   202
void ciTypeStackSlotEntries::translate_type_data_from(const TypeStackSlotEntries* entries) {
24476
912595db2e75 8026694: New type profiling points break compilation replay
roland
parents: 24424
diff changeset
   203
  for (int i = 0; i < number_of_entries(); i++) {
20702
bbe0fcde6e13 8023657: New type profiling points: arguments to call
roland
parents: 20695
diff changeset
   204
    intptr_t k = entries->type(i);
bbe0fcde6e13 8023657: New type profiling points: arguments to call
roland
parents: 20695
diff changeset
   205
    TypeStackSlotEntries::set_type(i, translate_klass(k));
bbe0fcde6e13 8023657: New type profiling points: arguments to call
roland
parents: 20695
diff changeset
   206
  }
bbe0fcde6e13 8023657: New type profiling points: arguments to call
roland
parents: 20695
diff changeset
   207
}
bbe0fcde6e13 8023657: New type profiling points: arguments to call
roland
parents: 20695
diff changeset
   208
20709
034be898bf04 8026054: New type profiling points: type of return values at calls
roland
parents: 20702
diff changeset
   209
void ciReturnTypeEntry::translate_type_data_from(const ReturnTypeEntry* ret) {
034be898bf04 8026054: New type profiling points: type of return values at calls
roland
parents: 20702
diff changeset
   210
  intptr_t k = ret->type();
034be898bf04 8026054: New type profiling points: type of return values at calls
roland
parents: 20702
diff changeset
   211
  set_type(translate_klass(k));
034be898bf04 8026054: New type profiling points: type of return values at calls
roland
parents: 20702
diff changeset
   212
}
034be898bf04 8026054: New type profiling points: type of return values at calls
roland
parents: 20702
diff changeset
   213
22916
582da2ed4dfa 8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents: 22234
diff changeset
   214
void ciSpeculativeTrapData::translate_from(const ProfileData* data) {
582da2ed4dfa 8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents: 22234
diff changeset
   215
  Method* m = data->as_SpeculativeTrapData()->method();
582da2ed4dfa 8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents: 22234
diff changeset
   216
  ciMethod* ci_m = CURRENT_ENV->get_method(m);
582da2ed4dfa 8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents: 22234
diff changeset
   217
  set_method(ci_m);
582da2ed4dfa 8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents: 22234
diff changeset
   218
}
582da2ed4dfa 8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents: 22234
diff changeset
   219
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   220
// Get the data at an arbitrary (sort of) data index.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   221
ciProfileData* ciMethodData::data_at(int data_index) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   222
  if (out_of_bounds(data_index)) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   223
    return NULL;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   224
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   225
  DataLayout* data_layout = data_layout_at(data_index);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   226
489c9b5090e2 Initial load
duke
parents:
diff changeset
   227
  switch (data_layout->tag()) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   228
  case DataLayout::no_tag:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   229
  default:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   230
    ShouldNotReachHere();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   231
    return NULL;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   232
  case DataLayout::bit_data_tag:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   233
    return new ciBitData(data_layout);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   234
  case DataLayout::counter_data_tag:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   235
    return new ciCounterData(data_layout);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   236
  case DataLayout::jump_data_tag:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   237
    return new ciJumpData(data_layout);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   238
  case DataLayout::receiver_type_data_tag:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   239
    return new ciReceiverTypeData(data_layout);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   240
  case DataLayout::virtual_call_data_tag:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   241
    return new ciVirtualCallData(data_layout);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   242
  case DataLayout::ret_data_tag:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   243
    return new ciRetData(data_layout);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   244
  case DataLayout::branch_data_tag:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   245
    return new ciBranchData(data_layout);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   246
  case DataLayout::multi_branch_data_tag:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   247
    return new ciMultiBranchData(data_layout);
218
a0e996680b05 6667615: (Escape Analysis) extend MDO to cache arguments escape state
kvn
parents: 1
diff changeset
   248
  case DataLayout::arg_info_data_tag:
a0e996680b05 6667615: (Escape Analysis) extend MDO to cache arguments escape state
kvn
parents: 1
diff changeset
   249
    return new ciArgInfoData(data_layout);
20702
bbe0fcde6e13 8023657: New type profiling points: arguments to call
roland
parents: 20695
diff changeset
   250
  case DataLayout::call_type_data_tag:
bbe0fcde6e13 8023657: New type profiling points: arguments to call
roland
parents: 20695
diff changeset
   251
    return new ciCallTypeData(data_layout);
bbe0fcde6e13 8023657: New type profiling points: arguments to call
roland
parents: 20695
diff changeset
   252
  case DataLayout::virtual_call_type_data_tag:
bbe0fcde6e13 8023657: New type profiling points: arguments to call
roland
parents: 20695
diff changeset
   253
    return new ciVirtualCallTypeData(data_layout);
21095
1a04f7b3946e 8026251: New type profiling points: parameters to methods
roland
parents: 20709
diff changeset
   254
  case DataLayout::parameters_type_data_tag:
1a04f7b3946e 8026251: New type profiling points: parameters to methods
roland
parents: 20709
diff changeset
   255
    return new ciParametersTypeData(data_layout);
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   256
  };
489c9b5090e2 Initial load
duke
parents:
diff changeset
   257
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   258
489c9b5090e2 Initial load
duke
parents:
diff changeset
   259
// Iteration over data.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   260
ciProfileData* ciMethodData::next_data(ciProfileData* current) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   261
  int current_index = dp_to_di(current->dp());
489c9b5090e2 Initial load
duke
parents:
diff changeset
   262
  int next_index = current_index + current->size_in_bytes();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   263
  ciProfileData* next = data_at(next_index);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   264
  return next;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   265
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   266
22916
582da2ed4dfa 8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents: 22234
diff changeset
   267
ciProfileData* ciMethodData::bci_to_extra_data(int bci, ciMethod* m, bool& two_free_slots) {
26440
0c9e5ee0083a 8057038: Speculative traps not robust when compilation and class unloading are concurrent
roland
parents: 25492
diff changeset
   268
  DataLayout* dp  = extra_data_base();
0c9e5ee0083a 8057038: Speculative traps not robust when compilation and class unloading are concurrent
roland
parents: 25492
diff changeset
   269
  DataLayout* end = args_data_limit();
22916
582da2ed4dfa 8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents: 22234
diff changeset
   270
  two_free_slots = false;
582da2ed4dfa 8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents: 22234
diff changeset
   271
  for (;dp < end; dp = MethodData::next_extra(dp)) {
582da2ed4dfa 8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents: 22234
diff changeset
   272
    switch(dp->tag()) {
582da2ed4dfa 8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents: 22234
diff changeset
   273
    case DataLayout::no_tag:
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   274
      _saw_free_extra_data = true;  // observed an empty slot (common case)
22916
582da2ed4dfa 8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents: 22234
diff changeset
   275
      two_free_slots = (MethodData::next_extra(dp)->tag() == DataLayout::no_tag);
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   276
      return NULL;
22916
582da2ed4dfa 8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents: 22234
diff changeset
   277
    case DataLayout::arg_info_data_tag:
582da2ed4dfa 8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents: 22234
diff changeset
   278
      return NULL; // ArgInfoData is at the end of extra data section.
582da2ed4dfa 8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents: 22234
diff changeset
   279
    case DataLayout::bit_data_tag:
582da2ed4dfa 8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents: 22234
diff changeset
   280
      if (m == NULL && dp->bci() == bci) {
582da2ed4dfa 8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents: 22234
diff changeset
   281
        return new ciBitData(dp);
582da2ed4dfa 8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents: 22234
diff changeset
   282
      }
582da2ed4dfa 8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents: 22234
diff changeset
   283
      break;
582da2ed4dfa 8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents: 22234
diff changeset
   284
    case DataLayout::speculative_trap_data_tag: {
582da2ed4dfa 8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents: 22234
diff changeset
   285
      ciSpeculativeTrapData* data = new ciSpeculativeTrapData(dp);
582da2ed4dfa 8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents: 22234
diff changeset
   286
      // data->method() might be null if the MDO is snapshotted
582da2ed4dfa 8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents: 22234
diff changeset
   287
      // concurrently with a trap
582da2ed4dfa 8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents: 22234
diff changeset
   288
      if (m != NULL && data->method() == m && dp->bci() == bci) {
582da2ed4dfa 8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents: 22234
diff changeset
   289
        return data;
582da2ed4dfa 8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents: 22234
diff changeset
   290
      }
582da2ed4dfa 8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents: 22234
diff changeset
   291
      break;
582da2ed4dfa 8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents: 22234
diff changeset
   292
    }
582da2ed4dfa 8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents: 22234
diff changeset
   293
    default:
33105
294e48b4f704 8080775: Better argument formatting for assert() and friends
david
parents: 26440
diff changeset
   294
      fatal("bad tag = %d", dp->tag());
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   295
    }
22916
582da2ed4dfa 8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents: 22234
diff changeset
   296
  }
582da2ed4dfa 8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents: 22234
diff changeset
   297
  return NULL;
582da2ed4dfa 8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents: 22234
diff changeset
   298
}
582da2ed4dfa 8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents: 22234
diff changeset
   299
582da2ed4dfa 8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents: 22234
diff changeset
   300
// Translate a bci to its corresponding data, or NULL.
582da2ed4dfa 8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents: 22234
diff changeset
   301
ciProfileData* ciMethodData::bci_to_data(int bci, ciMethod* m) {
582da2ed4dfa 8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents: 22234
diff changeset
   302
  // If m is not NULL we look for a SpeculativeTrapData entry
582da2ed4dfa 8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents: 22234
diff changeset
   303
  if (m == NULL) {
582da2ed4dfa 8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents: 22234
diff changeset
   304
    ciProfileData* data = data_before(bci);
582da2ed4dfa 8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents: 22234
diff changeset
   305
    for ( ; is_valid(data); data = next_data(data)) {
582da2ed4dfa 8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents: 22234
diff changeset
   306
      if (data->bci() == bci) {
582da2ed4dfa 8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents: 22234
diff changeset
   307
        set_hint_di(dp_to_di(data->dp()));
582da2ed4dfa 8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents: 22234
diff changeset
   308
        return data;
582da2ed4dfa 8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents: 22234
diff changeset
   309
      } else if (data->bci() > bci) {
582da2ed4dfa 8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents: 22234
diff changeset
   310
        break;
582da2ed4dfa 8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents: 22234
diff changeset
   311
      }
218
a0e996680b05 6667615: (Escape Analysis) extend MDO to cache arguments escape state
kvn
parents: 1
diff changeset
   312
    }
22916
582da2ed4dfa 8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents: 22234
diff changeset
   313
  }
582da2ed4dfa 8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents: 22234
diff changeset
   314
  bool two_free_slots = false;
582da2ed4dfa 8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents: 22234
diff changeset
   315
  ciProfileData* result = bci_to_extra_data(bci, m, two_free_slots);
582da2ed4dfa 8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents: 22234
diff changeset
   316
  if (result != NULL) {
582da2ed4dfa 8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents: 22234
diff changeset
   317
    return result;
582da2ed4dfa 8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents: 22234
diff changeset
   318
  }
582da2ed4dfa 8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents: 22234
diff changeset
   319
  if (m != NULL && !two_free_slots) {
582da2ed4dfa 8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents: 22234
diff changeset
   320
    // We were looking for a SpeculativeTrapData entry we didn't
582da2ed4dfa 8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents: 22234
diff changeset
   321
    // find. Room is not available for more SpeculativeTrapData
582da2ed4dfa 8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents: 22234
diff changeset
   322
    // entries, look in the non SpeculativeTrapData entries.
582da2ed4dfa 8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents: 22234
diff changeset
   323
    return bci_to_data(bci, NULL);
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   324
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   325
  return NULL;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   326
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   327
489c9b5090e2 Initial load
duke
parents:
diff changeset
   328
// Conservatively decode the trap_state of a ciProfileData.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   329
int ciMethodData::has_trap_at(ciProfileData* data, int reason) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   330
  typedef Deoptimization::DeoptReason DR_t;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   331
  int per_bc_reason
489c9b5090e2 Initial load
duke
parents:
diff changeset
   332
    = Deoptimization::reason_recorded_per_bytecode_if_any((DR_t) reason);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   333
  if (trap_count(reason) == 0) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   334
    // Impossible for this trap to have occurred, regardless of trap_state.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   335
    // Note:  This happens if the MDO is empty.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   336
    return 0;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   337
  } else if (per_bc_reason == Deoptimization::Reason_none) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   338
    // We cannot conclude anything; a trap happened somewhere, maybe here.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   339
    return -1;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   340
  } else if (data == NULL) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   341
    // No profile here, not even an extra_data record allocated on the fly.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   342
    // If there are empty extra_data records, and there had been a trap,
489c9b5090e2 Initial load
duke
parents:
diff changeset
   343
    // there would have been a non-null data pointer.  If there are no
489c9b5090e2 Initial load
duke
parents:
diff changeset
   344
    // free extra_data records, we must return a conservative -1.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   345
    if (_saw_free_extra_data)
489c9b5090e2 Initial load
duke
parents:
diff changeset
   346
      return 0;                 // Q.E.D.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   347
    else
489c9b5090e2 Initial load
duke
parents:
diff changeset
   348
      return -1;                // bail with a conservative answer
489c9b5090e2 Initial load
duke
parents:
diff changeset
   349
  } else {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   350
    return Deoptimization::trap_state_has_reason(data->trap_state(), per_bc_reason);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   351
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   352
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   353
489c9b5090e2 Initial load
duke
parents:
diff changeset
   354
int ciMethodData::trap_recompiled_at(ciProfileData* data) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   355
  if (data == NULL) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   356
    return (_saw_free_extra_data? 0: -1);  // (see previous method)
489c9b5090e2 Initial load
duke
parents:
diff changeset
   357
  } else {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   358
    return Deoptimization::trap_state_is_recompiled(data->trap_state())? 1: 0;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   359
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   360
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   361
489c9b5090e2 Initial load
duke
parents:
diff changeset
   362
void ciMethodData::clear_escape_info() {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   363
  VM_ENTRY_MARK;
13728
882756847a04 6964458: Reimplement class meta-data storage to use native memory
coleenp
parents: 7397
diff changeset
   364
  MethodData* mdo = get_MethodData();
218
a0e996680b05 6667615: (Escape Analysis) extend MDO to cache arguments escape state
kvn
parents: 1
diff changeset
   365
  if (mdo != NULL) {
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   366
    mdo->clear_escape_info();
218
a0e996680b05 6667615: (Escape Analysis) extend MDO to cache arguments escape state
kvn
parents: 1
diff changeset
   367
    ArgInfoData *aid = arg_info();
a0e996680b05 6667615: (Escape Analysis) extend MDO to cache arguments escape state
kvn
parents: 1
diff changeset
   368
    int arg_count = (aid == NULL) ? 0 : aid->number_of_args();
a0e996680b05 6667615: (Escape Analysis) extend MDO to cache arguments escape state
kvn
parents: 1
diff changeset
   369
    for (int i = 0; i < arg_count; i++) {
a0e996680b05 6667615: (Escape Analysis) extend MDO to cache arguments escape state
kvn
parents: 1
diff changeset
   370
      set_arg_modified(i, 0);
a0e996680b05 6667615: (Escape Analysis) extend MDO to cache arguments escape state
kvn
parents: 1
diff changeset
   371
    }
a0e996680b05 6667615: (Escape Analysis) extend MDO to cache arguments escape state
kvn
parents: 1
diff changeset
   372
  }
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   373
  _eflags = _arg_local = _arg_stack = _arg_returned = 0;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   374
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   375
13728
882756847a04 6964458: Reimplement class meta-data storage to use native memory
coleenp
parents: 7397
diff changeset
   376
// copy our escape info to the MethodData* if it exists
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   377
void ciMethodData::update_escape_info() {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   378
  VM_ENTRY_MARK;
13728
882756847a04 6964458: Reimplement class meta-data storage to use native memory
coleenp
parents: 7397
diff changeset
   379
  MethodData* mdo = get_MethodData();
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   380
  if ( mdo != NULL) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   381
    mdo->set_eflags(_eflags);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   382
    mdo->set_arg_local(_arg_local);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   383
    mdo->set_arg_stack(_arg_stack);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   384
    mdo->set_arg_returned(_arg_returned);
218
a0e996680b05 6667615: (Escape Analysis) extend MDO to cache arguments escape state
kvn
parents: 1
diff changeset
   385
    int arg_count = mdo->method()->size_of_parameters();
a0e996680b05 6667615: (Escape Analysis) extend MDO to cache arguments escape state
kvn
parents: 1
diff changeset
   386
    for (int i = 0; i < arg_count; i++) {
a0e996680b05 6667615: (Escape Analysis) extend MDO to cache arguments escape state
kvn
parents: 1
diff changeset
   387
      mdo->set_arg_modified(i, arg_modified(i));
a0e996680b05 6667615: (Escape Analysis) extend MDO to cache arguments escape state
kvn
parents: 1
diff changeset
   388
    }
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   389
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   390
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   391
6453
970dc585ab63 6953144: Tiered compilation
iveresov
parents: 5547
diff changeset
   392
void ciMethodData::set_compilation_stats(short loops, short blocks) {
970dc585ab63 6953144: Tiered compilation
iveresov
parents: 5547
diff changeset
   393
  VM_ENTRY_MARK;
13728
882756847a04 6964458: Reimplement class meta-data storage to use native memory
coleenp
parents: 7397
diff changeset
   394
  MethodData* mdo = get_MethodData();
6453
970dc585ab63 6953144: Tiered compilation
iveresov
parents: 5547
diff changeset
   395
  if (mdo != NULL) {
970dc585ab63 6953144: Tiered compilation
iveresov
parents: 5547
diff changeset
   396
    mdo->set_num_loops(loops);
970dc585ab63 6953144: Tiered compilation
iveresov
parents: 5547
diff changeset
   397
    mdo->set_num_blocks(blocks);
970dc585ab63 6953144: Tiered compilation
iveresov
parents: 5547
diff changeset
   398
  }
970dc585ab63 6953144: Tiered compilation
iveresov
parents: 5547
diff changeset
   399
}
970dc585ab63 6953144: Tiered compilation
iveresov
parents: 5547
diff changeset
   400
970dc585ab63 6953144: Tiered compilation
iveresov
parents: 5547
diff changeset
   401
void ciMethodData::set_would_profile(bool p) {
970dc585ab63 6953144: Tiered compilation
iveresov
parents: 5547
diff changeset
   402
  VM_ENTRY_MARK;
13728
882756847a04 6964458: Reimplement class meta-data storage to use native memory
coleenp
parents: 7397
diff changeset
   403
  MethodData* mdo = get_MethodData();
6453
970dc585ab63 6953144: Tiered compilation
iveresov
parents: 5547
diff changeset
   404
  if (mdo != NULL) {
970dc585ab63 6953144: Tiered compilation
iveresov
parents: 5547
diff changeset
   405
    mdo->set_would_profile(p);
970dc585ab63 6953144: Tiered compilation
iveresov
parents: 5547
diff changeset
   406
  }
970dc585ab63 6953144: Tiered compilation
iveresov
parents: 5547
diff changeset
   407
}
970dc585ab63 6953144: Tiered compilation
iveresov
parents: 5547
diff changeset
   408
20702
bbe0fcde6e13 8023657: New type profiling points: arguments to call
roland
parents: 20695
diff changeset
   409
void ciMethodData::set_argument_type(int bci, int i, ciKlass* k) {
bbe0fcde6e13 8023657: New type profiling points: arguments to call
roland
parents: 20695
diff changeset
   410
  VM_ENTRY_MARK;
bbe0fcde6e13 8023657: New type profiling points: arguments to call
roland
parents: 20695
diff changeset
   411
  MethodData* mdo = get_MethodData();
bbe0fcde6e13 8023657: New type profiling points: arguments to call
roland
parents: 20695
diff changeset
   412
  if (mdo != NULL) {
bbe0fcde6e13 8023657: New type profiling points: arguments to call
roland
parents: 20695
diff changeset
   413
    ProfileData* data = mdo->bci_to_data(bci);
44315
1e2f842b0c96 8175340: Possible invalid memory accesses due to ciMethodData::bci_to_data() returning NULL
zmajo
parents: 36601
diff changeset
   414
    if (data != NULL) {
1e2f842b0c96 8175340: Possible invalid memory accesses due to ciMethodData::bci_to_data() returning NULL
zmajo
parents: 36601
diff changeset
   415
      if (data->is_CallTypeData()) {
1e2f842b0c96 8175340: Possible invalid memory accesses due to ciMethodData::bci_to_data() returning NULL
zmajo
parents: 36601
diff changeset
   416
        data->as_CallTypeData()->set_argument_type(i, k->get_Klass());
1e2f842b0c96 8175340: Possible invalid memory accesses due to ciMethodData::bci_to_data() returning NULL
zmajo
parents: 36601
diff changeset
   417
      } else {
1e2f842b0c96 8175340: Possible invalid memory accesses due to ciMethodData::bci_to_data() returning NULL
zmajo
parents: 36601
diff changeset
   418
        assert(data->is_VirtualCallTypeData(), "no arguments!");
1e2f842b0c96 8175340: Possible invalid memory accesses due to ciMethodData::bci_to_data() returning NULL
zmajo
parents: 36601
diff changeset
   419
        data->as_VirtualCallTypeData()->set_argument_type(i, k->get_Klass());
1e2f842b0c96 8175340: Possible invalid memory accesses due to ciMethodData::bci_to_data() returning NULL
zmajo
parents: 36601
diff changeset
   420
      }
20702
bbe0fcde6e13 8023657: New type profiling points: arguments to call
roland
parents: 20695
diff changeset
   421
    }
bbe0fcde6e13 8023657: New type profiling points: arguments to call
roland
parents: 20695
diff changeset
   422
  }
bbe0fcde6e13 8023657: New type profiling points: arguments to call
roland
parents: 20695
diff changeset
   423
}
bbe0fcde6e13 8023657: New type profiling points: arguments to call
roland
parents: 20695
diff changeset
   424
21095
1a04f7b3946e 8026251: New type profiling points: parameters to methods
roland
parents: 20709
diff changeset
   425
void ciMethodData::set_parameter_type(int i, ciKlass* k) {
1a04f7b3946e 8026251: New type profiling points: parameters to methods
roland
parents: 20709
diff changeset
   426
  VM_ENTRY_MARK;
1a04f7b3946e 8026251: New type profiling points: parameters to methods
roland
parents: 20709
diff changeset
   427
  MethodData* mdo = get_MethodData();
1a04f7b3946e 8026251: New type profiling points: parameters to methods
roland
parents: 20709
diff changeset
   428
  if (mdo != NULL) {
1a04f7b3946e 8026251: New type profiling points: parameters to methods
roland
parents: 20709
diff changeset
   429
    mdo->parameters_type_data()->set_type(i, k->get_Klass());
1a04f7b3946e 8026251: New type profiling points: parameters to methods
roland
parents: 20709
diff changeset
   430
  }
1a04f7b3946e 8026251: New type profiling points: parameters to methods
roland
parents: 20709
diff changeset
   431
}
1a04f7b3946e 8026251: New type profiling points: parameters to methods
roland
parents: 20709
diff changeset
   432
20709
034be898bf04 8026054: New type profiling points: type of return values at calls
roland
parents: 20702
diff changeset
   433
void ciMethodData::set_return_type(int bci, ciKlass* k) {
034be898bf04 8026054: New type profiling points: type of return values at calls
roland
parents: 20702
diff changeset
   434
  VM_ENTRY_MARK;
034be898bf04 8026054: New type profiling points: type of return values at calls
roland
parents: 20702
diff changeset
   435
  MethodData* mdo = get_MethodData();
034be898bf04 8026054: New type profiling points: type of return values at calls
roland
parents: 20702
diff changeset
   436
  if (mdo != NULL) {
034be898bf04 8026054: New type profiling points: type of return values at calls
roland
parents: 20702
diff changeset
   437
    ProfileData* data = mdo->bci_to_data(bci);
44315
1e2f842b0c96 8175340: Possible invalid memory accesses due to ciMethodData::bci_to_data() returning NULL
zmajo
parents: 36601
diff changeset
   438
    if (data != NULL) {
1e2f842b0c96 8175340: Possible invalid memory accesses due to ciMethodData::bci_to_data() returning NULL
zmajo
parents: 36601
diff changeset
   439
      if (data->is_CallTypeData()) {
1e2f842b0c96 8175340: Possible invalid memory accesses due to ciMethodData::bci_to_data() returning NULL
zmajo
parents: 36601
diff changeset
   440
        data->as_CallTypeData()->set_return_type(k->get_Klass());
1e2f842b0c96 8175340: Possible invalid memory accesses due to ciMethodData::bci_to_data() returning NULL
zmajo
parents: 36601
diff changeset
   441
      } else {
1e2f842b0c96 8175340: Possible invalid memory accesses due to ciMethodData::bci_to_data() returning NULL
zmajo
parents: 36601
diff changeset
   442
        assert(data->is_VirtualCallTypeData(), "no arguments!");
1e2f842b0c96 8175340: Possible invalid memory accesses due to ciMethodData::bci_to_data() returning NULL
zmajo
parents: 36601
diff changeset
   443
        data->as_VirtualCallTypeData()->set_return_type(k->get_Klass());
1e2f842b0c96 8175340: Possible invalid memory accesses due to ciMethodData::bci_to_data() returning NULL
zmajo
parents: 36601
diff changeset
   444
      }
20709
034be898bf04 8026054: New type profiling points: type of return values at calls
roland
parents: 20702
diff changeset
   445
    }
034be898bf04 8026054: New type profiling points: type of return values at calls
roland
parents: 20702
diff changeset
   446
  }
034be898bf04 8026054: New type profiling points: type of return values at calls
roland
parents: 20702
diff changeset
   447
}
034be898bf04 8026054: New type profiling points: type of return values at calls
roland
parents: 20702
diff changeset
   448
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   449
bool ciMethodData::has_escape_info() {
13728
882756847a04 6964458: Reimplement class meta-data storage to use native memory
coleenp
parents: 7397
diff changeset
   450
  return eflag_set(MethodData::estimated);
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   451
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   452
13728
882756847a04 6964458: Reimplement class meta-data storage to use native memory
coleenp
parents: 7397
diff changeset
   453
void ciMethodData::set_eflag(MethodData::EscapeFlag f) {
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   454
  set_bits(_eflags, f);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   455
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   456
13728
882756847a04 6964458: Reimplement class meta-data storage to use native memory
coleenp
parents: 7397
diff changeset
   457
void ciMethodData::clear_eflag(MethodData::EscapeFlag f) {
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   458
  clear_bits(_eflags, f);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   459
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   460
13728
882756847a04 6964458: Reimplement class meta-data storage to use native memory
coleenp
parents: 7397
diff changeset
   461
bool ciMethodData::eflag_set(MethodData::EscapeFlag f) const {
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   462
  return mask_bits(_eflags, f) != 0;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   463
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   464
489c9b5090e2 Initial load
duke
parents:
diff changeset
   465
void ciMethodData::set_arg_local(int i) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   466
  set_nth_bit(_arg_local, i);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   467
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   468
489c9b5090e2 Initial load
duke
parents:
diff changeset
   469
void ciMethodData::set_arg_stack(int i) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   470
  set_nth_bit(_arg_stack, i);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   471
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   472
489c9b5090e2 Initial load
duke
parents:
diff changeset
   473
void ciMethodData::set_arg_returned(int i) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   474
  set_nth_bit(_arg_returned, i);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   475
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   476
218
a0e996680b05 6667615: (Escape Analysis) extend MDO to cache arguments escape state
kvn
parents: 1
diff changeset
   477
void ciMethodData::set_arg_modified(int arg, uint val) {
a0e996680b05 6667615: (Escape Analysis) extend MDO to cache arguments escape state
kvn
parents: 1
diff changeset
   478
  ArgInfoData *aid = arg_info();
a0e996680b05 6667615: (Escape Analysis) extend MDO to cache arguments escape state
kvn
parents: 1
diff changeset
   479
  if (aid == NULL)
a0e996680b05 6667615: (Escape Analysis) extend MDO to cache arguments escape state
kvn
parents: 1
diff changeset
   480
    return;
a0e996680b05 6667615: (Escape Analysis) extend MDO to cache arguments escape state
kvn
parents: 1
diff changeset
   481
  assert(arg >= 0 && arg < aid->number_of_args(), "valid argument number");
a0e996680b05 6667615: (Escape Analysis) extend MDO to cache arguments escape state
kvn
parents: 1
diff changeset
   482
  aid->set_arg_modified(arg, val);
a0e996680b05 6667615: (Escape Analysis) extend MDO to cache arguments escape state
kvn
parents: 1
diff changeset
   483
}
a0e996680b05 6667615: (Escape Analysis) extend MDO to cache arguments escape state
kvn
parents: 1
diff changeset
   484
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   485
bool ciMethodData::is_arg_local(int i) const {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   486
  return is_set_nth_bit(_arg_local, i);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   487
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   488
489c9b5090e2 Initial load
duke
parents:
diff changeset
   489
bool ciMethodData::is_arg_stack(int i) const {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   490
  return is_set_nth_bit(_arg_stack, i);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   491
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   492
489c9b5090e2 Initial load
duke
parents:
diff changeset
   493
bool ciMethodData::is_arg_returned(int i) const {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   494
  return is_set_nth_bit(_arg_returned, i);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   495
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   496
218
a0e996680b05 6667615: (Escape Analysis) extend MDO to cache arguments escape state
kvn
parents: 1
diff changeset
   497
uint ciMethodData::arg_modified(int arg) const {
a0e996680b05 6667615: (Escape Analysis) extend MDO to cache arguments escape state
kvn
parents: 1
diff changeset
   498
  ArgInfoData *aid = arg_info();
a0e996680b05 6667615: (Escape Analysis) extend MDO to cache arguments escape state
kvn
parents: 1
diff changeset
   499
  if (aid == NULL)
a0e996680b05 6667615: (Escape Analysis) extend MDO to cache arguments escape state
kvn
parents: 1
diff changeset
   500
    return 0;
a0e996680b05 6667615: (Escape Analysis) extend MDO to cache arguments escape state
kvn
parents: 1
diff changeset
   501
  assert(arg >= 0 && arg < aid->number_of_args(), "valid argument number");
a0e996680b05 6667615: (Escape Analysis) extend MDO to cache arguments escape state
kvn
parents: 1
diff changeset
   502
  return aid->arg_modified(arg);
a0e996680b05 6667615: (Escape Analysis) extend MDO to cache arguments escape state
kvn
parents: 1
diff changeset
   503
}
a0e996680b05 6667615: (Escape Analysis) extend MDO to cache arguments escape state
kvn
parents: 1
diff changeset
   504
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   505
ByteSize ciMethodData::offset_of_slot(ciProfileData* data, ByteSize slot_offset_in_data) {
13728
882756847a04 6964458: Reimplement class meta-data storage to use native memory
coleenp
parents: 7397
diff changeset
   506
  // Get offset within MethodData* of the data array
882756847a04 6964458: Reimplement class meta-data storage to use native memory
coleenp
parents: 7397
diff changeset
   507
  ByteSize data_offset = MethodData::data_offset();
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   508
489c9b5090e2 Initial load
duke
parents:
diff changeset
   509
  // Get cell offset of the ProfileData within data array
489c9b5090e2 Initial load
duke
parents:
diff changeset
   510
  int cell_offset = dp_to_di(data->dp());
489c9b5090e2 Initial load
duke
parents:
diff changeset
   511
489c9b5090e2 Initial load
duke
parents:
diff changeset
   512
  // Add in counter_offset, the # of bytes into the ProfileData of counter or flag
489c9b5090e2 Initial load
duke
parents:
diff changeset
   513
  int offset = in_bytes(data_offset) + cell_offset + in_bytes(slot_offset_in_data);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   514
489c9b5090e2 Initial load
duke
parents:
diff changeset
   515
  return in_ByteSize(offset);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   516
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   517
218
a0e996680b05 6667615: (Escape Analysis) extend MDO to cache arguments escape state
kvn
parents: 1
diff changeset
   518
ciArgInfoData *ciMethodData::arg_info() const {
a0e996680b05 6667615: (Escape Analysis) extend MDO to cache arguments escape state
kvn
parents: 1
diff changeset
   519
  // Should be last, have to skip all traps.
26440
0c9e5ee0083a 8057038: Speculative traps not robust when compilation and class unloading are concurrent
roland
parents: 25492
diff changeset
   520
  DataLayout* dp  = extra_data_base();
0c9e5ee0083a 8057038: Speculative traps not robust when compilation and class unloading are concurrent
roland
parents: 25492
diff changeset
   521
  DataLayout* end = args_data_limit();
13728
882756847a04 6964458: Reimplement class meta-data storage to use native memory
coleenp
parents: 7397
diff changeset
   522
  for (; dp < end; dp = MethodData::next_extra(dp)) {
218
a0e996680b05 6667615: (Escape Analysis) extend MDO to cache arguments escape state
kvn
parents: 1
diff changeset
   523
    if (dp->tag() == DataLayout::arg_info_data_tag)
a0e996680b05 6667615: (Escape Analysis) extend MDO to cache arguments escape state
kvn
parents: 1
diff changeset
   524
      return new ciArgInfoData(dp);
a0e996680b05 6667615: (Escape Analysis) extend MDO to cache arguments escape state
kvn
parents: 1
diff changeset
   525
  }
a0e996680b05 6667615: (Escape Analysis) extend MDO to cache arguments escape state
kvn
parents: 1
diff changeset
   526
  return NULL;
a0e996680b05 6667615: (Escape Analysis) extend MDO to cache arguments escape state
kvn
parents: 1
diff changeset
   527
}
a0e996680b05 6667615: (Escape Analysis) extend MDO to cache arguments escape state
kvn
parents: 1
diff changeset
   528
a0e996680b05 6667615: (Escape Analysis) extend MDO to cache arguments escape state
kvn
parents: 1
diff changeset
   529
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   530
// Implementation of the print method.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   531
void ciMethodData::print_impl(outputStream* st) {
13728
882756847a04 6964458: Reimplement class meta-data storage to use native memory
coleenp
parents: 7397
diff changeset
   532
  ciMetadata::print_impl(st);
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   533
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   534
24476
912595db2e75 8026694: New type profiling points break compilation replay
roland
parents: 24424
diff changeset
   535
void ciMethodData::dump_replay_data_type_helper(outputStream* out, int round, int& count, ProfileData* pdata, ByteSize offset, ciKlass* k) {
912595db2e75 8026694: New type profiling points break compilation replay
roland
parents: 24424
diff changeset
   536
  if (k != NULL) {
912595db2e75 8026694: New type profiling points break compilation replay
roland
parents: 24424
diff changeset
   537
    if (round == 0) {
912595db2e75 8026694: New type profiling points break compilation replay
roland
parents: 24424
diff changeset
   538
      count++;
912595db2e75 8026694: New type profiling points break compilation replay
roland
parents: 24424
diff changeset
   539
    } else {
912595db2e75 8026694: New type profiling points break compilation replay
roland
parents: 24424
diff changeset
   540
      out->print(" %d %s", (int)(dp_to_di(pdata->dp() + in_bytes(offset)) / sizeof(intptr_t)), k->name()->as_quoted_ascii());
912595db2e75 8026694: New type profiling points break compilation replay
roland
parents: 24424
diff changeset
   541
    }
912595db2e75 8026694: New type profiling points break compilation replay
roland
parents: 24424
diff changeset
   542
  }
912595db2e75 8026694: New type profiling points break compilation replay
roland
parents: 24424
diff changeset
   543
}
912595db2e75 8026694: New type profiling points break compilation replay
roland
parents: 24424
diff changeset
   544
912595db2e75 8026694: New type profiling points break compilation replay
roland
parents: 24424
diff changeset
   545
template<class T> void ciMethodData::dump_replay_data_receiver_type_helper(outputStream* out, int round, int& count, T* vdata) {
912595db2e75 8026694: New type profiling points break compilation replay
roland
parents: 24424
diff changeset
   546
  for (uint i = 0; i < vdata->row_limit(); i++) {
912595db2e75 8026694: New type profiling points break compilation replay
roland
parents: 24424
diff changeset
   547
    dump_replay_data_type_helper(out, round, count, vdata, vdata->receiver_offset(i), vdata->receiver(i));
912595db2e75 8026694: New type profiling points break compilation replay
roland
parents: 24424
diff changeset
   548
  }
912595db2e75 8026694: New type profiling points break compilation replay
roland
parents: 24424
diff changeset
   549
}
912595db2e75 8026694: New type profiling points break compilation replay
roland
parents: 24424
diff changeset
   550
912595db2e75 8026694: New type profiling points break compilation replay
roland
parents: 24424
diff changeset
   551
template<class T> void ciMethodData::dump_replay_data_call_type_helper(outputStream* out, int round, int& count, T* call_type_data) {
912595db2e75 8026694: New type profiling points break compilation replay
roland
parents: 24424
diff changeset
   552
  if (call_type_data->has_arguments()) {
912595db2e75 8026694: New type profiling points break compilation replay
roland
parents: 24424
diff changeset
   553
    for (int i = 0; i < call_type_data->number_of_arguments(); i++) {
912595db2e75 8026694: New type profiling points break compilation replay
roland
parents: 24424
diff changeset
   554
      dump_replay_data_type_helper(out, round, count, call_type_data, call_type_data->argument_type_offset(i), call_type_data->valid_argument_type(i));
912595db2e75 8026694: New type profiling points break compilation replay
roland
parents: 24424
diff changeset
   555
    }
912595db2e75 8026694: New type profiling points break compilation replay
roland
parents: 24424
diff changeset
   556
  }
912595db2e75 8026694: New type profiling points break compilation replay
roland
parents: 24424
diff changeset
   557
  if (call_type_data->has_return()) {
912595db2e75 8026694: New type profiling points break compilation replay
roland
parents: 24424
diff changeset
   558
    dump_replay_data_type_helper(out, round, count, call_type_data, call_type_data->return_type_offset(), call_type_data->valid_return_type());
912595db2e75 8026694: New type profiling points break compilation replay
roland
parents: 24424
diff changeset
   559
  }
912595db2e75 8026694: New type profiling points break compilation replay
roland
parents: 24424
diff changeset
   560
}
912595db2e75 8026694: New type profiling points break compilation replay
roland
parents: 24424
diff changeset
   561
912595db2e75 8026694: New type profiling points break compilation replay
roland
parents: 24424
diff changeset
   562
void ciMethodData::dump_replay_data_extra_data_helper(outputStream* out, int round, int& count) {
26440
0c9e5ee0083a 8057038: Speculative traps not robust when compilation and class unloading are concurrent
roland
parents: 25492
diff changeset
   563
  DataLayout* dp  = extra_data_base();
0c9e5ee0083a 8057038: Speculative traps not robust when compilation and class unloading are concurrent
roland
parents: 25492
diff changeset
   564
  DataLayout* end = args_data_limit();
24476
912595db2e75 8026694: New type profiling points break compilation replay
roland
parents: 24424
diff changeset
   565
912595db2e75 8026694: New type profiling points break compilation replay
roland
parents: 24424
diff changeset
   566
  for (;dp < end; dp = MethodData::next_extra(dp)) {
912595db2e75 8026694: New type profiling points break compilation replay
roland
parents: 24424
diff changeset
   567
    switch(dp->tag()) {
912595db2e75 8026694: New type profiling points break compilation replay
roland
parents: 24424
diff changeset
   568
    case DataLayout::no_tag:
912595db2e75 8026694: New type profiling points break compilation replay
roland
parents: 24424
diff changeset
   569
    case DataLayout::arg_info_data_tag:
912595db2e75 8026694: New type profiling points break compilation replay
roland
parents: 24424
diff changeset
   570
      return;
912595db2e75 8026694: New type profiling points break compilation replay
roland
parents: 24424
diff changeset
   571
    case DataLayout::bit_data_tag:
912595db2e75 8026694: New type profiling points break compilation replay
roland
parents: 24424
diff changeset
   572
      break;
912595db2e75 8026694: New type profiling points break compilation replay
roland
parents: 24424
diff changeset
   573
    case DataLayout::speculative_trap_data_tag: {
912595db2e75 8026694: New type profiling points break compilation replay
roland
parents: 24424
diff changeset
   574
      ciSpeculativeTrapData* data = new ciSpeculativeTrapData(dp);
912595db2e75 8026694: New type profiling points break compilation replay
roland
parents: 24424
diff changeset
   575
      ciMethod* m = data->method();
912595db2e75 8026694: New type profiling points break compilation replay
roland
parents: 24424
diff changeset
   576
      if (m != NULL) {
912595db2e75 8026694: New type profiling points break compilation replay
roland
parents: 24424
diff changeset
   577
        if (round == 0) {
912595db2e75 8026694: New type profiling points break compilation replay
roland
parents: 24424
diff changeset
   578
          count++;
912595db2e75 8026694: New type profiling points break compilation replay
roland
parents: 24424
diff changeset
   579
        } else {
912595db2e75 8026694: New type profiling points break compilation replay
roland
parents: 24424
diff changeset
   580
          out->print(" %d ", (int)(dp_to_di(((address)dp) + in_bytes(ciSpeculativeTrapData::method_offset())) / sizeof(intptr_t)));
912595db2e75 8026694: New type profiling points break compilation replay
roland
parents: 24424
diff changeset
   581
          m->dump_name_as_ascii(out);
912595db2e75 8026694: New type profiling points break compilation replay
roland
parents: 24424
diff changeset
   582
        }
912595db2e75 8026694: New type profiling points break compilation replay
roland
parents: 24424
diff changeset
   583
      }
912595db2e75 8026694: New type profiling points break compilation replay
roland
parents: 24424
diff changeset
   584
      break;
912595db2e75 8026694: New type profiling points break compilation replay
roland
parents: 24424
diff changeset
   585
    }
912595db2e75 8026694: New type profiling points break compilation replay
roland
parents: 24424
diff changeset
   586
    default:
33105
294e48b4f704 8080775: Better argument formatting for assert() and friends
david
parents: 26440
diff changeset
   587
      fatal("bad tag = %d", dp->tag());
24476
912595db2e75 8026694: New type profiling points break compilation replay
roland
parents: 24424
diff changeset
   588
    }
912595db2e75 8026694: New type profiling points break compilation replay
roland
parents: 24424
diff changeset
   589
  }
912595db2e75 8026694: New type profiling points break compilation replay
roland
parents: 24424
diff changeset
   590
}
912595db2e75 8026694: New type profiling points break compilation replay
roland
parents: 24424
diff changeset
   591
14477
95e66ea71f71 6830717: replay of compilations would help with debugging
minqi
parents: 13728
diff changeset
   592
void ciMethodData::dump_replay_data(outputStream* out) {
15471
41f75023e6a6 8006410: allocating without ResourceMark when CompileCommand was specified
vlivanov
parents: 14477
diff changeset
   593
  ResourceMark rm;
14477
95e66ea71f71 6830717: replay of compilations would help with debugging
minqi
parents: 13728
diff changeset
   594
  MethodData* mdo = get_MethodData();
95e66ea71f71 6830717: replay of compilations would help with debugging
minqi
parents: 13728
diff changeset
   595
  Method* method = mdo->method();
95e66ea71f71 6830717: replay of compilations would help with debugging
minqi
parents: 13728
diff changeset
   596
  Klass* holder = method->method_holder();
95e66ea71f71 6830717: replay of compilations would help with debugging
minqi
parents: 13728
diff changeset
   597
  out->print("ciMethodData %s %s %s %d %d",
95e66ea71f71 6830717: replay of compilations would help with debugging
minqi
parents: 13728
diff changeset
   598
             holder->name()->as_quoted_ascii(),
95e66ea71f71 6830717: replay of compilations would help with debugging
minqi
parents: 13728
diff changeset
   599
             method->name()->as_quoted_ascii(),
95e66ea71f71 6830717: replay of compilations would help with debugging
minqi
parents: 13728
diff changeset
   600
             method->signature()->as_quoted_ascii(),
95e66ea71f71 6830717: replay of compilations would help with debugging
minqi
parents: 13728
diff changeset
   601
             _state,
95e66ea71f71 6830717: replay of compilations would help with debugging
minqi
parents: 13728
diff changeset
   602
             current_mileage());
95e66ea71f71 6830717: replay of compilations would help with debugging
minqi
parents: 13728
diff changeset
   603
95e66ea71f71 6830717: replay of compilations would help with debugging
minqi
parents: 13728
diff changeset
   604
  // dump the contents of the MDO header as raw data
95e66ea71f71 6830717: replay of compilations would help with debugging
minqi
parents: 13728
diff changeset
   605
  unsigned char* orig = (unsigned char*)&_orig;
95e66ea71f71 6830717: replay of compilations would help with debugging
minqi
parents: 13728
diff changeset
   606
  int length = sizeof(_orig);
95e66ea71f71 6830717: replay of compilations would help with debugging
minqi
parents: 13728
diff changeset
   607
  out->print(" orig %d", length);
95e66ea71f71 6830717: replay of compilations would help with debugging
minqi
parents: 13728
diff changeset
   608
  for (int i = 0; i < length; i++) {
95e66ea71f71 6830717: replay of compilations would help with debugging
minqi
parents: 13728
diff changeset
   609
    out->print(" %d", orig[i]);
95e66ea71f71 6830717: replay of compilations would help with debugging
minqi
parents: 13728
diff changeset
   610
  }
95e66ea71f71 6830717: replay of compilations would help with debugging
minqi
parents: 13728
diff changeset
   611
95e66ea71f71 6830717: replay of compilations would help with debugging
minqi
parents: 13728
diff changeset
   612
  // dump the MDO data as raw data
24476
912595db2e75 8026694: New type profiling points break compilation replay
roland
parents: 24424
diff changeset
   613
  int elements = (data_size() + extra_data_size()) / sizeof(intptr_t);
14477
95e66ea71f71 6830717: replay of compilations would help with debugging
minqi
parents: 13728
diff changeset
   614
  out->print(" data %d", elements);
95e66ea71f71 6830717: replay of compilations would help with debugging
minqi
parents: 13728
diff changeset
   615
  for (int i = 0; i < elements; i++) {
46630
75aa3e39d02c 8182299: Enable disabled clang warnings, build on OSX 10 + Xcode 8
jwilhelm
parents: 44315
diff changeset
   616
    // We could use INTPTR_FORMAT here but that's zero justified
14477
95e66ea71f71 6830717: replay of compilations would help with debugging
minqi
parents: 13728
diff changeset
   617
    // which makes comparing it with the SA version of this output
46630
75aa3e39d02c 8182299: Enable disabled clang warnings, build on OSX 10 + Xcode 8
jwilhelm
parents: 44315
diff changeset
   618
    // harder. data()'s element type is intptr_t.
75aa3e39d02c 8182299: Enable disabled clang warnings, build on OSX 10 + Xcode 8
jwilhelm
parents: 44315
diff changeset
   619
    out->print(" " INTPTRNZ_FORMAT, data()[i]);
14477
95e66ea71f71 6830717: replay of compilations would help with debugging
minqi
parents: 13728
diff changeset
   620
  }
95e66ea71f71 6830717: replay of compilations would help with debugging
minqi
parents: 13728
diff changeset
   621
95e66ea71f71 6830717: replay of compilations would help with debugging
minqi
parents: 13728
diff changeset
   622
  // The MDO contained oop references as ciObjects, so scan for those
95e66ea71f71 6830717: replay of compilations would help with debugging
minqi
parents: 13728
diff changeset
   623
  // and emit pairs of offset and klass name so that they can be
95e66ea71f71 6830717: replay of compilations would help with debugging
minqi
parents: 13728
diff changeset
   624
  // reconstructed at runtime.  The first round counts the number of
95e66ea71f71 6830717: replay of compilations would help with debugging
minqi
parents: 13728
diff changeset
   625
  // oop references and the second actually emits them.
24476
912595db2e75 8026694: New type profiling points break compilation replay
roland
parents: 24424
diff changeset
   626
  ciParametersTypeData* parameters = parameters_type_data();
912595db2e75 8026694: New type profiling points break compilation replay
roland
parents: 24424
diff changeset
   627
  for (int count = 0, round = 0; round < 2; round++) {
14477
95e66ea71f71 6830717: replay of compilations would help with debugging
minqi
parents: 13728
diff changeset
   628
    if (round == 1) out->print(" oops %d", count);
95e66ea71f71 6830717: replay of compilations would help with debugging
minqi
parents: 13728
diff changeset
   629
    ProfileData* pdata = first_data();
95e66ea71f71 6830717: replay of compilations would help with debugging
minqi
parents: 13728
diff changeset
   630
    for ( ; is_valid(pdata); pdata = next_data(pdata)) {
24476
912595db2e75 8026694: New type profiling points break compilation replay
roland
parents: 24424
diff changeset
   631
      if (pdata->is_VirtualCallData()) {
912595db2e75 8026694: New type profiling points break compilation replay
roland
parents: 24424
diff changeset
   632
        ciVirtualCallData* vdata = (ciVirtualCallData*)pdata;
912595db2e75 8026694: New type profiling points break compilation replay
roland
parents: 24424
diff changeset
   633
        dump_replay_data_receiver_type_helper<ciVirtualCallData>(out, round, count, vdata);
912595db2e75 8026694: New type profiling points break compilation replay
roland
parents: 24424
diff changeset
   634
        if (pdata->is_VirtualCallTypeData()) {
912595db2e75 8026694: New type profiling points break compilation replay
roland
parents: 24424
diff changeset
   635
          ciVirtualCallTypeData* call_type_data = (ciVirtualCallTypeData*)pdata;
912595db2e75 8026694: New type profiling points break compilation replay
roland
parents: 24424
diff changeset
   636
          dump_replay_data_call_type_helper<ciVirtualCallTypeData>(out, round, count, call_type_data);
14477
95e66ea71f71 6830717: replay of compilations would help with debugging
minqi
parents: 13728
diff changeset
   637
        }
24476
912595db2e75 8026694: New type profiling points break compilation replay
roland
parents: 24424
diff changeset
   638
      } else if (pdata->is_ReceiverTypeData()) {
912595db2e75 8026694: New type profiling points break compilation replay
roland
parents: 24424
diff changeset
   639
        ciReceiverTypeData* vdata = (ciReceiverTypeData*)pdata;
912595db2e75 8026694: New type profiling points break compilation replay
roland
parents: 24424
diff changeset
   640
        dump_replay_data_receiver_type_helper<ciReceiverTypeData>(out, round, count, vdata);
912595db2e75 8026694: New type profiling points break compilation replay
roland
parents: 24424
diff changeset
   641
      } else if (pdata->is_CallTypeData()) {
912595db2e75 8026694: New type profiling points break compilation replay
roland
parents: 24424
diff changeset
   642
          ciCallTypeData* call_type_data = (ciCallTypeData*)pdata;
912595db2e75 8026694: New type profiling points break compilation replay
roland
parents: 24424
diff changeset
   643
          dump_replay_data_call_type_helper<ciCallTypeData>(out, round, count, call_type_data);
14477
95e66ea71f71 6830717: replay of compilations would help with debugging
minqi
parents: 13728
diff changeset
   644
      }
95e66ea71f71 6830717: replay of compilations would help with debugging
minqi
parents: 13728
diff changeset
   645
    }
24476
912595db2e75 8026694: New type profiling points break compilation replay
roland
parents: 24424
diff changeset
   646
    if (parameters != NULL) {
912595db2e75 8026694: New type profiling points break compilation replay
roland
parents: 24424
diff changeset
   647
      for (int i = 0; i < parameters->number_of_parameters(); i++) {
912595db2e75 8026694: New type profiling points break compilation replay
roland
parents: 24424
diff changeset
   648
        dump_replay_data_type_helper(out, round, count, parameters, ParametersTypeData::type_offset(i), parameters->valid_parameter_type(i));
912595db2e75 8026694: New type profiling points break compilation replay
roland
parents: 24424
diff changeset
   649
      }
912595db2e75 8026694: New type profiling points break compilation replay
roland
parents: 24424
diff changeset
   650
    }
912595db2e75 8026694: New type profiling points break compilation replay
roland
parents: 24424
diff changeset
   651
  }
912595db2e75 8026694: New type profiling points break compilation replay
roland
parents: 24424
diff changeset
   652
  for (int count = 0, round = 0; round < 2; round++) {
912595db2e75 8026694: New type profiling points break compilation replay
roland
parents: 24424
diff changeset
   653
    if (round == 1) out->print(" methods %d", count);
912595db2e75 8026694: New type profiling points break compilation replay
roland
parents: 24424
diff changeset
   654
    dump_replay_data_extra_data_helper(out, round, count);
14477
95e66ea71f71 6830717: replay of compilations would help with debugging
minqi
parents: 13728
diff changeset
   655
  }
95e66ea71f71 6830717: replay of compilations would help with debugging
minqi
parents: 13728
diff changeset
   656
  out->cr();
95e66ea71f71 6830717: replay of compilations would help with debugging
minqi
parents: 13728
diff changeset
   657
}
95e66ea71f71 6830717: replay of compilations would help with debugging
minqi
parents: 13728
diff changeset
   658
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   659
#ifndef PRODUCT
489c9b5090e2 Initial load
duke
parents:
diff changeset
   660
void ciMethodData::print() {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   661
  print_data_on(tty);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   662
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   663
489c9b5090e2 Initial load
duke
parents:
diff changeset
   664
void ciMethodData::print_data_on(outputStream* st) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   665
  ResourceMark rm;
24476
912595db2e75 8026694: New type profiling points break compilation replay
roland
parents: 24424
diff changeset
   666
  ciParametersTypeData* parameters = parameters_type_data();
912595db2e75 8026694: New type profiling points break compilation replay
roland
parents: 24424
diff changeset
   667
  if (parameters != NULL) {
912595db2e75 8026694: New type profiling points break compilation replay
roland
parents: 24424
diff changeset
   668
    parameters->print_data_on(st);
912595db2e75 8026694: New type profiling points break compilation replay
roland
parents: 24424
diff changeset
   669
  }
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   670
  ciProfileData* data;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   671
  for (data = first_data(); is_valid(data); data = next_data(data)) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   672
    st->print("%d", dp_to_di(data->dp()));
489c9b5090e2 Initial load
duke
parents:
diff changeset
   673
    st->fill_to(6);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   674
    data->print_data_on(st);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   675
  }
218
a0e996680b05 6667615: (Escape Analysis) extend MDO to cache arguments escape state
kvn
parents: 1
diff changeset
   676
  st->print_cr("--- Extra data:");
26440
0c9e5ee0083a 8057038: Speculative traps not robust when compilation and class unloading are concurrent
roland
parents: 25492
diff changeset
   677
  DataLayout* dp  = extra_data_base();
0c9e5ee0083a 8057038: Speculative traps not robust when compilation and class unloading are concurrent
roland
parents: 25492
diff changeset
   678
  DataLayout* end = args_data_limit();
22916
582da2ed4dfa 8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents: 22234
diff changeset
   679
  for (;; dp = MethodData::next_extra(dp)) {
582da2ed4dfa 8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents: 22234
diff changeset
   680
    assert(dp < end, "moved past end of extra data");
582da2ed4dfa 8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents: 22234
diff changeset
   681
    switch (dp->tag()) {
582da2ed4dfa 8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents: 22234
diff changeset
   682
    case DataLayout::no_tag:
582da2ed4dfa 8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents: 22234
diff changeset
   683
      continue;
582da2ed4dfa 8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents: 22234
diff changeset
   684
    case DataLayout::bit_data_tag:
218
a0e996680b05 6667615: (Escape Analysis) extend MDO to cache arguments escape state
kvn
parents: 1
diff changeset
   685
      data = new BitData(dp);
22916
582da2ed4dfa 8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents: 22234
diff changeset
   686
      break;
582da2ed4dfa 8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents: 22234
diff changeset
   687
    case DataLayout::arg_info_data_tag:
218
a0e996680b05 6667615: (Escape Analysis) extend MDO to cache arguments escape state
kvn
parents: 1
diff changeset
   688
      data = new ciArgInfoData(dp);
a0e996680b05 6667615: (Escape Analysis) extend MDO to cache arguments escape state
kvn
parents: 1
diff changeset
   689
      dp = end; // ArgInfoData is at the end of extra data section.
22916
582da2ed4dfa 8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents: 22234
diff changeset
   690
      break;
24476
912595db2e75 8026694: New type profiling points break compilation replay
roland
parents: 24424
diff changeset
   691
    case DataLayout::speculative_trap_data_tag:
912595db2e75 8026694: New type profiling points break compilation replay
roland
parents: 24424
diff changeset
   692
      data = new ciSpeculativeTrapData(dp);
912595db2e75 8026694: New type profiling points break compilation replay
roland
parents: 24424
diff changeset
   693
      break;
22916
582da2ed4dfa 8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents: 22234
diff changeset
   694
    default:
33105
294e48b4f704 8080775: Better argument formatting for assert() and friends
david
parents: 26440
diff changeset
   695
      fatal("unexpected tag %d", dp->tag());
218
a0e996680b05 6667615: (Escape Analysis) extend MDO to cache arguments escape state
kvn
parents: 1
diff changeset
   696
    }
a0e996680b05 6667615: (Escape Analysis) extend MDO to cache arguments escape state
kvn
parents: 1
diff changeset
   697
    st->print("%d", dp_to_di(data->dp()));
a0e996680b05 6667615: (Escape Analysis) extend MDO to cache arguments escape state
kvn
parents: 1
diff changeset
   698
    st->fill_to(6);
a0e996680b05 6667615: (Escape Analysis) extend MDO to cache arguments escape state
kvn
parents: 1
diff changeset
   699
    data->print_data_on(st);
22916
582da2ed4dfa 8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents: 22234
diff changeset
   700
    if (dp >= end) return;
218
a0e996680b05 6667615: (Escape Analysis) extend MDO to cache arguments escape state
kvn
parents: 1
diff changeset
   701
  }
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   702
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   703
20702
bbe0fcde6e13 8023657: New type profiling points: arguments to call
roland
parents: 20695
diff changeset
   704
void ciTypeEntries::print_ciklass(outputStream* st, intptr_t k) {
bbe0fcde6e13 8023657: New type profiling points: arguments to call
roland
parents: 20695
diff changeset
   705
  if (TypeEntries::is_type_none(k)) {
bbe0fcde6e13 8023657: New type profiling points: arguments to call
roland
parents: 20695
diff changeset
   706
    st->print("none");
bbe0fcde6e13 8023657: New type profiling points: arguments to call
roland
parents: 20695
diff changeset
   707
  } else if (TypeEntries::is_type_unknown(k)) {
bbe0fcde6e13 8023657: New type profiling points: arguments to call
roland
parents: 20695
diff changeset
   708
    st->print("unknown");
bbe0fcde6e13 8023657: New type profiling points: arguments to call
roland
parents: 20695
diff changeset
   709
  } else {
bbe0fcde6e13 8023657: New type profiling points: arguments to call
roland
parents: 20695
diff changeset
   710
    valid_ciklass(k)->print_name_on(st);
bbe0fcde6e13 8023657: New type profiling points: arguments to call
roland
parents: 20695
diff changeset
   711
  }
bbe0fcde6e13 8023657: New type profiling points: arguments to call
roland
parents: 20695
diff changeset
   712
  if (TypeEntries::was_null_seen(k)) {
bbe0fcde6e13 8023657: New type profiling points: arguments to call
roland
parents: 20695
diff changeset
   713
    st->print(" (null seen)");
bbe0fcde6e13 8023657: New type profiling points: arguments to call
roland
parents: 20695
diff changeset
   714
  }
bbe0fcde6e13 8023657: New type profiling points: arguments to call
roland
parents: 20695
diff changeset
   715
}
bbe0fcde6e13 8023657: New type profiling points: arguments to call
roland
parents: 20695
diff changeset
   716
bbe0fcde6e13 8023657: New type profiling points: arguments to call
roland
parents: 20695
diff changeset
   717
void ciTypeStackSlotEntries::print_data_on(outputStream* st) const {
24476
912595db2e75 8026694: New type profiling points break compilation replay
roland
parents: 24424
diff changeset
   718
  for (int i = 0; i < number_of_entries(); i++) {
20702
bbe0fcde6e13 8023657: New type profiling points: arguments to call
roland
parents: 20695
diff changeset
   719
    _pd->tab(st);
bbe0fcde6e13 8023657: New type profiling points: arguments to call
roland
parents: 20695
diff changeset
   720
    st->print("%d: stack (%u) ", i, stack_slot(i));
bbe0fcde6e13 8023657: New type profiling points: arguments to call
roland
parents: 20695
diff changeset
   721
    print_ciklass(st, type(i));
bbe0fcde6e13 8023657: New type profiling points: arguments to call
roland
parents: 20695
diff changeset
   722
    st->cr();
bbe0fcde6e13 8023657: New type profiling points: arguments to call
roland
parents: 20695
diff changeset
   723
  }
bbe0fcde6e13 8023657: New type profiling points: arguments to call
roland
parents: 20695
diff changeset
   724
}
bbe0fcde6e13 8023657: New type profiling points: arguments to call
roland
parents: 20695
diff changeset
   725
20709
034be898bf04 8026054: New type profiling points: type of return values at calls
roland
parents: 20702
diff changeset
   726
void ciReturnTypeEntry::print_data_on(outputStream* st) const {
034be898bf04 8026054: New type profiling points: type of return values at calls
roland
parents: 20702
diff changeset
   727
  _pd->tab(st);
034be898bf04 8026054: New type profiling points: type of return values at calls
roland
parents: 20702
diff changeset
   728
  st->print("ret ");
034be898bf04 8026054: New type profiling points: type of return values at calls
roland
parents: 20702
diff changeset
   729
  print_ciklass(st, type());
034be898bf04 8026054: New type profiling points: type of return values at calls
roland
parents: 20702
diff changeset
   730
  st->cr();
034be898bf04 8026054: New type profiling points: type of return values at calls
roland
parents: 20702
diff changeset
   731
}
034be898bf04 8026054: New type profiling points: type of return values at calls
roland
parents: 20702
diff changeset
   732
22916
582da2ed4dfa 8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents: 22234
diff changeset
   733
void ciCallTypeData::print_data_on(outputStream* st, const char* extra) const {
582da2ed4dfa 8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents: 22234
diff changeset
   734
  print_shared(st, "ciCallTypeData", extra);
20709
034be898bf04 8026054: New type profiling points: type of return values at calls
roland
parents: 20702
diff changeset
   735
  if (has_arguments()) {
034be898bf04 8026054: New type profiling points: type of return values at calls
roland
parents: 20702
diff changeset
   736
    tab(st, true);
24476
912595db2e75 8026694: New type profiling points break compilation replay
roland
parents: 24424
diff changeset
   737
    st->print_cr("argument types");
20709
034be898bf04 8026054: New type profiling points: type of return values at calls
roland
parents: 20702
diff changeset
   738
    args()->print_data_on(st);
034be898bf04 8026054: New type profiling points: type of return values at calls
roland
parents: 20702
diff changeset
   739
  }
034be898bf04 8026054: New type profiling points: type of return values at calls
roland
parents: 20702
diff changeset
   740
  if (has_return()) {
034be898bf04 8026054: New type profiling points: type of return values at calls
roland
parents: 20702
diff changeset
   741
    tab(st, true);
24476
912595db2e75 8026694: New type profiling points break compilation replay
roland
parents: 24424
diff changeset
   742
    st->print_cr("return type");
20709
034be898bf04 8026054: New type profiling points: type of return values at calls
roland
parents: 20702
diff changeset
   743
    ret()->print_data_on(st);
034be898bf04 8026054: New type profiling points: type of return values at calls
roland
parents: 20702
diff changeset
   744
  }
20702
bbe0fcde6e13 8023657: New type profiling points: arguments to call
roland
parents: 20695
diff changeset
   745
}
bbe0fcde6e13 8023657: New type profiling points: arguments to call
roland
parents: 20695
diff changeset
   746
bbe0fcde6e13 8023657: New type profiling points: arguments to call
roland
parents: 20695
diff changeset
   747
void ciReceiverTypeData::print_receiver_data_on(outputStream* st) const {
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   748
  uint row;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   749
  int entries = 0;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   750
  for (row = 0; row < row_limit(); row++) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   751
    if (receiver(row) != NULL)  entries++;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   752
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   753
  st->print_cr("count(%u) entries(%u)", count(), entries);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   754
  for (row = 0; row < row_limit(); row++) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   755
    if (receiver(row) != NULL) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   756
      tab(st);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   757
      receiver(row)->print_name_on(st);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   758
      st->print_cr("(%u)", receiver_count(row));
489c9b5090e2 Initial load
duke
parents:
diff changeset
   759
    }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   760
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   761
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   762
22916
582da2ed4dfa 8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents: 22234
diff changeset
   763
void ciReceiverTypeData::print_data_on(outputStream* st, const char* extra) const {
582da2ed4dfa 8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents: 22234
diff changeset
   764
  print_shared(st, "ciReceiverTypeData", extra);
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   765
  print_receiver_data_on(st);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   766
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   767
22916
582da2ed4dfa 8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents: 22234
diff changeset
   768
void ciVirtualCallData::print_data_on(outputStream* st, const char* extra) const {
582da2ed4dfa 8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents: 22234
diff changeset
   769
  print_shared(st, "ciVirtualCallData", extra);
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   770
  rtd_super()->print_receiver_data_on(st);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   771
}
20702
bbe0fcde6e13 8023657: New type profiling points: arguments to call
roland
parents: 20695
diff changeset
   772
22916
582da2ed4dfa 8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents: 22234
diff changeset
   773
void ciVirtualCallTypeData::print_data_on(outputStream* st, const char* extra) const {
582da2ed4dfa 8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents: 22234
diff changeset
   774
  print_shared(st, "ciVirtualCallTypeData", extra);
20702
bbe0fcde6e13 8023657: New type profiling points: arguments to call
roland
parents: 20695
diff changeset
   775
  rtd_super()->print_receiver_data_on(st);
20709
034be898bf04 8026054: New type profiling points: type of return values at calls
roland
parents: 20702
diff changeset
   776
  if (has_arguments()) {
034be898bf04 8026054: New type profiling points: type of return values at calls
roland
parents: 20702
diff changeset
   777
    tab(st, true);
034be898bf04 8026054: New type profiling points: type of return values at calls
roland
parents: 20702
diff changeset
   778
    st->print("argument types");
034be898bf04 8026054: New type profiling points: type of return values at calls
roland
parents: 20702
diff changeset
   779
    args()->print_data_on(st);
034be898bf04 8026054: New type profiling points: type of return values at calls
roland
parents: 20702
diff changeset
   780
  }
034be898bf04 8026054: New type profiling points: type of return values at calls
roland
parents: 20702
diff changeset
   781
  if (has_return()) {
034be898bf04 8026054: New type profiling points: type of return values at calls
roland
parents: 20702
diff changeset
   782
    tab(st, true);
034be898bf04 8026054: New type profiling points: type of return values at calls
roland
parents: 20702
diff changeset
   783
    st->print("return type");
034be898bf04 8026054: New type profiling points: type of return values at calls
roland
parents: 20702
diff changeset
   784
    ret()->print_data_on(st);
034be898bf04 8026054: New type profiling points: type of return values at calls
roland
parents: 20702
diff changeset
   785
  }
20702
bbe0fcde6e13 8023657: New type profiling points: arguments to call
roland
parents: 20695
diff changeset
   786
}
21095
1a04f7b3946e 8026251: New type profiling points: parameters to methods
roland
parents: 20709
diff changeset
   787
22916
582da2ed4dfa 8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents: 22234
diff changeset
   788
void ciParametersTypeData::print_data_on(outputStream* st, const char* extra) const {
582da2ed4dfa 8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents: 22234
diff changeset
   789
  st->print_cr("ciParametersTypeData");
21095
1a04f7b3946e 8026251: New type profiling points: parameters to methods
roland
parents: 20709
diff changeset
   790
  parameters()->print_data_on(st);
1a04f7b3946e 8026251: New type profiling points: parameters to methods
roland
parents: 20709
diff changeset
   791
}
22916
582da2ed4dfa 8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents: 22234
diff changeset
   792
582da2ed4dfa 8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents: 22234
diff changeset
   793
void ciSpeculativeTrapData::print_data_on(outputStream* st, const char* extra) const {
582da2ed4dfa 8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents: 22234
diff changeset
   794
  st->print_cr("ciSpeculativeTrapData");
582da2ed4dfa 8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents: 22234
diff changeset
   795
  tab(st);
582da2ed4dfa 8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents: 22234
diff changeset
   796
  method()->print_short_name(st);
582da2ed4dfa 8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents: 22234
diff changeset
   797
  st->cr();
582da2ed4dfa 8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents: 22234
diff changeset
   798
}
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   799
#endif