Mercurial > hg > truffle
diff src/share/vm/c1x/c1x_Compiler.hpp @ 1423:760213a60e8b
* rewrite of the code installation
* partial support for safepoints
* macro-based CiTargetMethod interface
* code stub support
author | Lukas Stadler <lukas.stadler@oracle.com> |
---|---|
date | Mon, 16 Aug 2010 18:59:36 -0700 |
parents | 3483ec571caf |
children | 98fffb304868 |
line wrap: on
line diff
--- a/src/share/vm/c1x/c1x_Compiler.hpp Mon Aug 02 15:44:38 2010 -0700 +++ b/src/share/vm/c1x/c1x_Compiler.hpp Mon Aug 16 18:59:36 2010 -0700 @@ -51,10 +51,18 @@ // Print compilation timers and statistics virtual void print_timers(); - static oop get_RiType(oop klass, klassOop accessingType, TRAPS); static oop get_RiType(ciType *klass, klassOop accessor, TRAPS); static oop get_RiField(ciField *ciField, TRAPS); + static void compute_offsets(); + + // this needs to correspond to HotSpotXirGenerator.java + enum MarkId { + MARK_VERIFIED_ENTRY = 1, + MARK_UNVERIFIED_ENTRY = 2, + MARK_STATIC_CALL_STUB = 1000 + }; + /* static oop get_RiMethod(ciMethod *ciMethod, TRAPS); static oop get_RiType(klassOop klass, TRAPS); @@ -66,25 +74,101 @@ class C1XObjects : public AllStatic { +private: + static GrowableArray<address>* _stubs; + static GrowableArray<jobject>* _localHandles; + + static oop getObject(jlong id); + public: - static oop getReflectedMethod(methodOop method, TRAPS); - static oop getReflectedClass(klassOop klass); - static oop getReflectedSymbol(symbolOop symbol, TRAPS); + // this enum needs to have the same values as the one in HotSpotProxy.java + enum CompilerObjectType { + STUB = 0x100000000000000l, + METHOD = 0x200000000000000l, + CLASS = 0x300000000000000l, + SYMBOL = 0x400000000000000l, + CONSTANT_POOL = 0x500000000000000l, + CONSTANT = 0x600000000000000l, + TYPE_MASK = 0xf00000000000000l + }; - static methodOop getInternalMethod(oop method); - static klassOop getInternalClass(oop klass); - static symbolOop getInternalSymbol(oop string); + static void initializeObjects(); + static void cleanupLocalObjects(); + + static jlong addStub(address stub); + static jlong add(Handle obj, CompilerObjectType type); + template <typename T> static jlong add(T obj); + + static address getStub(jlong id); + template <typename T> static T get(jlong id); + + template <typename T> static T toString(symbolOop symbol, TRAPS); + static symbolOop toSymbol(jstring string); +}; - static methodOop getInternalMethod(jobject method) { - return getInternalMethod(JNIHandles::resolve(method)); - } - static klassOop getInternalClass(jobject klass) { - return getInternalClass(JNIHandles::resolve(klass)); - } - static symbolOop getInternalSymbol(jobject string) { - return getInternalSymbol(JNIHandles::resolve(string)); - } -}; +template <> inline jlong C1XObjects::add<methodOop>(methodOop obj){ + assert(obj != NULL && obj->is_method(), "trying to add NULL or mistyped object"); + return add(Handle(obj), METHOD); +} +template <> inline jlong C1XObjects::add<klassOop>(klassOop obj) { + assert(obj != NULL && obj->is_klass(), "trying to add NULL or mistyped object"); + return add(Handle(obj), CLASS); +} +template <> inline jlong C1XObjects::add<symbolOop>(symbolOop obj) { + assert(obj != NULL && obj->is_symbol(), "trying to add NULL or mistyped object"); + return add(Handle(obj), SYMBOL); +} +template <> inline jlong C1XObjects::add<constantPoolOop>(constantPoolOop obj) { + assert(obj != NULL && obj->is_constantPool(), "trying to add NULL or mistyped object"); + return add(Handle(obj), CONSTANT_POOL); +} +template <> inline jlong C1XObjects::add<oop>(oop obj) { + assert(obj != NULL && obj->is_oop(), "trying to add NULL or mistyped object"); + return add(Handle(obj), CONSTANT); +} + +template <> inline methodOop C1XObjects::get<methodOop>(jlong id){ + assert((id & TYPE_MASK) == METHOD, "METHOD expected"); + assert(getObject(id)->is_method(), "methodOop expected"); + return (methodOop)getObject(id); +} +template <> inline klassOop C1XObjects::get<klassOop>(jlong id) { + assert((id & TYPE_MASK) == CLASS, "CLASS expected"); + assert(getObject(id)->is_klass(), "klassOop expected"); + return (klassOop)getObject(id); +} +template <> inline symbolOop C1XObjects::get<symbolOop>(jlong id) { + assert((id & TYPE_MASK) == SYMBOL, "SYMBOL expected"); + assert(getObject(id)->is_symbol(), "symbolOop expected"); + return (symbolOop)getObject(id); +} +template <> inline constantPoolOop C1XObjects::get<constantPoolOop>(jlong id) { + assert((id & TYPE_MASK) == CONSTANT_POOL, "CONSTANT_POOL expected"); + assert(getObject(id)->is_constantPool(), "constantPoolOop expected"); + return (constantPoolOop)getObject(id); +} +template <> inline oop C1XObjects::get<oop>(jlong id) { + assert((id & TYPE_MASK) == CONSTANT, "CONSTANT expected"); + assert(getObject(id)->is_oop(true), "oop expected"); + return (oop)getObject(id); +} + +template <> inline Handle C1XObjects::toString<Handle>(symbolOop symbol, TRAPS) { + return java_lang_String::create_from_symbol(symbol, THREAD); +} +template <> inline oop C1XObjects::toString<oop>(symbolOop symbol, TRAPS) { + return toString<Handle>(symbol, THREAD)(); +} +template <> inline jstring C1XObjects::toString<jstring>(symbolOop symbol, TRAPS) { + return (jstring)JNIHandles::make_local(toString<oop>(symbol, THREAD)); +} +template <> inline jobject C1XObjects::toString<jobject>(symbolOop symbol, TRAPS) { + return JNIHandles::make_local(toString<oop>(symbol, THREAD)); +} + +inline symbolOop C1XObjects::toSymbol(jstring string) { + return java_lang_String::as_symbol_or_null(JNIHandles::resolve(string)); +} // Tracing macros @@ -99,3 +183,123 @@ #define TRACE_C1X_3 if (TraceC1X >= 3) tty->print(" TraceC1X-3: "); if (TraceC1X >= 3) tty->print_cr #define TRACE_C1X_4 if (TraceC1X >= 4) tty->print(" TraceC1X-4: "); if (TraceC1X >= 4) tty->print_cr #define TRACE_C1X_5 if (TraceC1X >= 5) tty->print(" TraceC1X-5: "); if (TraceC1X >= 5) tty->print_cr + + +// defines the structure of the CiTargetMethod - classes +// this will generate classes with accessors similar to javaClasses.hpp + +#define COMPILER_CLASSES_DO(start_class, end_class, char_field, int_field, long_field, oop_field) \ + start_class(HotSpotTypeResolved) \ + long_field(HotSpotTypeResolved, vmId) \ + end_class \ + start_class(HotSpotMethod) \ + long_field(HotSpotMethod, vmId) \ + end_class \ + start_class(HotSpotTargetMethod) \ + oop_field(HotSpotTargetMethod, targetMethod, "Lcom/sun/cri/ci/CiTargetMethod;") \ + oop_field(HotSpotTargetMethod, method, "Lcom/sun/hotspot/c1x/HotSpotMethod;") \ + oop_field(HotSpotTargetMethod, name, "Ljava/lang/String;") \ + oop_field(HotSpotTargetMethod, sites, "[Lcom/sun/cri/ci/CiTargetMethod$Site;") \ + end_class \ + start_class(CiTargetMethod) \ + int_field(CiTargetMethod, frameSize) \ + oop_field(CiTargetMethod, targetCode, "[B") \ + int_field(CiTargetMethod, targetCodeSize) \ + int_field(CiTargetMethod, referenceRegisterCount) \ + end_class \ + start_class(CiTargetMethod_Site) \ + int_field(CiTargetMethod_Site, pcOffset) \ + end_class \ + start_class(CiTargetMethod_Call) \ + oop_field(CiTargetMethod_Call, runtimeCall, "Lcom/sun/cri/ci/CiRuntimeCall;") \ + oop_field(CiTargetMethod_Call, method, "Lcom/sun/cri/ri/RiMethod;") \ + oop_field(CiTargetMethod_Call, symbol, "Ljava/lang/String;") \ + oop_field(CiTargetMethod_Call, globalStubID, "Ljava/lang/Object;") \ + oop_field(CiTargetMethod_Call, debugInfo, "Lcom/sun/cri/ci/CiDebugInfo;") \ + oop_field(CiTargetMethod_Call, stackMap, "[B") \ + oop_field(CiTargetMethod_Call, registerMap, "[B") \ + end_class \ + start_class(CiTargetMethod_DataPatch) \ + oop_field(CiTargetMethod_DataPatch, constant, "Lcom/sun/cri/ci/CiConstant;") \ + end_class \ + start_class(CiTargetMethod_Safepoint) \ + oop_field(CiTargetMethod_Safepoint, debugInfo, "Lcom/sun/cri/ci/CiDebugInfo;") \ + end_class \ + start_class(CiTargetMethod_ExceptionHandler) \ + int_field(CiTargetMethod_ExceptionHandler, handlerPos) \ + oop_field(CiTargetMethod_ExceptionHandler, exceptionType, "Lcom/sun/cri/ri/RiType;")\ + end_class \ + start_class(CiTargetMethod_Mark) \ + oop_field(CiTargetMethod_Mark, id, "Ljava/lang/Object;") \ + oop_field(CiTargetMethod_Mark, references, "[Lcom/sun/cri/ci/CiTargetMethod$Mark;") \ + end_class \ + start_class(CiDebugInfo) \ + oop_field(CiDebugInfo, codePos, "Lcom/sun/cri/ci/CiCodePos;") \ + oop_field(CiDebugInfo, frame, "Lcom/sun/cri/ci/CiDebugInfo$Frame;") \ + oop_field(CiDebugInfo, registerRefMap, "[B") \ + oop_field(CiDebugInfo, frameRefMap, "[B") \ + end_class \ + start_class(CiDebugInfo_Frame) \ + oop_field(CiDebugInfo_Frame, caller, "Lcom/sun/cri/ci/CiDebugInfo$Frame;") \ + oop_field(CiDebugInfo_Frame, codePos, "Lcom/sun/cri/ci/CiCodePos;") \ + oop_field(CiDebugInfo_Frame, values, "[Lcom/sun/cri/ci/CiValue;") \ + int_field(CiDebugInfo_Frame, numLocals) \ + int_field(CiDebugInfo_Frame, numStack) \ + int_field(CiDebugInfo_Frame, numLocks) \ + end_class \ + start_class(CiCodePos) \ + oop_field(CiCodePos, caller, "Lcom/sun/cri/ci/CiCodePos;") \ + oop_field(CiCodePos, method, "Lcom/sun/cri/ri/RiMethod;") \ + int_field(CiCodePos, bci) \ + end_class \ + start_class(CiConstant) \ + oop_field(CiConstant, kind, "Lcom/sun/cri/ci/CiKind;") \ + oop_field(CiConstant, object, "Ljava/lang/Object;") \ + long_field(CiConstant, primitive) \ + end_class \ + start_class(CiKind) \ + char_field(CiKind, typeChar) \ + end_class \ + start_class(CiRuntimeCall) \ + end_class \ + start_class(RiMethod) \ + end_class \ + start_class(CiRegisterValue) \ + end_class \ + start_class(CiStackSlot) \ + end_class \ + /* end*/ + +#define START_CLASS(name) \ + class name : AllStatic { \ + private: \ + friend class C1XCompiler; \ + static void check(oop obj) { assert(obj != NULL, "NULL field access"); assert(obj->is_a(SystemDictionary::name##_klass()), "wrong class, " #name " expected"); } \ + static void compute_offsets(); \ + public: \ + static klassOop klass() { return SystemDictionary::name##_klass(); } + +#define END_CLASS }; + +#define FIELD(name, type, accessor) \ + static int _##name##_offset; \ + static type name(oop obj) { check(obj); return obj->accessor(_##name##_offset); } \ + static type name(jobject obj) { check(JNIHandles::resolve(obj)); return JNIHandles::resolve(obj)->accessor(_##name##_offset); } \ + static void set_##name(oop obj, type x) { check(obj); obj->accessor##_put(_##name##_offset, x); } \ + static void set_##name(jobject obj, type x) { check(JNIHandles::resolve(obj)); JNIHandles::resolve(obj)->accessor##_put(_##name##_offset, x); } + +#define CHAR_FIELD(klass, name) FIELD(name, jchar, char_field) +#define INT_FIELD(klass, name) FIELD(name, jint, int_field) +#define LONG_FIELD(klass, name) FIELD(name, jlong, long_field) +#define OOP_FIELD(klass, name, signature) FIELD(name, oop, obj_field) + +COMPILER_CLASSES_DO(START_CLASS, END_CLASS, CHAR_FIELD, INT_FIELD, LONG_FIELD, OOP_FIELD) +#undef START_CLASS +#undef END_CLASS +#undef FIELD +#undef CHAR_FIELD +#undef INT_FIELD +#undef LONG_FIELD +#undef OOP_FIELD + +