jdk8-mips64-public/hotspot: src/share/vm/ci/ciObject.cpp@01fd6090fdd8

7032162: assert(flat != TypePtr::BOTTOM) failed: cannot alias-analyze an untyped ptr
Reviewed-by: kvn

     1 /*

     2  * Copyright (c) 1999, 2010, Oracle and/or its affiliates. All rights reserved.

     3  * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.

     4  *

     5  * This code is free software; you can redistribute it and/or modify it

     6  * under the terms of the GNU General Public License version 2 only, as

     7  * published by the Free Software Foundation.

     8  *

     9  * This code is distributed in the hope that it will be useful, but WITHOUT

    10  * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or

    11  * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License

    12  * version 2 for more details (a copy is included in the LICENSE file that

    13  * accompanied this code).

    14  *

    15  * You should have received a copy of the GNU General Public License version

    16  * 2 along with this work; if not, write to the Free Software Foundation,

    17  * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.

    18  *

    19  * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA

    20  * or visit www.oracle.com if you need additional information or have any

    21  * questions.

    22  *

    23  */

    25 #include "precompiled.hpp"

    26 #include "ci/ciObject.hpp"

    27 #include "ci/ciUtilities.hpp"

    28 #include "gc_interface/collectedHeap.inline.hpp"

    29 #include "oops/oop.inline2.hpp"

    31 // ciObject

    32 //

    33 // This class represents an oop in the HotSpot virtual machine.

    34 // Its subclasses are structured in a hierarchy which mirrors

    35 // an aggregate of the VM's oop and klass hierarchies (see

    36 // oopHierarchy.hpp).  Each instance of ciObject holds a handle

    37 // to a corresponding oop on the VM side and provides routines

    38 // for accessing the information in its oop.  By using the ciObject

    39 // hierarchy for accessing oops in the VM, the compiler ensures

    40 // that it is safe with respect to garbage collection; that is,

    41 // GC and compilation can proceed independently without

    42 // interference.

    43 //

    44 // Within the VM, the oop and klass hierarchies are separate.

    45 // The compiler interface does not preserve this separation --

    46 // the distinction between `klassOop' and `Klass' are not

    47 // reflected in the interface and instead the Klass hierarchy

    48 // is directly modeled as the subclasses of ciKlass.

    50 // ------------------------------------------------------------------

    51 // ciObject::ciObject

    52 ciObject::ciObject(oop o) {

    53   ASSERT_IN_VM;

    54   if (ciObjectFactory::is_initialized()) {

    55     _handle = JNIHandles::make_local(o);

    56   } else {

    57     _handle = JNIHandles::make_global(o);

    58   }

    59   _klass = NULL;

    60   _ident = 0;

    61   init_flags_from(o);

    62 }

    64 // ------------------------------------------------------------------

    65 // ciObject::ciObject

    66 //

    67 ciObject::ciObject(Handle h) {

    68   ASSERT_IN_VM;

    69   if (ciObjectFactory::is_initialized()) {

    70     _handle = JNIHandles::make_local(h());

    71   } else {

    72     _handle = JNIHandles::make_global(h);

    73   }

    74   _klass = NULL;

    75   _ident = 0;

    76   init_flags_from(h());

    77 }

    79 // ------------------------------------------------------------------

    80 // ciObject::ciObject

    81 //

    82 // Unloaded klass/method variant.  `klass' is the klass of the unloaded

    83 // klass/method, if that makes sense.

    84 ciObject::ciObject(ciKlass* klass) {

    85   ASSERT_IN_VM;

    86   assert(klass != NULL, "must supply klass");

    87   _handle = NULL;

    88   _klass = klass;

    89   _ident = 0;

    90 }

    92 // ------------------------------------------------------------------

    93 // ciObject::ciObject

    94 //

    95 // NULL variant.  Used only by ciNullObject.

    96 ciObject::ciObject() {

    97   ASSERT_IN_VM;

    98   _handle = NULL;

    99   _klass = NULL;

   100   _ident = 0;

   101 }

   103 // ------------------------------------------------------------------

   104 // ciObject::klass

   105 //

   106 // Get the ciKlass of this ciObject.

   107 ciKlass* ciObject::klass() {

   108   if (_klass == NULL) {

   109     if (_handle == NULL) {

   110       // When both _klass and _handle are NULL, we are dealing

   111       // with the distinguished instance of ciNullObject.

   112       // No one should ask it for its klass.

   113       assert(is_null_object(), "must be null object");

   114       ShouldNotReachHere();

   115       return NULL;

   116     }

   118     GUARDED_VM_ENTRY(

   119       oop o = get_oop();

   120       _klass = CURRENT_ENV->get_object(o->klass())->as_klass();

   121     );

   122   }

   123   return _klass;

   124 }

   126 // ------------------------------------------------------------------

   127 // ciObject::set_ident

   128 //

   129 // Set the unique identity number of a ciObject.

   130 void ciObject::set_ident(uint id) {

   131   assert((_ident >> FLAG_BITS) == 0, "must only initialize once");

   132   assert( id < ((uint)1 << (BitsPerInt-FLAG_BITS)), "id too big");

   133   _ident = _ident + (id << FLAG_BITS);

   134 }

   136 // ------------------------------------------------------------------

   137 // ciObject::ident

   138 //

   139 // Report the unique identity number of a ciObject.

   140 uint ciObject::ident() {

   141   uint id = _ident >> FLAG_BITS;

   142   assert(id != 0, "must be initialized");

   143   return id;

   144 }

   146 // ------------------------------------------------------------------

   147 // ciObject::equals

   148 //

   149 // Are two ciObjects equal?

   150 bool ciObject::equals(ciObject* obj) {

   151   return (this == obj);

   152 }

   154 // ------------------------------------------------------------------

   155 // ciObject::hash

   156 //

   157 // A hash value for the convenience of compilers.

   158 //

   159 // Implementation note: we use the address of the ciObject as the

   160 // basis for the hash.  Use the _ident field, which is well-behaved.

   161 int ciObject::hash() {

   162   return ident() * 31;

   163 }

   165 // ------------------------------------------------------------------

   166 // ciObject::constant_encoding

   167 //

   168 // The address which the compiler should embed into the

   169 // generated code to represent this oop.  This address

   170 // is not the true address of the oop -- it will get patched

   171 // during nmethod creation.

   172 //

   173 //

   174 //

   175 // Implementation note: we use the handle as the encoding.  The

   176 // nmethod constructor resolves the handle and patches in the oop.

   177 //

   178 // This method should be changed to return an generified address

   179 // to discourage use of the JNI handle.

   180 jobject ciObject::constant_encoding() {

   181   assert(is_null_object() || handle() != NULL, "cannot embed null pointer");

   182   assert(can_be_constant(), "oop must be NULL or perm");

   183   return handle();

   184 }

   186 // ------------------------------------------------------------------

   187 // ciObject::can_be_constant

   188 bool ciObject::can_be_constant() {

   189   if (ScavengeRootsInCode >= 1)  return true;  // now everybody can encode as a constant

   190   return handle() == NULL || !is_scavengable();

   191 }

   193 // ------------------------------------------------------------------

   194 // ciObject::should_be_constant()

   195 bool ciObject::should_be_constant() {

   196   if (ScavengeRootsInCode >= 2)  return true;  // force everybody to be a constant

   197   if (!JavaObjectsInPerm && !is_null_object()) {

   198     // We want Strings and Classes to be embeddable by default since

   199     // they used to be in the perm world.  Not all Strings used to be

   200     // embeddable but there's no easy way to distinguish the interned

   201     // from the regulars ones so just treat them all that way.

   202     ciEnv* env = CURRENT_ENV;

   203     if (klass() == env->String_klass() || klass() == env->Class_klass()) {

   204       return true;

   205     }

   206   }

   207   return handle() == NULL || !is_scavengable();

   208 }

   211 // ------------------------------------------------------------------

   212 // ciObject::print

   213 //

   214 // Print debugging output about this ciObject.

   215 //

   216 // Implementation note: dispatch to the virtual print_impl behavior

   217 // for this ciObject.

   218 void ciObject::print(outputStream* st) {

   219   st->print("<%s", type_string());

   220   GUARDED_VM_ENTRY(print_impl(st);)

   221   st->print(" ident=%d %s%s address=0x%x>", ident(),

   222         is_perm() ? "PERM" : "",

   223         is_scavengable() ? "SCAVENGABLE" : "",

   224         (address)this);

   225 }

   227 // ------------------------------------------------------------------

   228 // ciObject::print_oop

   229 //

   230 // Print debugging output about the oop this ciObject represents.

   231 void ciObject::print_oop(outputStream* st) {

   232   if (is_null_object()) {

   233     st->print_cr("NULL");

   234   } else if (!is_loaded()) {

   235     st->print_cr("UNLOADED");

   236   } else {

   237     GUARDED_VM_ENTRY(get_oop()->print_on(st);)

   238   }

   239 }

Mercurial > jdk8-mips64-public > hotspot / file revision

src/share/vm/ci/ciObject.cpp@01fd6090fdd8

src/share/vm/ci/ciObject.cpp