2004-05-25 Atsushi Enomoto <atsushi@ximian.com>
[mono.git] / mono / metadata / marshal.c
index 5160972094823eb5a2013e1f22c79f0eceb42371..7f04c457615669b678256a4d84482d6b68d008fc 100644 (file)
@@ -17,6 +17,7 @@
 #include "metadata/appdomain.h"
 #include "mono/metadata/debug-helpers.h"
 #include "mono/metadata/threadpool.h"
+#include "mono/metadata/threads.h"
 #include "mono/metadata/monitor.h"
 #include <string.h>
 #include <errno.h>
@@ -133,6 +134,21 @@ mono_delegate_to_ftnptr (MonoDelegate *delegate)
        return delegate->delegate_trampoline;
 }
 
+MonoDelegate*
+mono_ftnptr_to_delegate (MonoClass *klass, gpointer ftn)
+{
+       MonoDelegate *d;
+
+       d = (MonoDelegate*)mono_object_new (mono_domain_get (), klass);
+
+       /* FIXME: Add a managed->native wrapper */
+       g_assert_not_reached ();
+
+       mono_delegate_ctor ((MonoObject*)d, NULL, ftn);
+
+       return d;
+}
+
 gpointer
 mono_array_to_savearray (MonoArray *array)
 {
@@ -559,26 +575,33 @@ mono_mb_emit_branch (MonoMethodBuilder *mb, guint8 op)
        return res;
 }
 
+static void
+mono_mb_emit_calli (MonoMethodBuilder *mb, MonoMethodSignature *sig)
+{
+       mono_mb_emit_byte (mb, CEE_CALLI);
+       mono_mb_emit_i4 (mb, mono_mb_add_data (mb, sig));
+}
+
 void
 mono_mb_emit_managed_call (MonoMethodBuilder *mb, MonoMethod *method, MonoMethodSignature *opt_sig)
 {
-       if (!opt_sig)
-               opt_sig = method->signature;
        mono_mb_emit_byte (mb, CEE_PREFIX1);
        mono_mb_emit_byte (mb, CEE_LDFTN);
        mono_mb_emit_i4 (mb, mono_mb_add_data (mb, method));
-       mono_mb_emit_byte (mb, CEE_CALLI);
-       mono_mb_emit_i4 (mb, mono_mb_add_data (mb, opt_sig));
+       mono_mb_emit_calli (mb, opt_sig ? opt_sig : method->signature);
 }
 
 void
 mono_mb_emit_native_call (MonoMethodBuilder *mb, MonoMethodSignature *sig, gpointer func)
 {
+       mono_mb_emit_byte (mb, MONO_CUSTOM_PREFIX);
+       mono_mb_emit_byte (mb, CEE_MONO_SAVE_LMF);
        mono_mb_emit_byte (mb, MONO_CUSTOM_PREFIX);
        mono_mb_emit_byte (mb, CEE_MONO_LDPTR);
        mono_mb_emit_i4 (mb, mono_mb_add_data (mb, func));
-       mono_mb_emit_byte (mb, CEE_CALLI);
-       mono_mb_emit_i4 (mb, mono_mb_add_data (mb, sig));
+       mono_mb_emit_calli (mb, sig);
+       mono_mb_emit_byte (mb, MONO_CUSTOM_PREFIX);
+       mono_mb_emit_byte (mb, CEE_MONO_RESTORE_LMF);
 }
 
 void
@@ -953,6 +976,10 @@ emit_struct_conv (MonoMethodBuilder *mb, MonoClass *klass, gboolean to_object)
                        msize = info->fields [i + 1].field->offset - info->fields [i].field->offset;
                        usize = info->fields [i + 1].offset - info->fields [i].offset;
                }
+               if ((msize < 0) || (usize < 0))
+                       /* This happens with GC aware auto layout */
+                       g_error ("Type %s which is passed to unmanaged code must have a StructLayout attribute", mono_type_full_name (&klass->byval_arg));
+
                g_assert ((msize >= 0) && (usize >= 0));
 
                switch (conv) {
@@ -1049,6 +1076,29 @@ emit_struct_conv (MonoMethodBuilder *mb, MonoClass *klass, gboolean to_object)
        }
 }
 
+static void
+emit_thread_interrupt_checkpoint (MonoMethodBuilder *mb)
+{
+       static MonoMethodSignature *state_check_sig = NULL;
+       int pos_noabort;
+       
+       if (!state_check_sig) {
+               state_check_sig = mono_metadata_signature_alloc (mono_defaults.corlib, 0);
+               state_check_sig->ret = &mono_defaults.void_class->byval_arg;
+               state_check_sig->pinvoke = 0;
+       }
+       
+       mono_mb_emit_byte (mb, MONO_CUSTOM_PREFIX);
+       mono_mb_emit_byte (mb, CEE_MONO_LDPTR);
+       mono_mb_emit_i4 (mb, mono_mb_add_data (mb, (gpointer) mono_thread_interruption_request_flag ()));
+       mono_mb_emit_byte (mb, CEE_LDIND_I4);
+       pos_noabort = mono_mb_emit_branch (mb, CEE_BRFALSE);
+
+       mono_mb_emit_native_call (mb, state_check_sig, mono_thread_interruption_checkpoint);
+       
+       mono_mb_patch_addr (mb, pos_noabort, mb->pos - (pos_noabort + 4));
+}
+
 static MonoAsyncResult *
 mono_delegate_begin_invoke (MonoDelegate *delegate, gpointer *params)
 {
@@ -1065,7 +1115,7 @@ mono_delegate_begin_invoke (MonoDelegate *delegate, gpointer *params)
        if (delegate->target && mono_object_class (delegate->target) == mono_defaults.transparent_proxy_class) {
 
                MonoTransparentProxy* tp = (MonoTransparentProxy *)delegate->target;
-               if (!tp->klass->contextbound || tp->rp->context != (MonoObject *) mono_context_get ()) {
+               if (!tp->remote_class->proxy_class->contextbound || tp->rp->context != (MonoObject *) mono_context_get ()) {
 
                        // If the target is a proxy, make a direct call. Is proxy's work
                        // to make the call asynchronous.
@@ -1076,7 +1126,7 @@ mono_delegate_begin_invoke (MonoDelegate *delegate, gpointer *params)
                        HANDLE handle;
                        method = delegate->method_info->method;
 
-                       msg = mono_method_call_message_new (method, params, NULL, &async_callback, &state);
+                       msg = mono_method_call_message_new (mono_marshal_method_from_wrapper (method), params, NULL, &async_callback, &state);
                        handle = CreateEvent (NULL, TRUE, FALSE, NULL);
                        ares = mono_async_result_new (mono_domain_get (), handle, state, handle);
                        ares->async_delegate = (MonoObject *)delegate;
@@ -1173,6 +1223,40 @@ mono_signature_to_name (MonoMethodSignature *sig, const char *prefix)
        return result;
 }
 
+/**
+ * mono_marshal_get_string_encoding:
+ *
+ *  Return the string encoding which should be used for a given parameter.
+ */
+static MonoMarshalNative
+mono_marshal_get_string_encoding (MonoMethodPInvoke *piinfo, MonoMarshalSpec *spec)
+{
+       /* First try the parameter marshal info */
+       if (spec) {
+               if (spec->native == MONO_NATIVE_LPARRAY) {
+                       if (spec->data.array_data.elem_type != 0)
+                               return spec->data.array_data.elem_type;
+               }
+               else
+                       return spec->native;
+       }
+
+       if (!piinfo)
+               return MONO_NATIVE_LPSTR;
+
+       /* Then try the method level marshal info */
+       switch (piinfo->piflags & PINVOKE_ATTRIBUTE_CHAR_SET_MASK) {
+       case PINVOKE_ATTRIBUTE_CHAR_SET_ANSI:
+               return MONO_NATIVE_LPSTR;
+       case PINVOKE_ATTRIBUTE_CHAR_SET_UNICODE:
+               return MONO_NATIVE_LPWSTR;
+       case PINVOKE_ATTRIBUTE_CHAR_SET_AUTO:
+               return MONO_NATIVE_LPTSTR;
+       default:
+               return MONO_NATIVE_LPSTR;
+       }
+}
+
 static inline MonoMethod*
 mono_marshal_find_in_cache (GHashTable *cache, gpointer key)
 {
@@ -1250,11 +1334,9 @@ mono_marshal_get_delegate_begin_invoke (MonoMethod *method)
        g_assert (sig->hasthis);
 
        if (!csig) {
-               int sigsize = sizeof (MonoMethodSignature) + 2 * sizeof (MonoType *);
-               csig = g_malloc0 (sigsize);
+               csig = mono_metadata_signature_alloc (method->klass->image, 2);
 
                /* MonoAsyncResult * begin_invoke (MonoDelegate *delegate, gpointer params[]) */
-               csig->param_count = 2;
                csig->ret = &mono_defaults.object_class->byval_arg;
                csig->params [0] = &mono_defaults.object_class->byval_arg;
                csig->params [1] = &mono_defaults.int_class->byval_arg;
@@ -1271,6 +1353,7 @@ mono_marshal_get_delegate_begin_invoke (MonoMethod *method)
        mono_mb_emit_ldarg (mb, 0);
        mono_mb_emit_ldloc (mb, params_var);
        mono_mb_emit_native_call (mb, csig, mono_delegate_begin_invoke);
+       emit_thread_interrupt_checkpoint (mb);
        mono_mb_emit_byte (mb, CEE_RET);
 
        res = mono_mb_create_and_cache (cache, sig, mb, sig, sig->param_count + 16);
@@ -1454,11 +1537,9 @@ mono_marshal_get_delegate_end_invoke (MonoMethod *method)
        g_assert (sig->hasthis);
 
        if (!csig) {
-               int sigsize = sizeof (MonoMethodSignature) + 2 * sizeof (MonoType *);
-               csig = g_malloc0 (sigsize);
+               csig = mono_metadata_signature_alloc (method->klass->image, 2);
 
                /* MonoObject *end_invoke (MonoDelegate *delegate, gpointer params[]) */
-               csig->param_count = 2;
                csig->ret = &mono_defaults.object_class->byval_arg;
                csig->params [0] = &mono_defaults.object_class->byval_arg;
                csig->params [1] = &mono_defaults.int_class->byval_arg;
@@ -1475,6 +1556,7 @@ mono_marshal_get_delegate_end_invoke (MonoMethod *method)
        mono_mb_emit_ldarg (mb, 0);
        mono_mb_emit_ldloc (mb, params_var);
        mono_mb_emit_native_call (mb, csig, mono_delegate_end_invoke);
+       emit_thread_interrupt_checkpoint (mb);
 
        if (sig->ret->type == MONO_TYPE_VOID) {
                mono_mb_emit_byte (mb, CEE_POP);
@@ -1505,7 +1587,7 @@ mono_remoting_wrapper (MonoMethod *method, gpointer *params)
        /* skip the this pointer */
        params++;
 
-       if (this->klass->contextbound && this->rp->context == (MonoObject *) mono_context_get ())
+       if (this->remote_class->proxy_class->contextbound && this->rp->context == (MonoObject *) mono_context_get ())
        {
                int i;
                MonoMethodSignature *sig = method->signature;
@@ -1582,6 +1664,7 @@ mono_marshal_get_remoting_invoke (MonoMethod *method)
        mono_mb_emit_i4 (mb, mono_mb_add_data (mb, method));
        mono_mb_emit_ldloc (mb, params_var);
        mono_mb_emit_native_call (mb, csig, mono_remoting_wrapper);
+       emit_thread_interrupt_checkpoint (mb);
 
        if (sig->ret->type == MONO_TYPE_VOID) {
                mono_mb_emit_byte (mb, CEE_POP);
@@ -1654,7 +1737,7 @@ MonoMethod *
 mono_marshal_get_delegate_invoke (MonoMethod *method)
 {
        MonoMethodSignature *sig, *static_sig;
-       int i, sigsize;
+       int i;
        MonoMethodBuilder *mb;
        MonoMethod *res;
        GHashTable *cache;
@@ -1670,8 +1753,7 @@ mono_marshal_get_delegate_invoke (MonoMethod *method)
        if ((res = mono_marshal_find_in_cache (cache, sig)))
                return res;
 
-       sigsize = sizeof (MonoMethodSignature) + sig->param_count * sizeof (MonoType *);
-       static_sig = g_memdup (sig, sigsize);
+       static_sig = mono_metadata_signature_dup (sig);
        static_sig->hasthis = 0;
 
        name = mono_signature_to_name (sig, "invoke");
@@ -1688,7 +1770,10 @@ mono_marshal_get_delegate_invoke (MonoMethod *method)
          *     prev.Invoke( args .. );
         * return this.<target>( args .. );
          */
-
+       
+       /* this wrapper can be used in unmanaged-managed transitions */
+       emit_thread_interrupt_checkpoint (mb);
+       
        /* get this->prev */
        mono_mb_emit_ldarg (mb, 0);
        mono_mb_emit_ldflda (mb, G_STRUCT_OFFSET (MonoMulticastDelegate, prev));
@@ -1763,44 +1848,57 @@ mono_marshal_get_delegate_invoke (MonoMethod *method)
 
 /*
  * generates IL code for the runtime invoke function 
- * MonoObject *runtime_invoke (MonoObject *this, void **params, MonoObject **exc)
+ * MonoObject *runtime_invoke (MonoObject *this, void **params, MonoObject **exc, void* method)
  *
  * we also catch exceptions if exc != null
  */
 MonoMethod *
 mono_marshal_get_runtime_invoke (MonoMethod *method)
 {
-       MonoMethodSignature *sig, *csig;
+       MonoMethodSignature *sig, *csig, *callsig;
        MonoExceptionClause *clause;
        MonoMethodHeader *header;
        MonoMethodBuilder *mb;
        MonoMethod *res;
        GHashTable *cache;
        static MonoString *string_dummy = NULL;
-       int i, pos, sigsize;
+       int i, pos;
+       char *name;
 
        g_assert (method);
+       
+       if (method->string_ctor) {
+               static MonoMethodSignature *strsig = NULL;
+               if (!strsig) {
+                       strsig = mono_metadata_signature_dup (method->signature);
+                       strsig->ret = &mono_defaults.string_class->byval_arg;
+               }
+               
+               callsig = strsig;
+       } else
+               callsig = method->signature;
 
        cache = method->klass->image->runtime_invoke_cache;
-       if ((res = mono_marshal_find_in_cache (cache, method)))
+       if ((res = mono_marshal_find_in_cache (cache, callsig)))
                return res;
-       
+
        /* to make it work with our special string constructors */
        if (!string_dummy)
                string_dummy = mono_string_new_wrapper ("dummy");
 
        sig = method->signature;
 
-       sigsize = sizeof (MonoMethodSignature) + 3 * sizeof (MonoType *);
-       csig = g_malloc0 (sigsize);
+       csig = mono_metadata_signature_alloc (method->klass->image, 4);
 
-       csig->param_count = 3;
        csig->ret = &mono_defaults.object_class->byval_arg;
        csig->params [0] = &mono_defaults.object_class->byval_arg;
        csig->params [1] = &mono_defaults.int_class->byval_arg;
        csig->params [2] = &mono_defaults.int_class->byval_arg;
+       csig->params [3] = &mono_defaults.int_class->byval_arg;
 
-       mb = mono_mb_new (method->klass, method->name, MONO_WRAPPER_RUNTIME_INVOKE);
+       name = mono_signature_to_name (callsig, "runtime_invoke");
+       mb = mono_mb_new (method->klass, name,  MONO_WRAPPER_RUNTIME_INVOKE);
+       g_free (name);
 
        /* allocate local 0 (object) tmp */
        mono_mb_add_local (mb, &mono_defaults.object_class->byval_arg);
@@ -1900,17 +1998,9 @@ handle_enum:
                        g_assert_not_reached ();
                }               
        }
-
-       if (method->string_ctor) {
-               MonoMethodSignature *strsig;
-
-               sigsize = sizeof (MonoMethodSignature) + sig->param_count * sizeof (MonoType *);
-               strsig = g_memdup (sig, sigsize);
-               strsig->ret = &mono_defaults.string_class->byval_arg;
-
-               mono_mb_emit_managed_call (mb, method, strsig);         
-       } else 
-               mono_mb_emit_managed_call (mb, method, NULL);
+       
+       mono_mb_emit_ldarg (mb, 3);
+       mono_mb_emit_calli (mb, callsig);
 
        if (sig->ret->byref) {
                /* fixme: */
@@ -1985,6 +2075,9 @@ handle_enum:
        mono_mb_emit_ldloc (mb, 1);
        mono_mb_emit_byte (mb, CEE_STIND_I);
 
+       mono_mb_emit_byte (mb, CEE_LDC_I4_0);
+       mono_mb_emit_stloc (mb, 0);
+
        mono_mb_emit_byte (mb, CEE_LEAVE);
        mono_mb_emit_i4 (mb, 0);
 
@@ -1995,8 +2088,7 @@ handle_enum:
        mono_mb_emit_ldloc (mb, 0);
        mono_mb_emit_byte (mb, CEE_RET);
        
-       res = mono_mb_create_and_cache (cache, method,
-                                                                                mb, csig, sig->param_count + 16);
+       res = mono_mb_create_and_cache (cache, callsig, mb, csig, sig->param_count + 16);
        mono_mb_free (mb);
 
        header = ((MonoMethodNormal *)res)->header;
@@ -2017,7 +2109,7 @@ mono_marshal_get_managed_wrapper (MonoMethod *method, MonoObject *this, MonoMars
        MonoClass *klass = NULL;
        MonoMethod *res;
        GHashTable *cache;
-       int i, pos = 0, sigsize, *tmp_locals;
+       int i, pos = 0, *tmp_locals;
        static MonoMethodSignature *alloc_sig = NULL;
        int retobj_var = 0;
 
@@ -2056,12 +2148,11 @@ mono_marshal_get_managed_wrapper (MonoMethod *method, MonoObject *this, MonoMars
                mono_mb_add_local (mb, sig->ret);
        }
 
-       mono_mb_emit_byte (mb, CEE_LDNULL);
+       mono_mb_emit_icon (mb, 0);
        mono_mb_emit_byte (mb, CEE_STLOC_2);
 
        /* we copy the signature, so that we can modify it */
-       sigsize = sizeof (MonoMethodSignature) + sig->param_count * sizeof (MonoType *);
-       csig = g_memdup (sig, sigsize);
+       csig = mono_metadata_signature_dup (sig);
        csig->hasthis = 0;
        csig->pinvoke = 1;
 
@@ -2150,11 +2241,24 @@ mono_marshal_get_managed_wrapper (MonoMethod *method, MonoObject *this, MonoMars
                case MONO_TYPE_CLASS: {
                        klass = t->data.klass;
 
+                       tmp_locals [i] = mono_mb_add_local (mb, &mono_defaults.int_class->byval_arg);
+
+                       if (klass->delegate) {
+                               g_assert (!t->byref);
+                               mono_mb_emit_byte (mb, MONO_CUSTOM_PREFIX);
+                               mono_mb_emit_byte (mb, CEE_MONO_LDPTR);
+                               mono_mb_emit_i4 (mb, mono_mb_add_data (mb, klass));
+                               mono_mb_emit_ldarg (mb, i);
+                               mono_mb_emit_byte (mb, MONO_CUSTOM_PREFIX);
+                               mono_mb_emit_byte (mb, CEE_MONO_FUNC2);
+                               mono_mb_emit_byte (mb, MONO_MARSHAL_CONV_FTN_DEL);
+                               mono_mb_emit_stloc (mb, tmp_locals [i]);
+                               break;
+                       }
+
                        /* FIXME: Raise a MarshalDirectiveException here */
                        g_assert ((klass->flags & TYPE_ATTRIBUTE_LAYOUT_MASK) != TYPE_ATTRIBUTE_AUTO_LAYOUT);
 
-                       tmp_locals [i] = mono_mb_add_local (mb, &mono_defaults.int_class->byval_arg);
-
                        if (t->attrs & PARAM_ATTRIBUTE_OUT) {
                                mono_mb_emit_byte (mb, CEE_LDNULL);
                                mono_mb_emit_stloc (mb, tmp_locals [i]);
@@ -2235,7 +2339,9 @@ mono_marshal_get_managed_wrapper (MonoMethod *method, MonoObject *this, MonoMars
                        if (t->byref)
                                mono_mb_patch_addr (mb, pos, mb->pos - (pos + 4));
                        break;
-               case MONO_TYPE_STRING:
+               case MONO_TYPE_STRING: {
+                       MonoMarshalNative encoding = mono_marshal_get_string_encoding (NULL, spec);
+
                        if (t->byref)
                                continue;
 
@@ -2245,9 +2351,26 @@ mono_marshal_get_managed_wrapper (MonoMethod *method, MonoObject *this, MonoMars
                        mono_mb_emit_ldarg (mb, i);
                        mono_mb_emit_byte (mb, MONO_CUSTOM_PREFIX);
                        mono_mb_emit_byte (mb, CEE_MONO_FUNC1);
-                       mono_mb_emit_byte (mb, MONO_MARSHAL_CONV_LPSTR_STR);
+
+                       switch (encoding) {
+                       case MONO_NATIVE_LPWSTR:
+                               mono_mb_emit_byte (mb, MONO_MARSHAL_CONV_LPWSTR_STR);
+                               break;
+                       case MONO_NATIVE_LPSTR:
+                               mono_mb_emit_byte (mb, MONO_MARSHAL_CONV_LPSTR_STR);
+                               break;
+                       default: {
+                                       char *msg = g_strdup_printf ("string marshalling conversion %d not implemented", encoding);
+                                       MonoException *exc = mono_get_exception_not_implemented (msg);
+                                       g_warning (msg);
+                                       g_free (msg);
+                                       mono_raise_exception (exc);
+                               }
+                       }
+
                        mono_mb_emit_stloc (mb, tmp_locals [i]);
                        break;  
+               }
                case MONO_TYPE_ARRAY:
                case MONO_TYPE_SZARRAY:
                        if (t->byref)
@@ -2326,6 +2449,7 @@ mono_marshal_get_managed_wrapper (MonoMethod *method, MonoObject *this, MonoMars
                }
        }
 
+       emit_thread_interrupt_checkpoint (mb);
        mono_mb_emit_managed_call (mb, method, NULL);
 
        if (!sig->ret->byref) { 
@@ -2376,6 +2500,7 @@ mono_marshal_get_managed_wrapper (MonoMethod *method, MonoObject *this, MonoMars
                        mono_mb_emit_icon (mb, mono_class_native_size (klass, NULL));
                        mono_mb_emit_byte (mb, CEE_CONV_I);
                        mono_mb_emit_native_call (mb, alloc_sig, mono_marshal_alloc);
+                       emit_thread_interrupt_checkpoint (mb);
                        mono_mb_emit_byte (mb, CEE_STLOC_1);
                        mono_mb_emit_byte (mb, CEE_LDLOC_1);
                        mono_mb_emit_stloc (mb, retobj_var);
@@ -2411,6 +2536,7 @@ mono_marshal_get_managed_wrapper (MonoMethod *method, MonoObject *this, MonoMars
                        mono_mb_emit_icon (mb, mono_class_native_size (klass, NULL));
                        mono_mb_emit_byte (mb, CEE_CONV_I);
                        mono_mb_emit_native_call (mb, alloc_sig, mono_marshal_alloc);
+                       emit_thread_interrupt_checkpoint (mb);
                        mono_mb_emit_byte (mb, CEE_DUP);
                        mono_mb_emit_byte (mb, CEE_STLOC_1);
                        mono_mb_emit_byte (mb, CEE_STLOC_3);
@@ -2461,6 +2587,7 @@ mono_marshal_get_managed_wrapper (MonoMethod *method, MonoObject *this, MonoMars
                        mono_mb_emit_icon (mb, mono_class_native_size (klass, NULL));
                        mono_mb_emit_byte (mb, CEE_CONV_I);
                        mono_mb_emit_native_call (mb, alloc_sig, mono_marshal_alloc);
+                       emit_thread_interrupt_checkpoint (mb);
                        mono_mb_emit_byte (mb, CEE_STLOC_1);
 
                        /* Update argument pointer */
@@ -2579,6 +2706,7 @@ mono_marshal_get_ldfld_wrapper (MonoType *type)
        csig->pinvoke = 1;
 
        mono_mb_emit_native_call (mb, csig, mono_load_remote_field_new);
+       emit_thread_interrupt_checkpoint (mb);
 
        if (klass->valuetype) {
                mono_mb_emit_byte (mb, CEE_UNBOX);
@@ -2743,6 +2871,7 @@ mono_marshal_get_stfld_wrapper (MonoType *type)
        csig->pinvoke = 1;
 
        mono_mb_emit_native_call (mb, csig, mono_store_remote_field_new);
+       emit_thread_interrupt_checkpoint (mb);
 
        mono_mb_emit_byte (mb, CEE_RET);
 
@@ -2820,8 +2949,8 @@ mono_marshal_get_icall_wrapper (MonoMethodSignature *sig, const char *name, gcon
        MonoMethodSignature *csig;
        MonoMethodBuilder *mb;
        MonoMethod *res;
-       int i, sigsize;
-
+       int i;
+       
        g_assert (sig->pinvoke);
 
        mb = mono_mb_new (mono_defaults.object_class, name, MONO_WRAPPER_MANAGED_TO_NATIVE);
@@ -2829,7 +2958,6 @@ mono_marshal_get_icall_wrapper (MonoMethodSignature *sig, const char *name, gcon
        mb->method->save_lmf = 1;
 
        /* we copy the signature, so that we can modify it */
-       sigsize = sizeof (MonoMethodSignature) + sig->param_count * sizeof (MonoType *);
 
        if (sig->hasthis)
                mono_mb_emit_byte (mb, CEE_LDARG_0);
@@ -2838,10 +2966,10 @@ mono_marshal_get_icall_wrapper (MonoMethodSignature *sig, const char *name, gcon
                mono_mb_emit_ldarg (mb, i + sig->hasthis);
 
        mono_mb_emit_native_call (mb, sig, (gpointer) func);
-
+       emit_thread_interrupt_checkpoint (mb);
        mono_mb_emit_byte (mb, CEE_RET);
 
-       csig = g_memdup (sig, sigsize);
+       csig = mono_metadata_signature_dup (sig);
        csig->pinvoke = 0;
 
        res = mono_mb_create_method (mb, csig, csig->param_count + 16);
@@ -2869,7 +2997,7 @@ mono_marshal_get_native_wrapper (MonoMethod *method)
        MonoClass *klass;
        gboolean pinvoke = FALSE;
        int i, pos, argnum, *tmp_locals;
-       int type, sigsize;
+       int type;
        const char *exc_class = "MissingMethodException";
        const char *exc_arg = NULL;
 
@@ -2881,7 +3009,6 @@ mono_marshal_get_native_wrapper (MonoMethod *method)
                return res;
 
        sig = method->signature;
-       sigsize = sizeof (MonoMethodSignature) + sig->param_count * sizeof (MonoType *);
 
        if (!(method->iflags & METHOD_IMPL_ATTRIBUTE_INTERNAL_CALL) &&
            (method->flags & METHOD_ATTRIBUTE_PINVOKE_IMPL))
@@ -2902,7 +3029,7 @@ mono_marshal_get_native_wrapper (MonoMethod *method)
 
        if (!method->addr) {
                mono_mb_emit_exception (mb, exc_class, exc_arg);
-               csig = g_memdup (sig, sigsize);
+               csig = mono_metadata_signature_dup (sig);
                csig->pinvoke = 0;
                res = mono_mb_create_and_cache (cache, method,
                                                                                mb, csig, csig->param_count + 16);
@@ -2915,7 +3042,7 @@ mono_marshal_get_native_wrapper (MonoMethod *method)
 
                /* hack - string constructors returns a value */
                if (method->string_ctor) {
-                       csig = g_memdup (sig, sigsize);
+                       csig = mono_metadata_signature_dup (sig);
                        csig->ret = &mono_defaults.string_class->byval_arg;
                } else
                        csig = sig;
@@ -2928,10 +3055,10 @@ mono_marshal_get_native_wrapper (MonoMethod *method)
 
                g_assert (method->addr);
                mono_mb_emit_native_call (mb, csig, method->addr);
-
+               emit_thread_interrupt_checkpoint (mb);
                mono_mb_emit_byte (mb, CEE_RET);
 
-               csig = g_memdup (csig, sigsize);
+               csig = mono_metadata_signature_dup (csig);
                csig->pinvoke = 0;
                res = mono_mb_create_and_cache (cache, method,
                                                                                mb, csig, csig->param_count + 16);
@@ -2947,7 +3074,7 @@ mono_marshal_get_native_wrapper (MonoMethod *method)
        /* pinvoke: we need to convert the arguments if necessary */
 
        /* we copy the signature, so that we can set pinvoke to 0 */
-       csig = g_memdup (sig, sigsize);
+       csig = mono_metadata_signature_dup (sig);
        csig->pinvoke = 1;
 
        /* we allocate local for use with emit_struct_conv() */
@@ -3038,12 +3165,6 @@ mono_marshal_get_native_wrapper (MonoMethod *method)
                                mono_mb_emit_byte (mb, CEE_CALLVIRT);
                                mono_mb_emit_i4 (mb, mono_mb_add_data (mb, marshal_managed_to_native));
 
-                               /*
-                                * The first 4 bytes are used by MS for something...
-                                */
-                               mono_mb_emit_byte (mb, CEE_LDC_I4_4);
-                               mono_mb_emit_byte (mb, CEE_ADD);
-                               
                                mono_mb_emit_stloc (mb, tmp_locals [i]);
                                break;
 
@@ -3056,13 +3177,21 @@ mono_marshal_get_native_wrapper (MonoMethod *method)
                }
 
                if (spec && spec->native == MONO_NATIVE_ASANY) {
-                       char *msg = g_strdup_printf ("marshalling conversion UnmanagedType.AsAny not implemented");
-                       MonoException *exc = mono_get_exception_not_implemented (msg);
-                       g_warning (msg);
-                       g_free (msg);
-                       mono_raise_exception (exc);
-               }
+                       MonoMarshalNative encoding = mono_marshal_get_string_encoding (piinfo, NULL);
 
+                       g_assert (t->type == MONO_TYPE_OBJECT);
+                       g_assert (!t->byref);
+
+                       tmp_locals [i] = mono_mb_add_local (mb, &mono_defaults.int_class->byval_arg);
+                       mono_mb_emit_ldarg (mb, argnum);
+                       mono_mb_emit_icon (mb, encoding);
+                       mono_mb_emit_byte (mb, MONO_CUSTOM_PREFIX);
+                       mono_mb_emit_byte (mb, CEE_MONO_FUNC2);
+                       mono_mb_emit_byte (mb, MONO_MARSHAL_CONV_ASANY);
+                       mono_mb_emit_stloc (mb, tmp_locals [i]);
+                       continue;
+               }
+                       
                switch (t->type) {
                case MONO_TYPE_VALUETYPE:                       
                        klass = t->data.klass;
@@ -3105,7 +3234,9 @@ mono_marshal_get_native_wrapper (MonoMethod *method)
                        if (t->byref)
                                mono_mb_patch_addr (mb, pos, mb->pos - (pos + 4));
                        break;
-               case MONO_TYPE_STRING:
+               case MONO_TYPE_STRING: {
+                       MonoMarshalNative encoding = mono_marshal_get_string_encoding (piinfo, spec);
+
                        csig->params [argnum] = &mono_defaults.int_class->byval_arg;
                        tmp_locals [i] = mono_mb_add_local (mb, &mono_defaults.int_class->byval_arg);
 
@@ -3121,42 +3252,29 @@ mono_marshal_get_native_wrapper (MonoMethod *method)
 
                        mono_mb_emit_byte (mb, MONO_CUSTOM_PREFIX);
                        mono_mb_emit_byte (mb, CEE_MONO_FUNC1);
-
-                       if (spec) {
-                               switch (spec->native) {
-                               case MONO_NATIVE_LPWSTR:
-                                       mono_mb_emit_byte (mb, MONO_MARSHAL_CONV_STR_LPWSTR);
-                                       break;
-                               case MONO_NATIVE_LPSTR:
-                                       mono_mb_emit_byte (mb, MONO_MARSHAL_CONV_STR_LPSTR);
-                                       break;
-                               default: {
-                                       char *msg = g_strdup_printf ("string marshalling conversion %d not implemented", spec->native);
+                       
+                       switch (encoding) {
+                       case MONO_NATIVE_LPWSTR:
+                               mono_mb_emit_byte (mb, MONO_MARSHAL_CONV_STR_LPWSTR);
+                               break;
+                       case MONO_NATIVE_LPSTR:
+                               mono_mb_emit_byte (mb, MONO_MARSHAL_CONV_STR_LPSTR);
+                               break;
+                       case MONO_NATIVE_LPTSTR:
+                               mono_mb_emit_byte (mb, MONO_MARSHAL_CONV_STR_LPTSTR);
+                               break;
+                       default: {
+                                       char *msg = g_strdup_printf ("string marshalling conversion %d not implemented", encoding);
                                        MonoException *exc = mono_get_exception_not_implemented (msg);
                                        g_warning (msg);
                                        g_free (msg);
                                        mono_raise_exception (exc);
                                }
-                               }
-                       } else {
-                               switch (piinfo->piflags & PINVOKE_ATTRIBUTE_CHAR_SET_MASK) {
-                               case PINVOKE_ATTRIBUTE_CHAR_SET_ANSI:
-                                       mono_mb_emit_byte (mb, MONO_MARSHAL_CONV_STR_LPSTR);
-                                       break;
-                               case PINVOKE_ATTRIBUTE_CHAR_SET_UNICODE:
-                                       mono_mb_emit_byte (mb, MONO_MARSHAL_CONV_STR_LPWSTR);
-                                       break;
-                               case PINVOKE_ATTRIBUTE_CHAR_SET_AUTO:
-                                       mono_mb_emit_byte (mb, MONO_MARSHAL_CONV_STR_LPTSTR);
-                                       break;
-                               default:
-                                       mono_mb_emit_byte (mb, MONO_MARSHAL_CONV_STR_LPSTR);
-                                       break;                                  
-                               }
                        }
 
                        mono_mb_emit_stloc (mb, tmp_locals [i]);
                        break;
+               }
                case MONO_TYPE_CLASS:
                case MONO_TYPE_OBJECT:
                        klass = t->data.klass;
@@ -3172,42 +3290,30 @@ mono_marshal_get_native_wrapper (MonoMethod *method)
                                mono_mb_emit_byte (mb, MONO_MARSHAL_CONV_DEL_FTN);
                                mono_mb_emit_stloc (mb, tmp_locals [i]);
                        } else if (klass == mono_defaults.stringbuilder_class) {
+                               MonoMarshalNative encoding = mono_marshal_get_string_encoding (piinfo, spec);
+
                                g_assert (!t->byref);
                                mono_mb_emit_ldarg (mb, argnum);
                                mono_mb_emit_byte (mb, MONO_CUSTOM_PREFIX);
                                mono_mb_emit_byte (mb, CEE_MONO_FUNC1);
 
-                               if (spec) {
-                                       switch (spec->native) {
-                                       case MONO_NATIVE_LPWSTR:
-                                               mono_mb_emit_byte (mb, MONO_MARSHAL_CONV_SB_LPWSTR);
-                                               break;
-                                       case MONO_NATIVE_LPSTR:
-                                               mono_mb_emit_byte (mb, MONO_MARSHAL_CONV_SB_LPSTR);
-                                               break;
-                                       default: {
-                                               char *msg = g_strdup_printf ("stringbuilder marshalling conversion %d not implemented", spec->native);
-                                               MonoException *exc = mono_get_exception_not_implemented (msg);
-                                               g_warning (msg);
-                                               g_free (msg);
-                                               mono_raise_exception (exc);
-                                       }
-                                       }
-                               } else {
-                                       switch (piinfo->piflags & PINVOKE_ATTRIBUTE_CHAR_SET_MASK) {
-                                       case PINVOKE_ATTRIBUTE_CHAR_SET_ANSI:
-                                               mono_mb_emit_byte (mb, MONO_MARSHAL_CONV_SB_LPSTR);
-                                               break;
-                                       case PINVOKE_ATTRIBUTE_CHAR_SET_UNICODE:
-                                               mono_mb_emit_byte (mb, MONO_MARSHAL_CONV_SB_LPWSTR);
-                                               break;
-                                       case PINVOKE_ATTRIBUTE_CHAR_SET_AUTO:
-                                               mono_mb_emit_byte (mb, MONO_MARSHAL_CONV_SB_LPTSTR);
-                                               break;
-                                       default:
-                                               mono_mb_emit_byte (mb, MONO_MARSHAL_CONV_SB_LPSTR);
-                                               break;                                  
-                                       }
+                               switch (encoding) {
+                               case MONO_NATIVE_LPWSTR:
+                                       mono_mb_emit_byte (mb, MONO_MARSHAL_CONV_SB_LPWSTR);
+                                       break;
+                               case MONO_NATIVE_LPSTR:
+                                       mono_mb_emit_byte (mb, MONO_MARSHAL_CONV_SB_LPSTR);
+                                       break;
+                               case MONO_NATIVE_LPTSTR:
+                                       mono_mb_emit_byte (mb, MONO_MARSHAL_CONV_SB_LPTSTR);
+                                       break;
+                               default: {
+                                       char *msg = g_strdup_printf ("stringbuilder marshalling conversion %d not implemented", encoding);
+                                       MonoException *exc = mono_get_exception_not_implemented (msg);
+                                       g_warning (msg);
+                                       g_free (msg);
+                                       mono_raise_exception (exc);
+                               }
                                }
 
                                mono_mb_emit_stloc (mb, tmp_locals [i]);
@@ -3270,11 +3376,27 @@ mono_marshal_get_native_wrapper (MonoMethod *method)
                        tmp_locals [i] = mono_mb_add_local (mb, &mono_defaults.int_class->byval_arg);
 
                        if (klass->element_class == mono_defaults.string_class) {
+                               MonoMarshalNative encoding = mono_marshal_get_string_encoding (piinfo, spec);
+
                                mono_mb_emit_ldarg (mb, argnum);
                                mono_mb_emit_byte (mb, MONO_CUSTOM_PREFIX);
                                mono_mb_emit_byte (mb, CEE_MONO_FUNC1);
 
-                               mono_mb_emit_byte (mb, MONO_MARSHAL_CONV_STRARRAY_STRLPARRAY);
+                               switch (encoding) {
+                               case MONO_NATIVE_LPWSTR:
+                                       mono_mb_emit_byte (mb, MONO_MARSHAL_CONV_STRARRAY_STRWLPARRAY);
+                                       break;
+                               case MONO_NATIVE_LPSTR:
+                                       mono_mb_emit_byte (mb, MONO_MARSHAL_CONV_STRARRAY_STRLPARRAY);
+                                       break;
+                               default: {
+                                       char *msg = g_strdup_printf ("string array marshalling conversion %d not implemented", encoding);
+                                       MonoException *exc = mono_get_exception_not_implemented (msg);
+                                       g_warning (msg);
+                                       g_free (msg);
+                                       mono_raise_exception (exc);
+                               }
+                               }
                                mono_mb_emit_stloc (mb, tmp_locals [i]);
                        }
                        else if (klass->element_class->blittable) {
@@ -3397,6 +3519,10 @@ mono_marshal_get_native_wrapper (MonoMethod *method)
                if (spec && spec->native == MONO_NATIVE_CUSTOM) {
                        mono_mb_emit_ldloc (mb, tmp_locals [i]);
                }
+               else
+               if (spec && spec->native == MONO_NATIVE_ASANY) {
+                       mono_mb_emit_ldloc (mb, tmp_locals [i]);
+               }
                else {
                        argnum = i + sig->hasthis;
 
@@ -3680,13 +3806,74 @@ mono_marshal_get_native_wrapper (MonoMethod *method)
                mono_mb_emit_byte (mb, CEE_STLOC_3);
        }
 
+       /* 
+        * Need to call this after converting the result since MONO_VTADDR needs 
+        * to be adjacent to the call instruction.
+        */
+       emit_thread_interrupt_checkpoint (mb);
+
        /* we need to convert byref arguments back and free string arrays */
        for (i = 0; i < sig->param_count; i++) {
                MonoType *t = sig->params [i];
                MonoMarshalSpec *spec = mspecs [i + 1];
-               
+
                argnum = i + sig->hasthis;
 
+               if (spec && spec->native == MONO_NATIVE_CUSTOM) {
+                       MonoType *mtype;
+                       MonoClass *mklass;
+                       MonoMethod *get_instance;
+                       MonoMethod *cleanup_native;
+
+                       mtype = mono_reflection_type_from_name (spec->data.custom_data.custom_name, method->klass->image);
+                       g_assert (mtype != NULL);
+                       mklass = mono_class_from_mono_type (mtype);
+                       g_assert (mklass != NULL);
+
+                       get_instance = mono_find_method_by_name (mklass, "GetInstance", 1);
+                       g_assert (get_instance);
+                       cleanup_native = mono_find_method_by_name (mklass, "CleanUpNativeData", 1);
+                       g_assert (get_instance);
+                       
+                       switch (t->type) {
+                       case MONO_TYPE_CLASS:
+                       case MONO_TYPE_OBJECT:
+                       case MONO_TYPE_STRING:
+                       case MONO_TYPE_ARRAY:
+                       case MONO_TYPE_SZARRAY:
+                       case MONO_TYPE_VALUETYPE:
+                               mono_mb_emit_ldstr (mb, spec->data.custom_data.cookie);
+
+                               mono_mb_emit_byte (mb, CEE_CALL);
+                               mono_mb_emit_i4 (mb, mono_mb_add_data (mb, get_instance));
+                               
+                               mono_mb_emit_ldloc (mb, tmp_locals [i]);
+
+                               mono_mb_emit_byte (mb, CEE_CALLVIRT);
+                               mono_mb_emit_i4 (mb, mono_mb_add_data (mb, cleanup_native));
+
+                               break;
+
+                       default:
+                               g_warning ("custom marshalling of type %x is currently not supported", t->type);
+                               g_assert_not_reached ();
+                               break;
+                       }
+                       continue;
+               }
+
+               if (spec && spec->native == MONO_NATIVE_ASANY) {
+                       MonoMarshalNative encoding = mono_marshal_get_string_encoding (piinfo, NULL);
+
+                       mono_mb_emit_ldarg (mb, argnum);
+                       mono_mb_emit_ldloc (mb, tmp_locals [i]);
+                       mono_mb_emit_icon (mb, encoding);
+                       mono_mb_emit_byte (mb, MONO_CUSTOM_PREFIX);
+                       mono_mb_emit_byte (mb, CEE_MONO_PROC3);
+                       mono_mb_emit_byte (mb, MONO_MARSHAL_FREE_ASANY);
+                       continue;
+               }
+               
                switch (t->type) {
                case MONO_TYPE_STRING:
                        if (t->byref && (t->attrs & PARAM_ATTRIBUTE_OUT)) {
@@ -3705,6 +3892,7 @@ mono_marshal_get_native_wrapper (MonoMethod *method)
                case MONO_TYPE_CLASS:
                case MONO_TYPE_OBJECT:                  
                        if (t->data.klass == mono_defaults.stringbuilder_class) {
+                               MonoMarshalNative encoding = mono_marshal_get_string_encoding (piinfo, spec);
                                gboolean need_free = TRUE;
 
                                g_assert (!t->byref);
@@ -3713,38 +3901,23 @@ mono_marshal_get_native_wrapper (MonoMethod *method)
                                mono_mb_emit_byte (mb, MONO_CUSTOM_PREFIX);
                                mono_mb_emit_byte (mb, CEE_MONO_PROC2);
 
-                               if (spec) {
-                                       switch (spec->native) {
-                                       case MONO_NATIVE_LPWSTR:
-                                               mono_mb_emit_byte (mb, MONO_MARSHAL_CONV_LPWSTR_SB);
-                                               /* 
-                                                * mono_string_builder_to_utf16 does not allocate a 
-                                                * new buffer, so no need to free it.
-                                                */
-                                               need_free = FALSE;
-                                               break;
-                                       case MONO_NATIVE_LPSTR:
-                                               mono_mb_emit_byte (mb, MONO_MARSHAL_CONV_LPSTR_SB);
-                                               break;
-                                       default:
-                                               g_assert_not_reached ();
-                                       }
-                               } else {
-                                       switch (piinfo->piflags & PINVOKE_ATTRIBUTE_CHAR_SET_MASK) {
-                                       case PINVOKE_ATTRIBUTE_CHAR_SET_ANSI:
-                                               mono_mb_emit_byte (mb, MONO_MARSHAL_CONV_LPSTR_SB);
-                                               break;
-                                       case PINVOKE_ATTRIBUTE_CHAR_SET_UNICODE:
-                                               mono_mb_emit_byte (mb, MONO_MARSHAL_CONV_LPWSTR_SB);
-                                               need_free = FALSE;
-                                               break;
-                                       case PINVOKE_ATTRIBUTE_CHAR_SET_AUTO:
-                                               mono_mb_emit_byte (mb, MONO_MARSHAL_CONV_LPTSTR_SB);
-                                               break;
-                                       default:
-                                               mono_mb_emit_byte (mb, MONO_MARSHAL_CONV_LPSTR_SB);
-                                               break;                                  
-                                       }
+                               switch (encoding) {
+                               case MONO_NATIVE_LPWSTR:
+                                       mono_mb_emit_byte (mb, MONO_MARSHAL_CONV_LPWSTR_SB);
+                                       /* 
+                                        * mono_string_builder_to_utf16 does not allocate a 
+                                        * new buffer, so no need to free it.
+                                        */
+                                       need_free = FALSE;
+                                       break;
+                               case MONO_NATIVE_LPSTR:
+                                       mono_mb_emit_byte (mb, MONO_MARSHAL_CONV_LPSTR_SB);
+                                       break;
+                               case MONO_NATIVE_LPTSTR:
+                                       mono_mb_emit_byte (mb, MONO_MARSHAL_CONV_LPTSTR_SB);
+                                       break;
+                               default:
+                                       g_assert_not_reached ();
                                }
 
                                if (need_free) {
@@ -3828,6 +4001,7 @@ mono_marshal_get_native_wrapper (MonoMethod *method)
                        klass = mono_class_from_mono_type (t);
 
                        if (klass->element_class == mono_defaults.string_class) {
+                               MonoMarshalNative encoding = mono_marshal_get_string_encoding (piinfo, spec);
                                g_assert (tmp_locals [i]);
 
                                mono_mb_emit_ldarg (mb, argnum);
@@ -3836,16 +4010,30 @@ mono_marshal_get_native_wrapper (MonoMethod *method)
                                mono_mb_emit_i4 (mb, 0);
 
                                mono_mb_emit_ldloc (mb, tmp_locals [i]);
-                               mono_mb_emit_ldarg (mb, argnum);
-                               mono_mb_emit_byte (mb, CEE_LDLEN);                              
-                               mono_mb_emit_byte (mb, MONO_CUSTOM_PREFIX);
-                               mono_mb_emit_byte (mb, CEE_MONO_PROC2);
-                               mono_mb_emit_byte (mb, MONO_MARSHAL_FREE_ARRAY);
+
+                               switch (encoding) {
+                               case MONO_NATIVE_LPWSTR:
+                                       /* 
+                                        * The array elements point to the managed string data so 
+                                        * they don't need to be freed.
+                                        */
+                                       mono_mb_emit_byte (mb, MONO_CUSTOM_PREFIX);
+                                       mono_mb_emit_byte (mb, CEE_MONO_FREE);
+                                       break;
+                               default:
+                                       mono_mb_emit_ldarg (mb, argnum);
+                                       mono_mb_emit_byte (mb, CEE_LDLEN);                              
+                                       mono_mb_emit_byte (mb, MONO_CUSTOM_PREFIX);
+                                       mono_mb_emit_byte (mb, CEE_MONO_PROC2);
+                                       mono_mb_emit_byte (mb, MONO_MARSHAL_FREE_ARRAY);
+                                       break;                                  
+                               }
 
                                mono_mb_patch_addr (mb, pos, mb->pos - (pos + 4));
                        }
 
-                       if (t->attrs & PARAM_ATTRIBUTE_OUT) {
+                       /* Character arrays are implicitly marshalled as [Out] */
+                       if ((klass->element_class == mono_defaults.char_class) || (t->attrs & PARAM_ATTRIBUTE_OUT)) {
                                /* FIXME: Optimize blittable case */
                                MonoClass *eklass;
                                guint32 label1, label2, label3;
@@ -3917,7 +4105,7 @@ mono_marshal_get_native_wrapper (MonoMethod *method)
 
        mono_mb_emit_byte (mb, CEE_RET);
 
-       csig = g_memdup (sig, sigsize);
+       csig = mono_metadata_signature_dup (sig);
        csig->pinvoke = 0;
        res = mono_mb_create_and_cache (cache, method,
                                                                        mb, csig, csig->param_count + 16);
@@ -3932,6 +4120,295 @@ mono_marshal_get_native_wrapper (MonoMethod *method)
        return res;
 }
 
+void
+mono_upgrade_remote_class_wrapper (MonoReflectionType *rtype, MonoTransparentProxy *tproxy);
+
+static MonoReflectionType *
+type_from_handle (MonoType *handle)
+{
+       MonoDomain *domain = mono_domain_get (); 
+       MonoClass *klass = mono_class_from_mono_type (handle);
+
+       MONO_ARCH_SAVE_REGS;
+
+       mono_class_init (klass);
+       return mono_type_get_object (domain, handle);
+}
+
+/*
+ * mono_marshal_get_isinst:
+ * @klass: the type of the field
+ *
+ * This method generates a function which can be used to check if an object is
+ * an instance of the given type, icluding the case where the object is a proxy.
+ * The generated function has the following signature:
+ * MonoObject* __isinst_wrapper_ (MonoObject *obj)
+ */
+MonoMethod *
+mono_marshal_get_isinst (MonoClass *klass)
+{
+       static MonoMethodSignature *isint_sig = NULL;
+       static GHashTable *isinst_hash = NULL; 
+       MonoMethod *res;
+       int pos_was_ok, pos_failed, pos_end, pos_end2;
+       char *name;
+       MonoMethodBuilder *mb;
+
+       EnterCriticalSection (&marshal_mutex);
+       if (!isinst_hash) 
+               isinst_hash = g_hash_table_new (NULL, NULL);
+       
+       res = g_hash_table_lookup (isinst_hash, klass);
+       LeaveCriticalSection (&marshal_mutex);
+       if (res)
+               return res;
+
+       if (!isint_sig) {
+               isint_sig = mono_metadata_signature_alloc (mono_defaults.corlib, 1);
+               isint_sig->params [0] = &mono_defaults.object_class->byval_arg;
+               isint_sig->ret = &mono_defaults.object_class->byval_arg;
+               isint_sig->pinvoke = 0;
+       }
+       
+       name = g_strdup_printf ("__isinst_wrapper_%s", klass->name); 
+       mb = mono_mb_new (mono_defaults.object_class, name, MONO_WRAPPER_UNKNOWN);
+       g_free (name);
+       
+       mb->method->save_lmf = 1;
+
+       /* check if the object is a proxy that needs special cast */
+       mono_mb_emit_ldarg (mb, 0);
+       mono_mb_emit_byte (mb, MONO_CUSTOM_PREFIX);
+       mono_mb_emit_byte (mb, CEE_MONO_CISINST);
+       mono_mb_emit_i4 (mb, mono_mb_add_data (mb, klass));
+
+       /* The result of MONO_ISINST can be:
+               0) the type check succeeded
+               1) the type check did not succeed
+               2) a CanCastTo call is needed */
+       
+       mono_mb_emit_byte (mb, CEE_DUP);
+       pos_was_ok = mono_mb_emit_branch (mb, CEE_BRFALSE);
+
+       mono_mb_emit_byte (mb, CEE_LDC_I4_2);
+       pos_failed = mono_mb_emit_branch (mb, CEE_BNE_UN);
+       
+       /* get the real proxy from the transparent proxy*/
+
+       mono_mb_emit_ldarg (mb, 0);
+       mono_mb_emit_managed_call (mb, mono_marshal_get_proxy_cancast (klass), NULL);
+       pos_end = mono_mb_emit_branch (mb, CEE_BR);
+       
+       /* fail */
+       
+       mono_mb_patch_addr (mb, pos_failed, mb->pos - (pos_failed + 4));
+       mono_mb_emit_byte (mb, CEE_LDNULL);
+       pos_end2 = mono_mb_emit_branch (mb, CEE_BR);
+       
+       /* success */
+       
+       mono_mb_patch_addr (mb, pos_was_ok, mb->pos - (pos_was_ok + 4));
+       mono_mb_emit_byte (mb, CEE_POP);
+       mono_mb_emit_ldarg (mb, 0);
+       
+       /* the end */
+       
+       mono_mb_patch_addr (mb, pos_end, mb->pos - (pos_end + 4));
+       mono_mb_patch_addr (mb, pos_end2, mb->pos - (pos_end2 + 4));
+       mono_mb_emit_byte (mb, CEE_RET);
+
+       res = mono_mb_create_and_cache (isinst_hash, klass, mb, isint_sig, isint_sig->param_count + 16);
+       mono_mb_free (mb);
+
+       return res;
+}
+
+/*
+ * mono_marshal_get_castclass:
+ * @klass: the type of the field
+ *
+ * This method generates a function which can be used to cast an object to
+ * an instance of the given type, icluding the case where the object is a proxy.
+ * The generated function has the following signature:
+ * MonoObject* __castclass_wrapper_ (MonoObject *obj)
+ */
+MonoMethod *
+mono_marshal_get_castclass (MonoClass *klass)
+{
+       static MonoMethodSignature *castclass_sig = NULL;
+       static GHashTable *castclass_hash = NULL; 
+       MonoMethod *res;
+       int pos_was_ok, pos_was_ok2;
+       char *name;
+       MonoMethodBuilder *mb;
+
+       EnterCriticalSection (&marshal_mutex);
+       if (!castclass_hash) 
+               castclass_hash = g_hash_table_new (NULL, NULL);
+       
+       res = g_hash_table_lookup (castclass_hash, klass);
+       LeaveCriticalSection (&marshal_mutex);
+       if (res)
+               return res;
+
+       if (!castclass_sig) {
+               castclass_sig = mono_metadata_signature_alloc (mono_defaults.corlib, 1);
+               castclass_sig->params [0] = &mono_defaults.object_class->byval_arg;
+               castclass_sig->ret = &mono_defaults.object_class->byval_arg;
+               castclass_sig->pinvoke = 0;
+       }
+       
+       name = g_strdup_printf ("__castclass_wrapper_%s", klass->name); 
+       mb = mono_mb_new (mono_defaults.object_class, name, MONO_WRAPPER_UNKNOWN);
+       g_free (name);
+       
+       mb->method->save_lmf = 1;
+
+       /* check if the object is a proxy that needs special cast */
+       mono_mb_emit_ldarg (mb, 0);
+       mono_mb_emit_byte (mb, MONO_CUSTOM_PREFIX);
+       mono_mb_emit_byte (mb, CEE_MONO_CCASTCLASS);
+       mono_mb_emit_i4 (mb, mono_mb_add_data (mb, klass));
+
+       /* The result of MONO_ISINST can be:
+               0) the cast is valid
+               1) cast of unknown proxy type
+               or an exception if the cast is is invalid
+       */
+       
+       pos_was_ok = mono_mb_emit_branch (mb, CEE_BRFALSE);
+
+       /* get the real proxy from the transparent proxy*/
+
+       mono_mb_emit_ldarg (mb, 0);
+       mono_mb_emit_managed_call (mb, mono_marshal_get_proxy_cancast (klass), NULL);
+       pos_was_ok2 = mono_mb_emit_branch (mb, CEE_BRTRUE);
+       
+       /* fail */
+       mono_mb_emit_exception (mb, "InvalidCastException", NULL);
+       
+       /* success */
+       mono_mb_patch_addr (mb, pos_was_ok, mb->pos - (pos_was_ok + 4));
+       mono_mb_patch_addr (mb, pos_was_ok2, mb->pos - (pos_was_ok2 + 4));
+       mono_mb_emit_ldarg (mb, 0);
+       
+       /* the end */
+       mono_mb_emit_byte (mb, CEE_RET);
+
+       res = mono_mb_create_and_cache (castclass_hash, klass, mb, castclass_sig, castclass_sig->param_count + 16);
+       mono_mb_free (mb);
+
+       return res;
+}
+
+MonoMethod *
+mono_marshal_get_proxy_cancast (MonoClass *klass)
+{
+       static MonoMethodSignature *from_handle_sig = NULL;
+       static MonoMethodSignature *upgrade_proxy_sig = NULL;
+       static MonoMethodSignature *isint_sig = NULL;
+       static GHashTable *proxy_isinst_hash = NULL; 
+       MonoMethod *res;
+       int pos_failed, pos_end;
+       char *name;
+       MonoMethod *can_cast_to;
+       MonoMethodDesc *desc;
+       MonoMethodBuilder *mb;
+
+       EnterCriticalSection (&marshal_mutex);
+       if (!proxy_isinst_hash) 
+               proxy_isinst_hash = g_hash_table_new (NULL, NULL);
+       
+       res = g_hash_table_lookup (proxy_isinst_hash, klass);
+       LeaveCriticalSection (&marshal_mutex);
+       if (res)
+               return res;
+
+       if (!isint_sig) {
+               upgrade_proxy_sig = mono_metadata_signature_alloc (mono_defaults.corlib, 2);
+               upgrade_proxy_sig->params [0] = &mono_defaults.object_class->byval_arg;
+               upgrade_proxy_sig->params [1] = &mono_defaults.object_class->byval_arg;
+               upgrade_proxy_sig->ret = &mono_defaults.void_class->byval_arg;
+               upgrade_proxy_sig->pinvoke = 1;
+
+               from_handle_sig = mono_metadata_signature_alloc (mono_defaults.corlib, 1);
+               from_handle_sig->params [0] = &mono_defaults.object_class->byval_arg;
+               from_handle_sig->ret = &mono_defaults.object_class->byval_arg;
+       
+               isint_sig = mono_metadata_signature_alloc (mono_defaults.corlib, 1);
+               isint_sig->params [0] = &mono_defaults.object_class->byval_arg;
+               isint_sig->ret = &mono_defaults.object_class->byval_arg;
+               isint_sig->pinvoke = 0;
+       }
+       
+       name = g_strdup_printf ("__proxy_isinst_wrapper_%s", klass->name); 
+       mb = mono_mb_new (mono_defaults.object_class, name, MONO_WRAPPER_UNKNOWN);
+       g_free (name);
+       
+       mb->method->save_lmf = 1;
+
+       /* get the real proxy from the transparent proxy*/
+       mono_mb_emit_ldarg (mb, 0);
+       mono_mb_emit_ldflda (mb, G_STRUCT_OFFSET (MonoTransparentProxy, rp));
+       mono_mb_emit_byte (mb, CEE_LDIND_I);
+       
+       /* get the refletion type from the type handle */
+       mono_mb_emit_byte (mb, MONO_CUSTOM_PREFIX);
+       mono_mb_emit_byte (mb, CEE_MONO_LDPTR);
+       mono_mb_emit_i4 (mb, mono_mb_add_data (mb, &klass->byval_arg));
+       mono_mb_emit_native_call (mb, from_handle_sig, type_from_handle);
+       
+       mono_mb_emit_ldarg (mb, 0);
+       
+       /* make the call to CanCastTo (type, ob) */
+       desc = mono_method_desc_new ("IRemotingTypeInfo:CanCastTo", FALSE);
+       can_cast_to = mono_method_desc_search_in_class (desc, mono_defaults.iremotingtypeinfo_class);
+       g_assert (can_cast_to);
+       mono_method_desc_free (desc);
+       mono_mb_emit_byte (mb, CEE_CALLVIRT);
+       mono_mb_emit_i4 (mb, mono_mb_add_data (mb, can_cast_to));
+
+       
+       pos_failed = mono_mb_emit_branch (mb, CEE_BRFALSE);
+
+       /* Upgrade the proxy vtable by calling: mono_upgrade_remote_class_wrapper (type, ob)*/
+       mono_mb_emit_byte (mb, MONO_CUSTOM_PREFIX);
+       mono_mb_emit_byte (mb, CEE_MONO_LDPTR);
+       mono_mb_emit_i4 (mb, mono_mb_add_data (mb, &klass->byval_arg));
+       mono_mb_emit_native_call (mb, from_handle_sig, type_from_handle);
+       mono_mb_emit_ldarg (mb, 0);
+       
+       mono_mb_emit_native_call (mb, upgrade_proxy_sig, mono_upgrade_remote_class_wrapper);
+       emit_thread_interrupt_checkpoint (mb);
+       
+       mono_mb_emit_ldarg (mb, 0);
+       pos_end = mono_mb_emit_branch (mb, CEE_BR);
+       
+       /* fail */
+       
+       mono_mb_patch_addr (mb, pos_failed, mb->pos - (pos_failed + 4));
+       mono_mb_emit_byte (mb, CEE_LDNULL);
+       
+       /* the end */
+       
+       mono_mb_patch_addr (mb, pos_end, mb->pos - (pos_end + 4));
+       mono_mb_emit_byte (mb, CEE_RET);
+
+       res = mono_mb_create_and_cache (proxy_isinst_hash, klass, mb, isint_sig, isint_sig->param_count + 16);
+       mono_mb_free (mb);
+
+       return res;
+}
+
+void
+mono_upgrade_remote_class_wrapper (MonoReflectionType *rtype, MonoTransparentProxy *tproxy)
+{
+       MonoClass *klass;
+       klass = mono_class_from_mono_type (rtype->type);
+       mono_upgrade_remote_class (((MonoObject*)tproxy)->vtable->domain, tproxy->remote_class, klass);
+       ((MonoObject*)tproxy)->vtable = tproxy->remote_class->vtable;
+}
+
 /**
  * mono_marshal_get_struct_to_ptr:
  * @klass:
@@ -4054,18 +4531,6 @@ mono_marshal_get_ptr_to_struct (MonoClass *klass)
        return res;
 }
 
-static MonoReflectionType *
-type_from_handle (MonoType *handle)
-{
-       MonoDomain *domain = mono_domain_get (); 
-       MonoClass *klass = mono_class_from_mono_type (handle);
-
-       MONO_ARCH_SAVE_REGS;
-
-       mono_class_init (klass);
-       return mono_type_get_object (domain, handle);
-}
-
 /*
  * generates IL code for the synchronized wrapper: the generated method
  * calls METHOD while locking 'this' or the parent type.
@@ -4245,6 +4710,28 @@ mono_marshal_string_array (MonoArray *array)
        return result;
 }
 
+void *
+mono_marshal_string_array_to_unicode (MonoArray *array)
+{
+       gunichar2 **result;
+       int i, len;
+
+       if (!array)
+               return NULL;
+
+       len = mono_array_length (array);
+
+       result = g_malloc (sizeof (gunichar2 *) * (len + 1));
+       for (i = 0; i < len; ++i) {
+               MonoString *s = (MonoString *)mono_array_get (array, gpointer, i);
+               result [i] = s ? mono_string_chars (s) : NULL;
+       }
+       /* null terminate the array */
+       result [i] = NULL;
+
+       return result;
+}
+
 /**
  * mono_marshal_set_last_error:
  *
@@ -4430,7 +4917,10 @@ ves_icall_System_Runtime_InteropServices_Marshal_PtrToStringAnsi (char *ptr)
 {
        MONO_ARCH_SAVE_REGS;
 
-       return mono_string_new (mono_domain_get (), ptr);
+       if (ptr == NULL)
+               return mono_string_new (mono_domain_get (), "");
+       else
+               return mono_string_new (mono_domain_get (), ptr);
 }
 
 MonoString *
@@ -4438,7 +4928,10 @@ ves_icall_System_Runtime_InteropServices_Marshal_PtrToStringAnsi_len (char *ptr,
 {
        MONO_ARCH_SAVE_REGS;
 
-       return mono_string_new_len (mono_domain_get (), ptr, len);
+       if (ptr == NULL)
+               return mono_string_new (mono_domain_get (), "");
+       else
+               return mono_string_new_len (mono_domain_get (), ptr, len);
 }
 
 MonoString *
@@ -4450,6 +4943,9 @@ ves_icall_System_Runtime_InteropServices_Marshal_PtrToStringUni (guint16 *ptr)
 
        MONO_ARCH_SAVE_REGS;
 
+       if (ptr == NULL)
+               return mono_string_new (mono_domain_get (), "");
+
        while (*t++)
                len++;
 
@@ -4463,7 +4959,10 @@ ves_icall_System_Runtime_InteropServices_Marshal_PtrToStringUni_len (guint16 *pt
 
        MONO_ARCH_SAVE_REGS;
 
-       return mono_string_new_utf16 (domain, ptr, len);
+       if (ptr == NULL)
+               return mono_string_new (mono_domain_get (), "");
+       else
+               return mono_string_new_utf16 (domain, ptr, len);
 }
 
 MonoString *
@@ -4489,12 +4988,27 @@ guint32
 ves_icall_System_Runtime_InteropServices_Marshal_SizeOf (MonoReflectionType *rtype)
 {
        MonoClass *klass;
+       MonoType *type;
+       guint32 layout;
 
        MONO_ARCH_SAVE_REGS;
 
        MONO_CHECK_ARG_NULL (rtype);
 
-       klass = mono_class_from_mono_type (rtype->type);
+       type = rtype->type;
+       klass = mono_class_from_mono_type (type);
+       layout = (klass->flags & TYPE_ATTRIBUTE_LAYOUT_MASK);
+
+       if (layout == TYPE_ATTRIBUTE_AUTO_LAYOUT) {
+               gchar *msg;
+               MonoException *exc;
+
+               msg = g_strdup_printf ("Type %s cannot be marshaled as an unmanaged structure.", klass->name);
+               exc = mono_get_exception_argument ("t", msg);
+               g_free (msg);
+               mono_raise_exception (exc);
+       }
+
 
        return mono_class_native_size (klass, NULL);
 }
@@ -4617,7 +5131,10 @@ ves_icall_System_Runtime_InteropServices_Marshal_StringToHGlobalUni (MonoString
 {
        MONO_ARCH_SAVE_REGS;
 
-       return g_memdup (mono_string_chars (string), mono_string_length (string)*2);
+       if (string == NULL)
+               return NULL;
+       else
+               return g_memdup (mono_string_chars (string), mono_string_length (string)*2);
 }
 
 static void
@@ -4696,10 +5213,16 @@ ves_icall_System_Runtime_InteropServices_Marshal_FreeCoTaskMem (void *ptr)
        g_free (ptr);
 }
 
+void*
+ves_icall_System_Runtime_InteropServices_Marshal_UnsafeAddrOfPinnedArrayElement (MonoArray *arrayobj, int index)
+{
+       return mono_array_addr_with_size (arrayobj, mono_array_element_size (arrayobj->obj.vtable->klass), index);
+}
+
 MonoMarshalType *
 mono_marshal_load_type_info (MonoClass* klass)
 {
-       int i, j, count = 0, native_size = 0;
+       int i, j, count = 0, native_size = 0, min_align = 1;
        MonoMarshalType *info;
        guint32 layout;
 
@@ -4760,7 +5283,8 @@ mono_marshal_load_type_info (MonoClass* klass)
                case TYPE_ATTRIBUTE_SEQUENTIAL_LAYOUT:
                        size = mono_marshal_type_size (klass->fields [i].type, info->fields [j].mspec, 
                                                       &align, TRUE, klass->unicode);
-                       align = klass->packing_size ? MIN (klass->packing_size, align): align;  
+                       align = klass->packing_size ? MIN (klass->packing_size, align): align;
+                       min_align = MAX (align, min_align);
                        info->fields [j].offset = info->native_size;
                        info->fields [j].offset += align - 1;
                        info->fields [j].offset &= ~(align - 1);
@@ -4779,9 +5303,9 @@ mono_marshal_load_type_info (MonoClass* klass)
                info->native_size = MAX (native_size, info->native_size);
        }
 
-       if (info->native_size & (klass->min_align - 1)) {
-               info->native_size += klass->min_align - 1;
-               info->native_size &= ~(klass->min_align - 1);
+       if (info->native_size & (min_align - 1)) {
+               info->native_size += min_align - 1;
+               info->native_size &= ~(min_align - 1);
        }
 
        return klass->marshal_info;
@@ -4967,3 +5491,119 @@ mono_marshal_type_size (MonoType *type, MonoMarshalSpec *mspec, gint32 *align,
        return 0;
 }
 
+gpointer
+mono_marshal_asany (MonoObject *o, MonoMarshalNative string_encoding)
+{
+       MonoType *t;
+       MonoClass *klass;
+
+       if (o == NULL)
+               return NULL;
+
+       t = &o->vtable->klass->byval_arg;
+       switch (t->type) {
+       case MONO_TYPE_I4:
+       case MONO_TYPE_U4:
+       case MONO_TYPE_PTR:
+       case MONO_TYPE_I1:
+       case MONO_TYPE_U1:
+       case MONO_TYPE_BOOLEAN:
+       case MONO_TYPE_I2:
+       case MONO_TYPE_U2:
+       case MONO_TYPE_CHAR:
+       case MONO_TYPE_I8:
+       case MONO_TYPE_U8:
+       case MONO_TYPE_R4:
+       case MONO_TYPE_R8:
+               return mono_object_unbox (o);
+               break;
+       case MONO_TYPE_STRING:
+               switch (string_encoding) {
+               case MONO_NATIVE_LPWSTR:
+                       return mono_string_to_utf16 ((MonoString*)o);
+                       break;
+               case MONO_NATIVE_LPSTR:
+                       return mono_string_to_utf8 ((MonoString*)o);
+                       break;
+               default:
+                       g_warning ("marshaling conversion %d not implemented", string_encoding);
+                       g_assert_not_reached ();
+               }
+               break;
+       case MONO_TYPE_CLASS:
+       case MONO_TYPE_VALUETYPE: {
+               MonoMethod *method;
+               gpointer pa [3];
+               gpointer res;
+               MonoBoolean delete_old = FALSE;
+
+               klass = t->data.klass;
+
+               if ((klass->flags & TYPE_ATTRIBUTE_LAYOUT_MASK) == TYPE_ATTRIBUTE_AUTO_LAYOUT)
+                       break;
+
+               if (((klass->flags & TYPE_ATTRIBUTE_LAYOUT_MASK) == TYPE_ATTRIBUTE_EXPLICIT_LAYOUT) ||
+                       klass->blittable || klass->enumtype)
+                       return mono_object_unbox (o);
+
+               res = g_malloc0 (mono_class_native_size (klass, NULL));
+
+               method = mono_marshal_get_struct_to_ptr (o->vtable->klass);
+
+               pa [0] = o;
+               pa [1] = &res;
+               pa [2] = &delete_old;
+
+               mono_runtime_invoke (method, NULL, pa, NULL);
+
+               return res;
+       }
+       }
+
+       mono_raise_exception (mono_get_exception_argument ("", "No PInvoke conversion exists for value passed to Object-typed parameter."));
+
+       return NULL;
+}
+
+void
+mono_marshal_free_asany (MonoObject *o, gpointer ptr, MonoMarshalNative string_encoding)
+{
+       MonoType *t;
+       MonoClass *klass;
+
+       /* FIXME: Free embedded data as well */
+
+       if (o == NULL)
+               return;
+
+       t = &o->vtable->klass->byval_arg;
+       switch (t->type) {
+       case MONO_TYPE_STRING:
+               switch (string_encoding) {
+               case MONO_NATIVE_LPWSTR:
+                       g_free (ptr);
+                       break;
+               case MONO_NATIVE_LPSTR:
+                       g_free (ptr);
+                       break;
+               default:
+                       g_warning ("marshaling conversion %d not implemented", string_encoding);
+                       g_assert_not_reached ();
+               }
+               break;
+       case MONO_TYPE_CLASS:
+       case MONO_TYPE_VALUETYPE: {
+               klass = t->data.klass;
+
+               if (((klass->flags & TYPE_ATTRIBUTE_LAYOUT_MASK) == TYPE_ATTRIBUTE_EXPLICIT_LAYOUT) ||
+                       klass->blittable || klass->enumtype)
+                       break;
+
+               g_free (ptr);
+               break;
+       }
+       default:
+               break;
+       }
+}
+