* RegistryKeyTest.cs: Modified GetValueNamesTest and GetSubKeyNamesTest
[mono.git] / mono / metadata / marshal.c
index 3072fa2f7059e3057e1279acf15a4bbc8777918a..57a01980dd3fe56a603a0dd91002350e1cfd2cd8 100644 (file)
@@ -23,6 +23,7 @@
 #include "mono/metadata/domain-internals.h"
 #include "mono/metadata/gc-internal.h"
 #include "mono/metadata/threads-types.h"
+#include "mono/metadata/string-icalls.h"
 #include <mono/os/gc_wrapper.h>
 #include <string.h>
 #include <errno.h>
@@ -136,6 +137,9 @@ mono_marshal_xdomain_copy_out_value (MonoObject *src, MonoObject *dst);
 static gint32
 mono_marshal_set_domain_by_id (gint32 id, MonoBoolean push);
 
+static gboolean
+mono_marshal_check_domain_image (gint32 domain_id, MonoImage *image);
+
 void
 mono_upgrade_remote_class_wrapper (MonoReflectionType *rtype, MonoTransparentProxy *tproxy);
 
@@ -186,7 +190,7 @@ signature_no_pinvoke (MonoMethod *method)
 /**
  * signature_cominterop:
  * @image: a image
- * @sig: mamaged method signature
+ * @sig: managed method signature
  *
  * Returns: the corresponding unmanaged method signature for a managed COM 
  * method.
@@ -270,7 +274,7 @@ cominterop_get_com_slot_for_method (MonoMethod* method)
        guint32 offset = 7; 
        guint32 slot = method->slot;
        GPtrArray *ifaces;
-       MonoClass *ic;
+       MonoClass *ic = method->klass;
        int i;
 
        ifaces = mono_class_get_implemented_interfaces (method->klass);
@@ -289,7 +293,7 @@ cominterop_get_com_slot_for_method (MonoMethod* method)
 
        if (!interface_type_attribute)
                interface_type_attribute = mono_class_from_name (mono_defaults.corlib, "System.Runtime.InteropServices", "InterfaceTypeAttribute");
-       cinfo = mono_custom_attrs_from_class (method->klass);
+       cinfo = mono_custom_attrs_from_class (ic);
        if (cinfo) {
                itf_attr = (MonoInterfaceTypeAttribute*)mono_custom_attrs_get_attr (cinfo, interface_type_attribute);
                if (!cinfo->cached)
@@ -388,6 +392,7 @@ mono_marshal_init (void)
                register_icall (mono_marshal_xdomain_copy_value, "mono_marshal_xdomain_copy_value", "object object", FALSE);
                register_icall (mono_marshal_xdomain_copy_out_value, "mono_marshal_xdomain_copy_out_value", "void object object", FALSE);
                register_icall (mono_marshal_set_domain_by_id, "mono_marshal_set_domain_by_id", "int32 int32 int32", FALSE);
+               register_icall (mono_marshal_check_domain_image, "mono_marshal_check_domain_image", "int32 int32 ptr", FALSE);
                register_icall (mono_compile_method, "mono_compile_method", "ptr ptr", FALSE);
                register_icall (mono_context_get, "mono_context_get", "object", FALSE);
                register_icall (mono_context_set, "mono_context_set", "void object", FALSE);
@@ -1134,14 +1139,19 @@ mono_mb_emit_i2 (MonoMethodBuilder *mb, gint16 data)
        mb->pos += 2;
 }
 
+static inline void
+mono_mb_emit_op (MonoMethodBuilder *mb, guint8 op, gpointer data)
+{
+       mono_mb_emit_byte (mb, op);
+       mono_mb_emit_i4 (mb, mono_mb_add_data (mb, data));
+}
+
 void
 mono_mb_emit_ldstr (MonoMethodBuilder *mb, char *str)
 {
-       mono_mb_emit_byte (mb, CEE_LDSTR);
-       mono_mb_emit_i4 (mb, mono_mb_add_data (mb, str));
+       mono_mb_emit_op (mb, CEE_LDSTR, str);
 }
 
-
 void
 mono_mb_emit_ldarg (MonoMethodBuilder *mb, guint argnum)
 {
@@ -1237,26 +1247,46 @@ mono_mb_emit_branch (MonoMethodBuilder *mb, guint8 op)
        return res;
 }
 
+guint32
+mono_mb_emit_short_branch (MonoMethodBuilder *mb, guint8 op)
+{
+       guint32 res;
+       mono_mb_emit_byte (mb, op);
+       res = mb->pos;
+       mono_mb_emit_byte (mb, 0);
+
+       return res;
+}
+
+static void
+mono_mb_patch_branch (MonoMethodBuilder *mb, guint32 pos)
+{
+       mono_mb_patch_addr (mb, pos, mb->pos - (pos + 4));
+}
+
+static void
+mono_mb_patch_short_branch (MonoMethodBuilder *mb, guint32 pos)
+{
+       mono_mb_patch_addr_s (mb, pos, mb->pos - (pos + 1));
+}
+
 static void
 mono_mb_emit_ptr (MonoMethodBuilder *mb, gpointer ptr)
 {
        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, ptr));
+       mono_mb_emit_op (mb, CEE_MONO_LDPTR, ptr);
 }
 
 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));
+       mono_mb_emit_op (mb, CEE_CALLI, sig);
 }
 
 void
 mono_mb_emit_managed_call (MonoMethodBuilder *mb, MonoMethod *method, MonoMethodSignature *opt_sig)
 {
-       mono_mb_emit_byte (mb, CEE_CALL);
-       mono_mb_emit_i4 (mb, mono_mb_add_data (mb, method));
+       mono_mb_emit_op (mb, CEE_CALL, method);
 }
 
 void
@@ -1274,8 +1304,7 @@ static void
 mono_mb_emit_icall (MonoMethodBuilder *mb, gpointer func)
 {
        mono_mb_emit_byte (mb, MONO_CUSTOM_PREFIX);
-       mono_mb_emit_byte (mb, CEE_MONO_ICALL);
-       mono_mb_emit_i4 (mb, mono_mb_add_data (mb, func));
+       mono_mb_emit_op (mb, CEE_MONO_ICALL, func);
 }
 
 static void
@@ -1302,8 +1331,7 @@ mono_mb_emit_exception_full (MonoMethodBuilder *mb, const char *exc_nspace, cons
        mono_class_init (mme);
        ctor = mono_class_get_method_from_name (mme, ".ctor", 0);
        g_assert (ctor);
-       mono_mb_emit_byte (mb, CEE_NEWOBJ);
-       mono_mb_emit_i4 (mb, mono_mb_add_data (mb, ctor));
+       mono_mb_emit_op (mb, CEE_NEWOBJ, ctor);
        if (msg != NULL) {
                mono_mb_emit_byte (mb, CEE_DUP);
                mono_mb_emit_ldflda (mb, G_STRUCT_OFFSET (MonoException, message));
@@ -1488,8 +1516,7 @@ emit_ptr_to_object_conv (MonoMethodBuilder *mb, MonoType *type, MonoMarshalConv
                /* create a new array */
                mono_mb_emit_ldloc (mb, 1);
                mono_mb_emit_icon (mb, mspec->data.array_data.num_elem);
-               mono_mb_emit_byte (mb, CEE_NEWARR);     
-               mono_mb_emit_i4 (mb, mono_mb_add_data (mb, eklass));
+               mono_mb_emit_op (mb, CEE_NEWARR, eklass);       
                mono_mb_emit_byte (mb, CEE_STIND_I);
 
                if (eklass->blittable) {
@@ -1533,17 +1560,14 @@ emit_ptr_to_object_conv (MonoMethodBuilder *mb, MonoType *type, MonoMarshalConv
                        mono_mb_emit_ldloc (mb, index_var);
                        mono_mb_emit_ldloc (mb, array_var);
                        mono_mb_emit_byte (mb, CEE_LDLEN);
-                       mono_mb_emit_byte (mb, CEE_BGE);
-                       label3 = mb->pos;
-                       mono_mb_emit_i4 (mb, 0);
+                       label3 = mono_mb_emit_branch (mb, CEE_BGE);
 
                        /* src is already set */
 
                        /* Set dst */
                        mono_mb_emit_ldloc (mb, array_var);
                        mono_mb_emit_ldloc (mb, index_var);
-                       mono_mb_emit_byte (mb, CEE_LDELEMA);
-                       mono_mb_emit_i4 (mb, mono_mb_add_data (mb, eklass));
+                       mono_mb_emit_op (mb, CEE_LDELEMA, eklass);
                        mono_mb_emit_stloc (mb, 1);
 
                        /* Do the conversion */
@@ -1555,7 +1579,7 @@ emit_ptr_to_object_conv (MonoMethodBuilder *mb, MonoType *type, MonoMarshalConv
                        mono_mb_emit_byte (mb, CEE_BR);
                        mono_mb_emit_i4 (mb, label2 - (mb->pos + 4));
 
-                       mono_mb_patch_addr (mb, label3, mb->pos - (label3 + 4));
+                       mono_mb_patch_branch (mb, label3);
                
                        /* restore the old src pointer */
                        mono_mb_emit_ldloc (mb, src_var);
@@ -1572,8 +1596,7 @@ emit_ptr_to_object_conv (MonoMethodBuilder *mb, MonoType *type, MonoMarshalConv
                /* create a new array */
                mono_mb_emit_ldloc (mb, 1);
                mono_mb_emit_icon (mb, mspec->data.array_data.num_elem);
-               mono_mb_emit_byte (mb, CEE_NEWARR);     
-               mono_mb_emit_i4 (mb, mono_mb_add_data (mb, eclass));
+               mono_mb_emit_op (mb, CEE_NEWARR, eclass);       
                mono_mb_emit_byte (mb, CEE_STIND_REF);
 
                mono_mb_emit_ldloc (mb, 1);
@@ -1621,8 +1644,7 @@ emit_ptr_to_object_conv (MonoMethodBuilder *mb, MonoType *type, MonoMarshalConv
                /* *dst = new object */
                mono_mb_emit_ldloc (mb, 1);
                mono_mb_emit_byte (mb, MONO_CUSTOM_PREFIX);
-               mono_mb_emit_byte (mb, CEE_MONO_NEWOBJ);        
-               mono_mb_emit_i4 (mb, mono_mb_add_data (mb, klass));
+               mono_mb_emit_op (mb, CEE_MONO_NEWOBJ, klass);   
                mono_mb_emit_byte (mb, CEE_STIND_REF);
        
                /* save the old src pointer */
@@ -1654,8 +1676,7 @@ emit_ptr_to_object_conv (MonoMethodBuilder *mb, MonoType *type, MonoMarshalConv
 
                mono_mb_emit_ldloc (mb, 1);
                mono_mb_emit_byte (mb, MONO_CUSTOM_PREFIX);
-               mono_mb_emit_byte (mb, CEE_MONO_CLASSCONST);
-               mono_mb_emit_i4 (mb, mono_mb_add_data (mb, klass));
+               mono_mb_emit_op (mb, CEE_MONO_CLASSCONST, klass);
                mono_mb_emit_ldloc (mb, 0);
                mono_mb_emit_byte (mb, CEE_LDIND_I);
                mono_mb_emit_icall (mb, mono_ftnptr_to_delegate);
@@ -1755,13 +1776,11 @@ emit_object_to_ptr_conv (MonoMethodBuilder *mb, MonoType *type, MonoMarshalConv
 
                /* free space if free == true */
                mono_mb_emit_ldloc (mb, 2);
-               mono_mb_emit_byte (mb, CEE_BRFALSE_S);
-               pos = mb->pos;
-               mono_mb_emit_byte (mb, 0);
+               pos = mono_mb_emit_short_branch (mb, CEE_BRFALSE_S);
                mono_mb_emit_ldloc (mb, 1);
                mono_mb_emit_byte (mb, CEE_LDIND_I);
                mono_mb_emit_icall (mb, g_free);
-               mono_mb_patch_addr_s (mb, pos, mb->pos - pos - 1);
+               mono_mb_patch_short_branch (mb, pos);
 
                mono_mb_emit_ldloc (mb, 1);
                mono_mb_emit_ldloc (mb, 0);
@@ -1807,18 +1826,13 @@ emit_object_to_ptr_conv (MonoMethodBuilder *mb, MonoType *type, MonoMarshalConv
 
                mono_mb_emit_ldloc (mb, 0);
                mono_mb_emit_byte (mb, CEE_LDIND_REF);
-               mono_mb_emit_byte (mb, CEE_BRFALSE_S);
-               pos = mb->pos;
-               mono_mb_emit_byte (mb, 0);
+               pos = mono_mb_emit_short_branch (mb, CEE_BRFALSE_S);
 
                if (eklass->blittable) {
                        mono_mb_emit_ldloc (mb, 1);
                        mono_mb_emit_ldloc (mb, 0);     
                        mono_mb_emit_byte (mb, CEE_LDIND_REF);  
-                       mono_mb_emit_byte (mb, MONO_CUSTOM_PREFIX);
-                       mono_mb_emit_byte (mb, CEE_MONO_OBJADDR);
-                       mono_mb_emit_icon (mb, G_STRUCT_OFFSET (MonoArray, vector));
-                       mono_mb_emit_byte (mb, CEE_ADD);
+                       mono_mb_emit_ldflda (mb, G_STRUCT_OFFSET (MonoArray, vector));
                        mono_mb_emit_icon (mb, mspec->data.array_data.num_elem * esize);
                        mono_mb_emit_byte (mb, CEE_PREFIX1);
                        mono_mb_emit_byte (mb, CEE_CPBLK);                      
@@ -1852,15 +1866,12 @@ emit_object_to_ptr_conv (MonoMethodBuilder *mb, MonoType *type, MonoMarshalConv
                        mono_mb_emit_ldloc (mb, index_var);
                        mono_mb_emit_ldloc (mb, array_var);
                        mono_mb_emit_byte (mb, CEE_LDLEN);
-                       mono_mb_emit_byte (mb, CEE_BGE);
-                       label3 = mb->pos;
-                       mono_mb_emit_i4 (mb, 0);
+                       label3 = mono_mb_emit_branch (mb, CEE_BGE);
 
                        /* Set src */
                        mono_mb_emit_ldloc (mb, array_var);
                        mono_mb_emit_ldloc (mb, index_var);
-                       mono_mb_emit_byte (mb, CEE_LDELEMA);
-                       mono_mb_emit_i4 (mb, mono_mb_add_data (mb, eklass));
+                       mono_mb_emit_op (mb, CEE_LDELEMA, eklass);
                        mono_mb_emit_stloc (mb, 0);
 
                        /* dst is already set */
@@ -1874,7 +1885,7 @@ emit_object_to_ptr_conv (MonoMethodBuilder *mb, MonoType *type, MonoMarshalConv
                        mono_mb_emit_byte (mb, CEE_BR);
                        mono_mb_emit_i4 (mb, label2 - (mb->pos + 4));
 
-                       mono_mb_patch_addr (mb, label3, mb->pos - (label3 + 4));
+                       mono_mb_patch_branch (mb, label3);
                
                        /* restore the old src pointer */
                        mono_mb_emit_ldloc (mb, src_var);
@@ -1884,15 +1895,13 @@ emit_object_to_ptr_conv (MonoMethodBuilder *mb, MonoType *type, MonoMarshalConv
                        mono_mb_emit_stloc (mb, 1);
                }
 
-               mono_mb_patch_addr_s (mb, pos, mb->pos - pos - 1);
+               mono_mb_patch_short_branch (mb, pos);
                break;
        }
        case MONO_MARSHAL_CONV_ARRAY_BYVALCHARARRAY: {
                mono_mb_emit_ldloc (mb, 0);
                mono_mb_emit_byte (mb, CEE_LDIND_REF);
-               mono_mb_emit_byte (mb, CEE_BRFALSE_S);
-               pos = mb->pos;
-               mono_mb_emit_byte (mb, 0);
+               pos = mono_mb_emit_short_branch (mb, CEE_BRFALSE_S);
 
                mono_mb_emit_ldloc (mb, 1);
                mono_mb_emit_ldloc (mb, 0);     
@@ -1900,7 +1909,7 @@ emit_object_to_ptr_conv (MonoMethodBuilder *mb, MonoType *type, MonoMarshalConv
                mono_mb_emit_ptr (mb, mono_defaults.byte_class);
                mono_mb_emit_icon (mb, mspec->data.array_data.num_elem);
                mono_mb_emit_icall (mb, mono_array_to_byvalarray);
-               mono_mb_patch_addr_s (mb, pos, mb->pos - pos - 1);
+               mono_mb_patch_short_branch (mb, pos);
                break;
        }
        case MONO_MARSHAL_CONV_OBJECT_STRUCT: {
@@ -1911,9 +1920,7 @@ emit_object_to_ptr_conv (MonoMethodBuilder *mb, MonoType *type, MonoMarshalConv
                
                mono_mb_emit_ldloc (mb, 0);
                mono_mb_emit_byte (mb, CEE_LDIND_I);
-               mono_mb_emit_byte (mb, CEE_BRFALSE_S);
-               pos = mb->pos;
-               mono_mb_emit_byte (mb, 0);
+               pos = mono_mb_emit_short_branch (mb, CEE_BRFALSE_S);
                
                /* save the old src pointer */
                mono_mb_emit_ldloc (mb, 0);
@@ -1938,7 +1945,7 @@ emit_object_to_ptr_conv (MonoMethodBuilder *mb, MonoType *type, MonoMarshalConv
                mono_mb_emit_ldloc (mb, dst_var);
                mono_mb_emit_stloc (mb, 1);
 
-               mono_mb_patch_addr_s (mb, pos, mb->pos - pos - 1);
+               mono_mb_patch_short_branch (mb, pos);
                break;
        }
        default: {
@@ -2124,8 +2131,7 @@ emit_struct_free (MonoMethodBuilder *mb, MonoClass *klass, int struct_var)
        /* Call DestroyStructure */
        /* FIXME: Only do this if needed */
        mono_mb_emit_byte (mb, MONO_CUSTOM_PREFIX);
-       mono_mb_emit_byte (mb, CEE_MONO_CLASSCONST);
-       mono_mb_emit_i4 (mb, mono_mb_add_data (mb, klass));
+       mono_mb_emit_op (mb, CEE_MONO_CLASSCONST, klass);
        mono_mb_emit_ldloc (mb, struct_var);
        mono_mb_emit_icall (mb, mono_struct_delete_old);
 }
@@ -2672,8 +2678,7 @@ mono_mb_emit_restore_result (MonoMethodBuilder *mb, MonoType *return_type)
        case MONO_TYPE_I8:
        case MONO_TYPE_R4:
        case MONO_TYPE_R8:
-               mono_mb_emit_byte (mb, CEE_UNBOX);
-               mono_mb_emit_i4 (mb, mono_mb_add_data (mb, mono_class_from_mono_type (return_type)));
+               mono_mb_emit_op (mb, CEE_UNBOX, mono_class_from_mono_type (return_type));
                mono_mb_emit_byte (mb, mono_type_to_ldind (return_type));
                break;
        case MONO_TYPE_GENERICINST:
@@ -2681,12 +2686,9 @@ mono_mb_emit_restore_result (MonoMethodBuilder *mb, MonoType *return_type)
                        break;
                /* fall through */
        case MONO_TYPE_VALUETYPE: {
-               int class;
-               mono_mb_emit_byte (mb, CEE_UNBOX);
-               class = mono_mb_add_data (mb, mono_class_from_mono_type (return_type));
-               mono_mb_emit_i4 (mb, class);
-               mono_mb_emit_byte (mb, CEE_LDOBJ);
-               mono_mb_emit_i4 (mb, class);
+               MonoClass *klass = mono_class_from_mono_type (return_type);
+               mono_mb_emit_op (mb, CEE_UNBOX, klass);
+               mono_mb_emit_op (mb, CEE_LDOBJ, klass);
                break;
        }
        default:
@@ -2864,22 +2866,22 @@ cominterop_get_native_wrapper (MonoMethod *method)
 {
        MonoMethod *res;
        GHashTable *cache;
+       MonoMethodBuilder *mb;
+       MonoMethodSignature *sig, *csig;
+
        g_assert (method);
 
        cache = method->klass->image->cominterop_wrapper_cache;
        if ((res = mono_marshal_find_in_cache (cache, method)))
                return res;
 
+       sig = mono_method_signature (method);
+       mb = mono_mb_new (method->klass, method->name, MONO_WRAPPER_COMINTEROP);
+
        /* if method klass is import, that means method
         * is really a com call. let interop system emit it.
        */
        if (MONO_CLASS_IS_IMPORT(method->klass)) {
-               MonoMethodBuilder *mb;
-               MonoMethodSignature *sig, *csig;
-
-               sig = mono_method_signature (method);
-               mb = mono_mb_new (method->klass, method->name, MONO_WRAPPER_COMINTEROP);
-
                /* FIXME: we have to call actual class .ctor
                 * instead of just __ComObject .ctor.
                 */
@@ -2897,7 +2899,7 @@ cominterop_get_native_wrapper (MonoMethod *method)
                        static MonoMethod * GetInterface = NULL;
                        MonoMethod *adjusted_method;
                        int hr;
-                       int retval;
+                       int retval = 0;
                        int ptr_this;
                        int i;
                        if (!GetInterface)
@@ -2946,18 +2948,20 @@ cominterop_get_native_wrapper (MonoMethod *method)
                        mono_mb_emit_byte (mb, CEE_RET);
                }
                
-               csig = signature_dup (method->klass->image, sig);
-               csig->pinvoke = 0;
-               res = mono_mb_create_and_cache (cache, method,
-                                                                               mb, csig, csig->param_count + 16);
-               mono_mb_free (mb);
-               return res;
+               
        }
        /* Does this case ever get hit? */
        else {
-               g_assert(0);
-               return NULL;
+               char *msg = g_strdup ("non imported interfaces on \
+                       imported classes is not yet implemented.");
+               mono_mb_emit_exception (mb, "NotSupportedException", msg);
        }
+       csig = signature_dup (method->klass->image, sig);
+       csig->pinvoke = 0;
+       res = mono_mb_create_and_cache (cache, method,
+                                                                       mb, csig, csig->param_count + 16);
+       mono_mb_free (mb);
+       return res;
 }
 
 /**
@@ -3009,14 +3013,28 @@ cominterop_get_invoke (MonoMethod *method)
        }
        else {
                if (method->flags & METHOD_ATTRIBUTE_VIRTUAL)
-                       mono_mb_emit_byte (mb, CEE_CALLVIRT);
+                       mono_mb_emit_op (mb, CEE_CALLVIRT, method);
                else
-                       mono_mb_emit_byte (mb, CEE_CALL);
-               mono_mb_emit_i4 (mb, mono_mb_add_data (mb, method));
+                       mono_mb_emit_op (mb, CEE_CALL, method);
+       }
+
+       if (!strcmp(method->name, ".ctor"))     {
+               static MonoClass *com_interop_proxy_class = NULL;
+               static MonoMethod *cache_proxy = NULL;
+
+               if (!com_interop_proxy_class)
+                       com_interop_proxy_class = mono_class_from_name (mono_defaults.corlib, "Mono.Interop", "ComInteropProxy");
+               if (!cache_proxy)
+                       cache_proxy = mono_class_get_method_from_name (com_interop_proxy_class, "CacheProxy", 0);
+
+               mono_mb_emit_ldarg (mb, 0);
+               mono_mb_emit_ldflda (mb, G_STRUCT_OFFSET (MonoTransparentProxy, rp));
+               mono_mb_emit_byte (mb, CEE_LDIND_REF);
+               mono_mb_emit_managed_call (mb, cache_proxy, NULL);
        }
 
        emit_thread_interrupt_checkpoint (mb);
-       
+
        mono_mb_emit_byte (mb, CEE_RET);
 
        res = mono_mb_create_and_cache (cache, method, mb, sig, sig->param_count + 16);
@@ -3039,7 +3057,7 @@ mono_marshal_get_remoting_invoke (MonoMethod *method)
                return method;
 
        /* this seems to be the best plase to put this, as all remoting invokes seem to get filtered through here */
-       if ((MONO_CLASS_IS_IMPORT(method->klass) || method->klass == mono_defaults.com_object_class) && !mono_class_vtable (mono_domain_get (), method->klass)->remote)
+       if ((method->klass->is_com_object || method->klass == mono_defaults.com_object_class) && !mono_class_vtable (mono_domain_get (), method->klass)->remote)
                return cominterop_get_invoke(method);
 
        sig = signature_no_pinvoke (method);
@@ -3219,8 +3237,7 @@ static void
 mono_marshal_emit_xdomain_copy_value (MonoMethodBuilder *mb, MonoClass *pclass)
 {
        mono_mb_emit_icall (mb, mono_marshal_xdomain_copy_value);
-       mono_mb_emit_byte (mb, CEE_CASTCLASS);
-       mono_mb_emit_i4 (mb, mono_mb_add_data (mb, pclass));
+       mono_mb_emit_op (mb, CEE_CASTCLASS, pclass);
 }
 
 static void
@@ -3276,6 +3293,31 @@ mono_marshal_emit_load_domain_method (MonoMethodBuilder *mb, MonoMethod *method)
        mono_mb_emit_icall (mb, mono_compile_method);
 }
 
+/* mono_marshal_check_domain_image ()
+ * Returns TRUE if the image is loaded in the specified
+ * application domain.
+ */
+static gboolean
+mono_marshal_check_domain_image (gint32 domain_id, MonoImage *image)
+{
+       MonoAssembly* ass;
+       GSList *tmp;
+       
+       MonoDomain *domain = mono_domain_get_by_id (domain_id);
+       if (!domain)
+               return FALSE;
+       
+       mono_domain_assemblies_lock (domain);
+       for (tmp = domain->domain_assemblies; tmp; tmp = tmp->next) {
+               ass = tmp->data;
+               if (ass->image == image)
+                       break;
+       }
+       mono_domain_assemblies_unlock (domain);
+       
+       return tmp != NULL;
+}
+
 /* mono_marshal_get_xappdomain_dispatch ()
  * Generates a method that dispatches a method call from another domain into
  * the current domain.
@@ -3345,9 +3387,7 @@ mono_marshal_get_xappdomain_dispatch (MonoMethod *method, int *marshal_types, in
        mono_mb_emit_ldarg (mb, 1);
        mono_mb_emit_byte (mb, CEE_LDIND_REF);
        mono_mb_emit_byte (mb, CEE_DUP);
-       mono_mb_emit_byte (mb, CEE_BRFALSE_S);
-       pos = mb->pos;
-       mono_mb_emit_byte (mb, 0);
+       pos = mono_mb_emit_short_branch (mb, CEE_BRFALSE_S);
        
        mono_marshal_emit_xdomain_copy_value (mb, byte_array_class);
        mono_mb_emit_managed_call (mb, method_rs_deserialize, NULL);
@@ -3380,24 +3420,19 @@ mono_marshal_get_xappdomain_dispatch (MonoMethod *method, int *marshal_types, in
                        if (pt->byref) {
                                if (pclass->valuetype) {
                                        mono_mb_emit_byte (mb, CEE_LDELEM_REF);
-                                       mono_mb_emit_byte (mb, CEE_UNBOX);
-                                       mono_mb_emit_i4 (mb, mono_mb_add_data (mb, pclass));
+                                       mono_mb_emit_op (mb, CEE_UNBOX, pclass);
                                } else {
-                                       mono_mb_emit_byte (mb, CEE_LDELEMA);
-                                       mono_mb_emit_i4 (mb, mono_mb_add_data (mb, pclass));
+                                       mono_mb_emit_op (mb, CEE_LDELEMA, pclass);
                                }
                        } else {
                                if (pclass->valuetype) {
                                        mono_mb_emit_byte (mb, CEE_LDELEM_REF);
-                                       mono_mb_emit_byte (mb, CEE_UNBOX);
-                                       mono_mb_emit_i4 (mb, mono_mb_add_data (mb, pclass));
-                                       mono_mb_emit_byte (mb, CEE_LDOBJ);
-                                       mono_mb_emit_i4 (mb, mono_mb_add_data (mb, pclass));
+                                       mono_mb_emit_op (mb, CEE_UNBOX, pclass);
+                                       mono_mb_emit_op (mb, CEE_LDOBJ, pclass);
                                } else {
                                        mono_mb_emit_byte (mb, CEE_LDELEM_REF);
                                        if (pclass != mono_defaults.object_class) {
-                                               mono_mb_emit_byte (mb, CEE_CASTCLASS);
-                                               mono_mb_emit_i4 (mb, mono_mb_add_data (mb, pclass));
+                                               mono_mb_emit_op (mb, CEE_CASTCLASS, pclass);
                                        }
                                }
                        }
@@ -3436,8 +3471,7 @@ mono_marshal_get_xappdomain_dispatch (MonoMethod *method, int *marshal_types, in
 
        emit_thread_force_interrupt_checkpoint (mb);
        
-       mono_mb_emit_byte (mb, CEE_CALLVIRT);
-       mono_mb_emit_i4 (mb, mono_mb_add_data (mb, method));
+       mono_mb_emit_op (mb, CEE_CALLVIRT, method);
 
        if (sig->ret->type != MONO_TYPE_VOID)
                mono_mb_emit_stloc (mb, loc_return);
@@ -3479,8 +3513,7 @@ mono_marshal_get_xappdomain_dispatch (MonoMethod *method, int *marshal_types, in
                        mono_mb_emit_icon (mb, complex_count);  /* The array has an additional slot to hold the ret value */
                        mono_mb_emit_ldloc (mb, loc_return);
                        if (ret_class->valuetype) {
-                               mono_mb_emit_byte (mb, CEE_BOX);
-                               mono_mb_emit_i4 (mb, mono_mb_add_data (mb, ret_class));
+                               mono_mb_emit_op (mb, CEE_BOX, ret_class);
                        }
                        mono_mb_emit_byte (mb, CEE_STELEM_REF);
                }
@@ -3495,8 +3528,7 @@ mono_marshal_get_xappdomain_dispatch (MonoMethod *method, int *marshal_types, in
                mono_mb_emit_ldarg (mb, 1);
                mono_mb_emit_ldloc (mb, loc_return);
                if (ret_class->valuetype) {
-                       mono_mb_emit_byte (mb, CEE_BOX);
-                       mono_mb_emit_i4 (mb, mono_mb_add_data (mb, ret_class));
+                       mono_mb_emit_op (mb, CEE_BOX, ret_class);
                }
                mono_mb_emit_managed_call (mb, method_rs_serialize, NULL);
                mono_mb_emit_byte (mb, CEE_STIND_REF);
@@ -3510,9 +3542,7 @@ mono_marshal_get_xappdomain_dispatch (MonoMethod *method, int *marshal_types, in
        mono_mb_emit_ldarg (mb, 2);
        mono_mb_emit_byte (mb, CEE_LDNULL);
        mono_mb_emit_byte (mb, CEE_STIND_REF);
-       mono_mb_emit_byte (mb, CEE_LEAVE);
-       pos_leave = mb->pos;
-       mono_mb_emit_i4 (mb, 0);
+       pos_leave = mono_mb_emit_branch (mb, CEE_LEAVE);
 
        /* Main exception catch */
        main_clause->flags = MONO_EXCEPTION_CLAUSE_NONE;
@@ -3526,8 +3556,7 @@ mono_marshal_get_xappdomain_dispatch (MonoMethod *method, int *marshal_types, in
        mono_mb_emit_ldarg (mb, 2);
        mono_mb_emit_ldloc (mb, loc_serialized_exc);
        mono_mb_emit_byte (mb, CEE_STIND_REF);
-       mono_mb_emit_byte (mb, CEE_LEAVE);
-       mono_mb_emit_i4 (mb, 0);
+       mono_mb_emit_branch (mb, CEE_LEAVE);
        main_clause->handler_len = mb->pos - main_clause->handler_offset;
        /* end catch */
 
@@ -3563,8 +3592,8 @@ mono_marshal_get_xappdomain_invoke (MonoMethod *method)
        MonoMethod *xdomain_method;
        int ret_marshal_type = MONO_MARSHAL_NONE;
        int loc_array=0, loc_serialized_data=-1, loc_real_proxy;
-       int loc_old_domainid, loc_return=0, loc_serialized_exc=0, loc_context;
-       int pos, pos_noex;
+       int loc_old_domainid, loc_domainid, loc_return=0, loc_serialized_exc=0, loc_context;
+       int pos, pos_dispatch, pos_noex;
        gboolean copy_return = FALSE;
 
        g_assert (method);
@@ -3624,6 +3653,7 @@ mono_marshal_get_xappdomain_invoke (MonoMethod *method)
        if (copy_return)
                loc_return = mono_mb_add_local (mb, sig->ret);
        loc_old_domainid = mono_mb_add_local (mb, &mono_defaults.int32_class->byval_arg);
+       loc_domainid = mono_mb_add_local (mb, &mono_defaults.int32_class->byval_arg);
        loc_serialized_exc = mono_mb_add_local (mb, &byte_array_class->byval_arg);
        loc_context = mono_mb_add_local (mb, &mono_defaults.object_class->byval_arg);
 
@@ -3637,24 +3667,48 @@ mono_marshal_get_xappdomain_invoke (MonoMethod *method)
         * through the whole remoting sink, since the context is going to change
         */
        mono_mb_emit_managed_call (mb, method_needs_context_sink, NULL);
-       mono_mb_emit_byte (mb, CEE_BRFALSE_S);
-       pos = mb->pos;
-       mono_mb_emit_byte (mb, 0);
+       pos = mono_mb_emit_short_branch (mb, CEE_BRTRUE_S);
        
+       /* Another case in which the fast path can't be used: when the target domain
+        * has a different image for the same assembly.
+        */
+
+       /* Get the target domain id */
+
+       mono_mb_emit_ldarg (mb, 0);
+       mono_mb_emit_ldflda (mb, G_STRUCT_OFFSET (MonoTransparentProxy, rp));
+       mono_mb_emit_byte (mb, CEE_LDIND_REF);
+       mono_mb_emit_byte (mb, CEE_DUP);
+       mono_mb_emit_stloc (mb, loc_real_proxy);
+
+       mono_mb_emit_ldflda (mb, G_STRUCT_OFFSET (MonoRealProxy, target_domain_id));
+       mono_mb_emit_byte (mb, CEE_LDIND_I4);
+       mono_mb_emit_stloc (mb, loc_domainid);
+
+       /* Check if the target domain has the same image for the required assembly */
+
+       mono_mb_emit_ldloc (mb, loc_domainid);
+       mono_mb_emit_ptr (mb, method->klass->image);
+       mono_mb_emit_icall (mb, mono_marshal_check_domain_image);
+       pos_dispatch = mono_mb_emit_short_branch (mb, CEE_BRTRUE_S);
+
+       /* Use the whole remoting sink to dispatch this message */
+
+       mono_mb_patch_short_branch (mb, pos);
+
        mono_mb_emit_ldarg (mb, 0);
        for (i = 0; i < sig->param_count; i++)
                mono_mb_emit_ldarg (mb, i + 1);
        
        mono_mb_emit_managed_call (mb, mono_marshal_get_remoting_invoke (method), NULL);
        mono_mb_emit_byte (mb, CEE_RET);
-       mono_mb_patch_addr_s (mb, pos, mb->pos - pos - 1);
+       mono_mb_patch_short_branch (mb, pos_dispatch);
 
        /* Create the array that will hold the parameters to be serialized */
 
        if (complex_count > 0) {
                mono_mb_emit_icon (mb, (ret_marshal_type == MONO_MARSHAL_SERIALIZE && complex_out_count > 0) ? complex_count + 1 : complex_count);      /* +1 for the return type */
-               mono_mb_emit_byte (mb, CEE_NEWARR);
-               mono_mb_emit_i4 (mb, mono_mb_add_data (mb, mono_defaults.object_class));
+               mono_mb_emit_op (mb, CEE_NEWARR, mono_defaults.object_class);
        
                j = 0;
                for (i = 0; i < sig->param_count; i++) {
@@ -3665,17 +3719,13 @@ mono_marshal_get_xappdomain_invoke (MonoMethod *method)
                        mono_mb_emit_icon (mb, j);
                        mono_mb_emit_ldarg (mb, i + 1);         /* 0=this */
                        if (sig->params[i]->byref) {
-                               if (pclass->valuetype) {
-                                       mono_mb_emit_byte (mb, CEE_LDOBJ);
-                                       mono_mb_emit_i4 (mb, mono_mb_add_data (mb, pclass));
-                               } else {
+                               if (pclass->valuetype)
+                                       mono_mb_emit_op (mb, CEE_LDOBJ, pclass);
+                               else
                                        mono_mb_emit_byte (mb, CEE_LDIND_REF);
-                               }
-                       }
-                       if (pclass->valuetype) {
-                               mono_mb_emit_byte (mb, CEE_BOX);
-                               mono_mb_emit_i4 (mb, mono_mb_add_data (mb, pclass));
                        }
+                       if (pclass->valuetype)
+                               mono_mb_emit_op (mb, CEE_BOX, pclass);
                        mono_mb_emit_byte (mb, CEE_STELEM_REF);
                        j++;
                }
@@ -3692,20 +3742,10 @@ mono_marshal_get_xappdomain_invoke (MonoMethod *method)
                mono_mb_emit_stloc (mb, loc_serialized_data);
        }
 
-       /* Get the target domain id */
-
-       mono_mb_emit_ldarg (mb, 0);
-       mono_mb_emit_ldflda (mb, G_STRUCT_OFFSET (MonoTransparentProxy, rp));
-       mono_mb_emit_byte (mb, CEE_LDIND_REF);
-       mono_mb_emit_byte (mb, CEE_DUP);
-       mono_mb_emit_stloc (mb, loc_real_proxy);
-
-       mono_mb_emit_ldflda (mb, G_STRUCT_OFFSET (MonoRealProxy, target_domain_id));
-       mono_mb_emit_byte (mb, CEE_LDIND_I4);
-       mono_mb_emit_byte (mb, CEE_LDC_I4_1);
-
        /* switch domain */
 
+       mono_mb_emit_ldloc (mb, loc_domainid);
+       mono_mb_emit_byte (mb, CEE_LDC_I4_1);
        mono_marshal_emit_switch_domain (mb);
        mono_mb_emit_stloc (mb, loc_old_domainid);
 
@@ -3765,15 +3805,12 @@ mono_marshal_get_xappdomain_invoke (MonoMethod *method)
        /* if (loc_serialized_exc != null) ... */
 
        mono_mb_emit_ldloc (mb, loc_serialized_exc);
-       mono_mb_emit_byte (mb, CEE_BRFALSE_S);
-       pos_noex = mb->pos;
-       mono_mb_emit_byte (mb, 0);
+       pos_noex = mono_mb_emit_short_branch (mb, CEE_BRFALSE_S);
 
        mono_mb_emit_ldloc (mb, loc_serialized_exc);
        mono_marshal_emit_xdomain_copy_value (mb, byte_array_class);
        mono_mb_emit_managed_call (mb, method_rs_deserialize, NULL);
-       mono_mb_emit_byte (mb, CEE_CASTCLASS);
-       mono_mb_emit_i4 (mb, mono_mb_add_data (mb, mono_defaults.exception_class));
+       mono_mb_emit_op (mb, CEE_CASTCLASS, mono_defaults.exception_class);
        mono_mb_emit_managed_call (mb, method_exc_fixexc, NULL);
        mono_mb_emit_byte (mb, CEE_THROW);
        mono_mb_patch_addr_s (mb, pos_noex, mb->pos - pos_noex - 1);
@@ -3809,17 +3846,12 @@ mono_marshal_get_xappdomain_invoke (MonoMethod *method)
                                mono_mb_emit_icon (mb, j);
                                mono_mb_emit_byte (mb, CEE_LDELEM_REF);
                                if (pclass->valuetype) {
-                                       mono_mb_emit_byte (mb, CEE_UNBOX);
-                                       mono_mb_emit_i4 (mb, mono_mb_add_data (mb, pclass));
-                                       mono_mb_emit_byte (mb, CEE_LDOBJ);
-                                       mono_mb_emit_i4 (mb, mono_mb_add_data (mb, pclass));
-                                       mono_mb_emit_byte (mb, CEE_STOBJ);
-                                       mono_mb_emit_i4 (mb, mono_mb_add_data (mb, pclass));
+                                       mono_mb_emit_op (mb, CEE_UNBOX, pclass);
+                                       mono_mb_emit_op (mb, CEE_LDOBJ, pclass);
+                                       mono_mb_emit_op (mb, CEE_STOBJ, pclass);
                                } else {
-                                       if (pclass != mono_defaults.object_class) {
-                                               mono_mb_emit_byte (mb, CEE_CASTCLASS);
-                                               mono_mb_emit_i4 (mb, mono_mb_add_data (mb, pclass));
-                                       }
+                                       if (pclass != mono_defaults.object_class)
+                                               mono_mb_emit_op (mb, CEE_CASTCLASS, pclass);
                                        mono_mb_emit_byte (mb, CEE_STIND_REF);
                                }
                        }
@@ -3831,10 +3863,8 @@ mono_marshal_get_xappdomain_invoke (MonoMethod *method)
                        mono_mb_emit_icon (mb, complex_count);
                        mono_mb_emit_byte (mb, CEE_LDELEM_REF);
                        if (ret_class->valuetype) {
-                               mono_mb_emit_byte (mb, CEE_UNBOX);
-                               mono_mb_emit_i4 (mb, mono_mb_add_data (mb, ret_class));
-                               mono_mb_emit_byte (mb, CEE_LDOBJ);
-                               mono_mb_emit_i4 (mb, mono_mb_add_data (mb, ret_class));
+                               mono_mb_emit_op (mb, CEE_UNBOX, ret_class);
+                               mono_mb_emit_op (mb, CEE_LDOBJ, ret_class);
                        }
                }
        } else if (ret_marshal_type == MONO_MARSHAL_SERIALIZE) {
@@ -3842,20 +3872,15 @@ mono_marshal_get_xappdomain_invoke (MonoMethod *method)
                mono_marshal_emit_xdomain_copy_value (mb, byte_array_class);
                mono_mb_emit_managed_call (mb, method_rs_deserialize, NULL);
                if (ret_class->valuetype) {
-                       mono_mb_emit_byte (mb, CEE_UNBOX);
-                       mono_mb_emit_i4 (mb, mono_mb_add_data (mb, ret_class));
-                       mono_mb_emit_byte (mb, CEE_LDOBJ);
-                       mono_mb_emit_i4 (mb, mono_mb_add_data (mb, ret_class));
+                       mono_mb_emit_op (mb, CEE_UNBOX, ret_class);
+                       mono_mb_emit_op (mb, CEE_LDOBJ, ret_class);
                } else if (ret_class != mono_defaults.object_class) {
-                       mono_mb_emit_byte (mb, CEE_CASTCLASS);
-                       mono_mb_emit_i4 (mb, mono_mb_add_data (mb, ret_class));
+                       mono_mb_emit_op (mb, CEE_CASTCLASS, ret_class);
                }
        } else {
                mono_mb_emit_ldloc (mb, loc_serialized_data);
                mono_mb_emit_byte (mb, CEE_DUP);
-               mono_mb_emit_byte (mb, CEE_BRFALSE_S);
-               pos = mb->pos;
-               mono_mb_emit_byte (mb, 0);
+               pos = mono_mb_emit_short_branch (mb, CEE_BRFALSE_S);
                mono_marshal_emit_xdomain_copy_value (mb, byte_array_class);
        
                mono_mb_patch_addr_s (mb, pos, mb->pos - (pos + 1));
@@ -3943,7 +3968,7 @@ mono_marshal_get_remoting_invoke_with_check (MonoMethod *method)
        mono_mb_emit_byte (mb, CEE_RET);
 
        /* not a proxy */
-       mono_mb_patch_addr (mb, pos, mb->pos - (pos + 4));
+       mono_mb_patch_branch (mb, pos);
        mono_mb_emit_managed_call (mb, method, mono_method_signature (method));
        mono_mb_emit_byte (mb, CEE_RET);
 
@@ -4005,10 +4030,7 @@ mono_marshal_get_delegate_invoke (MonoMethod *method)
 
        /* if prev != null */
        mono_mb_emit_ldloc (mb, 0);
-       mono_mb_emit_byte (mb, CEE_BRFALSE);
-
-       pos0 = mb->pos;
-       mono_mb_emit_i4 (mb, 0);
+       pos0 = mono_mb_emit_branch (mb, CEE_BRFALSE);
 
        /* then recurse */
        mono_mb_emit_ldloc (mb, 0);
@@ -4019,7 +4041,7 @@ mono_marshal_get_delegate_invoke (MonoMethod *method)
                mono_mb_emit_byte (mb, CEE_POP);
 
        /* continued or prev == null */
-       mono_mb_patch_addr (mb, pos0, mb->pos - (pos0 + 4));
+       mono_mb_patch_branch (mb, pos0);
 
        /* get this->target */
        mono_mb_emit_ldarg (mb, 0);
@@ -4029,9 +4051,7 @@ mono_marshal_get_delegate_invoke (MonoMethod *method)
 
        /* if target != null */
        mono_mb_emit_ldloc (mb, 0);
-       mono_mb_emit_byte (mb, CEE_BRFALSE);
-       pos0 = mb->pos;
-       mono_mb_emit_i4 (mb, 0);
+       pos0 = mono_mb_emit_branch (mb, CEE_BRFALSE);
        
        /* then call this->method_ptr nonstatic */
        mono_mb_emit_ldloc (mb, 0); 
@@ -4040,26 +4060,22 @@ mono_marshal_get_delegate_invoke (MonoMethod *method)
        mono_mb_emit_ldarg (mb, 0);
        mono_mb_emit_ldflda (mb, G_STRUCT_OFFSET (MonoDelegate, method_ptr));
        mono_mb_emit_byte (mb, CEE_LDIND_I );
-       mono_mb_emit_byte (mb, CEE_CALLI);
-       mono_mb_emit_i4 (mb, mono_mb_add_data (mb, sig));
+       mono_mb_emit_op (mb, CEE_CALLI, sig);
 
-       mono_mb_emit_byte (mb, CEE_BR);
-       pos1 = mb->pos;
-       mono_mb_emit_i4 (mb, 0);
+       pos1 = mono_mb_emit_branch (mb, CEE_BR);
 
        /* else [target == null] call this->method_ptr static */
-       mono_mb_patch_addr (mb, pos0, mb->pos - (pos0 + 4));
+       mono_mb_patch_branch (mb, pos0);
 
        for (i = 0; i < sig->param_count; ++i)
                mono_mb_emit_ldarg (mb, i + 1);
        mono_mb_emit_ldarg (mb, 0);
        mono_mb_emit_ldflda (mb, G_STRUCT_OFFSET (MonoDelegate, method_ptr));
        mono_mb_emit_byte (mb, CEE_LDIND_I );
-       mono_mb_emit_byte (mb, CEE_CALLI);
-       mono_mb_emit_i4 (mb, mono_mb_add_data (mb, static_sig));
+       mono_mb_emit_op (mb, CEE_CALLI, static_sig);
 
        /* return */
-       mono_mb_patch_addr (mb, pos1, mb->pos - (pos1 + 4));
+       mono_mb_patch_branch (mb, pos1);
        mono_mb_emit_byte (mb, CEE_RET);
 
        res = mono_mb_create_and_cache (cache, sig,
@@ -4277,13 +4293,10 @@ handle_enum:
                        }
                        if (mono_class_is_nullable (mono_class_from_mono_type (sig->params [i]))) {
                                /* Need to convert a boxed vtype to an mp to a Nullable struct */
-                               mono_mb_emit_byte (mb, CEE_UNBOX);
-                               mono_mb_emit_i4 (mb, mono_mb_add_data (mb, mono_class_from_mono_type (sig->params [i])));
-                               mono_mb_emit_byte (mb, CEE_LDOBJ);
-                               mono_mb_emit_i4 (mb, mono_mb_add_data (mb, mono_class_from_mono_type (sig->params [i])));
+                               mono_mb_emit_op (mb, CEE_UNBOX, mono_class_from_mono_type (sig->params [i]));
+                               mono_mb_emit_op (mb, CEE_LDOBJ, mono_class_from_mono_type (sig->params [i]));
                        } else {
-                               mono_mb_emit_byte (mb, CEE_LDOBJ);
-                               mono_mb_emit_i4 (mb, mono_mb_add_data (mb, mono_class_from_mono_type (sig->params [i])));
+                               mono_mb_emit_op (mb, CEE_LDOBJ, mono_class_from_mono_type (sig->params [i]));
                        }
                        break;
                default:
@@ -4323,8 +4336,7 @@ handle_enum:
        case MONO_TYPE_TYPEDBYREF:
        case MONO_TYPE_GENERICINST:
                /* box value types */
-               mono_mb_emit_byte (mb, CEE_BOX);
-               mono_mb_emit_i4 (mb, mono_mb_add_data (mb, mono_class_from_mono_type (sig->ret)));
+               mono_mb_emit_op (mb, CEE_BOX, mono_class_from_mono_type (sig->ret));
                break;
        case MONO_TYPE_STRING:
        case MONO_TYPE_CLASS:  
@@ -4340,9 +4352,7 @@ handle_enum:
 
        mono_mb_emit_stloc (mb, 0);
                        
-       mono_mb_emit_byte (mb, CEE_LEAVE);
-       pos = mb->pos;
-       mono_mb_emit_i4 (mb, 0);
+       pos = mono_mb_emit_branch (mb, CEE_LEAVE);
 
        mono_loader_lock ();
        clause = mono_mempool_alloc0 (target_klass->image->mempool, sizeof (MonoExceptionClause));
@@ -4376,23 +4386,19 @@ handle_enum:
 
        /* Check for the abort exception */
        mono_mb_emit_ldloc (mb, 1);
-       mono_mb_emit_byte (mb, CEE_ISINST);
-       mono_mb_emit_i4 (mb, mono_mb_add_data (mb, mono_defaults.threadabortexception_class));
-       mono_mb_emit_byte (mb, CEE_BRFALSE_S);
-       posna = mb->pos;
-       mono_mb_emit_byte (mb, 0);
+       mono_mb_emit_op (mb, CEE_ISINST, mono_defaults.threadabortexception_class);
+       posna = mono_mb_emit_short_branch (mb, CEE_BRFALSE_S);
 
        /* Delay the abort exception */
        mono_mb_emit_native_call (mb, dealy_abort_sig, ves_icall_System_Threading_Thread_ResetAbort);
 
-       mono_mb_patch_addr_s (mb, posna, mb->pos - posna - 1);
-       mono_mb_emit_byte (mb, CEE_LEAVE);
-       mono_mb_emit_i4 (mb, 0);
+       mono_mb_patch_short_branch (mb, posna);
+       mono_mb_emit_branch (mb, CEE_LEAVE);
 
        clause->handler_len = mb->pos - clause->handler_offset;
 
        /* return result */
-       mono_mb_patch_addr (mb, pos, mb->pos - (pos + 4));
+       mono_mb_patch_branch (mb, pos);
        mono_mb_emit_ldloc (mb, 0);
        mono_mb_emit_byte (mb, CEE_RET);
 
@@ -4571,17 +4577,14 @@ mono_marshal_get_ldfld_wrapper (MonoType *type)
        */
 
        if (klass->valuetype) {
-               mono_mb_emit_byte (mb, CEE_UNBOX);
-               mono_mb_emit_i4 (mb, mono_mb_add_data (mb, klass));             
-               mono_mb_emit_byte (mb, CEE_BR);
-               pos1 = mb->pos;
-               mono_mb_emit_i4 (mb, 0);
+               mono_mb_emit_op (mb, CEE_UNBOX, klass);
+               pos1 = mono_mb_emit_branch (mb, CEE_BR);
        } else {
                mono_mb_emit_byte (mb, CEE_RET);
        }
 
 
-       mono_mb_patch_addr (mb, pos0, mb->pos - (pos0 + 4));
+       mono_mb_patch_branch (mb, pos0);
 
        mono_mb_emit_ldarg (mb, 0);
         mono_mb_emit_byte (mb, MONO_CUSTOM_PREFIX);
@@ -4590,7 +4593,7 @@ mono_marshal_get_ldfld_wrapper (MonoType *type)
        mono_mb_emit_byte (mb, CEE_ADD);
 
        if (klass->valuetype)
-               mono_mb_patch_addr (mb, pos1, mb->pos - (pos1 + 4));
+               mono_mb_patch_branch (mb, pos1);
 
        switch (t) {
        case MONO_TYPE_I1:
@@ -4618,13 +4621,11 @@ mono_marshal_get_ldfld_wrapper (MonoType *type)
                break;
        case MONO_TYPE_VALUETYPE:
                g_assert (!klass->enumtype);
-               mono_mb_emit_byte (mb, CEE_LDOBJ);
-               mono_mb_emit_i4 (mb, mono_mb_add_data (mb, klass));
+               mono_mb_emit_op (mb, CEE_LDOBJ, klass);
                break;
        case MONO_TYPE_GENERICINST:
                if (mono_type_generic_inst_is_valuetype (type)) {
-                       mono_mb_emit_byte (mb, CEE_LDOBJ);
-                       mono_mb_emit_i4 (mb, mono_mb_add_data (mb, klass));
+                       mono_mb_emit_op (mb, CEE_LDOBJ, klass);
                } else {
                        mono_mb_emit_byte (mb, CEE_LDIND_REF);
                }
@@ -4709,7 +4710,7 @@ mono_marshal_get_ldflda_wrapper (MonoType *type)
        /* FIXME: Only throw this if the object is in another appdomain */
        mono_mb_emit_exception_full (mb, "System", "InvalidOperationException", "Attempt to load field address from object in another appdomain.");
 
-       mono_mb_patch_addr (mb, pos0, mb->pos - (pos0 + 4));
+       mono_mb_patch_branch (mb, pos0);
 
        mono_mb_emit_ldarg (mb, 0);
         mono_mb_emit_byte (mb, MONO_CUSTOM_PREFIX);
@@ -4764,10 +4765,8 @@ mono_marshal_get_stfld_remote_wrapper (MonoClass *klass)
        mono_mb_emit_ldarg (mb, 2);
        mono_mb_emit_ldarg (mb, 3);
 
-       if (klass->valuetype) {
-               mono_mb_emit_byte (mb, CEE_BOX);
-               mono_mb_emit_i4 (mb, mono_mb_add_data (mb, klass));             
-       }
+       if (klass->valuetype)
+               mono_mb_emit_op (mb, CEE_BOX, klass);
 
        csig = mono_metadata_signature_alloc (mono_defaults.corlib, 4);
        csig->params [0] = &mono_defaults.object_class->byval_arg;
@@ -4861,7 +4860,7 @@ mono_marshal_get_stfld_wrapper (MonoType *type)
 
        mono_mb_emit_byte (mb, CEE_RET);
 
-       mono_mb_patch_addr (mb, pos, mb->pos - (pos + 4));
+       mono_mb_patch_branch (mb, pos);
 
        mono_mb_emit_ldarg (mb, 0);
         mono_mb_emit_byte (mb, MONO_CUSTOM_PREFIX);
@@ -4896,12 +4895,10 @@ mono_marshal_get_stfld_wrapper (MonoType *type)
                break;
        case MONO_TYPE_VALUETYPE:
                g_assert (!klass->enumtype);
-               mono_mb_emit_byte (mb, CEE_STOBJ);
-               mono_mb_emit_i4 (mb, mono_mb_add_data (mb, klass));
+               mono_mb_emit_op (mb, CEE_STOBJ, klass);
                break;
        case MONO_TYPE_GENERICINST:
-               mono_mb_emit_byte (mb, CEE_STOBJ);
-               mono_mb_emit_i4 (mb, mono_mb_add_data (mb, klass));
+               mono_mb_emit_op (mb, CEE_STOBJ, klass);
                break;
        default:
                g_warning ("type %x not implemented", type->type);
@@ -5087,8 +5084,7 @@ emit_marshal_custom (EmitMarshalContext *m, int argnum, MonoType *t,
 
                mono_mb_emit_ldstr (mb, g_strdup (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_op (mb, CEE_CALL, get_instance);
                                
                mono_mb_emit_ldarg (mb, argnum);
                if (t->byref)
@@ -5101,15 +5097,13 @@ emit_marshal_custom (EmitMarshalContext *m, int argnum, MonoType *t,
                         */
                        *conv_arg_type = &mono_defaults.int_class->byval_arg;
 
-                       mono_mb_emit_byte (mb, CEE_BOX);
-                       mono_mb_emit_i4 (mb, mono_mb_add_data (mb, mono_class_from_mono_type (t)));
+                       mono_mb_emit_op (mb, CEE_BOX, mono_class_from_mono_type (t));
                }
 
-               mono_mb_emit_byte (mb, CEE_CALLVIRT);
-               mono_mb_emit_i4 (mb, mono_mb_add_data (mb, marshal_managed_to_native));
+               mono_mb_emit_op (mb, CEE_CALLVIRT, marshal_managed_to_native);
                mono_mb_emit_stloc (mb, conv_arg);
 
-               mono_mb_patch_addr (mb, pos2, mb->pos - (pos2 + 4));
+               mono_mb_patch_branch (mb, pos2);
                break;
 
        case MARSHAL_ACTION_CONV_OUT:
@@ -5122,26 +5116,22 @@ emit_marshal_custom (EmitMarshalContext *m, int argnum, MonoType *t,
 
                        mono_mb_emit_ldstr (mb, g_strdup (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_op (mb, CEE_CALL, get_instance);
 
                        mono_mb_emit_ldloc (mb, conv_arg);
-                       mono_mb_emit_byte (mb, CEE_CALLVIRT);
-                       mono_mb_emit_i4 (mb, mono_mb_add_data (mb, marshal_native_to_managed));
+                       mono_mb_emit_op (mb, CEE_CALLVIRT, marshal_native_to_managed);
                        mono_mb_emit_byte (mb, CEE_STIND_REF);
                }
 
                mono_mb_emit_ldstr (mb, g_strdup (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_op (mb, CEE_CALL, get_instance);
 
                mono_mb_emit_ldloc (mb, conv_arg);
 
-               mono_mb_emit_byte (mb, CEE_CALLVIRT);
-               mono_mb_emit_i4 (mb, mono_mb_add_data (mb, cleanup_native));
+               mono_mb_emit_op (mb, CEE_CALLVIRT, cleanup_native);
 
-               mono_mb_patch_addr (mb, pos2, mb->pos - (pos2 + 4));
+               mono_mb_patch_branch (mb, pos2);
                break;
 
        case MARSHAL_ACTION_PUSH:
@@ -5165,20 +5155,17 @@ emit_marshal_custom (EmitMarshalContext *m, int argnum, MonoType *t,
 
                mono_mb_emit_ldstr (mb, g_strdup (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_op (mb, CEE_CALL, get_instance);
                mono_mb_emit_byte (mb, CEE_DUP);
 
                mono_mb_emit_ldloc (mb, 3);
-               mono_mb_emit_byte (mb, CEE_CALLVIRT);
-               mono_mb_emit_i4 (mb, mono_mb_add_data (mb, marshal_native_to_managed));
+               mono_mb_emit_op (mb, CEE_CALLVIRT, marshal_native_to_managed);
                mono_mb_emit_stloc (mb, 3);
 
                mono_mb_emit_ldloc (mb, loc1);
-               mono_mb_emit_byte (mb, CEE_CALLVIRT);
-               mono_mb_emit_i4 (mb, mono_mb_add_data (mb, cleanup_native));
+               mono_mb_emit_op (mb, CEE_CALLVIRT, cleanup_native);
 
-               mono_mb_patch_addr (mb, pos2, mb->pos - (pos2 + 4));
+               mono_mb_patch_branch (mb, pos2);
                break;
 
        case MARSHAL_ACTION_MANAGED_CONV_IN:
@@ -5197,16 +5184,14 @@ emit_marshal_custom (EmitMarshalContext *m, int argnum, MonoType *t,
                pos2 = mono_mb_emit_branch (mb, CEE_BRFALSE);
 
                mono_mb_emit_ldstr (mb, g_strdup (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_op (mb, CEE_CALL, get_instance);
                                
                mono_mb_emit_ldarg (mb, argnum);
                                
-               mono_mb_emit_byte (mb, CEE_CALLVIRT);
-               mono_mb_emit_i4 (mb, mono_mb_add_data (mb, marshal_native_to_managed));
+               mono_mb_emit_op (mb, CEE_CALLVIRT, marshal_native_to_managed);
                mono_mb_emit_stloc (mb, conv_arg);
 
-               mono_mb_patch_addr (mb, pos2, mb->pos - (pos2 + 4));
+               mono_mb_patch_branch (mb, pos2);
                break;
 
        case MARSHAL_ACTION_MANAGED_CONV_RESULT:
@@ -5224,20 +5209,17 @@ emit_marshal_custom (EmitMarshalContext *m, int argnum, MonoType *t,
                pos2 = mono_mb_emit_branch (mb, CEE_BRFALSE);
 
                mono_mb_emit_ldstr (mb, g_strdup (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_op (mb, CEE_CALL, get_instance);
                mono_mb_emit_byte (mb, CEE_DUP);
 
                mono_mb_emit_ldloc (mb, 3);
-               mono_mb_emit_byte (mb, CEE_CALLVIRT);
-               mono_mb_emit_i4 (mb, mono_mb_add_data (mb, marshal_managed_to_native));
+               mono_mb_emit_op (mb, CEE_CALLVIRT, marshal_managed_to_native);
                mono_mb_emit_stloc (mb, 3);
 
                mono_mb_emit_ldloc (mb, loc1);
-               mono_mb_emit_byte (mb, CEE_CALLVIRT);
-               mono_mb_emit_i4 (mb, mono_mb_add_data (mb, cleanup_managed));
+               mono_mb_emit_op (mb, CEE_CALLVIRT, cleanup_managed);
 
-               mono_mb_patch_addr (mb, pos2, mb->pos - (pos2 + 4));
+               mono_mb_patch_branch (mb, pos2);
                break;
 
        case MARSHAL_ACTION_MANAGED_CONV_OUT:
@@ -5250,14 +5232,12 @@ emit_marshal_custom (EmitMarshalContext *m, int argnum, MonoType *t,
                /* Call CleanUpManagedData */
                mono_mb_emit_ldstr (mb, g_strdup (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_op (mb, CEE_CALL, get_instance);
                                
                mono_mb_emit_ldloc (mb, conv_arg);
-               mono_mb_emit_byte (mb, CEE_CALLVIRT);
-               mono_mb_emit_i4 (mb, mono_mb_add_data (mb, cleanup_managed));
+               mono_mb_emit_op (mb, CEE_CALLVIRT, cleanup_managed);
 
-               mono_mb_patch_addr (mb, pos2, mb->pos - (pos2 + 4));
+               mono_mb_patch_branch (mb, pos2);
                break;
 
        default:
@@ -5350,9 +5330,7 @@ emit_marshal_vtype (EmitMarshalContext *m, int argnum, MonoType *t,
 
                if (t->byref) {
                        mono_mb_emit_ldloc (mb, 0);
-                       mono_mb_emit_byte (mb, CEE_BRFALSE);
-                       pos = mb->pos;
-                       mono_mb_emit_i4 (mb, 0);
+                       pos = mono_mb_emit_branch (mb, CEE_BRFALSE);
                }
 
                if (!(t->byref && !(t->attrs & PARAM_ATTRIBUTE_IN) && (t->attrs & PARAM_ATTRIBUTE_OUT))) {
@@ -5365,7 +5343,7 @@ emit_marshal_vtype (EmitMarshalContext *m, int argnum, MonoType *t,
                }
 
                if (t->byref)
-                       mono_mb_patch_addr (mb, pos, mb->pos - (pos + 4));
+                       mono_mb_patch_branch (mb, pos);
                break;
 
        case MARSHAL_ACTION_PUSH:
@@ -5392,8 +5370,7 @@ emit_marshal_vtype (EmitMarshalContext *m, int argnum, MonoType *t,
                mono_mb_emit_ldloc (mb, conv_arg);
                if (!t->byref) {
                        mono_mb_emit_byte (mb, MONO_CUSTOM_PREFIX);
-                       mono_mb_emit_byte (mb, CEE_MONO_LDNATIVEOBJ);
-                       mono_mb_emit_i4 (mb, mono_mb_add_data (mb, klass));
+                       mono_mb_emit_op (mb, CEE_MONO_LDNATIVEOBJ, klass);
                }
                break;
 
@@ -5408,9 +5385,7 @@ emit_marshal_vtype (EmitMarshalContext *m, int argnum, MonoType *t,
                        mono_mb_emit_stloc (mb, 1);
 
                        mono_mb_emit_ldloc (mb, 1);
-                       mono_mb_emit_byte (mb, CEE_BRFALSE);
-                       pos = mb->pos;
-                       mono_mb_emit_i4 (mb, 0);
+                       pos = mono_mb_emit_branch (mb, CEE_BRFALSE);
 
                        if (!((t->attrs & PARAM_ATTRIBUTE_IN) && !(t->attrs & PARAM_ATTRIBUTE_OUT))) {
                                /* src = tmp_locals [i] */
@@ -5425,7 +5400,7 @@ emit_marshal_vtype (EmitMarshalContext *m, int argnum, MonoType *t,
                emit_struct_free (mb, klass, conv_arg);
                
                if (t->byref)
-                       mono_mb_patch_addr (mb, pos, mb->pos - (pos + 4));
+                       mono_mb_patch_branch (mb, pos);
                break;
 
        case MARSHAL_ACTION_CONV_RESULT:
@@ -5467,9 +5442,7 @@ emit_marshal_vtype (EmitMarshalContext *m, int argnum, MonoType *t,
 
                if (t->byref) {
                        mono_mb_emit_ldloc (mb, 0);
-                       mono_mb_emit_byte (mb, CEE_BRFALSE);
-                       pos = mb->pos;
-                       mono_mb_emit_i4 (mb, 0);
+                       pos = mono_mb_emit_branch (mb, CEE_BRFALSE);
                }                       
 
                mono_mb_emit_ldloc_addr (mb, conv_arg);
@@ -5479,7 +5452,7 @@ emit_marshal_vtype (EmitMarshalContext *m, int argnum, MonoType *t,
                emit_struct_conv (mb, klass, TRUE);
 
                if (t->byref)
-                       mono_mb_patch_addr (mb, pos, mb->pos - (pos + 4));
+                       mono_mb_patch_branch (mb, pos);
                break;
 
        case MARSHAL_ACTION_MANAGED_CONV_OUT:
@@ -5503,7 +5476,7 @@ emit_marshal_vtype (EmitMarshalContext *m, int argnum, MonoType *t,
                /* emit valuetype conversion code */
                emit_struct_conv (mb, klass, FALSE);
 
-               mono_mb_patch_addr (mb, pos2, mb->pos - (pos2 + 4));
+               mono_mb_patch_branch (mb, pos2);
                break;
 
        case MARSHAL_ACTION_MANAGED_CONV_RESULT:
@@ -5713,8 +5686,65 @@ emit_marshal_object (EmitMarshalContext *m, int argnum, MonoType *t,
                else if (spec && (spec->native == MONO_NATIVE_IUNKNOWN ||
                        spec->native == MONO_NATIVE_IDISPATCH ||
                        spec->native == MONO_NATIVE_INTERFACE)) {
-                       char *msg = g_strdup ("Marshalling of COM Objects is not yet implemented.");
-                       mono_mb_emit_exception_marshal_directive (mb, msg);
+                       mono_mb_emit_ptr (mb, 0);
+                       mono_mb_emit_stloc (mb, conv_arg);
+
+                       if (t->byref) {
+                               /* we dont need any conversions for out parameters */
+                               if (t->attrs & PARAM_ATTRIBUTE_OUT)
+                                       break;
+                               else {
+                                       char *msg = g_strdup_printf ("non out object references are no implemented");
+                                       MonoException *exc = mono_get_exception_not_implemented (msg);
+                                       g_warning (msg);
+                                       g_free (msg);
+                                       mono_raise_exception (exc);
+
+                               }
+                       } else {
+                               guint32 pos_failed = 0;
+                               mono_mb_emit_ldarg (mb, argnum);        
+                               // if null just break, conv arg was already inited to 0
+                               pos_failed = mono_mb_emit_branch (mb, CEE_BRFALSE);
+
+                               mono_mb_emit_ldarg (mb, argnum);
+                               mono_mb_emit_ldflda (mb, G_STRUCT_OFFSET (MonoTransparentProxy, rp));
+                               mono_mb_emit_byte (mb, CEE_LDIND_REF);
+
+                               /* load the RCW from the ComInteropProxy*/
+                               mono_mb_emit_ldflda (mb, G_STRUCT_OFFSET (MonoComInteropProxy, com_object));
+                               mono_mb_emit_byte (mb, CEE_LDIND_REF);
+
+                               if (klass && klass != mono_defaults.object_class) {
+                                       static MonoMethod* GetInterface = NULL;
+                                       
+                                       if (!GetInterface)
+                                               GetInterface = mono_class_get_method_from_name (mono_defaults.com_object_class, "GetInterface", 1);
+                                       mono_mb_emit_ptr (mb, t);
+                                       mono_mb_emit_icall (mb, type_from_handle);
+                                       mono_mb_emit_managed_call (mb, GetInterface, NULL);
+                               }
+                               else if (spec->native == MONO_NATIVE_IUNKNOWN) {
+                                       static MonoProperty* iunknown = NULL;
+                                       
+                                       if (!iunknown)
+                                               iunknown = mono_class_get_property_from_name (mono_defaults.com_object_class, "IUnknown");
+                                       mono_mb_emit_managed_call (mb, iunknown->get, NULL);
+                               }
+                               else if (spec->native == MONO_NATIVE_IDISPATCH) {
+                                       static MonoProperty* idispatch = NULL;
+                                       
+                                       if (!idispatch)
+                                               idispatch = mono_class_get_property_from_name (mono_defaults.com_object_class, "IDispatch");
+                                       mono_mb_emit_managed_call (mb, idispatch->get, NULL);
+                               }
+                               else {
+                               }
+                               mono_mb_emit_stloc (mb, conv_arg);
+                               
+                               // case if null
+                               mono_mb_patch_addr (mb, pos_failed, mb->pos - (pos_failed + 4));
+                       }
                }
                else if (klass->delegate) {
                        g_assert (!t->byref);
@@ -5741,10 +5771,7 @@ emit_marshal_object (EmitMarshalContext *m, int argnum, MonoType *t,
                        mono_mb_emit_stloc (mb, conv_arg);
                } else if (klass->blittable) {
                        mono_mb_emit_ldarg (mb, argnum);
-                       mono_mb_emit_byte (mb, MONO_CUSTOM_PREFIX);
-                       mono_mb_emit_byte (mb, CEE_MONO_OBJADDR);
-                       mono_mb_emit_icon (mb, sizeof (MonoObject));
-                       mono_mb_emit_byte (mb, CEE_ADD);
+                       mono_mb_emit_ldflda (mb, sizeof (MonoObject));
                        mono_mb_emit_stloc (mb, conv_arg);
                        break;
                } else {
@@ -5768,9 +5795,7 @@ emit_marshal_object (EmitMarshalContext *m, int argnum, MonoType *t,
                        /* store the address of the source into local variable 0 */
                        mono_mb_emit_stloc (mb, 0);
                        mono_mb_emit_ldloc (mb, 0);
-                       mono_mb_emit_byte (mb, CEE_BRFALSE);
-                       pos = mb->pos;
-                       mono_mb_emit_i4 (mb, 0);
+                       pos = mono_mb_emit_branch (mb, CEE_BRFALSE);
 
                        /* allocate space for the native struct and store the address */
                        mono_mb_emit_icon (mb, mono_class_native_size (klass, NULL));
@@ -5787,10 +5812,7 @@ emit_marshal_object (EmitMarshalContext *m, int argnum, MonoType *t,
 
                        /* set the src_ptr */
                        mono_mb_emit_ldloc (mb, 0);
-                       mono_mb_emit_byte (mb, MONO_CUSTOM_PREFIX);
-                       mono_mb_emit_byte (mb, CEE_MONO_OBJADDR);
-                       mono_mb_emit_icon (mb, sizeof (MonoObject));
-                       mono_mb_emit_byte (mb, CEE_ADD);
+                       mono_mb_emit_ldflda (mb, sizeof (MonoObject));
                        mono_mb_emit_stloc (mb, 0);
 
                        /* set dst_ptr */
@@ -5800,7 +5822,7 @@ emit_marshal_object (EmitMarshalContext *m, int argnum, MonoType *t,
                        /* emit valuetype conversion code */
                        emit_struct_conv (mb, klass, FALSE);
 
-                       mono_mb_patch_addr (mb, pos, mb->pos - (pos + 4));
+                       mono_mb_patch_branch (mb, pos);
                }
                break;
 
@@ -5827,9 +5849,47 @@ emit_marshal_object (EmitMarshalContext *m, int argnum, MonoType *t,
                if (spec && (spec->native == MONO_NATIVE_IUNKNOWN ||
                        spec->native == MONO_NATIVE_IDISPATCH ||
                        spec->native == MONO_NATIVE_INTERFACE)) {
-                       char *msg = g_strdup ("Marshalling of COM Objects is not yet implemented.");
-                       mono_mb_emit_exception_marshal_directive (mb, msg);
-                       break;
+                       if (t->byref && (t->attrs & PARAM_ATTRIBUTE_OUT)) {
+                               static MonoClass* com_interop_proxy_class = NULL;
+                               static MonoMethod* com_interop_proxy_get_proxy = NULL;
+                               static MonoMethod* get_transparent_proxy = NULL;
+                               int real_proxy;
+                               guint32 pos_failed = 0;
+
+                               mono_mb_emit_ldarg (mb, argnum);
+                               mono_mb_emit_byte (mb, CEE_LDNULL);
+                               mono_mb_emit_byte (mb, CEE_STIND_REF);
+
+                               mono_mb_emit_ldloc (mb, conv_arg);
+                               pos_failed = mono_mb_emit_branch (mb, CEE_BRFALSE);
+
+                               if (!com_interop_proxy_class)
+                                       com_interop_proxy_class = mono_class_from_name (mono_defaults.corlib, "Mono.Interop", "ComInteropProxy");
+                               if (!com_interop_proxy_get_proxy)
+                                       com_interop_proxy_get_proxy = mono_class_get_method_from_name_flags (com_interop_proxy_class, "GetProxy", 2, METHOD_ATTRIBUTE_PRIVATE);
+                               if (!get_transparent_proxy)
+                                       get_transparent_proxy = mono_class_get_method_from_name (mono_defaults.real_proxy_class, "GetTransparentProxy", 0);
+
+                               real_proxy = mono_mb_add_local (mb, &com_interop_proxy_class->byval_arg);
+
+                               mono_mb_emit_ldloc (mb, conv_arg);
+                               mono_mb_emit_ptr (mb, &mono_defaults.com_object_class->byval_arg);
+                               mono_mb_emit_icall (mb, type_from_handle);
+                               mono_mb_emit_managed_call (mb, com_interop_proxy_get_proxy, NULL);
+                               mono_mb_emit_stloc (mb, real_proxy);
+
+                               
+                               mono_mb_emit_ldarg (mb, argnum);
+                               mono_mb_emit_ldloc (mb, real_proxy);
+                               mono_mb_emit_managed_call (mb, get_transparent_proxy, NULL);
+                               if (klass && klass != mono_defaults.object_class)
+                                       mono_mb_emit_op (mb, CEE_CASTCLASS, klass);
+                               mono_mb_emit_byte (mb, CEE_STIND_REF);
+
+                               // case if null
+                               mono_mb_patch_addr (mb, pos_failed, mb->pos - (pos_failed + 4));
+                       }
+                               break;
                }
                if (klass == mono_defaults.stringbuilder_class) {
                        gboolean need_free;
@@ -5861,8 +5921,7 @@ emit_marshal_object (EmitMarshalContext *m, int argnum, MonoType *t,
                        /* allocate a new object */
                        mono_mb_emit_ldarg (mb, argnum);
                        mono_mb_emit_byte (mb, MONO_CUSTOM_PREFIX);
-                       mono_mb_emit_byte (mb, CEE_MONO_NEWOBJ);        
-                       mono_mb_emit_i4 (mb, mono_mb_add_data (mb, t->data.klass));
+                       mono_mb_emit_op (mb, CEE_MONO_NEWOBJ, t->data.klass);
                        mono_mb_emit_byte (mb, CEE_STIND_REF);
                }
 
@@ -5875,9 +5934,7 @@ emit_marshal_object (EmitMarshalContext *m, int argnum, MonoType *t,
                mono_mb_emit_stloc (mb, 1);
 
                mono_mb_emit_ldloc (mb, 1);
-               mono_mb_emit_byte (mb, CEE_BRFALSE);
-               pos = mb->pos;
-               mono_mb_emit_i4 (mb, 0);
+               pos = mono_mb_emit_branch (mb, CEE_BRFALSE);
 
                if (t->byref || (t->attrs & PARAM_ATTRIBUTE_OUT)) {
                        mono_mb_emit_ldloc (mb, 1);
@@ -5902,9 +5959,7 @@ emit_marshal_object (EmitMarshalContext *m, int argnum, MonoType *t,
                                 */
                                mono_mb_emit_ldloc (mb, m->orig_conv_args [argnum]);
                                mono_mb_emit_ldloc (mb, conv_arg);
-                               mono_mb_emit_byte (mb, CEE_BEQ);
-                               pos2 = mb->pos;
-                               mono_mb_emit_i4 (mb, 0);
+                               pos2 = mono_mb_emit_branch (mb, CEE_BEQ);
 
                                if (!(t->attrs & PARAM_ATTRIBUTE_OUT)) {
                                        g_assert (m->orig_conv_args [argnum]);
@@ -5915,14 +5970,14 @@ emit_marshal_object (EmitMarshalContext *m, int argnum, MonoType *t,
                                mono_mb_emit_ldloc (mb, conv_arg);
                                mono_mb_emit_icall (mb, g_free);
 
-                               mono_mb_patch_addr (mb, pos2, mb->pos - (pos2 + 4));
+                               mono_mb_patch_branch (mb, pos2);
                        }
                }
                else
                        /* Free the original structure passed to native code */
                        emit_struct_free (mb, klass, conv_arg);
 
-               mono_mb_patch_addr (mb, pos, mb->pos - (pos + 4));
+               mono_mb_patch_branch (mb, pos);
                break;
 
        case MARSHAL_ACTION_PUSH:
@@ -5937,8 +5992,7 @@ emit_marshal_object (EmitMarshalContext *m, int argnum, MonoType *t,
                        g_assert (!t->byref);
                        mono_mb_emit_stloc (mb, 0);
                        mono_mb_emit_byte (mb, MONO_CUSTOM_PREFIX);
-                       mono_mb_emit_byte (mb, CEE_MONO_CLASSCONST);
-                       mono_mb_emit_i4 (mb, mono_mb_add_data (mb, klass));
+                       mono_mb_emit_op (mb, CEE_MONO_CLASSCONST, klass);
                        mono_mb_emit_ldloc (mb, 0);
                        mono_mb_emit_icall (mb, conv_to_icall (MONO_MARSHAL_CONV_FTN_DEL));
                        mono_mb_emit_stloc (mb, 3);
@@ -5960,24 +6014,18 @@ emit_marshal_object (EmitMarshalContext *m, int argnum, MonoType *t,
                        mono_mb_emit_stloc (mb, 3);
        
                        mono_mb_emit_ldloc (mb, 0);
-                       mono_mb_emit_byte (mb, CEE_BRFALSE);
-                       pos = mb->pos;
-                       mono_mb_emit_i4 (mb, 0);
+                       pos = mono_mb_emit_branch (mb, CEE_BRFALSE);
        
                        /* allocate result object */
        
                        mono_mb_emit_byte (mb, MONO_CUSTOM_PREFIX);
-                       mono_mb_emit_byte (mb, CEE_MONO_NEWOBJ);        
-                       mono_mb_emit_i4 (mb, mono_mb_add_data (mb, klass));
+                       mono_mb_emit_op (mb, CEE_MONO_NEWOBJ, klass);   
                        mono_mb_emit_stloc (mb, 3);
                                        
                        /* set dst  */
        
                        mono_mb_emit_ldloc (mb, 3);
-                       mono_mb_emit_byte (mb, MONO_CUSTOM_PREFIX);
-                       mono_mb_emit_byte (mb, CEE_MONO_OBJADDR);
-                       mono_mb_emit_icon (mb, sizeof (MonoObject));
-                       mono_mb_emit_byte (mb, CEE_ADD);
+                       mono_mb_emit_ldflda (mb, sizeof (MonoObject));
                        mono_mb_emit_stloc (mb, 1);
                                                                
                        /* emit conversion code */
@@ -5988,7 +6036,7 @@ emit_marshal_object (EmitMarshalContext *m, int argnum, MonoType *t,
                        /* Free the pointer allocated by unmanaged code */
                        mono_mb_emit_ldloc (mb, loc);
                        mono_mb_emit_icall (mb, g_free);
-                       mono_mb_patch_addr (mb, pos, mb->pos - (pos + 4));
+                       mono_mb_patch_branch (mb, pos);
                }
                break;
 
@@ -5998,8 +6046,7 @@ emit_marshal_object (EmitMarshalContext *m, int argnum, MonoType *t,
                if (klass->delegate) {
                        g_assert (!t->byref);
                        mono_mb_emit_byte (mb, MONO_CUSTOM_PREFIX);
-                       mono_mb_emit_byte (mb, CEE_MONO_CLASSCONST);
-                       mono_mb_emit_i4 (mb, mono_mb_add_data (mb, klass));
+                       mono_mb_emit_op (mb, CEE_MONO_CLASSCONST, klass);
                        mono_mb_emit_ldarg (mb, argnum);
                        mono_mb_emit_icall (mb, conv_to_icall (MONO_MARSHAL_CONV_FTN_DEL));
                        mono_mb_emit_stloc (mb, conv_arg);
@@ -6024,13 +6071,11 @@ emit_marshal_object (EmitMarshalContext *m, int argnum, MonoType *t,
                        int pos2;
 
                        /* Check for NULL and raise an exception */
-                       mono_mb_emit_byte (mb, CEE_BRTRUE);
-                       pos2 = mb->pos;
-                       mono_mb_emit_i4 (mb, 0);
+                       pos2 = mono_mb_emit_branch (mb, CEE_BRTRUE);
 
                        mono_mb_emit_exception (mb, "ArgumentNullException", NULL);
 
-                       mono_mb_patch_addr (mb, pos2, mb->pos - (pos2 + 4));
+                       mono_mb_patch_branch (mb, pos2);
                        mono_mb_emit_ldarg (mb, argnum);
                        mono_mb_emit_byte (mb, CEE_LDIND_I);
                }                               
@@ -6041,26 +6086,20 @@ emit_marshal_object (EmitMarshalContext *m, int argnum, MonoType *t,
                mono_mb_emit_stloc (mb, conv_arg);
 
                mono_mb_emit_ldloc (mb, 0);
-               mono_mb_emit_byte (mb, CEE_BRFALSE);
-               pos = mb->pos;
-               mono_mb_emit_i4 (mb, 0);
+               pos = mono_mb_emit_branch (mb, CEE_BRFALSE);
 
                /* Create and set dst */
                mono_mb_emit_byte (mb, MONO_CUSTOM_PREFIX);
-               mono_mb_emit_byte (mb, CEE_MONO_NEWOBJ);        
-               mono_mb_emit_i4 (mb, mono_mb_add_data (mb, klass));
+               mono_mb_emit_op (mb, CEE_MONO_NEWOBJ, klass);   
                mono_mb_emit_stloc (mb, conv_arg);
                mono_mb_emit_ldloc (mb, conv_arg);
-               mono_mb_emit_byte (mb, MONO_CUSTOM_PREFIX);
-               mono_mb_emit_byte (mb, CEE_MONO_OBJADDR);
-               mono_mb_emit_icon (mb, sizeof (MonoObject));
-               mono_mb_emit_byte (mb, CEE_ADD);
+               mono_mb_emit_ldflda (mb, sizeof (MonoObject));
                mono_mb_emit_stloc (mb, 1); 
 
                /* emit valuetype conversion code */
                emit_struct_conv (mb, klass, TRUE);
 
-               mono_mb_patch_addr (mb, pos, mb->pos - (pos + 4));
+               mono_mb_patch_branch (mb, pos);
                break;
 
        case MARSHAL_ACTION_MANAGED_CONV_OUT:
@@ -6072,14 +6111,11 @@ emit_marshal_object (EmitMarshalContext *m, int argnum, MonoType *t,
                mono_mb_emit_byte (mb, CEE_STIND_REF);
                pos2 = mono_mb_emit_branch (mb, CEE_BR);
 
-               mono_mb_patch_addr (mb, pos, mb->pos - (pos + 4));                      
+               mono_mb_patch_branch (mb, pos);                 
                        
                /* Set src */
                mono_mb_emit_ldloc (mb, conv_arg);
-               mono_mb_emit_byte (mb, MONO_CUSTOM_PREFIX);
-               mono_mb_emit_byte (mb, CEE_MONO_OBJADDR);
-               mono_mb_emit_icon (mb, sizeof (MonoObject));
-               mono_mb_emit_byte (mb, CEE_ADD);
+               mono_mb_emit_ldflda (mb, sizeof (MonoObject));
                mono_mb_emit_stloc (mb, 0);
 
                /* Allocate and set dest */
@@ -6096,7 +6132,7 @@ emit_marshal_object (EmitMarshalContext *m, int argnum, MonoType *t,
                /* emit valuetype conversion code */
                emit_struct_conv (mb, klass, FALSE);
 
-               mono_mb_patch_addr (mb, pos2, mb->pos - (pos2 + 4));
+               mono_mb_patch_branch (mb, pos2);
                break;
 
        case MARSHAL_ACTION_MANAGED_CONV_RESULT:
@@ -6120,14 +6156,11 @@ emit_marshal_object (EmitMarshalContext *m, int argnum, MonoType *t,
                mono_mb_emit_stloc (mb, 3);
                pos2 = mono_mb_emit_branch (mb, CEE_BR);
 
-               mono_mb_patch_addr (mb, pos, mb->pos - (pos + 4));
+               mono_mb_patch_branch (mb, pos);
 
                /* Set src */
                mono_mb_emit_ldloc (mb, 0);
-               mono_mb_emit_byte (mb, MONO_CUSTOM_PREFIX);
-               mono_mb_emit_byte (mb, CEE_MONO_OBJADDR);
-               mono_mb_emit_icon (mb, sizeof (MonoObject));
-               mono_mb_emit_byte (mb, CEE_ADD);
+               mono_mb_emit_ldflda (mb, sizeof (MonoObject));
                mono_mb_emit_stloc (mb, 0);
 
                /* Allocate and set dest */
@@ -6140,7 +6173,7 @@ emit_marshal_object (EmitMarshalContext *m, int argnum, MonoType *t,
 
                emit_struct_conv (mb, klass, FALSE);
 
-               mono_mb_patch_addr (mb, pos2, mb->pos - (pos2 + 4));
+               mono_mb_patch_branch (mb, pos2);
                break;
 
        default:
@@ -6206,9 +6239,7 @@ emit_marshal_array (EmitMarshalContext *m, int argnum, MonoType *t,
                        mono_mb_emit_ldloc (mb, src_var);
                        mono_mb_emit_stloc (mb, conv_arg);
                        mono_mb_emit_ldloc (mb, src_var);
-                       mono_mb_emit_byte (mb, CEE_BRFALSE);
-                       label1 = mb->pos;
-                       mono_mb_emit_i4 (mb, 0);
+                       label1 = mono_mb_emit_branch (mb, CEE_BRFALSE);
 
                        if (is_string) {
                                if (conv == -1) {
@@ -6251,9 +6282,7 @@ emit_marshal_array (EmitMarshalContext *m, int argnum, MonoType *t,
                        mono_mb_emit_ldloc (mb, index_var);
                        mono_mb_emit_ldloc (mb, src_var);
                        mono_mb_emit_byte (mb, CEE_LDLEN);
-                       mono_mb_emit_byte (mb, CEE_BGE);
-                       label3 = mb->pos;
-                       mono_mb_emit_i4 (mb, 0);
+                       label3 = mono_mb_emit_branch (mb, CEE_BGE);
 
                        /* Emit marshalling code */
 
@@ -6268,8 +6297,7 @@ emit_marshal_array (EmitMarshalContext *m, int argnum, MonoType *t,
                                /* set the src_ptr */
                                mono_mb_emit_ldloc (mb, src_var);
                                mono_mb_emit_ldloc (mb, index_var);
-                               mono_mb_emit_byte (mb, CEE_LDELEMA);
-                               mono_mb_emit_i4 (mb, mono_mb_add_data (mb, eklass));
+                               mono_mb_emit_op (mb, CEE_LDELEMA, eklass);
                                mono_mb_emit_stloc (mb, 0);
 
                                /* set dst_ptr */
@@ -6286,7 +6314,7 @@ emit_marshal_array (EmitMarshalContext *m, int argnum, MonoType *t,
                        mono_mb_emit_byte (mb, CEE_BR);
                        mono_mb_emit_i4 (mb, label2 - (mb->pos + 4));
 
-                       mono_mb_patch_addr (mb, label3, mb->pos - (label3 + 4));
+                       mono_mb_patch_branch (mb, label3);
 
                        if (eklass == mono_defaults.string_class) {
                                /* Null terminate */
@@ -6295,7 +6323,7 @@ emit_marshal_array (EmitMarshalContext *m, int argnum, MonoType *t,
                                mono_mb_emit_byte (mb, CEE_STIND_REF);
                        }
 
-                       mono_mb_patch_addr (mb, label1, mb->pos - (label1 + 4));
+                       mono_mb_patch_branch (mb, label1);
                }
 
                break;
@@ -6324,9 +6352,7 @@ emit_marshal_array (EmitMarshalContext *m, int argnum, MonoType *t,
                        mono_mb_emit_ldarg (mb, argnum);
                        if (t->byref)
                                mono_mb_emit_byte (mb, CEE_LDIND_I);
-                       mono_mb_emit_byte (mb, CEE_BRFALSE);
-                       label1 = mb->pos;
-                       mono_mb_emit_i4 (mb, 0);
+                       label1 = mono_mb_emit_branch (mb, CEE_BRFALSE);
 
                        mono_mb_emit_ldloc (mb, conv_arg);
                        mono_mb_emit_stloc (mb, src_ptr);
@@ -6341,9 +6367,7 @@ emit_marshal_array (EmitMarshalContext *m, int argnum, MonoType *t,
                        if (t->byref)
                                mono_mb_emit_byte (mb, CEE_LDIND_REF);
                        mono_mb_emit_byte (mb, CEE_LDLEN);
-                       mono_mb_emit_byte (mb, CEE_BGE);
-                       label3 = mb->pos;
-                       mono_mb_emit_i4 (mb, 0);
+                       label3 = mono_mb_emit_branch (mb, CEE_BGE);
 
                        /* Emit marshalling code */
 
@@ -6394,8 +6418,7 @@ emit_marshal_array (EmitMarshalContext *m, int argnum, MonoType *t,
                                        if (t->byref)
                                                mono_mb_emit_byte (mb, CEE_LDIND_I);
                                        mono_mb_emit_ldloc (mb, index_var);
-                                       mono_mb_emit_byte (mb, CEE_LDELEMA);
-                                       mono_mb_emit_i4 (mb, mono_mb_add_data (mb, eklass));
+                                       mono_mb_emit_op (mb, CEE_LDELEMA, eklass);
                                        mono_mb_emit_stloc (mb, 1);
 
                                        /* emit valuetype conversion code */
@@ -6417,8 +6440,8 @@ emit_marshal_array (EmitMarshalContext *m, int argnum, MonoType *t,
                        mono_mb_emit_byte (mb, CEE_BR);
                        mono_mb_emit_i4 (mb, label2 - (mb->pos + 4));
 
-                       mono_mb_patch_addr (mb, label1, mb->pos - (label1 + 4));
-                       mono_mb_patch_addr (mb, label3, mb->pos - (label3 + 4));
+                       mono_mb_patch_branch (mb, label1);
+                       mono_mb_patch_branch (mb, label3);
                }
                break;
 
@@ -6527,9 +6550,7 @@ emit_marshal_array (EmitMarshalContext *m, int argnum, MonoType *t,
 
                /* Check null */
                mono_mb_emit_ldarg (mb, argnum);
-               mono_mb_emit_byte (mb, CEE_BRFALSE);
-               label1 = mb->pos;
-               mono_mb_emit_i4 (mb, 0);
+               label1 = mono_mb_emit_branch (mb, CEE_BRFALSE);
 
                mono_mb_emit_ldarg (mb, argnum);
                mono_mb_emit_stloc (mb, src_ptr);
@@ -6552,8 +6573,7 @@ emit_marshal_array (EmitMarshalContext *m, int argnum, MonoType *t,
                        }
                }
 
-               mono_mb_emit_byte (mb, CEE_NEWARR);     
-               mono_mb_emit_i4 (mb, mono_mb_add_data (mb, eklass));
+               mono_mb_emit_op (mb, CEE_NEWARR, eklass);
                mono_mb_emit_stloc (mb, conv_arg);
 
                if (eklass->blittable) {
@@ -6579,9 +6599,7 @@ emit_marshal_array (EmitMarshalContext *m, int argnum, MonoType *t,
                mono_mb_emit_ldloc (mb, index_var);
                mono_mb_emit_ldloc (mb, conv_arg);
                mono_mb_emit_byte (mb, CEE_LDLEN);
-               mono_mb_emit_byte (mb, CEE_BGE);
-               label3 = mb->pos;
-               mono_mb_emit_i4 (mb, 0);
+               label3 = mono_mb_emit_branch (mb, CEE_BGE);
 
                /* Emit marshalling code */
                if (is_string) {
@@ -6608,8 +6626,8 @@ emit_marshal_array (EmitMarshalContext *m, int argnum, MonoType *t,
                mono_mb_emit_byte (mb, CEE_BR);
                mono_mb_emit_i4 (mb, label2 - (mb->pos + 4));
 
-               mono_mb_patch_addr (mb, label1, mb->pos - (label1 + 4));
-               mono_mb_patch_addr (mb, label3, mb->pos - (label3 + 4));
+               mono_mb_patch_branch (mb, label1);
+               mono_mb_patch_branch (mb, label3);
                
                break;
        }
@@ -6664,9 +6682,7 @@ emit_marshal_array (EmitMarshalContext *m, int argnum, MonoType *t,
 
                /* Check null */
                mono_mb_emit_ldloc (mb, conv_arg);
-               mono_mb_emit_byte (mb, CEE_BRFALSE);
-               label1 = mb->pos;
-               mono_mb_emit_i4 (mb, 0);
+               label1 = mono_mb_emit_branch (mb, CEE_BRFALSE);
 
                mono_mb_emit_ldarg (mb, argnum);
                mono_mb_emit_stloc (mb, dest_ptr);
@@ -6697,9 +6713,7 @@ emit_marshal_array (EmitMarshalContext *m, int argnum, MonoType *t,
                mono_mb_emit_ldloc (mb, index_var);
                mono_mb_emit_ldloc (mb, conv_arg);
                mono_mb_emit_byte (mb, CEE_LDLEN);
-               mono_mb_emit_byte (mb, CEE_BGE);
-               label3 = mb->pos;
-               mono_mb_emit_i4 (mb, 0);
+               label3 = mono_mb_emit_branch (mb, CEE_BGE);
 
                /* Emit marshalling code */
                if (is_string) {
@@ -6729,8 +6743,8 @@ emit_marshal_array (EmitMarshalContext *m, int argnum, MonoType *t,
                mono_mb_emit_byte (mb, CEE_BR);
                mono_mb_emit_i4 (mb, label2 - (mb->pos + 4));
 
-               mono_mb_patch_addr (mb, label1, mb->pos - (label1 + 4));
-               mono_mb_patch_addr (mb, label3, mb->pos - (label3 + 4));
+               mono_mb_patch_branch (mb, label1);
+               mono_mb_patch_branch (mb, label3);
 
                break;
        }
@@ -6825,8 +6839,8 @@ emit_marshal_array (EmitMarshalContext *m, int argnum, MonoType *t,
                mono_mb_emit_byte (mb, CEE_BR);
                mono_mb_emit_i4 (mb, label2 - (mb->pos + 4));
 
-               mono_mb_patch_addr (mb, label3, mb->pos - (label3 + 4));
-               mono_mb_patch_addr (mb, label1, mb->pos - (label1 + 4));
+               mono_mb_patch_branch (mb, label3);
+               mono_mb_patch_branch (mb, label1);
                break;
        }
        default:
@@ -7245,6 +7259,7 @@ mono_marshal_get_native_wrapper (MonoMethod *method)
        MonoMethod *res;
        GHashTable *cache;
        gboolean pinvoke = FALSE;
+       gpointer iter;
        int i;
        const char *exc_class = "MissingMethodException";
        const char *exc_arg = NULL;
@@ -7272,6 +7287,49 @@ mono_marshal_get_native_wrapper (MonoMethod *method)
                        piinfo->addr = mono_lookup_internal_call (method);
        }
 
+       /* hack - redirect certain string constructors to CreateString */
+       if (piinfo->addr == ves_icall_System_String_ctor_RedirectToCreateString) {
+               g_assert (!pinvoke);
+               g_assert (method->string_ctor);
+               g_assert (sig->hasthis);
+
+               /* CreateString returns a value */
+               csig = signature_dup (method->klass->image, sig);
+               csig->ret = &mono_defaults.string_class->byval_arg;
+               csig->pinvoke = 0;
+
+               iter = NULL;
+               while ((res = mono_class_get_methods (mono_defaults.string_class, &iter))) {
+                       if (!strcmp ("CreateString", res->name) &&
+                               mono_metadata_signature_equal (csig, mono_method_signature (res))) {
+
+                               g_assert (!(res->iflags & METHOD_IMPL_ATTRIBUTE_INTERNAL_CALL));
+                               g_assert (!(res->flags & METHOD_ATTRIBUTE_PINVOKE_IMPL));
+
+                               /* create a wrapper to preserve .ctor in stack trace */
+                               mb = mono_mb_new (method->klass, method->name, MONO_WRAPPER_MANAGED_TO_MANAGED);
+
+                               mono_mb_emit_byte (mb, CEE_LDARG_0);
+                               for (i = 1; i <= csig->param_count; i++)
+                                       mono_mb_emit_ldarg (mb, i);
+                               mono_mb_emit_managed_call (mb, res, NULL);
+                               mono_mb_emit_byte (mb, CEE_RET);
+
+                               /* use native_wrapper_cache because internal calls are looked up there */
+                               res = mono_mb_create_and_cache (cache, method,
+                                       mb, csig, csig->param_count + 1);
+
+                               mono_mb_free (mb);
+
+                               return res;
+                       }
+               }
+
+               /* exception will be thrown */
+               piinfo->addr = NULL;
+               g_warning ("cannot find CreateString for .ctor");
+       }
+
        mb = mono_mb_new (method->klass, method->name, MONO_WRAPPER_MANAGED_TO_NATIVE);
 
        mb->method->save_lmf = 1;
@@ -7618,8 +7676,7 @@ mono_marshal_get_managed_wrapper (MonoMethod *method, MonoClass *delegate_klass,
        if (m.retobj_var) {
                mono_mb_emit_ldloc (mb, m.retobj_var);
                mono_mb_emit_byte (mb, MONO_CUSTOM_PREFIX);
-               mono_mb_emit_byte (mb, CEE_MONO_RETOBJ);
-               mono_mb_emit_i4 (mb, mono_mb_add_data (mb, m.retobj_class));
+               mono_mb_emit_op (mb, CEE_MONO_RETOBJ, m.retobj_class);
        }
        else {
                if (!MONO_TYPE_IS_VOID(sig->ret))
@@ -7697,8 +7754,7 @@ mono_marshal_get_isinst (MonoClass *klass)
        /* 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));
+       mono_mb_emit_op (mb, CEE_MONO_CISINST, klass);
 
        /* The result of MONO_ISINST can be:
                0) the type check succeeded
@@ -7780,8 +7836,7 @@ mono_marshal_get_castclass (MonoClass *klass)
        /* 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));
+       mono_mb_emit_op (mb, CEE_MONO_CCASTCLASS, klass);
 
        /* The result of MONO_ISINST can be:
                0) the cast is valid
@@ -7859,9 +7914,7 @@ mono_marshal_get_proxy_cancast (MonoClass *klass)
        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));
-
+       mono_mb_emit_op (mb, CEE_CALLVIRT, can_cast_to);
        
        pos_failed = mono_mb_emit_branch (mb, CEE_BRFALSE);
 
@@ -8014,8 +8067,7 @@ mono_marshal_get_ptr_to_struct (MonoClass *klass)
 
                /* initialize dst_ptr */
                mono_mb_emit_byte (mb, CEE_LDARG_1);
-               mono_mb_emit_byte (mb, CEE_UNBOX);
-               mono_mb_emit_i4 (mb, mono_mb_add_data (mb, klass));
+               mono_mb_emit_op (mb, CEE_UNBOX, klass);
                mono_mb_emit_stloc (mb, 1);
 
                emit_struct_conv (mb, klass, TRUE);
@@ -8113,16 +8165,13 @@ mono_marshal_get_synchronized_wrapper (MonoMethod *method)
        
        /* this is needed to avoid recursion */
        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_op (mb, CEE_LDFTN, method);
        mono_mb_emit_calli (mb, mono_method_signature (method));
 
        if (!MONO_TYPE_IS_VOID (sig->ret))
                mono_mb_emit_stloc (mb, ret_local);
 
-       mono_mb_emit_byte (mb, CEE_LEAVE);
-       pos = mb->pos;
-       mono_mb_emit_i4 (mb, 0);
+       pos = mono_mb_emit_branch (mb, CEE_LEAVE);
 
        clause->try_len = mb->pos - clause->try_offset;
        clause->handler_offset = mb->pos;
@@ -8135,7 +8184,7 @@ mono_marshal_get_synchronized_wrapper (MonoMethod *method)
 
        clause->handler_len = mb->pos - clause->handler_offset;
 
-       mono_mb_patch_addr (mb, pos, mb->pos - (pos + 4));
+       mono_mb_patch_branch (mb, pos);
        if (!MONO_TYPE_IS_VOID (sig->ret))
                mono_mb_emit_ldloc (mb, ret_local);
        mono_mb_emit_byte (mb, CEE_RET);
@@ -8248,8 +8297,7 @@ mono_marshal_get_stelemref ()
        /* ldelema (implicit bound check) */
        mono_mb_emit_ldarg (mb, 0);
        mono_mb_emit_ldarg (mb, 1);
-       mono_mb_emit_byte (mb, CEE_LDELEMA);
-       mono_mb_emit_i4 (mb, mono_mb_add_data (mb, mono_defaults.object_class));
+       mono_mb_emit_op (mb, CEE_LDELEMA, mono_defaults.object_class);
        mono_mb_emit_stloc (mb, array_slot_addr);
                
        /* if (!value) goto do_store */
@@ -8306,7 +8354,7 @@ mono_marshal_get_stelemref ()
        
        copy_pos = mb->pos;
        /* do_store */
-       mono_mb_patch_addr (mb, b1, mb->pos - (b1 + 4));
+       mono_mb_patch_branch (mb, b1);
        mono_mb_emit_ldloc (mb, array_slot_addr);
        mono_mb_emit_ldarg (mb, 2);
        mono_mb_emit_byte (mb, CEE_STIND_REF);
@@ -8314,8 +8362,8 @@ mono_marshal_get_stelemref ()
        mono_mb_emit_byte (mb, CEE_RET);
        
        /* the hard way */
-       mono_mb_patch_addr (mb, b2, mb->pos - (b2 + 4));
-       mono_mb_patch_addr (mb, b3, mb->pos - (b3 + 4));
+       mono_mb_patch_branch (mb, b2);
+       mono_mb_patch_branch (mb, b3);
        
        mono_mb_emit_ldarg (mb, 2);
        mono_mb_emit_ldloc (mb, aklass);
@@ -8686,22 +8734,22 @@ ves_icall_System_Runtime_InteropServices_Marshal_StringToBSTR (MonoString* ptr)
        return mono_string_to_bstr(ptr);
 }
 
-#ifndef _MSC_VER
-typedef struct
-{
-       int (__attribute__((stdcall)) *QueryInterface)(gpointer pUnk, gpointer riid, gpointer* ppv);
-       int (__attribute__((stdcall)) *AddRef)(gpointer pUnk);
-       int (__attribute__((stdcall)) *Release)(gpointer pUnk);
-} MonoIUnknown;
+#ifdef  __i386__
+#ifdef _MSC_VER
+#define STDCALL __stdcall
+#else
+#define STDCALL __attribute__((stdcall))
+#endif
 #else
+#define STDCALL
+#endif
+
 typedef struct
 {
-       int (__stdcall *QueryInterface)(gpointer pUnk, gpointer riid, gpointer* ppv);
-       int (__stdcall *AddRef)(gpointer pUnk);
-       int (__stdcall *Release)(gpointer pUnk);
+       int (STDCALL *QueryInterface)(gpointer pUnk, gpointer riid, gpointer* ppv);
+       int (STDCALL *AddRef)(gpointer pUnk);
+       int (STDCALL *Release)(gpointer pUnk);
 } MonoIUnknown;
-#endif
-
 
 void
 ves_icall_System_Runtime_InteropServices_Marshal_FreeBSTR (gpointer ptr)
@@ -9066,6 +9114,7 @@ ves_icall_System_ComObject_CreateRCW (MonoReflectionType *type)
 {
        MonoClass *klass;
        MonoDomain *domain;
+       MonoObject *obj;
        
        MONO_ARCH_SAVE_REGS;
 
@@ -9076,8 +9125,10 @@ ves_icall_System_ComObject_CreateRCW (MonoReflectionType *type)
         * because we want to actually create object. mono_object_new checks
         * to see if type is import and creates transparent proxy. this method
         * is called by the corresponding real proxy to create the real RCW.
+        * Constructor does not need to be called. Will be called later.
        */
-       return mono_object_new_alloc_specific (mono_class_vtable (domain, klass));
+       obj = mono_object_new_alloc_specific (mono_class_vtable (domain, klass));
+       return obj;
 }
 
 static gboolean    
@@ -9091,8 +9142,9 @@ void
 ves_icall_System_ComObject_Finalizer(MonoComObject* obj)
 {
        g_assert(obj);
-       g_assert(obj->itf_hash);
-       g_hash_table_foreach_remove (obj->itf_hash, cominterop_finalizer, NULL);
+       if (obj->itf_hash)
+               g_hash_table_foreach_remove (obj->itf_hash, cominterop_finalizer, NULL);
+       obj->itf_hash = NULL;
 }
 
 #define MONO_IUNKNOWN_INTERFACE_SLOT 0
@@ -9106,7 +9158,7 @@ ves_icall_System_ComObject_FindInterface (MonoComObject* obj, MonoReflectionType
 
        klass = mono_class_from_mono_type (type->type);
 
-       return g_hash_table_lookup (obj->itf_hash, klass->interface_id);
+       return g_hash_table_lookup (obj->itf_hash, GUINT_TO_POINTER ((guint)klass->interface_id));
 }
 
 void
@@ -9118,14 +9170,15 @@ ves_icall_System_ComObject_CacheInterface (MonoComObject* obj, MonoReflectionTyp
 
        klass = mono_class_from_mono_type (type->type);
 
-       g_hash_table_insert (obj->itf_hash, klass->interface_id, pItf);
+       g_hash_table_insert (obj->itf_hash, GUINT_TO_POINTER ((guint)klass->interface_id), pItf);
 }
 
 gpointer
 ves_icall_System_ComObject_GetIUnknown (MonoComObject* obj)
 {
        g_assert(obj);
-       g_assert(obj->itf_hash);
+       if (!obj->itf_hash)
+               return NULL;
        return g_hash_table_lookup (obj->itf_hash, MONO_IUNKNOWN_INTERFACE_SLOT);
 }