• file
• revisions
• annotate
• diff
• comparison
• raw

src/share/vm/ci/ciObject.hpp@09c2ba680204 (annotated)

src/share/vm/ci/ciObject.hpp

Thu, 15 May 2008 22:40:43 -0700

author

kvn

date

Thu, 15 May 2008 22:40:43 -0700

changeset 589

09c2ba680204

parent 435

a61af66fc99e

child 1424

148e5441d916

permissions

-rw-r--r--

6700102: c2 assertion "counter_changed,"failed dependencies, but counter didn't change")" with AggressiveOpts
Summary: Bytecode Escape Analyzer does not have the check for the case described in 6389127.
Reviewed-by: never

duke@435	1	/*
duke@435	2	* Copyright 1999-2006 Sun Microsystems, Inc. All Rights Reserved.
duke@435	3	* DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
duke@435	4	*
duke@435	5	* This code is free software; you can redistribute it and/or modify it
duke@435	6	* under the terms of the GNU General Public License version 2 only, as
duke@435	7	* published by the Free Software Foundation.
duke@435	8	*
duke@435	9	* This code is distributed in the hope that it will be useful, but WITHOUT
duke@435	10	* ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
duke@435	11	* FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
duke@435	12	* version 2 for more details (a copy is included in the LICENSE file that
duke@435	13	* accompanied this code).
duke@435	14	*
duke@435	15	* You should have received a copy of the GNU General Public License version
duke@435	16	* 2 along with this work; if not, write to the Free Software Foundation,
duke@435	17	* Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
duke@435	18	*
duke@435	19	* Please contact Sun Microsystems, Inc., 4150 Network Circle, Santa Clara,
duke@435	20	* CA 95054 USA or visit www.sun.com if you need additional information or
duke@435	21	* have any questions.
duke@435	22	*
duke@435	23	*/
duke@435	24
duke@435	25	// ciObject
duke@435	26	//
duke@435	27	// This class represents an oop in the HotSpot virtual machine.
duke@435	28	// Its subclasses are structured in a hierarchy which mirrors
duke@435	29	// an aggregate of the VM's oop and klass hierarchies (see
duke@435	30	// oopHierarchy.hpp). Each instance of ciObject holds a handle
duke@435	31	// to a corresponding oop on the VM side and provides routines
duke@435	32	// for accessing the information in its oop. By using the ciObject
duke@435	33	// hierarchy for accessing oops in the VM, the compiler ensures
duke@435	34	// that it is safe with respect to garbage collection; that is,
duke@435	35	// GC and compilation can proceed independently without
duke@435	36	// interference.
duke@435	37	//
duke@435	38	// Within the VM, the oop and klass hierarchies are separate.
duke@435	39	// The compiler interface does not preserve this separation --
duke@435	40	// the distinction between `klassOop' and `Klass' are not
duke@435	41	// reflected in the interface and instead the Klass hierarchy
duke@435	42	// is directly modeled as the subclasses of ciKlass.
duke@435	43	class ciObject : public ResourceObj {
duke@435	44	CI_PACKAGE_ACCESS
duke@435	45	friend class ciEnv;
duke@435	46
duke@435	47	private:
duke@435	48	// A JNI handle referring to an oop in the VM. This
duke@435	49	// handle may, in a small set of cases, correctly be NULL.
duke@435	50	jobject _handle;
duke@435	51	ciKlass* _klass;
duke@435	52	uint _ident;
duke@435	53
duke@435	54	enum { FLAG_BITS = 1};
duke@435	55	enum {
duke@435	56	PERM_FLAG = 1
duke@435	57	};
duke@435	58	protected:
duke@435	59	ciObject();
duke@435	60	ciObject(oop o);
duke@435	61	ciObject(Handle h);
duke@435	62	ciObject(ciKlass* klass);
duke@435	63
duke@435	64	jobject handle() const { return _handle; }
duke@435	65	// Get the VM oop that this object holds.
duke@435	66	oop get_oop() const {
duke@435	67	assert(_handle != NULL, "null oop");
duke@435	68	return JNIHandles::resolve_non_null(_handle);
duke@435	69	}
duke@435	70
duke@435	71	void set_perm() {
duke@435	72	_ident |= PERM_FLAG;
duke@435	73	}
duke@435	74
duke@435	75	// Virtual behavior of the print() method.
duke@435	76	virtual void print_impl(outputStream* st) {}
duke@435	77
duke@435	78	virtual const char* type_string() { return "ciObject"; }
duke@435	79
duke@435	80	void set_ident(uint id);
duke@435	81	public:
duke@435	82	// The klass of this ciObject.
duke@435	83	ciKlass* klass();
duke@435	84
duke@435	85	// A number unique to this object.
duke@435	86	uint ident();
duke@435	87
duke@435	88	// Are two ciObjects equal?
duke@435	89	bool equals(ciObject* obj);
duke@435	90
duke@435	91	// A hash value for the convenience of compilers.
duke@435	92	int hash();
duke@435	93
duke@435	94	// Tells if this oop has an encoding. (I.e., is it null or perm?)
duke@435	95	// If it does not have an encoding, the compiler is responsible for
duke@435	96	// making other arrangements for dealing with the oop.
duke@435	97	// See ciEnv::make_perm_array
duke@435	98	bool has_encoding();
duke@435	99
duke@435	100	// Is this object guaranteed to be in the permanent part of the heap?
duke@435	101	// If so, CollectedHeap::can_elide_permanent_oop_store_barriers is relevant.
duke@435	102	// If the answer is false, no guarantees are made.
duke@435	103	bool is_perm() { return (_ident & PERM_FLAG) != 0; }
duke@435	104
duke@435	105	// The address which the compiler should embed into the
duke@435	106	// generated code to represent this oop. This address
duke@435	107	// is not the true address of the oop -- it will get patched
duke@435	108	// during nmethod creation.
duke@435	109	//
duke@435	110	// Usage note: no address arithmetic allowed. Oop must
duke@435	111	// be registered with the oopRecorder.
duke@435	112	jobject encoding();
duke@435	113
duke@435	114	// What kind of ciObject is this?
duke@435	115	virtual bool is_null_object() const { return false; }
duke@435	116	virtual bool is_instance() { return false; }
duke@435	117	virtual bool is_method() { return false; }
duke@435	118	virtual bool is_method_data() { return false; }
duke@435	119	virtual bool is_array() { return false; }
duke@435	120	virtual bool is_obj_array() { return false; }
duke@435	121	virtual bool is_type_array() { return false; }
duke@435	122	virtual bool is_symbol() { return false; }
duke@435	123	virtual bool is_type() { return false; }
duke@435	124	virtual bool is_return_address() { return false; }
duke@435	125	virtual bool is_klass() { return false; }
duke@435	126	virtual bool is_instance_klass() { return false; }
duke@435	127	virtual bool is_method_klass() { return false; }
duke@435	128	virtual bool is_array_klass() { return false; }
duke@435	129	virtual bool is_obj_array_klass() { return false; }
duke@435	130	virtual bool is_type_array_klass() { return false; }
duke@435	131	virtual bool is_symbol_klass() { return false; }
duke@435	132	virtual bool is_klass_klass() { return false; }
duke@435	133	virtual bool is_instance_klass_klass() { return false; }
duke@435	134	virtual bool is_array_klass_klass() { return false; }
duke@435	135	virtual bool is_obj_array_klass_klass() { return false; }
duke@435	136	virtual bool is_type_array_klass_klass() { return false; }
duke@435	137
duke@435	138	// Is this a type or value which has no associated class?
duke@435	139	// It is true of primitive types and null objects.
duke@435	140	virtual bool is_classless() const { return false; }
duke@435	141
duke@435	142	// Is this ciObject a Java Language Object? That is,
duke@435	143	// is the ciObject an instance or an array
duke@435	144	virtual bool is_java_object() { return false; }
duke@435	145
duke@435	146	// Does this ciObject represent a Java Language class?
duke@435	147	// That is, is the ciObject an instanceKlass or arrayKlass?
duke@435	148	virtual bool is_java_klass() { return false; }
duke@435	149
duke@435	150	// Is this ciObject the ciInstanceKlass representing
duke@435	151	// java.lang.Object()?
duke@435	152	virtual bool is_java_lang_Object() { return false; }
duke@435	153
duke@435	154	// Does this ciObject refer to a real oop in the VM?
duke@435	155	//
duke@435	156	// Note: some ciObjects refer to oops which have yet to be
duke@435	157	// created. We refer to these as "unloaded". Specifically,
duke@435	158	// there are unloaded ciMethods, ciObjArrayKlasses, and
duke@435	159	// ciInstanceKlasses. By convention the ciNullObject is
duke@435	160	// considered loaded, and primitive types are considered loaded.
duke@435	161	bool is_loaded() const {
duke@435	162	return handle() != NULL || is_classless();
duke@435	163	}
duke@435	164
duke@435	165	// Subclass casting with assertions.
duke@435	166	ciNullObject* as_null_object() {
duke@435	167	assert(is_null_object(), "bad cast");
duke@435	168	return (ciNullObject*)this;
duke@435	169	}
duke@435	170	ciInstance* as_instance() {
duke@435	171	assert(is_instance(), "bad cast");
duke@435	172	return (ciInstance*)this;
duke@435	173	}
duke@435	174	ciMethod* as_method() {
duke@435	175	assert(is_method(), "bad cast");
duke@435	176	return (ciMethod*)this;
duke@435	177	}
duke@435	178	ciMethodData* as_method_data() {
duke@435	179	assert(is_method_data(), "bad cast");
duke@435	180	return (ciMethodData*)this;
duke@435	181	}
duke@435	182	ciArray* as_array() {
duke@435	183	assert(is_array(), "bad cast");
duke@435	184	return (ciArray*)this;
duke@435	185	}
duke@435	186	ciObjArray* as_obj_array() {
duke@435	187	assert(is_obj_array(), "bad cast");
duke@435	188	return (ciObjArray*)this;
duke@435	189	}
duke@435	190	ciTypeArray* as_type_array() {
duke@435	191	assert(is_type_array(), "bad cast");
duke@435	192	return (ciTypeArray*)this;
duke@435	193	}
duke@435	194	ciSymbol* as_symbol() {
duke@435	195	assert(is_symbol(), "bad cast");
duke@435	196	return (ciSymbol*)this;
duke@435	197	}
duke@435	198	ciType* as_type() {
duke@435	199	assert(is_type(), "bad cast");
duke@435	200	return (ciType*)this;
duke@435	201	}
duke@435	202	ciReturnAddress* as_return_address() {
duke@435	203	assert(is_return_address(), "bad cast");
duke@435	204	return (ciReturnAddress*)this;
duke@435	205	}
duke@435	206	ciKlass* as_klass() {
duke@435	207	assert(is_klass(), "bad cast");
duke@435	208	return (ciKlass*)this;
duke@435	209	}
duke@435	210	ciInstanceKlass* as_instance_klass() {
duke@435	211	assert(is_instance_klass(), "bad cast");
duke@435	212	return (ciInstanceKlass*)this;
duke@435	213	}
duke@435	214	ciMethodKlass* as_method_klass() {
duke@435	215	assert(is_method_klass(), "bad cast");
duke@435	216	return (ciMethodKlass*)this;
duke@435	217	}
duke@435	218	ciArrayKlass* as_array_klass() {
duke@435	219	assert(is_array_klass(), "bad cast");
duke@435	220	return (ciArrayKlass*)this;
duke@435	221	}
duke@435	222	ciObjArrayKlass* as_obj_array_klass() {
duke@435	223	assert(is_obj_array_klass(), "bad cast");
duke@435	224	return (ciObjArrayKlass*)this;
duke@435	225	}
duke@435	226	ciTypeArrayKlass* as_type_array_klass() {
duke@435	227	assert(is_type_array_klass(), "bad cast");
duke@435	228	return (ciTypeArrayKlass*)this;
duke@435	229	}
duke@435	230	ciSymbolKlass* as_symbol_klass() {
duke@435	231	assert(is_symbol_klass(), "bad cast");
duke@435	232	return (ciSymbolKlass*)this;
duke@435	233	}
duke@435	234	ciKlassKlass* as_klass_klass() {
duke@435	235	assert(is_klass_klass(), "bad cast");
duke@435	236	return (ciKlassKlass*)this;
duke@435	237	}
duke@435	238	ciInstanceKlassKlass* as_instance_klass_klass() {
duke@435	239	assert(is_instance_klass_klass(), "bad cast");
duke@435	240	return (ciInstanceKlassKlass*)this;
duke@435	241	}
duke@435	242	ciArrayKlassKlass* as_array_klass_klass() {
duke@435	243	assert(is_array_klass_klass(), "bad cast");
duke@435	244	return (ciArrayKlassKlass*)this;
duke@435	245	}
duke@435	246	ciObjArrayKlassKlass* as_obj_array_klass_klass() {
duke@435	247	assert(is_obj_array_klass_klass(), "bad cast");
duke@435	248	return (ciObjArrayKlassKlass*)this;
duke@435	249	}
duke@435	250	ciTypeArrayKlassKlass* as_type_array_klass_klass() {
duke@435	251	assert(is_type_array_klass_klass(), "bad cast");
duke@435	252	return (ciTypeArrayKlassKlass*)this;
duke@435	253	}
duke@435	254
duke@435	255	// Print debugging output about this ciObject.
duke@435	256	void print(outputStream* st = tty);
duke@435	257
duke@435	258	// Print debugging output about the oop this ciObject represents.
duke@435	259	void print_oop(outputStream* st = tty);
duke@435	260	};