src/hotspot/share/utilities/constantTag.hpp
author psandoz
Fri, 08 Sep 2017 10:46:46 -0700
changeset 48826 c4d9d1b08e2e
parent 47765 b7c7428eaab9
child 49364 601146c66cad
permissions -rw-r--r--
8186209: Tool support for ConstantDynamic 8186046: Minimal ConstantDynamic support 8190972: Ensure that AOT/Graal filters out class files containing CONSTANT_Dynamic ahead of full AOT support Reviewed-by: acorn, coleenp, kvn Contributed-by: lois.foltan@oracle.com, john.r.rose@oracle.com, paul.sandoz@oracle.com
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
     1
/*
48826
c4d9d1b08e2e 8186209: Tool support for ConstantDynamic
psandoz
parents: 47765
diff changeset
     2
 * Copyright (c) 1997, 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: 4567
diff changeset
    19
 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
f4b087cbb361 6941466: Oracle rebranding changes for Hotspot repositories
trims
parents: 4567
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: 4567
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: 7114
diff changeset
    25
#ifndef SHARE_VM_UTILITIES_CONSTANTTAG_HPP
5b173b4ca846 6989984: Use standard include model for Hospot
stefank
parents: 7114
diff changeset
    26
#define SHARE_VM_UTILITIES_CONSTANTTAG_HPP
5b173b4ca846 6989984: Use standard include model for Hospot
stefank
parents: 7114
diff changeset
    27
47765
b7c7428eaab9 8189610: Reconcile jvm.h and all jvm_md.h between java.base and hotspot
coleenp
parents: 47216
diff changeset
    28
#include "jvm.h"
37466
287c4ebd11b0 8153967: Remove top.hpp
stefank
parents: 24334
diff changeset
    29
#include "memory/allocation.hpp"
7397
5b173b4ca846 6989984: Use standard include model for Hospot
stefank
parents: 7114
diff changeset
    30
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
    31
// constant tags in Java .class files
489c9b5090e2 Initial load
duke
parents:
diff changeset
    32
489c9b5090e2 Initial load
duke
parents:
diff changeset
    33
489c9b5090e2 Initial load
duke
parents:
diff changeset
    34
enum {
489c9b5090e2 Initial load
duke
parents:
diff changeset
    35
  // See jvm.h for shared JVM_CONSTANT_XXX tags
489c9b5090e2 Initial load
duke
parents:
diff changeset
    36
  // NOTE: replicated in SA in vm/agent/sun/jvm/hotspot/utilities/ConstantTag.java
489c9b5090e2 Initial load
duke
parents:
diff changeset
    37
  // Hotspot specific tags
489c9b5090e2 Initial load
duke
parents:
diff changeset
    38
  JVM_CONSTANT_Invalid                  = 0,    // For bad value initialization
489c9b5090e2 Initial load
duke
parents:
diff changeset
    39
  JVM_CONSTANT_InternalMin              = 100,  // First implementation tag (aside from bad value of course)
489c9b5090e2 Initial load
duke
parents:
diff changeset
    40
  JVM_CONSTANT_UnresolvedClass          = 100,  // Temporary tag until actual use
489c9b5090e2 Initial load
duke
parents:
diff changeset
    41
  JVM_CONSTANT_ClassIndex               = 101,  // Temporary tag while constructing constant pool
13728
882756847a04 6964458: Reimplement class meta-data storage to use native memory
coleenp
parents: 9116
diff changeset
    42
  JVM_CONSTANT_StringIndex              = 102,  // Temporary tag while constructing constant pool
882756847a04 6964458: Reimplement class meta-data storage to use native memory
coleenp
parents: 9116
diff changeset
    43
  JVM_CONSTANT_UnresolvedClassInError   = 103,  // Error tag due to resolution error
882756847a04 6964458: Reimplement class meta-data storage to use native memory
coleenp
parents: 9116
diff changeset
    44
  JVM_CONSTANT_MethodHandleInError      = 104,  // Error tag due to resolution error
882756847a04 6964458: Reimplement class meta-data storage to use native memory
coleenp
parents: 9116
diff changeset
    45
  JVM_CONSTANT_MethodTypeInError        = 105,  // Error tag due to resolution error
48826
c4d9d1b08e2e 8186209: Tool support for ConstantDynamic
psandoz
parents: 47765
diff changeset
    46
  JVM_CONSTANT_DynamicInError           = 106,  // Error tag due to resolution error
c4d9d1b08e2e 8186209: Tool support for ConstantDynamic
psandoz
parents: 47765
diff changeset
    47
  JVM_CONSTANT_InternalMax              = 106   // Last implementation tag
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
    48
};
489c9b5090e2 Initial load
duke
parents:
diff changeset
    49
489c9b5090e2 Initial load
duke
parents:
diff changeset
    50
489c9b5090e2 Initial load
duke
parents:
diff changeset
    51
class constantTag VALUE_OBJ_CLASS_SPEC {
489c9b5090e2 Initial load
duke
parents:
diff changeset
    52
 private:
489c9b5090e2 Initial load
duke
parents:
diff changeset
    53
  jbyte _tag;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    54
 public:
489c9b5090e2 Initial load
duke
parents:
diff changeset
    55
  bool is_klass() const             { return _tag == JVM_CONSTANT_Class; }
489c9b5090e2 Initial load
duke
parents:
diff changeset
    56
  bool is_field () const            { return _tag == JVM_CONSTANT_Fieldref; }
489c9b5090e2 Initial load
duke
parents:
diff changeset
    57
  bool is_method() const            { return _tag == JVM_CONSTANT_Methodref; }
489c9b5090e2 Initial load
duke
parents:
diff changeset
    58
  bool is_interface_method() const  { return _tag == JVM_CONSTANT_InterfaceMethodref; }
489c9b5090e2 Initial load
duke
parents:
diff changeset
    59
  bool is_string() const            { return _tag == JVM_CONSTANT_String; }
489c9b5090e2 Initial load
duke
parents:
diff changeset
    60
  bool is_int() const               { return _tag == JVM_CONSTANT_Integer; }
489c9b5090e2 Initial load
duke
parents:
diff changeset
    61
  bool is_float() const             { return _tag == JVM_CONSTANT_Float; }
489c9b5090e2 Initial load
duke
parents:
diff changeset
    62
  bool is_long() const              { return _tag == JVM_CONSTANT_Long; }
489c9b5090e2 Initial load
duke
parents:
diff changeset
    63
  bool is_double() const            { return _tag == JVM_CONSTANT_Double; }
489c9b5090e2 Initial load
duke
parents:
diff changeset
    64
  bool is_name_and_type() const     { return _tag == JVM_CONSTANT_NameAndType; }
489c9b5090e2 Initial load
duke
parents:
diff changeset
    65
  bool is_utf8() const              { return _tag == JVM_CONSTANT_Utf8; }
489c9b5090e2 Initial load
duke
parents:
diff changeset
    66
489c9b5090e2 Initial load
duke
parents:
diff changeset
    67
  bool is_invalid() const           { return _tag == JVM_CONSTANT_Invalid; }
489c9b5090e2 Initial load
duke
parents:
diff changeset
    68
489c9b5090e2 Initial load
duke
parents:
diff changeset
    69
  bool is_unresolved_klass() const {
489c9b5090e2 Initial load
duke
parents:
diff changeset
    70
    return _tag == JVM_CONSTANT_UnresolvedClass || _tag == JVM_CONSTANT_UnresolvedClassInError;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    71
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
    72
489c9b5090e2 Initial load
duke
parents:
diff changeset
    73
  bool is_unresolved_klass_in_error() const {
489c9b5090e2 Initial load
duke
parents:
diff changeset
    74
    return _tag == JVM_CONSTANT_UnresolvedClassInError;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    75
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
    76
13728
882756847a04 6964458: Reimplement class meta-data storage to use native memory
coleenp
parents: 9116
diff changeset
    77
  bool is_method_handle_in_error() const {
882756847a04 6964458: Reimplement class meta-data storage to use native memory
coleenp
parents: 9116
diff changeset
    78
    return _tag == JVM_CONSTANT_MethodHandleInError;
882756847a04 6964458: Reimplement class meta-data storage to use native memory
coleenp
parents: 9116
diff changeset
    79
  }
882756847a04 6964458: Reimplement class meta-data storage to use native memory
coleenp
parents: 9116
diff changeset
    80
  bool is_method_type_in_error() const {
882756847a04 6964458: Reimplement class meta-data storage to use native memory
coleenp
parents: 9116
diff changeset
    81
    return _tag == JVM_CONSTANT_MethodTypeInError;
882756847a04 6964458: Reimplement class meta-data storage to use native memory
coleenp
parents: 9116
diff changeset
    82
  }
882756847a04 6964458: Reimplement class meta-data storage to use native memory
coleenp
parents: 9116
diff changeset
    83
48826
c4d9d1b08e2e 8186209: Tool support for ConstantDynamic
psandoz
parents: 47765
diff changeset
    84
  bool is_dynamic_constant_in_error() const {
c4d9d1b08e2e 8186209: Tool support for ConstantDynamic
psandoz
parents: 47765
diff changeset
    85
    return _tag == JVM_CONSTANT_DynamicInError;
c4d9d1b08e2e 8186209: Tool support for ConstantDynamic
psandoz
parents: 47765
diff changeset
    86
  }
c4d9d1b08e2e 8186209: Tool support for ConstantDynamic
psandoz
parents: 47765
diff changeset
    87
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
    88
  bool is_klass_index() const       { return _tag == JVM_CONSTANT_ClassIndex; }
489c9b5090e2 Initial load
duke
parents:
diff changeset
    89
  bool is_string_index() const      { return _tag == JVM_CONSTANT_StringIndex; }
489c9b5090e2 Initial load
duke
parents:
diff changeset
    90
489c9b5090e2 Initial load
duke
parents:
diff changeset
    91
  bool is_klass_reference() const   { return is_klass_index() || is_unresolved_klass(); }
1550
be2fc37a817f 6653858: dynamic languages need to be able to load anonymous classes
jrose
parents: 1
diff changeset
    92
  bool is_klass_or_reference() const{ return is_klass() || is_klass_reference(); }
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
    93
  bool is_field_or_method() const   { return is_field() || is_method() || is_interface_method(); }
489c9b5090e2 Initial load
duke
parents:
diff changeset
    94
  bool is_symbol() const            { return is_utf8(); }
489c9b5090e2 Initial load
duke
parents:
diff changeset
    95
48826
c4d9d1b08e2e 8186209: Tool support for ConstantDynamic
psandoz
parents: 47765
diff changeset
    96
  bool is_method_type() const       { return _tag == JVM_CONSTANT_MethodType; }
c4d9d1b08e2e 8186209: Tool support for ConstantDynamic
psandoz
parents: 47765
diff changeset
    97
  bool is_method_handle() const     { return _tag == JVM_CONSTANT_MethodHandle; }
c4d9d1b08e2e 8186209: Tool support for ConstantDynamic
psandoz
parents: 47765
diff changeset
    98
  bool is_dynamic_constant() const  { return _tag == JVM_CONSTANT_Dynamic; }
c4d9d1b08e2e 8186209: Tool support for ConstantDynamic
psandoz
parents: 47765
diff changeset
    99
  bool is_invoke_dynamic() const    { return _tag == JVM_CONSTANT_InvokeDynamic; }
5882
6b2aecc4f7d8 6939203: JSR 292 needs method handle constants
jrose
parents: 5547
diff changeset
   100
7114
65d21c4c6337 6984311: JSR 292 needs optional bootstrap method parameters
jrose
parents: 6062
diff changeset
   101
  bool is_loadable_constant() const {
65d21c4c6337 6984311: JSR 292 needs optional bootstrap method parameters
jrose
parents: 6062
diff changeset
   102
    return ((_tag >= JVM_CONSTANT_Integer && _tag <= JVM_CONSTANT_String) ||
48826
c4d9d1b08e2e 8186209: Tool support for ConstantDynamic
psandoz
parents: 47765
diff changeset
   103
            is_method_type() || is_method_handle() || is_dynamic_constant() ||
15799
6aa92f9debd2 8000797: NPG: is_pseudo_string_at() doesn't work
coleenp
parents: 13728
diff changeset
   104
            is_unresolved_klass());
7114
65d21c4c6337 6984311: JSR 292 needs optional bootstrap method parameters
jrose
parents: 6062
diff changeset
   105
  }
65d21c4c6337 6984311: JSR 292 needs optional bootstrap method parameters
jrose
parents: 6062
diff changeset
   106
5882
6b2aecc4f7d8 6939203: JSR 292 needs method handle constants
jrose
parents: 5547
diff changeset
   107
  constantTag() {
6b2aecc4f7d8 6939203: JSR 292 needs method handle constants
jrose
parents: 5547
diff changeset
   108
    _tag = JVM_CONSTANT_Invalid;
6b2aecc4f7d8 6939203: JSR 292 needs method handle constants
jrose
parents: 5547
diff changeset
   109
  }
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   110
  constantTag(jbyte tag) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   111
    assert((tag >= 0 && tag <= JVM_CONSTANT_NameAndType) ||
6062
bab93afe9df7 6964498: JSR 292 invokedynamic sites need local bootstrap methods
jrose
parents: 5882
diff changeset
   112
           (tag >= JVM_CONSTANT_MethodHandle && tag <= JVM_CONSTANT_InvokeDynamic) ||
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   113
           (tag >= JVM_CONSTANT_InternalMin && tag <= JVM_CONSTANT_InternalMax), "Invalid constant tag");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   114
    _tag = tag;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   115
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   116
48826
c4d9d1b08e2e 8186209: Tool support for ConstantDynamic
psandoz
parents: 47765
diff changeset
   117
  static constantTag ofBasicType(BasicType bt) {
c4d9d1b08e2e 8186209: Tool support for ConstantDynamic
psandoz
parents: 47765
diff changeset
   118
    if (is_subword_type(bt))  bt = T_INT;
c4d9d1b08e2e 8186209: Tool support for ConstantDynamic
psandoz
parents: 47765
diff changeset
   119
    switch (bt) {
c4d9d1b08e2e 8186209: Tool support for ConstantDynamic
psandoz
parents: 47765
diff changeset
   120
      case T_OBJECT: return constantTag(JVM_CONSTANT_String);
c4d9d1b08e2e 8186209: Tool support for ConstantDynamic
psandoz
parents: 47765
diff changeset
   121
      case T_INT:    return constantTag(JVM_CONSTANT_Integer);
c4d9d1b08e2e 8186209: Tool support for ConstantDynamic
psandoz
parents: 47765
diff changeset
   122
      case T_LONG:   return constantTag(JVM_CONSTANT_Long);
c4d9d1b08e2e 8186209: Tool support for ConstantDynamic
psandoz
parents: 47765
diff changeset
   123
      case T_FLOAT:  return constantTag(JVM_CONSTANT_Float);
c4d9d1b08e2e 8186209: Tool support for ConstantDynamic
psandoz
parents: 47765
diff changeset
   124
      case T_DOUBLE: return constantTag(JVM_CONSTANT_Double);
c4d9d1b08e2e 8186209: Tool support for ConstantDynamic
psandoz
parents: 47765
diff changeset
   125
      default:       break;
c4d9d1b08e2e 8186209: Tool support for ConstantDynamic
psandoz
parents: 47765
diff changeset
   126
    }
c4d9d1b08e2e 8186209: Tool support for ConstantDynamic
psandoz
parents: 47765
diff changeset
   127
    assert(false, "bad basic type for tag");
c4d9d1b08e2e 8186209: Tool support for ConstantDynamic
psandoz
parents: 47765
diff changeset
   128
    return constantTag();
c4d9d1b08e2e 8186209: Tool support for ConstantDynamic
psandoz
parents: 47765
diff changeset
   129
  }
c4d9d1b08e2e 8186209: Tool support for ConstantDynamic
psandoz
parents: 47765
diff changeset
   130
20677
ff4fc393de4c 8022592: assert at constantTag.cpp:57: ShouldNotReachHere()
coleenp
parents: 15799
diff changeset
   131
  jbyte value() const                { return _tag; }
24334
36096f7271f4 8023697: failed class resolution reports different class name in detail message for the first and subsequent times
coleenp
parents: 20677
diff changeset
   132
  jbyte error_value() const;
20677
ff4fc393de4c 8022592: assert at constantTag.cpp:57: ShouldNotReachHere()
coleenp
parents: 15799
diff changeset
   133
  jbyte non_error_value() const;
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   134
5882
6b2aecc4f7d8 6939203: JSR 292 needs method handle constants
jrose
parents: 5547
diff changeset
   135
  BasicType basic_type() const;        // if used with ldc, what kind of value gets pushed?
6b2aecc4f7d8 6939203: JSR 292 needs method handle constants
jrose
parents: 5547
diff changeset
   136
6b2aecc4f7d8 6939203: JSR 292 needs method handle constants
jrose
parents: 5547
diff changeset
   137
  const char* internal_name() const;  // for error reporting
6b2aecc4f7d8 6939203: JSR 292 needs method handle constants
jrose
parents: 5547
diff changeset
   138
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   139
  void print_on(outputStream* st) const PRODUCT_RETURN;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   140
};
7397
5b173b4ca846 6989984: Use standard include model for Hospot
stefank
parents: 7114
diff changeset
   141
5b173b4ca846 6989984: Use standard include model for Hospot
stefank
parents: 7114
diff changeset
   142
#endif // SHARE_VM_UTILITIES_CONSTANTTAG_HPP