2008-02-07 Zoltan Varga <vargaz@gmail.com>
[mono.git] / mono / mini / mini.h
index 4787da18b1a0a1c5439a4e484697cef81aad4d82..0f77c34e104a23e564eba5f50e541693b12bedae 100644 (file)
 #include "mono/metadata/class-internals.h"
 #include "mono/metadata/object-internals.h"
 #include <mono/metadata/profiler-private.h>
+#include <mono/metadata/debug-helpers.h>
 #include <mono/utils/mono-compiler.h>
 
+#define MONO_BREAKPOINT_ARRAY_SIZE 64
+
 #include "mini-arch.h"
 #include "regalloc.h"
 #include "declsec.h"
 #define MINI_DEBUG(level,limit,code) do {if (G_UNLIKELY ((level) >= (limit))) code} while (0)
 #endif
 
+#define NOT_IMPLEMENTED do { g_assert_not_reached (); } while (0)
+
 #ifndef DISABLE_AOT
 #define MONO_USE_AOT_COMPILER
 #endif
 
 /* for 32 bit systems */
 #if G_BYTE_ORDER == G_LITTLE_ENDIAN
-#define MINI_LS_WORD_OFFSET 0
-#define MINI_MS_WORD_OFFSET 4
-#define inst_ls_word data.op[0].const_val
-#define inst_ms_word data.op[1].const_val
+#define MINI_LS_WORD_IDX 0
+#define MINI_MS_WORD_IDX 1
 #else
-#define MINI_LS_WORD_OFFSET 4
-#define MINI_MS_WORD_OFFSET 0
-#define inst_ls_word data.op[1].const_val
-#define inst_ms_word data.op[0].const_val
+#define MINI_LS_WORD_IDX 1
+#define MINI_MS_WORD_IDX 0
 #endif
+#define MINI_LS_WORD_OFFSET (MINI_LS_WORD_IDX * 4)
+#define MINI_MS_WORD_OFFSET (MINI_MS_WORD_IDX * 4)
+#define inst_ls_word data.op[MINI_LS_WORD_IDX].const_val
+#define inst_ms_word data.op[MINI_MS_WORD_IDX].const_val
+
+#define MONO_FAKE_IMT_METHOD ((MonoMethod*)GINT_TO_POINTER(-1))
+#define MONO_FAKE_VTABLE_METHOD ((MonoMethod*)GINT_TO_POINTER(-2))
 
 /* Version number of the AOT file format */
-#define MONO_AOT_FILE_VERSION "32"
+#define MONO_AOT_FILE_VERSION "33"
 
 #if 0
 #define mono_bitset_foreach_bit(set,b,n) \
@@ -79,7 +87,7 @@ enum {
 };
 #undef OPDEF
 
-#define MONO_VARINFO(cfg,varnum) ((cfg)->vars [varnum])
+#define MONO_VARINFO(cfg,varnum) (&(cfg)->vars [varnum])
 
 #define MONO_INST_NEW(cfg,dest,op) do {        \
                (dest) = mono_mempool_alloc0 ((cfg)->mempool, sizeof (MonoInst));       \
@@ -89,6 +97,7 @@ enum {
 #define MONO_INST_NEW_CALL(cfg,dest,op) do {   \
                (dest) = mono_mempool_alloc0 ((cfg)->mempool, sizeof (MonoCallInst));   \
                (dest)->inst.opcode = (op);     \
+               MONO_INST_LIST_INIT (&(dest)->out_args); \
        } while (0)
 
 #define MONO_INST_NEW_CALL_ARG(cfg,dest,op) do {       \
@@ -96,21 +105,22 @@ enum {
                (dest)->ins.opcode = (op);      \
        } while (0)
 
-#define MONO_ADD_INS(b,inst) do {      \
-               if ((b)->last_ins) {    \
-                       (b)->last_ins->next = (inst);   \
-                       (b)->last_ins = (inst); \
-               } else {        \
-                       (b)->code = (b)->last_ins = (inst);     \
-               }       \
-       } while (0)
-
 #define NULLIFY_INS(ins) do { \
         (ins)->opcode = OP_NOP; \
         (ins)->dreg = (ins)->sreg1 = (ins)->sreg2 = -1; \
                (ins)->ssa_op = MONO_SSA_NOP; \
     } while (0)
 
+/* 
+ * this is used to determine when some branch optimizations are possible: we exclude FP compares
+ * because they have weird semantics with NaNs.
+ */
+#define MONO_IS_COND_BRANCH_OP(ins) (((ins)->opcode >= CEE_BEQ && (ins)->opcode <= CEE_BLT_UN) || ((ins)->opcode >= OP_LBEQ && (ins)->opcode <= OP_LBLT_UN) || ((ins)->opcode >= OP_FBEQ && (ins)->opcode <= OP_FBLT_UN) || ((ins)->opcode >= OP_IBEQ && (ins)->opcode <= OP_IBLT_UN))
+#define MONO_IS_COND_BRANCH_NOFP(ins) (MONO_IS_COND_BRANCH_OP(ins) && (ins)->inst_left->inst_left->type != STACK_R8)
+
+#define MONO_IS_BRANCH_OP(ins) (MONO_IS_COND_BRANCH_OP(ins) || ((ins)->opcode == OP_BR) || ((ins)->opcode == OP_BR_REG) || ((ins)->opcode == OP_SWITCH))
+
+typedef struct MonoInstList MonoInstList;
 typedef struct MonoInst MonoInst;
 typedef struct MonoCallInst MonoCallInst;
 typedef struct MonoCallArgParm MonoCallArgParm;
@@ -130,15 +140,151 @@ extern int mono_exc_esp_offset;
 #else
 extern gboolean mono_compile_aot;
 #endif
+extern MonoMethodDesc *mono_inject_async_exc_method;
+extern int mono_inject_async_exc_pos;
+extern MonoMethodDesc *mono_break_at_bb_method;
+extern int mono_break_at_bb_bb_num;
+extern gboolean check_for_pending_exc;
+
+struct MonoInstList {
+       struct MonoInstList *next, *prev;
+};
 
-typedef enum {
-       MONO_SECURITY_MODE_NONE,
-       MONO_SECURITY_MODE_CORE_CLR,
-       MONO_SECURITY_MODE_CAS,
-       MONO_SECURITY_MODE_SMCS_HACK
-} MonoSecurityMode;
+#define MONO_INST_LIST_INIT(list) do { \
+               (list)->next = (list);          \
+               (list)->prev = (list);          \
+       } while (0)
 
-extern MonoSecurityMode mono_security_mode;
+static inline int
+MONO_INST_LIST_EMPTY (MonoInstList *list)
+{
+       return list->next == list;
+}
+
+static inline void
+__MONO_INST_LIST_ADD (MonoInstList *new, MonoInstList *prev, MonoInstList *next)
+{
+       next->prev = new;
+       new->next = next;
+       new->prev = prev;
+       prev->next = new;
+}
+
+
+static inline void
+MONO_INST_LIST_ADD (MonoInstList *new, MonoInstList *head)
+{
+       __MONO_INST_LIST_ADD (new, head, head->next);
+}
+
+static inline void
+MONO_INST_LIST_ADD_TAIL (MonoInstList *new, MonoInstList *head)
+{
+       __MONO_INST_LIST_ADD (new, head->prev, head);
+}
+
+static inline void
+__MONO_INST_LIST_DEL (MonoInstList *prev, MonoInstList *next)
+{
+       next->prev = prev;
+       prev->next = next;
+}
+
+static inline void
+__MONO_INST_LIST_SPLICE (MonoInstList *list, MonoInstList *head)
+{
+       MonoInstList *first = list->next;
+       MonoInstList *last = list->prev;
+       MonoInstList *at = head->next;
+
+       first->prev = head;
+       head->next = first;
+
+       last->next = at;
+       at->prev = last;
+}
+
+static inline void
+MONO_INST_LIST_SPLICE (MonoInstList *list, MonoInstList *head) 
+{
+       if (!MONO_INST_LIST_EMPTY (list))
+               __MONO_INST_LIST_SPLICE (list, head);
+}
+
+static inline void
+MONO_INST_LIST_SPLICE_TAIL (MonoInstList *list, MonoInstList *head) 
+{
+       if (!MONO_INST_LIST_EMPTY (list))
+               __MONO_INST_LIST_SPLICE (list, head->prev);
+}
+
+static inline void
+MONO_INST_LIST_SPLICE_INIT (MonoInstList *list, MonoInstList *head)
+{
+       if (!MONO_INST_LIST_EMPTY (list)) {
+               __MONO_INST_LIST_SPLICE (list, head);
+               MONO_INST_LIST_INIT (list);
+       }
+}
+
+static inline void
+MONO_INST_LIST_SPLICE_TAIL_INIT (MonoInstList *list, MonoInstList *head)
+{
+       if (!MONO_INST_LIST_EMPTY (list)) {
+               __MONO_INST_LIST_SPLICE (list, head->prev);
+               MONO_INST_LIST_INIT (list);
+       }
+}
+
+/*#define mono_container_of(ptr, type, member) ({                      \
+       const typeof( ((type *)0)->member ) *__mptr = (ptr);    \
+       (type *)( (char *)__mptr - offsetof(type,member) );})
+
+#define MONO_INST_LIST_ENTRY(ptr, type, member) \
+       mono_container_of(ptr, type, member)*/
+
+#define MONO_INST_LIST_ENTRY(ptr, type, member)        \
+       ((type *)(ptr))
+
+#define MONO_INST_LIST_FIRST_ENTRY(ptr, type, member) \
+       MONO_INST_LIST_ENTRY((ptr)->next, type, member)
+
+#define MONO_INST_LIST_LAST_ENTRY(ptr, type, member) \
+       MONO_INST_LIST_ENTRY((ptr)->prev, type, member)
+
+#define MONO_INST_LIST_FOR_EACH(pos, head) \
+       for (pos = (head)->next; pos != (head); pos = pos->next)
+
+#define MONO_INST_LIST_FOR_EACH_PREV(pos, head) \
+       for (pos = (head)->prev; pos != (head); pos = pos->prev)
+
+#define MONO_INST_LIST_FOR_EACH_SAFE(pos, n, head) \
+       for (pos = (head)->next, n = pos->next; pos != (head); \
+               pos = n, n = pos->next)
+
+#define MONO_INST_LIST_FOR_EACH_PREV_SAFE(pos, n, head) \
+       for (pos = (head)->prev, n = pos->prev; pos != (head); \
+               pos = n, n = pos->prev)
+
+#define MONO_INST_LIST_FOR_EACH_ENTRY(pos, head, member) \
+       for (pos = MONO_INST_LIST_ENTRY ((head)->next, MonoInst, member);\
+            &pos->member != (head);\
+            pos = MONO_INST_LIST_ENTRY (pos->member.next, MonoInst, member))
+
+#define MONO_INST_LIST_FOR_EACH_ENTRY_REVERSE(pos, head, member) \
+       for (pos = MONO_INST_LIST_ENTRY ((head)->prev, MonoInst, member);\
+            &pos->member != (head);\
+            pos = MONO_INST_LIST_ENTRY (pos->member.prev, MonoInst, member))
+
+#define MONO_INST_LIST_FOR_EACH_ENTRY_SAFE(pos, n, head, member) \
+       for (pos = MONO_INST_LIST_ENTRY ((head)->next, MonoInst, member),\
+               n = MONO_INST_LIST_ENTRY (pos->member.next, MonoInst, member);\
+            &pos->member != (head);                                    \
+            pos = n, n = MONO_INST_LIST_ENTRY (n->member.next, MonoInst, member))
+
+#define MONO_BB_FOR_EACH_INS(bb, ins) MONO_INST_LIST_FOR_EACH_ENTRY ((ins), &((bb)->ins_list), node)
+
+#define MONO_BB_FOR_EACH_INS_REVERSE(bb, ins) MONO_INST_LIST_FOR_EACH_ENTRY_REVERSE ((ins), &((bb)->ins_list), node)
 
 struct MonoEdge {
        MonoEdge *next;
@@ -172,19 +318,11 @@ typedef struct {
  * at the beginning of the block, never in the middle.
  */
 struct MonoBasicBlock {
-       MonoInst *last_ins;
+       MonoInstList ins_list;
 
        /* the next basic block in the order it appears in IL */
        MonoBasicBlock *next_bb;
 
-       /*
-        * Before instruction selection it is the first tree in the
-        * forest and the first item in the list of trees. After
-        * instruction selection it is the first instruction and the
-        * first item in the list of instructions.
-        */
-       MonoInst *code;
-
        /* unique block number identification */
        gint32 block_num;
        
@@ -246,12 +384,12 @@ struct MonoBasicBlock {
        MonoInst **in_stack;
        MonoStackSlot *stack_state; /* Verification stack state on enter to bblock */
 
-       /* we use that to prevent merging of bblock covered by different clauses*/
+       /* we use that to prevent merging of bblocks covered by different clauses*/
        guint real_offset;
 
        /*
         * The region encodes whether the basic block is inside
-        * a finally, catch, filter or none of thoese.
+        * a finally, catch, filter or none of these.
         *
         * If the value is -1, then it is neither finally, catch nor filter
         *
@@ -277,7 +415,13 @@ enum {
        BB_EXCEPTION_HANDLER  = 1 << 4
 };
 
+typedef struct MonoMemcpyArgs {
+       int size, align;
+} MonoMemcpyArgs;
+
 struct MonoInst {
+       MonoInstList node; /* this must be the first field in this struct */
+
        union {
                union {
                        MonoInst *src;
@@ -308,23 +452,67 @@ struct MonoInst {
        union {
                gint32 reg3;
                gint32 arg_info;
-               gint32 size; /* in OP_MEMSET and OP_MEMCPY */
+               gint32 size;
+               MonoMemcpyArgs *memcpy_args; /* in OP_MEMSET and OP_MEMCPY */
                gint shift_amount;
                gboolean is_pinvoke; /* for variables in the unmanaged marshal format */
                gpointer data;
        } backend;
        
-       MonoInst *next;
        MonoClass *klass;
        const unsigned char* cil_code; /* for debugging and bblock splitting */
 };
        
+static inline void
+MONO_ADD_INS (MonoBasicBlock *bb, MonoInst *inst)
+{
+       MONO_INST_LIST_ADD_TAIL (&inst->node, &bb->ins_list);
+}
+
+static inline void
+MONO_DEL_INS (MonoInst *inst)
+{
+       __MONO_INST_LIST_DEL (inst->node.prev, inst->node.next);
+}
+
+static inline MonoInst *
+mono_inst_list_first (MonoInstList *head)
+{
+       if (MONO_INST_LIST_EMPTY (head))
+               return NULL;
+       return MONO_INST_LIST_FIRST_ENTRY (head, MonoInst, node);
+}
+
+static inline MonoInst *
+mono_inst_list_last (MonoInstList *head)
+{
+       if (MONO_INST_LIST_EMPTY (head))
+               return NULL;
+       return MONO_INST_LIST_LAST_ENTRY (head, MonoInst, node);
+}
+
+static inline MonoInst *
+mono_inst_list_next (MonoInstList *ins, MonoInstList *head)
+{
+       if (ins->next == head)
+               return NULL;
+       return MONO_INST_LIST_ENTRY (ins->next, MonoInst, node);
+}
+
+static inline MonoInst *
+mono_inst_list_prev (MonoInstList *ins, MonoInstList *head)
+{
+       if (ins->prev == head)
+               return NULL;
+       return MONO_INST_LIST_ENTRY (ins->prev, MonoInst, node);
+}
+
 struct MonoCallInst {
        MonoInst inst;
        MonoMethodSignature *signature;
        MonoMethod *method;
        MonoInst **args;
-       MonoInst *out_args;
+       MonoInstList out_args;
        gconstpointer fptr;
        guint stack_usage;
        gboolean virtual;
@@ -448,6 +636,8 @@ typedef struct {
        MonoLMF          *first_lmf;
        gpointer         signal_stack;
        guint32          signal_stack_size;
+       gpointer         stack_ovf_guard_base;
+       guint32          stack_ovf_guard_size;
        void            (*abort_func) (MonoObject *object);
 } MonoJitTlsData;
 
@@ -507,6 +697,7 @@ typedef enum {
        MONO_TRAMPOLINE_GENERIC,
        MONO_TRAMPOLINE_JUMP,
        MONO_TRAMPOLINE_CLASS_INIT,
+       MONO_TRAMPOLINE_GENERIC_CLASS_INIT,
        MONO_TRAMPOLINE_AOT,
        MONO_TRAMPOLINE_AOT_PLT,
        MONO_TRAMPOLINE_DELEGATE,
@@ -536,7 +727,7 @@ typedef struct {
        MonoMethod      *method;
        MonoMemPool     *mempool;
        MonoInst       **varinfo;
-       MonoMethodVar  **vars;
+       MonoMethodVar   *vars;
        MonoInst        *ret;
        MonoBasicBlock  *bb_entry;
        MonoBasicBlock  *bb_exit;
@@ -581,6 +772,8 @@ typedef struct {
        
        MonoDomain      *domain;
 
+       MonoGenericSharingContext *generic_sharing_context;
+
        unsigned char   *cil_start;
        unsigned char   *native_code;
        guint            code_size;
@@ -621,9 +814,7 @@ typedef struct {
        /* Fields used by the local reg allocator */
        void*            reginfo;
        void*            reginfof;
-       void*            reverse_inst_list;
        int              reginfo_len, reginfof_len;
-       int              reverse_inst_list_len;
 } MonoCompile;
 
 typedef enum {
@@ -704,6 +895,9 @@ enum {
 #define OP_PCONST OP_I8CONST
 #define OP_PADD OP_LADD
 #define OP_PNEG OP_LNEG
+#define OP_PCONV_TO_I1 OP_LCONV_TO_I1
+#define OP_PCONV_TO_U1 OP_LCONV_TO_U1
+#define OP_PCONV_TO_I2 OP_LCONV_TO_I2
 #define OP_PCONV_TO_U2 OP_LCONV_TO_U2
 #define OP_PCONV_TO_OVF_I1_UN OP_LCONV_TO_OVF_I1_UN
 #define OP_PCONV_TO_OVF_I1 OP_LCONV_TO_OVF_I1
@@ -714,6 +908,9 @@ enum {
 #define OP_PCONST OP_ICONST
 #define OP_PADD CEE_ADD
 #define OP_PNEG CEE_NEG
+#define OP_PCONV_TO_I1 OP_ICONV_TO_I1
+#define OP_PCONV_TO_U1 OP_ICONV_TO_U1
+#define OP_PCONV_TO_I2 OP_ICONV_TO_I2
 #define OP_PCONV_TO_U2 CEE_CONV_U2
 #define OP_PCONV_TO_OVF_I1_UN CEE_CONV_OVF_I1_UN
 #define OP_PCONV_TO_OVF_I1 CEE_CONV_OVF_I1
@@ -827,6 +1024,28 @@ enum {
        MONO_EXC_INTRINS_NUM
 };
 
+/*
+ * Flags for which contexts were used in inflating a generic.
+ */
+enum {
+       MONO_GENERIC_CONTEXT_USED_CLASS = 1,
+       MONO_GENERIC_CONTEXT_USED_METHOD = 2
+};
+
+#define MONO_GENERIC_CONTEXT_USED_BOTH         (MONO_GENERIC_CONTEXT_USED_CLASS | MONO_GENERIC_CONTEXT_USED_METHOD)
+
+enum {
+       MINI_GENERIC_CLASS_RELATION_SELF,
+       MINI_GENERIC_CLASS_RELATION_ARGUMENT,
+       MINI_GENERIC_CLASS_RELATION_OTHER
+};
+
+enum {
+       MINI_RGCTX_STATIC_DATA,
+       MINI_RGCTX_KLASS,
+       MINI_RGCTX_VTABLE
+};
+
 typedef void (*MonoInstFunc) (MonoInst *tree, gpointer data);
 
 /* main function */
@@ -900,6 +1119,7 @@ gboolean mono_aot_is_pagefault              (void *ptr) MONO_INTERNAL;
 void mono_aot_handle_pagefault              (void *ptr) MONO_INTERNAL;
 guint32 mono_aot_get_n_pagefaults           (void) MONO_INTERNAL;
 gpointer mono_aot_plt_resolve               (gpointer aot_module, guint32 plt_info_offset, guint8 *code) MONO_INTERNAL;
+gpointer mono_aot_get_method_from_vt_slot   (MonoDomain *domain, MonoVTable *vtable, int slot) MONO_INTERNAL;
 
 gboolean  mono_method_blittable             (MonoMethod *method) MONO_INTERNAL;
 gboolean  mono_method_same_domain           (MonoJitInfo *caller, MonoJitInfo *callee) MONO_INTERNAL;
@@ -923,6 +1143,7 @@ gpointer          mono_create_jump_trampoline (MonoDomain *domain,
 gpointer          mono_create_class_init_trampoline (MonoVTable *vtable) MONO_INTERNAL;
 gpointer          mono_create_jit_trampoline (MonoMethod *method) MONO_INTERNAL;
 gpointer          mono_create_jit_trampoline_from_token (MonoImage *image, guint32 token) MONO_INTERNAL;
+gpointer          mono_create_delegate_trampoline (MonoClass *klass) MONO_INTERNAL;
 MonoVTable*       mono_find_class_init_trampoline_by_addr (gconstpointer addr) MONO_INTERNAL;
 gpointer          mono_magic_trampoline (gssize *regs, guint8 *code, MonoMethod *m, guint8* tramp) MONO_INTERNAL;
 gpointer          mono_delegate_trampoline (gssize *regs, guint8 *code, MonoClass *klass, guint8* tramp) MONO_INTERNAL;
@@ -931,6 +1152,9 @@ gpointer          mono_aot_trampoline (gssize *regs, guint8 *code, guint8 *token
 gpointer          mono_aot_plt_trampoline (gssize *regs, guint8 *code, guint8 *token_info, 
                                                                                   guint8* tramp) MONO_INTERNAL;
 void              mono_class_init_trampoline (gssize *regs, guint8 *code, MonoVTable *vtable, guint8 *tramp) MONO_INTERNAL;
+void              mono_generic_class_init_trampoline (gssize *regs, guint8 *code, MonoVTable *vtable, guint8 *tramp) MONO_INTERNAL;
+gconstpointer     mono_get_trampoline_func (MonoTrampolineType tramp_type);
+gpointer          mini_get_vtable_trampoline (void) MONO_INTERNAL;
 gpointer          mono_debugger_create_notification_function (void) MONO_INTERNAL;
 
 
@@ -946,6 +1170,8 @@ CompRelation      mono_opcode_to_cond (int opcode) MONO_INTERNAL;
 CompType          mono_opcode_to_type (int opcode, int cmp_opcode) MONO_INTERNAL;
 
 /* methods that must be provided by the arch-specific port */
+void      mono_arch_init                        (void) MONO_INTERNAL;
+void      mono_arch_cleanup                     (void) MONO_INTERNAL;
 void      mono_arch_cpu_init                    (void) MONO_INTERNAL;
 guint32   mono_arch_cpu_optimizazions           (guint32 *exclude_mask) MONO_INTERNAL;
 void      mono_arch_instrument_mem_needs        (MonoMethod *method, int *stack, int *code) MONO_INTERNAL;
@@ -996,6 +1222,7 @@ MonoJitInfo *mono_arch_find_jit_info            (MonoDomain *domain,
 gpointer mono_arch_get_call_filter              (void) MONO_INTERNAL;
 gpointer mono_arch_get_restore_context          (void) MONO_INTERNAL;
 gboolean mono_arch_handle_exception             (void *sigctx, gpointer obj, gboolean test_only) MONO_INTERNAL;
+void     mono_arch_handle_altstack_exception    (void *sigctx, gpointer fault_addr, gboolean stack_ovf) MONO_INTERNAL;
 gpointer mono_arch_ip_from_context              (void *sigctx) MONO_INTERNAL;
 void     mono_arch_sigctx_to_monoctx            (void *sigctx, MonoContext *ctx) MONO_INTERNAL;
 void     mono_arch_monoctx_to_sigctx            (MonoContext *mctx, void *ctx) MONO_INTERNAL;
@@ -1007,6 +1234,7 @@ gboolean mono_arch_is_int_overflow              (void *sigctx, void *info) MONO_
 void     mono_arch_invalidate_method            (MonoJitInfo *ji, void *func, gpointer func_arg) MONO_INTERNAL;
 guint32  mono_arch_get_patch_offset             (guint8 *code) MONO_INTERNAL;
 gpointer*mono_arch_get_vcall_slot_addr          (guint8* code, gpointer *regs) MONO_INTERNAL;
+gpointer mono_arch_get_vcall_slot               (guint8 *code, gpointer *regs, int *displacement) MONO_INTERNAL;
 gpointer*mono_arch_get_delegate_method_ptr_addr (guint8* code, gpointer *regs) MONO_INTERNAL;
 void     mono_arch_create_vars                  (MonoCompile *cfg) MONO_INTERNAL;
 void     mono_arch_save_unwind_info             (MonoCompile *cfg) MONO_INTERNAL;
@@ -1016,7 +1244,6 @@ void     mono_arch_patch_callsite               (guint8 *code, guint8 *addr) MON
 void     mono_arch_patch_plt_entry              (guint8 *code, guint8 *addr) MONO_INTERNAL;
 void     mono_arch_nullify_class_init_trampoline(guint8 *code, gssize *regs) MONO_INTERNAL;
 void     mono_arch_nullify_plt_entry            (guint8 *code) MONO_INTERNAL;
-void     mono_arch_patch_delegate_trampoline    (guint8 *code, guint8 *tramp, gssize *regs, guint8 *addr) MONO_INTERNAL;
 gpointer mono_arch_get_this_arg_from_call       (MonoMethodSignature *sig, gssize *regs, guint8 *code);
 gpointer mono_arch_get_delegate_invoke_impl     (MonoMethodSignature *sig, gboolean has_target);
 gpointer mono_arch_create_specific_trampoline   (gpointer arg1, MonoTrampolineType tramp_type, MonoDomain *domain, guint32 *code_len) MONO_INTERNAL;
@@ -1024,6 +1251,7 @@ void        mono_arch_emit_imt_argument         (MonoCompile *cfg, MonoCallInst
 MonoMethod* mono_arch_find_imt_method           (gpointer *regs, guint8 *code) MONO_INTERNAL;
 MonoObject* mono_arch_find_this_argument        (gpointer *regs, MonoMethod *method) MONO_INTERNAL;
 gpointer    mono_arch_build_imt_thunk           (MonoVTable *vtable, MonoDomain *domain, MonoIMTCheckItem **imt_entries, int count) MONO_INTERNAL;
+void    mono_arch_notify_pending_exc (void) MONO_INTERNAL;
 
 /* Exception handling */
 gboolean mono_handle_exception                  (MonoContext *ctx, gpointer obj,
@@ -1072,6 +1300,10 @@ void      mono_debug_add_icall_wrapper          (MonoMethod *method, MonoJitICal
 void      mono_debug_print_vars                 (gpointer ip, gboolean only_arguments);
 void      mono_debugger_run_finally             (MonoContext *start_ctx);
 
+extern gssize mono_breakpoint_info_index [MONO_BREAKPOINT_ARRAY_SIZE];
+
+gboolean mono_breakpoint_clean_code (guint8 *code, guint8 *buf, int size);
+
 /* Mono Debugger support */
 void      mono_debugger_init                    (void);
 int       mono_debugger_main                    (MonoDomain *domain, MonoAssembly *assembly, int argc, char **argv);
@@ -1097,4 +1329,35 @@ int mini_wapi_hps     (int argc, char **argv);
 int mini_wapi_semdel  (int argc, char **argv);
 int mini_wapi_seminfo (int argc, char **argv);
 
+/* Generic sharing */
+
+MonoGenericContext* mini_method_get_context (MonoMethod *method) MONO_INTERNAL;
+
+int mono_method_check_context_used (MonoMethod *method) MONO_INTERNAL;
+int mono_class_check_context_used (MonoClass *class) MONO_INTERNAL;
+
+gboolean mono_generic_context_equal_deep (MonoGenericContext *context1, MonoGenericContext *context2) MONO_INTERNAL;
+
+gboolean mono_generic_context_is_sharable (MonoGenericContext *context) MONO_INTERNAL;
+
+gboolean mono_method_is_generic_impl (MonoMethod *method) MONO_INTERNAL;
+gboolean mono_method_is_generic_sharable_impl (MonoMethod *method) MONO_INTERNAL;
+
+MonoMethod* mono_method_get_declaring_generic_method (MonoMethod *method) MONO_INTERNAL;
+
+int mono_class_generic_class_relation (MonoClass *klass, MonoClass *method_klass,
+                                      MonoGenericContext *generic_context, int *arg_num) MONO_INTERNAL;
+
+gpointer mono_helper_get_rgctx_other_ptr (MonoClass *caller_class, MonoRuntimeGenericContext *rgctx,
+                                         guint32 token, guint32 rgctx_type) MONO_INTERNAL;
+
+void mono_generic_sharing_init (void) MONO_INTERNAL;
+
+MonoClass* mini_class_get_container_class (MonoClass *class) MONO_INTERNAL;
+MonoGenericContext* mini_class_get_context (MonoClass *class) MONO_INTERNAL;
+
+MonoType* mini_get_basic_type_from_generic (MonoGenericSharingContext *gsctx, MonoType *type) MONO_INTERNAL;
+
+int mini_type_stack_size (MonoGenericSharingContext *gsctx, MonoType *t, int *align) MONO_INTERNAL;
+
 #endif /* __MONO_MINI_H__ */