hotspot/src/share/vm/ci/ciEnv.hpp
author jrose
Wed, 09 Jun 2010 18:50:45 -0700
changeset 5882 6b2aecc4f7d8
parent 5547 f4b087cbb361
child 7397 5b173b4ca846
permissions -rw-r--r--
6939203: JSR 292 needs method handle constants Summary: Add new CP types CONSTANT_MethodHandle, CONSTANT_MethodType; extend 'ldc' bytecode. Reviewed-by: twisti, never
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
     1
/*
5547
f4b087cbb361 6941466: Oracle rebranding changes for Hotspot repositories
trims
parents: 5353
diff changeset
     2
 * Copyright (c) 1999, 2010, 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: 5353
diff changeset
    19
 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
f4b087cbb361 6941466: Oracle rebranding changes for Hotspot repositories
trims
parents: 5353
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: 5353
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
489c9b5090e2 Initial load
duke
parents:
diff changeset
    25
class CompileTask;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    26
489c9b5090e2 Initial load
duke
parents:
diff changeset
    27
// ciEnv
489c9b5090e2 Initial load
duke
parents:
diff changeset
    28
//
489c9b5090e2 Initial load
duke
parents:
diff changeset
    29
// This class is the top level broker for requests from the compiler
489c9b5090e2 Initial load
duke
parents:
diff changeset
    30
// to the VM.
489c9b5090e2 Initial load
duke
parents:
diff changeset
    31
class ciEnv : StackObj {
489c9b5090e2 Initial load
duke
parents:
diff changeset
    32
  CI_PACKAGE_ACCESS_TO
489c9b5090e2 Initial load
duke
parents:
diff changeset
    33
489c9b5090e2 Initial load
duke
parents:
diff changeset
    34
  friend class CompileBroker;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    35
  friend class Dependencies;  // for get_object, during logging
489c9b5090e2 Initial load
duke
parents:
diff changeset
    36
489c9b5090e2 Initial load
duke
parents:
diff changeset
    37
private:
489c9b5090e2 Initial load
duke
parents:
diff changeset
    38
  Arena*           _arena;       // Alias for _ciEnv_arena except in init_shared_objects()
489c9b5090e2 Initial load
duke
parents:
diff changeset
    39
  Arena            _ciEnv_arena;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    40
  int              _system_dictionary_modification_counter;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    41
  ciObjectFactory* _factory;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    42
  OopRecorder*     _oop_recorder;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    43
  DebugInformationRecorder* _debug_info;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    44
  Dependencies*    _dependencies;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    45
  const char*      _failure_reason;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    46
  int              _compilable;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    47
  bool             _break_at_compile;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    48
  int              _num_inlined_bytecodes;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    49
  CompileTask*     _task;           // faster access to CompilerThread::task
489c9b5090e2 Initial load
duke
parents:
diff changeset
    50
  CompileLog*      _log;            // faster access to CompilerThread::log
489c9b5090e2 Initial load
duke
parents:
diff changeset
    51
  void*            _compiler_data;  // compiler-specific stuff, if any
489c9b5090e2 Initial load
duke
parents:
diff changeset
    52
489c9b5090e2 Initial load
duke
parents:
diff changeset
    53
  char* _name_buffer;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    54
  int   _name_buffer_len;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    55
2867
69187054225f 6788527: Server vm intermittently fails with assertion "live value must not be garbage" with fastdebug bits
kvn
parents: 1
diff changeset
    56
  // Cache Jvmti state
69187054225f 6788527: Server vm intermittently fails with assertion "live value must not be garbage" with fastdebug bits
kvn
parents: 1
diff changeset
    57
  bool  _jvmti_can_hotswap_or_post_breakpoint;
69187054225f 6788527: Server vm intermittently fails with assertion "live value must not be garbage" with fastdebug bits
kvn
parents: 1
diff changeset
    58
  bool  _jvmti_can_access_local_variables;
4761
bdb7375a1fee 6902182: 4/4 Starting with jdwp agent should not incur performance penalty
dcubed
parents: 4571
diff changeset
    59
  bool  _jvmti_can_post_on_exceptions;
2867
69187054225f 6788527: Server vm intermittently fails with assertion "live value must not be garbage" with fastdebug bits
kvn
parents: 1
diff changeset
    60
69187054225f 6788527: Server vm intermittently fails with assertion "live value must not be garbage" with fastdebug bits
kvn
parents: 1
diff changeset
    61
  // Cache DTrace flags
69187054225f 6788527: Server vm intermittently fails with assertion "live value must not be garbage" with fastdebug bits
kvn
parents: 1
diff changeset
    62
  bool  _dtrace_extended_probes;
69187054225f 6788527: Server vm intermittently fails with assertion "live value must not be garbage" with fastdebug bits
kvn
parents: 1
diff changeset
    63
  bool  _dtrace_monitor_probes;
69187054225f 6788527: Server vm intermittently fails with assertion "live value must not be garbage" with fastdebug bits
kvn
parents: 1
diff changeset
    64
  bool  _dtrace_method_probes;
69187054225f 6788527: Server vm intermittently fails with assertion "live value must not be garbage" with fastdebug bits
kvn
parents: 1
diff changeset
    65
  bool  _dtrace_alloc_probes;
69187054225f 6788527: Server vm intermittently fails with assertion "live value must not be garbage" with fastdebug bits
kvn
parents: 1
diff changeset
    66
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
    67
  // Distinguished instances of certain ciObjects..
489c9b5090e2 Initial load
duke
parents:
diff changeset
    68
  static ciObject*              _null_object_instance;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    69
  static ciMethodKlass*         _method_klass_instance;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    70
  static ciSymbolKlass*         _symbol_klass_instance;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    71
  static ciKlassKlass*          _klass_klass_instance;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    72
  static ciInstanceKlassKlass*  _instance_klass_klass_instance;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    73
  static ciTypeArrayKlassKlass* _type_array_klass_klass_instance;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    74
  static ciObjArrayKlassKlass*  _obj_array_klass_klass_instance;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    75
4571
80b553bddc26 6914300: ciEnv should export all well known classes
never
parents: 4567
diff changeset
    76
#define WK_KLASS_DECL(name, ignore_s, ignore_o) static ciInstanceKlass* _##name;
80b553bddc26 6914300: ciEnv should export all well known classes
never
parents: 4567
diff changeset
    77
  WK_KLASSES_DO(WK_KLASS_DECL)
80b553bddc26 6914300: ciEnv should export all well known classes
never
parents: 4567
diff changeset
    78
#undef WK_KLASS_DECL
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
    79
489c9b5090e2 Initial load
duke
parents:
diff changeset
    80
  static ciSymbol*        _unloaded_cisymbol;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    81
  static ciInstanceKlass* _unloaded_ciinstance_klass;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    82
  static ciObjArrayKlass* _unloaded_ciobjarrayklass;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    83
489c9b5090e2 Initial load
duke
parents:
diff changeset
    84
  static jobject _ArrayIndexOutOfBoundsException_handle;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    85
  static jobject _ArrayStoreException_handle;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    86
  static jobject _ClassCastException_handle;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    87
489c9b5090e2 Initial load
duke
parents:
diff changeset
    88
  ciInstance* _NullPointerException_instance;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    89
  ciInstance* _ArithmeticException_instance;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    90
  ciInstance* _ArrayIndexOutOfBoundsException_instance;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    91
  ciInstance* _ArrayStoreException_instance;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    92
  ciInstance* _ClassCastException_instance;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    93
4450
6d700b859b3e 6892658: C2 should optimize some stringbuilder patterns
never
parents: 3908
diff changeset
    94
  ciInstance* _the_null_string;      // The Java string "null"
6d700b859b3e 6892658: C2 should optimize some stringbuilder patterns
never
parents: 3908
diff changeset
    95
  ciInstance* _the_min_jint_string; // The Java string "-2147483648"
6d700b859b3e 6892658: C2 should optimize some stringbuilder patterns
never
parents: 3908
diff changeset
    96
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
    97
  // Look up a klass by name from a particular class loader (the accessor's).
489c9b5090e2 Initial load
duke
parents:
diff changeset
    98
  // If require_local, result must be defined in that class loader, or NULL.
489c9b5090e2 Initial load
duke
parents:
diff changeset
    99
  // If !require_local, a result from remote class loader may be reported,
489c9b5090e2 Initial load
duke
parents:
diff changeset
   100
  // if sufficient class loader constraints exist such that initiating
489c9b5090e2 Initial load
duke
parents:
diff changeset
   101
  // a class loading request from the given loader is bound to return
489c9b5090e2 Initial load
duke
parents:
diff changeset
   102
  // the class defined in the remote loader (or throw an error).
489c9b5090e2 Initial load
duke
parents:
diff changeset
   103
  //
489c9b5090e2 Initial load
duke
parents:
diff changeset
   104
  // Return an unloaded klass if !require_local and no class at all is found.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   105
  //
489c9b5090e2 Initial load
duke
parents:
diff changeset
   106
  // The CI treats a klass as loaded if it is consistently defined in
489c9b5090e2 Initial load
duke
parents:
diff changeset
   107
  // another loader, even if it hasn't yet been loaded in all loaders
489c9b5090e2 Initial load
duke
parents:
diff changeset
   108
  // that could potentially see it via delegation.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   109
  ciKlass* get_klass_by_name(ciKlass* accessing_klass,
489c9b5090e2 Initial load
duke
parents:
diff changeset
   110
                             ciSymbol* klass_name,
489c9b5090e2 Initial load
duke
parents:
diff changeset
   111
                             bool require_local);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   112
489c9b5090e2 Initial load
duke
parents:
diff changeset
   113
  // Constant pool access.
4567
7fc02fbe5c7a 6893268: additional dynamic language related optimizations in C2
twisti
parents: 4566
diff changeset
   114
  ciKlass*   get_klass_by_index(constantPoolHandle cpool,
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   115
                                int klass_index,
4567
7fc02fbe5c7a 6893268: additional dynamic language related optimizations in C2
twisti
parents: 4566
diff changeset
   116
                                bool& is_accessible,
7fc02fbe5c7a 6893268: additional dynamic language related optimizations in C2
twisti
parents: 4566
diff changeset
   117
                                ciInstanceKlass* loading_klass);
7fc02fbe5c7a 6893268: additional dynamic language related optimizations in C2
twisti
parents: 4566
diff changeset
   118
  ciConstant get_constant_by_index(constantPoolHandle cpool,
5882
6b2aecc4f7d8 6939203: JSR 292 needs method handle constants
jrose
parents: 5547
diff changeset
   119
                                   int pool_index, int cache_index,
4567
7fc02fbe5c7a 6893268: additional dynamic language related optimizations in C2
twisti
parents: 4566
diff changeset
   120
                                   ciInstanceKlass* accessor);
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   121
  ciField*   get_field_by_index(ciInstanceKlass* loading_klass,
489c9b5090e2 Initial load
duke
parents:
diff changeset
   122
                                int field_index);
4567
7fc02fbe5c7a 6893268: additional dynamic language related optimizations in C2
twisti
parents: 4566
diff changeset
   123
  ciMethod*  get_method_by_index(constantPoolHandle cpool,
7fc02fbe5c7a 6893268: additional dynamic language related optimizations in C2
twisti
parents: 4566
diff changeset
   124
                                 int method_index, Bytecodes::Code bc,
7fc02fbe5c7a 6893268: additional dynamic language related optimizations in C2
twisti
parents: 4566
diff changeset
   125
                                 ciInstanceKlass* loading_klass);
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   126
489c9b5090e2 Initial load
duke
parents:
diff changeset
   127
  // Implementation methods for loading and constant pool access.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   128
  ciKlass* get_klass_by_name_impl(ciKlass* accessing_klass,
489c9b5090e2 Initial load
duke
parents:
diff changeset
   129
                                  ciSymbol* klass_name,
489c9b5090e2 Initial load
duke
parents:
diff changeset
   130
                                  bool require_local);
4567
7fc02fbe5c7a 6893268: additional dynamic language related optimizations in C2
twisti
parents: 4566
diff changeset
   131
  ciKlass*   get_klass_by_index_impl(constantPoolHandle cpool,
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   132
                                     int klass_index,
4567
7fc02fbe5c7a 6893268: additional dynamic language related optimizations in C2
twisti
parents: 4566
diff changeset
   133
                                     bool& is_accessible,
7fc02fbe5c7a 6893268: additional dynamic language related optimizations in C2
twisti
parents: 4566
diff changeset
   134
                                     ciInstanceKlass* loading_klass);
7fc02fbe5c7a 6893268: additional dynamic language related optimizations in C2
twisti
parents: 4566
diff changeset
   135
  ciConstant get_constant_by_index_impl(constantPoolHandle cpool,
5882
6b2aecc4f7d8 6939203: JSR 292 needs method handle constants
jrose
parents: 5547
diff changeset
   136
                                        int pool_index, int cache_index,
4567
7fc02fbe5c7a 6893268: additional dynamic language related optimizations in C2
twisti
parents: 4566
diff changeset
   137
                                        ciInstanceKlass* loading_klass);
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   138
  ciField*   get_field_by_index_impl(ciInstanceKlass* loading_klass,
489c9b5090e2 Initial load
duke
parents:
diff changeset
   139
                                     int field_index);
4567
7fc02fbe5c7a 6893268: additional dynamic language related optimizations in C2
twisti
parents: 4566
diff changeset
   140
  ciMethod*  get_method_by_index_impl(constantPoolHandle cpool,
7fc02fbe5c7a 6893268: additional dynamic language related optimizations in C2
twisti
parents: 4566
diff changeset
   141
                                      int method_index, Bytecodes::Code bc,
7fc02fbe5c7a 6893268: additional dynamic language related optimizations in C2
twisti
parents: 4566
diff changeset
   142
                                      ciInstanceKlass* loading_klass);
7fc02fbe5c7a 6893268: additional dynamic language related optimizations in C2
twisti
parents: 4566
diff changeset
   143
  ciMethod*  get_fake_invokedynamic_method_impl(constantPoolHandle cpool,
4566
b363f6ef4068 6829187: compiler optimizations required for JSR 292
twisti
parents: 4450
diff changeset
   144
                                                int index, Bytecodes::Code bc);
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   145
489c9b5090e2 Initial load
duke
parents:
diff changeset
   146
  // Helper methods
489c9b5090e2 Initial load
duke
parents:
diff changeset
   147
  bool       check_klass_accessibility(ciKlass* accessing_klass,
489c9b5090e2 Initial load
duke
parents:
diff changeset
   148
                                      klassOop resolved_klassOop);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   149
  methodOop  lookup_method(instanceKlass*  accessor,
489c9b5090e2 Initial load
duke
parents:
diff changeset
   150
                           instanceKlass*  holder,
489c9b5090e2 Initial load
duke
parents:
diff changeset
   151
                           symbolOop       name,
489c9b5090e2 Initial load
duke
parents:
diff changeset
   152
                           symbolOop       sig,
489c9b5090e2 Initial load
duke
parents:
diff changeset
   153
                           Bytecodes::Code bc);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   154
489c9b5090e2 Initial load
duke
parents:
diff changeset
   155
  // Get a ciObject from the object factory.  Ensures uniqueness
489c9b5090e2 Initial load
duke
parents:
diff changeset
   156
  // of ciObjects.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   157
  ciObject* get_object(oop o) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   158
    if (o == NULL) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   159
      return _null_object_instance;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   160
    } else {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   161
      return _factory->get(o);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   162
    }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   163
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   164
489c9b5090e2 Initial load
duke
parents:
diff changeset
   165
  ciMethod* get_method_from_handle(jobject method);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   166
489c9b5090e2 Initial load
duke
parents:
diff changeset
   167
  ciInstance* get_or_create_exception(jobject& handle, symbolHandle name);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   168
489c9b5090e2 Initial load
duke
parents:
diff changeset
   169
  // Get a ciMethod representing either an unfound method or
489c9b5090e2 Initial load
duke
parents:
diff changeset
   170
  // a method with an unloaded holder.  Ensures uniqueness of
489c9b5090e2 Initial load
duke
parents:
diff changeset
   171
  // the result.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   172
  ciMethod* get_unloaded_method(ciInstanceKlass* holder,
489c9b5090e2 Initial load
duke
parents:
diff changeset
   173
                                ciSymbol*        name,
489c9b5090e2 Initial load
duke
parents:
diff changeset
   174
                                ciSymbol*        signature) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   175
    return _factory->get_unloaded_method(holder, name, signature);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   176
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   177
489c9b5090e2 Initial load
duke
parents:
diff changeset
   178
  // Get a ciKlass representing an unloaded klass.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   179
  // Ensures uniqueness of the result.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   180
  ciKlass* get_unloaded_klass(ciKlass* accessing_klass,
489c9b5090e2 Initial load
duke
parents:
diff changeset
   181
                              ciSymbol* name) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   182
    return _factory->get_unloaded_klass(accessing_klass, name, true);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   183
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   184
5882
6b2aecc4f7d8 6939203: JSR 292 needs method handle constants
jrose
parents: 5547
diff changeset
   185
  // Get a ciKlass representing an unloaded klass mirror.
6b2aecc4f7d8 6939203: JSR 292 needs method handle constants
jrose
parents: 5547
diff changeset
   186
  // Result is not necessarily unique, but will be unloaded.
6b2aecc4f7d8 6939203: JSR 292 needs method handle constants
jrose
parents: 5547
diff changeset
   187
  ciInstance* get_unloaded_klass_mirror(ciKlass* type) {
6b2aecc4f7d8 6939203: JSR 292 needs method handle constants
jrose
parents: 5547
diff changeset
   188
    return _factory->get_unloaded_klass_mirror(type);
6b2aecc4f7d8 6939203: JSR 292 needs method handle constants
jrose
parents: 5547
diff changeset
   189
  }
6b2aecc4f7d8 6939203: JSR 292 needs method handle constants
jrose
parents: 5547
diff changeset
   190
6b2aecc4f7d8 6939203: JSR 292 needs method handle constants
jrose
parents: 5547
diff changeset
   191
  // Get a ciInstance representing an unresolved method handle constant.
6b2aecc4f7d8 6939203: JSR 292 needs method handle constants
jrose
parents: 5547
diff changeset
   192
  ciInstance* get_unloaded_method_handle_constant(ciKlass*  holder,
6b2aecc4f7d8 6939203: JSR 292 needs method handle constants
jrose
parents: 5547
diff changeset
   193
                                                  ciSymbol* name,
6b2aecc4f7d8 6939203: JSR 292 needs method handle constants
jrose
parents: 5547
diff changeset
   194
                                                  ciSymbol* signature,
6b2aecc4f7d8 6939203: JSR 292 needs method handle constants
jrose
parents: 5547
diff changeset
   195
                                                  int       ref_kind) {
6b2aecc4f7d8 6939203: JSR 292 needs method handle constants
jrose
parents: 5547
diff changeset
   196
    return _factory->get_unloaded_method_handle_constant(holder, name, signature, ref_kind);
6b2aecc4f7d8 6939203: JSR 292 needs method handle constants
jrose
parents: 5547
diff changeset
   197
  }
6b2aecc4f7d8 6939203: JSR 292 needs method handle constants
jrose
parents: 5547
diff changeset
   198
6b2aecc4f7d8 6939203: JSR 292 needs method handle constants
jrose
parents: 5547
diff changeset
   199
  // Get a ciInstance representing an unresolved method type constant.
6b2aecc4f7d8 6939203: JSR 292 needs method handle constants
jrose
parents: 5547
diff changeset
   200
  ciInstance* get_unloaded_method_type_constant(ciSymbol* signature) {
6b2aecc4f7d8 6939203: JSR 292 needs method handle constants
jrose
parents: 5547
diff changeset
   201
    return _factory->get_unloaded_method_type_constant(signature);
6b2aecc4f7d8 6939203: JSR 292 needs method handle constants
jrose
parents: 5547
diff changeset
   202
  }
6b2aecc4f7d8 6939203: JSR 292 needs method handle constants
jrose
parents: 5547
diff changeset
   203
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   204
  // See if we already have an unloaded klass for the given name
489c9b5090e2 Initial load
duke
parents:
diff changeset
   205
  // or return NULL if not.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   206
  ciKlass *check_get_unloaded_klass(ciKlass* accessing_klass, ciSymbol* name) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   207
    return _factory->get_unloaded_klass(accessing_klass, name, false);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   208
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   209
489c9b5090e2 Initial load
duke
parents:
diff changeset
   210
  // Get a ciReturnAddress corresponding to the given bci.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   211
  // Ensures uniqueness of the result.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   212
  ciReturnAddress* get_return_address(int bci) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   213
    return _factory->get_return_address(bci);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   214
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   215
489c9b5090e2 Initial load
duke
parents:
diff changeset
   216
  // Get a ciMethodData representing the methodData for a method
489c9b5090e2 Initial load
duke
parents:
diff changeset
   217
  // with none.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   218
  ciMethodData* get_empty_methodData() {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   219
    return _factory->get_empty_methodData();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   220
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   221
489c9b5090e2 Initial load
duke
parents:
diff changeset
   222
  // General utility : get a buffer of some required length.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   223
  // Used in symbol creation.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   224
  char* name_buffer(int req_len);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   225
489c9b5090e2 Initial load
duke
parents:
diff changeset
   226
  // Is this thread currently in the VM state?
489c9b5090e2 Initial load
duke
parents:
diff changeset
   227
  static bool is_in_vm();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   228
489c9b5090e2 Initial load
duke
parents:
diff changeset
   229
  // Helper routine for determining the validity of a compilation
489c9b5090e2 Initial load
duke
parents:
diff changeset
   230
  // with respect to concurrent class loading.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   231
  void check_for_system_dictionary_modification(ciMethod* target);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   232
489c9b5090e2 Initial load
duke
parents:
diff changeset
   233
public:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   234
  enum {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   235
    MethodCompilable,
489c9b5090e2 Initial load
duke
parents:
diff changeset
   236
    MethodCompilable_not_at_tier,
489c9b5090e2 Initial load
duke
parents:
diff changeset
   237
    MethodCompilable_never
489c9b5090e2 Initial load
duke
parents:
diff changeset
   238
  };
489c9b5090e2 Initial load
duke
parents:
diff changeset
   239
489c9b5090e2 Initial load
duke
parents:
diff changeset
   240
  ciEnv(CompileTask* task, int system_dictionary_modification_counter);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   241
  // Used only during initialization of the ci
489c9b5090e2 Initial load
duke
parents:
diff changeset
   242
  ciEnv(Arena* arena);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   243
  ~ciEnv();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   244
489c9b5090e2 Initial load
duke
parents:
diff changeset
   245
  OopRecorder* oop_recorder() { return _oop_recorder; }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   246
  void set_oop_recorder(OopRecorder* r) { _oop_recorder = r; }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   247
489c9b5090e2 Initial load
duke
parents:
diff changeset
   248
  DebugInformationRecorder* debug_info() { return _debug_info; }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   249
  void set_debug_info(DebugInformationRecorder* i) { _debug_info = i; }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   250
489c9b5090e2 Initial load
duke
parents:
diff changeset
   251
  Dependencies* dependencies() { return _dependencies; }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   252
  void set_dependencies(Dependencies* d) { _dependencies = d; }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   253
489c9b5090e2 Initial load
duke
parents:
diff changeset
   254
  // This is true if the compilation is not going to produce code.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   255
  // (It is reasonable to retry failed compilations.)
489c9b5090e2 Initial load
duke
parents:
diff changeset
   256
  bool failing() { return _failure_reason != NULL; }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   257
489c9b5090e2 Initial load
duke
parents:
diff changeset
   258
  // Reason this compilation is failing, such as "too many basic blocks".
489c9b5090e2 Initial load
duke
parents:
diff changeset
   259
  const char* failure_reason() { return _failure_reason; }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   260
489c9b5090e2 Initial load
duke
parents:
diff changeset
   261
  // Return state of appropriate compilability
489c9b5090e2 Initial load
duke
parents:
diff changeset
   262
  int compilable() { return _compilable; }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   263
489c9b5090e2 Initial load
duke
parents:
diff changeset
   264
  bool break_at_compile() { return _break_at_compile; }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   265
  void set_break_at_compile(bool z) { _break_at_compile = z; }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   266
2867
69187054225f 6788527: Server vm intermittently fails with assertion "live value must not be garbage" with fastdebug bits
kvn
parents: 1
diff changeset
   267
  // Cache Jvmti state
69187054225f 6788527: Server vm intermittently fails with assertion "live value must not be garbage" with fastdebug bits
kvn
parents: 1
diff changeset
   268
  void  cache_jvmti_state();
69187054225f 6788527: Server vm intermittently fails with assertion "live value must not be garbage" with fastdebug bits
kvn
parents: 1
diff changeset
   269
  bool  jvmti_can_hotswap_or_post_breakpoint() const { return _jvmti_can_hotswap_or_post_breakpoint; }
69187054225f 6788527: Server vm intermittently fails with assertion "live value must not be garbage" with fastdebug bits
kvn
parents: 1
diff changeset
   270
  bool  jvmti_can_access_local_variables()     const { return _jvmti_can_access_local_variables; }
4761
bdb7375a1fee 6902182: 4/4 Starting with jdwp agent should not incur performance penalty
dcubed
parents: 4571
diff changeset
   271
  bool  jvmti_can_post_on_exceptions()         const { return _jvmti_can_post_on_exceptions; }
2867
69187054225f 6788527: Server vm intermittently fails with assertion "live value must not be garbage" with fastdebug bits
kvn
parents: 1
diff changeset
   272
69187054225f 6788527: Server vm intermittently fails with assertion "live value must not be garbage" with fastdebug bits
kvn
parents: 1
diff changeset
   273
  // Cache DTrace flags
69187054225f 6788527: Server vm intermittently fails with assertion "live value must not be garbage" with fastdebug bits
kvn
parents: 1
diff changeset
   274
  void  cache_dtrace_flags();
69187054225f 6788527: Server vm intermittently fails with assertion "live value must not be garbage" with fastdebug bits
kvn
parents: 1
diff changeset
   275
  bool  dtrace_extended_probes() const { return _dtrace_extended_probes; }
69187054225f 6788527: Server vm intermittently fails with assertion "live value must not be garbage" with fastdebug bits
kvn
parents: 1
diff changeset
   276
  bool  dtrace_monitor_probes()  const { return _dtrace_monitor_probes; }
69187054225f 6788527: Server vm intermittently fails with assertion "live value must not be garbage" with fastdebug bits
kvn
parents: 1
diff changeset
   277
  bool  dtrace_method_probes()   const { return _dtrace_method_probes; }
69187054225f 6788527: Server vm intermittently fails with assertion "live value must not be garbage" with fastdebug bits
kvn
parents: 1
diff changeset
   278
  bool  dtrace_alloc_probes()    const { return _dtrace_alloc_probes; }
69187054225f 6788527: Server vm intermittently fails with assertion "live value must not be garbage" with fastdebug bits
kvn
parents: 1
diff changeset
   279
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   280
  // The compiler task which has created this env.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   281
  // May be useful to find out compile_id, comp_level, etc.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   282
  CompileTask* task() { return _task; }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   283
  // Handy forwards to the task:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   284
  int comp_level();   // task()->comp_level()
489c9b5090e2 Initial load
duke
parents:
diff changeset
   285
  uint compile_id();  // task()->compile_id()
489c9b5090e2 Initial load
duke
parents:
diff changeset
   286
489c9b5090e2 Initial load
duke
parents:
diff changeset
   287
  // Register the result of a compilation.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   288
  void register_method(ciMethod*                 target,
489c9b5090e2 Initial load
duke
parents:
diff changeset
   289
                       int                       entry_bci,
489c9b5090e2 Initial load
duke
parents:
diff changeset
   290
                       CodeOffsets*              offsets,
489c9b5090e2 Initial load
duke
parents:
diff changeset
   291
                       int                       orig_pc_offset,
489c9b5090e2 Initial load
duke
parents:
diff changeset
   292
                       CodeBuffer*               code_buffer,
489c9b5090e2 Initial load
duke
parents:
diff changeset
   293
                       int                       frame_words,
489c9b5090e2 Initial load
duke
parents:
diff changeset
   294
                       OopMapSet*                oop_map_set,
489c9b5090e2 Initial load
duke
parents:
diff changeset
   295
                       ExceptionHandlerTable*    handler_table,
489c9b5090e2 Initial load
duke
parents:
diff changeset
   296
                       ImplicitExceptionTable*   inc_table,
489c9b5090e2 Initial load
duke
parents:
diff changeset
   297
                       AbstractCompiler*         compiler,
489c9b5090e2 Initial load
duke
parents:
diff changeset
   298
                       int                       comp_level,
489c9b5090e2 Initial load
duke
parents:
diff changeset
   299
                       bool                      has_debug_info = true,
489c9b5090e2 Initial load
duke
parents:
diff changeset
   300
                       bool                      has_unsafe_access = false);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   301
489c9b5090e2 Initial load
duke
parents:
diff changeset
   302
489c9b5090e2 Initial load
duke
parents:
diff changeset
   303
  // Access to certain well known ciObjects.
4571
80b553bddc26 6914300: ciEnv should export all well known classes
never
parents: 4567
diff changeset
   304
#define WK_KLASS_FUNC(name, ignore_s, ignore_o) \
80b553bddc26 6914300: ciEnv should export all well known classes
never
parents: 4567
diff changeset
   305
  ciInstanceKlass* name() { \
80b553bddc26 6914300: ciEnv should export all well known classes
never
parents: 4567
diff changeset
   306
    return _##name;\
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   307
  }
4571
80b553bddc26 6914300: ciEnv should export all well known classes
never
parents: 4567
diff changeset
   308
  WK_KLASSES_DO(WK_KLASS_FUNC)
80b553bddc26 6914300: ciEnv should export all well known classes
never
parents: 4567
diff changeset
   309
#undef WK_KLASS_FUNC
80b553bddc26 6914300: ciEnv should export all well known classes
never
parents: 4567
diff changeset
   310
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   311
  ciInstance* NullPointerException_instance() {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   312
    assert(_NullPointerException_instance != NULL, "initialization problem");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   313
    return _NullPointerException_instance;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   314
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   315
  ciInstance* ArithmeticException_instance() {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   316
    assert(_ArithmeticException_instance != NULL, "initialization problem");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   317
    return _ArithmeticException_instance;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   318
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   319
489c9b5090e2 Initial load
duke
parents:
diff changeset
   320
  // Lazy constructors:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   321
  ciInstance* ArrayIndexOutOfBoundsException_instance();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   322
  ciInstance* ArrayStoreException_instance();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   323
  ciInstance* ClassCastException_instance();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   324
4450
6d700b859b3e 6892658: C2 should optimize some stringbuilder patterns
never
parents: 3908
diff changeset
   325
  ciInstance* the_null_string();
6d700b859b3e 6892658: C2 should optimize some stringbuilder patterns
never
parents: 3908
diff changeset
   326
  ciInstance* the_min_jint_string();
6d700b859b3e 6892658: C2 should optimize some stringbuilder patterns
never
parents: 3908
diff changeset
   327
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   328
  static ciSymbol* unloaded_cisymbol() {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   329
    return _unloaded_cisymbol;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   330
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   331
  static ciObjArrayKlass* unloaded_ciobjarrayklass() {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   332
    return _unloaded_ciobjarrayklass;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   333
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   334
  static ciInstanceKlass* unloaded_ciinstance_klass() {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   335
    return _unloaded_ciinstance_klass;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   336
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   337
489c9b5090e2 Initial load
duke
parents:
diff changeset
   338
  ciKlass*  find_system_klass(ciSymbol* klass_name);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   339
  // Note:  To find a class from its name string, use ciSymbol::make,
489c9b5090e2 Initial load
duke
parents:
diff changeset
   340
  // but consider adding to vmSymbols.hpp instead.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   341
489c9b5090e2 Initial load
duke
parents:
diff changeset
   342
  // Use this to make a holder for non-perm compile time constants.
3908
24b55ad4c228 6863023: need non-perm oops in code cache for JSR 292
jrose
parents: 3261
diff changeset
   343
  // The resulting array is guaranteed to satisfy "can_be_constant".
24b55ad4c228 6863023: need non-perm oops in code cache for JSR 292
jrose
parents: 3261
diff changeset
   344
  ciArray*  make_system_array(GrowableArray<ciObject*>* objects);
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   345
489c9b5090e2 Initial load
duke
parents:
diff changeset
   346
  // converts the ciKlass* representing the holder of a method into a
489c9b5090e2 Initial load
duke
parents:
diff changeset
   347
  // ciInstanceKlass*.  This is needed since the holder of a method in
489c9b5090e2 Initial load
duke
parents:
diff changeset
   348
  // the bytecodes could be an array type.  Basically this converts
489c9b5090e2 Initial load
duke
parents:
diff changeset
   349
  // array types into java/lang/Object and other types stay as they are.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   350
  static ciInstanceKlass* get_instance_klass_for_declared_method_holder(ciKlass* klass);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   351
489c9b5090e2 Initial load
duke
parents:
diff changeset
   352
  // Return the machine-level offset of o, which must be an element of a.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   353
  // This may be used to form constant-loading expressions in lieu of simpler encodings.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   354
  int       array_element_offset_in_bytes(ciArray* a, ciObject* o);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   355
489c9b5090e2 Initial load
duke
parents:
diff changeset
   356
  // Access to the compile-lifetime allocation arena.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   357
  Arena*    arena() { return _arena; }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   358
489c9b5090e2 Initial load
duke
parents:
diff changeset
   359
  // What is the current compilation environment?
489c9b5090e2 Initial load
duke
parents:
diff changeset
   360
  static ciEnv* current() { return CompilerThread::current()->env(); }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   361
489c9b5090e2 Initial load
duke
parents:
diff changeset
   362
  // Overload with current thread argument
489c9b5090e2 Initial load
duke
parents:
diff changeset
   363
  static ciEnv* current(CompilerThread *thread) { return thread->env(); }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   364
489c9b5090e2 Initial load
duke
parents:
diff changeset
   365
  // Per-compiler data.  (Used by C2 to publish the Compile* pointer.)
489c9b5090e2 Initial load
duke
parents:
diff changeset
   366
  void* compiler_data() { return _compiler_data; }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   367
  void set_compiler_data(void* x) { _compiler_data = x; }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   368
489c9b5090e2 Initial load
duke
parents:
diff changeset
   369
  // Notice that a method has been inlined in the current compile;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   370
  // used only for statistics.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   371
  void notice_inlined_method(ciMethod* method);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   372
489c9b5090e2 Initial load
duke
parents:
diff changeset
   373
  // Total number of bytecodes in inlined methods in this compile
489c9b5090e2 Initial load
duke
parents:
diff changeset
   374
  int num_inlined_bytecodes() const;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   375
489c9b5090e2 Initial load
duke
parents:
diff changeset
   376
  // Output stream for logging compilation info.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   377
  CompileLog* log() { return _log; }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   378
  void set_log(CompileLog* log) { _log = log; }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   379
489c9b5090e2 Initial load
duke
parents:
diff changeset
   380
  // Check for changes to the system dictionary during compilation
489c9b5090e2 Initial load
duke
parents:
diff changeset
   381
  bool system_dictionary_modification_counter_changed();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   382
489c9b5090e2 Initial load
duke
parents:
diff changeset
   383
  void record_failure(const char* reason);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   384
  void record_method_not_compilable(const char* reason, bool all_tiers = true);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   385
  void record_out_of_memory_failure();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   386
};