2007-08-30 Jonathan Chambers <joncham@gmail.com>

[mono.git] / mono / mini / mini-trampolines.c

diff --git a/mono/mini/mini-trampolines.c b/mono/mini/mini-trampolines.c
index 4c2c03c3d0d0c7e9431450ac8224e163105f04ca..7ec5dc352d1c6cbf5c145341bd434606920b1e63 100644 (file)
--- a/mono/mini/mini-trampolines.c
+++ b/mono/mini/mini-trampolines.c
@@ -13,6 +13,50 @@
 
 #include "mini.h"
 
+#ifdef MONO_ARCH_HAVE_IMT
+
+static gpointer*
+mono_convert_imt_slot_to_vtable_slot (gpointer* slot, gpointer *regs, guint8 *code, MonoMethod *method)
+{
+       MonoObject *this_argument = mono_arch_find_this_argument (regs, method);
+       MonoVTable *vt = this_argument->vtable;
+       int displacement = slot - ((gpointer*)vt);
+       
+       if (displacement > 0) {
+               /* slot is in the vtable, not in the IMT */
+#if DEBUG_IMT
+               printf ("mono_convert_imt_slot_to_vtable_slot: slot %p is in the vtable, not in the IMT\n", slot);
+#endif
+               return slot;
+       } else {
+               MonoMethod *imt_method = mono_arch_find_imt_method (regs, code);
+               int interface_offset = mono_class_interface_offset (vt->klass, imt_method->klass);
+               int imt_slot = MONO_IMT_SIZE + displacement;
+
+#if DEBUG_IMT
+               printf ("mono_convert_imt_slot_to_vtable_slot: method = %s.%s.%s, imt_method = %s.%s.%s\n",
+                               method->klass->name_space, method->klass->name, method->name, 
+                               imt_method->klass->name_space, imt_method->klass->name, imt_method->name);
+#endif
+               g_assert (imt_slot < MONO_IMT_SIZE);
+               if (vt->imt_collisions_bitmap & (1 << imt_slot)) {
+                       int vtable_offset = interface_offset + imt_method->slot;
+                       gpointer *vtable_slot = & (vt->vtable [vtable_offset]);
+#if DEBUG_IMT
+                       printf ("mono_convert_imt_slot_to_vtable_slot: slot %p[%d] is in the IMT, and colliding becomes %p[%d] (interface_offset = %d, method->slot = %d)\n", slot, imt_slot, vtable_slot, vtable_offset, interface_offset, imt_method->slot);
+#endif
+                       g_assert (vtable_offset >= 0);
+                       return vtable_slot;
+               } else {
+#if DEBUG_IMT
+                       printf ("mono_convert_imt_slot_to_vtable_slot: slot %p[%d] is in the IMT, but not colliding\n", slot, imt_slot);
+#endif
+                       return slot;
+               }
+       }
+}
+#endif
+
 /**
  * mono_magic_trampoline:
  *
@@ -39,8 +83,12 @@ mono_magic_trampoline (gssize *regs, guint8 *code, MonoMethod *m, guint8* tramp)
 
                g_assert (*vtable_slot);
 
-               if (mono_aot_is_got_entry (code, (guint8*)vtable_slot) || mono_domain_owns_vtable_slot (mono_domain_get (), vtable_slot))
+               if (mono_aot_is_got_entry (code, (guint8*)vtable_slot) || mono_domain_owns_vtable_slot (mono_domain_get (), vtable_slot)) {
+#ifdef MONO_ARCH_HAVE_IMT
+                       vtable_slot = mono_convert_imt_slot_to_vtable_slot (vtable_slot, (gpointer*)regs, code, m);
+#endif
                        *vtable_slot = mono_get_addr_from_ftnptr (addr);
+               }
        }
        else {
                guint8 *plt_entry = mono_aot_get_plt_entry (code);
@@ -126,8 +174,14 @@ mono_aot_trampoline (gssize *regs, guint8 *code, guint8 *token_info,
         * is AppDomain:InvokeInDomain, so this is the same check as in 
         * mono_method_same_domain () but without loading the metadata for the method.
         */
-       if ((is_got_entry && (mono_domain_get () == mono_get_root_domain ())) || mono_domain_owns_vtable_slot (mono_domain_get (), vtable_slot))
+       if ((is_got_entry && (mono_domain_get () == mono_get_root_domain ())) || mono_domain_owns_vtable_slot (mono_domain_get (), vtable_slot)) {
+#ifdef MONO_ARCH_HAVE_IMT
+               if (!method)
+                       method = mono_get_method (image, token, NULL);
+               vtable_slot = mono_convert_imt_slot_to_vtable_slot (vtable_slot, (gpointer*)regs, code, method);
+#endif
                *vtable_slot = addr;
+       }
 
        return addr;
 }
@@ -250,3 +304,5 @@ mono_delegate_trampoline (gssize *regs, guint8 *code, MonoClass *klass, guint8*
 }
 
 #endif
+
+