* roottypes.cs: Rename from tree.cs.
[mono.git] / mono / mini / driver.c
index d6af531824f8a9d50f60633270855d346b57a14b..58f900e7bc0f44b46e1bbb508208ca4c7220bf89 100644 (file)
@@ -6,7 +6,7 @@
  *   Dietmar Maurer (dietmar@ximian.com)
  *
  * (C) 2002-2003 Ximian, Inc.
- * (C) 2003-2004 Novell, Inc.
+ * (C) 2003-2006 Novell, Inc.
  */
 
 #include <config.h>
@@ -36,7 +36,9 @@
 #include <mono/metadata/environment.h>
 #include <mono/metadata/verify.h>
 #include <mono/metadata/mono-debug.h>
-#include <mono/metadata/mono-debug-debugger.h>
+#include <mono/metadata/security-manager.h>
+#include <mono/os/gc_wrapper.h>
+#include "mono/utils/mono-counters.h"
 
 #include "mini.h"
 #include "jit.h"
@@ -49,6 +51,15 @@ static FILE *mini_stats_fd = NULL;
 
 static void mini_usage (void);
 
+extern int mini_wapi_hps (int argc, char **argv);
+extern int mini_wapi_semdel (int argc, char **argv);
+extern int mini_wapi_seminfo (int argc, char **argv);
+
+/* This turns off command line globbing under win32 */
+#ifdef PLATFORM_WIN32
+int _CRT_glob = 0;
+#endif
+
 typedef void (*OptFunc) (const char *p);
 
 /* keep in sync with enum in mini.h */
@@ -60,35 +71,47 @@ typedef struct {
 
 static const OptName 
 opt_names [] = {
-       {"peephole", "Peephole postpass"},
-       {"branch",   "Branch optimizations"},
-       {"inline",   "Inline method calls"},
-       {"cfold",    "Constant folding"},
-       {"consprop", "Constant propagation"},
-       {"copyprop", "Copy propagation"},
-       {"deadce",   "Dead code elimination"},
-       {"linears",  "Linear scan global reg allocation"},
-       {"cmov",     "Conditional moves"},
-       {"shared",   "Emit per-domain code"},
-       {"sched",    "Instruction scheduling"},
-       {"intrins",  "Intrinsic method implementations"},
-       {"tailc",    "Tail recursion and tail calls"},
-       {"loop",     "Loop related optimizations"},
-       {"fcmov",    "Fast x86 FP compares"},
-       {"leaf",     "Leaf procedures optimizations"},
-       {"aot",      "Usage of Ahead Of Time compiled code"},
-       {"precomp",  "Precompile all methods before executing Main"},
-       {"abcrem",   "Array bound checks removal"}
+       {"peephole",   "Peephole postpass"},
+       {"branch",     "Branch optimizations"},
+       {"inline",     "Inline method calls"},
+       {"cfold",      "Constant folding"},
+       {"consprop",   "Constant propagation"},
+       {"copyprop",   "Copy propagation"},
+       {"deadce",     "Dead code elimination"},
+       {"linears",    "Linear scan global reg allocation"},
+       {"cmov",       "Conditional moves"},
+       {"shared",     "Emit per-domain code"},
+       {"sched",      "Instruction scheduling"},
+       {"intrins",    "Intrinsic method implementations"},
+       {"tailc",      "Tail recursion and tail calls"},
+       {"loop",       "Loop related optimizations"},
+       {"fcmov",      "Fast x86 FP compares"},
+       {"leaf",       "Leaf procedures optimizations"},
+       {"aot",        "Usage of Ahead Of Time compiled code"},
+       {"precomp",    "Precompile all methods before executing Main"},
+       {"abcrem",     "Array bound checks removal"},   
+       {"ssapre",     "SSA based Partial Redundancy Elimination"},
+       {"exception",  "Optimize exception catch blocks"},
+       {"ssa",        "Use plain SSA form"},
+       {"treeprop",   "Tree propagation"}
 };
 
 #define DEFAULT_OPTIMIZATIONS (        \
        MONO_OPT_PEEPHOLE |     \
        MONO_OPT_CFOLD |        \
+       MONO_OPT_INLINE |       \
+       MONO_OPT_CONSPROP |     \
+       MONO_OPT_COPYPROP |     \
+       MONO_OPT_TREEPROP |     \
+       MONO_OPT_DEADCE |       \
        MONO_OPT_BRANCH |       \
        MONO_OPT_LINEARS |      \
        MONO_OPT_INTRINS |  \
-    MONO_OPT_AOT)
+       MONO_OPT_LOOP |  \
+       MONO_OPT_EXCEPTION |  \
+       MONO_OPT_AOT)
 
+#define EXCLUDED_FROM_ALL (MONO_OPT_SHARED | MONO_OPT_PRECOMP)
 
 static guint32
 parse_optimizations (const char* p)
@@ -140,7 +163,7 @@ parse_optimizations (const char* p)
                                if (invert)
                                        opt = 0;
                                else
-                                       opt = ~(MONO_OPT_SHARED | MONO_OPT_PRECOMP | MONO_OPT_ABCREM | exclude);
+                                       opt = ~(EXCLUDED_FROM_ALL | exclude);
                                p += 3;
                                if (*p == ',')
                                        p++;
@@ -224,7 +247,14 @@ opt_sets [] = {
        MONO_OPT_BRANCH | MONO_OPT_PEEPHOLE | MONO_OPT_LINEARS | MONO_OPT_CFOLD,
        MONO_OPT_BRANCH | MONO_OPT_PEEPHOLE | MONO_OPT_LINEARS | MONO_OPT_COPYPROP | MONO_OPT_CONSPROP | MONO_OPT_DEADCE,
        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_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_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_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,
+       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_TREEPROP,
+       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_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 | MONO_OPT_SHARED
 };
 
 typedef int (*TestMethod) (void);
@@ -296,10 +326,10 @@ mini_regression (MonoImage *image, int verbose, int *total_run) {
                comp_time = elapsed = 0.0;
 
                /* fixme: ugly hack - delete all previously compiled methods */
-               for (i = 0; i < mono_image_get_table_rows (image, MONO_TABLE_METHOD); ++i) {
-                       method = mono_get_method (image, MONO_TOKEN_METHOD_DEF | (i + 1), NULL);
-                       method->info = NULL;
-               }
+               g_hash_table_destroy (mono_domain_get ()->jit_trampoline_hash);
+               mono_domain_get ()->jit_trampoline_hash = g_hash_table_new (mono_aligned_addr_hash, NULL);
+               g_hash_table_destroy (mono_domain_get ()->jit_code_hash);
+               mono_domain_get ()->jit_code_hash = g_hash_table_new (mono_aligned_addr_hash, NULL);
 
                g_timer_start (timer);
                if (mini_stats_fd)
@@ -311,9 +341,9 @@ mini_regression (MonoImage *image, int verbose, int *total_run) {
                                run++;
                                start_time = g_timer_elapsed (timer, NULL);
                                comp_time -= start_time; 
-                               cfg = mini_method_compile (method, opt_flags, mono_get_root_domain (), TRUE, 0);
+                               cfg = mini_method_compile (method, opt_flags, mono_get_root_domain (), TRUE, FALSE, 0);
                                comp_time += g_timer_elapsed (timer, NULL);
-                               if (cfg) {
+                               if (cfg->exception_type == MONO_EXCEPTION_NONE) {
                                        if (verbose >= 2)
                                                g_print ("Running '%s' ...\n", method->name);
 #ifdef MONO_USE_AOT_COMPILER
@@ -321,12 +351,12 @@ mini_regression (MonoImage *image, int verbose, int *total_run) {
                                                func = jinfo->code_start;
                                        else
 #endif
-                                               func = (TestMethod)cfg->native_code;
+                                               func = (TestMethod)(gpointer)cfg->native_code;
+                                       func = (TestMethod)mono_create_ftnptr (mono_get_root_domain (), func);
                                        result = func ();
                                        if (result != expected) {
                                                failed++;
-                                               if (verbose)
-                                                       g_print ("Test '%s' failed result (got %d, expected %d).\n", method->name, result, expected);
+                                               g_print ("Test '%s' failed result (got %d, expected %d).\n", method->name, result, expected);
                                        }
                                        code_size += cfg->code_len;
                                        mono_destroy_compile (cfg);
@@ -377,10 +407,9 @@ mini_regression_list (int verbose, int count, char *images [])
                }
                total += mini_regression (mono_assembly_get_image (ass), verbose, &run);
                total_run += run;
-               mono_assembly_close (ass);
        }
        g_print ("Overall results: tests: %d, failed: %d, opt combinations: %d (pass: %.2f%%)\n", 
-               total_run, total, G_N_ELEMENTS (opt_sets), 100.0*(total_run-total)/total_run);
+               total_run, total, (int)G_N_ELEMENTS (opt_sets), 100.0*(total_run-total)/total_run);
        return total;
 }
 
@@ -389,12 +418,14 @@ enum {
        DO_REGRESSION,
        DO_COMPILE,
        DO_EXEC,
-       DO_DRAW
+       DO_DRAW,
+       DO_DEBUGGER
 };
 
 typedef struct CompileAllThreadArgs {
        MonoAssembly *ass;
        int verbose;
+       guint32 opts;
 } CompileAllThreadArgs;
 
 static void
@@ -404,13 +435,27 @@ compile_all_methods_thread_main (CompileAllThreadArgs *args)
        int verbose = args->verbose;
        MonoImage *image = mono_assembly_get_image (ass);
        MonoMethod *method;
+       MonoCompile *cfg;
        int i, count = 0;
 
        for (i = 0; i < mono_image_get_table_rows (image, MONO_TABLE_METHOD); ++i) {
-               method = mono_get_method (image, MONO_TOKEN_METHOD_DEF | (i + 1), NULL);
-               if (method->flags & METHOD_ATTRIBUTE_ABSTRACT)
+               guint32 token = MONO_TOKEN_METHOD_DEF | (i + 1);
+               MonoMethodSignature *sig;
+
+               if (mono_metadata_has_generic_params (image, token))
                        continue;
-               if (method->iflags & METHOD_IMPL_ATTRIBUTE_INTERNAL_CALL)
+
+               method = mono_get_method (image, token, 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))
+                       continue;
+
+               if (method->klass->generic_container)
+                       continue;
+               sig = mono_method_signature (method);
+               if (sig->has_type_parameters)
                        continue;
 
                count++;
@@ -419,18 +464,20 @@ compile_all_methods_thread_main (CompileAllThreadArgs *args)
                        g_print ("Compiling %d %s\n", count, desc);
                        g_free (desc);
                }
-               mono_compile_method (method);
+               cfg = mini_method_compile (method, args->opts, mono_get_root_domain (), FALSE, FALSE, 0);
+               mono_destroy_compile (cfg);
        }
 
 }
 
 static void
-compile_all_methods (MonoAssembly *ass, int verbose)
+compile_all_methods (MonoAssembly *ass, int verbose, guint32 opts)
 {
        CompileAllThreadArgs args;
 
        args.ass = ass;
        args.verbose = verbose;
+       args.opts = opts;
 
        /* 
         * Need to create a mono thread since compilation might trigger
@@ -464,7 +511,12 @@ mono_jit_exec (MonoDomain *domain, MonoAssembly *assembly, int argc, char *argv[
        }
 
        method = mono_get_method (image, entry, NULL);
-
+       if (method == NULL){
+               g_print ("The entry point method could not be loaded\n");
+               mono_environment_exitcode_set (1);
+               return 1;
+       }
+       
        return mono_runtime_run_main (method, argc, argv, NULL);
 }
 
@@ -475,6 +527,7 @@ typedef struct
        int argc;
        char **argv;
        guint32 opts;
+       char *aot_options;
 } MainThreadArgs;
 
 static void main_thread_handler (gpointer user_data)
@@ -489,7 +542,7 @@ static void main_thread_handler (gpointer user_data)
        }
 
        if (mono_compile_aot) {
-               int res = mono_compile_assembly (assembly, main_args->opts);
+               int res = mono_compile_assembly (assembly, main_args->opts, main_args->aot_options);
                printf ("AOT RESULT %d\n", res);
        } else {
                /* 
@@ -504,45 +557,61 @@ static void main_thread_handler (gpointer user_data)
 }
 
 static void
-mini_usage (void)
+mini_usage_jitdeveloper (void)
 {
        int i;
-
+       
        fprintf (stdout,
-               "Usage is: mono [options] assembly\n\n"
-               "Runtime and JIT debugging:\n"
-               "    --compile METHOD       Just compile METHOD in assembly\n"
-               "    --ncompile N           Number of times to compile METHOD (default: 1)\n"
-               "    --regression           Runs the regression test contained in the assembly\n"
-               "    --print-vtable         Print the vtable of all used classes\n"
-               "    --trace[=EXPR]         Enable tracing, use --help-trace for details\n"
-               "    --compile-all          Compiles all the methods in the assembly\n"
-               "    --breakonex            Inserts a breakpoint on exceptions\n"
-               "    --break METHOD         Inserts a breakpoint at METHOD entry\n"
-               "    --debug                Enable debugging support\n"
-               "    --stats                Print statistics about the JIT operations\n"
-               "\n"
-               "Development:\n"
-               "    --statfile FILE        Sets the stat file to FILE\n"
-               "    --aot                  Compiles the assembly to native code\n"
-               "    --profile[=profiler]   Runs in profiling mode with the specified profiler module\n"
-               "    --graph[=TYPE] METHOD  Draws a graph of the specified method:\n");
+                "Runtime and JIT debugging options:\n"
+                "    --breakonex            Inserts a breakpoint on exceptions\n"
+                "    --break METHOD         Inserts a breakpoint at METHOD entry\n"
+                "    --compile METHOD       Just compile METHOD in assembly\n"
+                "    --compile-all          Compiles all the methods in the assembly\n"
+                "    --ncompile N           Number of times to compile METHOD (default: 1)\n"
+                "    --print-vtable         Print the vtable of all used classes\n"
+                "    --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"
+                "\n"
+                "Other options:\n" 
+                "    --graph[=TYPE] METHOD  Draws a graph of the specified method:\n");
        
        for (i = 0; i < G_N_ELEMENTS (graph_names); ++i) {
                fprintf (stdout, "                           %-10s %s\n", graph_names [i].name, graph_names [i].desc);
        }
+}
 
+static void
+mini_usage_list_opt (void)
+{
+       int i;
+       
+       for (i = 0; i < G_N_ELEMENTS (opt_names); ++i)
+               fprintf (stdout, "                           %-10s %s\n", opt_names [i].name, opt_names [i].desc);
+}
+
+static void
+mini_usage (void)
+{
        fprintf (stdout,
+               "Usage is: mono [options] program [program-options]\n"
+               "\n"
+               "Development:\n"
+               "    --aot                  Compiles the assembly to native code\n"
+               "    --debug                Enable debugging support\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"
                "\n"
                "Runtime:\n"
                "    --config FILE          Loads FILE as the Mono config\n"
                "    --verbose, -v          Increases the verbosity level\n"
                "    --help, -h             Show usage information\n"
                "    --version, -V          Show version information\n"
-               "    --optimize=OPT         Turns on a specific optimization:\n");
-
-       for (i = 0; i < G_N_ELEMENTS (opt_names); ++i)
-               fprintf (stdout, "                           %-10s %s\n", opt_names [i].name, opt_names [i].desc);
+               "    --optimize=OPT         Turns on or off a specific optimization\n"
+               "                           Use --list-opt to get a list of optimizations\n"
+               "    --security             Turns on the security manager (unsupported, default is off)\n");
 }
 
 static void
@@ -561,38 +630,23 @@ mini_trace_usage (void)
                 "    N:Namespace          Specifies a namespace\n"
                 "    T:Type               Specifies a type\n"
                 "    +EXPR                Includes expression\n"
-                "    -EXPR                Excludes expression\n");
+                "    -EXPR                Excludes expression\n"
+                "    disabled             Don't print any output until toggled via SIGUSR2\n");
 }
 
-static const char *info = ""
+static const char info[] =
 #ifdef HAVE_KW_THREAD
        "\tTLS:           __thread\n"
 #else
        "\tTLS:           normal\n"
 #endif /* HAVE_KW_THREAD */
-#ifdef HAVE_BOEHM_GC
-#ifdef USE_INCLUDED_LIBGC
-       "\tGC:            Included Boehm (with typed GC)\n"
-#else
-#if HAVE_GC_GCJ_MALLOC
-       "\tGC:            System Boehm (with typed GC)\n"
-#else
-       "\tGC:            System Boehm (no typed GC available)\n"
-#endif
-#endif
-#else
-       "\tGC:            none\n"
-#endif /* HAVE_BOEHM_GC */
+       "\tGC:            " USED_GC_NAME "\n"
 #ifdef MONO_ARCH_SIGSEGV_ON_ALTSTACK
-    "\tSIGSEGV      : altstack\n"
+    "\tSIGSEGV:       altstack\n"
 #else
-    "\tSIGSEGV      : normal\n"
+    "\tSIGSEGV:       normal\n"
 #endif
-#ifdef HAVE_ICU
-       "\tGlobalization: ICU\n"
-#else
-       "\tGlobalization: none\n"
-#endif /* HAVE_ICU */
+       "\tDisabled:      " DISABLED_FEATURES "\n"
        "";
 
 int
@@ -611,12 +665,32 @@ mono_main (int argc, char* argv[])
        guint32 opt, action = DO_EXEC;
        MonoGraphOptions mono_graph_options = 0;
        int mini_verbose = 0;
+       gboolean enable_profile = FALSE;
        char *trace_options = NULL;
+       char *profile_options = NULL;
+       char *aot_options = NULL;
 
        setlocale (LC_ALL, "");
+
+       if (mono_running_on_valgrind () && getenv ("MONO_VALGRIND_LEAK_CHECK")) {
+               GMemVTable mem_vtable;
+
+               /* 
+                * Instruct glib to use the system allocation functions so valgrind
+                * can track the memory allocated by the g_... functions.
+                */
+               memset (&mem_vtable, 0, sizeof (mem_vtable));
+               mem_vtable.malloc = malloc;
+               mem_vtable.realloc = realloc;
+               mem_vtable.free = free;
+               mem_vtable.calloc = calloc;
+
+               g_mem_set_vtable (&mem_vtable);
+       }
+
        g_log_set_always_fatal (G_LOG_LEVEL_ERROR);
        g_log_set_fatal_mask (G_LOG_DOMAIN, G_LOG_LEVEL_ERROR);
-       
+
        opt = parse_optimizations (NULL);
 
        for (i = 1; i < argc; ++i) {
@@ -627,11 +701,11 @@ 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, (C) 2002-2004 Novell, Inc and Contributors. www.go-mono.com\n", VERSION);
+                       g_print ("Mono JIT compiler version %s, (C) 2002-2006 Novell, Inc and Contributors. www.mono-project.com\n", VERSION);
                        g_print (info);
                        if (mini_verbose) {
-                               const guchar *cerror;
-                               const guchar *clibpath;
+                               const char *cerror;
+                               const char *clibpath;
                                mono_init ("mono");
                                cerror = mono_check_corlib_version ();
                                clibpath = mono_defaults.corlib? mono_image_get_filename (mono_defaults.corlib): "unknown";
@@ -649,51 +723,121 @@ mono_main (int argc, char* argv[])
                } else if (strcmp (argv [i], "--help-trace") == 0){
                        mini_trace_usage ();
                        return 0;
+               } else if (strcmp (argv [i], "--help-devel") == 0){
+                       mini_usage_jitdeveloper ();
+                       return 0;
+               } else if (strcmp (argv [i], "--list-opt") == 0){
+                       mini_usage_list_opt ();
+                       return 0;
                } else if (strncmp (argv [i], "--statfile", 10) == 0) {
+                       if (i + 1 >= argc){
+                               fprintf (stderr, "error: --statfile requires a filename argument\n");
+                               return 1;
+                       }
                        mini_stats_fd = fopen (argv [++i], "w+");
                } else if (strncmp (argv [i], "--optimize=", 11) == 0) {
                        opt = parse_optimizations (argv [i] + 11);
                } else if (strncmp (argv [i], "-O=", 3) == 0) {
                        opt = parse_optimizations (argv [i] + 3);
                } else if (strcmp (argv [i], "--config") == 0) {
+                       if (i +1 >= argc){
+                               fprintf (stderr, "error: --config requires a filename argument\n");
+                               return 1;
+                       }
                        config_file = argv [++i];
                } else if (strcmp (argv [i], "--ncompile") == 0) {
+                       if (i + 1 >= argc){
+                               fprintf (stderr, "error: --ncompile requires an argument\n");
+                               return 1;
+                       }
                        count = atoi (argv [++i]);
                        action = DO_BENCH;
                } else if (strcmp (argv [i], "--trace") == 0) {
-                       trace_options = "";
+                       trace_options = (char*)"";
                } else if (strncmp (argv [i], "--trace=", 8) == 0) {
                        trace_options = &argv [i][8];
                } else if (strcmp (argv [i], "--breakonex") == 0) {
                        mono_break_on_exc = TRUE;
                } else if (strcmp (argv [i], "--break") == 0) {
+                       if (i+1 >= argc){
+                               fprintf (stderr, "Missing method name in --break command line option\n");
+                               return 1;
+                       }
+                       
                        if (!mono_debugger_insert_breakpoint (argv [++i], FALSE))
-                               g_error ("Invalid method name '%s'", argv [i]);
+                               fprintf (stderr, "Error: invalid method name '%s'\n", argv [i]);
                } else if (strcmp (argv [i], "--print-vtable") == 0) {
                        mono_print_vtable = TRUE;
                } else if (strcmp (argv [i], "--stats") == 0) {
+                       mono_counters_enable (-1);
+                       mono_stats.enabled = TRUE;
                        mono_jit_stats.enabled = TRUE;
+#ifndef DISABLE_AOT
                } else if (strcmp (argv [i], "--aot") == 0) {
                        mono_compile_aot = TRUE;
+               } else if (strncmp (argv [i], "--aot=", 6) == 0) {
+                       mono_compile_aot = TRUE;
+                       aot_options = &argv [i][6];
+#endif
                } else if (strcmp (argv [i], "--compile-all") == 0) {
                        action = DO_COMPILE;
                } else if (strcmp (argv [i], "--profile") == 0) {
-                       mono_profiler_load (NULL);
+                       enable_profile = TRUE;
+                       profile_options = NULL;
                } else if (strncmp (argv [i], "--profile=", 10) == 0) {
-                       mono_profiler_load (argv [i] + 10);
+                       enable_profile = TRUE;
+                       profile_options = argv [i] + 10;
                } else if (strcmp (argv [i], "--compile") == 0) {
+                       if (i + 1 >= argc){
+                               fprintf (stderr, "error: --compile option requires a method name argument\n");
+                               return 1;
+                       }
+                       
                        mname = argv [++i];
                        action = DO_BENCH;
                } else if (strncmp (argv [i], "--graph=", 8) == 0) {
+                       if (i + 1 >= argc){
+                               fprintf (stderr, "error: --graph option requires a method name argument\n");
+                               return 1;
+                       }
+                       
                        mono_graph_options = mono_parse_graph_options (argv [i] + 8);
                        mname = argv [++i];
                        action = DO_DRAW;
                } else if (strcmp (argv [i], "--graph") == 0) {
+                       if (i + 1 >= argc){
+                               fprintf (stderr, "error: --graph option requires a method name argument\n");
+                               return 1;
+                       }
+                       
                        mname = argv [++i];
                        mono_graph_options = MONO_GRAPH_CFG;
                        action = DO_DRAW;
                } else if (strcmp (argv [i], "--debug") == 0) {
                        enable_debugging = TRUE;
+               } else if (strcmp (argv [i], "--security") == 0) {
+                       mono_use_security_manager = TRUE;
+                       mono_activate_security_manager ();
+               } else if (strcmp (argv [i], "--desktop") == 0) {
+#if defined (HAVE_BOEHM_GC)
+                       GC_dont_expand = 1;
+#endif
+                       /* Put desktop-specific optimizations here */
+               } else if (strcmp (argv [i], "--server") == 0){
+                       /* Put server-specific optimizations here */
+               } else if (strcmp (argv [i], "--inside-mdb") == 0) {
+                       action = DO_DEBUGGER;
+               } else if (strncmp (argv [i], "--wapi=", 7) == 0) {
+                       if (strcmp (argv [i] + 7, "hps") == 0) {
+                               return mini_wapi_hps (argc - i, argv + i);
+                       } else if (strcmp (argv [i] + 7, "semdel") == 0) {
+                               return mini_wapi_semdel (argc - i, argv + i);
+                       } else if (strcmp (argv [i] + 7, "seminfo") == 0) {
+                               return mini_wapi_seminfo (argc - i, argv + i);
+                       } else {
+                               fprintf (stderr, "Invalid --wapi suboption: '%s'\n", argv [i]);
+                               return 1;
+                       }
                } else {
                        fprintf (stderr, "Unknown command line option: '%s'\n", argv [i]);
                        return 1;
@@ -705,10 +849,45 @@ mono_main (int argc, char* argv[])
                return 1;
        }
 
-       if (mono_compile_aot || action == DO_EXEC) {
+       if ((action == DO_EXEC) && g_getenv ("MONO_INSIDE_MDB"))
+               action = DO_DEBUGGER;
+
+       if (mono_compile_aot || action == DO_EXEC || action == DO_DEBUGGER) {
                g_set_prgname (argv[i]);
        }
 
+       if (enable_profile) {
+               /* Needed because of TLS accesses in mono_profiler_load () */
+               MONO_GC_PRE_INIT ();
+               mono_profiler_load (profile_options);
+       }
+
+       if (trace_options != NULL){
+               /* 
+                * Need to call this before mini_init () so we can trace methods 
+                * compiled there too.
+                */
+               mono_jit_trace_calls = mono_trace_parse_options (trace_options);
+               if (mono_jit_trace_calls == NULL)
+                       exit (1);
+       }
+
+       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_DEBUGGER);
+               mono_debugger_init ();
+#else
+               g_print ("The Mono Debugger is not supported on this platform.\n");
+               return 1;
+#endif
+       }
+
        mono_set_defaults (mini_verbose, opt);
        domain = mini_init (argv [i]);
        
@@ -755,11 +934,15 @@ mono_main (int argc, char* argv[])
                break;
        }
 
-       if (enable_debugging)
-               mono_debug_init (domain, MONO_DEBUG_FORMAT_MONO);
+       if (action == DO_DEBUGGER)
+               mono_debug_init_1 (domain);
+       else if (enable_debugging) {
+               mono_debug_init (MONO_DEBUG_FORMAT_MONO);
+               mono_debug_init_1 (domain);
+       }
 
        /* Parse gac loading options before loading assemblies. */
-       if (mono_compile_aot || action == DO_EXEC) {
+       if (mono_compile_aot || action == DO_EXEC || action == DO_DEBUGGER) {
                mono_config_parse (config_file);
        }
 
@@ -770,17 +953,14 @@ mono_main (int argc, char* argv[])
                return 2;
        }
 
-       if (trace_options != NULL){
-               mono_jit_trace_calls = mono_trace_parse_options (assembly, trace_options);
-               if (mono_jit_trace_calls == NULL)
-                       exit (1);
-       }
+       if (trace_options != NULL)
+               mono_trace_set_assembly (assembly);
 
        if (enable_debugging)
                mono_debug_init_2 (assembly);
 
        if (mono_compile_aot || action == DO_EXEC) {
-               const guchar *error;
+               const char *error;
 
                //mono_set_rootdir ();
 
@@ -791,22 +971,50 @@ mono_main (int argc, char* argv[])
                        exit (1);
                }
 
+#ifdef PLATFORM_WIN32
+               /* Detach console when executing IMAGE_SUBSYSTEM_WINDOWS_GUI on win32 */
+               if (!mono_compile_aot && ((MonoCLIImageInfo*)(mono_assembly_get_image (assembly)->image_info))->cli_header.nt.pe_subsys_required == IMAGE_SUBSYSTEM_WINDOWS_GUI)
+                       FreeConsole ();
+#endif
+
                main_args.domain = domain;
                main_args.file = aname;         
                main_args.argc = argc - i;
                main_args.argv = argv + i;
                main_args.opts = opt;
-            
+               main_args.aot_options = aot_options;
+#if RUN_IN_SUBTHREAD
                mono_runtime_exec_managed_code (domain, main_thread_handler, &main_args);
+#else
+               main_thread_handler (&main_args);
+               mono_thread_manage ();
+#endif
                mini_cleanup (domain);
 
                /* Look up return value from System.Environment.ExitCode */
                i = mono_environment_exitcode_get ();
                return i;
        } else if (action == DO_COMPILE) {
-               compile_all_methods (assembly, mini_verbose);
+               compile_all_methods (assembly, mini_verbose, opt);
+               mini_cleanup (domain);
+               return 0;
+       } else if (action == DO_DEBUGGER) {
+#ifdef MONO_DEBUGGER_SUPPORTED
+               const char *error;
+
+               error = mono_check_corlib_version ();
+               if (error) {
+                       fprintf (stderr, "Corlib not in sync with this runtime: %s\n", error);
+                       fprintf (stderr, "Download a newer corlib or a newer runtime at http://www.go-mono.com/daily.\n");
+                       exit (1);
+               }
+
+               mono_debugger_main (domain, assembly, argc - i, argv + i);
                mini_cleanup (domain);
                return 0;
+#else
+               return 1;
+#endif
        }
        desc = mono_method_desc_new (mname, 0);
        if (!desc) {
@@ -842,7 +1050,14 @@ mono_main (int argc, char* argv[])
                        break;
                }
 
-               cfg = mini_method_compile (method, opt, mono_get_root_domain (), FALSE, part);
+               if ((method->iflags & METHOD_IMPL_ATTRIBUTE_INTERNAL_CALL) ||
+                       (method->flags & METHOD_ATTRIBUTE_PINVOKE_IMPL)) {
+                       MonoMethod *nm;
+                       nm = mono_marshal_get_native_wrapper (method);
+                       cfg = mini_method_compile (nm, opt, mono_get_root_domain (), FALSE, FALSE, part);
+               }
+               else
+                       cfg = mini_method_compile (method, opt, mono_get_root_domain (), FALSE, FALSE, part);
                if ((mono_graph_options & MONO_GRAPH_CFG_SSA) && !(cfg->comp_done & MONO_COMP_SSA)) {
                        g_warning ("no SSA info available (use -O=deadce)");
                        return 1;
@@ -874,7 +1089,7 @@ mono_main (int argc, char* argv[])
                                opt = opt_sets [i];
                                g_timer_start (timer);
                                for (j = 0; j < count; ++j) {
-                                       cfg = mini_method_compile (method, opt, mono_get_root_domain (), FALSE, 0);
+                                       cfg = mini_method_compile (method, opt, mono_get_root_domain (), FALSE, FALSE, 0);
                                        mono_destroy_compile (cfg);
                                }
                                g_timer_stop (timer);
@@ -897,12 +1112,12 @@ mono_main (int argc, char* argv[])
                                        (method->flags & METHOD_ATTRIBUTE_PINVOKE_IMPL))
                                        method = mono_marshal_get_native_wrapper (method);
 
-                               cfg = mini_method_compile (method, opt, mono_get_root_domain (), FALSE, 0);
+                               cfg = mini_method_compile (method, opt, mono_get_root_domain (), FALSE, FALSE, 0);
                                mono_destroy_compile (cfg);
                        }
                }
        } else {
-               cfg = mini_method_compile (method, opt, mono_get_root_domain (), FALSE, 0);
+               cfg = mini_method_compile (method, opt, mono_get_root_domain (), FALSE, FALSE, 0);
                mono_destroy_compile (cfg);
        }
 
@@ -921,5 +1136,3 @@ mono_jit_cleanup (MonoDomain *domain)
 {
        mini_cleanup (domain);
 }
-
-