TimeZoneInfo.CreateLocal now handles environment variable TZ.
[mono.git] / mono / mini / mini-trampolines.c
1 /*
2  * (C) 2003 Ximian, Inc.
3  * (C) 2003-2011 Novell, Inc.
4  * Copyright 2011 Xamarin, Inc (http://www.xamarin.com)
5  */
6 #include <config.h>
7 #include <glib.h>
8
9 #include <mono/metadata/appdomain.h>
10 #include <mono/metadata/metadata-internals.h>
11 #include <mono/metadata/marshal.h>
12 #include <mono/metadata/tabledefs.h>
13 #include <mono/utils/mono-counters.h>
14 #include <mono/utils/mono-error-internals.h>
15 #include <mono/utils/mono-membar.h>
16 #include <mono/utils/mono-compiler.h>
17
18 #include "mini.h"
19
20 /*
21  * Address of the trampoline code.  This is used by the debugger to check
22  * whether a method is a trampoline.
23  */
24 guint8* mono_trampoline_code [MONO_TRAMPOLINE_NUM];
25
26 static GHashTable *class_init_hash_addr;
27 static GHashTable *rgctx_lazy_fetch_trampoline_hash;
28 static GHashTable *rgctx_lazy_fetch_trampoline_hash_addr;
29 static guint32 trampoline_calls, jit_trampolines, unbox_trampolines, static_rgctx_trampolines;
30
31 #define mono_trampolines_lock() mono_mutex_lock (&trampolines_mutex)
32 #define mono_trampolines_unlock() mono_mutex_unlock (&trampolines_mutex)
33 static mono_mutex_t trampolines_mutex;
34
35 #ifdef MONO_ARCH_GSHARED_SUPPORTED
36
37 typedef struct {
38         MonoMethod *m;
39         gpointer addr;
40 } RgctxTrampInfo;
41
42 static gint
43 rgctx_tramp_info_equal (gconstpointer ka, gconstpointer kb)
44 {
45         const RgctxTrampInfo *i1 = ka;
46         const RgctxTrampInfo *i2 = kb;
47
48         if (i1->m == i2->m && i1->addr == i2->addr)
49                 return 1;
50         else
51                 return 0;
52 }
53
54 static guint
55 rgctx_tramp_info_hash (gconstpointer data)
56 {
57         const RgctxTrampInfo *info = data;
58
59         return GPOINTER_TO_UINT (info->m) ^ GPOINTER_TO_UINT (info->addr);
60 }
61
62 /**
63  * mono_create_static_rgctx_trampoline:
64  * @m: the mono method to create a trampoline for
65  * @addr: the address to jump to (where the compiled code for M lives)
66  *
67  * Creates a static rgctx trampoline for M which branches to ADDR which should
68  * point to the compiled code of M.
69  *
70  * Static rgctx trampolines are used when a shared generic method which doesn't
71  * have a this argument is called indirectly, ie. from code which can't pass in
72  * the rgctx argument. The trampoline sets the rgctx argument and jumps to the
73  * methods code. These trampolines are similar to the unbox trampolines, they
74  * perform the same task as the static rgctx wrappers, but they are smaller/faster,
75  * and can be made to work with full AOT.
76  *
77  * On PPC addr should be an ftnptr and the return value is an ftnptr too.
78  *
79  * Returns the generated static rgctx trampoline.
80  */
81 gpointer
82 mono_create_static_rgctx_trampoline (MonoMethod *m, gpointer addr)
83 {
84         gpointer ctx;
85         gpointer res;
86         MonoDomain *domain;
87         RgctxTrampInfo tmp_info;
88         RgctxTrampInfo *info;
89
90 #ifdef PPC_USES_FUNCTION_DESCRIPTOR
91         g_assert (((gpointer*)addr) [2] == 0);
92 #endif
93
94         ctx = mini_method_get_rgctx (m);
95
96         domain = mono_domain_get ();
97
98         /* 
99          * In the AOT case, addr might point to either the method, or to an unbox trampoline,
100          * so make the hash keyed on the m+addr pair.
101          */
102         mono_domain_lock (domain);
103         if (!domain_jit_info (domain)->static_rgctx_trampoline_hash)
104                 domain_jit_info (domain)->static_rgctx_trampoline_hash = g_hash_table_new (rgctx_tramp_info_hash, rgctx_tramp_info_equal);
105         tmp_info.m = m;
106         tmp_info.addr = addr;
107         res = g_hash_table_lookup (domain_jit_info (domain)->static_rgctx_trampoline_hash,
108                                                            &tmp_info);
109         mono_domain_unlock (domain);
110         if (res)
111                 return res;
112
113         if (mono_aot_only)
114                 res = mono_aot_get_static_rgctx_trampoline (ctx, addr);
115         else
116                 res = mono_arch_get_static_rgctx_trampoline (m, ctx, addr);
117
118         mono_domain_lock (domain);
119         /* Duplicates inserted while we didn't hold the lock are OK */
120         info = mono_domain_alloc (domain, sizeof (RgctxTrampInfo));
121         info->m = m;
122         info->addr = addr;
123         g_hash_table_insert (domain_jit_info (domain)->static_rgctx_trampoline_hash, info, res);
124         mono_domain_unlock (domain);
125
126         static_rgctx_trampolines ++;
127
128         return res;
129 }
130 #else
131 gpointer
132 mono_create_static_rgctx_trampoline (MonoMethod *m, gpointer addr)
133 {
134        /* 
135         * This shouldn't happen as all arches which support generic sharing support
136         * static rgctx trampolines as well.
137         */
138        g_assert_not_reached ();
139 }
140 #endif
141
142 /*
143  * Either IMPL_METHOD or AOT_ADDR will be set on return.
144  *
145  * MONO_NEVER_INLINE :
146  * This works against problems when compiling with gcc 4.6 on arm. The 'then' part of
147  * this line gets executed, even when the condition is false:
148  *              if (impl && mono_method_needs_static_rgctx_invoke (impl, FALSE))
149  *                      *need_rgctx_tramp = TRUE;
150  */
151 static MONO_NEVER_INLINE gpointer*
152 mono_convert_imt_slot_to_vtable_slot (gpointer* slot, mgreg_t *regs, guint8 *code, MonoMethod *method, gboolean lookup_aot, MonoMethod **impl_method, gboolean *need_rgctx_tramp, gboolean *variance_used, gpointer *aot_addr)
153 {
154         MonoObject *this_argument = mono_arch_get_this_arg_from_call (regs, code);
155         MonoVTable *vt = this_argument->vtable;
156         int displacement = slot - ((gpointer*)vt);
157
158         if (displacement > 0) {
159                 /* slot is in the vtable, not in the IMT */
160 #if DEBUG_IMT
161                 printf ("mono_convert_imt_slot_to_vtable_slot: slot %p is in the vtable, not in the IMT\n", slot);
162 #endif
163                 return slot;
164         } else {
165                 MonoMethod *imt_method = mono_arch_find_imt_method (regs, code);
166                 MonoMethod *impl;
167                 int interface_offset;
168                 int imt_slot = MONO_IMT_SIZE + displacement;
169
170                 /*This has to be variance aware since imt_method can be from an interface that vt->klass doesn't directly implement*/
171                 interface_offset = mono_class_interface_offset_with_variance (vt->klass, imt_method->klass, variance_used);
172
173                 if (interface_offset < 0) {
174                         g_error ("%s doesn't implement interface %s\n", mono_type_get_name_full (&vt->klass->byval_arg, 0), mono_type_get_name_full (&imt_method->klass->byval_arg, 0));
175                 }
176                 mono_vtable_build_imt_slot (vt, mono_method_get_imt_slot (imt_method));
177
178                 if (imt_method->is_inflated && ((MonoMethodInflated*)imt_method)->context.method_inst) {
179                         MonoGenericContext context = { NULL, NULL };
180
181                         /* 
182                          * Generic virtual method, imt_method contains the inflated interface 
183                          * method, need to get the inflated impl method.
184                          */
185                         /* imt_method->slot might not be set */
186                         impl = mono_class_get_vtable_entry (vt->klass, interface_offset + mono_method_get_declaring_generic_method (imt_method)->slot);
187
188                         if (impl->klass->generic_class)
189                                 context.class_inst = impl->klass->generic_class->context.class_inst;
190                         context.method_inst = ((MonoMethodInflated*)imt_method)->context.method_inst;
191                         impl = mono_class_inflate_generic_method (impl, &context);
192                 } else {
193                         /* Avoid loading metadata or creating a generic vtable if possible */
194                         if (lookup_aot && !vt->klass->valuetype)
195                                 *aot_addr = mono_aot_get_method_from_vt_slot (mono_domain_get (), vt, interface_offset + mono_method_get_vtable_slot (imt_method));
196                         else
197                                 *aot_addr = NULL;
198                         if (*aot_addr)
199                                 impl = NULL;
200                         else
201                                 impl = mono_class_get_vtable_entry (vt->klass, interface_offset + mono_method_get_vtable_slot (imt_method));
202                 }
203
204                 if (impl && mono_method_needs_static_rgctx_invoke (impl, FALSE))
205                         *need_rgctx_tramp = TRUE;
206                 if (impl && impl->wrapper_type == MONO_WRAPPER_MANAGED_TO_MANAGED) {
207                         WrapperInfo *info = mono_marshal_get_wrapper_info (impl);
208
209                         if (info && info->subtype == WRAPPER_SUBTYPE_GENERIC_ARRAY_HELPER) {
210                                 *need_rgctx_tramp = TRUE;
211                         }
212                 }
213
214                 *impl_method = impl;
215 #if DEBUG_IMT
216                 printf ("mono_convert_imt_slot_to_vtable_slot: method = %s.%s.%s, imt_method = %s.%s.%s\n",
217                                 method->klass->name_space, method->klass->name, method->name, 
218                                 imt_method->klass->name_space, imt_method->klass->name, imt_method->name);
219 #endif
220
221                 g_assert (imt_slot < MONO_IMT_SIZE);
222                 if (vt->imt_collisions_bitmap & (1 << imt_slot)) {
223                         int slot = mono_method_get_vtable_index (imt_method);
224                         int vtable_offset;
225                         gpointer *vtable_slot;
226
227                         g_assert (slot != -1);
228                         vtable_offset = interface_offset + slot;
229                         vtable_slot = & (vt->vtable [vtable_offset]);
230 #if DEBUG_IMT
231                         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);
232 #endif
233                         return vtable_slot;
234                 } else {
235 #if DEBUG_IMT
236                         printf ("mono_convert_imt_slot_to_vtable_slot: slot %p[%d] is in the IMT, but not colliding\n", slot, imt_slot);
237 #endif
238                         return slot;
239                 }
240         }
241 }
242
243 /*
244  * This is a super-ugly hack to fix bug #616463.
245  *
246  * The problem is that we don't always set is_generic for generic
247  * method definitions.  See the comment at the end of
248  * mono_class_inflate_generic_method_full_checked() in class.c.
249  */
250 static gboolean
251 is_generic_method_definition (MonoMethod *m)
252 {
253         MonoGenericContext *context;
254         if (m->is_generic)
255                 return TRUE;
256         if (!m->is_inflated)
257                 return FALSE;
258
259         context = mono_method_get_context (m);
260         if (!context->method_inst)
261                 return FALSE;
262         if (context->method_inst == mono_method_get_generic_container (((MonoMethodInflated*)m)->declaring)->context.method_inst)
263                 return TRUE;
264         return FALSE;
265 }
266
267 gboolean
268 mini_jit_info_is_gsharedvt (MonoJitInfo *ji)
269 {
270         if (ji && ji->has_generic_jit_info && (mono_jit_info_get_generic_sharing_context (ji)->var_is_vt ||
271                                                                                    mono_jit_info_get_generic_sharing_context (ji)->mvar_is_vt))
272                 return TRUE;
273         else
274                 return FALSE;
275 }
276
277 /**
278  * mini_add_method_trampoline:
279  * @orig_method: the method the caller originally called i.e. an iface method, or NULL.
280  * @m: 
281  * @compiled_method:
282  * @add_static_rgctx_tramp: adds a static rgctx trampoline
283  * @add_unbox_tramp: adds an unboxing trampoline
284  *
285  * Add static rgctx/gsharedvt_in/unbox trampolines to
286  * M/COMPILED_METHOD if needed.
287  *
288  * Returns the trampoline address, or COMPILED_METHOD if no trampoline
289  * is needed.
290  */
291 gpointer
292 mini_add_method_trampoline (MonoMethod *orig_method, MonoMethod *m, gpointer compiled_method, gboolean add_static_rgctx_tramp, gboolean add_unbox_tramp)
293 {
294         gpointer addr = compiled_method;
295         gboolean callee_gsharedvt, callee_array_helper;
296         MonoMethod *jmethod = NULL;
297         MonoJitInfo *ji;
298
299         // FIXME: This loads information from AOT (perf problem)
300         ji = mini_jit_info_table_find (mono_domain_get (), mono_get_addr_from_ftnptr (compiled_method), NULL);
301         callee_gsharedvt = mini_jit_info_is_gsharedvt (ji);
302
303         callee_array_helper = FALSE;
304         if (m->wrapper_type == MONO_WRAPPER_MANAGED_TO_MANAGED) {
305                 WrapperInfo *info = mono_marshal_get_wrapper_info (m);
306
307                 /*
308                  * generic array helpers.
309                  * Have to replace the wrappers with the original generic instances.
310                  */
311                 if (info && info->subtype == WRAPPER_SUBTYPE_GENERIC_ARRAY_HELPER) {
312                         callee_array_helper = TRUE;
313                         m = info->d.generic_array_helper.method;
314                 }
315         } else if (m->wrapper_type == MONO_WRAPPER_UNKNOWN) {
316                 WrapperInfo *info = mono_marshal_get_wrapper_info (m);
317
318                 /* Same for synchronized inner wrappers */
319                 if (info && info->subtype == WRAPPER_SUBTYPE_SYNCHRONIZED_INNER) {
320                         m = info->d.synchronized_inner.method;
321                 }
322         }
323
324         if (!orig_method)
325                 orig_method = m;
326
327         if (callee_gsharedvt)
328                 g_assert (m->is_inflated);
329
330         addr = compiled_method;
331
332         if (add_unbox_tramp) {
333                 /* 
334                  * The unbox trampolines call the method directly, so need to add
335                  * an rgctx tramp before them.
336                  */
337                 if (mono_aot_only) {
338                         addr = mono_aot_get_unbox_trampoline (m);
339                 } else {
340                         unbox_trampolines ++;
341                         addr = mono_arch_get_unbox_trampoline (m, addr);
342                 }
343         }
344
345         if (ji)
346                 jmethod = jinfo_get_method (ji);
347         if (callee_gsharedvt && mini_is_gsharedvt_variable_signature (mono_method_signature (jmethod))) {
348                 MonoGenericSharingContext *gsctx;
349                 MonoMethodSignature *sig, *gsig;
350
351                 /* Here m is a generic instance, while ji->method is the gsharedvt method implementing it */
352
353                 /* Call from normal/gshared code to gsharedvt code with variable signature */
354                 gsctx = mono_jit_info_get_generic_sharing_context (ji);
355
356                 sig = mono_method_signature (m);
357                 gsig = mono_method_signature (jmethod);
358
359                 addr = mini_get_gsharedvt_wrapper (TRUE, addr, sig, gsig, gsctx, -1, FALSE);
360
361                 //printf ("IN: %s\n", mono_method_full_name (m, TRUE));
362         }
363
364         if (callee_array_helper) {
365                 add_static_rgctx_tramp = FALSE;
366                 /* FIXME: ji->from_aot is not set for llvm methods */
367                 if (ji && (ji->from_aot || mono_aot_only)) {
368                         /* In AOT mode, compiled_method points to one of the InternalArray methods in Array. */
369                         if (mono_method_needs_static_rgctx_invoke (jinfo_get_method (ji), TRUE))
370                                 add_static_rgctx_tramp = TRUE;
371                 }
372         }
373
374         if (add_static_rgctx_tramp)
375                 addr = mono_create_static_rgctx_trampoline (m, addr);
376
377         return addr;
378 }
379
380 /**
381  * common_call_trampoline:
382  *
383  *   The code to handle normal, virtual, and interface method calls and jumps, both
384  * from JITted and LLVM compiled code.
385  */
386 static gpointer
387 common_call_trampoline (mgreg_t *regs, guint8 *code, MonoMethod *m, guint8* tramp, MonoVTable *vt, gpointer *vtable_slot, gboolean need_rgctx_tramp)
388 {
389         gpointer addr, compiled_method;
390         gboolean generic_shared = FALSE;
391         gboolean need_unbox_tramp = FALSE;
392         MonoMethod *declaring = NULL;
393         MonoMethod *generic_virtual = NULL, *variant_iface = NULL, *orig_method = NULL;
394         int context_used;
395         gboolean virtual, variance_used = FALSE;
396         gpointer *orig_vtable_slot, *vtable_slot_to_patch = NULL;
397         MonoJitInfo *ji = NULL;
398
399         virtual = (gpointer)vtable_slot > (gpointer)vt;
400
401         orig_vtable_slot = vtable_slot;
402         vtable_slot_to_patch = vtable_slot;
403
404         /* IMT call */
405         if (vt && (gpointer)vtable_slot < (gpointer)vt) {
406                 MonoMethod *impl_method = NULL;
407                 MonoObject *this_arg;
408
409                 /* we get the interface method because mono_convert_imt_slot_to_vtable_slot ()
410                  * needs the signature to be able to find the this argument
411                  */
412                 m = mono_arch_find_imt_method (regs, code);
413                 vtable_slot = orig_vtable_slot;
414                 g_assert (vtable_slot);
415
416                 orig_method = m;
417
418                 this_arg = mono_arch_get_this_arg_from_call (regs, code);
419
420                 if (mono_object_is_transparent_proxy (this_arg)) {
421                         /* Use the slow path for now */
422                     m = mono_object_get_virtual_method (this_arg, m);
423                         vtable_slot_to_patch = NULL;
424                 } else {
425                         gboolean lookup_aot;
426
427                         mono_class_interface_offset_with_variance (vt->klass, m->klass, &variance_used);
428
429                         if (m->is_inflated && ((MonoMethodInflated*)m)->context.method_inst) {
430                                 /* Generic virtual method */
431                                 generic_virtual = m;
432                                 need_rgctx_tramp = TRUE;
433                         } else if (variance_used && mono_class_has_variant_generic_params (m->klass)) {
434                                 variant_iface = m;
435                         }
436
437                         addr = NULL;
438                         /* We can only use the AOT compiled code if we don't require further processing */
439                         lookup_aot = !generic_virtual & !variant_iface;
440                         vtable_slot = mono_convert_imt_slot_to_vtable_slot (vtable_slot, regs, code, m, lookup_aot, &impl_method, &need_rgctx_tramp, &variance_used, &addr);
441                         /* This is the vcall slot which gets called through the IMT thunk */
442                         vtable_slot_to_patch = vtable_slot;
443                         /* mono_convert_imt_slot_to_vtable_slot () also gives us the method that is supposed
444                          * to be called, so we compile it and go ahead as usual.
445                          */
446                         /*g_print ("imt found method %p (%s) at %p\n", impl_method, impl_method->name, code);*/
447
448                         if (addr) {
449                                 /*
450                                  * We found AOT compiled code for the method, skip the rest.
451                                  */
452                                 if (mono_domain_owns_vtable_slot (mono_domain_get (), vtable_slot))
453                                         *vtable_slot = addr;
454
455                                 return mono_create_ftnptr (mono_domain_get (), addr);
456                         }
457
458                         m = impl_method;
459                 }
460         }
461
462         /*
463          * The virtual check is needed because is_generic_method_definition (m) could
464          * return TRUE for methods used in IMT calls too.
465          */
466         if (virtual && is_generic_method_definition (m)) {
467                 MonoGenericContext context = { NULL, NULL };
468                 MonoMethod *declaring;
469
470                 if (m->is_inflated)
471                         declaring = mono_method_get_declaring_generic_method (m);
472                 else
473                         declaring = m;
474
475                 if (m->klass->generic_class)
476                         context.class_inst = m->klass->generic_class->context.class_inst;
477                 else
478                         g_assert (!m->klass->generic_container);
479
480                 generic_virtual = mono_arch_find_imt_method (regs, code);
481                 if (generic_virtual) {
482                         g_assert (generic_virtual->is_inflated);
483                         context.method_inst = ((MonoMethodInflated*)generic_virtual)->context.method_inst;
484                 }
485
486                 m = mono_class_inflate_generic_method (declaring, &context);
487                 /* FIXME: only do this if the method is sharable */
488                 need_rgctx_tramp = TRUE;
489         } else if ((context_used = mono_method_check_context_used (m))) {
490                 MonoClass *klass = NULL;
491                 MonoMethod *actual_method = NULL;
492                 MonoVTable *vt = NULL;
493                 MonoGenericInst *method_inst = NULL;
494
495                 vtable_slot = NULL;
496                 generic_shared = TRUE;
497
498                 g_assert (code);
499
500                 if (m->is_inflated && mono_method_get_context (m)->method_inst) {
501 #ifdef MONO_ARCH_RGCTX_REG
502                         MonoMethodRuntimeGenericContext *mrgctx = (MonoMethodRuntimeGenericContext*)mono_arch_find_static_call_vtable (regs, code);
503
504                         klass = mrgctx->class_vtable->klass;
505                         method_inst = mrgctx->method_inst;
506 #else
507                         g_assert_not_reached ();
508 #endif
509                 } else if ((m->flags & METHOD_ATTRIBUTE_STATIC) || m->klass->valuetype) {
510 #ifdef MONO_ARCH_RGCTX_REG
511                         MonoVTable *vtable = mono_arch_find_static_call_vtable (regs, code);
512
513                         klass = vtable->klass;
514 #else
515                         g_assert_not_reached ();
516 #endif
517                 } else {
518                         MonoObject *this_argument = mono_arch_get_this_arg_from_call (regs, code);
519
520                         vt = this_argument->vtable;
521                         vtable_slot = orig_vtable_slot;
522
523                         g_assert (this_argument->vtable->klass->inited);
524                         //mono_class_init (this_argument->vtable->klass);
525
526                         if (!vtable_slot) {
527                                 mono_class_setup_supertypes (this_argument->vtable->klass);
528                                 klass = this_argument->vtable->klass->supertypes [m->klass->idepth - 1];
529                         }
530                 }
531
532                 g_assert (vtable_slot || klass);
533
534                 if (vtable_slot) {
535                         int displacement = vtable_slot - ((gpointer*)vt);
536
537                         g_assert_not_reached ();
538
539                         g_assert (displacement > 0);
540
541                         actual_method = vt->klass->vtable [displacement];
542                 }
543
544                 if (method_inst || m->wrapper_type) {
545                         MonoGenericContext context = { NULL, NULL };
546
547                         if (m->is_inflated)
548                                 declaring = mono_method_get_declaring_generic_method (m);
549                         else
550                                 declaring = m;
551
552                         if (klass->generic_class)
553                                 context.class_inst = klass->generic_class->context.class_inst;
554                         else if (klass->generic_container)
555                                 context.class_inst = klass->generic_container->context.class_inst;
556                         context.method_inst = method_inst;
557
558                         actual_method = mono_class_inflate_generic_method (declaring, &context);
559                 } else {
560                         actual_method = mono_class_get_method_generic (klass, m);
561                 }
562
563                 g_assert (klass);
564                 g_assert (actual_method);
565                 g_assert (actual_method->klass == klass);
566
567                 if (actual_method->is_inflated)
568                         declaring = mono_method_get_declaring_generic_method (actual_method);
569                 else
570                         declaring = NULL;
571
572                 m = actual_method;
573         }
574
575         if (m->iflags & METHOD_IMPL_ATTRIBUTE_SYNCHRONIZED) {
576                 m = mono_marshal_get_synchronized_wrapper (m);
577                 need_rgctx_tramp = FALSE;
578         }
579
580         /* Calls made through delegates on platforms without delegate trampolines */
581         if (!code && mono_method_needs_static_rgctx_invoke (m, FALSE))
582                 need_rgctx_tramp = TRUE;
583
584         addr = compiled_method = mono_compile_method (m);
585         g_assert (addr);
586
587         if (generic_virtual || variant_iface) {
588                 if (vt->klass->valuetype) /*FIXME is this required variant iface?*/
589                         need_unbox_tramp = TRUE;
590         } else if (orig_vtable_slot) {
591                 if (m->klass->valuetype)
592                         need_unbox_tramp = TRUE;
593         }
594
595         addr = mini_add_method_trampoline (orig_method, m, compiled_method, need_rgctx_tramp, need_unbox_tramp);
596
597         if (generic_virtual || variant_iface) {
598                 MonoMethod *target = generic_virtual ? generic_virtual : variant_iface;
599
600                 vtable_slot = orig_vtable_slot;
601                 g_assert (vtable_slot);
602
603                 mono_method_add_generic_virtual_invocation (mono_domain_get (), 
604                                                                                                         vt, vtable_slot,
605                                                                                                         target, addr);
606
607                 return addr;
608         }
609
610         /* the method was jumped to */
611         if (!code) {
612                 MonoDomain *domain = mono_domain_get ();
613
614                 /* Patch the got entries pointing to this method */
615                 /* 
616                  * We do this here instead of in mono_codegen () to cover the case when m
617                  * was loaded from an aot image.
618                  */
619                 if (domain_jit_info (domain)->jump_target_got_slot_hash) {
620                         GSList *list, *tmp;
621
622                         mono_domain_lock (domain);
623                         list = g_hash_table_lookup (domain_jit_info (domain)->jump_target_got_slot_hash, m);
624                         if (list) {
625                                 for (tmp = list; tmp; tmp = tmp->next) {
626                                         gpointer *got_slot = tmp->data;
627                                         *got_slot = addr;
628                                 }
629                                 g_hash_table_remove (domain_jit_info (domain)->jump_target_got_slot_hash, m);
630                                 g_slist_free (list);
631                         }
632                         mono_domain_unlock (domain);
633                 }
634
635                 return addr;
636         }
637
638         vtable_slot = orig_vtable_slot;
639
640         if (vtable_slot) {
641                 if (vtable_slot_to_patch && (mono_aot_is_got_entry (code, (guint8*)vtable_slot_to_patch) || mono_domain_owns_vtable_slot (mono_domain_get (), vtable_slot_to_patch))) {
642                         g_assert (*vtable_slot_to_patch);
643                         *vtable_slot_to_patch = mono_get_addr_from_ftnptr (addr);
644                 }
645         }
646         else {
647                 guint8 *plt_entry = mono_aot_get_plt_entry (code);
648                 gboolean no_patch = FALSE;
649                 MonoJitInfo *target_ji;
650
651                 if (plt_entry) {
652                         if (generic_shared) {
653                                 target_ji =
654                                         mini_jit_info_table_find (mono_domain_get (), mono_get_addr_from_ftnptr (compiled_method), NULL);
655                                 if (!ji)
656                                         ji = mini_jit_info_table_find (mono_domain_get (), (char*)code, NULL);
657
658                                 if (ji && target_ji && generic_shared && ji->has_generic_jit_info && !target_ji->has_generic_jit_info) {
659                                         no_patch = TRUE;
660                                 }
661                         }
662                         if (!no_patch)
663                                 mono_aot_patch_plt_entry (code, plt_entry, NULL, regs, addr);
664                 } else {
665                         if (generic_shared) {
666                                 if (m->wrapper_type != MONO_WRAPPER_NONE)
667                                         m = mono_marshal_method_from_wrapper (m);
668                                 //g_assert (mono_method_is_generic_sharable (m, FALSE));
669                         }
670
671                         /* Patch calling code */
672                         target_ji =
673                                 mini_jit_info_table_find (mono_domain_get (), mono_get_addr_from_ftnptr (compiled_method), NULL);
674                         if (!ji)
675                                 ji = mini_jit_info_table_find (mono_domain_get (), (char*)code, NULL);
676
677                         if (ji && target_ji && generic_shared && ji->has_generic_jit_info && !target_ji->has_generic_jit_info) {
678                                 /* 
679                                  * Can't patch the call as the caller is gshared, but the callee is not. Happens when
680                                  * generic sharing fails.
681                                  * FIXME: Performance problem.
682                                  */
683                                 no_patch = TRUE;
684                         }
685
686                         if (!no_patch && mono_method_same_domain (ji, target_ji))
687                                 mono_arch_patch_callsite (ji->code_start, code, addr);
688                 }
689         }
690
691         return addr;
692 }
693
694 /**
695  * mono_magic_trampoline:
696  *
697  * This trampoline handles normal calls from JITted code.
698  */
699 gpointer
700 mono_magic_trampoline (mgreg_t *regs, guint8 *code, gpointer arg, guint8* tramp)
701 {
702         trampoline_calls ++;
703
704         return common_call_trampoline (regs, code, arg, tramp, NULL, NULL, FALSE);
705 }
706
707 /**
708  * mono_vcall_trampoline:
709  *
710  * This trampoline handles virtual calls.
711  */
712 static gpointer
713 mono_vcall_trampoline (mgreg_t *regs, guint8 *code, int slot, guint8 *tramp)
714 {
715         MonoObject *this;
716         MonoVTable *vt;
717         gpointer *vtable_slot;
718         MonoMethod *m;
719         gboolean need_rgctx_tramp = FALSE;
720         gpointer addr;
721
722         trampoline_calls ++;
723
724         /*
725          * We need to obtain the following pieces of information:
726          * - the method which needs to be compiled.
727          * - the vtable slot.
728          * We use one vtable trampoline per vtable slot index, so we need only the vtable,
729          * the other two can be computed from the vtable + the slot index.
730          */
731 #ifndef MONO_ARCH_THIS_AS_FIRST_ARG
732         /* All architectures should support this */
733         g_assert_not_reached ();
734 #endif
735
736         /*
737          * Obtain the vtable from the 'this' arg.
738          */
739         this = mono_arch_get_this_arg_from_call (regs, code);
740         g_assert (this);
741
742         vt = this->vtable;
743
744         if (slot >= 0) {
745                 /* Normal virtual call */
746                 vtable_slot = &(vt->vtable [slot]);
747
748                 /* Avoid loading metadata or creating a generic vtable if possible */
749                 addr = mono_aot_get_method_from_vt_slot (mono_domain_get (), vt, slot);
750                 if (addr && !vt->klass->valuetype) {
751                         if (mono_domain_owns_vtable_slot (mono_domain_get (), vtable_slot))
752                                 *vtable_slot = addr;
753
754                         return mono_create_ftnptr (mono_domain_get (), addr);
755                 }
756
757                 /*
758                  * Bug #616463 (see
759                  * is_generic_method_definition() above) also
760                  * goes away if we do a
761                  * mono_class_setup_vtable (vt->klass) here,
762                  * because we then inflate the method
763                  * correctly, put it in the cache, and the
764                  * "wrong" inflation invocation still looks up
765                  * the correctly inflated method.
766                  *
767                  * The hack above seems more stable and
768                  * trustworthy.
769                  */
770                 m = mono_class_get_vtable_entry (vt->klass, slot);
771
772                 need_rgctx_tramp = mono_method_needs_static_rgctx_invoke (m, 0);
773         } else {
774                 /* IMT call */
775                 vtable_slot = &(((gpointer*)vt) [slot]);
776
777                 m = NULL;
778                 need_rgctx_tramp = FALSE;
779         }
780
781         return common_call_trampoline (regs, code, m, tramp, vt, vtable_slot, need_rgctx_tramp);
782 }
783
784 #ifndef DISABLE_REMOTING
785 gpointer
786 mono_generic_virtual_remoting_trampoline (mgreg_t *regs, guint8 *code, MonoMethod *m, guint8 *tramp)
787 {
788         MonoGenericContext context = { NULL, NULL };
789         MonoMethod *imt_method, *declaring;
790         gpointer addr;
791
792         trampoline_calls ++;
793
794         g_assert (m->is_generic);
795
796         if (m->is_inflated)
797                 declaring = mono_method_get_declaring_generic_method (m);
798         else
799                 declaring = m;
800
801         if (m->klass->generic_class)
802                 context.class_inst = m->klass->generic_class->context.class_inst;
803         else
804                 g_assert (!m->klass->generic_container);
805
806         imt_method = mono_arch_find_imt_method (regs, code);
807         if (imt_method->is_inflated)
808                 context.method_inst = ((MonoMethodInflated*)imt_method)->context.method_inst;
809         m = mono_class_inflate_generic_method (declaring, &context);
810         m = mono_marshal_get_remoting_invoke_with_check (m);
811
812         addr = mono_compile_method (m);
813         g_assert (addr);
814
815         return addr;
816 }
817 #endif
818
819 /**
820  * mono_aot_trampoline:
821  *
822  * This trampoline handles calls made from AOT code. We try to bypass the 
823  * normal JIT compilation logic to avoid loading the metadata for the method.
824  */
825 #ifdef MONO_ARCH_AOT_SUPPORTED
826 gpointer
827 mono_aot_trampoline (mgreg_t *regs, guint8 *code, guint8 *token_info, 
828                                          guint8* tramp)
829 {
830         MonoImage *image;
831         guint32 token;
832         MonoMethod *method = NULL;
833         gpointer addr;
834         guint8 *plt_entry;
835
836         trampoline_calls ++;
837
838         image = *(gpointer*)(gpointer)token_info;
839         token_info += sizeof (gpointer);
840         token = *(guint32*)(gpointer)token_info;
841
842         addr = mono_aot_get_method_from_token (mono_domain_get (), image, token);
843         if (!addr) {
844                 method = mono_get_method (image, token, NULL);
845                 g_assert (method);
846
847                 /* Use the generic code */
848                 return mono_magic_trampoline (regs, code, method, tramp);
849         }
850
851         addr = mono_create_ftnptr (mono_domain_get (), addr);
852
853         /* This is a normal call through a PLT entry */
854         plt_entry = mono_aot_get_plt_entry (code);
855         g_assert (plt_entry);
856
857         mono_aot_patch_plt_entry (code, plt_entry, NULL, regs, addr);
858
859         return addr;
860 }
861
862 /*
863  * mono_aot_plt_trampoline:
864  *
865  *   This trampoline handles calls made from AOT code through the PLT table.
866  */
867 gpointer
868 mono_aot_plt_trampoline (mgreg_t *regs, guint8 *code, guint8 *aot_module, 
869                                                  guint8* tramp)
870 {
871         guint32 plt_info_offset = mono_aot_get_plt_info_offset (regs, code);
872         gpointer res;
873
874         trampoline_calls ++;
875
876         res = mono_aot_plt_resolve (aot_module, plt_info_offset, code);
877         if (!res) {
878                 if (mono_loader_get_last_error ())
879                         mono_raise_exception (mono_loader_error_prepare_exception (mono_loader_get_last_error ()));
880                 // FIXME: Error handling (how ?)
881                 g_assert (res);
882         }
883
884         return res;
885 }
886 #endif
887
888 /**
889  * mono_class_init_trampoline:
890  *
891  * This method calls mono_runtime_class_init () to run the static constructor
892  * for the type, then patches the caller code so it is not called again.
893  */
894 void
895 mono_class_init_trampoline (mgreg_t *regs, guint8 *code, MonoVTable *vtable, guint8 *tramp)
896 {
897         guint8 *plt_entry = mono_aot_get_plt_entry (code);
898
899         trampoline_calls ++;
900
901         mono_runtime_class_init (vtable);
902
903         if (vtable->initialized) {
904                 if (plt_entry)
905                         mono_aot_patch_plt_entry (code, plt_entry, NULL, regs, mini_get_nullified_class_init_trampoline ());
906                 else
907                         mono_arch_nullify_class_init_trampoline (code, regs);
908         }
909 }
910
911 /**
912  * mono_generic_class_init_trampoline:
913  *
914  * This method calls mono_runtime_class_init () to run the static constructor
915  * for the type.
916  */
917 void
918 mono_generic_class_init_trampoline (mgreg_t *regs, guint8 *code, MonoVTable *vtable, guint8 *tramp)
919 {
920         trampoline_calls ++;
921
922         mono_runtime_class_init (vtable);
923 }
924
925 static gpointer
926 mono_rgctx_lazy_fetch_trampoline (mgreg_t *regs, guint8 *code, gpointer data, guint8 *tramp)
927 {
928 #ifdef MONO_ARCH_VTABLE_REG
929         static gboolean inited = FALSE;
930         static int num_lookups = 0;
931         guint32 slot = GPOINTER_TO_UINT (data);
932         mgreg_t *r = (mgreg_t*)regs;
933         gpointer arg = (gpointer)(gssize)r [MONO_ARCH_VTABLE_REG];
934         guint32 index = MONO_RGCTX_SLOT_INDEX (slot);
935         gboolean mrgctx = MONO_RGCTX_SLOT_IS_MRGCTX (slot);
936
937         trampoline_calls ++;
938
939         if (!inited) {
940                 mono_counters_register ("RGCTX unmanaged lookups", MONO_COUNTER_GENERICS | MONO_COUNTER_INT, &num_lookups);
941                 inited = TRUE;
942         }
943
944         num_lookups++;
945
946         if (mrgctx)
947                 return mono_method_fill_runtime_generic_context (arg, code, index);
948         else
949                 return mono_class_fill_runtime_generic_context (arg, code, index);
950 #else
951         g_assert_not_reached ();
952 #endif
953 }
954
955 void
956 mono_monitor_enter_trampoline (mgreg_t *regs, guint8 *code, MonoObject *obj, guint8 *tramp)
957 {
958         mono_monitor_enter (obj);
959 }
960
961 void
962 mono_monitor_exit_trampoline (mgreg_t *regs, guint8 *code, MonoObject *obj, guint8 *tramp)
963 {
964         mono_monitor_exit (obj);
965 }
966
967 #ifdef MONO_ARCH_HAVE_CREATE_DELEGATE_TRAMPOLINE
968
969 /*
970  * Precompute data to speed up mono_delegate_trampoline ().
971  * METHOD might be NULL.
972  */
973 static MonoDelegateTrampInfo*
974 create_delegate_trampoline_data (MonoDomain *domain, MonoClass *klass, MonoMethod *method)
975 {
976         MonoDelegateTrampInfo *tramp_data;
977         MonoMethod *invoke;
978         MonoError err;
979
980         // Precompute the delegate invoke impl and pass it to the delegate trampoline
981         invoke = mono_get_delegate_invoke (klass);
982         g_assert (invoke);
983
984         tramp_data = mono_domain_alloc0 (domain, sizeof (MonoDelegateTrampInfo));
985         tramp_data->invoke = invoke;
986         tramp_data->invoke_sig = mono_method_signature (invoke);
987         tramp_data->impl_this = mono_arch_get_delegate_invoke_impl (mono_method_signature (invoke), TRUE);
988         tramp_data->impl_nothis = mono_arch_get_delegate_invoke_impl (mono_method_signature (invoke), FALSE);
989         tramp_data->method = method;
990         if (method) {
991                 mono_error_init (&err);
992                 tramp_data->sig = mono_method_signature_checked (method, &err);
993                 tramp_data->need_rgctx_tramp = mono_method_needs_static_rgctx_invoke (method, FALSE);
994         }
995
996         return tramp_data;
997 }
998
999 /**
1000  * mono_delegate_trampoline:
1001  *
1002  *   This trampoline handles calls made to Delegate:Invoke ().
1003  * This is called once the first time a delegate is invoked, so it must be fast.
1004  */
1005 gpointer
1006 mono_delegate_trampoline (mgreg_t *regs, guint8 *code, gpointer *arg, guint8* tramp)
1007 {
1008         MonoDomain *domain = mono_domain_get ();
1009         MonoDelegate *delegate;
1010         MonoJitInfo *ji;
1011         MonoMethod *m;
1012         MonoMethod *method = NULL;
1013         gboolean multicast, callvirt = FALSE, closed_over_null = FALSE;
1014         gboolean need_rgctx_tramp = FALSE;
1015         gboolean need_unbox_tramp = FALSE;
1016         gboolean enable_caching = TRUE;
1017         MonoDelegateTrampInfo *tramp_info = (MonoDelegateTrampInfo*)arg;
1018         MonoMethod *invoke = tramp_info->invoke;
1019         guint8 *impl_this = tramp_info->impl_this;
1020         guint8 *impl_nothis = tramp_info->impl_nothis;
1021         MonoError err;
1022         MonoMethodSignature *sig;
1023         gpointer addr, compiled_method;
1024         gboolean is_remote = FALSE;
1025
1026         trampoline_calls ++;
1027
1028         /* Obtain the delegate object according to the calling convention */
1029         delegate = mono_arch_get_this_arg_from_call (regs, code);
1030
1031         if (delegate->method) {
1032                 method = delegate->method;
1033
1034                 /*
1035                  * delegate->method_ptr == NULL means the delegate was initialized by 
1036                  * mini_delegate_ctor, while != NULL means it is initialized by 
1037                  * mono_delegate_ctor_with_method (). In both cases, we need to add wrappers
1038                  * (ctor_with_method () does this, but it doesn't store the wrapper back into
1039                  * delegate->method).
1040                  */
1041 #ifndef DISABLE_REMOTING
1042                 if (delegate->target && delegate->target->vtable->klass == mono_defaults.transparent_proxy_class) {
1043                         is_remote = TRUE;
1044 #ifndef DISABLE_COM
1045                         if (((MonoTransparentProxy *)delegate->target)->remote_class->proxy_class != mono_class_get_com_object_class () &&
1046                            !mono_class_is_com_object (((MonoTransparentProxy *)delegate->target)->remote_class->proxy_class))
1047 #endif
1048                                 method = mono_marshal_get_remoting_invoke (method);
1049                 }
1050 #endif
1051                 if (!is_remote) {
1052                         sig = tramp_info->sig;
1053                         if (!(sig && method == tramp_info->method)) {
1054                                 mono_error_init (&err);
1055                                 sig = mono_method_signature_checked (method, &err);
1056                                 if (!sig)
1057                                         mono_error_raise_exception (&err);
1058                         }
1059
1060                         if (sig->hasthis && method->klass->valuetype) {
1061                                 if (mono_aot_only)
1062                                         need_unbox_tramp = TRUE;
1063                                 else
1064                                         method = mono_marshal_get_unbox_wrapper (method);
1065                         }
1066                 }
1067         } else {
1068                 ji = mono_jit_info_table_find (domain, mono_get_addr_from_ftnptr (delegate->method_ptr));
1069                 if (ji)
1070                         method = jinfo_get_method (ji);
1071         }
1072
1073         if (method) {
1074                 sig = tramp_info->sig;
1075                 if (!(sig && method == tramp_info->method)) {
1076                         mono_error_init (&err);
1077                         sig = mono_method_signature_checked (method, &err);
1078                         if (!sig)
1079                                 mono_error_raise_exception (&err);
1080                 }
1081
1082                 callvirt = !delegate->target && sig->hasthis;
1083                 if (callvirt)
1084                         closed_over_null = tramp_info->invoke_sig->param_count == sig->param_count;
1085
1086                 if (callvirt && !closed_over_null) {
1087                         /*
1088                          * The delegate needs to make a virtual call to the target method using its
1089                          * first argument as the receiver. This is hard to support in full-aot, so
1090                          * optimize it in some cases if possible.
1091                          * If the target method is not virtual or is in a sealed class,
1092                          * the vcall will call it directly.
1093                          * If the call doesn't return a valuetype, then the vcall uses the same calling
1094                          * convention as a normal call.
1095                          */
1096                         if (((method->klass->flags & TYPE_ATTRIBUTE_SEALED) || !(method->flags & METHOD_ATTRIBUTE_VIRTUAL)) && !MONO_TYPE_ISSTRUCT (sig->ret)) {
1097                                 callvirt = FALSE;
1098                                 enable_caching = FALSE;
1099                         }
1100                 }
1101
1102                 if (delegate->target && 
1103                         method->flags & METHOD_ATTRIBUTE_VIRTUAL && 
1104                         method->flags & METHOD_ATTRIBUTE_ABSTRACT &&
1105                         method->klass->flags & TYPE_ATTRIBUTE_ABSTRACT) {
1106                         method = mono_object_get_virtual_method (delegate->target, method);
1107                         enable_caching = FALSE;
1108                 }
1109
1110                 if (method->iflags & METHOD_IMPL_ATTRIBUTE_SYNCHRONIZED)
1111                         method = mono_marshal_get_synchronized_wrapper (method);
1112
1113                 if (method == tramp_info->method)
1114                         need_rgctx_tramp = tramp_info->need_rgctx_tramp;
1115                 else if (mono_method_needs_static_rgctx_invoke (method, FALSE))
1116                         need_rgctx_tramp = TRUE;
1117         }
1118
1119         /* 
1120          * If the called address is a trampoline, replace it with the compiled method so
1121          * further calls don't have to go through the trampoline.
1122          */
1123         if (method && !callvirt) {
1124                 /* Avoid the overhead of looking up an already compiled method if possible */
1125                 if (enable_caching && delegate->method_code && *delegate->method_code) {
1126                         delegate->method_ptr = *delegate->method_code;
1127                 } else {
1128                         compiled_method = addr = mono_compile_method (method);
1129                         addr = mini_add_method_trampoline (NULL, method, compiled_method, need_rgctx_tramp, need_unbox_tramp);
1130                         delegate->method_ptr = addr;
1131                         if (enable_caching && delegate->method_code)
1132                                 *delegate->method_code = delegate->method_ptr;
1133                 }
1134         } else {
1135                 if (need_rgctx_tramp)
1136                         delegate->method_ptr = mono_create_static_rgctx_trampoline (method, delegate->method_ptr);
1137         }
1138
1139         /* Necessary for !code condition to fallback to slow path */
1140         code = NULL;
1141
1142         multicast = ((MonoMulticastDelegate*)delegate)->prev != NULL;
1143         if (!multicast && !callvirt) {
1144                 if (method && (method->flags & METHOD_ATTRIBUTE_STATIC) && mono_method_signature (method)->param_count == mono_method_signature (invoke)->param_count + 1)
1145                         /* Closed static delegate */
1146                         code = impl_this;
1147                 else
1148                         code = delegate->target ? impl_this : impl_nothis;
1149         }
1150
1151         if (!code) {
1152                 /* The general, unoptimized case */
1153                 m = mono_marshal_get_delegate_invoke (invoke, delegate);
1154                 code = mono_compile_method (m);
1155                 code = mini_add_method_trampoline (NULL, m, code, mono_method_needs_static_rgctx_invoke (m, FALSE), FALSE);
1156         }
1157
1158         delegate->invoke_impl = mono_get_addr_from_ftnptr (code);
1159         if (enable_caching && !callvirt && tramp_info->method) {
1160                 tramp_info->method_ptr = delegate->method_ptr;
1161                 tramp_info->invoke_impl = delegate->invoke_impl;
1162         }
1163
1164         return code;
1165 }
1166
1167 #endif
1168
1169 #ifdef MONO_ARCH_HAVE_HANDLER_BLOCK_GUARD
1170 static gpointer
1171 mono_handler_block_guard_trampoline (mgreg_t *regs, guint8 *code, gpointer *tramp_info, guint8* tramp)
1172 {
1173         MonoContext ctx;
1174         MonoException *exc;
1175         MonoJitTlsData *jit_tls = mono_native_tls_get_value (mono_jit_tls_id);
1176         gpointer resume_ip = jit_tls->handler_block_return_address;
1177
1178         memcpy (&ctx, &jit_tls->handler_block_context, sizeof (MonoContext));
1179         MONO_CONTEXT_SET_IP (&ctx, jit_tls->handler_block_return_address);
1180
1181         jit_tls->handler_block_return_address = NULL;
1182         jit_tls->handler_block = NULL;
1183
1184         if (!resume_ip) /*this should not happen, but we should avoid crashing */
1185                 exc = mono_get_exception_execution_engine ("Invalid internal state, resuming abort after handler block but no resume ip found");
1186         else
1187                 exc = mono_thread_resume_interruption ();
1188
1189         if (exc) {
1190                 mono_handle_exception (&ctx, exc);
1191                 mono_restore_context (&ctx);
1192         }
1193
1194         return resume_ip;
1195 }
1196
1197 gpointer
1198 mono_create_handler_block_trampoline (void)
1199 {
1200         static gpointer code;
1201         if (code) {
1202                 mono_memory_barrier ();
1203                 return code;
1204         }
1205
1206         g_assert (!mono_aot_only);
1207
1208         mono_trampolines_lock ();
1209
1210         if (!code) {
1211                 MonoTrampInfo *info;
1212                 gpointer tmp;
1213
1214                 tmp = mono_arch_create_handler_block_trampoline (&info, FALSE);
1215                 mono_tramp_info_register (info);
1216                 mono_memory_barrier ();
1217                 code = tmp;
1218         }
1219         mono_trampolines_unlock ();
1220
1221         return code;
1222 }
1223 #endif
1224
1225 /*
1226  * mono_get_trampoline_func:
1227  *
1228  *   Return the C function which needs to be called by the generic trampoline of type
1229  * TRAMP_TYPE.
1230  */
1231 gconstpointer
1232 mono_get_trampoline_func (MonoTrampolineType tramp_type)
1233 {
1234         switch (tramp_type) {
1235         case MONO_TRAMPOLINE_JIT:
1236         case MONO_TRAMPOLINE_JUMP:
1237                 return mono_magic_trampoline;
1238         case MONO_TRAMPOLINE_CLASS_INIT:
1239                 return mono_class_init_trampoline;
1240         case MONO_TRAMPOLINE_GENERIC_CLASS_INIT:
1241                 return mono_generic_class_init_trampoline;
1242         case MONO_TRAMPOLINE_RGCTX_LAZY_FETCH:
1243                 return mono_rgctx_lazy_fetch_trampoline;
1244 #ifdef MONO_ARCH_AOT_SUPPORTED
1245         case MONO_TRAMPOLINE_AOT:
1246                 return mono_aot_trampoline;
1247         case MONO_TRAMPOLINE_AOT_PLT:
1248                 return mono_aot_plt_trampoline;
1249 #endif
1250 #ifdef MONO_ARCH_HAVE_CREATE_DELEGATE_TRAMPOLINE
1251         case MONO_TRAMPOLINE_DELEGATE:
1252                 return mono_delegate_trampoline;
1253 #endif
1254         case MONO_TRAMPOLINE_RESTORE_STACK_PROT:
1255                 return mono_altstack_restore_prot;
1256 #ifndef DISABLE_REMOTING
1257         case MONO_TRAMPOLINE_GENERIC_VIRTUAL_REMOTING:
1258                 return mono_generic_virtual_remoting_trampoline;
1259 #endif
1260         case MONO_TRAMPOLINE_MONITOR_ENTER:
1261                 return mono_monitor_enter_trampoline;
1262         case MONO_TRAMPOLINE_MONITOR_EXIT:
1263                 return mono_monitor_exit_trampoline;
1264         case MONO_TRAMPOLINE_VCALL:
1265                 return mono_vcall_trampoline;
1266 #ifdef MONO_ARCH_HAVE_HANDLER_BLOCK_GUARD
1267         case MONO_TRAMPOLINE_HANDLER_BLOCK_GUARD:
1268                 return mono_handler_block_guard_trampoline;
1269 #endif
1270         default:
1271                 g_assert_not_reached ();
1272                 return NULL;
1273         }
1274 }
1275
1276 static guchar*
1277 create_trampoline_code (MonoTrampolineType tramp_type)
1278 {
1279         MonoTrampInfo *info;
1280         guchar *code;
1281
1282         code = mono_arch_create_generic_trampoline (tramp_type, &info, FALSE);
1283         mono_tramp_info_register (info);
1284
1285         return code;
1286 }
1287
1288 void
1289 mono_trampolines_init (void)
1290 {
1291         mono_mutex_init_recursive (&trampolines_mutex);
1292
1293         if (mono_aot_only)
1294                 return;
1295
1296         mono_trampoline_code [MONO_TRAMPOLINE_JIT] = create_trampoline_code (MONO_TRAMPOLINE_JIT);
1297         mono_trampoline_code [MONO_TRAMPOLINE_JUMP] = create_trampoline_code (MONO_TRAMPOLINE_JUMP);
1298         mono_trampoline_code [MONO_TRAMPOLINE_CLASS_INIT] = create_trampoline_code (MONO_TRAMPOLINE_CLASS_INIT);
1299         mono_trampoline_code [MONO_TRAMPOLINE_GENERIC_CLASS_INIT] = create_trampoline_code (MONO_TRAMPOLINE_GENERIC_CLASS_INIT);
1300         mono_trampoline_code [MONO_TRAMPOLINE_RGCTX_LAZY_FETCH] = create_trampoline_code (MONO_TRAMPOLINE_RGCTX_LAZY_FETCH);
1301 #ifdef MONO_ARCH_AOT_SUPPORTED
1302         mono_trampoline_code [MONO_TRAMPOLINE_AOT] = create_trampoline_code (MONO_TRAMPOLINE_AOT);
1303         mono_trampoline_code [MONO_TRAMPOLINE_AOT_PLT] = create_trampoline_code (MONO_TRAMPOLINE_AOT_PLT);
1304 #endif
1305 #ifdef MONO_ARCH_HAVE_CREATE_DELEGATE_TRAMPOLINE
1306         mono_trampoline_code [MONO_TRAMPOLINE_DELEGATE] = create_trampoline_code (MONO_TRAMPOLINE_DELEGATE);
1307 #endif
1308         mono_trampoline_code [MONO_TRAMPOLINE_RESTORE_STACK_PROT] = create_trampoline_code (MONO_TRAMPOLINE_RESTORE_STACK_PROT);
1309 #ifndef DISABLE_REMOTING
1310         mono_trampoline_code [MONO_TRAMPOLINE_GENERIC_VIRTUAL_REMOTING] = create_trampoline_code (MONO_TRAMPOLINE_GENERIC_VIRTUAL_REMOTING);
1311 #endif
1312         mono_trampoline_code [MONO_TRAMPOLINE_MONITOR_ENTER] = create_trampoline_code (MONO_TRAMPOLINE_MONITOR_ENTER);
1313         mono_trampoline_code [MONO_TRAMPOLINE_MONITOR_EXIT] = create_trampoline_code (MONO_TRAMPOLINE_MONITOR_EXIT);
1314         mono_trampoline_code [MONO_TRAMPOLINE_VCALL] = create_trampoline_code (MONO_TRAMPOLINE_VCALL);
1315 #ifdef MONO_ARCH_HAVE_HANDLER_BLOCK_GUARD
1316         mono_trampoline_code [MONO_TRAMPOLINE_HANDLER_BLOCK_GUARD] = create_trampoline_code (MONO_TRAMPOLINE_HANDLER_BLOCK_GUARD);
1317         mono_create_handler_block_trampoline ();
1318 #endif
1319
1320         mono_counters_register ("Calls to trampolines", MONO_COUNTER_JIT | MONO_COUNTER_INT, &trampoline_calls);
1321         mono_counters_register ("JIT trampolines", MONO_COUNTER_JIT | MONO_COUNTER_INT, &jit_trampolines);
1322         mono_counters_register ("Unbox trampolines", MONO_COUNTER_JIT | MONO_COUNTER_INT, &unbox_trampolines);
1323         mono_counters_register ("Static rgctx trampolines", MONO_COUNTER_JIT | MONO_COUNTER_INT, &static_rgctx_trampolines);
1324 }
1325
1326 void
1327 mono_trampolines_cleanup (void)
1328 {
1329         if (class_init_hash_addr)
1330                 g_hash_table_destroy (class_init_hash_addr);
1331         if (rgctx_lazy_fetch_trampoline_hash)
1332                 g_hash_table_destroy (rgctx_lazy_fetch_trampoline_hash);
1333         if (rgctx_lazy_fetch_trampoline_hash_addr)
1334                 g_hash_table_destroy (rgctx_lazy_fetch_trampoline_hash_addr);
1335
1336         mono_mutex_destroy (&trampolines_mutex);
1337 }
1338
1339 guint8 *
1340 mono_get_trampoline_code (MonoTrampolineType tramp_type)
1341 {
1342         g_assert (mono_trampoline_code [tramp_type]);
1343
1344         return mono_trampoline_code [tramp_type];
1345 }
1346
1347 gpointer
1348 mono_create_specific_trampoline (gpointer arg1, MonoTrampolineType tramp_type, MonoDomain *domain, guint32 *code_len)
1349 {
1350         if (mono_aot_only)
1351                 return mono_aot_create_specific_trampoline (mono_defaults.corlib, arg1, tramp_type, domain, code_len);
1352         else
1353                 return mono_arch_create_specific_trampoline (arg1, tramp_type, domain, code_len);
1354 }
1355
1356 gpointer
1357 mono_create_class_init_trampoline (MonoVTable *vtable)
1358 {
1359         gpointer code, ptr;
1360         MonoDomain *domain = vtable->domain;
1361
1362         g_assert (!vtable->klass->generic_container);
1363
1364         /* previously created trampoline code */
1365         mono_domain_lock (domain);
1366         ptr = 
1367                 g_hash_table_lookup (domain_jit_info (domain)->class_init_trampoline_hash,
1368                                                                   vtable);
1369         mono_domain_unlock (domain);
1370         if (ptr)
1371                 return ptr;
1372
1373         code = mono_create_specific_trampoline (vtable, MONO_TRAMPOLINE_CLASS_INIT, domain, NULL);
1374
1375         ptr = mono_create_ftnptr (domain, code);
1376
1377         /* store trampoline address */
1378         mono_domain_lock (domain);
1379         g_hash_table_insert (domain_jit_info (domain)->class_init_trampoline_hash,
1380                                                           vtable, ptr);
1381         mono_domain_unlock (domain);
1382
1383         mono_trampolines_lock ();
1384         if (!class_init_hash_addr)
1385                 class_init_hash_addr = g_hash_table_new (NULL, NULL);
1386         g_hash_table_insert (class_init_hash_addr, ptr, vtable);
1387         mono_trampolines_unlock ();
1388
1389         return ptr;
1390 }
1391
1392 gpointer
1393 mono_create_generic_class_init_trampoline (void)
1394 {
1395 #ifdef MONO_ARCH_VTABLE_REG
1396         static gpointer code;
1397         MonoTrampInfo *info;
1398
1399         mono_trampolines_lock ();
1400
1401         if (!code) {
1402                 if (mono_aot_only)
1403                         /* get_named_code () might return an ftnptr, but our caller expects a direct pointer */
1404                         code = mono_get_addr_from_ftnptr (mono_aot_get_trampoline ("generic_class_init_trampoline"));
1405                 else {
1406                         code = mono_arch_create_generic_class_init_trampoline (&info, FALSE);
1407                         mono_tramp_info_register (info);
1408                 }
1409         }
1410
1411         mono_trampolines_unlock ();
1412
1413         return code;
1414 #else
1415         g_assert_not_reached ();
1416 #endif
1417 }
1418
1419 gpointer
1420 mono_create_jump_trampoline (MonoDomain *domain, MonoMethod *method, gboolean add_sync_wrapper)
1421 {
1422         MonoJitInfo *ji;
1423         gpointer code;
1424         guint32 code_size = 0;
1425
1426         code = mono_jit_find_compiled_method_with_jit_info (domain, method, &ji);
1427         /*
1428          * We cannot recover the correct type of a shared generic
1429          * method from its native code address, so we use the
1430          * trampoline instead.
1431          * For synchronized methods, the trampoline adds the wrapper.
1432          */
1433         if (code && !ji->has_generic_jit_info && !(method->iflags & METHOD_IMPL_ATTRIBUTE_SYNCHRONIZED))
1434                 return code;
1435
1436         mono_domain_lock (domain);
1437         code = g_hash_table_lookup (domain_jit_info (domain)->jump_trampoline_hash, method);
1438         mono_domain_unlock (domain);
1439         if (code)
1440                 return code;
1441
1442         code = mono_create_specific_trampoline (method, MONO_TRAMPOLINE_JUMP, mono_domain_get (), &code_size);
1443         g_assert (code_size);
1444
1445         ji = mono_domain_alloc0 (domain, MONO_SIZEOF_JIT_INFO);
1446         ji->code_start = code;
1447         ji->code_size = code_size;
1448         ji->d.method = method;
1449
1450         /*
1451          * mono_delegate_ctor needs to find the method metadata from the 
1452          * trampoline address, so we save it here.
1453          */
1454
1455         mono_jit_info_table_add (domain, ji);
1456
1457         mono_domain_lock (domain);
1458         g_hash_table_insert (domain_jit_info (domain)->jump_trampoline_hash, method, ji->code_start);
1459         mono_domain_unlock (domain);
1460
1461         return ji->code_start;
1462 }
1463
1464 gpointer
1465 mono_create_jit_trampoline_in_domain (MonoDomain *domain, MonoMethod *method)
1466 {
1467         gpointer tramp;
1468
1469         if (mono_aot_only) {
1470                 /* Avoid creating trampolines if possible */
1471                 gpointer code = mono_jit_find_compiled_method (domain, method);
1472                 
1473                 if (code)
1474                         return code;
1475         }
1476
1477         mono_domain_lock (domain);
1478         tramp = g_hash_table_lookup (domain_jit_info (domain)->jit_trampoline_hash, method);
1479         mono_domain_unlock (domain);
1480         if (tramp)
1481                 return tramp;
1482
1483         tramp = mono_create_specific_trampoline (method, MONO_TRAMPOLINE_JIT, domain, NULL);
1484         
1485         mono_domain_lock (domain);
1486         g_hash_table_insert (domain_jit_info (domain)->jit_trampoline_hash, method, tramp);
1487         mono_domain_unlock (domain);
1488
1489         jit_trampolines++;
1490
1491         return tramp;
1492 }       
1493
1494 gpointer
1495 mono_create_jit_trampoline (MonoMethod *method)
1496 {
1497         return mono_create_jit_trampoline_in_domain (mono_domain_get (), method);
1498 }
1499
1500 gpointer
1501 mono_create_jit_trampoline_from_token (MonoImage *image, guint32 token)
1502 {
1503         gpointer tramp;
1504
1505         MonoDomain *domain = mono_domain_get ();
1506         guint8 *buf, *start;
1507
1508         buf = start = mono_domain_alloc0 (domain, 2 * sizeof (gpointer));
1509
1510         *(gpointer*)(gpointer)buf = image;
1511         buf += sizeof (gpointer);
1512         *(guint32*)(gpointer)buf = token;
1513
1514         tramp = mono_create_specific_trampoline (start, MONO_TRAMPOLINE_AOT, domain, NULL);
1515
1516         jit_trampolines++;
1517
1518         return tramp;
1519 }       
1520
1521
1522 /*
1523  * mono_create_delegate_trampoline_info:
1524  *
1525  *   Create a delegate trampoline for the KLASS+METHOD pair.
1526  */
1527 MonoDelegateTrampInfo*
1528 mono_create_delegate_trampoline_info (MonoDomain *domain, MonoClass *klass, MonoMethod *method)
1529 {
1530 #ifdef MONO_ARCH_HAVE_CREATE_DELEGATE_TRAMPOLINE
1531         MonoDelegateTrampInfo *tramp_info;
1532         MonoClassMethodPair pair, *dpair;
1533         guint32 code_size = 0;
1534
1535         pair.klass = klass;
1536         pair.method = method;
1537         mono_domain_lock (domain);
1538         tramp_info = g_hash_table_lookup (domain_jit_info (domain)->delegate_trampoline_hash, &pair);
1539         mono_domain_unlock (domain);
1540         if (tramp_info)
1541                 return tramp_info;
1542
1543         tramp_info = create_delegate_trampoline_data (domain, klass, method);
1544
1545         tramp_info->invoke_impl = mono_create_specific_trampoline (tramp_info, MONO_TRAMPOLINE_DELEGATE, domain, &code_size);
1546         g_assert (code_size);
1547
1548         dpair = mono_domain_alloc0 (domain, sizeof (MonoClassMethodPair));
1549         memcpy (dpair, &pair, sizeof (MonoClassMethodPair));
1550
1551         /* store trampoline address */
1552         mono_domain_lock (domain);
1553         g_hash_table_insert (domain_jit_info (domain)->delegate_trampoline_hash, dpair, tramp_info);
1554         mono_domain_unlock (domain);
1555
1556         return tramp_info;
1557 #else
1558         return NULL;
1559 #endif
1560 }
1561
1562 gpointer
1563 mono_create_delegate_trampoline (MonoDomain *domain, MonoClass *klass)
1564 {
1565 #ifdef MONO_ARCH_HAVE_CREATE_DELEGATE_TRAMPOLINE
1566         return mono_create_delegate_trampoline_info (domain, klass, NULL)->invoke_impl;
1567 #else
1568         return NULL;
1569 #endif
1570 }
1571
1572 gpointer
1573 mono_create_delegate_virtual_trampoline (MonoDomain *domain, MonoClass *klass, MonoMethod *method)
1574 {
1575 #ifdef MONO_ARCH_HAVE_CREATE_DELEGATE_TRAMPOLINE
1576         MonoMethod *invoke = mono_get_delegate_invoke (klass);
1577         g_assert (invoke);
1578
1579         return mono_get_delegate_virtual_invoke_impl (mono_method_signature (invoke), method);
1580 #else
1581         return NULL;
1582 #endif
1583 }
1584
1585 gpointer
1586 mono_create_rgctx_lazy_fetch_trampoline (guint32 offset)
1587 {
1588         static gboolean inited = FALSE;
1589         static int num_trampolines = 0;
1590         MonoTrampInfo *info;
1591
1592         gpointer tramp, ptr;
1593
1594         mono_trampolines_lock ();
1595         if (rgctx_lazy_fetch_trampoline_hash)
1596                 tramp = g_hash_table_lookup (rgctx_lazy_fetch_trampoline_hash, GUINT_TO_POINTER (offset));
1597         else
1598                 tramp = NULL;
1599         mono_trampolines_unlock ();
1600         if (tramp)
1601                 return tramp;
1602
1603         if (mono_aot_only) {
1604                 ptr = mono_aot_get_lazy_fetch_trampoline (offset);
1605         } else {
1606                 tramp = mono_arch_create_rgctx_lazy_fetch_trampoline (offset, &info, FALSE);
1607                 mono_tramp_info_register (info);
1608                 ptr = mono_create_ftnptr (mono_get_root_domain (), tramp);
1609         }
1610
1611         mono_trampolines_lock ();
1612         if (!rgctx_lazy_fetch_trampoline_hash) {
1613                 rgctx_lazy_fetch_trampoline_hash = g_hash_table_new (NULL, NULL);
1614                 rgctx_lazy_fetch_trampoline_hash_addr = g_hash_table_new (NULL, NULL);
1615         }
1616         g_hash_table_insert (rgctx_lazy_fetch_trampoline_hash, GUINT_TO_POINTER (offset), ptr);
1617         g_assert (offset != -1);
1618         g_hash_table_insert (rgctx_lazy_fetch_trampoline_hash_addr, ptr, GUINT_TO_POINTER (offset + 1));
1619         mono_trampolines_unlock ();
1620
1621         if (!inited) {
1622                 mono_counters_register ("RGCTX num lazy fetch trampolines",
1623                                 MONO_COUNTER_GENERICS | MONO_COUNTER_INT, &num_trampolines);
1624                 inited = TRUE;
1625         }
1626         num_trampolines++;
1627
1628         return ptr;
1629 }
1630
1631 gpointer
1632 mono_create_monitor_enter_trampoline (void)
1633 {
1634         static gpointer code;
1635
1636         if (mono_aot_only) {
1637                 if (!code)
1638                         code = mono_aot_get_trampoline ("monitor_enter_trampoline");
1639                 return code;
1640         }
1641
1642 #ifdef MONO_ARCH_MONITOR_OBJECT_REG
1643         mono_trampolines_lock ();
1644
1645         if (!code) {
1646                 MonoTrampInfo *info;
1647
1648                 code = mono_arch_create_monitor_enter_trampoline (&info, FALSE);
1649                 mono_tramp_info_register (info);
1650         }
1651
1652         mono_trampolines_unlock ();
1653 #else
1654         code = NULL;
1655         g_assert_not_reached ();
1656 #endif
1657
1658         return code;
1659 }
1660
1661 gpointer
1662 mono_create_monitor_exit_trampoline (void)
1663 {
1664         static gpointer code;
1665
1666         if (mono_aot_only) {
1667                 if (!code)
1668                         code = mono_aot_get_trampoline ("monitor_exit_trampoline");
1669                 return code;
1670         }
1671
1672 #ifdef MONO_ARCH_MONITOR_OBJECT_REG
1673         mono_trampolines_lock ();
1674
1675         if (!code) {
1676                 MonoTrampInfo *info;
1677
1678                 code = mono_arch_create_monitor_exit_trampoline (&info, FALSE);
1679                 mono_tramp_info_register (info);
1680         }
1681
1682         mono_trampolines_unlock ();
1683 #else
1684         code = NULL;
1685         g_assert_not_reached ();
1686 #endif
1687         return code;
1688 }
1689  
1690 #ifdef MONO_ARCH_LLVM_SUPPORTED
1691 /*
1692  * mono_create_llvm_imt_trampoline:
1693  *
1694  *   LLVM compiled code can't pass in the IMT argument, so we use this trampoline, which
1695  * sets the IMT argument, then branches to the contents of the vtable slot given by
1696  * vt_offset in the vtable which is obtained from the argument list.
1697  */
1698 gpointer
1699 mono_create_llvm_imt_trampoline (MonoDomain *domain, MonoMethod *m, int vt_offset)
1700 {
1701 #ifdef MONO_ARCH_HAVE_LLVM_IMT_TRAMPOLINE
1702         return mono_arch_get_llvm_imt_trampoline (domain, m, vt_offset);
1703 #else
1704         g_assert_not_reached ();
1705         return NULL;
1706 #endif
1707 }
1708 #endif
1709
1710 MonoVTable*
1711 mono_find_class_init_trampoline_by_addr (gconstpointer addr)
1712 {
1713         MonoVTable *res;
1714
1715         mono_trampolines_lock ();
1716         if (class_init_hash_addr)
1717                 res = g_hash_table_lookup (class_init_hash_addr, addr);
1718         else
1719                 res = NULL;
1720         mono_trampolines_unlock ();
1721         return res;
1722 }
1723
1724 guint32
1725 mono_find_rgctx_lazy_fetch_trampoline_by_addr (gconstpointer addr)
1726 {
1727         int offset;
1728
1729         mono_trampolines_lock ();
1730         if (rgctx_lazy_fetch_trampoline_hash_addr) {
1731                 /* We store the real offset + 1 so we can detect when the lookup fails */
1732                 offset = GPOINTER_TO_INT (g_hash_table_lookup (rgctx_lazy_fetch_trampoline_hash_addr, addr));
1733                 if (offset)
1734                         offset -= 1;
1735                 else
1736                         offset = -1;
1737         } else {
1738                 offset = -1;
1739         }
1740         mono_trampolines_unlock ();
1741         return offset;
1742 }
1743
1744 static const char*tramp_names [MONO_TRAMPOLINE_NUM] = {
1745         "jit",
1746         "jump",
1747         "class_init",
1748         "generic_class_init",
1749         "rgctx_lazy_fetch",
1750         "aot",
1751         "aot_plt",
1752         "delegate",
1753         "restore_stack_prot",
1754         "generic_virtual_remoting",
1755         "monitor_enter",
1756         "monitor_exit",
1757         "vcall",
1758         "handler_block_guard"
1759 };
1760
1761 /*
1762  * mono_get_generic_trampoline_name:
1763  *
1764  *   Returns a pointer to malloc-ed memory.
1765  */
1766 char*
1767 mono_get_generic_trampoline_name (MonoTrampolineType tramp_type)
1768 {
1769         return g_strdup_printf ("generic_trampoline_%s", tramp_names [tramp_type]);
1770 }
1771
1772 /*
1773  * mono_get_rgctx_fetch_trampoline_name:
1774  *
1775  *   Returns a pointer to malloc-ed memory.
1776  */
1777 char*
1778 mono_get_rgctx_fetch_trampoline_name (int slot)
1779 {
1780         gboolean mrgctx;
1781         int index;
1782
1783         mrgctx = MONO_RGCTX_SLOT_IS_MRGCTX (slot);
1784         index = MONO_RGCTX_SLOT_INDEX (slot);
1785
1786         return g_strdup_printf ("rgctx_fetch_trampoline_%s_%d", mrgctx ? "mrgctx" : "rgctx", index);
1787 }
1788
1789 gpointer
1790 mini_get_nullified_class_init_trampoline (void)
1791 {
1792         static gpointer nullified_class_init_trampoline;
1793
1794         if (!nullified_class_init_trampoline) {
1795                 gpointer tramp;
1796                 MonoTrampInfo *info;
1797
1798                 if (mono_aot_only) {
1799                         tramp = mono_aot_get_trampoline ("nullified_class_init_trampoline");
1800                 } else {
1801                         tramp = mono_arch_get_nullified_class_init_trampoline (&info);
1802                         mono_tramp_info_register (info);
1803                 }
1804                 mono_memory_barrier ();
1805                 nullified_class_init_trampoline = tramp;
1806         }
1807
1808         return nullified_class_init_trampoline;
1809 }