Mercurial > hg > graal-compiler
annotate src/share/vm/ci/ciObject.hpp @ 6275:957c266d8bc5
Merge with http://hg.openjdk.java.net/hsx/hsx24/hotspot/
| author | Doug Simon <doug.simon@oracle.com> |
|---|---|
| date | Tue, 21 Aug 2012 10:39:19 +0200 |
| parents | 46f211fe010c 1d7922586cf6 |
| children | e522a00b91aa |
| rev | line source |
|---|---|
| 0 | 1 /* |
|
2426
1d1603768966
7010070: Update all 2010 Oracle-changed OpenJDK files to have the proper copyright dates - second pass
trims
parents:
2177
diff
changeset
|
2 * Copyright (c) 1999, 2011, Oracle and/or its affiliates. All rights reserved. |
| 0 | 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 * | |
|
1552
c18cbe5936b8
6941466: Oracle rebranding changes for Hotspot repositories
trims
parents:
1138
diff
changeset
|
19 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA |
|
c18cbe5936b8
6941466: Oracle rebranding changes for Hotspot repositories
trims
parents:
1138
diff
changeset
|
20 * or visit www.oracle.com if you need additional information or have any |
|
c18cbe5936b8
6941466: Oracle rebranding changes for Hotspot repositories
trims
parents:
1138
diff
changeset
|
21 * questions. |
| 0 | 22 * |
| 23 */ | |
| 24 | |
| 1972 | 25 #ifndef SHARE_VM_CI_CIOBJECT_HPP |
| 26 #define SHARE_VM_CI_CIOBJECT_HPP | |
| 27 | |
| 28 #include "ci/ciClassList.hpp" | |
| 29 #include "memory/allocation.hpp" | |
| 30 #include "runtime/handles.hpp" | |
| 31 #include "runtime/jniHandles.hpp" | |
| 32 | |
| 0 | 33 // ciObject |
| 34 // | |
| 35 // This class represents an oop in the HotSpot virtual machine. | |
| 36 // Its subclasses are structured in a hierarchy which mirrors | |
| 37 // an aggregate of the VM's oop and klass hierarchies (see | |
| 38 // oopHierarchy.hpp). Each instance of ciObject holds a handle | |
| 39 // to a corresponding oop on the VM side and provides routines | |
| 40 // for accessing the information in its oop. By using the ciObject | |
| 41 // hierarchy for accessing oops in the VM, the compiler ensures | |
| 42 // that it is safe with respect to garbage collection; that is, | |
| 43 // GC and compilation can proceed independently without | |
| 44 // interference. | |
| 45 // | |
| 46 // Within the VM, the oop and klass hierarchies are separate. | |
| 47 // The compiler interface does not preserve this separation -- | |
| 48 // the distinction between `klassOop' and `Klass' are not | |
| 49 // reflected in the interface and instead the Klass hierarchy | |
| 50 // is directly modeled as the subclasses of ciKlass. | |
| 51 class ciObject : public ResourceObj { | |
| 52 CI_PACKAGE_ACCESS | |
| 53 friend class ciEnv; | |
| 54 | |
| 55 private: | |
| 56 // A JNI handle referring to an oop in the VM. This | |
| 57 // handle may, in a small set of cases, correctly be NULL. | |
| 58 jobject _handle; | |
| 59 ciKlass* _klass; | |
| 60 uint _ident; | |
| 61 | |
| 989 | 62 enum { FLAG_BITS = 2 }; |
| 0 | 63 enum { |
| 989 | 64 PERM_FLAG = 1, |
| 65 SCAVENGABLE_FLAG = 2 | |
| 0 | 66 }; |
| 67 protected: | |
| 68 ciObject(); | |
| 69 ciObject(oop o); | |
| 70 ciObject(Handle h); | |
| 71 ciObject(ciKlass* klass); | |
| 72 | |
|
1406
35069ca331f2
Hooked C1XCompiler class into the system.
Thomas Wuerthinger <thomas.wuerthinger@gmail.com>
parents:
1138
diff
changeset
|
73 public: |
| 0 | 74 jobject handle() const { return _handle; } |
| 75 // Get the VM oop that this object holds. | |
| 76 oop get_oop() const { | |
| 77 assert(_handle != NULL, "null oop"); | |
| 78 return JNIHandles::resolve_non_null(_handle); | |
| 79 } | |
|
1406
35069ca331f2
Hooked C1XCompiler class into the system.
Thomas Wuerthinger <thomas.wuerthinger@gmail.com>
parents:
1138
diff
changeset
|
80 protected: |
| 0 | 81 |
| 989 | 82 void init_flags_from(oop x) { |
| 83 int flags = 0; | |
| 84 if (x != NULL) { | |
| 85 if (x->is_perm()) | |
| 86 flags |= PERM_FLAG; | |
| 87 if (x->is_scavengable()) | |
| 88 flags |= SCAVENGABLE_FLAG; | |
| 89 } | |
| 90 _ident |= flags; | |
| 0 | 91 } |
| 92 | |
| 93 // Virtual behavior of the print() method. | |
| 94 virtual void print_impl(outputStream* st) {} | |
| 95 | |
| 96 virtual const char* type_string() { return "ciObject"; } | |
| 97 | |
| 98 void set_ident(uint id); | |
| 99 public: | |
| 100 // The klass of this ciObject. | |
| 101 ciKlass* klass(); | |
| 102 | |
| 103 // A number unique to this object. | |
| 104 uint ident(); | |
| 105 | |
| 106 // Are two ciObjects equal? | |
| 107 bool equals(ciObject* obj); | |
| 108 | |
| 109 // A hash value for the convenience of compilers. | |
| 110 int hash(); | |
| 111 | |
| 989 | 112 // Tells if this oop has an encoding as a constant. |
|
3402
28a9fe9534ea
7048030: is_scavengable changes causing compiler to embed more constants
kvn
parents:
2426
diff
changeset
|
113 // True if is_perm is true. |
| 989 | 114 // Also true if ScavengeRootsInCode is non-zero. |
| 0 | 115 // If it does not have an encoding, the compiler is responsible for |
| 116 // making other arrangements for dealing with the oop. | |
| 989 | 117 // See ciEnv::make_array |
| 118 bool can_be_constant(); | |
| 119 | |
| 120 // Tells if this oop should be made a constant. | |
|
3402
28a9fe9534ea
7048030: is_scavengable changes causing compiler to embed more constants
kvn
parents:
2426
diff
changeset
|
121 // True if is_perm is true or ScavengeRootsInCode > 1. |
| 989 | 122 bool should_be_constant(); |
| 0 | 123 |
| 124 // Is this object guaranteed to be in the permanent part of the heap? | |
| 125 // If so, CollectedHeap::can_elide_permanent_oop_store_barriers is relevant. | |
| 126 // If the answer is false, no guarantees are made. | |
| 127 bool is_perm() { return (_ident & PERM_FLAG) != 0; } | |
| 128 | |
| 989 | 129 // Might this object possibly move during a scavenge operation? |
| 130 // If the answer is true and ScavengeRootsInCode==0, the oop cannot be embedded in code. | |
| 131 bool is_scavengable() { return (_ident & SCAVENGABLE_FLAG) != 0; } | |
| 132 | |
| 0 | 133 // The address which the compiler should embed into the |
| 134 // generated code to represent this oop. This address | |
| 135 // is not the true address of the oop -- it will get patched | |
| 136 // during nmethod creation. | |
| 137 // | |
| 138 // Usage note: no address arithmetic allowed. Oop must | |
| 139 // be registered with the oopRecorder. | |
| 989 | 140 jobject constant_encoding(); |
| 0 | 141 |
| 142 // What kind of ciObject is this? | |
|
6266
1d7922586cf6
7023639: JSR 292 method handle invocation needs a fast path for compiled code
twisti
parents:
3402
diff
changeset
|
143 virtual bool is_null_object() const { return false; } |
|
1d7922586cf6
7023639: JSR 292 method handle invocation needs a fast path for compiled code
twisti
parents:
3402
diff
changeset
|
144 virtual bool is_call_site() const { return false; } |
|
1d7922586cf6
7023639: JSR 292 method handle invocation needs a fast path for compiled code
twisti
parents:
3402
diff
changeset
|
145 virtual bool is_cpcache() const { return false; } |
| 0 | 146 virtual bool is_instance() { return false; } |
|
6266
1d7922586cf6
7023639: JSR 292 method handle invocation needs a fast path for compiled code
twisti
parents:
3402
diff
changeset
|
147 virtual bool is_member_name() const { return false; } |
| 0 | 148 virtual bool is_method() { return false; } |
| 149 virtual bool is_method_data() { return false; } | |
|
6266
1d7922586cf6
7023639: JSR 292 method handle invocation needs a fast path for compiled code
twisti
parents:
3402
diff
changeset
|
150 virtual bool is_method_handle() const { return false; } |
| 0 | 151 virtual bool is_array() { return false; } |
| 152 virtual bool is_obj_array() { return false; } | |
| 153 virtual bool is_type_array() { return false; } | |
| 154 virtual bool is_symbol() { return false; } | |
| 155 virtual bool is_type() { return false; } | |
| 156 virtual bool is_return_address() { return false; } | |
| 157 virtual bool is_klass() { return false; } | |
| 158 virtual bool is_instance_klass() { return false; } | |
| 159 virtual bool is_method_klass() { return false; } | |
| 160 virtual bool is_array_klass() { return false; } | |
| 161 virtual bool is_obj_array_klass() { return false; } | |
| 162 virtual bool is_type_array_klass() { return false; } | |
| 163 virtual bool is_symbol_klass() { return false; } | |
| 164 virtual bool is_klass_klass() { return false; } | |
| 165 virtual bool is_instance_klass_klass() { return false; } | |
| 166 virtual bool is_array_klass_klass() { return false; } | |
| 167 virtual bool is_obj_array_klass_klass() { return false; } | |
| 168 virtual bool is_type_array_klass_klass() { return false; } | |
| 169 | |
| 170 // Is this a type or value which has no associated class? | |
| 171 // It is true of primitive types and null objects. | |
| 172 virtual bool is_classless() const { return false; } | |
| 173 | |
| 174 // Is this ciObject a Java Language Object? That is, | |
| 175 // is the ciObject an instance or an array | |
| 176 virtual bool is_java_object() { return false; } | |
| 177 | |
| 178 // Does this ciObject represent a Java Language class? | |
| 179 // That is, is the ciObject an instanceKlass or arrayKlass? | |
| 180 virtual bool is_java_klass() { return false; } | |
| 181 | |
| 182 // Is this ciObject the ciInstanceKlass representing | |
| 183 // java.lang.Object()? | |
| 184 virtual bool is_java_lang_Object() { return false; } | |
| 185 | |
| 186 // Does this ciObject refer to a real oop in the VM? | |
| 187 // | |
| 188 // Note: some ciObjects refer to oops which have yet to be | |
| 189 // created. We refer to these as "unloaded". Specifically, | |
| 190 // there are unloaded ciMethods, ciObjArrayKlasses, and | |
| 191 // ciInstanceKlasses. By convention the ciNullObject is | |
| 192 // considered loaded, and primitive types are considered loaded. | |
| 193 bool is_loaded() const { | |
| 194 return handle() != NULL || is_classless(); | |
| 195 } | |
| 196 | |
| 197 // Subclass casting with assertions. | |
| 198 ciNullObject* as_null_object() { | |
| 199 assert(is_null_object(), "bad cast"); | |
| 200 return (ciNullObject*)this; | |
| 201 } | |
|
1138
dd57230ba8fe
6893268: additional dynamic language related optimizations in C2
twisti
parents:
1137
diff
changeset
|
202 ciCallSite* as_call_site() { |
|
dd57230ba8fe
6893268: additional dynamic language related optimizations in C2
twisti
parents:
1137
diff
changeset
|
203 assert(is_call_site(), "bad cast"); |
|
dd57230ba8fe
6893268: additional dynamic language related optimizations in C2
twisti
parents:
1137
diff
changeset
|
204 return (ciCallSite*) this; |
|
dd57230ba8fe
6893268: additional dynamic language related optimizations in C2
twisti
parents:
1137
diff
changeset
|
205 } |
|
1137
97125851f396
6829187: compiler optimizations required for JSR 292
twisti
parents:
989
diff
changeset
|
206 ciCPCache* as_cpcache() { |
|
97125851f396
6829187: compiler optimizations required for JSR 292
twisti
parents:
989
diff
changeset
|
207 assert(is_cpcache(), "bad cast"); |
|
97125851f396
6829187: compiler optimizations required for JSR 292
twisti
parents:
989
diff
changeset
|
208 return (ciCPCache*) this; |
|
97125851f396
6829187: compiler optimizations required for JSR 292
twisti
parents:
989
diff
changeset
|
209 } |
| 0 | 210 ciInstance* as_instance() { |
| 211 assert(is_instance(), "bad cast"); | |
| 212 return (ciInstance*)this; | |
| 213 } | |
|
6266
1d7922586cf6
7023639: JSR 292 method handle invocation needs a fast path for compiled code
twisti
parents:
3402
diff
changeset
|
214 ciMemberName* as_member_name() { |
|
1d7922586cf6
7023639: JSR 292 method handle invocation needs a fast path for compiled code
twisti
parents:
3402
diff
changeset
|
215 assert(is_member_name(), "bad cast"); |
|
1d7922586cf6
7023639: JSR 292 method handle invocation needs a fast path for compiled code
twisti
parents:
3402
diff
changeset
|
216 return (ciMemberName*)this; |
|
1d7922586cf6
7023639: JSR 292 method handle invocation needs a fast path for compiled code
twisti
parents:
3402
diff
changeset
|
217 } |
| 0 | 218 ciMethod* as_method() { |
| 219 assert(is_method(), "bad cast"); | |
| 220 return (ciMethod*)this; | |
| 221 } | |
| 222 ciMethodData* as_method_data() { | |
| 223 assert(is_method_data(), "bad cast"); | |
| 224 return (ciMethodData*)this; | |
| 225 } | |
|
1138
dd57230ba8fe
6893268: additional dynamic language related optimizations in C2
twisti
parents:
1137
diff
changeset
|
226 ciMethodHandle* as_method_handle() { |
|
dd57230ba8fe
6893268: additional dynamic language related optimizations in C2
twisti
parents:
1137
diff
changeset
|
227 assert(is_method_handle(), "bad cast"); |
|
dd57230ba8fe
6893268: additional dynamic language related optimizations in C2
twisti
parents:
1137
diff
changeset
|
228 return (ciMethodHandle*) this; |
|
dd57230ba8fe
6893268: additional dynamic language related optimizations in C2
twisti
parents:
1137
diff
changeset
|
229 } |
| 0 | 230 ciArray* as_array() { |
| 231 assert(is_array(), "bad cast"); | |
| 232 return (ciArray*)this; | |
| 233 } | |
| 234 ciObjArray* as_obj_array() { | |
| 235 assert(is_obj_array(), "bad cast"); | |
| 236 return (ciObjArray*)this; | |
| 237 } | |
| 238 ciTypeArray* as_type_array() { | |
| 239 assert(is_type_array(), "bad cast"); | |
| 240 return (ciTypeArray*)this; | |
| 241 } | |
| 242 ciSymbol* as_symbol() { | |
| 243 assert(is_symbol(), "bad cast"); | |
| 244 return (ciSymbol*)this; | |
| 245 } | |
| 246 ciType* as_type() { | |
| 247 assert(is_type(), "bad cast"); | |
| 248 return (ciType*)this; | |
| 249 } | |
| 250 ciReturnAddress* as_return_address() { | |
| 251 assert(is_return_address(), "bad cast"); | |
| 252 return (ciReturnAddress*)this; | |
| 253 } | |
| 254 ciKlass* as_klass() { | |
| 255 assert(is_klass(), "bad cast"); | |
| 256 return (ciKlass*)this; | |
| 257 } | |
| 258 ciInstanceKlass* as_instance_klass() { | |
| 259 assert(is_instance_klass(), "bad cast"); | |
| 260 return (ciInstanceKlass*)this; | |
| 261 } | |
| 262 ciMethodKlass* as_method_klass() { | |
| 263 assert(is_method_klass(), "bad cast"); | |
| 264 return (ciMethodKlass*)this; | |
| 265 } | |
| 266 ciArrayKlass* as_array_klass() { | |
| 267 assert(is_array_klass(), "bad cast"); | |
| 268 return (ciArrayKlass*)this; | |
| 269 } | |
| 270 ciObjArrayKlass* as_obj_array_klass() { | |
| 271 assert(is_obj_array_klass(), "bad cast"); | |
| 272 return (ciObjArrayKlass*)this; | |
| 273 } | |
| 274 ciTypeArrayKlass* as_type_array_klass() { | |
| 275 assert(is_type_array_klass(), "bad cast"); | |
| 276 return (ciTypeArrayKlass*)this; | |
| 277 } | |
| 278 ciKlassKlass* as_klass_klass() { | |
| 279 assert(is_klass_klass(), "bad cast"); | |
| 280 return (ciKlassKlass*)this; | |
| 281 } | |
| 282 ciInstanceKlassKlass* as_instance_klass_klass() { | |
| 283 assert(is_instance_klass_klass(), "bad cast"); | |
| 284 return (ciInstanceKlassKlass*)this; | |
| 285 } | |
| 286 ciArrayKlassKlass* as_array_klass_klass() { | |
| 287 assert(is_array_klass_klass(), "bad cast"); | |
| 288 return (ciArrayKlassKlass*)this; | |
| 289 } | |
| 290 ciObjArrayKlassKlass* as_obj_array_klass_klass() { | |
| 291 assert(is_obj_array_klass_klass(), "bad cast"); | |
| 292 return (ciObjArrayKlassKlass*)this; | |
| 293 } | |
| 294 ciTypeArrayKlassKlass* as_type_array_klass_klass() { | |
| 295 assert(is_type_array_klass_klass(), "bad cast"); | |
| 296 return (ciTypeArrayKlassKlass*)this; | |
| 297 } | |
| 298 | |
| 299 // Print debugging output about this ciObject. | |
|
6266
1d7922586cf6
7023639: JSR 292 method handle invocation needs a fast path for compiled code
twisti
parents:
3402
diff
changeset
|
300 void print(outputStream* st); |
|
1d7922586cf6
7023639: JSR 292 method handle invocation needs a fast path for compiled code
twisti
parents:
3402
diff
changeset
|
301 void print() { print(tty); } // GDB cannot handle default arguments |
| 0 | 302 |
| 303 // Print debugging output about the oop this ciObject represents. | |
| 304 void print_oop(outputStream* st = tty); | |
| 305 }; | |
| 1972 | 306 |
| 307 #endif // SHARE_VM_CI_CIOBJECT_HPP |