* roottypes.cs: Rename from tree.cs.
[mono.git] / mono / mini / driver.c
index 040fe8066072ae5483e9fae4e51d127268ce4bf8..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,9 +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"
@@ -51,6 +51,10 @@ 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;
@@ -67,35 +71,44 @@ 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"},     
-       {"ssapre",   "SSA based Partial Redundancy Elimination"}
+       {"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_LOOP |  \
+       MONO_OPT_EXCEPTION |  \
        MONO_OPT_AOT)
 
 #define EXCLUDED_FROM_ALL (MONO_OPT_SHARED | MONO_OPT_PRECOMP)
@@ -234,7 +247,12 @@ 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_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
 };
@@ -325,7 +343,7 @@ mini_regression (MonoImage *image, int verbose, int *total_run) {
                                comp_time -= start_time; 
                                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
@@ -400,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
@@ -444,19 +464,20 @@ compile_all_methods_thread_main (CompileAllThreadArgs *args)
                        g_print ("Compiling %d %s\n", count, desc);
                        g_free (desc);
                }
-               cfg = mini_method_compile (method, DEFAULT_OPTIMIZATIONS, mono_get_root_domain (), FALSE, FALSE, 0);
+               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
@@ -490,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);
 }
 
@@ -546,6 +572,7 @@ mini_usage_jitdeveloper (void)
                 "    --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");
@@ -607,35 +634,19 @@ mini_trace_usage (void)
                 "    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 (unsupported, don't use)\n"
-#else
-       "\tGlobalization: normal\n"
-#endif /* HAVE_ICU */
+       "\tDisabled:      " DISABLED_FEATURES "\n"
        "";
 
 int
@@ -690,7 +701,7 @@ 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-2005 Novell, Inc and Contributors. www.mono-project.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 char *cerror;
@@ -758,6 +769,7 @@ mono_main (int argc, char* argv[])
                } 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
@@ -806,6 +818,26 @@ mono_main (int argc, char* argv[])
                } 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;
@@ -817,7 +849,10 @@ 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]);
        }
 
@@ -837,6 +872,22 @@ mono_main (int argc, char* argv[])
                        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]);
        
@@ -883,13 +934,15 @@ mono_main (int argc, char* argv[])
                break;
        }
 
-       if (enable_debugging) {
+       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);
        }
 
@@ -942,9 +995,26 @@ mono_main (int argc, char* argv[])
                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) {