src/hotspot/share/ci/ciMethodData.hpp
author redestad
Thu, 20 Dec 2018 19:44:08 +0100
changeset 53091 5bf5b773fc41
parent 47887 e20d8f168bb6
child 53244 9807daeb47c4
child 53278 4b469f5f4bf2
permissions -rw-r--r--
8215555: TieredCompilation C2 threads can excessively block handshakes Reviewed-by: kvn, neliasso, rehn
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
     1
/*
47887
e20d8f168bb6 8190891: Clean up G1 barrier code in compiler interface (ci)
coleenp
parents: 47216
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
#ifndef SHARE_VM_CI_CIMETHODDATA_HPP
5b173b4ca846 6989984: Use standard include model for Hospot
stefank
parents: 6453
diff changeset
    26
#define SHARE_VM_CI_CIMETHODDATA_HPP
5b173b4ca846 6989984: Use standard include model for Hospot
stefank
parents: 6453
diff changeset
    27
5b173b4ca846 6989984: Use standard include model for Hospot
stefank
parents: 6453
diff changeset
    28
#include "ci/ciClassList.hpp"
5b173b4ca846 6989984: Use standard include model for Hospot
stefank
parents: 6453
diff changeset
    29
#include "ci/ciKlass.hpp"
5b173b4ca846 6989984: Use standard include model for Hospot
stefank
parents: 6453
diff changeset
    30
#include "ci/ciObject.hpp"
5b173b4ca846 6989984: Use standard include model for Hospot
stefank
parents: 6453
diff changeset
    31
#include "ci/ciUtilities.hpp"
13728
882756847a04 6964458: Reimplement class meta-data storage to use native memory
coleenp
parents: 9638
diff changeset
    32
#include "oops/methodData.hpp"
29081
c61eb4914428 8072911: Remove includes of oop.inline.hpp from .hpp files
stefank
parents: 26440
diff changeset
    33
#include "oops/oop.hpp"
22916
582da2ed4dfa 8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents: 22234
diff changeset
    34
#include "runtime/deoptimization.hpp"
7397
5b173b4ca846 6989984: Use standard include model for Hospot
stefank
parents: 6453
diff changeset
    35
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
    36
class ciBitData;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    37
class ciCounterData;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    38
class ciJumpData;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    39
class ciReceiverTypeData;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    40
class ciRetData;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    41
class ciBranchData;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    42
class ciArrayData;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    43
class ciMultiBranchData;
218
a0e996680b05 6667615: (Escape Analysis) extend MDO to cache arguments escape state
kvn
parents: 1
diff changeset
    44
class ciArgInfoData;
20702
bbe0fcde6e13 8023657: New type profiling points: arguments to call
roland
parents: 20695
diff changeset
    45
class ciCallTypeData;
bbe0fcde6e13 8023657: New type profiling points: arguments to call
roland
parents: 20695
diff changeset
    46
class ciVirtualCallTypeData;
21095
1a04f7b3946e 8026251: New type profiling points: parameters to methods
roland
parents: 20709
diff changeset
    47
class ciParametersTypeData;
24476
912595db2e75 8026694: New type profiling points break compilation replay
roland
parents: 23491
diff changeset
    48
class ciSpeculativeTrapData;
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
    49
489c9b5090e2 Initial load
duke
parents:
diff changeset
    50
typedef ProfileData ciProfileData;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    51
489c9b5090e2 Initial load
duke
parents:
diff changeset
    52
class ciBitData : public BitData {
489c9b5090e2 Initial load
duke
parents:
diff changeset
    53
public:
489c9b5090e2 Initial load
duke
parents:
diff changeset
    54
  ciBitData(DataLayout* layout) : BitData(layout) {};
489c9b5090e2 Initial load
duke
parents:
diff changeset
    55
};
489c9b5090e2 Initial load
duke
parents:
diff changeset
    56
489c9b5090e2 Initial load
duke
parents:
diff changeset
    57
class ciCounterData : public CounterData {
489c9b5090e2 Initial load
duke
parents:
diff changeset
    58
public:
489c9b5090e2 Initial load
duke
parents:
diff changeset
    59
  ciCounterData(DataLayout* layout) : CounterData(layout) {};
489c9b5090e2 Initial load
duke
parents:
diff changeset
    60
};
489c9b5090e2 Initial load
duke
parents:
diff changeset
    61
489c9b5090e2 Initial load
duke
parents:
diff changeset
    62
class ciJumpData : public JumpData {
489c9b5090e2 Initial load
duke
parents:
diff changeset
    63
public:
489c9b5090e2 Initial load
duke
parents:
diff changeset
    64
  ciJumpData(DataLayout* layout) : JumpData(layout) {};
489c9b5090e2 Initial load
duke
parents:
diff changeset
    65
};
489c9b5090e2 Initial load
duke
parents:
diff changeset
    66
20702
bbe0fcde6e13 8023657: New type profiling points: arguments to call
roland
parents: 20695
diff changeset
    67
class ciTypeEntries {
bbe0fcde6e13 8023657: New type profiling points: arguments to call
roland
parents: 20695
diff changeset
    68
protected:
bbe0fcde6e13 8023657: New type profiling points: arguments to call
roland
parents: 20695
diff changeset
    69
  static intptr_t translate_klass(intptr_t k) {
bbe0fcde6e13 8023657: New type profiling points: arguments to call
roland
parents: 20695
diff changeset
    70
    Klass* v = TypeEntries::valid_klass(k);
bbe0fcde6e13 8023657: New type profiling points: arguments to call
roland
parents: 20695
diff changeset
    71
    if (v != NULL) {
bbe0fcde6e13 8023657: New type profiling points: arguments to call
roland
parents: 20695
diff changeset
    72
      ciKlass* klass = CURRENT_ENV->get_klass(v);
bbe0fcde6e13 8023657: New type profiling points: arguments to call
roland
parents: 20695
diff changeset
    73
      return with_status(klass, k);
bbe0fcde6e13 8023657: New type profiling points: arguments to call
roland
parents: 20695
diff changeset
    74
    }
bbe0fcde6e13 8023657: New type profiling points: arguments to call
roland
parents: 20695
diff changeset
    75
    return with_status(NULL, k);
bbe0fcde6e13 8023657: New type profiling points: arguments to call
roland
parents: 20695
diff changeset
    76
  }
bbe0fcde6e13 8023657: New type profiling points: arguments to call
roland
parents: 20695
diff changeset
    77
bbe0fcde6e13 8023657: New type profiling points: arguments to call
roland
parents: 20695
diff changeset
    78
public:
bbe0fcde6e13 8023657: New type profiling points: arguments to call
roland
parents: 20695
diff changeset
    79
  static ciKlass* valid_ciklass(intptr_t k) {
bbe0fcde6e13 8023657: New type profiling points: arguments to call
roland
parents: 20695
diff changeset
    80
    if (!TypeEntries::is_type_none(k) &&
bbe0fcde6e13 8023657: New type profiling points: arguments to call
roland
parents: 20695
diff changeset
    81
        !TypeEntries::is_type_unknown(k)) {
21581
73584c201e2d 8027572: assert(r != 0) failed: invalid
roland
parents: 21099
diff changeset
    82
      ciKlass* res = (ciKlass*)TypeEntries::klass_part(k);
73584c201e2d 8027572: assert(r != 0) failed: invalid
roland
parents: 21099
diff changeset
    83
      assert(res != NULL, "invalid");
73584c201e2d 8027572: assert(r != 0) failed: invalid
roland
parents: 21099
diff changeset
    84
      return res;
20702
bbe0fcde6e13 8023657: New type profiling points: arguments to call
roland
parents: 20695
diff changeset
    85
    } else {
bbe0fcde6e13 8023657: New type profiling points: arguments to call
roland
parents: 20695
diff changeset
    86
      return NULL;
bbe0fcde6e13 8023657: New type profiling points: arguments to call
roland
parents: 20695
diff changeset
    87
    }
bbe0fcde6e13 8023657: New type profiling points: arguments to call
roland
parents: 20695
diff changeset
    88
  }
bbe0fcde6e13 8023657: New type profiling points: arguments to call
roland
parents: 20695
diff changeset
    89
46542
73dd19b96b5d 8181211: C2: Use profiling data to optimize on/off heap unsafe accesses
roland
parents: 29081
diff changeset
    90
  static ProfilePtrKind ptr_kind(intptr_t v) {
73dd19b96b5d 8181211: C2: Use profiling data to optimize on/off heap unsafe accesses
roland
parents: 29081
diff changeset
    91
    bool maybe_null = TypeEntries::was_null_seen(v);
73dd19b96b5d 8181211: C2: Use profiling data to optimize on/off heap unsafe accesses
roland
parents: 29081
diff changeset
    92
    if (!maybe_null) {
73dd19b96b5d 8181211: C2: Use profiling data to optimize on/off heap unsafe accesses
roland
parents: 29081
diff changeset
    93
      return ProfileNeverNull;
73dd19b96b5d 8181211: C2: Use profiling data to optimize on/off heap unsafe accesses
roland
parents: 29081
diff changeset
    94
    } else if (TypeEntries::is_type_none(v)) {
73dd19b96b5d 8181211: C2: Use profiling data to optimize on/off heap unsafe accesses
roland
parents: 29081
diff changeset
    95
      return ProfileAlwaysNull;
73dd19b96b5d 8181211: C2: Use profiling data to optimize on/off heap unsafe accesses
roland
parents: 29081
diff changeset
    96
    } else {
73dd19b96b5d 8181211: C2: Use profiling data to optimize on/off heap unsafe accesses
roland
parents: 29081
diff changeset
    97
      return ProfileMaybeNull;
73dd19b96b5d 8181211: C2: Use profiling data to optimize on/off heap unsafe accesses
roland
parents: 29081
diff changeset
    98
    }
73dd19b96b5d 8181211: C2: Use profiling data to optimize on/off heap unsafe accesses
roland
parents: 29081
diff changeset
    99
  }
73dd19b96b5d 8181211: C2: Use profiling data to optimize on/off heap unsafe accesses
roland
parents: 29081
diff changeset
   100
20702
bbe0fcde6e13 8023657: New type profiling points: arguments to call
roland
parents: 20695
diff changeset
   101
  static intptr_t with_status(ciKlass* k, intptr_t in) {
bbe0fcde6e13 8023657: New type profiling points: arguments to call
roland
parents: 20695
diff changeset
   102
    return TypeEntries::with_status((intptr_t)k, in);
bbe0fcde6e13 8023657: New type profiling points: arguments to call
roland
parents: 20695
diff changeset
   103
  }
bbe0fcde6e13 8023657: New type profiling points: arguments to call
roland
parents: 20695
diff changeset
   104
bbe0fcde6e13 8023657: New type profiling points: arguments to call
roland
parents: 20695
diff changeset
   105
#ifndef PRODUCT
bbe0fcde6e13 8023657: New type profiling points: arguments to call
roland
parents: 20695
diff changeset
   106
  static void print_ciklass(outputStream* st, intptr_t k);
bbe0fcde6e13 8023657: New type profiling points: arguments to call
roland
parents: 20695
diff changeset
   107
#endif
bbe0fcde6e13 8023657: New type profiling points: arguments to call
roland
parents: 20695
diff changeset
   108
};
bbe0fcde6e13 8023657: New type profiling points: arguments to call
roland
parents: 20695
diff changeset
   109
bbe0fcde6e13 8023657: New type profiling points: arguments to call
roland
parents: 20695
diff changeset
   110
class ciTypeStackSlotEntries : public TypeStackSlotEntries, ciTypeEntries {
bbe0fcde6e13 8023657: New type profiling points: arguments to call
roland
parents: 20695
diff changeset
   111
public:
bbe0fcde6e13 8023657: New type profiling points: arguments to call
roland
parents: 20695
diff changeset
   112
  void translate_type_data_from(const TypeStackSlotEntries* args);
bbe0fcde6e13 8023657: New type profiling points: arguments to call
roland
parents: 20695
diff changeset
   113
bbe0fcde6e13 8023657: New type profiling points: arguments to call
roland
parents: 20695
diff changeset
   114
  ciKlass* valid_type(int i) const {
bbe0fcde6e13 8023657: New type profiling points: arguments to call
roland
parents: 20695
diff changeset
   115
    return valid_ciklass(type(i));
bbe0fcde6e13 8023657: New type profiling points: arguments to call
roland
parents: 20695
diff changeset
   116
  }
bbe0fcde6e13 8023657: New type profiling points: arguments to call
roland
parents: 20695
diff changeset
   117
46542
73dd19b96b5d 8181211: C2: Use profiling data to optimize on/off heap unsafe accesses
roland
parents: 29081
diff changeset
   118
  ProfilePtrKind ptr_kind(int i) const {
73dd19b96b5d 8181211: C2: Use profiling data to optimize on/off heap unsafe accesses
roland
parents: 29081
diff changeset
   119
    return ciTypeEntries::ptr_kind(type(i));
21099
46e6bbecd9e5 8024070: C2 needs some form of type speculation
roland
parents: 21095
diff changeset
   120
  }
46e6bbecd9e5 8024070: C2 needs some form of type speculation
roland
parents: 21095
diff changeset
   121
20702
bbe0fcde6e13 8023657: New type profiling points: arguments to call
roland
parents: 20695
diff changeset
   122
#ifndef PRODUCT
bbe0fcde6e13 8023657: New type profiling points: arguments to call
roland
parents: 20695
diff changeset
   123
  void print_data_on(outputStream* st) const;
bbe0fcde6e13 8023657: New type profiling points: arguments to call
roland
parents: 20695
diff changeset
   124
#endif
bbe0fcde6e13 8023657: New type profiling points: arguments to call
roland
parents: 20695
diff changeset
   125
};
bbe0fcde6e13 8023657: New type profiling points: arguments to call
roland
parents: 20695
diff changeset
   126
20709
034be898bf04 8026054: New type profiling points: type of return values at calls
roland
parents: 20702
diff changeset
   127
class ciReturnTypeEntry : public ReturnTypeEntry, ciTypeEntries {
034be898bf04 8026054: New type profiling points: type of return values at calls
roland
parents: 20702
diff changeset
   128
public:
034be898bf04 8026054: New type profiling points: type of return values at calls
roland
parents: 20702
diff changeset
   129
  void translate_type_data_from(const ReturnTypeEntry* ret);
034be898bf04 8026054: New type profiling points: type of return values at calls
roland
parents: 20702
diff changeset
   130
034be898bf04 8026054: New type profiling points: type of return values at calls
roland
parents: 20702
diff changeset
   131
  ciKlass* valid_type() const {
034be898bf04 8026054: New type profiling points: type of return values at calls
roland
parents: 20702
diff changeset
   132
    return valid_ciklass(type());
034be898bf04 8026054: New type profiling points: type of return values at calls
roland
parents: 20702
diff changeset
   133
  }
034be898bf04 8026054: New type profiling points: type of return values at calls
roland
parents: 20702
diff changeset
   134
46542
73dd19b96b5d 8181211: C2: Use profiling data to optimize on/off heap unsafe accesses
roland
parents: 29081
diff changeset
   135
  ProfilePtrKind ptr_kind() const {
73dd19b96b5d 8181211: C2: Use profiling data to optimize on/off heap unsafe accesses
roland
parents: 29081
diff changeset
   136
    return ciTypeEntries::ptr_kind(type());
21099
46e6bbecd9e5 8024070: C2 needs some form of type speculation
roland
parents: 21095
diff changeset
   137
  }
46e6bbecd9e5 8024070: C2 needs some form of type speculation
roland
parents: 21095
diff changeset
   138
20709
034be898bf04 8026054: New type profiling points: type of return values at calls
roland
parents: 20702
diff changeset
   139
#ifndef PRODUCT
034be898bf04 8026054: New type profiling points: type of return values at calls
roland
parents: 20702
diff changeset
   140
  void print_data_on(outputStream* st) const;
034be898bf04 8026054: New type profiling points: type of return values at calls
roland
parents: 20702
diff changeset
   141
#endif
034be898bf04 8026054: New type profiling points: type of return values at calls
roland
parents: 20702
diff changeset
   142
};
034be898bf04 8026054: New type profiling points: type of return values at calls
roland
parents: 20702
diff changeset
   143
20702
bbe0fcde6e13 8023657: New type profiling points: arguments to call
roland
parents: 20695
diff changeset
   144
class ciCallTypeData : public CallTypeData {
bbe0fcde6e13 8023657: New type profiling points: arguments to call
roland
parents: 20695
diff changeset
   145
public:
bbe0fcde6e13 8023657: New type profiling points: arguments to call
roland
parents: 20695
diff changeset
   146
  ciCallTypeData(DataLayout* layout) : CallTypeData(layout) {}
bbe0fcde6e13 8023657: New type profiling points: arguments to call
roland
parents: 20695
diff changeset
   147
bbe0fcde6e13 8023657: New type profiling points: arguments to call
roland
parents: 20695
diff changeset
   148
  ciTypeStackSlotEntries* args() const { return (ciTypeStackSlotEntries*)CallTypeData::args(); }
20709
034be898bf04 8026054: New type profiling points: type of return values at calls
roland
parents: 20702
diff changeset
   149
  ciReturnTypeEntry* ret() const { return (ciReturnTypeEntry*)CallTypeData::ret(); }
20702
bbe0fcde6e13 8023657: New type profiling points: arguments to call
roland
parents: 20695
diff changeset
   150
21095
1a04f7b3946e 8026251: New type profiling points: parameters to methods
roland
parents: 20709
diff changeset
   151
  void translate_from(const ProfileData* data) {
20709
034be898bf04 8026054: New type profiling points: type of return values at calls
roland
parents: 20702
diff changeset
   152
    if (has_arguments()) {
034be898bf04 8026054: New type profiling points: type of return values at calls
roland
parents: 20702
diff changeset
   153
      args()->translate_type_data_from(data->as_CallTypeData()->args());
034be898bf04 8026054: New type profiling points: type of return values at calls
roland
parents: 20702
diff changeset
   154
    }
034be898bf04 8026054: New type profiling points: type of return values at calls
roland
parents: 20702
diff changeset
   155
    if (has_return()) {
034be898bf04 8026054: New type profiling points: type of return values at calls
roland
parents: 20702
diff changeset
   156
      ret()->translate_type_data_from(data->as_CallTypeData()->ret());
034be898bf04 8026054: New type profiling points: type of return values at calls
roland
parents: 20702
diff changeset
   157
    }
034be898bf04 8026054: New type profiling points: type of return values at calls
roland
parents: 20702
diff changeset
   158
  }
034be898bf04 8026054: New type profiling points: type of return values at calls
roland
parents: 20702
diff changeset
   159
034be898bf04 8026054: New type profiling points: type of return values at calls
roland
parents: 20702
diff changeset
   160
  intptr_t argument_type(int i) const {
034be898bf04 8026054: New type profiling points: type of return values at calls
roland
parents: 20702
diff changeset
   161
    assert(has_arguments(), "no arg type profiling data");
034be898bf04 8026054: New type profiling points: type of return values at calls
roland
parents: 20702
diff changeset
   162
    return args()->type(i);
20702
bbe0fcde6e13 8023657: New type profiling points: arguments to call
roland
parents: 20695
diff changeset
   163
  }
bbe0fcde6e13 8023657: New type profiling points: arguments to call
roland
parents: 20695
diff changeset
   164
bbe0fcde6e13 8023657: New type profiling points: arguments to call
roland
parents: 20695
diff changeset
   165
  ciKlass* valid_argument_type(int i) const {
20709
034be898bf04 8026054: New type profiling points: type of return values at calls
roland
parents: 20702
diff changeset
   166
    assert(has_arguments(), "no arg type profiling data");
20702
bbe0fcde6e13 8023657: New type profiling points: arguments to call
roland
parents: 20695
diff changeset
   167
    return args()->valid_type(i);
bbe0fcde6e13 8023657: New type profiling points: arguments to call
roland
parents: 20695
diff changeset
   168
  }
bbe0fcde6e13 8023657: New type profiling points: arguments to call
roland
parents: 20695
diff changeset
   169
20709
034be898bf04 8026054: New type profiling points: type of return values at calls
roland
parents: 20702
diff changeset
   170
  intptr_t return_type() const {
034be898bf04 8026054: New type profiling points: type of return values at calls
roland
parents: 20702
diff changeset
   171
    assert(has_return(), "no ret type profiling data");
034be898bf04 8026054: New type profiling points: type of return values at calls
roland
parents: 20702
diff changeset
   172
    return ret()->type();
034be898bf04 8026054: New type profiling points: type of return values at calls
roland
parents: 20702
diff changeset
   173
  }
034be898bf04 8026054: New type profiling points: type of return values at calls
roland
parents: 20702
diff changeset
   174
034be898bf04 8026054: New type profiling points: type of return values at calls
roland
parents: 20702
diff changeset
   175
  ciKlass* valid_return_type() const {
034be898bf04 8026054: New type profiling points: type of return values at calls
roland
parents: 20702
diff changeset
   176
    assert(has_return(), "no ret type profiling data");
034be898bf04 8026054: New type profiling points: type of return values at calls
roland
parents: 20702
diff changeset
   177
    return ret()->valid_type();
034be898bf04 8026054: New type profiling points: type of return values at calls
roland
parents: 20702
diff changeset
   178
  }
034be898bf04 8026054: New type profiling points: type of return values at calls
roland
parents: 20702
diff changeset
   179
46542
73dd19b96b5d 8181211: C2: Use profiling data to optimize on/off heap unsafe accesses
roland
parents: 29081
diff changeset
   180
  ProfilePtrKind argument_ptr_kind(int i) const {
73dd19b96b5d 8181211: C2: Use profiling data to optimize on/off heap unsafe accesses
roland
parents: 29081
diff changeset
   181
    return args()->ptr_kind(i);
21099
46e6bbecd9e5 8024070: C2 needs some form of type speculation
roland
parents: 21095
diff changeset
   182
  }
46e6bbecd9e5 8024070: C2 needs some form of type speculation
roland
parents: 21095
diff changeset
   183
46542
73dd19b96b5d 8181211: C2: Use profiling data to optimize on/off heap unsafe accesses
roland
parents: 29081
diff changeset
   184
  ProfilePtrKind return_ptr_kind() const {
73dd19b96b5d 8181211: C2: Use profiling data to optimize on/off heap unsafe accesses
roland
parents: 29081
diff changeset
   185
    return ret()->ptr_kind();
21099
46e6bbecd9e5 8024070: C2 needs some form of type speculation
roland
parents: 21095
diff changeset
   186
  }
46e6bbecd9e5 8024070: C2 needs some form of type speculation
roland
parents: 21095
diff changeset
   187
20702
bbe0fcde6e13 8023657: New type profiling points: arguments to call
roland
parents: 20695
diff changeset
   188
#ifndef PRODUCT
24476
912595db2e75 8026694: New type profiling points break compilation replay
roland
parents: 23491
diff changeset
   189
  void print_data_on(outputStream* st, const char* extra = NULL) const;
20702
bbe0fcde6e13 8023657: New type profiling points: arguments to call
roland
parents: 20695
diff changeset
   190
#endif
bbe0fcde6e13 8023657: New type profiling points: arguments to call
roland
parents: 20695
diff changeset
   191
};
bbe0fcde6e13 8023657: New type profiling points: arguments to call
roland
parents: 20695
diff changeset
   192
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   193
class ciReceiverTypeData : public ReceiverTypeData {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   194
public:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   195
  ciReceiverTypeData(DataLayout* layout) : ReceiverTypeData(layout) {};
489c9b5090e2 Initial load
duke
parents:
diff changeset
   196
489c9b5090e2 Initial load
duke
parents:
diff changeset
   197
  void set_receiver(uint row, ciKlass* recv) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   198
    assert((uint)row < row_limit(), "oob");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   199
    set_intptr_at(receiver0_offset + row * receiver_type_row_cell_count,
489c9b5090e2 Initial load
duke
parents:
diff changeset
   200
                  (intptr_t) recv);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   201
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   202
20702
bbe0fcde6e13 8023657: New type profiling points: arguments to call
roland
parents: 20695
diff changeset
   203
  ciKlass* receiver(uint row) const {
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   204
    assert((uint)row < row_limit(), "oob");
13728
882756847a04 6964458: Reimplement class meta-data storage to use native memory
coleenp
parents: 9638
diff changeset
   205
    ciKlass* recv = (ciKlass*)intptr_at(receiver0_offset + row * receiver_type_row_cell_count);
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   206
    assert(recv == NULL || recv->is_klass(), "wrong type");
13728
882756847a04 6964458: Reimplement class meta-data storage to use native memory
coleenp
parents: 9638
diff changeset
   207
    return recv;
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   208
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   209
489c9b5090e2 Initial load
duke
parents:
diff changeset
   210
  // Copy & translate from oop based ReceiverTypeData
20702
bbe0fcde6e13 8023657: New type profiling points: arguments to call
roland
parents: 20695
diff changeset
   211
  virtual void translate_from(const ProfileData* data) {
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   212
    translate_receiver_data_from(data);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   213
  }
20702
bbe0fcde6e13 8023657: New type profiling points: arguments to call
roland
parents: 20695
diff changeset
   214
  void translate_receiver_data_from(const ProfileData* data);
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   215
#ifndef PRODUCT
24476
912595db2e75 8026694: New type profiling points break compilation replay
roland
parents: 23491
diff changeset
   216
  void print_data_on(outputStream* st, const char* extra = NULL) const;
20702
bbe0fcde6e13 8023657: New type profiling points: arguments to call
roland
parents: 20695
diff changeset
   217
  void print_receiver_data_on(outputStream* st) const;
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   218
#endif
489c9b5090e2 Initial load
duke
parents:
diff changeset
   219
};
489c9b5090e2 Initial load
duke
parents:
diff changeset
   220
489c9b5090e2 Initial load
duke
parents:
diff changeset
   221
class ciVirtualCallData : public VirtualCallData {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   222
  // Fake multiple inheritance...  It's a ciReceiverTypeData also.
20702
bbe0fcde6e13 8023657: New type profiling points: arguments to call
roland
parents: 20695
diff changeset
   223
  ciReceiverTypeData* rtd_super() const { return (ciReceiverTypeData*) this; }
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   224
489c9b5090e2 Initial load
duke
parents:
diff changeset
   225
public:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   226
  ciVirtualCallData(DataLayout* layout) : VirtualCallData(layout) {};
489c9b5090e2 Initial load
duke
parents:
diff changeset
   227
489c9b5090e2 Initial load
duke
parents:
diff changeset
   228
  void set_receiver(uint row, ciKlass* recv) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   229
    rtd_super()->set_receiver(row, recv);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   230
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   231
489c9b5090e2 Initial load
duke
parents:
diff changeset
   232
  ciKlass* receiver(uint row) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   233
    return rtd_super()->receiver(row);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   234
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   235
489c9b5090e2 Initial load
duke
parents:
diff changeset
   236
  // Copy & translate from oop based VirtualCallData
20702
bbe0fcde6e13 8023657: New type profiling points: arguments to call
roland
parents: 20695
diff changeset
   237
  virtual void translate_from(const ProfileData* data) {
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   238
    rtd_super()->translate_receiver_data_from(data);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   239
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   240
#ifndef PRODUCT
24476
912595db2e75 8026694: New type profiling points break compilation replay
roland
parents: 23491
diff changeset
   241
  void print_data_on(outputStream* st, const char* extra = NULL) const;
20702
bbe0fcde6e13 8023657: New type profiling points: arguments to call
roland
parents: 20695
diff changeset
   242
#endif
bbe0fcde6e13 8023657: New type profiling points: arguments to call
roland
parents: 20695
diff changeset
   243
};
bbe0fcde6e13 8023657: New type profiling points: arguments to call
roland
parents: 20695
diff changeset
   244
bbe0fcde6e13 8023657: New type profiling points: arguments to call
roland
parents: 20695
diff changeset
   245
class ciVirtualCallTypeData : public VirtualCallTypeData {
bbe0fcde6e13 8023657: New type profiling points: arguments to call
roland
parents: 20695
diff changeset
   246
private:
bbe0fcde6e13 8023657: New type profiling points: arguments to call
roland
parents: 20695
diff changeset
   247
  // Fake multiple inheritance...  It's a ciReceiverTypeData also.
bbe0fcde6e13 8023657: New type profiling points: arguments to call
roland
parents: 20695
diff changeset
   248
  ciReceiverTypeData* rtd_super() const { return (ciReceiverTypeData*) this; }
bbe0fcde6e13 8023657: New type profiling points: arguments to call
roland
parents: 20695
diff changeset
   249
public:
bbe0fcde6e13 8023657: New type profiling points: arguments to call
roland
parents: 20695
diff changeset
   250
  ciVirtualCallTypeData(DataLayout* layout) : VirtualCallTypeData(layout) {}
bbe0fcde6e13 8023657: New type profiling points: arguments to call
roland
parents: 20695
diff changeset
   251
bbe0fcde6e13 8023657: New type profiling points: arguments to call
roland
parents: 20695
diff changeset
   252
  void set_receiver(uint row, ciKlass* recv) {
bbe0fcde6e13 8023657: New type profiling points: arguments to call
roland
parents: 20695
diff changeset
   253
    rtd_super()->set_receiver(row, recv);
bbe0fcde6e13 8023657: New type profiling points: arguments to call
roland
parents: 20695
diff changeset
   254
  }
bbe0fcde6e13 8023657: New type profiling points: arguments to call
roland
parents: 20695
diff changeset
   255
bbe0fcde6e13 8023657: New type profiling points: arguments to call
roland
parents: 20695
diff changeset
   256
  ciKlass* receiver(uint row) const {
bbe0fcde6e13 8023657: New type profiling points: arguments to call
roland
parents: 20695
diff changeset
   257
    return rtd_super()->receiver(row);
bbe0fcde6e13 8023657: New type profiling points: arguments to call
roland
parents: 20695
diff changeset
   258
  }
bbe0fcde6e13 8023657: New type profiling points: arguments to call
roland
parents: 20695
diff changeset
   259
20709
034be898bf04 8026054: New type profiling points: type of return values at calls
roland
parents: 20702
diff changeset
   260
  ciTypeStackSlotEntries* args() const { return (ciTypeStackSlotEntries*)VirtualCallTypeData::args(); }
034be898bf04 8026054: New type profiling points: type of return values at calls
roland
parents: 20702
diff changeset
   261
  ciReturnTypeEntry* ret() const { return (ciReturnTypeEntry*)VirtualCallTypeData::ret(); }
034be898bf04 8026054: New type profiling points: type of return values at calls
roland
parents: 20702
diff changeset
   262
20702
bbe0fcde6e13 8023657: New type profiling points: arguments to call
roland
parents: 20695
diff changeset
   263
  // Copy & translate from oop based VirtualCallData
bbe0fcde6e13 8023657: New type profiling points: arguments to call
roland
parents: 20695
diff changeset
   264
  virtual void translate_from(const ProfileData* data) {
bbe0fcde6e13 8023657: New type profiling points: arguments to call
roland
parents: 20695
diff changeset
   265
    rtd_super()->translate_receiver_data_from(data);
20709
034be898bf04 8026054: New type profiling points: type of return values at calls
roland
parents: 20702
diff changeset
   266
    if (has_arguments()) {
034be898bf04 8026054: New type profiling points: type of return values at calls
roland
parents: 20702
diff changeset
   267
      args()->translate_type_data_from(data->as_VirtualCallTypeData()->args());
034be898bf04 8026054: New type profiling points: type of return values at calls
roland
parents: 20702
diff changeset
   268
    }
034be898bf04 8026054: New type profiling points: type of return values at calls
roland
parents: 20702
diff changeset
   269
    if (has_return()) {
034be898bf04 8026054: New type profiling points: type of return values at calls
roland
parents: 20702
diff changeset
   270
      ret()->translate_type_data_from(data->as_VirtualCallTypeData()->ret());
034be898bf04 8026054: New type profiling points: type of return values at calls
roland
parents: 20702
diff changeset
   271
    }
034be898bf04 8026054: New type profiling points: type of return values at calls
roland
parents: 20702
diff changeset
   272
  }
034be898bf04 8026054: New type profiling points: type of return values at calls
roland
parents: 20702
diff changeset
   273
034be898bf04 8026054: New type profiling points: type of return values at calls
roland
parents: 20702
diff changeset
   274
  intptr_t argument_type(int i) const {
034be898bf04 8026054: New type profiling points: type of return values at calls
roland
parents: 20702
diff changeset
   275
    assert(has_arguments(), "no arg type profiling data");
034be898bf04 8026054: New type profiling points: type of return values at calls
roland
parents: 20702
diff changeset
   276
    return args()->type(i);
20702
bbe0fcde6e13 8023657: New type profiling points: arguments to call
roland
parents: 20695
diff changeset
   277
  }
bbe0fcde6e13 8023657: New type profiling points: arguments to call
roland
parents: 20695
diff changeset
   278
bbe0fcde6e13 8023657: New type profiling points: arguments to call
roland
parents: 20695
diff changeset
   279
  ciKlass* valid_argument_type(int i) const {
20709
034be898bf04 8026054: New type profiling points: type of return values at calls
roland
parents: 20702
diff changeset
   280
    assert(has_arguments(), "no arg type profiling data");
20702
bbe0fcde6e13 8023657: New type profiling points: arguments to call
roland
parents: 20695
diff changeset
   281
    return args()->valid_type(i);
bbe0fcde6e13 8023657: New type profiling points: arguments to call
roland
parents: 20695
diff changeset
   282
  }
bbe0fcde6e13 8023657: New type profiling points: arguments to call
roland
parents: 20695
diff changeset
   283
20709
034be898bf04 8026054: New type profiling points: type of return values at calls
roland
parents: 20702
diff changeset
   284
  intptr_t return_type() const {
034be898bf04 8026054: New type profiling points: type of return values at calls
roland
parents: 20702
diff changeset
   285
    assert(has_return(), "no ret type profiling data");
034be898bf04 8026054: New type profiling points: type of return values at calls
roland
parents: 20702
diff changeset
   286
    return ret()->type();
034be898bf04 8026054: New type profiling points: type of return values at calls
roland
parents: 20702
diff changeset
   287
  }
034be898bf04 8026054: New type profiling points: type of return values at calls
roland
parents: 20702
diff changeset
   288
034be898bf04 8026054: New type profiling points: type of return values at calls
roland
parents: 20702
diff changeset
   289
  ciKlass* valid_return_type() const {
034be898bf04 8026054: New type profiling points: type of return values at calls
roland
parents: 20702
diff changeset
   290
    assert(has_return(), "no ret type profiling data");
034be898bf04 8026054: New type profiling points: type of return values at calls
roland
parents: 20702
diff changeset
   291
    return ret()->valid_type();
034be898bf04 8026054: New type profiling points: type of return values at calls
roland
parents: 20702
diff changeset
   292
  }
034be898bf04 8026054: New type profiling points: type of return values at calls
roland
parents: 20702
diff changeset
   293
46542
73dd19b96b5d 8181211: C2: Use profiling data to optimize on/off heap unsafe accesses
roland
parents: 29081
diff changeset
   294
  ProfilePtrKind argument_ptr_kind(int i) const {
73dd19b96b5d 8181211: C2: Use profiling data to optimize on/off heap unsafe accesses
roland
parents: 29081
diff changeset
   295
    return args()->ptr_kind(i);
21099
46e6bbecd9e5 8024070: C2 needs some form of type speculation
roland
parents: 21095
diff changeset
   296
  }
46e6bbecd9e5 8024070: C2 needs some form of type speculation
roland
parents: 21095
diff changeset
   297
46542
73dd19b96b5d 8181211: C2: Use profiling data to optimize on/off heap unsafe accesses
roland
parents: 29081
diff changeset
   298
  ProfilePtrKind return_ptr_kind() const {
73dd19b96b5d 8181211: C2: Use profiling data to optimize on/off heap unsafe accesses
roland
parents: 29081
diff changeset
   299
    return ret()->ptr_kind();
21099
46e6bbecd9e5 8024070: C2 needs some form of type speculation
roland
parents: 21095
diff changeset
   300
  }
46e6bbecd9e5 8024070: C2 needs some form of type speculation
roland
parents: 21095
diff changeset
   301
20702
bbe0fcde6e13 8023657: New type profiling points: arguments to call
roland
parents: 20695
diff changeset
   302
#ifndef PRODUCT
24476
912595db2e75 8026694: New type profiling points break compilation replay
roland
parents: 23491
diff changeset
   303
  void print_data_on(outputStream* st, const char* extra = NULL) const;
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   304
#endif
489c9b5090e2 Initial load
duke
parents:
diff changeset
   305
};
489c9b5090e2 Initial load
duke
parents:
diff changeset
   306
489c9b5090e2 Initial load
duke
parents:
diff changeset
   307
489c9b5090e2 Initial load
duke
parents:
diff changeset
   308
class ciRetData : public RetData {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   309
public:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   310
  ciRetData(DataLayout* layout) : RetData(layout) {};
489c9b5090e2 Initial load
duke
parents:
diff changeset
   311
};
489c9b5090e2 Initial load
duke
parents:
diff changeset
   312
489c9b5090e2 Initial load
duke
parents:
diff changeset
   313
class ciBranchData : public BranchData {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   314
public:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   315
  ciBranchData(DataLayout* layout) : BranchData(layout) {};
489c9b5090e2 Initial load
duke
parents:
diff changeset
   316
};
489c9b5090e2 Initial load
duke
parents:
diff changeset
   317
489c9b5090e2 Initial load
duke
parents:
diff changeset
   318
class ciArrayData : public ArrayData {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   319
public:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   320
  ciArrayData(DataLayout* layout) : ArrayData(layout) {};
489c9b5090e2 Initial load
duke
parents:
diff changeset
   321
};
489c9b5090e2 Initial load
duke
parents:
diff changeset
   322
489c9b5090e2 Initial load
duke
parents:
diff changeset
   323
class ciMultiBranchData : public MultiBranchData {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   324
public:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   325
  ciMultiBranchData(DataLayout* layout) : MultiBranchData(layout) {};
489c9b5090e2 Initial load
duke
parents:
diff changeset
   326
};
489c9b5090e2 Initial load
duke
parents:
diff changeset
   327
218
a0e996680b05 6667615: (Escape Analysis) extend MDO to cache arguments escape state
kvn
parents: 1
diff changeset
   328
class ciArgInfoData : public ArgInfoData {
a0e996680b05 6667615: (Escape Analysis) extend MDO to cache arguments escape state
kvn
parents: 1
diff changeset
   329
public:
a0e996680b05 6667615: (Escape Analysis) extend MDO to cache arguments escape state
kvn
parents: 1
diff changeset
   330
  ciArgInfoData(DataLayout* layout) : ArgInfoData(layout) {};
a0e996680b05 6667615: (Escape Analysis) extend MDO to cache arguments escape state
kvn
parents: 1
diff changeset
   331
};
a0e996680b05 6667615: (Escape Analysis) extend MDO to cache arguments escape state
kvn
parents: 1
diff changeset
   332
21095
1a04f7b3946e 8026251: New type profiling points: parameters to methods
roland
parents: 20709
diff changeset
   333
class ciParametersTypeData : public ParametersTypeData {
1a04f7b3946e 8026251: New type profiling points: parameters to methods
roland
parents: 20709
diff changeset
   334
public:
1a04f7b3946e 8026251: New type profiling points: parameters to methods
roland
parents: 20709
diff changeset
   335
  ciParametersTypeData(DataLayout* layout) : ParametersTypeData(layout) {}
1a04f7b3946e 8026251: New type profiling points: parameters to methods
roland
parents: 20709
diff changeset
   336
1a04f7b3946e 8026251: New type profiling points: parameters to methods
roland
parents: 20709
diff changeset
   337
  virtual void translate_from(const ProfileData* data) {
1a04f7b3946e 8026251: New type profiling points: parameters to methods
roland
parents: 20709
diff changeset
   338
    parameters()->translate_type_data_from(data->as_ParametersTypeData()->parameters());
1a04f7b3946e 8026251: New type profiling points: parameters to methods
roland
parents: 20709
diff changeset
   339
  }
1a04f7b3946e 8026251: New type profiling points: parameters to methods
roland
parents: 20709
diff changeset
   340
1a04f7b3946e 8026251: New type profiling points: parameters to methods
roland
parents: 20709
diff changeset
   341
  ciTypeStackSlotEntries* parameters() const { return (ciTypeStackSlotEntries*)ParametersTypeData::parameters(); }
1a04f7b3946e 8026251: New type profiling points: parameters to methods
roland
parents: 20709
diff changeset
   342
1a04f7b3946e 8026251: New type profiling points: parameters to methods
roland
parents: 20709
diff changeset
   343
  ciKlass* valid_parameter_type(int i) const {
1a04f7b3946e 8026251: New type profiling points: parameters to methods
roland
parents: 20709
diff changeset
   344
    return parameters()->valid_type(i);
1a04f7b3946e 8026251: New type profiling points: parameters to methods
roland
parents: 20709
diff changeset
   345
  }
1a04f7b3946e 8026251: New type profiling points: parameters to methods
roland
parents: 20709
diff changeset
   346
46542
73dd19b96b5d 8181211: C2: Use profiling data to optimize on/off heap unsafe accesses
roland
parents: 29081
diff changeset
   347
  ProfilePtrKind parameter_ptr_kind(int i) const {
73dd19b96b5d 8181211: C2: Use profiling data to optimize on/off heap unsafe accesses
roland
parents: 29081
diff changeset
   348
    return parameters()->ptr_kind(i);
21099
46e6bbecd9e5 8024070: C2 needs some form of type speculation
roland
parents: 21095
diff changeset
   349
  }
46e6bbecd9e5 8024070: C2 needs some form of type speculation
roland
parents: 21095
diff changeset
   350
21095
1a04f7b3946e 8026251: New type profiling points: parameters to methods
roland
parents: 20709
diff changeset
   351
#ifndef PRODUCT
24476
912595db2e75 8026694: New type profiling points break compilation replay
roland
parents: 23491
diff changeset
   352
  void print_data_on(outputStream* st, const char* extra = NULL) const;
22916
582da2ed4dfa 8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents: 22234
diff changeset
   353
#endif
582da2ed4dfa 8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents: 22234
diff changeset
   354
};
582da2ed4dfa 8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents: 22234
diff changeset
   355
582da2ed4dfa 8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents: 22234
diff changeset
   356
class ciSpeculativeTrapData : public SpeculativeTrapData {
582da2ed4dfa 8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents: 22234
diff changeset
   357
public:
582da2ed4dfa 8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents: 22234
diff changeset
   358
  ciSpeculativeTrapData(DataLayout* layout) : SpeculativeTrapData(layout) {}
582da2ed4dfa 8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents: 22234
diff changeset
   359
582da2ed4dfa 8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents: 22234
diff changeset
   360
  virtual void translate_from(const ProfileData* data);
582da2ed4dfa 8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents: 22234
diff changeset
   361
582da2ed4dfa 8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents: 22234
diff changeset
   362
  ciMethod* method() const {
24476
912595db2e75 8026694: New type profiling points break compilation replay
roland
parents: 23491
diff changeset
   363
    return (ciMethod*)intptr_at(speculative_trap_method);
22916
582da2ed4dfa 8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents: 22234
diff changeset
   364
  }
582da2ed4dfa 8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents: 22234
diff changeset
   365
582da2ed4dfa 8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents: 22234
diff changeset
   366
  void set_method(ciMethod* m) {
24476
912595db2e75 8026694: New type profiling points break compilation replay
roland
parents: 23491
diff changeset
   367
    set_intptr_at(speculative_trap_method, (intptr_t)m);
22916
582da2ed4dfa 8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents: 22234
diff changeset
   368
  }
582da2ed4dfa 8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents: 22234
diff changeset
   369
582da2ed4dfa 8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents: 22234
diff changeset
   370
#ifndef PRODUCT
24476
912595db2e75 8026694: New type profiling points break compilation replay
roland
parents: 23491
diff changeset
   371
  void print_data_on(outputStream* st, const char* extra = NULL) const;
21095
1a04f7b3946e 8026251: New type profiling points: parameters to methods
roland
parents: 20709
diff changeset
   372
#endif
1a04f7b3946e 8026251: New type profiling points: parameters to methods
roland
parents: 20709
diff changeset
   373
};
1a04f7b3946e 8026251: New type profiling points: parameters to methods
roland
parents: 20709
diff changeset
   374
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   375
// ciMethodData
489c9b5090e2 Initial load
duke
parents:
diff changeset
   376
//
13728
882756847a04 6964458: Reimplement class meta-data storage to use native memory
coleenp
parents: 9638
diff changeset
   377
// This class represents a MethodData* in the HotSpot virtual
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   378
// machine.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   379
13728
882756847a04 6964458: Reimplement class meta-data storage to use native memory
coleenp
parents: 9638
diff changeset
   380
class ciMethodData : public ciMetadata {
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   381
  CI_PACKAGE_ACCESS
14477
95e66ea71f71 6830717: replay of compilations would help with debugging
minqi
parents: 13728
diff changeset
   382
  friend class ciReplay;
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   383
489c9b5090e2 Initial load
duke
parents:
diff changeset
   384
private:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   385
  // Size in bytes
489c9b5090e2 Initial load
duke
parents:
diff changeset
   386
  int _data_size;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   387
  int _extra_data_size;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   388
489c9b5090e2 Initial load
duke
parents:
diff changeset
   389
  // Data entries
489c9b5090e2 Initial load
duke
parents:
diff changeset
   390
  intptr_t* _data;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   391
489c9b5090e2 Initial load
duke
parents:
diff changeset
   392
  // Cached hint for data_before()
489c9b5090e2 Initial load
duke
parents:
diff changeset
   393
  int _hint_di;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   394
489c9b5090e2 Initial load
duke
parents:
diff changeset
   395
  // Is data attached?  And is it mature?
489c9b5090e2 Initial load
duke
parents:
diff changeset
   396
  enum { empty_state, immature_state, mature_state };
489c9b5090e2 Initial load
duke
parents:
diff changeset
   397
  u_char _state;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   398
489c9b5090e2 Initial load
duke
parents:
diff changeset
   399
  // Set this true if empty extra_data slots are ever witnessed.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   400
  u_char _saw_free_extra_data;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   401
489c9b5090e2 Initial load
duke
parents:
diff changeset
   402
  // Support for interprocedural escape analysis
489c9b5090e2 Initial load
duke
parents:
diff changeset
   403
  intx              _eflags;          // flags on escape information
489c9b5090e2 Initial load
duke
parents:
diff changeset
   404
  intx              _arg_local;       // bit set of non-escaping arguments
489c9b5090e2 Initial load
duke
parents:
diff changeset
   405
  intx              _arg_stack;       // bit set of stack-allocatable arguments
489c9b5090e2 Initial load
duke
parents:
diff changeset
   406
  intx              _arg_returned;    // bit set of returned arguments
489c9b5090e2 Initial load
duke
parents:
diff changeset
   407
489c9b5090e2 Initial load
duke
parents:
diff changeset
   408
  // Maturity of the oop when the snapshot is taken.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   409
  int _current_mileage;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   410
6453
970dc585ab63 6953144: Tiered compilation
iveresov
parents: 5547
diff changeset
   411
  // These counters hold the age of MDO in tiered. In tiered we can have the same method
970dc585ab63 6953144: Tiered compilation
iveresov
parents: 5547
diff changeset
   412
  // running at different compilation levels concurrently. So, in order to precisely measure
970dc585ab63 6953144: Tiered compilation
iveresov
parents: 5547
diff changeset
   413
  // its maturity we need separate counters.
970dc585ab63 6953144: Tiered compilation
iveresov
parents: 5547
diff changeset
   414
  int _invocation_counter;
970dc585ab63 6953144: Tiered compilation
iveresov
parents: 5547
diff changeset
   415
  int _backedge_counter;
970dc585ab63 6953144: Tiered compilation
iveresov
parents: 5547
diff changeset
   416
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   417
  // Coherent snapshot of original header.
13728
882756847a04 6964458: Reimplement class meta-data storage to use native memory
coleenp
parents: 9638
diff changeset
   418
  MethodData _orig;
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   419
24476
912595db2e75 8026694: New type profiling points break compilation replay
roland
parents: 23491
diff changeset
   420
  // Area dedicated to parameters. NULL if no parameter profiling for
912595db2e75 8026694: New type profiling points break compilation replay
roland
parents: 23491
diff changeset
   421
  // this method.
21095
1a04f7b3946e 8026251: New type profiling points: parameters to methods
roland
parents: 20709
diff changeset
   422
  DataLayout* _parameters;
26440
0c9e5ee0083a 8057038: Speculative traps not robust when compilation and class unloading are concurrent
roland
parents: 25492
diff changeset
   423
  int parameters_size() const {
0c9e5ee0083a 8057038: Speculative traps not robust when compilation and class unloading are concurrent
roland
parents: 25492
diff changeset
   424
    return _parameters == NULL ? 0 : parameters_type_data()->size_in_bytes();
0c9e5ee0083a 8057038: Speculative traps not robust when compilation and class unloading are concurrent
roland
parents: 25492
diff changeset
   425
  }
21095
1a04f7b3946e 8026251: New type profiling points: parameters to methods
roland
parents: 20709
diff changeset
   426
13728
882756847a04 6964458: Reimplement class meta-data storage to use native memory
coleenp
parents: 9638
diff changeset
   427
  ciMethodData(MethodData* md);
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   428
  ciMethodData();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   429
489c9b5090e2 Initial load
duke
parents:
diff changeset
   430
  // Accessors
218
a0e996680b05 6667615: (Escape Analysis) extend MDO to cache arguments escape state
kvn
parents: 1
diff changeset
   431
  int data_size() const { return _data_size; }
a0e996680b05 6667615: (Escape Analysis) extend MDO to cache arguments escape state
kvn
parents: 1
diff changeset
   432
  int extra_data_size() const { return _extra_data_size; }
a0e996680b05 6667615: (Escape Analysis) extend MDO to cache arguments escape state
kvn
parents: 1
diff changeset
   433
  intptr_t * data() const { return _data; }
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   434
13728
882756847a04 6964458: Reimplement class meta-data storage to use native memory
coleenp
parents: 9638
diff changeset
   435
  MethodData* get_MethodData() const {
882756847a04 6964458: Reimplement class meta-data storage to use native memory
coleenp
parents: 9638
diff changeset
   436
    return (MethodData*)_metadata;
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   437
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   438
489c9b5090e2 Initial load
duke
parents:
diff changeset
   439
  const char* type_string()                      { return "ciMethodData"; }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   440
489c9b5090e2 Initial load
duke
parents:
diff changeset
   441
  void print_impl(outputStream* st);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   442
218
a0e996680b05 6667615: (Escape Analysis) extend MDO to cache arguments escape state
kvn
parents: 1
diff changeset
   443
  DataLayout* data_layout_at(int data_index) const {
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   444
    assert(data_index % sizeof(intptr_t) == 0, "unaligned");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   445
    return (DataLayout*) (((address)_data) + data_index);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   446
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   447
489c9b5090e2 Initial load
duke
parents:
diff changeset
   448
  bool out_of_bounds(int data_index) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   449
    return data_index >= data_size();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   450
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   451
489c9b5090e2 Initial load
duke
parents:
diff changeset
   452
  // hint accessors
489c9b5090e2 Initial load
duke
parents:
diff changeset
   453
  int      hint_di() const  { return _hint_di; }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   454
  void set_hint_di(int di)  {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   455
    assert(!out_of_bounds(di), "hint_di out of bounds");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   456
    _hint_di = di;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   457
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   458
  ciProfileData* data_before(int bci) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   459
    // avoid SEGV on this edge case
489c9b5090e2 Initial load
duke
parents:
diff changeset
   460
    if (data_size() == 0)
489c9b5090e2 Initial load
duke
parents:
diff changeset
   461
      return NULL;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   462
    int hint = hint_di();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   463
    if (data_layout_at(hint)->bci() <= bci)
489c9b5090e2 Initial load
duke
parents:
diff changeset
   464
      return data_at(hint);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   465
    return first_data();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   466
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   467
489c9b5090e2 Initial load
duke
parents:
diff changeset
   468
489c9b5090e2 Initial load
duke
parents:
diff changeset
   469
  // What is the index of the first data entry?
489c9b5090e2 Initial load
duke
parents:
diff changeset
   470
  int first_di() { return 0; }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   471
218
a0e996680b05 6667615: (Escape Analysis) extend MDO to cache arguments escape state
kvn
parents: 1
diff changeset
   472
  ciArgInfoData *arg_info() const;
a0e996680b05 6667615: (Escape Analysis) extend MDO to cache arguments escape state
kvn
parents: 1
diff changeset
   473
22916
582da2ed4dfa 8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents: 22234
diff changeset
   474
  address data_base() const {
582da2ed4dfa 8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents: 22234
diff changeset
   475
    return (address) _data;
582da2ed4dfa 8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents: 22234
diff changeset
   476
  }
582da2ed4dfa 8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents: 22234
diff changeset
   477
582da2ed4dfa 8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents: 22234
diff changeset
   478
  void load_extra_data();
582da2ed4dfa 8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents: 22234
diff changeset
   479
  ciProfileData* bci_to_extra_data(int bci, ciMethod* m, bool& two_free_slots);
582da2ed4dfa 8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents: 22234
diff changeset
   480
24476
912595db2e75 8026694: New type profiling points break compilation replay
roland
parents: 23491
diff changeset
   481
  void 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: 23491
diff changeset
   482
  template<class T> void 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: 23491
diff changeset
   483
  template<class T> void dump_replay_data_receiver_type_helper(outputStream* out, int round, int& count, T* call_type_data);
912595db2e75 8026694: New type profiling points break compilation replay
roland
parents: 23491
diff changeset
   484
  void dump_replay_data_extra_data_helper(outputStream* out, int round, int& count);
912595db2e75 8026694: New type profiling points break compilation replay
roland
parents: 23491
diff changeset
   485
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   486
public:
13728
882756847a04 6964458: Reimplement class meta-data storage to use native memory
coleenp
parents: 9638
diff changeset
   487
  bool is_method_data() const { return true; }
9638
a9e79f5cd83b 6998541: JSR 292 implement missing return-type conversion for OP_RETYPE_RAW
twisti
parents: 7397
diff changeset
   488
a9e79f5cd83b 6998541: JSR 292 implement missing return-type conversion for OP_RETYPE_RAW
twisti
parents: 7397
diff changeset
   489
  bool is_empty()  { return _state == empty_state; }
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   490
  bool is_mature() { return _state == mature_state; }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   491
489c9b5090e2 Initial load
duke
parents:
diff changeset
   492
  int creation_mileage() { return _orig.creation_mileage(); }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   493
  int current_mileage()  { return _current_mileage; }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   494
6453
970dc585ab63 6953144: Tiered compilation
iveresov
parents: 5547
diff changeset
   495
  int invocation_count() { return _invocation_counter; }
970dc585ab63 6953144: Tiered compilation
iveresov
parents: 5547
diff changeset
   496
  int backedge_count()   { return _backedge_counter;   }
23491
f690330b10b9 8031320: Use Intel RTM instructions for locks
kvn
parents: 22916
diff changeset
   497
f690330b10b9 8031320: Use Intel RTM instructions for locks
kvn
parents: 22916
diff changeset
   498
#if INCLUDE_RTM_OPT
f690330b10b9 8031320: Use Intel RTM instructions for locks
kvn
parents: 22916
diff changeset
   499
  // return cached value
f690330b10b9 8031320: Use Intel RTM instructions for locks
kvn
parents: 22916
diff changeset
   500
  int rtm_state() {
f690330b10b9 8031320: Use Intel RTM instructions for locks
kvn
parents: 22916
diff changeset
   501
    if (is_empty()) {
f690330b10b9 8031320: Use Intel RTM instructions for locks
kvn
parents: 22916
diff changeset
   502
      return NoRTM;
f690330b10b9 8031320: Use Intel RTM instructions for locks
kvn
parents: 22916
diff changeset
   503
    } else {
f690330b10b9 8031320: Use Intel RTM instructions for locks
kvn
parents: 22916
diff changeset
   504
      return get_MethodData()->rtm_state();
f690330b10b9 8031320: Use Intel RTM instructions for locks
kvn
parents: 22916
diff changeset
   505
    }
f690330b10b9 8031320: Use Intel RTM instructions for locks
kvn
parents: 22916
diff changeset
   506
  }
f690330b10b9 8031320: Use Intel RTM instructions for locks
kvn
parents: 22916
diff changeset
   507
#endif
f690330b10b9 8031320: Use Intel RTM instructions for locks
kvn
parents: 22916
diff changeset
   508
13728
882756847a04 6964458: Reimplement class meta-data storage to use native memory
coleenp
parents: 9638
diff changeset
   509
  // Transfer information about the method to MethodData*.
6453
970dc585ab63 6953144: Tiered compilation
iveresov
parents: 5547
diff changeset
   510
  // would_profile means we would like to profile this method,
970dc585ab63 6953144: Tiered compilation
iveresov
parents: 5547
diff changeset
   511
  // meaning it's not trivial.
970dc585ab63 6953144: Tiered compilation
iveresov
parents: 5547
diff changeset
   512
  void set_would_profile(bool p);
970dc585ab63 6953144: Tiered compilation
iveresov
parents: 5547
diff changeset
   513
  // Also set the numer of loops and blocks in the method.
970dc585ab63 6953144: Tiered compilation
iveresov
parents: 5547
diff changeset
   514
  // Again, this is used to determine if a method is trivial.
970dc585ab63 6953144: Tiered compilation
iveresov
parents: 5547
diff changeset
   515
  void set_compilation_stats(short loops, short blocks);
20702
bbe0fcde6e13 8023657: New type profiling points: arguments to call
roland
parents: 20695
diff changeset
   516
  // If the compiler finds a profiled type that is known statically
bbe0fcde6e13 8023657: New type profiling points: arguments to call
roland
parents: 20695
diff changeset
   517
  // for sure, set it in the MethodData
bbe0fcde6e13 8023657: New type profiling points: arguments to call
roland
parents: 20695
diff changeset
   518
  void set_argument_type(int bci, int i, ciKlass* k);
21095
1a04f7b3946e 8026251: New type profiling points: parameters to methods
roland
parents: 20709
diff changeset
   519
  void set_parameter_type(int i, ciKlass* k);
20709
034be898bf04 8026054: New type profiling points: type of return values at calls
roland
parents: 20702
diff changeset
   520
  void set_return_type(int bci, ciKlass* k);
6453
970dc585ab63 6953144: Tiered compilation
iveresov
parents: 5547
diff changeset
   521
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   522
  void load_data();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   523
489c9b5090e2 Initial load
duke
parents:
diff changeset
   524
  // Convert a dp (data pointer) to a di (data index).
489c9b5090e2 Initial load
duke
parents:
diff changeset
   525
  int dp_to_di(address dp) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   526
    return dp - ((address)_data);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   527
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   528
489c9b5090e2 Initial load
duke
parents:
diff changeset
   529
  // Get the data at an arbitrary (sort of) data index.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   530
  ciProfileData* data_at(int data_index);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   531
489c9b5090e2 Initial load
duke
parents:
diff changeset
   532
  // Walk through the data in order.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   533
  ciProfileData* first_data() { return data_at(first_di()); }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   534
  ciProfileData* next_data(ciProfileData* current);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   535
  bool is_valid(ciProfileData* current) { return current != NULL; }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   536
26440
0c9e5ee0083a 8057038: Speculative traps not robust when compilation and class unloading are concurrent
roland
parents: 25492
diff changeset
   537
  DataLayout* extra_data_base() const  { return data_layout_at(data_size()); }
0c9e5ee0083a 8057038: Speculative traps not robust when compilation and class unloading are concurrent
roland
parents: 25492
diff changeset
   538
  DataLayout* args_data_limit() const  { return data_layout_at(data_size() + extra_data_size() -
0c9e5ee0083a 8057038: Speculative traps not robust when compilation and class unloading are concurrent
roland
parents: 25492
diff changeset
   539
                                                               parameters_size()); }
22916
582da2ed4dfa 8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents: 22234
diff changeset
   540
582da2ed4dfa 8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents: 22234
diff changeset
   541
  // Get the data at an arbitrary bci, or NULL if there is none. If m
582da2ed4dfa 8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents: 22234
diff changeset
   542
  // is not NULL look for a SpeculativeTrapData if any first.
582da2ed4dfa 8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents: 22234
diff changeset
   543
  ciProfileData* bci_to_data(int bci, ciMethod* m = NULL);
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   544
489c9b5090e2 Initial load
duke
parents:
diff changeset
   545
  uint overflow_trap_count() const {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   546
    return _orig.overflow_trap_count();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   547
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   548
  uint overflow_recompile_count() const {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   549
    return _orig.overflow_recompile_count();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   550
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   551
  uint decompile_count() const {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   552
    return _orig.decompile_count();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   553
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   554
  uint trap_count(int reason) const {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   555
    return _orig.trap_count(reason);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   556
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   557
  uint trap_reason_limit() const { return _orig.trap_reason_limit(); }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   558
  uint trap_count_limit()  const { return _orig.trap_count_limit(); }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   559
489c9b5090e2 Initial load
duke
parents:
diff changeset
   560
  // Helpful query functions that decode trap_state.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   561
  int has_trap_at(ciProfileData* data, int reason);
22916
582da2ed4dfa 8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents: 22234
diff changeset
   562
  int has_trap_at(int bci, ciMethod* m, int reason) {
582da2ed4dfa 8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents: 22234
diff changeset
   563
    assert((m != NULL) == Deoptimization::reason_is_speculate(reason), "inconsistent method/reason");
582da2ed4dfa 8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents: 22234
diff changeset
   564
    return has_trap_at(bci_to_data(bci, m), reason);
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   565
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   566
  int trap_recompiled_at(ciProfileData* data);
22916
582da2ed4dfa 8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents: 22234
diff changeset
   567
  int trap_recompiled_at(int bci, ciMethod* m) {
582da2ed4dfa 8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents: 22234
diff changeset
   568
    return trap_recompiled_at(bci_to_data(bci, m));
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   569
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   570
489c9b5090e2 Initial load
duke
parents:
diff changeset
   571
  void clear_escape_info();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   572
  bool has_escape_info();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   573
  void update_escape_info();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   574
13728
882756847a04 6964458: Reimplement class meta-data storage to use native memory
coleenp
parents: 9638
diff changeset
   575
  void set_eflag(MethodData::EscapeFlag f);
882756847a04 6964458: Reimplement class meta-data storage to use native memory
coleenp
parents: 9638
diff changeset
   576
  void clear_eflag(MethodData::EscapeFlag f);
882756847a04 6964458: Reimplement class meta-data storage to use native memory
coleenp
parents: 9638
diff changeset
   577
  bool eflag_set(MethodData::EscapeFlag f) const;
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   578
489c9b5090e2 Initial load
duke
parents:
diff changeset
   579
  void set_arg_local(int i);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   580
  void set_arg_stack(int i);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   581
  void set_arg_returned(int i);
218
a0e996680b05 6667615: (Escape Analysis) extend MDO to cache arguments escape state
kvn
parents: 1
diff changeset
   582
  void set_arg_modified(int arg, uint val);
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   583
489c9b5090e2 Initial load
duke
parents:
diff changeset
   584
  bool is_arg_local(int i) const;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   585
  bool is_arg_stack(int i) const;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   586
  bool is_arg_returned(int i) const;
218
a0e996680b05 6667615: (Escape Analysis) extend MDO to cache arguments escape state
kvn
parents: 1
diff changeset
   587
  uint arg_modified(int arg) const;
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   588
21095
1a04f7b3946e 8026251: New type profiling points: parameters to methods
roland
parents: 20709
diff changeset
   589
  ciParametersTypeData* parameters_type_data() const {
1a04f7b3946e 8026251: New type profiling points: parameters to methods
roland
parents: 20709
diff changeset
   590
    return _parameters != NULL ? new ciParametersTypeData(_parameters) : NULL;
1a04f7b3946e 8026251: New type profiling points: parameters to methods
roland
parents: 20709
diff changeset
   591
  }
1a04f7b3946e 8026251: New type profiling points: parameters to methods
roland
parents: 20709
diff changeset
   592
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   593
  // Code generation helper
489c9b5090e2 Initial load
duke
parents:
diff changeset
   594
  ByteSize offset_of_slot(ciProfileData* data, ByteSize slot_offset_in_data);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   595
  int      byte_offset_of_slot(ciProfileData* data, ByteSize slot_offset_in_data) { return in_bytes(offset_of_slot(data, slot_offset_in_data)); }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   596
489c9b5090e2 Initial load
duke
parents:
diff changeset
   597
#ifndef PRODUCT
489c9b5090e2 Initial load
duke
parents:
diff changeset
   598
  // printing support for method data
489c9b5090e2 Initial load
duke
parents:
diff changeset
   599
  void print();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   600
  void print_data_on(outputStream* st);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   601
#endif
14477
95e66ea71f71 6830717: replay of compilations would help with debugging
minqi
parents: 13728
diff changeset
   602
  void dump_replay_data(outputStream* out);
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   603
};
7397
5b173b4ca846 6989984: Use standard include model for Hospot
stefank
parents: 6453
diff changeset
   604
5b173b4ca846 6989984: Use standard include model for Hospot
stefank
parents: 6453
diff changeset
   605
#endif // SHARE_VM_CI_CIMETHODDATA_HPP