hotspot/src/share/vm/code/scopeDesc.cpp
author coleenp
Sat, 01 Sep 2012 13:25:18 -0400
changeset 13728 882756847a04
parent 7397 5b173b4ca846
child 24424 2658d7834c6e
permissions -rw-r--r--
6964458: Reimplement class meta-data storage to use native memory Summary: Remove PermGen, allocate meta-data in metaspace linked to class loaders, rewrite GC walking, rewrite and rename metadata to be C++ classes Reviewed-by: jmasa, stefank, never, coleenp, kvn, brutisso, mgerdin, dholmes, jrose, twisti, roland Contributed-by: jmasa <jon.masamitsu@oracle.com>, stefank <stefan.karlsson@oracle.com>, mgerdin <mikael.gerdin@oracle.com>, never <tom.rodriguez@oracle.com>
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
     1
/*
13728
882756847a04 6964458: Reimplement class meta-data storage to use native memory
coleenp
parents: 7397
diff changeset
     2
 * Copyright (c) 1997, 2012, 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: 4894
diff changeset
    19
 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
f4b087cbb361 6941466: Oracle rebranding changes for Hotspot repositories
trims
parents: 4894
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: 4894
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: 6418
diff changeset
    25
#include "precompiled.hpp"
5b173b4ca846 6989984: Use standard include model for Hospot
stefank
parents: 6418
diff changeset
    26
#include "code/debugInfoRec.hpp"
5b173b4ca846 6989984: Use standard include model for Hospot
stefank
parents: 6418
diff changeset
    27
#include "code/pcDesc.hpp"
5b173b4ca846 6989984: Use standard include model for Hospot
stefank
parents: 6418
diff changeset
    28
#include "code/scopeDesc.hpp"
5b173b4ca846 6989984: Use standard include model for Hospot
stefank
parents: 6418
diff changeset
    29
#include "memory/resourceArea.hpp"
5b173b4ca846 6989984: Use standard include model for Hospot
stefank
parents: 6418
diff changeset
    30
#include "oops/oop.inline.hpp"
5b173b4ca846 6989984: Use standard include model for Hospot
stefank
parents: 6418
diff changeset
    31
#include "runtime/handles.inline.hpp"
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
    32
489c9b5090e2 Initial load
duke
parents:
diff changeset
    33
4894
8a76fd3d098d 6910618: C2: Error: assert(d->is_oop(),"JVM_ArrayCopy: dst not an oop")
kvn
parents: 3686
diff changeset
    34
ScopeDesc::ScopeDesc(const nmethod* code, int decode_offset, int obj_decode_offset, bool reexecute, bool return_oop) {
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
    35
  _code          = code;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    36
  _decode_offset = decode_offset;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    37
  _objects       = decode_object_values(obj_decode_offset);
3686
69c1b5228547 6873116: Modify reexecute implementation to use pcDesc to record the reexecute bit
cfang
parents: 3600
diff changeset
    38
  _reexecute     = reexecute;
4894
8a76fd3d098d 6910618: C2: Error: assert(d->is_oop(),"JVM_ArrayCopy: dst not an oop")
kvn
parents: 3686
diff changeset
    39
  _return_oop    = return_oop;
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
    40
  decode_body();
489c9b5090e2 Initial load
duke
parents:
diff changeset
    41
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
    42
4894
8a76fd3d098d 6910618: C2: Error: assert(d->is_oop(),"JVM_ArrayCopy: dst not an oop")
kvn
parents: 3686
diff changeset
    43
ScopeDesc::ScopeDesc(const nmethod* code, int decode_offset, bool reexecute, bool return_oop) {
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
    44
  _code          = code;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    45
  _decode_offset = decode_offset;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    46
  _objects       = decode_object_values(DebugInformationRecorder::serialized_null);
3686
69c1b5228547 6873116: Modify reexecute implementation to use pcDesc to record the reexecute bit
cfang
parents: 3600
diff changeset
    47
  _reexecute     = reexecute;
4894
8a76fd3d098d 6910618: C2: Error: assert(d->is_oop(),"JVM_ArrayCopy: dst not an oop")
kvn
parents: 3686
diff changeset
    48
  _return_oop    = return_oop;
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
    49
  decode_body();
489c9b5090e2 Initial load
duke
parents:
diff changeset
    50
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
    51
489c9b5090e2 Initial load
duke
parents:
diff changeset
    52
489c9b5090e2 Initial load
duke
parents:
diff changeset
    53
ScopeDesc::ScopeDesc(const ScopeDesc* parent) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
    54
  _code          = parent->_code;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    55
  _decode_offset = parent->_sender_decode_offset;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    56
  _objects       = parent->_objects;
3686
69c1b5228547 6873116: Modify reexecute implementation to use pcDesc to record the reexecute bit
cfang
parents: 3600
diff changeset
    57
  _reexecute     = false; //reexecute only applies to the first scope
4894
8a76fd3d098d 6910618: C2: Error: assert(d->is_oop(),"JVM_ArrayCopy: dst not an oop")
kvn
parents: 3686
diff changeset
    58
  _return_oop    = false;
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
    59
  decode_body();
489c9b5090e2 Initial load
duke
parents:
diff changeset
    60
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
    61
489c9b5090e2 Initial load
duke
parents:
diff changeset
    62
489c9b5090e2 Initial load
duke
parents:
diff changeset
    63
void ScopeDesc::decode_body() {
489c9b5090e2 Initial load
duke
parents:
diff changeset
    64
  if (decode_offset() == DebugInformationRecorder::serialized_null) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
    65
    // This is a sentinel record, which is only relevant to
489c9b5090e2 Initial load
duke
parents:
diff changeset
    66
    // approximate queries.  Decode a reasonable frame.
489c9b5090e2 Initial load
duke
parents:
diff changeset
    67
    _sender_decode_offset = DebugInformationRecorder::serialized_null;
13728
882756847a04 6964458: Reimplement class meta-data storage to use native memory
coleenp
parents: 7397
diff changeset
    68
    _method = _code->method();
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
    69
    _bci = InvocationEntryBci;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    70
    _locals_decode_offset = DebugInformationRecorder::serialized_null;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    71
    _expressions_decode_offset = DebugInformationRecorder::serialized_null;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    72
    _monitors_decode_offset = DebugInformationRecorder::serialized_null;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    73
  } else {
489c9b5090e2 Initial load
duke
parents:
diff changeset
    74
    // decode header
489c9b5090e2 Initial load
duke
parents:
diff changeset
    75
    DebugInfoReadStream* stream  = stream_at(decode_offset());
489c9b5090e2 Initial load
duke
parents:
diff changeset
    76
489c9b5090e2 Initial load
duke
parents:
diff changeset
    77
    _sender_decode_offset = stream->read_int();
13728
882756847a04 6964458: Reimplement class meta-data storage to use native memory
coleenp
parents: 7397
diff changeset
    78
    _method = stream->read_method();
3686
69c1b5228547 6873116: Modify reexecute implementation to use pcDesc to record the reexecute bit
cfang
parents: 3600
diff changeset
    79
    _bci    = stream->read_bci();
3600
27aa4477d039 6833129: specjvm98 fails with NullPointerException in the compiler with -XX:DeoptimizeALot
cfang
parents: 670
diff changeset
    80
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
    81
    // decode offsets for body and sender
489c9b5090e2 Initial load
duke
parents:
diff changeset
    82
    _locals_decode_offset      = stream->read_int();
489c9b5090e2 Initial load
duke
parents:
diff changeset
    83
    _expressions_decode_offset = stream->read_int();
489c9b5090e2 Initial load
duke
parents:
diff changeset
    84
    _monitors_decode_offset    = stream->read_int();
489c9b5090e2 Initial load
duke
parents:
diff changeset
    85
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
    86
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
    87
489c9b5090e2 Initial load
duke
parents:
diff changeset
    88
489c9b5090e2 Initial load
duke
parents:
diff changeset
    89
GrowableArray<ScopeValue*>* ScopeDesc::decode_scope_values(int decode_offset) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
    90
  if (decode_offset == DebugInformationRecorder::serialized_null) return NULL;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    91
  DebugInfoReadStream* stream = stream_at(decode_offset);
489c9b5090e2 Initial load
duke
parents:
diff changeset
    92
  int length = stream->read_int();
489c9b5090e2 Initial load
duke
parents:
diff changeset
    93
  GrowableArray<ScopeValue*>* result = new GrowableArray<ScopeValue*> (length);
489c9b5090e2 Initial load
duke
parents:
diff changeset
    94
  for (int index = 0; index < length; index++) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
    95
    result->push(ScopeValue::read_from(stream));
489c9b5090e2 Initial load
duke
parents:
diff changeset
    96
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
    97
  return result;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    98
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
    99
489c9b5090e2 Initial load
duke
parents:
diff changeset
   100
GrowableArray<ScopeValue*>* ScopeDesc::decode_object_values(int decode_offset) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   101
  if (decode_offset == DebugInformationRecorder::serialized_null) return NULL;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   102
  GrowableArray<ScopeValue*>* result = new GrowableArray<ScopeValue*>();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   103
  DebugInfoReadStream* stream = new DebugInfoReadStream(_code, decode_offset, result);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   104
  int length = stream->read_int();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   105
  for (int index = 0; index < length; index++) {
217
c646ef2f5d58 6667620: (Escape Analysis) fix deoptimization for scalar replaced objects
kvn
parents: 1
diff changeset
   106
    // Objects values are pushed to 'result' array during read so that
c646ef2f5d58 6667620: (Escape Analysis) fix deoptimization for scalar replaced objects
kvn
parents: 1
diff changeset
   107
    // object's fields could reference it (OBJECT_ID_CODE).
c646ef2f5d58 6667620: (Escape Analysis) fix deoptimization for scalar replaced objects
kvn
parents: 1
diff changeset
   108
    (void)ScopeValue::read_from(stream);
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   109
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   110
  assert(result->length() == length, "inconsistent debug information");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   111
  return result;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   112
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   113
489c9b5090e2 Initial load
duke
parents:
diff changeset
   114
489c9b5090e2 Initial load
duke
parents:
diff changeset
   115
GrowableArray<MonitorValue*>* ScopeDesc::decode_monitor_values(int decode_offset) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   116
  if (decode_offset == DebugInformationRecorder::serialized_null) return NULL;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   117
  DebugInfoReadStream* stream  = stream_at(decode_offset);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   118
  int length = stream->read_int();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   119
  GrowableArray<MonitorValue*>* result = new GrowableArray<MonitorValue*> (length);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   120
  for (int index = 0; index < length; index++) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   121
    result->push(new MonitorValue(stream));
489c9b5090e2 Initial load
duke
parents:
diff changeset
   122
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   123
  return result;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   124
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   125
489c9b5090e2 Initial load
duke
parents:
diff changeset
   126
DebugInfoReadStream* ScopeDesc::stream_at(int decode_offset) const {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   127
  return new DebugInfoReadStream(_code, decode_offset, _objects);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   128
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   129
489c9b5090e2 Initial load
duke
parents:
diff changeset
   130
GrowableArray<ScopeValue*>* ScopeDesc::locals() {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   131
  return decode_scope_values(_locals_decode_offset);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   132
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   133
489c9b5090e2 Initial load
duke
parents:
diff changeset
   134
GrowableArray<ScopeValue*>* ScopeDesc::expressions() {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   135
  return decode_scope_values(_expressions_decode_offset);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   136
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   137
489c9b5090e2 Initial load
duke
parents:
diff changeset
   138
GrowableArray<MonitorValue*>* ScopeDesc::monitors() {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   139
  return decode_monitor_values(_monitors_decode_offset);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   140
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   141
489c9b5090e2 Initial load
duke
parents:
diff changeset
   142
GrowableArray<ScopeValue*>* ScopeDesc::objects() {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   143
  return _objects;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   144
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   145
489c9b5090e2 Initial load
duke
parents:
diff changeset
   146
bool ScopeDesc::is_top() const {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   147
 return _sender_decode_offset == DebugInformationRecorder::serialized_null;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   148
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   149
489c9b5090e2 Initial load
duke
parents:
diff changeset
   150
ScopeDesc* ScopeDesc::sender() const {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   151
  if (is_top()) return NULL;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   152
  return new ScopeDesc(this);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   153
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   154
489c9b5090e2 Initial load
duke
parents:
diff changeset
   155
489c9b5090e2 Initial load
duke
parents:
diff changeset
   156
#ifndef PRODUCT
489c9b5090e2 Initial load
duke
parents:
diff changeset
   157
489c9b5090e2 Initial load
duke
parents:
diff changeset
   158
void ScopeDesc::print_value_on(outputStream* st) const {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   159
  tty->print("   ");
13728
882756847a04 6964458: Reimplement class meta-data storage to use native memory
coleenp
parents: 7397
diff changeset
   160
  method()->print_short_name(st);
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   161
  int lineno = method()->line_number_from_bci(bci());
489c9b5090e2 Initial load
duke
parents:
diff changeset
   162
  if (lineno != -1) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   163
    st->print_cr("@%d (line %d)", bci(), lineno);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   164
  } else {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   165
    st->print_cr("@%d", bci());
489c9b5090e2 Initial load
duke
parents:
diff changeset
   166
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   167
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   168
489c9b5090e2 Initial load
duke
parents:
diff changeset
   169
void ScopeDesc::print_on(outputStream* st) const {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   170
  print_on(st, NULL);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   171
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   172
489c9b5090e2 Initial load
duke
parents:
diff changeset
   173
void ScopeDesc::print_on(outputStream* st, PcDesc* pd) const {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   174
  // header
489c9b5090e2 Initial load
duke
parents:
diff changeset
   175
  if (pd != NULL) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   176
    tty->print_cr("ScopeDesc(pc=" PTR_FORMAT " offset=%x):", pd->real_pc(_code), pd->pc_offset());
489c9b5090e2 Initial load
duke
parents:
diff changeset
   177
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   178
489c9b5090e2 Initial load
duke
parents:
diff changeset
   179
  print_value_on(st);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   180
  // decode offsets
489c9b5090e2 Initial load
duke
parents:
diff changeset
   181
  if (WizardMode) {
6418
6671edbd230e 6978355: renaming for 6961697
twisti
parents: 5547
diff changeset
   182
    st->print("ScopeDesc[%d]@" PTR_FORMAT " ", _decode_offset, _code->content_begin());
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   183
    st->print_cr(" offset:     %d",    _decode_offset);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   184
    st->print_cr(" bci:        %d",    bci());
3600
27aa4477d039 6833129: specjvm98 fails with NullPointerException in the compiler with -XX:DeoptimizeALot
cfang
parents: 670
diff changeset
   185
    st->print_cr(" reexecute:  %s",    should_reexecute() ? "true" : "false");
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   186
    st->print_cr(" locals:     %d",    _locals_decode_offset);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   187
    st->print_cr(" stack:      %d",    _expressions_decode_offset);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   188
    st->print_cr(" monitor:    %d",    _monitors_decode_offset);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   189
    st->print_cr(" sender:     %d",    _sender_decode_offset);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   190
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   191
  // locals
489c9b5090e2 Initial load
duke
parents:
diff changeset
   192
  { GrowableArray<ScopeValue*>* l = ((ScopeDesc*) this)->locals();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   193
    if (l != NULL) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   194
      tty->print_cr("   Locals");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   195
      for (int index = 0; index < l->length(); index++) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   196
        st->print("    - l%d: ", index);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   197
        l->at(index)->print_on(st);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   198
        st->cr();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   199
      }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   200
    }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   201
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   202
  // expressions
489c9b5090e2 Initial load
duke
parents:
diff changeset
   203
  { GrowableArray<ScopeValue*>* l = ((ScopeDesc*) this)->expressions();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   204
    if (l != NULL) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   205
      st->print_cr("   Expression stack");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   206
      for (int index = 0; index < l->length(); index++) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   207
        st->print("   - @%d: ", index);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   208
        l->at(index)->print_on(st);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   209
        st->cr();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   210
      }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   211
    }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   212
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   213
  // monitors
489c9b5090e2 Initial load
duke
parents:
diff changeset
   214
  { GrowableArray<MonitorValue*>* l = ((ScopeDesc*) this)->monitors();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   215
    if (l != NULL) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   216
      st->print_cr("   Monitor stack");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   217
      for (int index = 0; index < l->length(); index++) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   218
        st->print("    - @%d: ", index);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   219
        l->at(index)->print_on(st);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   220
        st->cr();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   221
      }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   222
    }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   223
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   224
489c9b5090e2 Initial load
duke
parents:
diff changeset
   225
#ifdef COMPILER2
489c9b5090e2 Initial load
duke
parents:
diff changeset
   226
  if (DoEscapeAnalysis && is_top() && _objects != NULL) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   227
    tty->print_cr("Objects");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   228
    for (int i = 0; i < _objects->length(); i++) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   229
      ObjectValue* sv = (ObjectValue*) _objects->at(i);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   230
      tty->print(" - %d: ", sv->id());
489c9b5090e2 Initial load
duke
parents:
diff changeset
   231
      sv->print_fields_on(tty);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   232
      tty->cr();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   233
    }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   234
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   235
#endif // COMPILER2
489c9b5090e2 Initial load
duke
parents:
diff changeset
   236
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   237
489c9b5090e2 Initial load
duke
parents:
diff changeset
   238
#endif
489c9b5090e2 Initial load
duke
parents:
diff changeset
   239
489c9b5090e2 Initial load
duke
parents:
diff changeset
   240
void ScopeDesc::verify() {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   241
  ResourceMark rm;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   242
  guarantee(method()->is_method(), "type check");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   243
489c9b5090e2 Initial load
duke
parents:
diff changeset
   244
  // check if we have any illegal elements on the expression stack
489c9b5090e2 Initial load
duke
parents:
diff changeset
   245
  { GrowableArray<ScopeValue*>* l = expressions();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   246
    if (l != NULL) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   247
      for (int index = 0; index < l->length(); index++) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   248
       //guarantee(!l->at(index)->is_illegal(), "expression element cannot be illegal");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   249
      }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   250
    }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   251
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   252
}