#include <mono/metadata/mono-config.h>
#include <mono/metadata/environment.h>
#include <mono/metadata/verify.h>
+#include <mono/metadata/verify-internals.h>
#include <mono/metadata/mono-debug.h>
#include <mono/metadata/security-manager.h>
#include <mono/metadata/security-core-clr.h>
#include <mono/metadata/gc-internal.h>
+#include <mono/metadata/coree.h>
#include "mono/utils/mono-counters.h"
+#include <mono/os/gc_wrapper.h>
#include "mini.h"
#include "jit.h"
MONO_OPT_INTRINS | \
MONO_OPT_LOOP | \
MONO_OPT_EXCEPTION | \
+ MONO_OPT_CMOV | \
+ MONO_OPT_GSHARED | \
MONO_OPT_AOT)
#define EXCLUDED_FROM_ALL (MONO_OPT_SHARED | MONO_OPT_PRECOMP)
return opt;
}
+static gboolean
+parse_debug_options (const char* p)
+{
+ MonoDebugOptions *opt = mini_get_debug_options ();
+
+ do {
+ if (!*p) {
+ fprintf (stderr, "Syntax error; expected debug option name\n");
+ return FALSE;
+ }
+
+ if (!strncmp (p, "casts", 5)) {
+ opt->better_cast_details = TRUE;
+ p += 5;
+ } else if (!strncmp (p, "mdb-optimizations", 17)) {
+ opt->mdb_optimizations = TRUE;
+ p += 17;
+ } else {
+ fprintf (stderr, "Invalid debug option `%s', use --help-debug for details\n", p);
+ return FALSE;
+ }
+
+ if (*p == ',') {
+ p++;
+ if (!*p) {
+ fprintf (stderr, "Syntax error; expected debug option name\n");
+ return FALSE;
+ }
+ }
+ } while (*p);
+
+ return TRUE;
+}
+
typedef struct {
const char name [6];
const char desc [18];
MONO_OPT_BRANCH | MONO_OPT_PEEPHOLE | MONO_OPT_LINEARS | MONO_OPT_COPYPROP | MONO_OPT_CONSPROP | MONO_OPT_DEADCE | MONO_OPT_LOOP | MONO_OPT_INLINE | MONO_OPT_INTRINS,
MONO_OPT_BRANCH | MONO_OPT_PEEPHOLE | MONO_OPT_LINEARS | MONO_OPT_COPYPROP | MONO_OPT_CONSPROP | MONO_OPT_DEADCE | MONO_OPT_LOOP | MONO_OPT_INLINE | MONO_OPT_INTRINS | MONO_OPT_SSA,
MONO_OPT_BRANCH | MONO_OPT_PEEPHOLE | MONO_OPT_LINEARS | MONO_OPT_COPYPROP | MONO_OPT_CONSPROP | MONO_OPT_DEADCE | MONO_OPT_LOOP | MONO_OPT_INLINE | MONO_OPT_INTRINS | MONO_OPT_EXCEPTION,
+ MONO_OPT_BRANCH | MONO_OPT_PEEPHOLE | MONO_OPT_LINEARS | MONO_OPT_COPYPROP | MONO_OPT_CONSPROP | MONO_OPT_DEADCE | MONO_OPT_LOOP | MONO_OPT_INLINE | MONO_OPT_INTRINS | MONO_OPT_EXCEPTION | MONO_OPT_CMOV,
MONO_OPT_BRANCH | MONO_OPT_PEEPHOLE | MONO_OPT_LINEARS | MONO_OPT_COPYPROP | MONO_OPT_CONSPROP | MONO_OPT_DEADCE | MONO_OPT_LOOP | MONO_OPT_INLINE | MONO_OPT_INTRINS | MONO_OPT_EXCEPTION | MONO_OPT_ABCREM,
MONO_OPT_BRANCH | MONO_OPT_PEEPHOLE | MONO_OPT_LINEARS | MONO_OPT_COPYPROP | MONO_OPT_CONSPROP | MONO_OPT_DEADCE | MONO_OPT_LOOP | MONO_OPT_INLINE | MONO_OPT_INTRINS | MONO_OPT_EXCEPTION | MONO_OPT_ABCREM | MONO_OPT_SSAPRE,
MONO_OPT_BRANCH | MONO_OPT_PEEPHOLE | MONO_OPT_LINEARS | MONO_OPT_COPYPROP | MONO_OPT_CONSPROP | MONO_OPT_DEADCE | MONO_OPT_LOOP | MONO_OPT_INLINE | MONO_OPT_INTRINS | MONO_OPT_ABCREM,
while (free->next != NULL) {
JitInfoData *next = free->next->next;
- g_free (free->next->ji);
+ //g_free (free->next->ji);
g_free (free->next);
free->next = next;
if (region->num_datas > 0) {
JitInfoData **data = choose_random_data (region);
guint pos = (*data)->start + random () % (*data)->length;
- MonoJitInfo *ji = mono_jit_info_table_find (domain, (char*)(gulong) pos);
+ MonoJitInfo *ji;
+
+ ji = mono_jit_info_table_find (domain, (char*)(gulong) pos);
- g_assert ((*data)->ji == ji);
g_assert (ji->cas_inited);
+ g_assert ((*data)->ji == ji);
}
} else {
int pos = random () % MAX_ADDR;
char *addr = (char*)(gulong) pos;
- MonoJitInfo *ji = mono_jit_info_table_find (domain, addr);
+ MonoJitInfo *ji;
+ ji = mono_jit_info_table_find (domain, addr);
+
+ /*
+ * FIXME: We are actually not allowed
+ * to do this. By the time we examine
+ * the ji another thread might already
+ * have removed it.
+ */
if (ji != NULL) {
g_assert (addr >= (char*)ji->code_start && addr < (char*)ji->code_start + ji->code_size);
++lookup_successes;
mono_jit_info_table_remove (domain, (*data)->ji);
- (*data)->ji->cas_inited = 0; /* marks a free jit info */
+ //(*data)->ji->cas_inited = 0; /* marks a free jit info */
free = *data;
*data = (*data)->next;
MonoImage *image = mono_assembly_get_image (ass);
MonoMethod *method;
MonoCompile *cfg;
- int i, count = 0;
+ int i, count = 0, fail_count = 0;
for (i = 0; i < mono_image_get_table_rows (image, MONO_TABLE_METHOD); ++i) {
guint32 token = MONO_TOKEN_METHOD_DEF | (i + 1);
g_free (desc);
}
cfg = mini_method_compile (method, args->opts, mono_get_root_domain (), FALSE, FALSE, 0);
+ if (cfg->exception_type != MONO_EXCEPTION_NONE) {
+ printf ("Compilation of %s failed with exception '%s':\n", mono_method_full_name (cfg->method, TRUE), cfg->exception_message);
+ fail_count ++;
+ }
mono_destroy_compile (cfg);
}
+ if (fail_count)
+ exit (1);
}
static void
MainThreadArgs *main_args = user_data;
MonoAssembly *assembly;
- assembly = mono_domain_assembly_open (main_args->domain, main_args->file);
- if (!assembly){
- fprintf (stderr, "Can not open image %s\n", main_args->file);
- exit (1);
- }
-
if (mono_compile_aot) {
- int res = mono_compile_assembly (assembly, main_args->opts, main_args->aot_options);
- printf ("AOT RESULT %d\n", res);
+ int i, res;
+
+ /* Treat the other arguments as assemblies to compile too */
+ for (i = 0; i < main_args->argc; ++i) {
+ assembly = mono_domain_assembly_open (main_args->domain, main_args->argv [i]);
+ if (!assembly) {
+ fprintf (stderr, "Can not open image %s\n", main_args->argv [i]);
+ exit (1);
+ }
+ res = mono_compile_assembly (assembly, main_args->opts, main_args->aot_options);
+ if (res != 0) {
+ fprintf (stderr, "AOT of image %s failed.\n", main_args->argv [i]);
+ exit (1);
+ }
+ }
} else {
+ assembly = mono_domain_assembly_open (main_args->domain, main_args->file);
+ if (!assembly){
+ fprintf (stderr, "Can not open image %s\n", main_args->file);
+ exit (1);
+ }
+
/*
* This must be done in a thread managed by mono since it can invoke
* managed code.
" --regression Runs the regression test contained in the assembly\n"
" --statfile FILE Sets the stat file to FILE\n"
" --stats Print statistics about the JIT operations\n"
- " --wapi=hps|semdel IO-layer maintenance\n"
+ " --wapi=hps|semdel|seminfo IO-layer maintenance\n"
" --inject-async-exc METHOD OFFSET Inject an asynchronous exception at METHOD\n"
+ " --verify-all Run the verifier on all methods\n"
+ " --full-aot Avoid JITting any code\n"
"\n"
"Other options:\n"
" --graph[=TYPE] METHOD Draws a graph of the specified method:\n");
"\n"
"Development:\n"
" --aot Compiles the assembly to native code\n"
- " --debug Enable debugging support\n"
+ " --debug[=<options>] Enable debugging support, use --help-debug for details\n"
" --profile[=profiler] Runs in profiling mode with the specified profiler module\n"
" --trace[=EXPR] Enable tracing, use --help-trace for details\n"
" --help-devel Shows more options available to developers\n"
" disabled Don't print any output until toggled via SIGUSR2\n");
}
+static void
+mini_debug_usage (void)
+{
+ fprintf (stdout,
+ "Debugging options:\n"
+ " --debug[=OPTIONS] Enable debugging support, optional OPTIONS is a comma\n"
+ " separated list of options\n"
+ "\n"
+ "OPTIONS is composed of:\n"
+ " casts Enable more detailed InvalidCastException messages.\n"
+ " mdb-optimizations Disable some JIT optimizations which are normally\n"
+ " disabled when running inside the debugger.\n"
+ " This is useful if you plan to attach to the running\n"
+ " process with the debugger.\n");
+}
+
+#if defined(__arm__) && defined(__ARM_EABI__)
+/* Redefine ARCHITECTURE to include more information */
+#undef ARCHITECTURE
+#if G_BYTE_ORDER == G_LITTLE_ENDIAN
+#define ARCHITECTURE "armel"
+#else
+#define ARCHITECTURE "armeb"
+#endif
+#endif
+
static const char info[] =
#ifdef HAVE_KW_THREAD
"\tTLS: __thread\n"
#define error_if_aot_unsupported()
#endif
+#ifdef PLATFORM_WIN32
+BOOL APIENTRY DllMain (HMODULE module_handle, DWORD reason, LPVOID reserved)
+{
+ if (!GC_DllMain (module_handle, reason, reserved))
+ return FALSE;
+
+ switch (reason)
+ {
+ case DLL_PROCESS_ATTACH:
+ mono_install_runtime_load (mini_init);
+ break;
+ case DLL_PROCESS_DETACH:
+ if (coree_module_handle)
+ FreeLibrary (coree_module_handle);
+ break;
+ }
+ return TRUE;
+}
+#endif
+
int
mono_main (int argc, char* argv[])
{
} else if (strcmp (argv [i], "--verbose") == 0 || strcmp (argv [i], "-v") == 0) {
mini_verbose++;
} else if (strcmp (argv [i], "--version") == 0 || strcmp (argv [i], "-V") == 0) {
- g_print ("Mono JIT compiler version %s (%s)\nCopyright (C) 2002-2007 Novell, Inc and Contributors. www.mono-project.com\n", VERSION, FULL_VERSION);
+ g_print ("Mono JIT compiler version %s (%s)\nCopyright (C) 2002-2008 Novell, Inc and Contributors. www.mono-project.com\n", VERSION, FULL_VERSION);
g_print (info);
if (mini_verbose) {
const char *cerror;
} else if (strcmp (argv [i], "--help-devel") == 0){
mini_usage_jitdeveloper ();
return 0;
+ } else if (strcmp (argv [i], "--help-debug") == 0){
+ mini_debug_usage ();
+ return 0;
} else if (strcmp (argv [i], "--list-opt") == 0){
mini_usage_list_opt ();
return 0;
return 1;
}
mono_inject_async_exc_pos = atoi (argv [++i]);
+ } else if (strcmp (argv [i], "--verify-all") == 0) {
+ mono_verifier_enable_verify_all ();
+ } else if (strcmp (argv [i], "--full-aot") == 0) {
+ mono_aot_only = TRUE;
} else if (strcmp (argv [i], "--print-vtable") == 0) {
mono_print_vtable = TRUE;
} else if (strcmp (argv [i], "--stats") == 0) {
action = DO_DRAW;
} else if (strcmp (argv [i], "--debug") == 0) {
enable_debugging = TRUE;
+ } else if (strncmp (argv [i], "--debug=", 8) == 0) {
+ enable_debugging = TRUE;
+ if (!parse_debug_options (argv [i] + 8))
+ return 1;
} else if (strcmp (argv [i], "--security") == 0) {
/* fixme enable verifiable code when the verifier works with 2.0
* mini_verifier_set_mode (MINI_VERIFIER_MODE_VERIFIABLE);
mono_security_set_mode (MONO_SECURITY_MODE_CAS);
mono_activate_security_manager ();
} else if (strcmp (argv [i] + 11, "validil") == 0) {
- mini_verifier_set_mode (MINI_VERIFIER_MODE_VALID);
+ mono_verifier_set_mode (MONO_VERIFIER_MODE_VALID);
} else if (strcmp (argv [i] + 11, "verifiable") == 0) {
- mini_verifier_set_mode (MINI_VERIFIER_MODE_VERIFIABLE);
+ mono_verifier_set_mode (MONO_VERIFIER_MODE_VERIFIABLE);
} else {
fprintf (stderr, "error: --security= option has invalid argument (cas, core-clr, verifiable or validil)\n");
return 1;
return 1;
}
- if ((action == DO_EXEC) && g_getenv ("MONO_INSIDE_MDB"))
+ if ((action == DO_EXEC) && mono_debug_using_mono_debugger ())
action = DO_DEBUGGER;
if (mono_compile_aot || action == DO_EXEC || action == DO_DEBUGGER) {
}
if (action == DO_DEBUGGER) {
- // opt |= MONO_OPT_SHARED;
- opt &= ~MONO_OPT_INLINE;
- opt &= ~MONO_OPT_COPYPROP;
- opt &= ~MONO_OPT_CONSPROP;
enable_debugging = TRUE;
#ifdef MONO_DEBUGGER_SUPPORTED
mono_debug_init (MONO_DEBUG_FORMAT_MONO);
mono_set_defaults (mini_verbose, opt);
+ mono_setup_vtable_in_class_init = FALSE;
domain = mini_init (argv [i], forced_version);
switch (action) {
if ((method->iflags & METHOD_IMPL_ATTRIBUTE_INTERNAL_CALL) ||
(method->flags & METHOD_ATTRIBUTE_PINVOKE_IMPL)) {
MonoMethod *nm;
- nm = mono_marshal_get_native_wrapper (method, TRUE);
+ nm = mono_marshal_get_native_wrapper (method, TRUE, FALSE);
cfg = mini_method_compile (nm, opt, mono_get_root_domain (), FALSE, FALSE, part);
}
else
for (i = 0; i < count; ++i) {
if ((method->iflags & METHOD_IMPL_ATTRIBUTE_INTERNAL_CALL) ||
(method->flags & METHOD_ATTRIBUTE_PINVOKE_IMPL))
- method = mono_marshal_get_native_wrapper (method, TRUE);
+ method = mono_marshal_get_native_wrapper (method, TRUE, FALSE);
cfg = mini_method_compile (method, opt, mono_get_root_domain (), FALSE, FALSE, 0);
mono_destroy_compile (cfg);
/**
* mono_jit_init_version:
- * @file: the initial assembly to load
+ * @domain_name: the name of the root domain
* @runtime_version: the version of the runtime to load
*
* Use this version when you want to force a particular runtime
* was loaded.
*/
MonoDomain *
-mono_jit_init_version (const char *file, const char *runtime_version)
+mono_jit_init_version (const char *domain_name, const char *runtime_version)
{
- return mini_init (file, runtime_version);
+ return mini_init (domain_name, runtime_version);
}
void
{
mini_cleanup (domain);
}
+
+/**
+ * mono_jit_set_trace_options:
+ * @options: string representing the trace options
+ *
+ * Set the options of the tracing engine. This function can be called before initializing
+ * the mono runtime. See the --trace mono(1) manpage for the options format.
+ *
+ * Returns: #TRUE if the options where parsed and set correctly, #FALSE otherwise.
+ */
+gboolean
+mono_jit_set_trace_options (const char* options)
+{
+ MonoTraceSpec *trace_opt = mono_trace_parse_options (options);
+ if (trace_opt == NULL)
+ return FALSE;
+ mono_jit_trace_calls = trace_opt;
+ return TRUE;
+}
+