[build] Skips RemoteExecuted bases tests on monodroid

[mono-project.git] / mono / mini / aot-runtime.c

/**
 * \file
 * mono Ahead of Time compiler
 *
 * Author:
 *   Dietmar Maurer (dietmar@ximian.com)
 *   Zoltan Varga (vargaz@gmail.com)
 *
 * (C) 2002 Ximian, Inc.
 * Copyright 2003-2011 Novell, Inc.
 * Copyright 2011 Xamarin, Inc.
 * Licensed under the MIT license. See LICENSE file in the project root for full license information.
 */

#include "config.h"
#include <sys/types.h>
#ifdef HAVE_UNISTD_H
#include <unistd.h>
#endif
#include <fcntl.h>
#include <string.h>
#ifdef HAVE_SYS_MMAN_H
#include <sys/mman.h>
#endif

#if HOST_WIN32
#include <winsock2.h>
#include <windows.h>
#endif

#ifdef HAVE_EXECINFO_H
#include <execinfo.h>
#endif

#include <errno.h>
#include <sys/stat.h>

#ifdef HAVE_SYS_WAIT_H
#include <sys/wait.h>  /* for WIFEXITED, WEXITSTATUS */
#endif

#include <mono/metadata/abi-details.h>
#include <mono/metadata/tabledefs.h>
#include <mono/metadata/class.h>
#include <mono/metadata/object.h>
#include <mono/metadata/tokentype.h>
#include <mono/metadata/appdomain.h>
#include <mono/metadata/debug-helpers.h>
#include <mono/metadata/assembly.h>
#include <mono/metadata/assembly-internals.h>
#include <mono/metadata/metadata-internals.h>
#include <mono/metadata/exception-internals.h>
#include <mono/metadata/marshal.h>
#include <mono/metadata/gc-internals.h>
#include <mono/metadata/threads-types.h>
#include <mono/metadata/mono-endian.h>
#include <mono/utils/mono-logger-internals.h>
#include <mono/utils/mono-mmap.h>
#include <mono/utils/mono-compiler.h>
#include <mono/utils/mono-counters.h>
#include <mono/utils/mono-digest.h>
#include <mono/utils/mono-threads-coop.h>

#include "mini.h"
#include "seq-points.h"
#include "version.h"
#include "debugger-agent.h"
#include "aot-compiler.h"
#include "aot-runtime.h"
#include "jit-icalls.h"
#include "mini-runtime.h"

#ifndef DISABLE_AOT

#ifdef TARGET_OSX
#define ENABLE_AOT_CACHE
#endif

/* Number of got entries shared between the JIT and LLVM GOT */
#define N_COMMON_GOT_ENTRIES 10

#define ROUND_DOWN(VALUE,SIZE)  ((VALUE) & ~((SIZE) - 1))

typedef struct {
        int method_index;
        MonoJitInfo *jinfo;
} JitInfoMap;

typedef struct MonoAotModule {
        char *aot_name;
        /* Pointer to the Global Offset Table */
        gpointer *got;
        gpointer *llvm_got;
        gpointer *shared_got;
        GHashTable *name_cache;
        GHashTable *extra_methods;
        /* Maps methods to their code */
        GHashTable *method_to_code;
        /* Maps pointers into the method info to the methods themselves */
        GHashTable *method_ref_to_method;
        MonoAssemblyName *image_names;
        char **image_guids;
        MonoAssembly *assembly;
        MonoImage **image_table;
        guint32 image_table_len;
        gboolean out_of_date;
        gboolean plt_inited;
        gboolean got_initializing;
        guint8 *mem_begin;
        guint8 *mem_end;
        guint8 *jit_code_start;
        guint8 *jit_code_end;
        guint8 *llvm_code_start;
        guint8 *llvm_code_end;
        guint8 *plt;
        guint8 *plt_end;
        guint8 *blob;
        gpointer weak_field_indexes;
        /* Maps method indexes to their code */
        gpointer *methods;
        /* Sorted array of method addresses */
        gpointer *sorted_methods;
        /* Method indexes for each method in sorted_methods */
        int *sorted_method_indexes;
        /* The length of the two tables above */
        int sorted_methods_len;
        guint32 *method_info_offsets;
        guint32 *ex_info_offsets;
        guint32 *class_info_offsets;
        guint32 *got_info_offsets;
        guint32 *llvm_got_info_offsets;
        guint32 *methods_loaded;
        guint16 *class_name_table;
        guint32 *extra_method_table;
        guint32 *extra_method_info_offsets;
        guint32 *unbox_trampolines;
        guint32 *unbox_trampolines_end;
        guint32 *unbox_trampoline_addresses;
        guint8 *unwind_info;

        /* Points to the mono EH data created by LLVM */
        guint8 *mono_eh_frame;

        /* Points to the data tables if MONO_AOT_FILE_FLAG_SEPARATE_DATA is set */
        gpointer tables [MONO_AOT_TABLE_NUM];
        /* Points to the trampolines */
        guint8 *trampolines [MONO_AOT_TRAMP_NUM];
        /* The first unused trampoline of each kind */
        guint32 trampoline_index [MONO_AOT_TRAMP_NUM];

        gboolean use_page_trampolines;

        MonoAotFileInfo info;

        gpointer *globals;
        MonoDl *sofile;

        JitInfoMap *async_jit_info_table;
        mono_mutex_t mutex;
} MonoAotModule;

typedef struct {
        void *next;
        unsigned char *trampolines;
        unsigned char *trampolines_end;
} TrampolinePage;

static GHashTable *aot_modules;
#define mono_aot_lock() mono_os_mutex_lock (&aot_mutex)
#define mono_aot_unlock() mono_os_mutex_unlock (&aot_mutex)
static mono_mutex_t aot_mutex;

/* 
 * Maps assembly names to the mono_aot_module_<NAME>_info symbols in the
 * AOT modules registered by mono_aot_register_module ().
 */
static GHashTable *static_aot_modules;
/* 
 * Same as above, but tracks module that must be loaded before others are
 * This allows us to have a "container" module which contains resources for
 * other modules. Since it doesn't provide methods for a managed assembly,
 * and it needs to be fully loaded by the time the other code needs it, it
 * must be eagerly loaded before other modules.
 */
static char *container_assm_name = NULL;
static MonoAotModule *container_amodule = NULL;

/*
 * Maps MonoJitInfo* to the aot module they belong to, this can be different
 * from ji->method->klass->image's aot module for generic instances.
 */
static GHashTable *ji_to_amodule;

/*
 * Whenever to AOT compile loaded assemblies on demand and store them in
 * a cache.
 */
static gboolean enable_aot_cache = FALSE;

static gboolean mscorlib_aot_loaded;

/* For debugging */
static gint32 mono_last_aot_method = -1;

static gboolean make_unreadable = FALSE;
static guint32 name_table_accesses = 0;
static guint32 n_pagefaults = 0;

/* Used to speed-up find_aot_module () */
static gsize aot_code_low_addr = (gssize)-1;
static gsize aot_code_high_addr = 0;

/* Stats */
static gint32 async_jit_info_size;

static GHashTable *aot_jit_icall_hash;

#ifdef MONOTOUCH
#define USE_PAGE_TRAMPOLINES ((MonoAotModule*)mono_defaults.corlib->aot_module)->use_page_trampolines
#else
#define USE_PAGE_TRAMPOLINES 0
#endif

#define mono_aot_page_lock() mono_os_mutex_lock (&aot_page_mutex)
#define mono_aot_page_unlock() mono_os_mutex_unlock (&aot_page_mutex)
static mono_mutex_t aot_page_mutex;

static MonoAotModule *mscorlib_aot_module;

/* Embedding API hooks to load the AOT data for AOT images compiled with MONO_AOT_FILE_FLAG_SEPARATE_DATA */
static MonoLoadAotDataFunc aot_data_load_func;
static MonoFreeAotDataFunc aot_data_free_func;
static gpointer aot_data_func_user_data;

static void
init_plt (MonoAotModule *info);

static void
compute_llvm_code_range (MonoAotModule *amodule, guint8 **code_start, guint8 **code_end);

static gboolean
init_method (MonoAotModule *amodule, guint32 method_index, MonoMethod *method, MonoClass *init_class, MonoGenericContext *context, MonoError *error);

static MonoJumpInfo*
decode_patches (MonoAotModule *amodule, MonoMemPool *mp, int n_patches, gboolean llvm, guint32 *got_offsets);

static inline void
amodule_lock (MonoAotModule *amodule)
{
        mono_os_mutex_lock (&amodule->mutex);
}

static inline void
amodule_unlock (MonoAotModule *amodule)
{
        mono_os_mutex_unlock (&amodule->mutex);
}

/*
 * load_image:
 *
 *   Load one of the images referenced by AMODULE. Returns NULL if the image is not
 * found, and sets @error for what happened
 */
static MonoImage *
load_image (MonoAotModule *amodule, int index, MonoError *error)
{
        MonoAssembly *assembly;
        MonoImageOpenStatus status;

        g_assert (index < amodule->image_table_len);

        error_init (error);

        if (amodule->image_table [index])
                return amodule->image_table [index];
        mono_trace (G_LOG_LEVEL_DEBUG, MONO_TRACE_AOT, "AOT: module %s wants to load image %d: %s", amodule->aot_name, index, amodule->image_names[index].name);
        if (amodule->out_of_date) {
                mono_error_set_bad_image_by_name (error, amodule->aot_name, "Image out of date");
                return NULL;
        }

        /*
         * LoadFile allows loading more than one assembly with the same name.
         * That means that just calling mono_assembly_load is unlikely to find
         * the correct assembly (it'll just return the first one loaded).  But
         * we shouldn't hardcode the full assembly filepath into the AOT image,
         * so it's not obvious that we can call mono_assembly_open_predicate.
         *
         * In the JIT, an assembly opened with LoadFile is supposed to only
         * refer to already-loaded assemblies (or to GAC & MONO_PATH)
         * assemblies - so nothing new should be loading.  And for the
         * LoadFile'd assembly itself, we can check if the name and guid of the
         * current AOT module matches the wanted name and guid and just return
         * the AOT module's assembly.
         */
        if (mono_asmctx_get_kind (&amodule->assembly->context) == MONO_ASMCTX_INDIVIDUAL &&
            !strcmp (amodule->assembly->image->guid, amodule->image_guids [index]) &&
            mono_assembly_names_equal (&amodule->image_names [index], &amodule->assembly->aname))
                assembly = amodule->assembly;
        else
                assembly = mono_assembly_load (&amodule->image_names [index], amodule->assembly->basedir, &status);
        if (!assembly) {
                mono_trace (G_LOG_LEVEL_INFO, MONO_TRACE_AOT, "AOT: module %s is unusable because dependency %s is not found.", amodule->aot_name, amodule->image_names [index].name);
                mono_error_set_bad_image_by_name (error, amodule->aot_name, "module is unusable because dependency %s is not found (error %d).\n", amodule->image_names [index].name, status);
                amodule->out_of_date = TRUE;
                return NULL;
        }

        if (strcmp (assembly->image->guid, amodule->image_guids [index])) {
                mono_trace (G_LOG_LEVEL_INFO, MONO_TRACE_AOT, "AOT: module %s is unusable (GUID of dependent assembly %s doesn't match (expected '%s', got '%s').", amodule->aot_name, amodule->image_names [index].name, amodule->image_guids [index], assembly->image->guid);
                mono_error_set_bad_image_by_name (error, amodule->aot_name, "module is unusable (GUID of dependent assembly %s doesn't match (expected '%s', got '%s').", amodule->image_names [index].name, amodule->image_guids [index], assembly->image->guid);
                amodule->out_of_date = TRUE;
                return NULL;
        }

        amodule->image_table [index] = assembly->image;
        return assembly->image;
}

static inline gint32
decode_value (guint8 *ptr, guint8 **rptr)
{
        guint8 b = *ptr;
        gint32 len;
        
        if ((b & 0x80) == 0){
                len = b;
                ++ptr;
        } else if ((b & 0x40) == 0){
                len = ((b & 0x3f) << 8 | ptr [1]);
                ptr += 2;
        } else if (b != 0xff) {
                len = ((b & 0x1f) << 24) |
                        (ptr [1] << 16) |
                        (ptr [2] << 8) |
                        ptr [3];
                ptr += 4;
        }
        else {
                len = (ptr [1] << 24) | (ptr [2] << 16) | (ptr [3] << 8) | ptr [4];
                ptr += 5;
        }
        if (rptr)
                *rptr = ptr;

        //printf ("DECODE: %d.\n", len);
        return len;
}

/*
 * mono_aot_get_offset:
 *
 *   Decode an offset table emitted by emit_offset_table (), returning the INDEXth
 * entry.
 */
static guint32
mono_aot_get_offset (guint32 *table, int index)
{
        int i, group, ngroups, index_entry_size;
        int start_offset, offset, group_size;
        guint8 *data_start, *p;
        guint32 *index32 = NULL;
        guint16 *index16 = NULL;
        
        /* noffsets = table [0]; */
        group_size = table [1];
        ngroups = table [2];
        index_entry_size = table [3];
        group = index / group_size;

        if (index_entry_size == 2) {
                index16 = (guint16*)&table [4];
                data_start = (guint8*)&index16 [ngroups];
                p = data_start + index16 [group];
        } else {
                index32 = (guint32*)&table [4];
                data_start = (guint8*)&index32 [ngroups];
                p = data_start + index32 [group];
        }

        /* offset will contain the value of offsets [group * group_size] */
        offset = start_offset = decode_value (p, &p);
        for (i = group * group_size + 1; i <= index; ++i) {
                offset += decode_value (p, &p);
        }

        //printf ("Offset lookup: %d -> %d, start=%d, p=%d\n", index, offset, start_offset, table [3 + group]);

        return offset;
}

static MonoMethod*
decode_resolve_method_ref (MonoAotModule *module, guint8 *buf, guint8 **endbuf, MonoError *error);

static MonoClass*
decode_klass_ref (MonoAotModule *module, guint8 *buf, guint8 **endbuf, MonoError *error);

static MonoType*
decode_type (MonoAotModule *module, guint8 *buf, guint8 **endbuf, MonoError *error);

static MonoGenericInst*
decode_generic_inst (MonoAotModule *module, guint8 *buf, guint8 **endbuf, MonoError *error)
{
        int type_argc, i;
        MonoType **type_argv;
        MonoGenericInst *inst;
        guint8 *p = buf;

        error_init (error);
        type_argc = decode_value (p, &p);
        type_argv = g_new0 (MonoType*, type_argc);

        for (i = 0; i < type_argc; ++i) {
                MonoClass *pclass = decode_klass_ref (module, p, &p, error);
                if (!pclass) {
                        g_free (type_argv);
                        return NULL;
                }
                type_argv [i] = m_class_get_byval_arg (pclass);
        }

        inst = mono_metadata_get_generic_inst (type_argc, type_argv);
        g_free (type_argv);

        *endbuf = p;

        return inst;
}

static gboolean
decode_generic_context (MonoAotModule *module, MonoGenericContext *ctx, guint8 *buf, guint8 **endbuf, MonoError *error)
{
        guint8 *p = buf;
        guint8 *p2;
        int argc;
        error_init (error);

        p2 = p;
        argc = decode_value (p, &p);
        if (argc) {
                p = p2;
                ctx->class_inst = decode_generic_inst (module, p, &p, error);
                if (!ctx->class_inst)
                        return FALSE;
        }
        p2 = p;
        argc = decode_value (p, &p);
        if (argc) {
                p = p2;
                ctx->method_inst = decode_generic_inst (module, p, &p, error);
                if (!ctx->method_inst)
                        return FALSE;
        }

        *endbuf = p;
        return TRUE;
}

static MonoClass*
decode_klass_ref (MonoAotModule *module, guint8 *buf, guint8 **endbuf, MonoError *error)
{
        MonoImage *image;
        MonoClass *klass = NULL, *eklass;
        guint32 token, rank, idx;
        guint8 *p = buf;
        int reftype;

        error_init (error);
        reftype = decode_value (p, &p);
        if (reftype == 0) {
                *endbuf = p;
                mono_error_set_bad_image_by_name (error, module->aot_name, "Decoding a null class ref");
                return NULL;
        }

        switch (reftype) {
        case MONO_AOT_TYPEREF_TYPEDEF_INDEX:
                idx = decode_value (p, &p);
                image = load_image (module, 0, error);
                if (!image)
                        return NULL;
                klass = mono_class_get_checked (image, MONO_TOKEN_TYPE_DEF + idx, error);
                break;
        case MONO_AOT_TYPEREF_TYPEDEF_INDEX_IMAGE:
                idx = decode_value (p, &p);
                image = load_image (module, decode_value (p, &p), error);
                if (!image)
                        return NULL;
                klass = mono_class_get_checked (image, MONO_TOKEN_TYPE_DEF + idx, error);
                break;
        case MONO_AOT_TYPEREF_TYPESPEC_TOKEN:
                token = decode_value (p, &p);
                image = module->assembly->image;
                if (!image) {
                        mono_error_set_bad_image_by_name (error, module->aot_name, "No image associated with the aot module");
                        return NULL;
                }
                klass = mono_class_get_checked (image, token, error);
                break;
        case MONO_AOT_TYPEREF_GINST: {
                MonoClass *gclass;
                MonoGenericContext ctx;
                MonoType *type;

                gclass = decode_klass_ref (module, p, &p, error);
                if (!gclass)
                        return NULL;
                g_assert (mono_class_is_gtd (gclass));

                memset (&ctx, 0, sizeof (ctx));
                ctx.class_inst = decode_generic_inst (module, p, &p, error);
                if (!ctx.class_inst)
                        return NULL;
                type = mono_class_inflate_generic_type_checked (m_class_get_byval_arg (gclass), &ctx, error);
                if (!type)
                        return NULL;
                klass = mono_class_from_mono_type (type);
                mono_metadata_free_type (type);
                break;
        }
        case MONO_AOT_TYPEREF_VAR: {
                MonoType *t = NULL;
                MonoGenericContainer *container = NULL;
                gboolean has_constraint = decode_value (p, &p);

                if (has_constraint) {
                        MonoClass *par_klass;
                        MonoType *gshared_constraint;

                        gshared_constraint = decode_type (module, p, &p, error);
                        if (!gshared_constraint)
                                return NULL;

                        par_klass = decode_klass_ref (module, p, &p, error);
                        if (!par_klass)
                                return NULL;

                        t = mini_get_shared_gparam (m_class_get_byval_arg (par_klass), gshared_constraint);
                        mono_metadata_free_type (gshared_constraint);
                        klass = mono_class_from_mono_type (t);
                } else {
                        int type = decode_value (p, &p);
                        int num = decode_value (p, &p);
                        gboolean is_not_anonymous = decode_value (p, &p);

                        if (is_not_anonymous) {
                                gboolean is_method = decode_value (p, &p);
                        
                                if (is_method) {
                                        MonoMethod *method_def;
                                        g_assert (type == MONO_TYPE_MVAR);
                                        method_def = decode_resolve_method_ref (module, p, &p, error);
                                        if (!method_def)
                                                return NULL;

                                        container = mono_method_get_generic_container (method_def);
                                } else {
                                        MonoClass *class_def;
                                        g_assert (type == MONO_TYPE_VAR);
                                        class_def = decode_klass_ref (module, p, &p, error);
                                        if (!class_def)
                                                return NULL;

                                        container = mono_class_try_get_generic_container (class_def); //FIXME is this a case for a try_get?
                                }
                        } else {
                                // We didn't decode is_method, so we have to infer it from type enum.
                                container = mono_get_anonymous_container_for_image (module->assembly->image, type == MONO_TYPE_MVAR);
                        }

                        t = g_new0 (MonoType, 1);
                        t->type = (MonoTypeEnum)type;
                        if (is_not_anonymous) {
                                t->data.generic_param = mono_generic_container_get_param (container, num);
                        } else {
                                /* Anonymous */
                                MonoGenericParam *par = mono_metadata_create_anon_gparam (module->assembly->image, num, type == MONO_TYPE_MVAR);
                                t->data.generic_param = par;
                                // FIXME: maybe do this for all anon gparams?
                                ((MonoGenericParamFull*)par)->info.name = mono_make_generic_name_string (module->assembly->image, num);
                        }
                        // FIXME: Maybe use types directly to avoid
                        // the overhead of creating MonoClass-es
                        klass = mono_class_from_mono_type (t);

                        g_free (t);
                }
                break;
        }
        case MONO_AOT_TYPEREF_ARRAY:
                /* Array */
                rank = decode_value (p, &p);
                eklass = decode_klass_ref (module, p, &p, error);
                if (!eklass)
                        return NULL;
                klass = mono_class_create_array (eklass, rank);
                break;
        case MONO_AOT_TYPEREF_PTR: {
                MonoType *t;

                t = decode_type (module, p, &p, error);
                if (!t)
                        return NULL;
                klass = mono_class_from_mono_type (t);
                g_free (t);
                break;
        }
        case MONO_AOT_TYPEREF_BLOB_INDEX: {
                guint32 offset = decode_value (p, &p);
                guint8 *p2;

                p2 = module->blob + offset;
                klass = decode_klass_ref (module, p2, &p2, error);
                break;
        }
        default:
                mono_error_set_bad_image_by_name (error, module->aot_name, "Invalid klass reftype %d", reftype);
        }
        //g_assert (klass);
        //printf ("BLA: %s\n", mono_type_full_name (m_class_get_byval_arg (klass)));
        *endbuf = p;
        return klass;
}

static MonoClassField*
decode_field_info (MonoAotModule *module, guint8 *buf, guint8 **endbuf)
{
        ERROR_DECL (error);
        MonoClass *klass = decode_klass_ref (module, buf, &buf, error);
        guint32 token;
        guint8 *p = buf;

        if (!klass) {
                mono_error_cleanup (error); /* FIXME don't swallow the error */
                return NULL;
        }

        token = MONO_TOKEN_FIELD_DEF + decode_value (p, &p);

        *endbuf = p;

        return mono_class_get_field (klass, token);
}

/*
 * Parse a MonoType encoded by encode_type () in aot-compiler.c. Return malloc-ed
 * memory.
 */
static MonoType*
decode_type (MonoAotModule *module, guint8 *buf, guint8 **endbuf, MonoError *error)
{
        guint8 *p = buf;
        MonoType *t;

        if (*p == MONO_TYPE_CMOD_REQD) {
                ++p;

                int count = decode_value (p, &p);

                t = (MonoType*)g_malloc0 (mono_sizeof_type_with_mods (count));
                t->has_cmods = TRUE;

                MonoCustomModContainer *cm = mono_type_get_cmods (t);
                int iindex = decode_value (p, &p);
                cm->image = load_image (module, iindex, error);
                if (!cm->image) {
                        g_free (t);
                        return NULL;
                }
                cm->count = count;
                for (int i = 0; i < cm->count; ++i) {
                        cm->modifiers [i].required = decode_value (p, &p);
                        cm->modifiers [i].token = decode_value (p, &p);
                }
        } else {
                t = (MonoType *) g_malloc0 (sizeof (MonoType));
        }

        while (TRUE) {
                if (*p == MONO_TYPE_PINNED) {
                        t->pinned = TRUE;
                        ++p;
                } else if (*p == MONO_TYPE_BYREF) {
                        t->byref = TRUE;
                        ++p;
                } else {
                        break;
                }
        }

        t->type = (MonoTypeEnum)*p;
        ++p;

        switch (t->type) {
        case MONO_TYPE_VOID:
        case MONO_TYPE_BOOLEAN:
        case MONO_TYPE_CHAR:
        case MONO_TYPE_I1:
        case MONO_TYPE_U1:
        case MONO_TYPE_I2:
        case MONO_TYPE_U2:
        case MONO_TYPE_I4:
        case MONO_TYPE_U4:
        case MONO_TYPE_I8:
        case MONO_TYPE_U8:
        case MONO_TYPE_R4:
        case MONO_TYPE_R8:
        case MONO_TYPE_I:
        case MONO_TYPE_U:
        case MONO_TYPE_STRING:
        case MONO_TYPE_OBJECT:
        case MONO_TYPE_TYPEDBYREF:
                break;
        case MONO_TYPE_VALUETYPE:
        case MONO_TYPE_CLASS:
                t->data.klass = decode_klass_ref (module, p, &p, error);
                if (!t->data.klass)
                        goto fail;
                break;
        case MONO_TYPE_SZARRAY:
                t->data.klass = decode_klass_ref (module, p, &p, error);

                if (!t->data.klass)
                        goto fail;
                break;
        case MONO_TYPE_PTR:
                t->data.type = decode_type (module, p, &p, error);
                if (!t->data.type)
                        goto fail;
                break;
        case MONO_TYPE_GENERICINST: {
                MonoClass *gclass;
                MonoGenericContext ctx;
                MonoType *type;
                MonoClass *klass;

                gclass = decode_klass_ref (module, p, &p, error);
                if (!gclass)
                        goto fail;
                g_assert (mono_class_is_gtd (gclass));

                memset (&ctx, 0, sizeof (ctx));
                ctx.class_inst = decode_generic_inst (module, p, &p, error);
                if (!ctx.class_inst)
                        goto fail;
                type = mono_class_inflate_generic_type_checked (m_class_get_byval_arg (gclass), &ctx, error);
                if (!type)
                        goto fail;
                klass = mono_class_from_mono_type (type);
                t->data.generic_class = mono_class_get_generic_class (klass);
                break;
        }
        case MONO_TYPE_ARRAY: {
                MonoArrayType *array;
                int i;

                // FIXME: memory management
                array = g_new0 (MonoArrayType, 1);
                array->eklass = decode_klass_ref (module, p, &p, error);
                if (!array->eklass)
                        goto fail;
                array->rank = decode_value (p, &p);
                array->numsizes = decode_value (p, &p);

                if (array->numsizes)
                        array->sizes = (int *)g_malloc0 (sizeof (int) * array->numsizes);
                for (i = 0; i < array->numsizes; ++i)
                        array->sizes [i] = decode_value (p, &p);

                array->numlobounds = decode_value (p, &p);
                if (array->numlobounds)
                        array->lobounds = (int *)g_malloc0 (sizeof (int) * array->numlobounds);
                for (i = 0; i < array->numlobounds; ++i)
                        array->lobounds [i] = decode_value (p, &p);
                t->data.array = array;
                break;
        }
        case MONO_TYPE_VAR:
        case MONO_TYPE_MVAR: {
                MonoClass *klass = decode_klass_ref (module, p, &p, error);
                if (!klass)
                        goto fail;
                t->data.generic_param = m_class_get_byval_arg (klass)->data.generic_param;
                break;
        }
        default:
                mono_error_set_bad_image_by_name (error, module->aot_name, "Invalid encoded type %d", t->type);
                goto fail;
        }

        *endbuf = p;

        return t;
fail:
        g_free (t);
        return NULL;
}

// FIXME: Error handling, memory management

static MonoMethodSignature*
decode_signature_with_target (MonoAotModule *module, MonoMethodSignature *target, guint8 *buf, guint8 **endbuf)
{
        ERROR_DECL (error);
        MonoMethodSignature *sig;
        guint32 flags;
        int i, gen_param_count = 0, param_count, call_conv;
        guint8 *p = buf;
        gboolean hasthis, explicit_this, has_gen_params;

        flags = *p;
        p ++;
        has_gen_params = (flags & 0x10) != 0;
        hasthis = (flags & 0x20) != 0;
        explicit_this = (flags & 0x40) != 0;
        call_conv = flags & 0x0F;

        if (has_gen_params)
                gen_param_count = decode_value (p, &p);
        param_count = decode_value (p, &p);
        if (target && param_count != target->param_count)
                return NULL;
        sig = (MonoMethodSignature *)g_malloc0 (MONO_SIZEOF_METHOD_SIGNATURE + param_count * sizeof (MonoType *));
        sig->param_count = param_count;
        sig->sentinelpos = -1;
        sig->hasthis = hasthis;
        sig->explicit_this = explicit_this;
        sig->call_convention = call_conv;
        sig->generic_param_count = gen_param_count;
        sig->ret = decode_type (module, p, &p, error);
        if (!sig->ret)
                goto fail;
        for (i = 0; i < param_count; ++i) {
                if (*p == MONO_TYPE_SENTINEL) {
                        g_assert (sig->call_convention == MONO_CALL_VARARG);
                        sig->sentinelpos = i;
                        p ++;
                }
                sig->params [i] = decode_type (module, p, &p, error);
                if (!sig->params [i])
                        goto fail;
        }

        if (sig->call_convention == MONO_CALL_VARARG && sig->sentinelpos == -1)
                sig->sentinelpos = sig->param_count;

        *endbuf = p;

        return sig;
fail:
        mono_error_cleanup (error); /* FIXME don't swallow the error */
        g_free (sig);
        return NULL;
}

static MonoMethodSignature*
decode_signature (MonoAotModule *module, guint8 *buf, guint8 **endbuf)
{
        return decode_signature_with_target (module, NULL, buf, endbuf);
}

static gboolean
sig_matches_target (MonoAotModule *module, MonoMethod *target, guint8 *buf, guint8 **endbuf)
{
        MonoMethodSignature *sig;
        gboolean res;
        guint8 *p = buf;
        
        sig = decode_signature_with_target (module, mono_method_signature (target), p, &p);
        res = sig && mono_metadata_signature_equal (mono_method_signature (target), sig);
        g_free (sig);
        *endbuf = p;
        return res;
}

/* Stores information returned by decode_method_ref () */
typedef struct {
        MonoImage *image;
        guint32 token;
        MonoMethod *method;
        gboolean no_aot_trampoline;
} MethodRef;

/*
 * decode_method_ref_with_target:
 *
 *   Decode a method reference, storing the image/token into a MethodRef structure.
 * This avoids loading metadata for the method if the caller does not need it. If the method has
 * no token, then it is loaded from metadata and ref->method is set to the method instance.
 * If TARGET is non-NULL, abort decoding if it can be determined that the decoded method
 *  couldn't resolve to TARGET, and return FALSE.
 * There are some kinds of method references which only support a non-null TARGET.
 * This means that its not possible to decode this into a method, only to check
 * that the method reference matches a given method. This is normally not a problem
 * as these wrappers only occur in the extra_methods table, where we already have
 * a method we want to lookup.
 *
 * If there was a decoding error, we return FALSE and set @error
 */
static gboolean
decode_method_ref_with_target (MonoAotModule *module, MethodRef *ref, MonoMethod *target, guint8 *buf, guint8 **endbuf, MonoError *error)
{
        guint32 image_index, value;
        MonoImage *image = NULL;
        guint8 *p = buf;

        memset (ref, 0, sizeof (MethodRef));
        error_init (error);

        value = decode_value (p, &p);
        image_index = value >> 24;

        if (image_index == MONO_AOT_METHODREF_NO_AOT_TRAMPOLINE) {
                ref->no_aot_trampoline = TRUE;
                value = decode_value (p, &p);
                image_index = value >> 24;
        }

        if (image_index < MONO_AOT_METHODREF_MIN || image_index == MONO_AOT_METHODREF_METHODSPEC || image_index == MONO_AOT_METHODREF_GINST) {
                if (target && target->wrapper_type) {
                        return FALSE;
                }
        }

        if (image_index == MONO_AOT_METHODREF_WRAPPER) {
                WrapperInfo *info;
                guint32 wrapper_type;

                wrapper_type = decode_value (p, &p);

                if (target && target->wrapper_type != wrapper_type)
                        return FALSE;

                /* Doesn't matter */
                image = mono_defaults.corlib;

                switch (wrapper_type) {
#ifndef DISABLE_REMOTING
                case MONO_WRAPPER_REMOTING_INVOKE_WITH_CHECK: {
                        MonoMethod *m = decode_resolve_method_ref (module, p, &p, error);
                        if (!m)
                                return FALSE;
                        mono_class_init (m->klass);
                        if (mono_aot_only)
                                ref->method = m;
                        else {
                                ref->method = mono_marshal_get_remoting_invoke_with_check (m, error);
                                return_val_if_nok (error, FALSE);
                        }
                        break;
                }
                case MONO_WRAPPER_PROXY_ISINST: {
                        MonoClass *klass = decode_klass_ref (module, p, &p, error);
                        if (!klass)
                                return FALSE;
                        ref->method = mono_marshal_get_proxy_cancast (klass);
                        break;
                }
                case MONO_WRAPPER_LDFLD:
                case MONO_WRAPPER_LDFLDA:
                case MONO_WRAPPER_STFLD: {
                        MonoClass *klass = decode_klass_ref (module, p, &p, error);
                        if (!klass)
                                return FALSE;
                        MonoType *type = m_class_get_byval_arg (klass);
                        if (wrapper_type == MONO_WRAPPER_LDFLD)
                                ref->method = mono_marshal_get_ldfld_wrapper (type);
                        else if (wrapper_type == MONO_WRAPPER_LDFLDA)
                                ref->method = mono_marshal_get_ldflda_wrapper (type);
                        else if (wrapper_type == MONO_WRAPPER_STFLD)
                                ref->method = mono_marshal_get_stfld_wrapper (type);
                        else {
                                mono_error_set_bad_image_by_name (error, module->aot_name, "Unknown AOT wrapper type %d", wrapper_type);
                                return FALSE;
                        }
                        break;
                }
#endif
                case MONO_WRAPPER_ALLOC: {
                        int atype = decode_value (p, &p);
                        ManagedAllocatorVariant variant =
                                mono_profiler_allocations_enabled () ?
                                MANAGED_ALLOCATOR_PROFILER : MANAGED_ALLOCATOR_REGULAR;

                        ref->method = mono_gc_get_managed_allocator_by_type (atype, variant);
                        /* Try to fallback to the slow path version */
                        if (!ref->method)
                                ref->method = mono_gc_get_managed_allocator_by_type (atype, MANAGED_ALLOCATOR_SLOW_PATH);
                        if (!ref->method) {
                                mono_error_set_bad_image_by_name (error, module->aot_name, "Error: No managed allocator, but we need one for AOT.\nAre you using non-standard GC options?\n");
                                return FALSE;
                        }
                        break;
                }
                case MONO_WRAPPER_WRITE_BARRIER: {
                        ref->method = mono_gc_get_write_barrier ();
                        break;
                }
                case MONO_WRAPPER_STELEMREF: {
                        int subtype = decode_value (p, &p);

                        if (subtype == WRAPPER_SUBTYPE_NONE) {
                                ref->method = mono_marshal_get_stelemref ();
                        } else if (subtype == WRAPPER_SUBTYPE_VIRTUAL_STELEMREF) {
                                int kind;
                                
                                kind = decode_value (p, &p);

                                /* Can't decode this */
                                if (!target)
                                        return FALSE;
                                if (target->wrapper_type == MONO_WRAPPER_STELEMREF) {
                                        info = mono_marshal_get_wrapper_info (target);

                                        g_assert (info);
                                        if (info->subtype == subtype && info->d.virtual_stelemref.kind == kind)
                                                ref->method = target;
                                        else
                                                return FALSE;
                                } else {
                                        return FALSE;
                                }
                        } else {
                                mono_error_set_bad_image_by_name (error, module->aot_name, "Invalid STELEMREF subtype %d", subtype);
                                return FALSE;
                        }
                        break;
                }
                case MONO_WRAPPER_SYNCHRONIZED: {
                        MonoMethod *m = decode_resolve_method_ref (module, p, &p, error);
                        if (!m)
                                return FALSE;
                        ref->method = mono_marshal_get_synchronized_wrapper (m);
                        break;
                }
                case MONO_WRAPPER_UNKNOWN: {
                        int subtype = decode_value (p, &p);

                        if (subtype == WRAPPER_SUBTYPE_PTR_TO_STRUCTURE || subtype == WRAPPER_SUBTYPE_STRUCTURE_TO_PTR) {
                                MonoClass *klass = decode_klass_ref (module, p, &p, error);
                                if (!klass)
                                        return FALSE;

                                if (!target)
                                        return FALSE;
                                if (klass != target->klass)
                                        return FALSE;

                                if (subtype == WRAPPER_SUBTYPE_PTR_TO_STRUCTURE) {
                                        if (strcmp (target->name, "PtrToStructure"))
                                                return FALSE;
                                        ref->method = mono_marshal_get_ptr_to_struct (klass);
                                } else {
                                        if (strcmp (target->name, "StructureToPtr"))
                                                return FALSE;
                                        ref->method = mono_marshal_get_struct_to_ptr (klass);
                                }
                        } else if (subtype == WRAPPER_SUBTYPE_SYNCHRONIZED_INNER) {
                                MonoMethod *m = decode_resolve_method_ref (module, p, &p, error);
                                if (!m)
                                        return FALSE;
                                ref->method = mono_marshal_get_synchronized_inner_wrapper (m);
                        } else if (subtype == WRAPPER_SUBTYPE_ARRAY_ACCESSOR) {
                                MonoMethod *m = decode_resolve_method_ref (module, p, &p, error);
                                if (!m)
                                        return FALSE;
                                ref->method = mono_marshal_get_array_accessor_wrapper (m);
                        } else if (subtype == WRAPPER_SUBTYPE_GSHAREDVT_IN) {
                                ref->method = mono_marshal_get_gsharedvt_in_wrapper ();
                        } else if (subtype == WRAPPER_SUBTYPE_GSHAREDVT_OUT) {
                                ref->method = mono_marshal_get_gsharedvt_out_wrapper ();
                        } else if (subtype == WRAPPER_SUBTYPE_INTERP_IN) {
                                MonoMethodSignature *sig = decode_signature (module, p, &p);
                                if (!sig)
                                        return FALSE;
                                ref->method = mini_get_interp_in_wrapper (sig);
                        } else if (subtype == WRAPPER_SUBTYPE_INTERP_LMF) {
                                ref->method = mini_get_interp_lmf_wrapper ();
                        } else if (subtype == WRAPPER_SUBTYPE_GSHAREDVT_IN_SIG) {
                                MonoMethodSignature *sig = decode_signature (module, p, &p);
                                if (!sig)
                                        return FALSE;
                                ref->method = mini_get_gsharedvt_in_sig_wrapper (sig);
                        } else if (subtype == WRAPPER_SUBTYPE_GSHAREDVT_OUT_SIG) {
                                MonoMethodSignature *sig = decode_signature (module, p, &p);
                                if (!sig)
                                        return FALSE;
                                ref->method = mini_get_gsharedvt_out_sig_wrapper (sig);
                        } else {
                                mono_error_set_bad_image_by_name (error, module->aot_name, "Invalid UNKNOWN wrapper subtype %d", subtype);
                                return FALSE;
                        }
                        break;
                }
                case MONO_WRAPPER_MANAGED_TO_MANAGED: {
                        int subtype = decode_value (p, &p);

                        if (subtype == WRAPPER_SUBTYPE_ELEMENT_ADDR) {
                                int rank = decode_value (p, &p);
                                int elem_size = decode_value (p, &p);

                                ref->method = mono_marshal_get_array_address (rank, elem_size);
                        } else if (subtype == WRAPPER_SUBTYPE_STRING_CTOR) {
                                MonoMethod *m;

                                m = decode_resolve_method_ref (module, p, &p, error);
                                if (!m)
                                        return FALSE;

                                if (!target)
                                        return FALSE;
                                g_assert (target->wrapper_type == MONO_WRAPPER_MANAGED_TO_MANAGED);

                                info = mono_marshal_get_wrapper_info (target);
                                if (info && info->subtype == subtype && info->d.string_ctor.method == m)
                                        ref->method = target;
                                else
                                        return FALSE;
                        }
                        break;
                }
                case MONO_WRAPPER_MANAGED_TO_NATIVE: {
                        MonoMethod *m;
                        int subtype = decode_value (p, &p);
                        char *name;

                        if (subtype == WRAPPER_SUBTYPE_ICALL_WRAPPER) {
                                if (!target)
                                        return FALSE;

                                name = (char*)p;
                                if (strcmp (target->name, name) != 0)
                                        return FALSE;
                                ref->method = target;
                        } else {
                                m = decode_resolve_method_ref (module, p, &p, error);
                                if (!m)
                                        return FALSE;

                                /* This should only happen when looking for an extra method */
                                if (!target)
                                        return FALSE;
                                if (mono_marshal_method_from_wrapper (target) == m)
                                        ref->method = target;
                                else
                                        return FALSE;
                        }
                        break;
                }
                case MONO_WRAPPER_CASTCLASS: {
                        int subtype = decode_value (p, &p);

                        if (subtype == WRAPPER_SUBTYPE_CASTCLASS_WITH_CACHE)
                                ref->method = mono_marshal_get_castclass_with_cache ();
                        else if (subtype == WRAPPER_SUBTYPE_ISINST_WITH_CACHE)
                                ref->method = mono_marshal_get_isinst_with_cache ();
                        else {
                                mono_error_set_bad_image_by_name (error, module->aot_name, "Invalid CASTCLASS wrapper subtype %d", subtype);
                                return FALSE;
                        }
                        break;
                }
                case MONO_WRAPPER_RUNTIME_INVOKE: {
                        int subtype = decode_value (p, &p);

                        if (!target)
                                return FALSE;

                        if (subtype == WRAPPER_SUBTYPE_RUNTIME_INVOKE_DYNAMIC) {
                                if (strcmp (target->name, "runtime_invoke_dynamic") != 0)
                                        return FALSE;
                                ref->method = target;
                        } else if (subtype == WRAPPER_SUBTYPE_RUNTIME_INVOKE_DIRECT) {
                                /* Direct wrapper */
                                MonoMethod *m = decode_resolve_method_ref (module, p, &p, error);
                                if (!m)
                                        return FALSE;
                                ref->method = mono_marshal_get_runtime_invoke (m, FALSE);
                        } else if (subtype == WRAPPER_SUBTYPE_RUNTIME_INVOKE_VIRTUAL) {
                                /* Virtual direct wrapper */
                                MonoMethod *m = decode_resolve_method_ref (module, p, &p, error);
                                if (!m)
                                        return FALSE;
                                ref->method = mono_marshal_get_runtime_invoke (m, TRUE);
                        } else {
                                MonoMethodSignature *sig;

                                sig = decode_signature_with_target (module, NULL, p, &p);
                                info = mono_marshal_get_wrapper_info (target);
                                g_assert (info);

                                if (info->subtype != subtype)
                                        return FALSE;
                                g_assert (info->d.runtime_invoke.sig);
                                if (mono_metadata_signature_equal (sig, info->d.runtime_invoke.sig))
                                        ref->method = target;
                                else
                                        return FALSE;
                        }
                        break;
                }
                case MONO_WRAPPER_DELEGATE_INVOKE:
                case MONO_WRAPPER_DELEGATE_BEGIN_INVOKE:
                case MONO_WRAPPER_DELEGATE_END_INVOKE: {
                        gboolean is_inflated = decode_value (p, &p);
                        WrapperSubtype subtype;

                        if (is_inflated) {
                                MonoClass *klass;
                                MonoMethod *invoke, *wrapper;

                                klass = decode_klass_ref (module, p, &p, error);
                                if (!klass)
                                        return FALSE;

                                switch (wrapper_type) {
                                case MONO_WRAPPER_DELEGATE_INVOKE:
                                        invoke = mono_get_delegate_invoke (klass);
                                        wrapper = mono_marshal_get_delegate_invoke (invoke, NULL);
                                        break;
                                case MONO_WRAPPER_DELEGATE_BEGIN_INVOKE:
                                        invoke = mono_get_delegate_begin_invoke (klass);
                                        wrapper = mono_marshal_get_delegate_begin_invoke (invoke);
                                        break;
                                case MONO_WRAPPER_DELEGATE_END_INVOKE:
                                        invoke = mono_get_delegate_end_invoke (klass);
                                        wrapper = mono_marshal_get_delegate_end_invoke (invoke);
                                        break;
                                default:
                                        g_assert_not_reached ();
                                        break;
                                }
                                if (target) {
                                        /*
                                         * Due to the way mini_get_shared_method_full () works, we could end up with
                                         * multiple copies of the same wrapper.
                                         */
                                        if (wrapper->klass != target->klass)
                                                return FALSE;
                                        ref->method = target;
                                } else {
                                        ref->method = wrapper;
                                }
                        } else {
                                /*
                                 * These wrappers are associated with a signature, not with a method.
                                 * Since we can't decode them into methods, they need a target method.
                                 */
                                if (!target)
                                        return FALSE;

                                if (wrapper_type == MONO_WRAPPER_DELEGATE_INVOKE) {
                                        subtype = (WrapperSubtype)decode_value (p, &p);
                                        info = mono_marshal_get_wrapper_info (target);
                                        if (info) {
                                                if (info->subtype != subtype)
                                                        return FALSE;
                                        } else {
                                                if (subtype != WRAPPER_SUBTYPE_NONE)
                                                        return FALSE;
                                        }
                                }
                                if (sig_matches_target (module, target, p, &p))
                                        ref->method = target;
                                else
                                        return FALSE;
                        }
                        break;
                }
                case MONO_WRAPPER_NATIVE_TO_MANAGED: {
                        MonoMethod *m;
                        MonoClass *klass;

                        m = decode_resolve_method_ref (module, p, &p, error);
                        if (!m)
                                return FALSE;
                        klass = decode_klass_ref (module, p, &p, error);
                        if (!klass)
                                return FALSE;
                        ref->method = mono_marshal_get_managed_wrapper (m, klass, 0, error);
                        if (!mono_error_ok (error))
                                return FALSE;
                        break;
                }
                default:
                        g_assert_not_reached ();
                }
        } else if (image_index == MONO_AOT_METHODREF_METHODSPEC) {
                image_index = decode_value (p, &p);
                ref->token = decode_value (p, &p);

                image = load_image (module, image_index, error);
                if (!image)
                        return FALSE;
        } else if (image_index == MONO_AOT_METHODREF_GINST) {
                MonoClass *klass;
                MonoGenericContext ctx;

                /* 
                 * These methods do not have a token which resolves them, so we 
                 * resolve them immediately.
                 */
                klass = decode_klass_ref (module, p, &p, error);
                if (!klass)
                        return FALSE;

                if (target && target->klass != klass)
                        return FALSE;

                image_index = decode_value (p, &p);
                ref->token = decode_value (p, &p);

                image = load_image (module, image_index, error);
                if (!image)
                        return FALSE;

                ref->method = mono_get_method_checked (image, ref->token, NULL, NULL, error);
                if (!ref->method)
                        return FALSE;


                memset (&ctx, 0, sizeof (ctx));

                if (FALSE && mono_class_is_ginst (klass)) {
                        ctx.class_inst = mono_class_get_generic_class (klass)->context.class_inst;
                        ctx.method_inst = NULL;
 
                        ref->method = mono_class_inflate_generic_method_full_checked (ref->method, klass, &ctx, error);
                        if (!ref->method)
                                return FALSE;
                }                       

                memset (&ctx, 0, sizeof (ctx));

                if (!decode_generic_context (module, &ctx, p, &p, error))
                        return FALSE;

                ref->method = mono_class_inflate_generic_method_full_checked (ref->method, klass, &ctx, error);
                if (!ref->method)
                        return FALSE;

        } else if (image_index == MONO_AOT_METHODREF_ARRAY) {
                MonoClass *klass;
                int method_type;

                klass = decode_klass_ref (module, p, &p, error);
                if (!klass)
                        return FALSE;
                method_type = decode_value (p, &p);
                switch (method_type) {
                case 0:
                        ref->method = mono_class_get_method_from_name_checked (klass, ".ctor", m_class_get_rank (klass), 0, error);
                        return_val_if_nok (error, FALSE);
                        break;
                case 1:
                        ref->method = mono_class_get_method_from_name_checked (klass, ".ctor", m_class_get_rank (klass) * 2, 0, error);
                        return_val_if_nok (error, FALSE);
                        break;
                case 2:
                        ref->method = mono_class_get_method_from_name_checked (klass, "Get", -1, 0, error);
                        return_val_if_nok (error, FALSE);
                        break;
                case 3:
                        ref->method = mono_class_get_method_from_name_checked (klass, "Address", -1, 0, error);
                        return_val_if_nok (error, FALSE);
                        break;
                case 4:
                        ref->method = mono_class_get_method_from_name_checked (klass, "Set", -1, 0, error);
                        return_val_if_nok (error, FALSE);
                        break;
                default:
                        mono_error_set_bad_image_by_name (error, module->aot_name, "Invalid METHODREF_ARRAY method type %d", method_type);
                        return FALSE;
                }
        } else {
                if (image_index == MONO_AOT_METHODREF_LARGE_IMAGE_INDEX) {
                        image_index = decode_value (p, &p);
                        value = decode_value (p, &p);
                }

                ref->token = MONO_TOKEN_METHOD_DEF | (value & 0xffffff);

                image = load_image (module, image_index, error);
                if (!image)
                        return FALSE;
        }

        *endbuf = p;

        ref->image = image;

        return TRUE;
}

static gboolean
decode_method_ref (MonoAotModule *module, MethodRef *ref, guint8 *buf, guint8 **endbuf, MonoError *error)
{
        return decode_method_ref_with_target (module, ref, NULL, buf, endbuf, error);
}

/*
 * decode_resolve_method_ref_with_target:
 *
 *   Similar to decode_method_ref, but resolve and return the method itself.
 */
static MonoMethod*
decode_resolve_method_ref_with_target (MonoAotModule *module, MonoMethod *target, guint8 *buf, guint8 **endbuf, MonoError *error)
{
        MethodRef ref;

        error_init (error);

        if (!decode_method_ref_with_target (module, &ref, target, buf, endbuf, error))
                return NULL;
        if (ref.method)
                return ref.method;
        if (!ref.image) {
                mono_error_set_bad_image_by_name (error, module->aot_name, "No image found for methodref with target");
                return NULL;
        }
        return mono_get_method_checked (ref.image, ref.token, NULL, NULL, error);
}

static MonoMethod*
decode_resolve_method_ref (MonoAotModule *module, guint8 *buf, guint8 **endbuf, MonoError *error)
{
        return decode_resolve_method_ref_with_target (module, NULL, buf, endbuf, error);
}

#ifdef ENABLE_AOT_CACHE

/* AOT CACHE */

/*
 * FIXME:
 * - Add options for controlling the cache size
 * - Handle full cache by deleting old assemblies lru style
 * - Maybe add a threshold after an assembly is AOT compiled
 * - Add options for enabling this for specific main assemblies
 */

/* The cache directory */
static char *cache_dir;

/* The number of assemblies AOTed in this run */
static int cache_count;

/* Whenever to AOT in-process */
static gboolean in_process;

static void
collect_assemblies (gpointer data, gpointer user_data)
{
        MonoAssembly *ass = data;
        GSList **l = user_data;

        *l = g_slist_prepend (*l, ass);
}

#define SHA1_DIGEST_LENGTH 20

/*
 * get_aot_config_hash:
 *
 *   Return a hash for all the version information an AOT module depends on.
 */
static G_GNUC_UNUSED char*
get_aot_config_hash (MonoAssembly *assembly)
{
        char *build_info;
        GSList *l, *assembly_list = NULL;
        GString *s;
        int i;
        guint8 digest [SHA1_DIGEST_LENGTH];
        char *digest_str;

        build_info = mono_get_runtime_build_info ();

        s = g_string_new (build_info);

        mono_assembly_foreach (collect_assemblies, &assembly_list);

        /*
         * The assembly list includes the current assembly as well, no need
         * to add it.
         */
        for (l = assembly_list; l; l = l->next) {
                MonoAssembly *ass = l->data;

                g_string_append (s, "_");
                g_string_append (s, ass->aname.name);
                g_string_append (s, "_");
                g_string_append (s, ass->image->guid);
        }

        for (i = 0; i < s->len; ++i) {
                if (!isalnum (s->str [i]) && s->str [i] != '-')
                        s->str [i] = '_';
        }

        mono_sha1_get_digest ((guint8*)s->str, s->len, digest);

        digest_str = g_malloc0 ((SHA1_DIGEST_LENGTH * 2) + 1);
        for (i = 0; i < SHA1_DIGEST_LENGTH; ++i)
                sprintf (digest_str + (i * 2), "%02x", digest [i]);

        mono_trace (G_LOG_LEVEL_MESSAGE, MONO_TRACE_AOT, "AOT: file dependencies: %s, hash %s", s->str, digest_str);

        g_string_free (s, TRUE);

        return digest_str;
}

static void
aot_cache_init (void)
{
        if (mono_aot_only)
                return;
        enable_aot_cache = TRUE;
        in_process = TRUE;
}

/*
 * aot_cache_load_module:
 *
 *   Load the AOT image corresponding to ASSEMBLY from the aot cache, AOTing it if neccessary.
 */
static MonoDl*
aot_cache_load_module (MonoAssembly *assembly, char **aot_name)
{
        MonoAotCacheConfig *config;
        GSList *l;
        char *fname, *tmp2, *aot_options, *failure_fname;
        const char *home;
        MonoDl *module;
        gboolean res;
        gint exit_status;
        char *hash;
        int pid;
        gboolean enabled;
        FILE *failure_file;

        *aot_name = NULL;

        if (image_is_dynamic (assembly->image))
                return NULL;

        /* Check in the list of assemblies enabled for aot caching */
        config = mono_get_aot_cache_config ();

        enabled = FALSE;
        if (config->apps) {
                MonoDomain *domain = mono_domain_get ();
                MonoAssembly *entry_assembly = domain->entry_assembly;

                // FIXME: This cannot be used for mscorlib during startup, since entry_assembly is not set yet
                for (l = config->apps; l; l = l->next) {
                        char *n = l->data;

                        if ((entry_assembly && !strcmp (entry_assembly->aname.name, n)) || (!entry_assembly && !strcmp (assembly->aname.name, n)))
                                break;
                }
                if (l)
                        enabled = TRUE;
        }

        if (!enabled) {
                for (l = config->assemblies; l; l = l->next) {
                        char *n = l->data;

                        if (!strcmp (assembly->aname.name, n))
                                break;
                }
                if (l)
                        enabled = TRUE;
        }
        if (!enabled)
                return NULL;

        if (!cache_dir) {
                home = g_get_home_dir ();
                if (!home)
                        return NULL;
                cache_dir = g_strdup_printf ("%s/Library/Caches/mono/aot-cache", home);
                if (!g_file_test (cache_dir, G_FILE_TEST_EXISTS|G_FILE_TEST_IS_DIR))
                        g_mkdir_with_parents (cache_dir, 0777);
        }

        /*
         * The same assembly can be used in multiple configurations, i.e. multiple
     * versions of the runtime, with multiple versions of dependent assemblies etc.
         * To handle this, we compute a version string containing all this information, hash it,
         * and use the hash as a filename suffix.
         */
        hash = get_aot_config_hash (assembly);

        tmp2 = g_strdup_printf ("%s-%s%s", assembly->image->assembly_name, hash, MONO_SOLIB_EXT);
        fname = g_build_filename (cache_dir, tmp2, NULL);
        *aot_name = fname;
        g_free (tmp2);

        mono_trace (G_LOG_LEVEL_INFO, MONO_TRACE_AOT, "AOT: loading from cache: '%s'.", fname);
        module = mono_dl_open (fname, MONO_DL_LAZY, NULL);

        if (module) {
                mono_trace (G_LOG_LEVEL_INFO, MONO_TRACE_AOT, "AOT: found in cache: '%s'.", fname);
                return module;
        }

        if (!strcmp (assembly->aname.name, "mscorlib") && !mscorlib_aot_loaded)
                /*
                 * Can't AOT this during startup, so we AOT it when called later from
                 * mono_aot_get_method ().
                 */
                return NULL;

        mono_trace (G_LOG_LEVEL_INFO, MONO_TRACE_AOT, "AOT: not found.");

        /* Only AOT one assembly per run to avoid slowing down execution too much */
        if (cache_count > 0)
                return NULL;
        cache_count ++;

        /* Check for previous failure */
        failure_fname = g_strdup_printf ("%s.failure", fname);
        failure_file = fopen (failure_fname, "r");
        if (failure_file) {
                mono_trace (G_LOG_LEVEL_MESSAGE, MONO_TRACE_AOT, "AOT: assembly '%s' previously failed to compile '%s' ('%s')... ", assembly->image->name, fname, failure_fname);
                g_free (failure_fname);
                return NULL;
        } else {
                g_free (failure_fname);
                fclose (failure_file);
        }

        mono_trace (G_LOG_LEVEL_MESSAGE, MONO_TRACE_AOT, "AOT: compiling assembly '%s', logfile: '%s.log'... ", assembly->image->name, fname);

        /*
         * We need to invoke the AOT compiler here. There are multiple approaches:
         * - spawn a new runtime process. This can be hard when running with mkbundle, and
         * its hard to make the new process load the same set of assemblies.
         * - doing it in-process. This exposes the current process to bugs/leaks/side effects of
         * the AOT compiler.
         * - fork a new process and do the work there.
         */
        if (in_process) {
                aot_options = g_strdup_printf ("outfile=%s,internal-logfile=%s.log%s%s", fname, fname, config->aot_options ? "," : "", config->aot_options ? config->aot_options : "");
                /* Maybe due this in another thread ? */
                res = mono_compile_assembly (assembly, mono_parse_default_optimizations (NULL), aot_options, NULL);
                if (res) {
                        mono_trace (G_LOG_LEVEL_MESSAGE, MONO_TRACE_AOT, "AOT: compilation failed.");
                        failure_fname = g_strdup_printf ("%s.failure", fname);
                        failure_file = fopen (failure_fname, "a+");
                        fclose (failure_file);
                        g_free (failure_fname);
                } else {
                        mono_trace (G_LOG_LEVEL_MESSAGE, MONO_TRACE_AOT, "AOT: compilation succeeded.");
                }
        } else {
                /*
                 * - Avoid waiting for the aot process to finish ?
                 *   (less overhead, but multiple processes could aot the same assembly at the same time)
                 */
                pid = fork ();
                if (pid == 0) {
                        FILE *logfile;
                        char *logfile_name;

                        /* Child */

                        logfile_name = g_strdup_printf ("%s/aot.log", cache_dir);
                        logfile = fopen (logfile_name, "a+");
                        g_free (logfile_name);

                        dup2 (fileno (logfile), 1);
                        dup2 (fileno (logfile), 2);

                        aot_options = g_strdup_printf ("outfile=%s", fname);
                        res = mono_compile_assembly (assembly, mono_parse_default_optimizations (NULL), aot_options, NULL);
                        if (!res) {
                                exit (1);
                        } else {
                                exit (0);
                        }
                } else {
                        /* Parent */
                        waitpid (pid, &exit_status, 0);
                        if (!WIFEXITED (exit_status) && (WEXITSTATUS (exit_status) == 0))
                                mono_trace (G_LOG_LEVEL_MESSAGE, MONO_TRACE_AOT, "AOT: failed.");
                        else
                                mono_trace (G_LOG_LEVEL_MESSAGE, MONO_TRACE_AOT, "AOT: succeeded.");
                }
        }

        module = mono_dl_open (fname, MONO_DL_LAZY, NULL);

        return module;
}

#else

static void
aot_cache_init (void)
{
}

static MonoDl*
aot_cache_load_module (MonoAssembly *assembly, char **aot_name)
{
        return NULL;
}

#endif

static void
find_symbol (MonoDl *module, gpointer *globals, const char *name, gpointer *value)
{
        if (globals) {
                int global_index;
                guint16 *table, *entry;
                guint16 table_size;
                guint32 hash;           
                char *symbol = (char*)name;

#ifdef TARGET_MACH
                symbol = g_strdup_printf ("_%s", name);
#endif

                /* The first entry points to the hash */
                table = (guint16 *)globals [0];
                globals ++;

                table_size = table [0];
                table ++;

                hash = mono_metadata_str_hash (symbol) % table_size;

                entry = &table [hash * 2];

                /* Search the hash for the index into the globals table */
                global_index = -1;
                while (entry [0] != 0) {
                        guint32 index = entry [0] - 1;
                        guint32 next = entry [1];

                        //printf ("X: %s %s\n", (char*)globals [index * 2], name);

                        if (!strcmp (globals [index * 2], symbol)) {
                                global_index = index;
                                break;
                        }

                        if (next != 0) {
                                entry = &table [next * 2];
                        } else {
                                break;
                        }
                }

                if (global_index != -1)
                        *value = globals [global_index * 2 + 1];
                else
                        *value = NULL;

                if (symbol != name)
                        g_free (symbol);
        } else {
                char *err = mono_dl_symbol (module, name, value);

                if (err)
                        g_free (err);
        }
}

static void
find_amodule_symbol (MonoAotModule *amodule, const char *name, gpointer *value)
{
        g_assert (!(amodule->info.flags & MONO_AOT_FILE_FLAG_LLVM_ONLY));

        find_symbol (amodule->sofile, amodule->globals, name, value);
}

void
mono_install_load_aot_data_hook (MonoLoadAotDataFunc load_func, MonoFreeAotDataFunc free_func, gpointer user_data)
{
        aot_data_load_func = load_func;
        aot_data_free_func = free_func;
        aot_data_func_user_data = user_data;
}

/* Load the separate aot data file for ASSEMBLY */
static guint8*
open_aot_data (MonoAssembly *assembly, MonoAotFileInfo *info, void **ret_handle)
{
        MonoFileMap *map;
        char *filename;
        guint8 *data;

        if (aot_data_load_func) {
                data = aot_data_load_func (assembly, info->datafile_size, aot_data_func_user_data, ret_handle);
                g_assert (data);
                return data;
        }

        /*
         * Use <assembly name>.aotdata as the default implementation if no callback is given
         */
        filename = g_strdup_printf ("%s.aotdata", assembly->image->name);
        map = mono_file_map_open (filename);
        g_assert (map);
        data = mono_file_map (info->datafile_size, MONO_MMAP_READ, mono_file_map_fd (map), 0, ret_handle);
        g_assert (data);

        return data;
}

static gboolean
check_usable (MonoAssembly *assembly, MonoAotFileInfo *info, guint8 *blob, char **out_msg)
{
        char *build_info;
        char *msg = NULL;
        gboolean usable = TRUE;
        gboolean full_aot, safepoints;
        guint32 excluded_cpu_optimizations;

        if (strcmp (assembly->image->guid, info->assembly_guid)) {
                msg = g_strdup_printf ("doesn't match assembly");
                usable = FALSE;
        }

        build_info = mono_get_runtime_build_info ();
        if (strlen ((const char *)info->runtime_version) > 0 && strcmp (info->runtime_version, build_info)) {
                msg = g_strdup_printf ("compiled against runtime version '%s' while this runtime has version '%s'", info->runtime_version, build_info);
                usable = FALSE;
        }
        g_free (build_info);

        full_aot = info->flags & MONO_AOT_FILE_FLAG_FULL_AOT;

        if (mono_aot_only && !full_aot) {
                msg = g_strdup_printf ("not compiled with --aot=full");
                usable = FALSE;
        }
        if (!mono_aot_only && full_aot) {
                msg = g_strdup_printf ("compiled with --aot=full");
                usable = FALSE;
        }
        if (mono_llvm_only && !(info->flags & MONO_AOT_FILE_FLAG_LLVM_ONLY)) {
                msg = g_strdup_printf ("not compiled with --aot=llvmonly");
                usable = FALSE;
        }
        if (mono_use_llvm && !(info->flags & MONO_AOT_FILE_FLAG_WITH_LLVM)) {
                /* Prefer LLVM JITted code when using --llvm */
                msg = g_strdup_printf ("not compiled with --aot=llvm");
                usable = FALSE;
        }
        if (mini_get_debug_options ()->mdb_optimizations && !(info->flags & MONO_AOT_FILE_FLAG_DEBUG) && !full_aot) {
                msg = g_strdup_printf ("not compiled for debugging");
                usable = FALSE;
        }

        mono_arch_cpu_optimizations (&excluded_cpu_optimizations);
        if (info->opts & excluded_cpu_optimizations) {
                msg = g_strdup_printf ("compiled with unsupported CPU optimizations");
                usable = FALSE;
        }

        if (!mono_aot_only && (info->simd_opts & ~mono_arch_cpu_enumerate_simd_versions ())) {
                msg = g_strdup_printf ("compiled with unsupported SIMD extensions");
                usable = FALSE;
        }

        if (info->gc_name_index != -1) {
                char *gc_name = (char*)&blob [info->gc_name_index];
                const char *current_gc_name = mono_gc_get_gc_name ();

                if (strcmp (current_gc_name, gc_name) != 0) {
                        msg = g_strdup_printf ("compiled against GC %s, while the current runtime uses GC %s.\n", gc_name, current_gc_name);
                        usable = FALSE;
                }
        }

        safepoints = info->flags & MONO_AOT_FILE_FLAG_SAFEPOINTS;

        if (!safepoints && mono_threads_are_safepoints_enabled ()) {
                msg = g_strdup_printf ("not compiled with safepoints");
                usable = FALSE;
        }

        *out_msg = msg;
        return usable;
}

/*
 * TABLE should point to a table of call instructions. Return the address called by the INDEXth entry.
 */
static void*
get_call_table_entry (void *table, int index)
{
#if defined(TARGET_ARM)
        guint32 *ins_addr;
        guint32 ins;
        gint32 offset;

        ins_addr = (guint32*)table + index;
        ins = *ins_addr;
        if ((ins >> ARMCOND_SHIFT) == ARMCOND_NV) {
                /* blx */
                offset = (((int)(((ins & 0xffffff) << 1) | ((ins >> 24) & 0x1))) << 7) >> 7;
                return (char*)ins_addr + (offset * 2) + 8 + 1;
        } else {
                offset = (((int)ins & 0xffffff) << 8) >> 8;
                return (char*)ins_addr + (offset * 4) + 8;
        }
#elif defined(TARGET_ARM64)
        return mono_arch_get_call_target ((guint8*)table + (index * 4) + 4);
#elif defined(TARGET_X86) || defined(TARGET_AMD64)
        /* The callee expects an ip which points after the call */
        return mono_arch_get_call_target ((guint8*)table + (index * 5) + 5);
#else
        g_assert_not_reached ();
        return NULL;
#endif
}

/*
 * init_amodule_got:
 *
 *   Initialize the shared got entries for AMODULE.
 */
static void
init_amodule_got (MonoAotModule *amodule)
{
        MonoJumpInfo *ji;
        MonoMemPool *mp;
        MonoJumpInfo *patches;
        guint32 got_offsets [128];
        ERROR_DECL (error);
        int i, npatches;

        /* These can't be initialized in load_aot_module () */
        if (amodule->shared_got [0] || amodule->got_initializing)
                return;

        amodule->got_initializing = TRUE;

        mp = mono_mempool_new ();
        npatches = amodule->info.nshared_got_entries;
        for (i = 0; i < npatches; ++i)
                got_offsets [i] = i;
        patches = decode_patches (amodule, mp, npatches, FALSE, got_offsets);
        g_assert (patches);
        for (i = 0; i < npatches; ++i) {
                ji = &patches [i];

                if (ji->type == MONO_PATCH_INFO_GC_CARD_TABLE_ADDR && !mono_gc_is_moving ()) {
                        amodule->shared_got [i] = NULL;
                } else if (ji->type == MONO_PATCH_INFO_GC_NURSERY_START && !mono_gc_is_moving ()) {
                        amodule->shared_got [i] = NULL;
                } else if (ji->type == MONO_PATCH_INFO_GC_NURSERY_BITS && !mono_gc_is_moving ()) {
                        amodule->shared_got [i] = NULL;
                } else if (ji->type == MONO_PATCH_INFO_IMAGE) {
                        amodule->shared_got [i] = amodule->assembly->image;
                } else if (ji->type == MONO_PATCH_INFO_MSCORLIB_GOT_ADDR) {
                        if (mono_defaults.corlib) {
                                MonoAotModule *mscorlib_amodule = (MonoAotModule *)mono_defaults.corlib->aot_module;

                                if (mscorlib_amodule)
                                        amodule->shared_got [i] = mscorlib_amodule->got;
                        } else {
                                amodule->shared_got [i] = amodule->got;
                        }
                } else if (ji->type == MONO_PATCH_INFO_AOT_MODULE) {
                        amodule->shared_got [i] = amodule;
                } else {
                        amodule->shared_got [i] = mono_resolve_patch_target (NULL, mono_get_root_domain (), NULL, ji, FALSE, error);
                        mono_error_assert_ok (error);
                }
        }

        if (amodule->got) {
                for (i = 0; i < npatches; ++i)
                        amodule->got [i] = amodule->shared_got [i];
        }
        if (amodule->llvm_got) {
                for (i = 0; i < npatches; ++i)
                        amodule->llvm_got [i] = amodule->shared_got [i];
        }

        mono_mempool_destroy (mp);
}

static void
load_aot_module (MonoAssembly *assembly, gpointer user_data)
{
        char *aot_name, *found_aot_name;
        MonoAotModule *amodule;
        MonoDl *sofile;
        gboolean usable = TRUE;
        char *version_symbol = NULL;
        char *msg = NULL;
        gpointer *globals = NULL;
        MonoAotFileInfo *info = NULL;
        int i, version;
        gboolean do_load_image = TRUE;
        int align_double, align_int64;
        guint8 *aot_data = NULL;

        if (mono_compile_aot)
                return;

        if (assembly->image->aot_module)
                /* 
                 * Already loaded. This can happen because the assembly loading code might invoke
                 * the assembly load hooks multiple times for the same assembly.
                 */
                return;

        if (image_is_dynamic (assembly->image) || mono_asmctx_get_kind (&assembly->context) == MONO_ASMCTX_REFONLY || mono_domain_get () != mono_get_root_domain ())
                return;

        mono_aot_lock ();

if (container_assm_name && !container_amodule) {
        char *local_ref = container_assm_name;
        container_assm_name = NULL;
        MonoImageOpenStatus status = MONO_IMAGE_OK;
        gchar *dll = g_strdup_printf (          "%s.dll", local_ref);
        MonoAssembly *assm = mono_assembly_open_a_lot (dll, &status, MONO_ASMCTX_DEFAULT);
        if (!assm) {
                gchar *exe = g_strdup_printf ("%s.exe", local_ref);
                assm = mono_assembly_open_a_lot (exe, &status, MONO_ASMCTX_DEFAULT);
        }
        g_assert (assm);
        load_aot_module (assm, NULL);
        container_amodule = assm->image->aot_module;
}

        if (static_aot_modules)
                info = (MonoAotFileInfo *)g_hash_table_lookup (static_aot_modules, assembly->aname.name);

        mono_aot_unlock ();

        sofile = NULL;

        found_aot_name = NULL;

        if (info) {
                /* Statically linked AOT module */
                aot_name = g_strdup_printf ("%s", assembly->aname.name);
                mono_trace (G_LOG_LEVEL_INFO, MONO_TRACE_AOT, "Found statically linked AOT module '%s'.", aot_name);
                if (!(info->flags & MONO_AOT_FILE_FLAG_LLVM_ONLY)) {
                        globals = (void **)info->globals;
                        g_assert (globals);
                }
                found_aot_name = g_strdup (aot_name);
        } else {
                char *err;

                if (enable_aot_cache)
                        sofile = aot_cache_load_module (assembly, &aot_name);
                if (!sofile) {
                        aot_name = g_strdup_printf ("%s%s", assembly->image->name, MONO_SOLIB_EXT);

                        sofile = mono_dl_open (aot_name, MONO_DL_LAZY, &err);
                        if (sofile) {
                                found_aot_name = g_strdup (aot_name);
                        } else {
                                mono_trace (G_LOG_LEVEL_INFO, MONO_TRACE_AOT, "AOT: image '%s' not found: %s", aot_name, err);
                                g_free (err);
                        }
                        g_free (aot_name);
                }
                if (!sofile) {
                        char *basename = g_path_get_basename (assembly->image->name);
                        aot_name = g_strdup_printf ("%s/mono/aot-cache/%s/%s%s", mono_assembly_getrootdir(), MONO_ARCHITECTURE, basename, MONO_SOLIB_EXT);
                        g_free (basename);
                        sofile = mono_dl_open (aot_name, MONO_DL_LAZY, &err);
                        if (!sofile) {
                                mono_trace (G_LOG_LEVEL_INFO, MONO_TRACE_AOT, "AOT: image '%s' not found: %s", aot_name, err);
                                g_free (err);
                        }
                        g_free (aot_name);
                }
                if (!sofile) {
                        GList *l;

                        for (l = mono_aot_paths; l; l = l->next) {
                                char *path = l->data;

                                char *basename = g_path_get_basename (assembly->image->name);
                                aot_name = g_strdup_printf ("%s/%s%s", path, basename, MONO_SOLIB_EXT);
                                sofile = mono_dl_open (aot_name, MONO_DL_LAZY, &err);
                                if (sofile) {
                                        found_aot_name = g_strdup (aot_name);
                                } else {
                                        mono_trace (G_LOG_LEVEL_INFO, MONO_TRACE_AOT, "AOT: image '%s' not found: %s", aot_name, err);
                                        g_free (err);
                                }
                                g_free (basename);
                                g_free (aot_name);
                                if (sofile)
                                        break;
                        }
                }
                if (!sofile) {
                        if (mono_aot_only && !mono_use_interpreter && assembly->image->tables [MONO_TABLE_METHOD].rows) {
                                aot_name = g_strdup_printf ("%s%s", assembly->image->name, MONO_SOLIB_EXT);
                                g_error ("Failed to load AOT module '%s' in aot-only mode.\n", aot_name);
                                g_free (aot_name);
                        }
                        return;
                }
        }

        if (!info) {
                find_symbol (sofile, globals, "mono_aot_version", (gpointer *) &version_symbol);
                find_symbol (sofile, globals, "mono_aot_file_info", (gpointer*)&info);
        }

        // Copy aotid to MonoImage
        memcpy(&assembly->image->aotid, info->aotid, 16);

        if (version_symbol) {
                /* Old file format */
                version = atoi (version_symbol);
        } else {
                g_assert (info);
                version = info->version;
        }

        if (version != MONO_AOT_FILE_VERSION) {
                msg = g_strdup_printf ("wrong file format version (expected %d got %d)", MONO_AOT_FILE_VERSION, version);
                usable = FALSE;
        } else {
                guint8 *blob;
                void *handle;

                if (info->flags & MONO_AOT_FILE_FLAG_SEPARATE_DATA) {
                        aot_data = open_aot_data (assembly, info, &handle);

                        blob = aot_data + info->table_offsets [MONO_AOT_TABLE_BLOB];
                } else {
                        blob = (guint8 *)info->blob;
                }

                usable = check_usable (assembly, info, blob, &msg);
        }

        if (!usable) {
                if (mono_aot_only && !mono_use_interpreter) {
                        g_error ("Failed to load AOT module '%s' while running in aot-only mode: %s.\n", found_aot_name, msg);
                } else {
                        mono_trace (G_LOG_LEVEL_INFO, MONO_TRACE_AOT, "AOT: module %s is unusable: %s.", found_aot_name, msg);
                }
                g_free (msg);
                g_free (found_aot_name);
                if (sofile)
                        mono_dl_close (sofile);
                assembly->image->aot_module = NULL;
                return;
        }

        /* Sanity check */
        align_double = MONO_ABI_ALIGNOF (double);
        align_int64 = MONO_ABI_ALIGNOF (gint64);
        g_assert (info->double_align == align_double);
        g_assert (info->long_align == align_int64);
        g_assert (info->generic_tramp_num == MONO_TRAMPOLINE_NUM);

        amodule = g_new0 (MonoAotModule, 1);
        amodule->aot_name = found_aot_name;
        amodule->assembly = assembly;

        memcpy (&amodule->info, info, sizeof (*info));

        amodule->got = (void **)amodule->info.jit_got;
        amodule->llvm_got = (void **)amodule->info.llvm_got;
        amodule->globals = globals;
        amodule->sofile = sofile;
        amodule->method_to_code = g_hash_table_new (mono_aligned_addr_hash, NULL);
        amodule->extra_methods = g_hash_table_new (NULL, NULL);
        amodule->shared_got = g_new0 (gpointer, info->nshared_got_entries);

        if (info->flags & MONO_AOT_FILE_FLAG_SEPARATE_DATA) {
                for (i = 0; i < MONO_AOT_TABLE_NUM; ++i)
                        amodule->tables [i] = aot_data + info->table_offsets [i];
        }

        mono_os_mutex_init_recursive (&amodule->mutex);

        /* Read image table */
        {
                guint32 table_len, i;
                char *table = NULL;

                if (info->flags & MONO_AOT_FILE_FLAG_SEPARATE_DATA)
                        table = amodule->tables [MONO_AOT_TABLE_IMAGE_TABLE];
                else
                        table = (char *)info->image_table;
                g_assert (table);

                table_len = *(guint32*)table;
                table += sizeof (guint32);
                amodule->image_table = g_new0 (MonoImage*, table_len);
                amodule->image_names = g_new0 (MonoAssemblyName, table_len);
                amodule->image_guids = g_new0 (char*, table_len);
                amodule->image_table_len = table_len;
                for (i = 0; i < table_len; ++i) {
                        MonoAssemblyName *aname = &(amodule->image_names [i]);

                        aname->name = g_strdup (table);
                        table += strlen (table) + 1;
                        amodule->image_guids [i] = g_strdup (table);
                        table += strlen (table) + 1;
                        if (table [0] != 0)
                                aname->culture = g_strdup (table);
                        table += strlen (table) + 1;
                        memcpy (aname->public_key_token, table, strlen (table) + 1);
                        table += strlen (table) + 1;                    

                        table = (char *)ALIGN_PTR_TO (table, 8);
                        aname->flags = *(guint32*)table;
                        table += 4;
                        aname->major = *(guint32*)table;
                        table += 4;
                        aname->minor = *(guint32*)table;
                        table += 4;
                        aname->build = *(guint32*)table;
                        table += 4;
                        aname->revision = *(guint32*)table;
                        table += 4;
                }
        }

        amodule->jit_code_start = (guint8 *)info->jit_code_start;
        amodule->jit_code_end = (guint8 *)info->jit_code_end;
        if (info->flags & MONO_AOT_FILE_FLAG_SEPARATE_DATA) {
                amodule->blob = amodule->tables [MONO_AOT_TABLE_BLOB];
                amodule->method_info_offsets = amodule->tables [MONO_AOT_TABLE_METHOD_INFO_OFFSETS];
                amodule->ex_info_offsets = amodule->tables [MONO_AOT_TABLE_EX_INFO_OFFSETS];
                amodule->class_info_offsets = amodule->tables [MONO_AOT_TABLE_CLASS_INFO_OFFSETS];
                amodule->class_name_table = amodule->tables [MONO_AOT_TABLE_CLASS_NAME];
                amodule->extra_method_table = amodule->tables [MONO_AOT_TABLE_EXTRA_METHOD_TABLE];
                amodule->extra_method_info_offsets = amodule->tables [MONO_AOT_TABLE_EXTRA_METHOD_INFO_OFFSETS];
                amodule->got_info_offsets = amodule->tables [MONO_AOT_TABLE_GOT_INFO_OFFSETS];
                amodule->llvm_got_info_offsets = amodule->tables [MONO_AOT_TABLE_LLVM_GOT_INFO_OFFSETS];
                amodule->weak_field_indexes = amodule->tables [MONO_AOT_TABLE_WEAK_FIELD_INDEXES];
        } else {
                amodule->blob = info->blob;
                amodule->method_info_offsets = (guint32 *)info->method_info_offsets;
                amodule->ex_info_offsets = (guint32 *)info->ex_info_offsets;
                amodule->class_info_offsets = (guint32 *)info->class_info_offsets;
                amodule->class_name_table = (guint16 *)info->class_name_table;
                amodule->extra_method_table = (guint32 *)info->extra_method_table;
                amodule->extra_method_info_offsets = (guint32 *)info->extra_method_info_offsets;
                amodule->got_info_offsets = info->got_info_offsets;
                amodule->llvm_got_info_offsets = info->llvm_got_info_offsets;
                amodule->weak_field_indexes = info->weak_field_indexes;
        }
        amodule->unbox_trampolines = (guint32 *)info->unbox_trampolines;
        amodule->unbox_trampolines_end = (guint32 *)info->unbox_trampolines_end;
        amodule->unbox_trampoline_addresses = (guint32 *)info->unbox_trampoline_addresses;
        amodule->unwind_info = (guint8 *)info->unwind_info;
        amodule->mem_begin = amodule->jit_code_start;
        amodule->mem_end = (guint8 *)info->mem_end;
        amodule->plt = (guint8 *)info->plt;
        amodule->plt_end = (guint8 *)info->plt_end;
        amodule->mono_eh_frame = (guint8 *)info->mono_eh_frame;
        amodule->trampolines [MONO_AOT_TRAMP_SPECIFIC] = (guint8 *)info->specific_trampolines;
        amodule->trampolines [MONO_AOT_TRAMP_STATIC_RGCTX] = (guint8 *)info->static_rgctx_trampolines;
        amodule->trampolines [MONO_AOT_TRAMP_IMT] = (guint8 *)info->imt_trampolines;
        amodule->trampolines [MONO_AOT_TRAMP_GSHAREDVT_ARG] = (guint8 *)info->gsharedvt_arg_trampolines;

        if (!strcmp (assembly->aname.name, "mscorlib"))
                mscorlib_aot_module = amodule;

        /* Compute method addresses */
        amodule->methods = (void **)g_malloc0 (amodule->info.nmethods * sizeof (gpointer));
        for (i = 0; i < amodule->info.nmethods; ++i) {
                void *addr = NULL;

                if (amodule->info.llvm_get_method) {
                        gpointer (*get_method) (int) = (gpointer (*)(int))amodule->info.llvm_get_method;

                        addr = get_method (i);
                }

                /* method_addresses () contains a table of branches, since the ios linker can update those correctly */
                if (!addr && amodule->info.method_addresses) {
                        addr = get_call_table_entry (amodule->info.method_addresses, i);
                        g_assert (addr);
                        if (addr == amodule->info.method_addresses)
                                addr = NULL;
                }
                if (addr == NULL)
                        amodule->methods [i] = GINT_TO_POINTER (-1);
                else
                        amodule->methods [i] = addr;
        }

        if (make_unreadable) {
#ifndef TARGET_WIN32
                guint8 *addr;
                guint8 *page_start, *page_end;
                int err, len;

                addr = amodule->mem_begin;
                g_assert (addr);
                len = amodule->mem_end - amodule->mem_begin;

                /* Round down in both directions to avoid modifying data which is not ours */
                page_start = (guint8 *) (((gssize) (addr)) & ~ (mono_pagesize () - 1)) + mono_pagesize ();
                page_end = (guint8 *) (((gssize) (addr + len)) & ~ (mono_pagesize () - 1));
                if (page_end > page_start) {
                        err = mono_mprotect (page_start, (page_end - page_start), MONO_MMAP_NONE);
                        g_assert (err == 0);
                }
#endif
        }

        /* Compute the boundaries of LLVM code */
        if (info->flags & MONO_AOT_FILE_FLAG_WITH_LLVM)
                compute_llvm_code_range (amodule, &amodule->llvm_code_start, &amodule->llvm_code_end);

        mono_aot_lock ();

        if (amodule->jit_code_start) {
                aot_code_low_addr = MIN (aot_code_low_addr, (gsize)amodule->jit_code_start);
                aot_code_high_addr = MAX (aot_code_high_addr, (gsize)amodule->jit_code_end);
        }
        if (amodule->llvm_code_start) {
                aot_code_low_addr = MIN (aot_code_low_addr, (gsize)amodule->llvm_code_start);
                aot_code_high_addr = MAX (aot_code_high_addr, (gsize)amodule->llvm_code_end);
        }

        g_hash_table_insert (aot_modules, assembly, amodule);
        mono_aot_unlock ();

        if (amodule->jit_code_start)
                mono_jit_info_add_aot_module (assembly->image, amodule->jit_code_start, amodule->jit_code_end);
        if (amodule->llvm_code_start)
                mono_jit_info_add_aot_module (assembly->image, amodule->llvm_code_start, amodule->llvm_code_end);

        assembly->image->aot_module = amodule;

        if (mono_aot_only && !mono_llvm_only) {
                char *code;
                find_amodule_symbol (amodule, "specific_trampolines_page", (gpointer *)&code);
                amodule->use_page_trampolines = code != NULL;
                /*g_warning ("using page trampolines: %d", amodule->use_page_trampolines);*/
        }

        /*
         * Register the plt region as a single trampoline so we can unwind from this code
         */
        mono_aot_tramp_info_register (
                mono_tramp_info_create (
                        NULL,
                        amodule->plt,
                        amodule->plt_end - amodule->plt,
                        NULL,
                        mono_unwind_get_cie_program ()
                        ),
                NULL
                );

        /*
         * Since we store methoddef and classdef tokens when referring to methods/classes in
         * referenced assemblies, we depend on the exact versions of the referenced assemblies.
         * MS calls this 'hard binding'. This means we have to load all referenced assemblies
         * non-lazily, since we can't handle out-of-date errors later.
         * The cached class info also depends on the exact assemblies.
         */
        if (do_load_image) {
                for (i = 0; i < amodule->image_table_len; ++i) {
                        ERROR_DECL (error);
                        load_image (amodule, i, error);
                        mono_error_cleanup (error); /* FIXME don't swallow the error */
                }
        }

        if (amodule->out_of_date) {
                mono_trace (G_LOG_LEVEL_INFO, MONO_TRACE_AOT, "AOT: Module %s is unusable because a dependency is out-of-date.", assembly->image->name);
                if (mono_aot_only)
                        g_error ("Failed to load AOT module '%s' while running in aot-only mode because a dependency cannot be found or it is out of date.\n", found_aot_name);
        } else {
                mono_trace (G_LOG_LEVEL_INFO, MONO_TRACE_AOT, "AOT: image '%s' found.", found_aot_name);
        }
}

/*
 * mono_aot_register_module:
 *
 * This should be called by embedding code to register normal AOT modules statically linked
 * into the executable. 
 *
 * \param aot_info the value of the 'mono_aot_module_<ASSEMBLY_NAME>_info' global symbol from the AOT module.
 */
void
mono_aot_register_module (gpointer *aot_info)
{
        gpointer *globals;
        char *aname;
        MonoAotFileInfo *info = (MonoAotFileInfo *)aot_info;

        g_assert (info->version == MONO_AOT_FILE_VERSION);

        if (!(info->flags & MONO_AOT_FILE_FLAG_LLVM_ONLY)) {
                globals = (void **)info->globals;
                g_assert (globals);
        }

        aname = (char *)info->assembly_name;

        /* This could be called before startup */
        if (aot_modules)
                mono_aot_lock ();

        if (!static_aot_modules)
                static_aot_modules = g_hash_table_new (g_str_hash, g_str_equal);

        g_hash_table_insert (static_aot_modules, aname, info);

        if (info->flags & MONO_AOT_FILE_FLAG_EAGER_LOAD) {
                g_assert (!container_assm_name);
                container_assm_name = aname;
        }

        if (aot_modules)
                mono_aot_unlock ();
}

void
mono_aot_init (void)
{
        mono_os_mutex_init_recursive (&aot_mutex);
        mono_os_mutex_init_recursive (&aot_page_mutex);
        aot_modules = g_hash_table_new (NULL, NULL);

        mono_install_assembly_load_hook (load_aot_module, NULL);
        mono_counters_register ("Async JIT info size", MONO_COUNTER_INT|MONO_COUNTER_JIT, &async_jit_info_size);

        char *lastaot = g_getenv ("MONO_LASTAOT");
        if (lastaot) {
                mono_last_aot_method = atoi (lastaot);
                g_free (lastaot);
        }
        aot_cache_init ();
}

void
mono_aot_cleanup (void)
{
        g_hash_table_destroy (aot_jit_icall_hash);
        g_hash_table_destroy (aot_modules);
}

static gboolean
decode_cached_class_info (MonoAotModule *module, MonoCachedClassInfo *info, guint8 *buf, guint8 **endbuf)
{
        ERROR_DECL (error);
        guint32 flags;
        MethodRef ref;
        gboolean res;

        info->vtable_size = decode_value (buf, &buf);
        if (info->vtable_size == -1)
                /* Generic type */
                return FALSE;
        flags = decode_value (buf, &buf);
        info->ghcimpl = (flags >> 0) & 0x1;
        info->has_finalize = (flags >> 1) & 0x1;
        info->has_cctor = (flags >> 2) & 0x1;
        info->has_nested_classes = (flags >> 3) & 0x1;
        info->blittable = (flags >> 4) & 0x1;
        info->has_references = (flags >> 5) & 0x1;
        info->has_static_refs = (flags >> 6) & 0x1;
        info->no_special_static_fields = (flags >> 7) & 0x1;
        info->is_generic_container = (flags >> 8) & 0x1;
        info->has_weak_fields = (flags >> 9) & 0x1;

        if (info->has_cctor) {
                res = decode_method_ref (module, &ref, buf, &buf, error);
                mono_error_assert_ok (error); /* FIXME don't swallow the error */
                if (!res)
                        return FALSE;
                info->cctor_token = ref.token;
        }
        if (info->has_finalize) {
                res = decode_method_ref (module, &ref, buf, &buf, error);
                mono_error_assert_ok (error); /* FIXME don't swallow the error */
                if (!res)
                        return FALSE;
                info->finalize_image = ref.image;
                info->finalize_token = ref.token;
        }

        info->instance_size = decode_value (buf, &buf);
        info->class_size = decode_value (buf, &buf);
        info->packing_size = decode_value (buf, &buf);
        info->min_align = decode_value (buf, &buf);

        *endbuf = buf;

        return TRUE;
}       

gpointer
mono_aot_get_method_from_vt_slot (MonoDomain *domain, MonoVTable *vtable, int slot, MonoError *error)
{
        int i;
        MonoClass *klass = vtable->klass;
        MonoAotModule *amodule = (MonoAotModule *)m_class_get_image (klass)->aot_module;
        guint8 *info, *p;
        MonoCachedClassInfo class_info;
        gboolean err;
        MethodRef ref;
        gboolean res;
        gpointer addr;
        ERROR_DECL_VALUE (inner_error);

        error_init (error);

        if (MONO_CLASS_IS_INTERFACE (klass) || m_class_get_rank (klass) || !amodule)
                return NULL;

        info = &amodule->blob [mono_aot_get_offset (amodule->class_info_offsets, mono_metadata_token_index (m_class_get_type_token (klass)) - 1)];
        p = info;

        err = decode_cached_class_info (amodule, &class_info, p, &p);
        if (!err)
                return NULL;

        for (i = 0; i < slot; ++i) {
                decode_method_ref (amodule, &ref, p, &p, &inner_error);
                mono_error_cleanup (&inner_error); /* FIXME don't swallow the error */
        }

        res = decode_method_ref (amodule, &ref, p, &p, &inner_error);
        mono_error_cleanup (&inner_error); /* FIXME don't swallow the error */
        if (!res)
                return NULL;
        if (ref.no_aot_trampoline)
                return NULL;

        if (mono_metadata_token_index (ref.token) == 0 || mono_metadata_token_table (ref.token) != MONO_TABLE_METHOD)
                return NULL;

        addr = mono_aot_get_method_from_token (domain, ref.image, ref.token, error);
        return addr;
}

gboolean
mono_aot_get_cached_class_info (MonoClass *klass, MonoCachedClassInfo *res)
{
        MonoAotModule *amodule = (MonoAotModule *)m_class_get_image (klass)->aot_module;
        guint8 *p;
        gboolean err;

        if (m_class_get_rank (klass) || !m_class_get_type_token (klass) || !amodule)
                return FALSE;

        p = (guint8*)&amodule->blob [mono_aot_get_offset (amodule->class_info_offsets, mono_metadata_token_index (m_class_get_type_token (klass)) - 1)];

        err = decode_cached_class_info (amodule, res, p, &p);
        if (!err)
                return FALSE;

        return TRUE;
}

/**
 * mono_aot_get_class_from_name:
 *
 *  Obtains a MonoClass with a given namespace and a given name which is located in IMAGE,
 * using a cache stored in the AOT file.
 * Stores the resulting class in *KLASS if found, stores NULL otherwise.
 *
 * Returns: TRUE if the klass was found/not found in the cache, FALSE if no aot file was 
 * found.
 */
gboolean
mono_aot_get_class_from_name (MonoImage *image, const char *name_space, const char *name, MonoClass **klass)
{
        MonoAotModule *amodule = (MonoAotModule *)image->aot_module;
        guint16 *table, *entry;
        guint16 table_size;
        guint32 hash;
        char full_name_buf [1024];
        char *full_name;
        const char *name2, *name_space2;
        MonoTableInfo  *t;
        guint32 cols [MONO_TYPEDEF_SIZE];
        GHashTable *nspace_table;

        if (!amodule || !amodule->class_name_table)
                return FALSE;

        amodule_lock (amodule);

        *klass = NULL;

        /* First look in the cache */
        if (!amodule->name_cache)
                amodule->name_cache = g_hash_table_new (g_str_hash, g_str_equal);
        nspace_table = (GHashTable *)g_hash_table_lookup (amodule->name_cache, name_space);
        if (nspace_table) {
                *klass = (MonoClass *)g_hash_table_lookup (nspace_table, name);
                if (*klass) {
                        amodule_unlock (amodule);
                        return TRUE;
                }
        }

        table_size = amodule->class_name_table [0];
        table = amodule->class_name_table + 1;

        if (name_space [0] == '\0')
                full_name = g_strdup_printf ("%s", name);
        else {
                if (strlen (name_space) + strlen (name) < 1000) {
                        sprintf (full_name_buf, "%s.%s", name_space, name);
                        full_name = full_name_buf;
                } else {
                        full_name = g_strdup_printf ("%s.%s", name_space, name);
                }
        }
        hash = mono_metadata_str_hash (full_name) % table_size;
        if (full_name != full_name_buf)
                g_free (full_name);

        entry = &table [hash * 2];

        if (entry [0] != 0) {
                t = &image->tables [MONO_TABLE_TYPEDEF];

                while (TRUE) {
                        guint32 index = entry [0];
                        guint32 next = entry [1];
                        guint32 token = mono_metadata_make_token (MONO_TABLE_TYPEDEF, index);

                        name_table_accesses ++;

                        mono_metadata_decode_row (t, index - 1, cols, MONO_TYPEDEF_SIZE);

                        name2 = mono_metadata_string_heap (image, cols [MONO_TYPEDEF_NAME]);
                        name_space2 = mono_metadata_string_heap (image, cols [MONO_TYPEDEF_NAMESPACE]);

                        if (!strcmp (name, name2) && !strcmp (name_space, name_space2)) {
                                ERROR_DECL (error);
                                amodule_unlock (amodule);
                                *klass = mono_class_get_checked (image, token, error);
                                if (!mono_error_ok (error))
                                        mono_error_cleanup (error); /* FIXME don't swallow the error */

                                /* Add to cache */
                                if (*klass) {
                                        amodule_lock (amodule);
                                        nspace_table = (GHashTable *)g_hash_table_lookup (amodule->name_cache, name_space);
                                        if (!nspace_table) {
                                                nspace_table = g_hash_table_new (g_str_hash, g_str_equal);
                                                g_hash_table_insert (amodule->name_cache, (char*)name_space2, nspace_table);
                                        }
                                        g_hash_table_insert (nspace_table, (char*)name2, *klass);
                                        amodule_unlock (amodule);
                                }
                                return TRUE;
                        }

                        if (next != 0) {
                                entry = &table [next * 2];
                        } else {
                                break;
                        }
                }
        }

        amodule_unlock (amodule);
        
        return TRUE;
}

GHashTable *
mono_aot_get_weak_field_indexes (MonoImage *image)
{
        MonoAotModule *amodule = (MonoAotModule *)image->aot_module;

        if (!amodule)
                return NULL;

        /* Initialize weak field indexes from the cached copy */
        guint32 *indexes = amodule->weak_field_indexes;
        int len  = indexes [0];
        GHashTable *indexes_hash = g_hash_table_new (NULL, NULL);
        for (int i = 0; i < len; ++i)
                g_hash_table_insert (indexes_hash, GUINT_TO_POINTER (indexes [i + 1]), GUINT_TO_POINTER (1));
        return indexes_hash;
}

/* Compute the boundaries of the LLVM code for AMODULE. */
static void
compute_llvm_code_range (MonoAotModule *amodule, guint8 **code_start, guint8 **code_end)
{
        guint8 *p;
        int version, fde_count;
        gint32 *table;

        if (amodule->info.llvm_get_method) {
                gpointer (*get_method) (int) = (gpointer (*)(int))amodule->info.llvm_get_method;

                *code_start = (guint8 *)get_method (-1);
                *code_end = (guint8 *)get_method (-2);

                g_assert (*code_end > *code_start);
                return;
        }

        g_assert (amodule->mono_eh_frame);

        p = amodule->mono_eh_frame;

        /* p points to data emitted by LLVM in DwarfException::EmitMonoEHFrame () */

        /* Header */
        version = *p;
        g_assert (version == 3);
        p ++;
        p ++;
        p = (guint8 *)ALIGN_PTR_TO (p, 4);

        fde_count = *(guint32*)p;
        p += 4;
        table = (gint32*)p;

        if (fde_count > 0) {
                *code_start = (guint8 *)amodule->methods [table [0]];
                *code_end = (guint8*)amodule->methods [table [(fde_count - 1) * 2]] + table [fde_count * 2];
        } else {
                *code_start = NULL;
                *code_end = NULL;
        }
}

static gboolean
is_llvm_code (MonoAotModule *amodule, guint8 *code)
{
        if ((guint8*)code >= amodule->llvm_code_start && (guint8*)code < amodule->llvm_code_end)
                return TRUE;
        else
                return FALSE;
}

static gboolean
is_thumb_code (MonoAotModule *amodule, guint8 *code)
{
        if (is_llvm_code (amodule, code) && (amodule->info.flags & MONO_AOT_FILE_FLAG_LLVM_THUMB))
                return TRUE;
        else
                return FALSE;
}

/*
 * decode_llvm_mono_eh_frame:
 *
 *   Decode the EH information emitted by our modified LLVM compiler and construct a
 * MonoJitInfo structure from it.
 * If JINFO is NULL, set OUT_LLVM_CLAUSES to the number of llvm level clauses.
 * This function is async safe when called in async context.
 */
static void
decode_llvm_mono_eh_frame (MonoAotModule *amodule, MonoDomain *domain, MonoJitInfo *jinfo,
                                                   guint8 *code, guint32 code_len,
                                                   MonoJitExceptionInfo *clauses, int num_clauses,
                                                   GSList **nesting,
                                                   int *this_reg, int *this_offset, int *out_llvm_clauses)
{
        guint8 *p, *code1, *code2;
        guint8 *fde, *cie, *code_start, *code_end;
        int version, fde_count;
        gint32 *table;
        int i, pos, left, right;
        MonoJitExceptionInfo *ei;
        guint32 fde_len, ei_len, nested_len, nindex;
        gpointer *type_info;
        MonoLLVMFDEInfo info;
        guint8 *unw_info;
        gboolean async;

        async = mono_thread_info_is_async_context ();

        if (!amodule->mono_eh_frame) {
                if (!jinfo) {
                        *out_llvm_clauses = num_clauses;
                        return;
                }
                memcpy (jinfo->clauses, clauses, num_clauses * sizeof (MonoJitExceptionInfo));
                return;
        }

        g_assert (amodule->mono_eh_frame && code);

        p = amodule->mono_eh_frame;

        /* p points to data emitted by LLVM in DwarfMonoException::EmitMonoEHFrame () */

        /* Header */
        version = *p;
        g_assert (version == 3);
        p ++;
        /* func_encoding = *p; */
        p ++;
        p = (guint8 *)ALIGN_PTR_TO (p, 4);

        fde_count = *(guint32*)p;
        p += 4;
        table = (gint32*)p;

        /* There is +1 entry in the table */
        cie = p + ((fde_count + 1) * 8);

        /* Binary search in the table to find the entry for code */
        left = 0;
        right = fde_count;
        while (TRUE) {
                pos = (left + right) / 2;

                /* The table contains method index/fde offset pairs */
                g_assert (table [(pos * 2)] != -1);
                code1 = (guint8 *)amodule->methods [table [(pos * 2)]];
                if (pos + 1 == fde_count) {
                        code2 = amodule->llvm_code_end;
                } else {
                        g_assert (table [(pos + 1) * 2] != -1);
                        code2 = (guint8 *)amodule->methods [table [(pos + 1) * 2]];
                }

                if (code < code1)
                        right = pos;
                else if (code >= code2)
                        left = pos + 1;
                else
                        break;
        }

        code_start = (guint8 *)amodule->methods [table [(pos * 2)]];
        if (pos + 1 == fde_count) {
                /* The +1 entry in the table contains the length of the last method */
                int len = table [(pos + 1) * 2];
                code_end = code_start + len;
        } else {
                code_end = (guint8 *)amodule->methods [table [(pos + 1) * 2]];
        }
        if (!code_len)
                code_len = code_end - code_start;

        g_assert (code >= code_start && code < code_end);

        if (is_thumb_code (amodule, code_start))
                /* Clear thumb flag */
                code_start = (guint8*)(((mgreg_t)code_start) & ~1);

        fde = amodule->mono_eh_frame + table [(pos * 2) + 1];   
        /* This won't overflow because there is +1 entry in the table */
        fde_len = table [(pos * 2) + 2 + 1] - table [(pos * 2) + 1];

        /* Compute lengths */
        mono_unwind_decode_llvm_mono_fde (fde, fde_len, cie, code_start, &info, NULL, NULL, NULL);

        if (async) {
                /* These are leaked, but the leak is bounded */
                ei = mono_domain_alloc0_lock_free (domain, info.ex_info_len * sizeof (MonoJitExceptionInfo));
                type_info = mono_domain_alloc0_lock_free (domain, info.ex_info_len * sizeof (gpointer));
                unw_info = mono_domain_alloc0_lock_free (domain, info.unw_info_len);
        } else {
                ei = (MonoJitExceptionInfo *)g_malloc0 (info.ex_info_len * sizeof (MonoJitExceptionInfo));
                type_info = (gpointer *)g_malloc0 (info.ex_info_len * sizeof (gpointer));
                unw_info = (guint8*)g_malloc0 (info.unw_info_len);
        }
        mono_unwind_decode_llvm_mono_fde (fde, fde_len, cie, code_start, &info, ei, type_info, unw_info);

        ei_len = info.ex_info_len;
        *this_reg = info.this_reg;
        *this_offset = info.this_offset;

        /*
         * LLVM might represent one IL region with multiple regions.
         */

        /* Count number of nested clauses */
        nested_len = 0;
        for (i = 0; i < ei_len; ++i) {
                /* This might be unaligned */
                gint32 cindex1 = read32 (type_info [i]);
                GSList *l;

                for (l = nesting [cindex1]; l; l = l->next)
                        nested_len ++;
        }

        if (!jinfo) {
                *out_llvm_clauses = ei_len + nested_len;
                return;
        }

        /* Store the unwind info addr/length in the MonoJitInfo structure itself so its async safe */
        MonoUnwindJitInfo *jinfo_unwind = mono_jit_info_get_unwind_info (jinfo);
        g_assert (jinfo_unwind);
        jinfo_unwind->unw_info = unw_info;
        jinfo_unwind->unw_info_len = info.unw_info_len;

        for (i = 0; i < ei_len; ++i) {
                /*
                 * clauses contains the original IL exception info saved by the AOT
                 * compiler, we have to combine that with the information produced by LLVM
                 */
                /* The type_info entries contain IL clause indexes */
                int clause_index = read32 (type_info [i]);
                MonoJitExceptionInfo *jei = &jinfo->clauses [i];
                MonoJitExceptionInfo *orig_jei = &clauses [clause_index];

                g_assert (clause_index < num_clauses);
                jei->flags = orig_jei->flags;
                jei->data.catch_class = orig_jei->data.catch_class;

                jei->try_start = ei [i].try_start;
                jei->try_end = ei [i].try_end;
                jei->handler_start = ei [i].handler_start;
                jei->clause_index = clause_index;

                if (is_thumb_code (amodule, (guint8 *)jei->try_start)) {
                        jei->try_start = (void*)((mgreg_t)jei->try_start & ~1);
                        jei->try_end = (void*)((mgreg_t)jei->try_end & ~1);
                        /* Make sure we transition to thumb when a handler starts */
                        jei->handler_start = (void*)((mgreg_t)jei->handler_start + 1);
                }
        }

        /* See exception_cb () in mini-llvm.c as to why this is needed */
        nindex = ei_len;
        for (i = 0; i < ei_len; ++i) {
                gint32 cindex1 = read32 (type_info [i]);
                GSList *l;

                for (l = nesting [cindex1]; l; l = l->next) {
                        gint32 nesting_cindex = GPOINTER_TO_INT (l->data);
                        MonoJitExceptionInfo *nesting_ei;
                        MonoJitExceptionInfo *nesting_clause = &clauses [nesting_cindex];

                        nesting_ei = &jinfo->clauses [nindex];
                        nindex ++;

                        memcpy (nesting_ei, &jinfo->clauses [i], sizeof (MonoJitExceptionInfo));
                        nesting_ei->flags = nesting_clause->flags;
                        nesting_ei->data.catch_class = nesting_clause->data.catch_class;
                        nesting_ei->clause_index = nesting_cindex;
                }
        }
        g_assert (nindex == ei_len + nested_len);
}

static gpointer
alloc0_jit_info_data (MonoDomain *domain, int size, gboolean async_context)
{
        gpointer res;

        if (async_context) {
                res = mono_domain_alloc0_lock_free (domain, size);
                mono_atomic_fetch_add_i32 (&async_jit_info_size, size);
        } else {
                res = mono_domain_alloc0 (domain, size);
        }
        return res;
}

/*
 * LOCKING: Acquires the domain lock.
 * In async context, this is async safe.
 */
static MonoJitInfo*
decode_exception_debug_info (MonoAotModule *amodule, MonoDomain *domain, 
                                                         MonoMethod *method, guint8* ex_info,
                                                         guint8 *code, guint32 code_len)
{
        ERROR_DECL (error);
        int i, buf_len, num_clauses, len;
        MonoJitInfo *jinfo;
        MonoJitInfoFlags flags = JIT_INFO_NONE;
        guint unwind_info, eflags;
        gboolean has_generic_jit_info, has_dwarf_unwind_info, has_clauses, has_seq_points, has_try_block_holes, has_arch_eh_jit_info;
        gboolean from_llvm, has_gc_map;
        guint8 *p;
        int try_holes_info_size, num_holes;
        int this_reg = 0, this_offset = 0;
        gboolean async;

        /* Load the method info from the AOT file */
        async = mono_thread_info_is_async_context ();

        p = ex_info;
        eflags = decode_value (p, &p);
        has_generic_jit_info = (eflags & 1) != 0;
        has_dwarf_unwind_info = (eflags & 2) != 0;
        has_clauses = (eflags & 4) != 0;
        has_seq_points = (eflags & 8) != 0;
        from_llvm = (eflags & 16) != 0;
        has_try_block_holes = (eflags & 32) != 0;
        has_gc_map = (eflags & 64) != 0;
        has_arch_eh_jit_info = (eflags & 128) != 0;

        if (has_dwarf_unwind_info) {
                unwind_info = decode_value (p, &p);
                g_assert (unwind_info < (1 << 30));
        } else {
                unwind_info = decode_value (p, &p);
        }
        if (has_generic_jit_info)
                flags = (MonoJitInfoFlags)(flags | JIT_INFO_HAS_GENERIC_JIT_INFO);

        if (has_try_block_holes) {
                num_holes = decode_value (p, &p);
                flags = (MonoJitInfoFlags)(flags | JIT_INFO_HAS_TRY_BLOCK_HOLES);
                try_holes_info_size = sizeof (MonoTryBlockHoleTableJitInfo) + num_holes * sizeof (MonoTryBlockHoleJitInfo);
        } else {
                num_holes = try_holes_info_size = 0;
        }

        if (has_arch_eh_jit_info) {
                flags = (MonoJitInfoFlags)(flags | JIT_INFO_HAS_ARCH_EH_INFO);
                /* Overwrite the original code_len which includes alignment padding */
                code_len = decode_value (p, &p);
        }

        /* Exception table */
        if (has_clauses)
                num_clauses = decode_value (p, &p);
        else
                num_clauses = 0;

        if (from_llvm) {
                MonoJitExceptionInfo *clauses;
                GSList **nesting;

                /*
                 * Part of the info is encoded by the AOT compiler, the rest is in the .eh_frame
                 * section.
                 */
                if (async) {
                        if (num_clauses < 16) {
                                clauses = g_newa (MonoJitExceptionInfo, num_clauses);
                                nesting = g_newa (GSList*, num_clauses);
                        } else {
                                clauses = alloc0_jit_info_data (domain, sizeof (MonoJitExceptionInfo) * num_clauses, TRUE);
                                nesting = alloc0_jit_info_data (domain, sizeof (GSList*) * num_clauses, TRUE);
                        }
                        memset (clauses, 0, sizeof (MonoJitExceptionInfo) * num_clauses);
                        memset (nesting, 0, sizeof (GSList*) * num_clauses);
                } else {
                        clauses = g_new0 (MonoJitExceptionInfo, num_clauses);
                        nesting = g_new0 (GSList*, num_clauses);
                }

                for (i = 0; i < num_clauses; ++i) {
                        MonoJitExceptionInfo *ei = &clauses [i];

                        ei->flags = decode_value (p, &p);

                        if (!(ei->flags == MONO_EXCEPTION_CLAUSE_FILTER || ei->flags == MONO_EXCEPTION_CLAUSE_FINALLY)) {
                                int len = decode_value (p, &p);

                                if (len > 0) {
                                        if (async) {
                                                p += len;
                                        } else {
                                                ei->data.catch_class = decode_klass_ref (amodule, p, &p, error);
                                                mono_error_cleanup (error); /* FIXME don't swallow the error */
                                        }
                                }
                        }

                        ei->clause_index = i;

                        ei->try_offset = decode_value (p, &p);
                        ei->try_len = decode_value (p, &p);
                        ei->handler_offset = decode_value (p, &p);
                        ei->handler_len = decode_value (p, &p);

                        /* Read the list of nesting clauses */
                        while (TRUE) {
                                int nesting_index = decode_value (p, &p);
                                if (nesting_index == -1)
                                        break;
                                // FIXME: async
                                g_assert (!async);
                                nesting [i] = g_slist_prepend (nesting [i], GINT_TO_POINTER (nesting_index));
                        }
                }

                flags |= JIT_INFO_HAS_UNWIND_INFO;

                int num_llvm_clauses;
                /* Get the length first */
                decode_llvm_mono_eh_frame (amodule, domain, NULL, code, code_len, clauses, num_clauses, nesting, &this_reg, &this_offset, &num_llvm_clauses);
                len = mono_jit_info_size (flags, num_llvm_clauses, num_holes);
                jinfo = (MonoJitInfo *)alloc0_jit_info_data (domain, len, async);
                mono_jit_info_init (jinfo, method, code, code_len, flags, num_llvm_clauses, num_holes);

                decode_llvm_mono_eh_frame (amodule, domain, jinfo, code, code_len, clauses, num_clauses, nesting, &this_reg, &this_offset, NULL);

                if (!async) {
                        g_free (clauses);
                        for (i = 0; i < num_clauses; ++i)
                                g_slist_free (nesting [i]);
                        g_free (nesting);
                }
                jinfo->from_llvm = 1;
        } else {
                len = mono_jit_info_size (flags, num_clauses, num_holes);
                jinfo = (MonoJitInfo *)alloc0_jit_info_data (domain, len, async);
                mono_jit_info_init (jinfo, method, code, code_len, flags, num_clauses, num_holes);

                for (i = 0; i < jinfo->num_clauses; ++i) {
                        MonoJitExceptionInfo *ei = &jinfo->clauses [i];

                        ei->flags = decode_value (p, &p);

#ifdef MONO_CONTEXT_SET_LLVM_EXC_REG
                        /* Not used for catch clauses */
                        if (ei->flags != MONO_EXCEPTION_CLAUSE_NONE)
                                ei->exvar_offset = decode_value (p, &p);
#else
                        ei->exvar_offset = decode_value (p, &p);
#endif

                        if (ei->flags == MONO_EXCEPTION_CLAUSE_FILTER || ei->flags == MONO_EXCEPTION_CLAUSE_FINALLY)
                                ei->data.filter = code + decode_value (p, &p);
                        else {
                                int len = decode_value (p, &p);

                                if (len > 0) {
                                        if (async) {
                                                p += len;
                                        } else {
                                                ei->data.catch_class = decode_klass_ref (amodule, p, &p, error);
                                                mono_error_cleanup (error); /* FIXME don't swallow the error */
                                        }
                                }
                        }

                        ei->try_start = code + decode_value (p, &p);
                        ei->try_end = code + decode_value (p, &p);
                        ei->handler_start = code + decode_value (p, &p);
                }

                jinfo->unwind_info = unwind_info;
                jinfo->domain_neutral = 0;
                jinfo->from_aot = 1;
        }

        if (has_try_block_holes) {
                MonoTryBlockHoleTableJitInfo *table;

                g_assert (jinfo->has_try_block_holes);

                table = mono_jit_info_get_try_block_hole_table_info (jinfo);
                g_assert (table);

                table->num_holes = (guint16)num_holes;
                for (i = 0; i < num_holes; ++i) {
                        MonoTryBlockHoleJitInfo *hole = &table->holes [i];
                        hole->clause = decode_value (p, &p);
                        hole->length = decode_value (p, &p);
                        hole->offset = decode_value (p, &p);
                }
        }

        if (has_arch_eh_jit_info) {
                MonoArchEHJitInfo *eh_info;

                g_assert (jinfo->has_arch_eh_info);

                eh_info = mono_jit_info_get_arch_eh_info (jinfo);
                eh_info->stack_size = decode_value (p, &p);
                eh_info->epilog_size = decode_value (p, &p);
        }

        if (async) {
                /* The rest is not needed in async mode */
                jinfo->async = TRUE;
                jinfo->d.aot_info = amodule;
                // FIXME: Cache
                return jinfo;
        }

        if (has_generic_jit_info) {
                MonoGenericJitInfo *gi;
                int len;

                g_assert (jinfo->has_generic_jit_info);

                gi = mono_jit_info_get_generic_jit_info (jinfo);
                g_assert (gi);

                gi->nlocs = decode_value (p, &p);
                if (gi->nlocs) {
                        gi->locations = (MonoDwarfLocListEntry *)alloc0_jit_info_data (domain, gi->nlocs * sizeof (MonoDwarfLocListEntry), async);
                        for (i = 0; i < gi->nlocs; ++i) {
                                MonoDwarfLocListEntry *entry = &gi->locations [i];

                                entry->is_reg = decode_value (p, &p);
                                entry->reg = decode_value (p, &p);
                                if (!entry->is_reg)
                                        entry->offset = decode_value (p, &p);
                                if (i > 0)
                                        entry->from = decode_value (p, &p);
                                entry->to = decode_value (p, &p);
                        }
                        gi->has_this = 1;
                } else {
                        if (from_llvm) {
                                gi->has_this = this_reg != -1;
                                gi->this_reg = this_reg;
                                gi->this_offset = this_offset;
                        } else {
                                gi->has_this = decode_value (p, &p);
                                gi->this_reg = decode_value (p, &p);
                                gi->this_offset = decode_value (p, &p);
                        }
                }

                len = decode_value (p, &p);
                if (async) {
                        p += len;
                } else {
                        jinfo->d.method = decode_resolve_method_ref (amodule, p, &p, error);
                        mono_error_cleanup (error); /* FIXME don't swallow the error */
                }

                gi->generic_sharing_context = alloc0_jit_info_data (domain, sizeof (MonoGenericSharingContext), async);
                if (decode_value (p, &p)) {
                        /* gsharedvt */
                        MonoGenericSharingContext *gsctx = gi->generic_sharing_context;

                        gsctx->is_gsharedvt = TRUE;
                }
        }

        if (method && has_seq_points) {
                MonoSeqPointInfo *seq_points;

                p += mono_seq_point_info_read (&seq_points, p, FALSE);

                mono_domain_lock (domain);
                /* This could be set already since this function can be called more than once for the same method */
                if (!g_hash_table_lookup (domain_jit_info (domain)->seq_points, method))
                        g_hash_table_insert (domain_jit_info (domain)->seq_points, method, seq_points);
                else
                        mono_seq_point_info_free (seq_points);
                mono_domain_unlock (domain);
        }

        /* Load debug info */
        buf_len = decode_value (p, &p);
        if (!async)
                mono_debug_add_aot_method (domain, method, code, p, buf_len);
        p += buf_len;

        if (has_gc_map) {
                int map_size = decode_value (p, &p);
                /* The GC map requires 4 bytes of alignment */
                while ((guint64)(gsize)p % 4)
                        p ++;           
                jinfo->gc_info = p;
                p += map_size;
        }

        if (amodule != m_class_get_image (jinfo->d.method->klass)->aot_module) {
                mono_aot_lock ();
                if (!ji_to_amodule)
                        ji_to_amodule = g_hash_table_new (NULL, NULL);
                g_hash_table_insert (ji_to_amodule, jinfo, amodule);
                mono_aot_unlock ();             
        }

        return jinfo;
}

static gboolean
amodule_contains_code_addr (MonoAotModule *amodule, guint8 *code)
{
        return (code >= amodule->jit_code_start && code <= amodule->jit_code_end) ||
                (code >= amodule->llvm_code_start && code <= amodule->llvm_code_end);
}

/*
 * mono_aot_get_unwind_info:
 *
 *   Return a pointer to the DWARF unwind info belonging to JI.
 */
guint8*
mono_aot_get_unwind_info (MonoJitInfo *ji, guint32 *unwind_info_len)
{
        MonoAotModule *amodule;
        guint8 *p;
        guint8 *code = (guint8 *)ji->code_start;

        if (ji->async)
                amodule = (MonoAotModule *)ji->d.aot_info;
        else
                amodule = (MonoAotModule *)m_class_get_image (jinfo_get_method (ji)->klass)->aot_module;
        g_assert (amodule);
        g_assert (ji->from_aot);

        if (!amodule_contains_code_addr (amodule, code)) {
                /* ji belongs to a different aot module than amodule */
                mono_aot_lock ();
                g_assert (ji_to_amodule);
                amodule = (MonoAotModule *)g_hash_table_lookup (ji_to_amodule, ji);
                g_assert (amodule);
                g_assert (amodule_contains_code_addr (amodule, code));
                mono_aot_unlock ();
        }

        p = amodule->unwind_info + ji->unwind_info;
        *unwind_info_len = decode_value (p, &p);
        return p;
}

static void
msort_method_addresses_internal (gpointer *array, int *indexes, int lo, int hi, gpointer *scratch, int *scratch_indexes)
{
        int mid = (lo + hi) / 2;
        int i, t_lo, t_hi;

        if (lo >= hi)
                return;

        if (hi - lo < 32) {
                for (i = lo; i < hi; ++i)
                        if (array [i] > array [i + 1])
                                break;
                if (i == hi)
                        /* Already sorted */
                        return;
        }

        msort_method_addresses_internal (array, indexes, lo, mid, scratch, scratch_indexes);
        msort_method_addresses_internal (array, indexes, mid + 1, hi, scratch, scratch_indexes);

        if (array [mid] < array [mid + 1])
                return;

        /* Merge */
        t_lo = lo;
        t_hi = mid + 1;
        for (i = lo; i <= hi; i ++) {
                if (t_lo <= mid && ((t_hi > hi) || array [t_lo] < array [t_hi])) {
                        scratch [i] = array [t_lo];
                        scratch_indexes [i] = indexes [t_lo];
                        t_lo ++;
                } else {
                        scratch [i] = array [t_hi];
                        scratch_indexes [i] = indexes [t_hi];
                        t_hi ++;
                }
        }
        for (i = lo; i <= hi; ++i) {
                array [i] = scratch [i];
                indexes [i] = scratch_indexes [i];
        }
}

static void
msort_method_addresses (gpointer *array, int *indexes, int len)
{
        gpointer *scratch;
        int *scratch_indexes;

        scratch = g_new (gpointer, len);
        scratch_indexes = g_new (int, len);
        msort_method_addresses_internal (array, indexes, 0, len - 1, scratch, scratch_indexes);
        g_free (scratch);
        g_free (scratch_indexes);
}

/*
 * mono_aot_find_jit_info:
 *
 *   In async context, the resulting MonoJitInfo will not have its method field set, and it will not be added
 * to the jit info tables.
 * FIXME: Large sizes in the lock free allocator
 */
MonoJitInfo *
mono_aot_find_jit_info (MonoDomain *domain, MonoImage *image, gpointer addr)
{
        ERROR_DECL (error);
        int pos, left, right, code_len;
        int method_index, table_len;
        guint32 token;
        MonoAotModule *amodule = (MonoAotModule *)image->aot_module;
        MonoMethod *method = NULL;
        MonoJitInfo *jinfo;
        guint8 *code, *ex_info, *p;
        guint32 *table;
        int nmethods;
        gpointer *methods;
        guint8 *code1, *code2;
        int methods_len, i;
        gboolean async;

        if (!amodule)
                return NULL;

        nmethods = amodule->info.nmethods;

        if (domain != mono_get_root_domain ())
                /* FIXME: */
                return NULL;

        if (!amodule_contains_code_addr (amodule, (guint8 *)addr))
                return NULL;

        async = mono_thread_info_is_async_context ();

        /* Compute a sorted table mapping code to method indexes. */
        if (!amodule->sorted_methods) {
                // FIXME: async
                gpointer *methods = g_new0 (gpointer, nmethods);
                int *method_indexes = g_new0 (int, nmethods);
                int methods_len = 0;

                for (i = 0; i < nmethods; ++i) {
                        /* Skip the -1 entries to speed up sorting */
                        if (amodule->methods [i] == GINT_TO_POINTER (-1))
                                continue;
                        methods [methods_len] = amodule->methods [i];
                        method_indexes [methods_len] = i;
                        methods_len ++;
                }
                /* Use a merge sort as this is mostly sorted */
                msort_method_addresses (methods, method_indexes, methods_len);
                for (i = 0; i < methods_len -1; ++i)
                        g_assert (methods [i] <= methods [i + 1]);
                amodule->sorted_methods_len = methods_len;
                if (mono_atomic_cas_ptr ((gpointer*)&amodule->sorted_methods, methods, NULL) != NULL)
                        /* Somebody got in before us */
                        g_free (methods);
                if (mono_atomic_cas_ptr ((gpointer*)&amodule->sorted_method_indexes, method_indexes, NULL) != NULL)
                        /* Somebody got in before us */
                        g_free (method_indexes);
        }

        /* Binary search in the sorted_methods table */
        methods = amodule->sorted_methods;
        methods_len = amodule->sorted_methods_len;
        code = (guint8 *)addr;
        left = 0;
        right = methods_len;
        while (TRUE) {
                pos = (left + right) / 2;

                code1 = (guint8 *)methods [pos];
                if (pos + 1 == methods_len) {
                        if (code1 >= amodule->jit_code_start && code1 < amodule->jit_code_end)
                                code2 = amodule->jit_code_end;
                        else
                                code2 = amodule->llvm_code_end;
                } else {
                        code2 = (guint8 *)methods [pos + 1];
                }

                if (code < code1)
                        right = pos;
                else if (code >= code2)
                        left = pos + 1;
                else
                        break;
        }

        g_assert (addr >= methods [pos]);
        if (pos + 1 < methods_len)
                g_assert (addr < methods [pos + 1]);
        method_index = amodule->sorted_method_indexes [pos];

        /* In async mode, jinfo is not added to the normal jit info table, so have to cache it ourselves */
        if (async) {
                JitInfoMap *table = amodule->async_jit_info_table;
                int len;

                if (table) {
                        len = table [0].method_index;
                        for (i = 1; i < len; ++i) {
                                if (table [i].method_index == method_index)
                                        return table [i].jinfo;
                        }
                }
        }

        code = (guint8 *)amodule->methods [method_index];
        ex_info = &amodule->blob [mono_aot_get_offset (amodule->ex_info_offsets, method_index)];

        if (pos == methods_len - 1) {
                if (code >= amodule->jit_code_start && code < amodule->jit_code_end)
                        code_len = amodule->jit_code_end - code;
                else
                        code_len = amodule->llvm_code_end - code;
        } else {
                code_len = (guint8*)methods [pos + 1] - (guint8*)methods [pos];
        }

        g_assert ((guint8*)code <= (guint8*)addr && (guint8*)addr < (guint8*)code + code_len);

        /* Might be a wrapper/extra method */
        if (!async) {
                if (amodule->extra_methods) {
                        amodule_lock (amodule);
                        method = (MonoMethod *)g_hash_table_lookup (amodule->extra_methods, GUINT_TO_POINTER (method_index));
                        amodule_unlock (amodule);
                } else {
                        method = NULL;
                }

                if (!method) {
                        if (method_index >= image->tables [MONO_TABLE_METHOD].rows) {
                                /*
                                 * This is hit for extra methods which are called directly, so they are
                                 * not in amodule->extra_methods.
                                 */
                                table_len = amodule->extra_method_info_offsets [0];
                                table = amodule->extra_method_info_offsets + 1;
                                left = 0;
                                right = table_len;
                                pos = 0;

                                /* Binary search */
                                while (TRUE) {
                                        pos = ((left + right) / 2);

                                        g_assert (pos < table_len);

                                        if (table [pos * 2] < method_index)
                                                left = pos + 1;
                                        else if (table [pos * 2] > method_index)
                                                right = pos;
                                        else
                                                break;
                                }

                                p = amodule->blob + table [(pos * 2) + 1];
                                method = decode_resolve_method_ref (amodule, p, &p, error);
                                mono_error_cleanup (error); /* FIXME don't swallow the error */
                                if (!method)
                                        /* Happens when a random address is passed in which matches a not-yey called wrapper encoded using its name */
                                        return NULL;
                        } else {
                                ERROR_DECL (error);
                                token = mono_metadata_make_token (MONO_TABLE_METHOD, method_index + 1);
                                method = mono_get_method_checked (image, token, NULL, NULL, error);
                                if (!method)
                                        g_error ("AOT runtime could not load method due to %s", mono_error_get_message (error)); /* FIXME don't swallow the error */
                        }
                }
                /* FIXME: */
                g_assert (method);
        }

        //printf ("F: %s\n", mono_method_full_name (method, TRUE));

        jinfo = decode_exception_debug_info (amodule, domain, method, ex_info, code, code_len);

        g_assert ((guint8*)addr >= (guint8*)jinfo->code_start);

        /* Add it to the normal JitInfo tables */
        if (async) {
                JitInfoMap *old_table, *new_table;
                int len;

                /*
                 * Use a simple inmutable table with linear search to cache async jit info entries.
                 * This assumes that the number of entries is small.
                 */
                while (TRUE) {
                        /* Copy the table, adding a new entry at the end */
                        old_table = amodule->async_jit_info_table;
                        if (old_table)
                                len = old_table[0].method_index;
                        else
                                len = 1;
                        new_table = (JitInfoMap *)alloc0_jit_info_data (domain, (len + 1) * sizeof (JitInfoMap), async);
                        if (old_table)
                                memcpy (new_table, old_table, len * sizeof (JitInfoMap));
                        new_table [0].method_index = len + 1;
                        new_table [len].method_index = method_index;
                        new_table [len].jinfo = jinfo;
                        /* Publish it */
                        mono_memory_barrier ();
                        if (mono_atomic_cas_ptr ((volatile gpointer *)&amodule->async_jit_info_table, new_table, old_table) == old_table)
                                break;
                }
        } else {
                mono_jit_info_table_add (domain, jinfo);
        }

        if ((guint8*)addr >= (guint8*)jinfo->code_start + jinfo->code_size)
                /* addr is in the padding between methods, see the adjustment of code_size in decode_exception_debug_info () */
                return NULL;
        
        return jinfo;
}

static gboolean
decode_patch (MonoAotModule *aot_module, MonoMemPool *mp, MonoJumpInfo *ji, guint8 *buf, guint8 **endbuf)
{
        ERROR_DECL (error);
        guint8 *p = buf;
        gpointer *table;
        MonoImage *image;
        int i;

        switch (ji->type) {
        case MONO_PATCH_INFO_METHOD:
        case MONO_PATCH_INFO_METHOD_JUMP:
        case MONO_PATCH_INFO_ICALL_ADDR:
        case MONO_PATCH_INFO_ICALL_ADDR_CALL:
        case MONO_PATCH_INFO_METHOD_RGCTX:
        case MONO_PATCH_INFO_METHOD_CODE_SLOT: {
                MethodRef ref;
                gboolean res;

                res = decode_method_ref (aot_module, &ref, p, &p, error);
                mono_error_assert_ok (error); /* FIXME don't swallow the error */
                if (!res)
                        goto cleanup;

                if (!ref.method && !mono_aot_only && !ref.no_aot_trampoline && (ji->type == MONO_PATCH_INFO_METHOD) && (mono_metadata_token_table (ref.token) == MONO_TABLE_METHOD)) {
                        ji->data.target = mono_create_ftnptr (mono_domain_get (), mono_create_jit_trampoline_from_token (ref.image, ref.token));
                        ji->type = MONO_PATCH_INFO_ABS;
                }
                else {
                        if (ref.method) {
                                ji->data.method = ref.method;
                        }else {
                                ERROR_DECL (error);
                                ji->data.method = mono_get_method_checked (ref.image, ref.token, NULL, NULL, error);
                                if (!ji->data.method)
                                        g_error ("AOT Runtime could not load method due to %s", mono_error_get_message (error)); /* FIXME don't swallow the error */
                        }
                        g_assert (ji->data.method);
                        mono_class_init (ji->data.method->klass);
                }
                break;
        }
        case MONO_PATCH_INFO_INTERNAL_METHOD:
        case MONO_PATCH_INFO_JIT_ICALL_ADDR:
        case MONO_PATCH_INFO_JIT_ICALL_ADDR_NOCALL: {
                guint32 len = decode_value (p, &p);

                ji->data.name = (char*)p;
                p += len + 1;
                break;
        }
        case MONO_PATCH_INFO_METHODCONST:
                /* Shared */
                ji->data.method = decode_resolve_method_ref (aot_module, p, &p, error);
                mono_error_cleanup (error); /* FIXME don't swallow the error */
                if (!ji->data.method)
                        goto cleanup;
                break;
        case MONO_PATCH_INFO_VTABLE:
        case MONO_PATCH_INFO_CLASS:
        case MONO_PATCH_INFO_IID:
        case MONO_PATCH_INFO_ADJUSTED_IID:
                /* Shared */
                ji->data.klass = decode_klass_ref (aot_module, p, &p, error);
                mono_error_cleanup (error); /* FIXME don't swallow the error */
                if (!ji->data.klass)
                        goto cleanup;
                break;
        case MONO_PATCH_INFO_DELEGATE_TRAMPOLINE:
                ji->data.del_tramp = (MonoDelegateClassMethodPair *)mono_mempool_alloc0 (mp, sizeof (MonoDelegateClassMethodPair));
                ji->data.del_tramp->klass = decode_klass_ref (aot_module, p, &p, error);
                mono_error_cleanup (error); /* FIXME don't swallow the error */
                if (!ji->data.del_tramp->klass)
                        goto cleanup;
                if (decode_value (p, &p)) {
                        ji->data.del_tramp->method = decode_resolve_method_ref (aot_module, p, &p, error);
                        mono_error_cleanup (error); /* FIXME don't swallow the error */
                        if (!ji->data.del_tramp->method)
                                goto cleanup;
                }
                ji->data.del_tramp->is_virtual = decode_value (p, &p) ? TRUE : FALSE;
                break;
        case MONO_PATCH_INFO_IMAGE:
                ji->data.image = load_image (aot_module, decode_value (p, &p), error);
                mono_error_cleanup (error); /* FIXME don't swallow the error */
                if (!ji->data.image)
                        goto cleanup;
                break;
        case MONO_PATCH_INFO_FIELD:
        case MONO_PATCH_INFO_SFLDA:
                /* Shared */
                ji->data.field = decode_field_info (aot_module, p, &p);
                if (!ji->data.field)
                        goto cleanup;
                break;
        case MONO_PATCH_INFO_SWITCH:
                ji->data.table = (MonoJumpInfoBBTable *)mono_mempool_alloc0 (mp, sizeof (MonoJumpInfoBBTable));
                ji->data.table->table_size = decode_value (p, &p);
                table = (void **)mono_domain_alloc (mono_domain_get (), sizeof (gpointer) * ji->data.table->table_size);
                ji->data.table->table = (MonoBasicBlock**)table;
                for (i = 0; i < ji->data.table->table_size; i++)
                        table [i] = (gpointer)(gssize)decode_value (p, &p);
                break;
        case MONO_PATCH_INFO_R4: {
                guint32 val;
                
                ji->data.target = mono_domain_alloc0 (mono_domain_get (), sizeof (float));
                val = decode_value (p, &p);
                *(float*)ji->data.target = *(float*)&val;
                break;
        }
        case MONO_PATCH_INFO_R8: {
                guint32 val [2];
                guint64 v;

                ji->data.target = mono_domain_alloc0 (mono_domain_get (), sizeof (double));

                val [0] = decode_value (p, &p);
                val [1] = decode_value (p, &p);
                v = ((guint64)val [1] << 32) | ((guint64)val [0]);
                *(double*)ji->data.target = *(double*)&v;
                break;
        }
        case MONO_PATCH_INFO_LDSTR:
                image = load_image (aot_module, decode_value (p, &p), error);
                mono_error_cleanup (error); /* FIXME don't swallow the error */
                if (!image)
                        goto cleanup;
                ji->data.token = mono_jump_info_token_new (mp, image, MONO_TOKEN_STRING + decode_value (p, &p));
                break;
        case MONO_PATCH_INFO_RVA:
        case MONO_PATCH_INFO_DECLSEC:
        case MONO_PATCH_INFO_LDTOKEN:
        case MONO_PATCH_INFO_TYPE_FROM_HANDLE:
                /* Shared */
                image = load_image (aot_module, decode_value (p, &p), error);
                mono_error_cleanup (error); /* FIXME don't swallow the error */
                if (!image)
                        goto cleanup;
                ji->data.token = mono_jump_info_token_new (mp, image, decode_value (p, &p));

                ji->data.token->has_context = decode_value (p, &p);
                if (ji->data.token->has_context) {
                        gboolean res = decode_generic_context (aot_module, &ji->data.token->context, p, &p, error);
                        mono_error_cleanup (error); /* FIXME don't swallow the error */
                        if (!res)
                                goto cleanup;
                }
                break;
        case MONO_PATCH_INFO_EXC_NAME:
                ji->data.klass = decode_klass_ref (aot_module, p, &p, error);
                mono_error_cleanup (error); /* FIXME don't swallow the error */
                if (!ji->data.klass)
                        goto cleanup;
                ji->data.name = m_class_get_name (ji->data.klass);
                break;
        case MONO_PATCH_INFO_METHOD_REL:
                ji->data.offset = decode_value (p, &p);
                break;
        case MONO_PATCH_INFO_INTERRUPTION_REQUEST_FLAG:
        case MONO_PATCH_INFO_GC_CARD_TABLE_ADDR:
        case MONO_PATCH_INFO_GC_NURSERY_START:
        case MONO_PATCH_INFO_GC_NURSERY_BITS:
        case MONO_PATCH_INFO_PROFILER_ALLOCATION_COUNT:
        case MONO_PATCH_INFO_PROFILER_CLAUSE_COUNT:
                break;
        case MONO_PATCH_INFO_CASTCLASS_CACHE:
                ji->data.index = decode_value (p, &p);
                break;
        case MONO_PATCH_INFO_RGCTX_FETCH:
        case MONO_PATCH_INFO_RGCTX_SLOT_INDEX: {
                gboolean res;
                MonoJumpInfoRgctxEntry *entry;
                guint32 offset, val;
                guint8 *p2;

                offset = decode_value (p, &p);
                val = decode_value (p, &p);

                entry = (MonoJumpInfoRgctxEntry *)mono_mempool_alloc0 (mp, sizeof (MonoJumpInfoRgctxEntry));
                p2 = aot_module->blob + offset;
                entry->method = decode_resolve_method_ref (aot_module, p2, &p2, error);
                entry->in_mrgctx = ((val & 1) > 0) ? TRUE : FALSE;
                entry->info_type = (MonoRgctxInfoType)((val >> 1) & 0xff);
                entry->data = (MonoJumpInfo *)mono_mempool_alloc0 (mp, sizeof (MonoJumpInfo));
                entry->data->type = (MonoJumpInfoType)((val >> 9) & 0xff);
                mono_error_cleanup (error); /* FIXME don't swallow the error */
                
                res = decode_patch (aot_module, mp, entry->data, p, &p);
                if (!res)
                        goto cleanup;
                ji->data.rgctx_entry = entry;
                break;
        }
        case MONO_PATCH_INFO_SEQ_POINT_INFO:
        case MONO_PATCH_INFO_AOT_MODULE:
        case MONO_PATCH_INFO_MSCORLIB_GOT_ADDR:
                break;
        case MONO_PATCH_INFO_SIGNATURE:
        case MONO_PATCH_INFO_GSHAREDVT_IN_WRAPPER:
                ji->data.target = decode_signature (aot_module, p, &p);
                break;
        case MONO_PATCH_INFO_GSHAREDVT_CALL: {
                MonoJumpInfoGSharedVtCall *info = (MonoJumpInfoGSharedVtCall *)mono_mempool_alloc0 (mp, sizeof (MonoJumpInfoGSharedVtCall));
                info->sig = decode_signature (aot_module, p, &p);
                g_assert (info->sig);
                info->method = decode_resolve_method_ref (aot_module, p, &p, error);
                mono_error_assert_ok (error); /* FIXME don't swallow the error */

                ji->data.target = info;
                break;
        }
        case MONO_PATCH_INFO_GSHAREDVT_METHOD: {
                MonoGSharedVtMethodInfo *info = (MonoGSharedVtMethodInfo *)mono_mempool_alloc0 (mp, sizeof (MonoGSharedVtMethodInfo));
                int i;
                
                info->method = decode_resolve_method_ref (aot_module, p, &p, error);
                mono_error_assert_ok (error); /* FIXME don't swallow the error */

                info->num_entries = decode_value (p, &p);
                info->count_entries = info->num_entries;
                info->entries = (MonoRuntimeGenericContextInfoTemplate *)mono_mempool_alloc0 (mp, sizeof (MonoRuntimeGenericContextInfoTemplate) * info->num_entries);
                for (i = 0; i < info->num_entries; ++i) {
                        MonoRuntimeGenericContextInfoTemplate *template_ = &info->entries [i];

                        template_->info_type = (MonoRgctxInfoType)decode_value (p, &p);
                        switch (mini_rgctx_info_type_to_patch_info_type (template_->info_type)) {
                        case MONO_PATCH_INFO_CLASS: {
                                MonoClass *klass = decode_klass_ref (aot_module, p, &p, error);
                                mono_error_cleanup (error); /* FIXME don't swallow the error */
                                if (!klass)
                                        goto cleanup;
                                template_->data = m_class_get_byval_arg (klass);
                                break;
                        }
                        case MONO_PATCH_INFO_FIELD:
                                template_->data = decode_field_info (aot_module, p, &p);
                                if (!template_->data)
                                        goto cleanup;
                                break;
                        default:
                                g_assert_not_reached ();
                                break;
                        }
                }
                ji->data.target = info;
                break;
        }
        case MONO_PATCH_INFO_LDSTR_LIT: {
                int len = decode_value (p, &p);
                char *s;

                s = (char *)mono_mempool_alloc0 (mp, len + 1);
                memcpy (s, p, len + 1);
                p += len + 1;

                ji->data.target = s;
                break;
        }
        case MONO_PATCH_INFO_VIRT_METHOD: {
                MonoJumpInfoVirtMethod *info = (MonoJumpInfoVirtMethod *)mono_mempool_alloc0 (mp, sizeof (MonoJumpInfoVirtMethod));

                info->klass = decode_klass_ref (aot_module, p, &p, error);
                mono_error_assert_ok (error); /* FIXME don't swallow the error */

                info->method = decode_resolve_method_ref (aot_module, p, &p, error);
                mono_error_assert_ok (error); /* FIXME don't swallow the error */

                ji->data.target = info;
                break;
        }
        case MONO_PATCH_INFO_GC_SAFE_POINT_FLAG:
        case MONO_PATCH_INFO_JIT_THREAD_ATTACH:
                break;
        case MONO_PATCH_INFO_GET_TLS_TRAMP:
        case MONO_PATCH_INFO_SET_TLS_TRAMP:
        case MONO_PATCH_INFO_AOT_JIT_INFO:
                ji->data.index = decode_value (p, &p);
                break;
        default:
                g_warning ("unhandled type %d", ji->type);
                g_assert_not_reached ();
        }

        *endbuf = p;

        return TRUE;

 cleanup:
        return FALSE;
}

/*
 * decode_patches:
 *
 *    Decode a list of patches identified by the got offsets in GOT_OFFSETS. Return an array of
 * MonoJumpInfo structures allocated from MP.
 */
static MonoJumpInfo*
decode_patches (MonoAotModule *amodule, MonoMemPool *mp, int n_patches, gboolean llvm, guint32 *got_offsets)
{
        MonoJumpInfo *patches;
        MonoJumpInfo *ji;
        gpointer *got;
        guint32 *got_info_offsets;
        int i;
        gboolean res;

        if (llvm) {
                got = amodule->llvm_got;
                got_info_offsets = (guint32 *)amodule->llvm_got_info_offsets;
        } else {
                got = amodule->got;
                got_info_offsets = (guint32 *)amodule->got_info_offsets;
        }

        patches = (MonoJumpInfo *)mono_mempool_alloc0 (mp, sizeof (MonoJumpInfo) * n_patches);
        for (i = 0; i < n_patches; ++i) {
                guint8 *p = amodule->blob + mono_aot_get_offset (got_info_offsets, got_offsets [i]);

                ji = &patches [i];
                ji->type = (MonoJumpInfoType)decode_value (p, &p);

                /* See load_method () for SFLDA */
                if (got && got [got_offsets [i]] && ji->type != MONO_PATCH_INFO_SFLDA) {
                        /* Already loaded */
                } else {
                        res = decode_patch (amodule, mp, ji, p, &p);
                        if (!res)
                                return NULL;
                }
        }

        return patches;
}

static MonoJumpInfo*
load_patch_info (MonoAotModule *amodule, MonoMemPool *mp, int n_patches,
                                 gboolean llvm, guint32 **got_slots,
                                 guint8 *buf, guint8 **endbuf)
{
        MonoJumpInfo *patches;
        int pindex;
        guint8 *p;

        p = buf;

        *got_slots = (guint32 *)g_malloc (sizeof (guint32) * n_patches);
        for (pindex = 0; pindex < n_patches; ++pindex) {
                (*got_slots)[pindex] = decode_value (p, &p);
        }

        patches = decode_patches (amodule, mp, n_patches, llvm, *got_slots);
        if (!patches) {
                g_free (*got_slots);
                *got_slots = NULL;
                return NULL;
        }

        *endbuf = p;
        return patches;
}

static void
register_jump_target_got_slot (MonoDomain *domain, MonoMethod *method, gpointer *got_slot)
{
        /*
         * Jump addresses cannot be patched by the trampoline code since it
         * does not have access to the caller's address. Instead, we collect
         * the addresses of the GOT slots pointing to a method, and patch
         * them after the method has been compiled.
         */
        MonoJitDomainInfo *info = domain_jit_info (domain);
        GSList *list;
        MonoMethod *shared_method = mini_method_to_shared (method);
        method = shared_method ? shared_method : method;
                
        mono_domain_lock (domain);
        if (!info->jump_target_got_slot_hash)
                info->jump_target_got_slot_hash = g_hash_table_new (NULL, NULL);
        list = (GSList *)g_hash_table_lookup (info->jump_target_got_slot_hash, method);
        list = g_slist_prepend (list, got_slot);
        g_hash_table_insert (info->jump_target_got_slot_hash, method, list);
        mono_domain_unlock (domain);
}

/*
 * load_method:
 *
 *   Load the method identified by METHOD_INDEX from the AOT image. Return a
 * pointer to the native code of the method, or NULL if not found.
 * METHOD might not be set if the caller only has the image/token info.
 */
static gpointer
load_method (MonoDomain *domain, MonoAotModule *amodule, MonoImage *image, MonoMethod *method, guint32 token, int method_index,
                         MonoError *error)
{
        MonoJitInfo *jinfo = NULL;
        guint8 *code = NULL, *info;
        gboolean res;

        error_init (error);

        init_amodule_got (amodule);

        if (domain != mono_get_root_domain ())
                /* Non shared AOT code can't be used in other appdomains */
                return NULL;

        if (amodule->out_of_date)
                return NULL;

        if (amodule->info.llvm_get_method) {
                /*
                 * Obtain the method address by calling a generated function in the LLVM module.
                 */
                gpointer (*get_method) (int) = (gpointer (*)(int))amodule->info.llvm_get_method;
                code = (guint8 *)get_method (method_index);
        }

        if (!code) {
                /* JITted method */
                if (amodule->methods [method_index] == GINT_TO_POINTER (-1)) {
                        if (mono_trace_is_traced (G_LOG_LEVEL_DEBUG, MONO_TRACE_AOT)) {
                                char *full_name;

                                if (!method) {
                                        method = mono_get_method_checked (image, token, NULL, NULL, error);
                                        if (!method)
                                                return NULL;
                                }
                                if (!(method->iflags & METHOD_IMPL_ATTRIBUTE_INTERNAL_CALL)) {
                                        full_name = mono_method_full_name (method, TRUE);
                                        mono_trace (G_LOG_LEVEL_DEBUG, MONO_TRACE_AOT, "AOT: NOT FOUND: %s.", full_name);
                                        g_free (full_name);
                                }
                        }
                        return NULL;
                }
                code = (guint8 *)amodule->methods [method_index];
        }

        info = &amodule->blob [mono_aot_get_offset (amodule->method_info_offsets, method_index)];

        if (!amodule->methods_loaded) {
                amodule_lock (amodule);
                if (!amodule->methods_loaded) {
                        guint32 *loaded;

                        loaded = g_new0 (guint32, amodule->info.nmethods / 32 + 1);
                        mono_memory_barrier ();
                        amodule->methods_loaded = loaded;
                }
                amodule_unlock (amodule);
        }

        if ((amodule->methods_loaded [method_index / 32] >> (method_index % 32)) & 0x1)
                return code;

        if (mini_debug_options.aot_skip_set && !(method && method->wrapper_type)) {
                gint32 methods_aot = mono_atomic_load_i32 (&mono_jit_stats.methods_aot);
                if (methods_aot == mini_debug_options.aot_skip) {
                        if (!method) {
                                method = mono_get_method_checked (image, token, NULL, NULL, error);
                                if (!method)
                                        return NULL;
                        }
                        if (method) {
                                char *name = mono_method_full_name (method, TRUE);
                                g_print ("NON AOT METHOD: %s.\n", name);
                                g_free (name);
                        } else {
                                g_print ("NON AOT METHOD: %p %d\n", code, method_index);
                        }
                        return NULL;
                }
        }

        if (mono_last_aot_method != -1) {
                gint32 methods_aot = mono_atomic_load_i32 (&mono_jit_stats.methods_aot);
                if (methods_aot >= mono_last_aot_method)
                        return NULL;
                else if (methods_aot == mono_last_aot_method - 1) {
                        if (!method) {
                                method = mono_get_method_checked (image, token, NULL, NULL, error);
                                if (!method)
                                        return NULL;
                        }
                        if (method) {
                                char *name = mono_method_full_name (method, TRUE);
                                g_print ("LAST AOT METHOD: %s.\n", name);
                                g_free (name);
                        } else {
                                g_print ("LAST AOT METHOD: %p %d\n", code, method_index);
                        }
                }
        }

        if (!(is_llvm_code (amodule, code) && (amodule->info.flags & MONO_AOT_FILE_FLAG_LLVM_ONLY)) ||
                (mono_llvm_only && method && method->wrapper_type == MONO_WRAPPER_NATIVE_TO_MANAGED)) {
                res = init_method (amodule, method_index, method, NULL, NULL, error);
                if (!res)
                        goto cleanup;
        }

        if (mono_trace_is_traced (G_LOG_LEVEL_DEBUG, MONO_TRACE_AOT)) {
                char *full_name;

                if (!method) {
                        method = mono_get_method_checked (image, token, NULL, NULL, error);
                        if (!method)
                                return NULL;
                }

                full_name = mono_method_full_name (method, TRUE);

                if (!jinfo)
                        jinfo = mono_aot_find_jit_info (domain, amodule->assembly->image, code);

                mono_trace (G_LOG_LEVEL_DEBUG, MONO_TRACE_AOT, "AOT: FOUND method %s [%p - %p %p]", full_name, code, code + jinfo->code_size, info);
                g_free (full_name);
        }

        amodule_lock (amodule);

        init_plt (amodule);

        mono_atomic_inc_i32 (&mono_jit_stats.methods_aot);

        if (method && method->wrapper_type)
                g_hash_table_insert (amodule->method_to_code, method, code);

        /* Commit changes since methods_loaded is accessed outside the lock */
        mono_memory_barrier ();

        amodule->methods_loaded [method_index / 32] |= 1 << (method_index % 32);

        amodule_unlock (amodule);

        if (MONO_PROFILER_ENABLED (jit_begin) || MONO_PROFILER_ENABLED (jit_done)) {
                MonoJitInfo *jinfo;

                if (!method) {
                        method = mono_get_method_checked (amodule->assembly->image, token, NULL, NULL, error);
                        if (!method)
                                return NULL;
                }
                MONO_PROFILER_RAISE (jit_begin, (method));
                jinfo = mono_jit_info_table_find (domain, code);
                g_assert (jinfo);
                MONO_PROFILER_RAISE (jit_done, (method, jinfo));
        }

        return code;

 cleanup:
        if (jinfo)
                g_free (jinfo);

        return NULL;
}

/** find_aot_method_in_amodule
        * 
        * \param code_amodule The AOT module containing the code pointer
        * \param method The method to find the code index for
        * \param hash_full The hash for the method
        */
static guint32
find_aot_method_in_amodule (MonoAotModule *code_amodule, MonoMethod *method, guint32 hash_full)
{
        ERROR_DECL (error);
        guint32 table_size, entry_size, hash;
        guint32 *table, *entry;
        guint32 index;
        static guint32 n_extra_decodes;

        // The AOT module containing the MonoMethod 
        // The reference to the metadata amodule will differ among multiple dedup methods
        // which mangle to the same name but live in different assemblies. This leads to
        // the caching breaking. The solution seems to be to cache using the "metadata" amodule.
        MonoAotModule *metadata_amodule = (MonoAotModule *)m_class_get_image (method->klass)->aot_module;

        if (!metadata_amodule || metadata_amodule->out_of_date || !code_amodule || code_amodule->out_of_date)
                return 0xffffff;

        table_size = code_amodule->extra_method_table [0];
        hash = hash_full % table_size;
        table = code_amodule->extra_method_table + 1;
        entry_size = 3;

        entry = &table [hash * entry_size];

        if (entry [0] == 0)
                return 0xffffff;

        index = 0xffffff;
        while (TRUE) {
                guint32 key = entry [0];
                guint32 value = entry [1];
                guint32 next = entry [entry_size - 1];
                MonoMethod *m;
                guint8 *p, *orig_p;

                p = code_amodule->blob + key;
                orig_p = p;

                amodule_lock (metadata_amodule);
                if (!metadata_amodule->method_ref_to_method)
                        metadata_amodule->method_ref_to_method = g_hash_table_new (NULL, NULL);
                m = (MonoMethod *)g_hash_table_lookup (metadata_amodule->method_ref_to_method, p);
                amodule_unlock (metadata_amodule);
                if (!m) {
                        m = decode_resolve_method_ref_with_target (code_amodule, method, p, &p, error);
                        mono_error_cleanup (error); /* FIXME don't swallow the error */
                        /*
                         * Can't catche runtime invoke wrappers since it would break
                         * the check in decode_method_ref_with_target ().
                         */
                        if (m && m->wrapper_type != MONO_WRAPPER_RUNTIME_INVOKE) {
                                amodule_lock (metadata_amodule);
                                g_hash_table_insert (metadata_amodule->method_ref_to_method, orig_p, m);
                                amodule_unlock (metadata_amodule);
                        }
                }
                if (m == method) {
                        index = value;
                        break;
                }

                /* Methods decoded needlessly */
                if (m) {
                        //printf ("%d %s %s %p\n", n_extra_decodes, mono_method_full_name (method, TRUE), mono_method_full_name (m, TRUE), orig_p);
                        n_extra_decodes ++;
                }

                if (next != 0)
                        entry = &table [next * entry_size];
                else
                        break;
        }

        if (index != 0xffffff)
                g_assert (index < code_amodule->info.nmethods);

        return index;
}

static void
add_module_cb (gpointer key, gpointer value, gpointer user_data)
{
        g_ptr_array_add ((GPtrArray*)user_data, value);
}

gboolean
mono_aot_can_dedup (MonoMethod *method)
{
        gboolean not_normal_gshared = method->is_inflated && !mono_method_is_generic_sharable_full (method, TRUE, FALSE, FALSE);
        gboolean extra_method = (method->wrapper_type != MONO_WRAPPER_NONE) || not_normal_gshared;

        return extra_method;
}


/*
 * find_aot_method:
 *
 *   Try finding METHOD in the extra_method table in all AOT images.
 * Return its method index, or 0xffffff if not found. Set OUT_AMODULE to the AOT
 * module where the method was found.
 */
static guint32
find_aot_method (MonoMethod *method, MonoAotModule **out_amodule)
{
        guint32 index;
        GPtrArray *modules;
        int i;
        guint32 hash = mono_aot_method_hash (method);

        /* Try the place we expect to have moved the method only 
         * We don't probe, as that causes hard-to-debug issues when we fail
         * to find the method */
        if (container_amodule && mono_aot_can_dedup (method)) {
                *out_amodule = container_amodule;
                index = find_aot_method_in_amodule (container_amodule, method, hash);
                return index;
        }

        /* Try the method's module first */
        *out_amodule = (MonoAotModule *)m_class_get_image (method->klass)->aot_module;
        index = find_aot_method_in_amodule ((MonoAotModule *)m_class_get_image (method->klass)->aot_module, method, hash);
        if (index != 0xffffff)
                return index;

        /* 
         * Try all other modules.
         * This is needed because generic instances klass->image points to the image
         * containing the generic definition, but the native code is generated to the
         * AOT image which contains the reference.
         */

        /* Make a copy to avoid doing the search inside the aot lock */
        modules = g_ptr_array_new ();
        mono_aot_lock ();
        g_hash_table_foreach (aot_modules, add_module_cb, modules);
        mono_aot_unlock ();

        index = 0xffffff;
        for (i = 0; i < modules->len; ++i) {
                MonoAotModule *amodule = (MonoAotModule *)g_ptr_array_index (modules, i);

                if (amodule != m_class_get_image (method->klass)->aot_module)
                        index = find_aot_method_in_amodule (amodule, method, hash);
                if (index != 0xffffff) {
                        *out_amodule = amodule;
                        break;
                }
        }
        
        g_ptr_array_free (modules, TRUE);

        return index;
}

guint32
mono_aot_find_method_index (MonoMethod *method)
{
        MonoAotModule *out_amodule;
        return find_aot_method (method, &out_amodule);
}

static gboolean
init_method (MonoAotModule *amodule, guint32 method_index, MonoMethod *method, MonoClass *init_class, MonoGenericContext *context, MonoError *error)
{
        MonoDomain *domain = mono_domain_get ();
        MonoMemPool *mp;
        MonoClass *klass_to_run_ctor = NULL;
        gboolean from_plt = method == NULL;
        int pindex, n_patches;
        guint8 *p;
        MonoJitInfo *jinfo = NULL;
        guint8 *code, *info;

        error_init (error);

        code = (guint8 *)amodule->methods [method_index];
        info = &amodule->blob [mono_aot_get_offset (amodule->method_info_offsets, method_index)];

        p = info;

        //does the method's class has a cctor?
        if (decode_value (p, &p) == 1)
                klass_to_run_ctor = decode_klass_ref (amodule, p, &p, error);
        if (!is_ok (error))
                return FALSE;

        //FIXME old code would use the class from @method if not null and ignore the one encoded. I don't know if we need to honor that -- @kumpera
        if (method)
                klass_to_run_ctor = method->klass;

        n_patches = decode_value (p, &p);

        if (n_patches) {
                MonoJumpInfo *patches;
                guint32 *got_slots;
                gboolean llvm;
                gpointer *got;

                mp = mono_mempool_new ();

                if ((gpointer)code >= amodule->info.jit_code_start && (gpointer)code <= amodule->info.jit_code_end) {
                        llvm = FALSE;
                        got = amodule->got;
                } else {
                        llvm = TRUE;
                        got = amodule->llvm_got;
                        g_assert (got);
                }

                patches = load_patch_info (amodule, mp, n_patches, llvm, &got_slots, p, &p);
                if (patches == NULL) {
                        mono_mempool_destroy (mp);
                        goto cleanup;
                }

                for (pindex = 0; pindex < n_patches; ++pindex) {
                        MonoJumpInfo *ji = &patches [pindex];
                        gpointer addr;

                        /*
                         * For SFLDA, we need to call resolve_patch_target () since the GOT slot could have
                         * been initialized by load_method () for a static cctor before the cctor has
                         * finished executing (#23242).
                         */
                        if (!got [got_slots [pindex]] || ji->type == MONO_PATCH_INFO_SFLDA) {
                                /* In llvm-only made, we might encounter shared methods */
                                if (mono_llvm_only && ji->type == MONO_PATCH_INFO_METHOD && mono_method_check_context_used (ji->data.method)) {
                                        g_assert (context);
                                        ji->data.method = mono_class_inflate_generic_method_checked (ji->data.method, context, error);
                                        if (!mono_error_ok (error)) {
                                                g_free (got_slots);
                                                mono_mempool_destroy (mp);
                                                return FALSE;
                                        }
                                }
                                /* This cannot be resolved in mono_resolve_patch_target () */
                                if (ji->type == MONO_PATCH_INFO_AOT_JIT_INFO) {
                                        // FIXME: Lookup using the index
                                        jinfo = mono_aot_find_jit_info (domain, amodule->assembly->image, code);
                                        ji->type = MONO_PATCH_INFO_ABS;
                                        ji->data.target = jinfo;
                                }
                                addr = mono_resolve_patch_target (method, domain, code, ji, TRUE, error);
                                if (!mono_error_ok (error)) {
                                        g_free (got_slots);
                                        mono_mempool_destroy (mp);
                                        return FALSE;
                                }
                                if (ji->type == MONO_PATCH_INFO_METHOD_JUMP)
                                        addr = mono_create_ftnptr (domain, addr);
                                mono_memory_barrier ();
                                got [got_slots [pindex]] = addr;
                                if (ji->type == MONO_PATCH_INFO_METHOD_JUMP)
                                        register_jump_target_got_slot (domain, ji->data.method, &(got [got_slots [pindex]]));
                        }
                        ji->type = MONO_PATCH_INFO_NONE;
                }

                g_free (got_slots);

                mono_mempool_destroy (mp);
        }

        if (mini_get_debug_options ()->load_aot_jit_info_eagerly)
                jinfo = mono_aot_find_jit_info (domain, amodule->assembly->image, code);

        gboolean inited_ok = TRUE;
        if (init_class) {
                MonoVTable *vt = mono_class_vtable_checked (domain, init_class, error);
                if (!is_ok (error))
                        inited_ok = FALSE;
                else
                        inited_ok = mono_runtime_class_init_full (vt, error);
        } else if (from_plt && klass_to_run_ctor && !mono_class_is_gtd (klass_to_run_ctor)) {
                MonoVTable *vt = mono_class_vtable_checked (domain, klass_to_run_ctor, error);
                if (!is_ok (error))
                        inited_ok = FALSE;
                else
                        inited_ok = mono_runtime_class_init_full (vt, error);
        }
        if (!inited_ok)
                return FALSE;

        return TRUE;

 cleanup:
        if (jinfo)
                g_free (jinfo);

        return FALSE;
}

static void
init_llvmonly_method (MonoAotModule *amodule, guint32 method_index, MonoMethod *method, MonoClass *init_class, MonoGenericContext *context)
{
        gboolean res;
        ERROR_DECL (error);

        res = init_method (amodule, method_index, method, init_class, context, error);
        if (!is_ok (error)) {
                MonoException *ex = mono_error_convert_to_exception (error);
                /* Its okay to raise in llvmonly mode */
                if (ex)
                        mono_llvm_throw_exception ((MonoObject*)ex);
        }
}

void
mono_aot_init_llvm_method (gpointer aot_module, guint32 method_index)
{
        MonoAotModule *amodule = (MonoAotModule *)aot_module;

        init_llvmonly_method (amodule, method_index, NULL, NULL, NULL);
}

void
mono_aot_init_gshared_method_this (gpointer aot_module, guint32 method_index, MonoObject *this_obj)
{
        MonoAotModule *amodule = (MonoAotModule *)aot_module;
        MonoClass *klass;
        MonoGenericContext *context;
        MonoMethod *method;

        // FIXME:
        g_assert (this_obj);
        klass = this_obj->vtable->klass;

        amodule_lock (amodule);
        method = (MonoMethod *)g_hash_table_lookup (amodule->extra_methods, GUINT_TO_POINTER (method_index));
        amodule_unlock (amodule);

        g_assert (method);
        context = mono_method_get_context (method);
        g_assert (context);

        init_llvmonly_method (amodule, method_index, NULL, klass, context);
}

void
mono_aot_init_gshared_method_mrgctx (gpointer aot_module, guint32 method_index, MonoMethodRuntimeGenericContext *rgctx)
{
        MonoAotModule *amodule = (MonoAotModule *)aot_module;
        MonoGenericContext context = { NULL, NULL };
        MonoClass *klass = rgctx->class_vtable->klass;

        if (mono_class_is_ginst (klass))
                context.class_inst = mono_class_get_generic_class (klass)->context.class_inst;
        else if (mono_class_is_gtd (klass))
                context.class_inst = mono_class_get_generic_container (klass)->context.class_inst;
        context.method_inst = rgctx->method_inst;

        init_llvmonly_method (amodule, method_index, NULL, rgctx->class_vtable->klass, &context);
}

void
mono_aot_init_gshared_method_vtable (gpointer aot_module, guint32 method_index, MonoVTable *vtable)
{
        MonoAotModule *amodule = (MonoAotModule *)aot_module;
        MonoClass *klass;
        MonoGenericContext *context;
        MonoMethod *method;

        klass = vtable->klass;

        amodule_lock (amodule);
        method = (MonoMethod *)g_hash_table_lookup (amodule->extra_methods, GUINT_TO_POINTER (method_index));
        amodule_unlock (amodule);

        g_assert (method);
        context = mono_method_get_context (method);
        g_assert (context);

        init_llvmonly_method (amodule, method_index, NULL, klass, context);
}

/*
 * mono_aot_get_method:
 *
 *   Return a pointer to the AOTed native code for METHOD if it can be found,
 * NULL otherwise.
 * On platforms with function pointers, this doesn't return a function pointer.
 */
gpointer
mono_aot_get_method (MonoDomain *domain, MonoMethod *method, MonoError *error)
{
        MonoClass *klass = method->klass;
        MonoMethod *orig_method = method;
        guint32 method_index;
        MonoAotModule *amodule = (MonoAotModule *)m_class_get_image (klass)->aot_module;
        guint8 *code;
        gboolean cache_result = FALSE;
        ERROR_DECL_VALUE (inner_error);

        error_init (error);

        if (domain != mono_get_root_domain ())
                /* Non shared AOT code can't be used in other appdomains */
                return NULL;

        if (enable_aot_cache && !amodule && domain->entry_assembly && m_class_get_image (klass) == mono_defaults.corlib) {
                /* This cannot be AOTed during startup, so do it now */
                if (!mscorlib_aot_loaded) {
                        mscorlib_aot_loaded = TRUE;
                        load_aot_module (m_class_get_image (klass)->assembly, NULL);
                        amodule = (MonoAotModule *)m_class_get_image (klass)->aot_module;
                }
        }

        if (!amodule)
                return NULL;

        if (amodule->out_of_date)
                return NULL;

        if ((method->iflags & METHOD_IMPL_ATTRIBUTE_INTERNAL_CALL) ||
                (method->flags & METHOD_ATTRIBUTE_PINVOKE_IMPL) ||
                (method->iflags & METHOD_IMPL_ATTRIBUTE_RUNTIME) ||
                (method->flags & METHOD_ATTRIBUTE_ABSTRACT))
                return NULL;

        /*
         * Use the original method instead of its invoke-with-check wrapper.
         * This is not a problem when using full-aot, since it doesn't support
         * remoting.
         */
        if (mono_aot_only && method->wrapper_type == MONO_WRAPPER_REMOTING_INVOKE_WITH_CHECK)
                return mono_aot_get_method (domain, mono_marshal_method_from_wrapper (method), error);

        g_assert (m_class_is_inited (klass));

        /* Find method index */
        method_index = 0xffffff;

        gboolean dedupable = mono_aot_can_dedup (method);

        if (method->is_inflated && !method->wrapper_type && mono_method_is_generic_sharable_full (method, TRUE, FALSE, FALSE) && !dedupable) {
                MonoMethod *orig_method = method;
                /* 
                 * For generic methods, we store the fully shared instance in place of the
                 * original method.
                 */
                method = mono_method_get_declaring_generic_method (method);
                method_index = mono_metadata_token_index (method->token) - 1;

                if (mono_llvm_only) {
                        /* Needed by mono_aot_init_gshared_method_this () */
                        /* orig_method is a random instance but it is enough to make init_method () work */
                        amodule_lock (amodule);
                        g_hash_table_insert (amodule->extra_methods, GUINT_TO_POINTER (method_index), orig_method);
                        amodule_unlock (amodule);
                }
        }

        if (method_index == 0xffffff && (method->is_inflated || !method->token)) {
                /* This hash table is used to avoid the slower search in the extra_method_table in the AOT image */
                amodule_lock (amodule);
                code = (guint8 *)g_hash_table_lookup (amodule->method_to_code, method);
                amodule_unlock (amodule);
                if (code)
                        return code;

                cache_result = TRUE;
                if (method_index == 0xffffff)
                        method_index = find_aot_method (method, &amodule);

                /*
                 * Special case the ICollection<T> wrappers for arrays, as they cannot
                 * be statically enumerated, and each wrapper ends up calling the same
                 * method in Array.
                 */
                if (method_index == 0xffffff && method->wrapper_type == MONO_WRAPPER_MANAGED_TO_MANAGED && m_class_get_rank (method->klass) && strstr (method->name, "System.Collections.Generic")) {
                        MonoMethod *m = mono_aot_get_array_helper_from_wrapper (method);

                        code = (guint8 *)mono_aot_get_method (domain, m, &inner_error);
                        mono_error_cleanup (&inner_error);
                        if (code)
                                return code;
                }

                /*
                 * Special case Array.GetGenericValueImpl which is a generic icall.
                 * Generic sharing currently can't handle it, but the icall returns data using
                 * an out parameter, so the managed-to-native wrappers can share the same code.
                 */
                if (method_index == 0xffffff && method->wrapper_type == MONO_WRAPPER_MANAGED_TO_NATIVE && method->klass == mono_defaults.array_class && !strcmp (method->name, "GetGenericValueImpl")) {
                        MonoMethod *m;
                        MonoGenericContext ctx;
                        MonoType *args [16];

                        if (mono_method_signature (method)->params [1]->type == MONO_TYPE_OBJECT)
                                /* Avoid recursion */
                                return NULL;

                        m = mono_class_get_method_from_name_checked (mono_defaults.array_class, "GetGenericValueImpl", 2, 0, error);
                        mono_error_assert_ok (error);
                        g_assert (m);

                        memset (&ctx, 0, sizeof (ctx));
                        args [0] = m_class_get_byval_arg (mono_defaults.object_class);
                        ctx.method_inst = mono_metadata_get_generic_inst (1, args);

                        m = mono_marshal_get_native_wrapper (mono_class_inflate_generic_method_checked (m, &ctx, error), TRUE, TRUE);
                        if (!m)
                                g_error ("AOT runtime could not load method due to %s", mono_error_get_message (error)); /* FIXME don't swallow the error */

                        /* 
                         * Get the code for the <object> instantiation which should be emitted into
                         * the mscorlib aot image by the AOT compiler.
                         */
                        code = (guint8 *)mono_aot_get_method (domain, m, &inner_error);
                        mono_error_cleanup (&inner_error);
                        if (code)
                                return code;
                }

                const char *klass_name_space = m_class_get_name_space (method->klass);
                const char *klass_name = m_class_get_name (method->klass);
                /* Same for CompareExchange<T> and Exchange<T> */
                /* Same for Volatile.Read<T>/Write<T> */
                if (method_index == 0xffffff && method->wrapper_type == MONO_WRAPPER_MANAGED_TO_NATIVE && m_class_get_image (method->klass) == mono_defaults.corlib && 
                        ((!strcmp (klass_name_space, "System.Threading") && !strcmp (klass_name, "Interlocked") && (!strcmp (method->name, "CompareExchange") || !strcmp (method->name, "Exchange")) && MONO_TYPE_IS_REFERENCE (mini_type_get_underlying_type (mono_method_signature (method)->params [1]))) ||
                         (!strcmp (klass_name_space, "System.Threading") && !strcmp (klass_name, "Volatile") && (!strcmp (method->name, "Read") && MONO_TYPE_IS_REFERENCE (mini_type_get_underlying_type (mono_method_signature (method)->ret)))) ||
                         (!strcmp (klass_name_space, "System.Threading") && !strcmp (klass_name, "Volatile") && (!strcmp (method->name, "Write") && MONO_TYPE_IS_REFERENCE (mini_type_get_underlying_type (mono_method_signature (method)->params [1])))))) {
                        MonoMethod *m;
                        MonoGenericContext ctx;
                        MonoType *args [16];
                        gpointer iter = NULL;

                        while ((m = mono_class_get_methods (method->klass, &iter))) {
                                if (mono_method_signature (m)->generic_param_count && !strcmp (m->name, method->name))
                                        break;
                        }
                        g_assert (m);

                        memset (&ctx, 0, sizeof (ctx));
                        args [0] = mono_get_object_type ();
                        ctx.method_inst = mono_metadata_get_generic_inst (1, args);

                        m = mono_marshal_get_native_wrapper (mono_class_inflate_generic_method_checked (m, &ctx, error), TRUE, TRUE);
                        if (!m)
                                g_error ("AOT runtime could not load method due to %s", mono_error_get_message (error)); /* FIXME don't swallow the error */

                        /* Avoid recursion */
                        if (method == m)
                                return NULL;

                        /* 
                         * Get the code for the <object> instantiation which should be emitted into
                         * the mscorlib aot image by the AOT compiler.
                         */
                        code = (guint8 *)mono_aot_get_method (domain, m, &inner_error);
                        mono_error_cleanup (&inner_error);
                        if (code)
                                return code;
                }

                /* For ARRAY_ACCESSOR wrappers with reference types, use the <object> instantiation saved in corlib */
                if (method_index == 0xffffff && method->wrapper_type == MONO_WRAPPER_UNKNOWN) {
                        WrapperInfo *info = mono_marshal_get_wrapper_info (method);

                        if (info->subtype == WRAPPER_SUBTYPE_ARRAY_ACCESSOR) {
                                MonoMethod *array_method = info->d.array_accessor.method;
                                if (MONO_TYPE_IS_REFERENCE (m_class_get_byval_arg (m_class_get_element_class (array_method->klass)))) {
                                        int rank;

                                        if (!strcmp (array_method->name, "Set"))
                                                rank = mono_method_signature (array_method)->param_count - 1;
                                        else if (!strcmp (array_method->name, "Get") || !strcmp (array_method->name, "Address"))
                                                rank = mono_method_signature (array_method)->param_count;
                                        else
                                                g_assert_not_reached ();
                                        MonoClass *obj_array_class = mono_class_create_array (mono_defaults.object_class, rank);
                                        MonoMethod *m = mono_class_get_method_from_name_checked (obj_array_class, array_method->name, mono_method_signature (array_method)->param_count, 0, error);
                                        mono_error_assert_ok (error);
                                        g_assert (m);

                                        m = mono_marshal_get_array_accessor_wrapper (m);
                                        if (m != method) {
                                                code = (guint8 *)mono_aot_get_method (domain, m, &inner_error);
                                                mono_error_cleanup (&inner_error);
                                                if (code)
                                                        return code;
                                        }
                                }
                        }
                }

                if (method_index == 0xffffff && method->is_inflated && mono_method_is_generic_sharable_full (method, FALSE, TRUE, FALSE)) {
                        /* Partial sharing */
                        MonoMethod *shared;

                        shared = mini_get_shared_method_full (method, SHARE_MODE_NONE, error);
                        return_val_if_nok (error, NULL);

                        method_index = find_aot_method (shared, &amodule);
                        if (method_index != 0xffffff)
                                method = shared;
                }

                if (method_index == 0xffffff && method->is_inflated && mono_method_is_generic_sharable_full (method, FALSE, FALSE, TRUE)) {
                        MonoMethod *shared;
                        /* gsharedvt */
                        /* Use the all-vt shared method since this is what was AOTed */
                        shared = mini_get_shared_method_full (method, SHARE_MODE_GSHAREDVT, error);
                        if (!shared)
                                return NULL;

                        method_index = find_aot_method (shared, &amodule);
                        if (method_index != 0xffffff) {
                                method = mini_get_shared_method_full (method, SHARE_MODE_GSHAREDVT, error);
                                if (!method)
                                        return NULL;
                        }
                }

                if (method_index == 0xffffff) {
                        if (mono_trace_is_traced (G_LOG_LEVEL_DEBUG, MONO_TRACE_AOT)) {
                                char *full_name;

                                full_name = mono_method_full_name (method, TRUE);
                                mono_trace (G_LOG_LEVEL_DEBUG, MONO_TRACE_AOT, "AOT NOT FOUND: %s.", full_name);
                                g_free (full_name);
                        }
                        return NULL;
                }

                if (method_index == 0xffffff)
                        return NULL;

                /* Needed by find_jit_info */
                amodule_lock (amodule);
                g_hash_table_insert (amodule->extra_methods, GUINT_TO_POINTER (method_index), method);
                amodule_unlock (amodule);
        } else {
                /* Common case */
                method_index = mono_metadata_token_index (method->token) - 1;
        }

        code = (guint8 *)load_method (domain, amodule, m_class_get_image (klass), method, method->token, method_index, error);
        if (!is_ok (error))
                return NULL;
        if (code && cache_result) {
                amodule_lock (amodule);
                g_hash_table_insert (amodule->method_to_code, orig_method, code);
                amodule_unlock (amodule);
        }
        return code;
}

/**
 * Same as mono_aot_get_method, but we try to avoid loading any metadata from the
 * method.
 */
gpointer
mono_aot_get_method_from_token (MonoDomain *domain, MonoImage *image, guint32 token, MonoError *error)
{
        MonoAotModule *aot_module = (MonoAotModule *)image->aot_module;
        int method_index;
        gpointer res;

        error_init (error);

        if (!aot_module)
                return NULL;

        method_index = mono_metadata_token_index (token) - 1;

        res = load_method (domain, aot_module, image, NULL, token, method_index, error);
        return res;
}

typedef struct {
        guint8 *addr;
        gboolean res;
} IsGotEntryUserData;

static void
check_is_got_entry (gpointer key, gpointer value, gpointer user_data)
{
        IsGotEntryUserData *data = (IsGotEntryUserData*)user_data;
        MonoAotModule *aot_module = (MonoAotModule*)value;

        if (aot_module->got && (data->addr >= (guint8*)(aot_module->got)) && (data->addr < (guint8*)(aot_module->got + aot_module->info.got_size)))
                data->res = TRUE;
}

gboolean
mono_aot_is_got_entry (guint8 *code, guint8 *addr)
{
        IsGotEntryUserData user_data;

        if (!aot_modules)
                return FALSE;

        user_data.addr = addr;
        user_data.res = FALSE;
        mono_aot_lock ();
        g_hash_table_foreach (aot_modules, check_is_got_entry, &user_data);
        mono_aot_unlock ();
        
        return user_data.res;
}

typedef struct {
        guint8 *addr;
        MonoAotModule *module;
} FindAotModuleUserData;

static void
find_aot_module_cb (gpointer key, gpointer value, gpointer user_data)
{
        FindAotModuleUserData *data = (FindAotModuleUserData*)user_data;
        MonoAotModule *aot_module = (MonoAotModule*)value;

        if (amodule_contains_code_addr (aot_module, data->addr))
                data->module = aot_module;
}

static inline MonoAotModule*
find_aot_module (guint8 *code)
{
        FindAotModuleUserData user_data;

        if (!aot_modules)
                return NULL;

        /* Reading these need no locking */
        if (((gsize)code < aot_code_low_addr) || ((gsize)code > aot_code_high_addr))
                return NULL;

        user_data.addr = code;
        user_data.module = NULL;
                
        mono_aot_lock ();
        g_hash_table_foreach (aot_modules, find_aot_module_cb, &user_data);
        mono_aot_unlock ();
        
        return user_data.module;
}

void
mono_aot_patch_plt_entry (guint8 *code, guint8 *plt_entry, gpointer *got, mgreg_t *regs, guint8 *addr)
{
        MonoAotModule *amodule;

        /*
         * Since AOT code is only used in the root domain, 
         * mono_domain_get () != mono_get_root_domain () means the calling method
         * is AppDomain:InvokeInDomain, so this is the same check as in 
         * mono_method_same_domain () but without loading the metadata for the method.
         */
        if (mono_domain_get () == mono_get_root_domain ()) {
                if (!got) {
                        amodule = find_aot_module (code);
                        if (amodule)
                                got = amodule->got;
                }
                mono_arch_patch_plt_entry (plt_entry, got, regs, addr);
        }
}

/*
 * mono_aot_plt_resolve:
 *
 *   This function is called by the entries in the PLT to resolve the actual method that
 * needs to be called. It returns a trampoline to the method and patches the PLT entry.
 * Returns NULL if the something cannot be loaded.
 */
gpointer
mono_aot_plt_resolve (gpointer aot_module, guint32 plt_info_offset, guint8 *code, MonoError *error)
{
#ifdef MONO_ARCH_AOT_SUPPORTED
        guint8 *p, *target, *plt_entry;
        MonoJumpInfo ji;
        MonoAotModule *module = (MonoAotModule*)aot_module;
        gboolean res, no_ftnptr = FALSE;
        MonoMemPool *mp;
        gboolean using_gsharedvt = FALSE;

        error_init (error);

        //printf ("DYN: %p %d\n", aot_module, plt_info_offset);

        p = &module->blob [plt_info_offset];

        ji.type = (MonoJumpInfoType)decode_value (p, &p);

        mp = mono_mempool_new ();
        res = decode_patch (module, mp, &ji, p, &p);

        if (!res) {
                mono_mempool_destroy (mp);
                return NULL;
        }

#ifdef MONO_ARCH_GSHAREDVT_SUPPORTED
        using_gsharedvt = TRUE;
#endif

        /* 
         * Avoid calling resolve_patch_target in the full-aot case if possible, since
         * it would create a trampoline, and we don't need that.
         * We could do this only if the method does not need the special handling
         * in mono_magic_trampoline ().
         */
        if (mono_aot_only && ji.type == MONO_PATCH_INFO_METHOD && !ji.data.method->is_generic && !mono_method_check_context_used (ji.data.method) && !(ji.data.method->iflags & METHOD_IMPL_ATTRIBUTE_SYNCHRONIZED) &&
                !mono_method_needs_static_rgctx_invoke (ji.data.method, FALSE) && !using_gsharedvt) {
                target = (guint8 *)mono_jit_compile_method (ji.data.method, error);
                if (!mono_error_ok (error)) {
                        mono_mempool_destroy (mp);
                        return NULL;
                }
                no_ftnptr = TRUE;
        } else {
                target = (guint8 *)mono_resolve_patch_target (NULL, mono_domain_get (), NULL, &ji, TRUE, error);
                if (!mono_error_ok (error)) {
                        mono_mempool_destroy (mp);
                        return NULL;
                }
        }

        /*
         * The trampoline expects us to return a function descriptor on platforms which use
         * it, but resolve_patch_target returns a direct function pointer for some type of
         * patches, so have to translate between the two.
         * FIXME: Clean this up, but how ?
         */
        if (ji.type == MONO_PATCH_INFO_ABS || ji.type == MONO_PATCH_INFO_INTERNAL_METHOD || ji.type == MONO_PATCH_INFO_ICALL_ADDR || ji.type == MONO_PATCH_INFO_JIT_ICALL_ADDR || ji.type == MONO_PATCH_INFO_RGCTX_FETCH) {
                /* These should already have a function descriptor */
#ifdef PPC_USES_FUNCTION_DESCRIPTOR
                /* Our function descriptors have a 0 environment, gcc created ones don't */
                if (ji.type != MONO_PATCH_INFO_INTERNAL_METHOD && ji.type != MONO_PATCH_INFO_JIT_ICALL_ADDR && ji.type != MONO_PATCH_INFO_ICALL_ADDR)
                        g_assert (((gpointer*)target) [2] == 0);
#endif
                /* Empty */
        } else if (!no_ftnptr) {
#ifdef PPC_USES_FUNCTION_DESCRIPTOR
                g_assert (((gpointer*)target) [2] != 0);
#endif
                target = (guint8 *)mono_create_ftnptr (mono_domain_get (), target);
        }

        mono_mempool_destroy (mp);

        /* Patch the PLT entry with target which might be the actual method not a trampoline */
        plt_entry = mono_aot_get_plt_entry (code);
        g_assert (plt_entry);
        mono_aot_patch_plt_entry (code, plt_entry, module->got, NULL, target);

        return target;
#else
        g_assert_not_reached ();
        return NULL;
#endif
}

/**
 * init_plt:
 *
 *   Initialize the PLT table of the AOT module. Called lazily when the first AOT
 * method in the module is loaded to avoid committing memory by writing to it.
 * LOCKING: Assumes the AMODULE lock is held.
 */
static void
init_plt (MonoAotModule *amodule)
{
        int i;
        gpointer tramp;

        if (amodule->plt_inited)
                return;

        if (amodule->info.plt_size <= 1) {
                amodule->plt_inited = TRUE;
                return;
        }

        tramp = mono_create_specific_trampoline (amodule, MONO_TRAMPOLINE_AOT_PLT, mono_get_root_domain (), NULL);

        /*
         * Initialize the PLT entries in the GOT to point to the default targets.
         */

        tramp = mono_create_ftnptr (mono_domain_get (), tramp);
         for (i = 1; i < amodule->info.plt_size; ++i)
                 /* All the default entries point to the AOT trampoline */
                 ((gpointer*)amodule->got)[amodule->info.plt_got_offset_base + i] = tramp;

        amodule->plt_inited = TRUE;
}

/*
 * mono_aot_get_plt_entry:
 *
 *   Return the address of the PLT entry called by the code at CODE if exists.
 */
guint8*
mono_aot_get_plt_entry (guint8 *code)
{
        MonoAotModule *amodule = find_aot_module (code);
        guint8 *target = NULL;

        if (!amodule)
                return NULL;

#ifdef TARGET_ARM
        if (is_thumb_code (amodule, code - 4))
                return mono_arm_get_thumb_plt_entry (code);
#endif

#ifdef MONO_ARCH_AOT_SUPPORTED
        target = mono_arch_get_call_target (code);
#else
        g_assert_not_reached ();
#endif

#ifdef MONOTOUCH
        while (target != NULL) {
                if ((target >= (guint8*)(amodule->plt)) && (target < (guint8*)(amodule->plt_end)))
                        return target;
                
                // Add 4 since mono_arch_get_call_target assumes we're passing
                // the instruction after the actual branch instruction.
                target = mono_arch_get_call_target (target + 4);
        }

        return NULL;
#else
        if ((target >= (guint8*)(amodule->plt)) && (target < (guint8*)(amodule->plt_end)))
                return target;
        else
                return NULL;
#endif
}

/*
 * mono_aot_get_plt_info_offset:
 *
 *   Return the PLT info offset belonging to the plt entry called by CODE.
 */
guint32
mono_aot_get_plt_info_offset (mgreg_t *regs, guint8 *code)
{
        guint8 *plt_entry = mono_aot_get_plt_entry (code);

        g_assert (plt_entry);

        /* The offset is embedded inside the code after the plt entry */
#ifdef MONO_ARCH_AOT_SUPPORTED
        return mono_arch_get_plt_info_offset (plt_entry, regs, code);
#else
        g_assert_not_reached ();
        return 0;
#endif
}

static gpointer
mono_create_ftnptr_malloc (guint8 *code)
{
#ifdef PPC_USES_FUNCTION_DESCRIPTOR
        MonoPPCFunctionDescriptor *ftnptr = g_malloc0 (sizeof (MonoPPCFunctionDescriptor));

        ftnptr->code = code;
        ftnptr->toc = NULL;
        ftnptr->env = NULL;

        return ftnptr;
#else
        return code;
#endif
}

/*
 * mono_aot_register_jit_icall:
 *
 *   Register a JIT icall which is called by trampolines in full-aot mode. This should
 * be called from mono_arch_init () during startup.
 */
void
mono_aot_register_jit_icall (const char *name, gpointer addr)
{
        /* No need for locking */
        if (!aot_jit_icall_hash)
                aot_jit_icall_hash = g_hash_table_new (g_str_hash, g_str_equal);
        g_hash_table_insert (aot_jit_icall_hash, (char*)name, addr);
}

/*
 * load_function_full:
 *
 *   Load the function named NAME from the aot image. 
 */
static gpointer
load_function_full (MonoAotModule *amodule, const char *name, MonoTrampInfo **out_tinfo)
{
        char *symbol;
        guint8 *p;
        int n_patches, pindex;
        MonoMemPool *mp;
        gpointer code;
        guint32 info_offset;

        /* Load the code */

        symbol = g_strdup_printf ("%s", name);
        find_amodule_symbol (amodule, symbol, (gpointer *)&code);
        g_free (symbol);
        if (!code)
                g_error ("Symbol '%s' not found in AOT file '%s'.\n", name, amodule->aot_name);

        mono_trace (G_LOG_LEVEL_DEBUG, MONO_TRACE_AOT, "AOT: FOUND function '%s' in AOT file '%s'.", name, amodule->aot_name);

        /* Load info */

        symbol = g_strdup_printf ("%s_p", name);
        find_amodule_symbol (amodule, symbol, (gpointer *)&p);
        g_free (symbol);
        if (!p)
                /* Nothing to patch */
                return code;

        info_offset = *(guint32*)p;
        if (out_tinfo) {
                MonoTrampInfo *tinfo;
                guint32 code_size, uw_info_len, uw_offset;
                guint8 *uw_info;
                /* Construct a MonoTrampInfo from the data in the AOT image */

                p += sizeof (guint32);
                code_size = *(guint32*)p;
                p += sizeof (guint32);
                uw_offset = *(guint32*)p;
                uw_info = amodule->unwind_info + uw_offset;
                uw_info_len = decode_value (uw_info, &uw_info);

                tinfo = g_new0 (MonoTrampInfo, 1);
                tinfo->code = (guint8 *)code;
                tinfo->code_size = code_size;
                tinfo->uw_info_len = uw_info_len;
                if (uw_info_len)
                        tinfo->uw_info = uw_info;

                *out_tinfo = tinfo;
        }

        p = amodule->blob + info_offset;

        /* Similar to mono_aot_load_method () */

        n_patches = decode_value (p, &p);

        if (n_patches) {
                MonoJumpInfo *patches;
                guint32 *got_slots;

                mp = mono_mempool_new ();

                patches = load_patch_info (amodule, mp, n_patches, FALSE, &got_slots, p, &p);
                g_assert (patches);

                for (pindex = 0; pindex < n_patches; ++pindex) {
                        MonoJumpInfo *ji = &patches [pindex];
                        ERROR_DECL (error);
                        gpointer target;

                        if (amodule->got [got_slots [pindex]])
                                continue;

                        /*
                         * When this code is executed, the runtime may not be initalized yet, so
                         * resolve the patch info by hand.
                         */
                        if (ji->type == MONO_PATCH_INFO_JIT_ICALL_ADDR) {
                                if (!strcmp (ji->data.name, "mono_get_lmf_addr")) {
                                        target = mono_get_lmf_addr;
                                } else if (!strcmp (ji->data.name, "mono_thread_force_interruption_checkpoint_noraise")) {
                                        target = mono_thread_force_interruption_checkpoint_noraise;
                                } else if (!strcmp (ji->data.name, "mono_exception_from_token")) {
                                        target = mono_exception_from_token;
                                } else if (!strcmp (ji->data.name, "mono_throw_exception")) {
                                        target = mono_get_throw_exception ();
                                } else if (strstr (ji->data.name, "trampoline_func_") == ji->data.name) {
                                        MonoTrampolineType tramp_type2 = (MonoTrampolineType)atoi (ji->data.name + strlen ("trampoline_func_"));
                                        target = (gpointer)mono_get_trampoline_func (tramp_type2);
                                } else if (strstr (ji->data.name, "specific_trampoline_lazy_fetch_") == ji->data.name) {
                                        /* atoll is needed because the the offset is unsigned */
                                        guint32 slot;
                                        int res;

                                        res = sscanf (ji->data.name, "specific_trampoline_lazy_fetch_%u", &slot);
                                        g_assert (res == 1);
                                        target = mono_create_specific_trampoline (GUINT_TO_POINTER (slot), MONO_TRAMPOLINE_RGCTX_LAZY_FETCH, mono_get_root_domain (), NULL);
                                        target = mono_create_ftnptr_malloc ((guint8 *)target);
                                } else if (!strcmp (ji->data.name, "debugger_agent_single_step_from_context")) {
                                        target = mini_get_dbg_callbacks ()->single_step_from_context;
                                } else if (!strcmp (ji->data.name, "debugger_agent_breakpoint_from_context")) {
                                        target = mini_get_dbg_callbacks ()->breakpoint_from_context;
                                } else if (!strcmp (ji->data.name, "throw_exception_addr")) {
                                        target = mono_get_throw_exception_addr ();
                                } else if (strstr (ji->data.name, "generic_trampoline_")) {
                                        target = mono_aot_get_trampoline (ji->data.name);
                                } else if (aot_jit_icall_hash && g_hash_table_lookup (aot_jit_icall_hash, ji->data.name)) {
                                        /* Registered by mono_arch_init () */
                                        target = g_hash_table_lookup (aot_jit_icall_hash, ji->data.name);
                                } else {
                                        fprintf (stderr, "Unknown relocation '%s'\n", ji->data.name);
                                        g_assert_not_reached ();
                                        target = NULL;
                                }
                        } else {
                                /* Hopefully the code doesn't have patches which need method or 
                                 * domain to be set.
                                 */
                                target = mono_resolve_patch_target (NULL, NULL, (guint8 *)code, ji, FALSE, error);
                                mono_error_assert_ok (error);
                                g_assert (target);
                        }

                        amodule->got [got_slots [pindex]] = target;
                }

                g_free (got_slots);

                mono_mempool_destroy (mp);
        }

        return code;
}

static gpointer
load_function (MonoAotModule *amodule, const char *name)
{
        return load_function_full (amodule, name, NULL);
}

static MonoAotModule*
get_mscorlib_aot_module (void)
{
        MonoImage *image;
        MonoAotModule *amodule;

        image = mono_defaults.corlib;
        if (image)
                amodule = (MonoAotModule *)image->aot_module;
        else
                amodule = mscorlib_aot_module;
        g_assert (amodule);
        return amodule;
}

static void
no_trampolines (void)
{
        g_assert_not_reached ();
}

/*
 * Return the trampoline identified by NAME from the mscorlib AOT file.
 * On ppc64, this returns a function descriptor.
 */
gpointer
mono_aot_get_trampoline_full (const char *name, MonoTrampInfo **out_tinfo)
{
        MonoAotModule *amodule = get_mscorlib_aot_module ();

        if (mono_llvm_only) {
                *out_tinfo = NULL;
                return no_trampolines;
        }

        return mono_create_ftnptr_malloc ((guint8 *)load_function_full (amodule, name, out_tinfo));
}

gpointer
mono_aot_get_trampoline (const char *name)
{
        MonoTrampInfo *out_tinfo;
        gpointer code;

        code =  mono_aot_get_trampoline_full (name, &out_tinfo);
        mono_aot_tramp_info_register (out_tinfo, NULL);

        return code;
}

static gpointer
read_unwind_info (MonoAotModule *amodule, MonoTrampInfo *info, const char *symbol_name)
{
        gpointer symbol_addr;
        guint32 uw_offset, uw_info_len;
        guint8 *uw_info;

        find_amodule_symbol (amodule, symbol_name, &symbol_addr);

        if (!symbol_addr)
                return NULL;

        uw_offset = *(guint32*)symbol_addr;
        uw_info = amodule->unwind_info + uw_offset;
        uw_info_len = decode_value (uw_info, &uw_info);

        info->uw_info_len = uw_info_len;
        if (uw_info_len)
                info->uw_info = uw_info;
        else
                info->uw_info = NULL;

        /* If successful return the address of the following data */
        return (guint32*)symbol_addr + 1;
}

#ifdef MONOTOUCH
#include <mach/mach.h>

static TrampolinePage* trampoline_pages [MONO_AOT_TRAMP_NUM];

static void
read_page_trampoline_uwinfo (MonoTrampInfo *info, int tramp_type, gboolean is_generic)
{
        char symbol_name [128];

        if (tramp_type == MONO_AOT_TRAMP_SPECIFIC)
                sprintf (symbol_name, "specific_trampolines_page_%s_p", is_generic ? "gen" : "sp");
        else if (tramp_type == MONO_AOT_TRAMP_STATIC_RGCTX)
                sprintf (symbol_name, "rgctx_trampolines_page_%s_p", is_generic ? "gen" : "sp");
        else if (tramp_type == MONO_AOT_TRAMP_IMT)
                sprintf (symbol_name, "imt_trampolines_page_%s_p", is_generic ? "gen" : "sp");
        else if (tramp_type == MONO_AOT_TRAMP_GSHAREDVT_ARG)
                sprintf (symbol_name, "gsharedvt_trampolines_page_%s_p", is_generic ? "gen" : "sp");
        else
                g_assert_not_reached ();

        read_unwind_info (mono_defaults.corlib->aot_module, info, symbol_name);
}

static unsigned char*
get_new_trampoline_from_page (int tramp_type)
{
        MonoAotModule *amodule;
        MonoImage *image;
        TrampolinePage *page;
        int count;
        void *tpage;
        vm_address_t addr, taddr;
        kern_return_t ret;
        vm_prot_t prot, max_prot;
        int psize, specific_trampoline_size;
        unsigned char *code;

        specific_trampoline_size = 2 * sizeof (gpointer);

        mono_aot_page_lock ();
        page = trampoline_pages [tramp_type];
        if (page && page->trampolines < page->trampolines_end) {
                code = page->trampolines;
                page->trampolines += specific_trampoline_size;
                mono_aot_page_unlock ();
                return code;
        }
        mono_aot_page_unlock ();
        /* the trampoline template page is in the mscorlib module */
        image = mono_defaults.corlib;
        g_assert (image);

        psize = MONO_AOT_TRAMP_PAGE_SIZE;

        amodule = image->aot_module;
        g_assert (amodule);

        if (tramp_type == MONO_AOT_TRAMP_SPECIFIC)
                tpage = load_function (amodule, "specific_trampolines_page");
        else if (tramp_type == MONO_AOT_TRAMP_STATIC_RGCTX)
                tpage = load_function (amodule, "rgctx_trampolines_page");
        else if (tramp_type == MONO_AOT_TRAMP_IMT)
                tpage = load_function (amodule, "imt_trampolines_page");
        else if (tramp_type == MONO_AOT_TRAMP_GSHAREDVT_ARG)
                tpage = load_function (amodule, "gsharedvt_arg_trampolines_page");
        else
                g_error ("Incorrect tramp type for trampolines page");
        g_assert (tpage);
        /*g_warning ("loaded trampolines page at %x", tpage);*/

        /* avoid the unlikely case of looping forever */
        count = 40;
        page = NULL;
        while (page == NULL && count-- > 0) {
                MonoTrampInfo *gen_info, *sp_info;

                addr = 0;
                /* allocate two contiguous pages of memory: the first page will contain the data (like a local constant pool)
                 * while the second will contain the trampolines.
                 */
                do {
                        ret = vm_allocate (mach_task_self (), &addr, psize * 2, VM_FLAGS_ANYWHERE);
                } while (ret == KERN_ABORTED);
                if (ret != KERN_SUCCESS) {
                        g_error ("Cannot allocate memory for trampolines: %d", ret);
                        break;
                }
                /*g_warning ("allocated trampoline double page at %x", addr);*/
                /* replace the second page with a remapped trampoline page */
                taddr = addr + psize;
                vm_deallocate (mach_task_self (), taddr, psize);
                ret = vm_remap (mach_task_self (), &taddr, psize, 0, FALSE, mach_task_self(), (vm_address_t)tpage, FALSE, &prot, &max_prot, VM_INHERIT_SHARE);
                if (ret != KERN_SUCCESS) {
                        /* someone else got the page, try again  */
                        vm_deallocate (mach_task_self (), addr, psize);
                        continue;
                }
                /*g_warning ("remapped trampoline page at %x", taddr);*/

                mono_aot_page_lock ();
                page = trampoline_pages [tramp_type];
                /* some other thread already allocated, so use that to avoid wasting memory */
                if (page && page->trampolines < page->trampolines_end) {
                        code = page->trampolines;
                        page->trampolines += specific_trampoline_size;
                        mono_aot_page_unlock ();
                        vm_deallocate (mach_task_self (), addr, psize);
                        vm_deallocate (mach_task_self (), taddr, psize);
                        return code;
                }
                page = (TrampolinePage*)addr;
                page->next = trampoline_pages [tramp_type];
                trampoline_pages [tramp_type] = page;
                page->trampolines = (void*)(taddr + amodule->info.tramp_page_code_offsets [tramp_type]);
                page->trampolines_end = (void*)(taddr + psize - 64);
                code = page->trampolines;
                page->trampolines += specific_trampoline_size;
                mono_aot_page_unlock ();

                /* Register the generic part at the beggining of the trampoline page */
                gen_info = mono_tramp_info_create (NULL, (guint8*)taddr, amodule->info.tramp_page_code_offsets [tramp_type], NULL, NULL);
                read_page_trampoline_uwinfo (gen_info, tramp_type, TRUE);
                mono_aot_tramp_info_register (gen_info, NULL);
                /*
                 * FIXME
                 * Registering each specific trampoline produces a lot of
                 * MonoJitInfo structures. Jump trampolines are also registered
                 * separately.
                 */
                if (tramp_type != MONO_AOT_TRAMP_SPECIFIC) {
                        /* Register the rest of the page as a single trampoline */
                        sp_info = mono_tramp_info_create (NULL, code, page->trampolines_end - code, NULL, NULL);
                        read_page_trampoline_uwinfo (sp_info, tramp_type, FALSE);
                        mono_aot_tramp_info_register (sp_info, NULL);
                }
                return code;
        }
        g_error ("Cannot allocate more trampoline pages: %d", ret);
        return NULL;
}

#else
static unsigned char*
get_new_trampoline_from_page (int tramp_type)
{
        g_error ("Page trampolines not supported.");
        return NULL;
}
#endif


static gpointer
get_new_specific_trampoline_from_page (gpointer tramp, gpointer arg)
{
        void *code;
        gpointer *data;

        code = get_new_trampoline_from_page (MONO_AOT_TRAMP_SPECIFIC);

        data = (gpointer*)((char*)code - MONO_AOT_TRAMP_PAGE_SIZE);
        data [0] = arg;
        data [1] = tramp;
        /*g_warning ("new trampoline at %p for data %p, tramp %p (stored at %p)", code, arg, tramp, data);*/
        return code;

}

static gpointer
get_new_rgctx_trampoline_from_page (gpointer tramp, gpointer arg)
{
        void *code;
        gpointer *data;

        code = get_new_trampoline_from_page (MONO_AOT_TRAMP_STATIC_RGCTX);

        data = (gpointer*)((char*)code - MONO_AOT_TRAMP_PAGE_SIZE);
        data [0] = arg;
        data [1] = tramp;
        /*g_warning ("new rgctx trampoline at %p for data %p, tramp %p (stored at %p)", code, arg, tramp, data);*/
        return code;

}

static gpointer
get_new_imt_trampoline_from_page (gpointer arg)
{
        void *code;
        gpointer *data;

        code = get_new_trampoline_from_page (MONO_AOT_TRAMP_IMT);

        data = (gpointer*)((char*)code - MONO_AOT_TRAMP_PAGE_SIZE);
        data [0] = arg;
        /*g_warning ("new imt trampoline at %p for data %p, (stored at %p)", code, arg, data);*/
        return code;

}

static gpointer
get_new_gsharedvt_arg_trampoline_from_page (gpointer tramp, gpointer arg)
{
        void *code;
        gpointer *data;

        code = get_new_trampoline_from_page (MONO_AOT_TRAMP_GSHAREDVT_ARG);

        data = (gpointer*)((char*)code - MONO_AOT_TRAMP_PAGE_SIZE);
        data [0] = arg;
        data [1] = tramp;
        /*g_warning ("new rgctx trampoline at %p for data %p, tramp %p (stored at %p)", code, arg, tramp, data);*/
        return code;
}

/* Return a given kind of trampoline */
/* FIXME set unwind info for these trampolines */
static gpointer
get_numerous_trampoline (MonoAotTrampoline tramp_type, int n_got_slots, MonoAotModule **out_amodule, guint32 *got_offset, guint32 *out_tramp_size)
{
        MonoImage *image;
        MonoAotModule *amodule = get_mscorlib_aot_module ();
        int index, tramp_size;

        /* Currently, we keep all trampolines in the mscorlib AOT image */
        image = mono_defaults.corlib;

        *out_amodule = amodule;

        mono_aot_lock ();

#ifdef MONOTOUCH
#define MONOTOUCH_TRAMPOLINES_ERROR ". See http://docs.xamarin.com/ios/troubleshooting for instructions on how to fix this condition."
#else
#define MONOTOUCH_TRAMPOLINES_ERROR ""
#endif
        if (amodule->trampoline_index [tramp_type] == amodule->info.num_trampolines [tramp_type]) {
                g_error ("Ran out of trampolines of type %d in '%s' (limit %d)%s\n", 
                                 tramp_type, image ? image->name : "mscorlib", amodule->info.num_trampolines [tramp_type], MONOTOUCH_TRAMPOLINES_ERROR);
        }
        index = amodule->trampoline_index [tramp_type] ++;

        mono_aot_unlock ();

        *got_offset = amodule->info.trampoline_got_offset_base [tramp_type] + (index * n_got_slots);

        tramp_size = amodule->info.trampoline_size [tramp_type];

        if (out_tramp_size)
                *out_tramp_size = tramp_size;

        return amodule->trampolines [tramp_type] + (index * tramp_size);
}

static void
no_specific_trampoline (void)
{
        g_assert_not_reached ();
}

/*
 * Return a specific trampoline from the AOT file.
 */
gpointer
mono_aot_create_specific_trampoline (MonoImage *image, gpointer arg1, MonoTrampolineType tramp_type, MonoDomain *domain, guint32 *code_len)
{
        MonoAotModule *amodule;
        guint32 got_offset, tramp_size;
        guint8 *code, *tramp;
        static gpointer generic_trampolines [MONO_TRAMPOLINE_NUM];
        static gboolean inited;
        static guint32 num_trampolines;

        if (mono_llvm_only) {
                *code_len = 1;
                return no_specific_trampoline;
        }

        if (!inited) {
                mono_aot_lock ();

                if (!inited) {
                        mono_counters_register ("Specific trampolines", MONO_COUNTER_JIT | MONO_COUNTER_INT, &num_trampolines);
                        inited = TRUE;
                }

                mono_aot_unlock ();
        }

        num_trampolines ++;

        if (!generic_trampolines [tramp_type]) {
                char *symbol;

                symbol = mono_get_generic_trampoline_name (tramp_type);
                generic_trampolines [tramp_type] = mono_aot_get_trampoline (symbol);
                g_free (symbol);
        }

        tramp = (guint8 *)generic_trampolines [tramp_type];
        g_assert (tramp);

        if (USE_PAGE_TRAMPOLINES) {
                code = (guint8 *)get_new_specific_trampoline_from_page (tramp, arg1);
                tramp_size = 8;
        } else {
                code = (guint8 *)get_numerous_trampoline (MONO_AOT_TRAMP_SPECIFIC, 2, &amodule, &got_offset, &tramp_size);

                amodule->got [got_offset] = tramp;
                amodule->got [got_offset + 1] = arg1;
        }

        if (code_len)
                *code_len = tramp_size;

        return code;
}

gpointer
mono_aot_get_static_rgctx_trampoline (gpointer ctx, gpointer addr)
{
        MonoAotModule *amodule;
        guint8 *code;
        guint32 got_offset;

        if (USE_PAGE_TRAMPOLINES) {
                code = (guint8 *)get_new_rgctx_trampoline_from_page (addr, ctx);
        } else {
                code = (guint8 *)get_numerous_trampoline (MONO_AOT_TRAMP_STATIC_RGCTX, 2, &amodule, &got_offset, NULL);

                amodule->got [got_offset] = ctx;
                amodule->got [got_offset + 1] = addr; 
        }

        /* The caller expects an ftnptr */
        return mono_create_ftnptr (mono_domain_get (), code);
}

gpointer
mono_aot_get_unbox_trampoline (MonoMethod *method)
{
        ERROR_DECL (error);
        guint32 method_index = mono_metadata_token_index (method->token) - 1;
        MonoAotModule *amodule;
        gpointer code;
        guint32 *ut, *ut_end, *entry;
        int low, high, entry_index = 0;
        gpointer symbol_addr;
        MonoTrampInfo *tinfo;

        if (method->is_inflated && !mono_method_is_generic_sharable_full (method, FALSE, FALSE, FALSE)) {
                method_index = find_aot_method (method, &amodule);
                if (method_index == 0xffffff && mono_method_is_generic_sharable_full (method, FALSE, TRUE, FALSE)) {
                        MonoMethod *shared = mini_get_shared_method_full (method, SHARE_MODE_NONE, error);
                        mono_error_assert_ok (error);
                        method_index = find_aot_method (shared, &amodule);
                }
                if (method_index == 0xffffff && mono_method_is_generic_sharable_full (method, FALSE, TRUE, TRUE)) {
                        MonoMethod *shared = mini_get_shared_method_full (method, SHARE_MODE_GSHAREDVT, error);
                        mono_error_assert_ok (error);

                        method_index = find_aot_method (shared, &amodule);
                }
                g_assert (method_index != 0xffffff);
        } else {
                amodule = (MonoAotModule *)m_class_get_image (method->klass)->aot_module;
                g_assert (amodule);
        }

        if (amodule->info.llvm_get_unbox_tramp) {
                gpointer (*get_tramp) (int) = (gpointer (*)(int))amodule->info.llvm_get_unbox_tramp;
                code = get_tramp (method_index);

                if (code)
                        return code;
        }

        ut = amodule->unbox_trampolines;
        ut_end = amodule->unbox_trampolines_end;

        /* Do a binary search in the sorted table */
        code = NULL;
        low = 0;
        high = (ut_end - ut);
        while (low < high) {
                entry_index = (low + high) / 2;
                entry = &ut [entry_index];
                if (entry [0] < method_index) {
                        low = entry_index + 1;
                } else if (entry [0] > method_index) {
                        high = entry_index;
                } else {
                        break;
                }
        }

        code = get_call_table_entry (amodule->unbox_trampoline_addresses, entry_index);
        g_assert (code);

        tinfo = mono_tramp_info_create (NULL, (guint8 *)code, 0, NULL, NULL);

        symbol_addr = read_unwind_info (amodule, tinfo, "unbox_trampoline_p");
        if (!symbol_addr) {
                mono_tramp_info_free (tinfo);
                return FALSE;
        }

        tinfo->code_size = *(guint32*)symbol_addr;
        mono_aot_tramp_info_register (tinfo, NULL);

        /* The caller expects an ftnptr */
        return mono_create_ftnptr (mono_domain_get (), code);
}

gpointer
mono_aot_get_lazy_fetch_trampoline (guint32 slot)
{
        char *symbol;
        gpointer code;
        MonoAotModule *amodule = (MonoAotModule *)mono_defaults.corlib->aot_module;
        guint32 index = MONO_RGCTX_SLOT_INDEX (slot);
        static int count = 0;

        count ++;
        if (index >= amodule->info.num_rgctx_fetch_trampolines) {
                static gpointer addr;
                gpointer *info;

                /*
                 * Use the general version of the rgctx fetch trampoline. It receives a pair of <slot, trampoline> in the rgctx arg reg.
                 */
                if (!addr)
                        addr = load_function (amodule, "rgctx_fetch_trampoline_general");
                info = (void **)mono_domain_alloc0 (mono_get_root_domain (), sizeof (gpointer) * 2);
                info [0] = GUINT_TO_POINTER (slot);
                info [1] = mono_create_specific_trampoline (GUINT_TO_POINTER (slot), MONO_TRAMPOLINE_RGCTX_LAZY_FETCH, mono_get_root_domain (), NULL);
                code = mono_aot_get_static_rgctx_trampoline (info, addr);
                return mono_create_ftnptr (mono_domain_get (), code);
        }

        symbol = mono_get_rgctx_fetch_trampoline_name (slot);
        code = load_function ((MonoAotModule *)mono_defaults.corlib->aot_module, symbol);
        g_free (symbol);
        /* The caller expects an ftnptr */
        return mono_create_ftnptr (mono_domain_get (), code);
}

static void
no_imt_trampoline (void)
{
        g_assert_not_reached ();
}

gpointer
mono_aot_get_imt_trampoline (MonoVTable *vtable, MonoDomain *domain, MonoIMTCheckItem **imt_entries, int count, gpointer fail_tramp)
{
        guint32 got_offset;
        gpointer code;
        gpointer *buf;
        int i, index, real_count;
        MonoAotModule *amodule;

        if (mono_llvm_only)
                return no_imt_trampoline;

        real_count = 0;
        for (i = 0; i < count; ++i) {
                MonoIMTCheckItem *item = imt_entries [i];

                if (item->is_equals)
                        real_count ++;
        }

        /* Save the entries into an array */
        buf = (void **)mono_domain_alloc (domain, (real_count + 1) * 2 * sizeof (gpointer));
        index = 0;
        for (i = 0; i < count; ++i) {
                MonoIMTCheckItem *item = imt_entries [i];               

                if (!item->is_equals)
                        continue;

                g_assert (item->key);

                buf [(index * 2)] = item->key;
                if (item->has_target_code) {
                        gpointer *p = (gpointer *)mono_domain_alloc (domain, sizeof (gpointer));
                        *p = item->value.target_code;
                        buf [(index * 2) + 1] = p;
                } else {
                        buf [(index * 2) + 1] = &(vtable->vtable [item->value.vtable_slot]);
                }
                index ++;
        }
        buf [(index * 2)] = NULL;
        buf [(index * 2) + 1] = fail_tramp;
        
        if (USE_PAGE_TRAMPOLINES) {
                code = get_new_imt_trampoline_from_page (buf);
        } else {
                code = get_numerous_trampoline (MONO_AOT_TRAMP_IMT, 1, &amodule, &got_offset, NULL);

                amodule->got [got_offset] = buf;
        }

        return code;
}

gpointer
mono_aot_get_gsharedvt_arg_trampoline (gpointer arg, gpointer addr)
{
        MonoAotModule *amodule;
        guint8 *code;
        guint32 got_offset;

        if (USE_PAGE_TRAMPOLINES) {
                code = (guint8 *)get_new_gsharedvt_arg_trampoline_from_page (addr, arg);
        } else {
                code = (guint8 *)get_numerous_trampoline (MONO_AOT_TRAMP_GSHAREDVT_ARG, 2, &amodule, &got_offset, NULL);

                amodule->got [got_offset] = arg;
                amodule->got [got_offset + 1] = addr; 
        }

        /* The caller expects an ftnptr */
        return mono_create_ftnptr (mono_domain_get (), code);
}
 
/*
 * mono_aot_set_make_unreadable:
 *
 *   Set whenever to make all mmaped memory unreadable. In conjuction with a
 * SIGSEGV handler, this is useful to find out which pages the runtime tries to read.
 */
void
mono_aot_set_make_unreadable (gboolean unreadable)
{
        static int inited;

        make_unreadable = unreadable;

        if (make_unreadable && !inited) {
                mono_counters_register ("AOT: pagefaults", MONO_COUNTER_JIT | MONO_COUNTER_INT, &n_pagefaults);
        }               
}

typedef struct {
        MonoAotModule *module;
        guint8 *ptr;
} FindMapUserData;

static void
find_map (gpointer key, gpointer value, gpointer user_data)
{
        MonoAotModule *module = (MonoAotModule*)value;
        FindMapUserData *data = (FindMapUserData*)user_data;

        if (!data->module)
                if ((data->ptr >= module->mem_begin) && (data->ptr < module->mem_end))
                        data->module = module;
}

static MonoAotModule*
find_module_for_addr (void *ptr)
{
        FindMapUserData data;

        if (!make_unreadable)
                return NULL;

        data.module = NULL;
        data.ptr = (guint8*)ptr;

        mono_aot_lock ();
        g_hash_table_foreach (aot_modules, (GHFunc)find_map, &data);
        mono_aot_unlock ();

        return data.module;
}

/*
 * mono_aot_is_pagefault:
 *
 *   Should be called from a SIGSEGV signal handler to find out whenever @ptr is
 * within memory allocated by this module.
 */
gboolean
mono_aot_is_pagefault (void *ptr)
{
        if (!make_unreadable)
                return FALSE;

        /* 
         * Not signal safe, but SIGSEGV's are synchronous, and
         * this is only turned on by a MONO_DEBUG option.
         */
        return find_module_for_addr (ptr) != NULL;
}

/*
 * mono_aot_handle_pagefault:
 *
 *   Handle a pagefault caused by an unreadable page by making it readable again.
 */
void
mono_aot_handle_pagefault (void *ptr)
{
#ifndef HOST_WIN32
        guint8* start = (guint8*)ROUND_DOWN (((gssize)ptr), mono_pagesize ());
        int res;

        mono_aot_lock ();
        res = mono_mprotect (start, mono_pagesize (), MONO_MMAP_READ|MONO_MMAP_WRITE|MONO_MMAP_EXEC);
        g_assert (res == 0);

        n_pagefaults ++;
        mono_aot_unlock ();
#endif
}

#else
/* AOT disabled */

void
mono_aot_init (void)
{
}

void
mono_aot_cleanup (void)
{
}

guint32
mono_aot_find_method_index (MonoMethod *method)
{
        g_assert_not_reached ();
        return 0;
}

void
mono_aot_init_llvm_method (gpointer aot_module, guint32 method_index)
{
}

void
mono_aot_init_gshared_method_this (gpointer aot_module, guint32 method_index, MonoObject *this)
{
}

void
mono_aot_init_gshared_method_mrgctx (gpointer aot_module, guint32 method_index, MonoMethodRuntimeGenericContext *rgctx)
{
}

void
mono_aot_init_gshared_method_vtable (gpointer aot_module, guint32 method_index, MonoVTable *vtable)
{
}

gpointer
mono_aot_get_method (MonoDomain *domain,
                                         MonoMethod *method, MonoError *error)
{
        error_init (error);
        return NULL;
}

gboolean
mono_aot_is_got_entry (guint8 *code, guint8 *addr)
{
        return FALSE;
}

gboolean
mono_aot_get_cached_class_info (MonoClass *klass, MonoCachedClassInfo *res)
{
        return FALSE;
}

gboolean
mono_aot_get_class_from_name (MonoImage *image, const char *name_space, const char *name, MonoClass **klass)
{
        return FALSE;
}

MonoJitInfo *
mono_aot_find_jit_info (MonoDomain *domain, MonoImage *image, gpointer addr)
{
        return NULL;
}

gpointer
mono_aot_get_method_from_token (MonoDomain *domain, MonoImage *image, guint32 token, MonoError *error)
{
        error_init (error);
        return NULL;
}

guint8*
mono_aot_get_plt_entry (guint8 *code)
{
        return NULL;
}

gpointer
mono_aot_plt_resolve (gpointer aot_module, guint32 plt_info_offset, guint8 *code, MonoError *error)
{
        return NULL;
}

void
mono_aot_patch_plt_entry (guint8 *code, guint8 *plt_entry, gpointer *got, mgreg_t *regs, guint8 *addr)
{
}

gpointer
mono_aot_get_method_from_vt_slot (MonoDomain *domain, MonoVTable *vtable, int slot, MonoError *error)
{
        error_init (error);

        return NULL;
}

guint32
mono_aot_get_plt_info_offset (mgreg_t *regs, guint8 *code)
{
        g_assert_not_reached ();

        return 0;
}

gpointer
mono_aot_create_specific_trampoline (MonoImage *image, gpointer arg1, MonoTrampolineType tramp_type, MonoDomain *domain, guint32 *code_len)
{
        g_assert_not_reached ();
        return NULL;
}

gpointer
mono_aot_get_static_rgctx_trampoline (gpointer ctx, gpointer addr)
{
        g_assert_not_reached ();
        return NULL;
}

gpointer
mono_aot_get_trampoline_full (const char *name, MonoTrampInfo **out_tinfo)
{
        g_assert_not_reached ();
        return NULL;
}

gpointer
mono_aot_get_trampoline (const char *name)
{
        g_assert_not_reached ();
        return NULL;
}

gpointer
mono_aot_get_unbox_trampoline (MonoMethod *method)
{
        g_assert_not_reached ();
        return NULL;
}

gpointer
mono_aot_get_lazy_fetch_trampoline (guint32 slot)
{
        g_assert_not_reached ();
        return NULL;
}

gpointer
mono_aot_get_imt_trampoline (MonoVTable *vtable, MonoDomain *domain, MonoIMTCheckItem **imt_entries, int count, gpointer fail_tramp)
{
        g_assert_not_reached ();
        return NULL;
}       

gpointer
mono_aot_get_gsharedvt_arg_trampoline (gpointer arg, gpointer addr)
{
        g_assert_not_reached ();
        return NULL;
}

void
mono_aot_set_make_unreadable (gboolean unreadable)
{
}

gboolean
mono_aot_is_pagefault (void *ptr)
{
        return FALSE;
}

void
mono_aot_handle_pagefault (void *ptr)
{
}

guint8*
mono_aot_get_unwind_info (MonoJitInfo *ji, guint32 *unwind_info_len)
{
        g_assert_not_reached ();
        return NULL;
}

void
mono_aot_register_jit_icall (const char *name, gpointer addr)
{
}

GHashTable *
mono_aot_get_weak_field_indexes (MonoImage *image)
{
        return NULL;
}

#endif