mono/mini/driver.c

   1 /*
   2  * driver.c: The new mono JIT compiler.
   3  *
   4  * Author:
   5  *   Paolo Molaro (lupus@ximian.com)
   6  *   Dietmar Maurer (dietmar@ximian.com)
   7  *
   8  * (C) 2002-2003 Ximian, Inc.
   9  * (C) 2003-2006 Novell, Inc.
  10  * Licensed under the MIT license. See LICENSE file in the project root for full license information.
  11  */
  12
  13 #include <config.h>
  14 #ifdef HAVE_SIGNAL_H
  15 #include <signal.h>
  16 #endif
  17 #if HAVE_SCHED_SETAFFINITY
  18 #include <sched.h>
  19 #endif
  20 #ifdef HAVE_UNISTD_H
  21 #include <unistd.h>
  22 #endif
  23
  24 #include <mono/metadata/assembly.h>
  25 #include <mono/metadata/loader.h>
  26 #include <mono/metadata/tabledefs.h>
  27 #include <mono/metadata/class.h>
  28 #include <mono/metadata/object.h>
  29 #include <mono/metadata/exception.h>
  30 #include <mono/metadata/opcodes.h>
  31 #include <mono/metadata/mono-endian.h>
  32 #include <mono/metadata/tokentype.h>
  33 #include <mono/metadata/tabledefs.h>
  34 #include <mono/metadata/threads.h>
  35 #include <mono/metadata/marshal.h>
  36 #include <mono/metadata/socket-io.h>
  37 #include <mono/metadata/appdomain.h>
  38 #include <mono/metadata/debug-helpers.h>
  39 #include <mono/io-layer/io-layer.h>
  40 #include "mono/metadata/profiler.h"
  41 #include <mono/metadata/profiler-private.h>
  42 #include <mono/metadata/mono-config.h>
  43 #include <mono/metadata/environment.h>
  44 #include <mono/metadata/verify.h>
  45 #include <mono/metadata/verify-internals.h>
  46 #include <mono/metadata/mono-debug.h>
  47 #include <mono/metadata/security-manager.h>
  48 #include <mono/metadata/security-core-clr.h>
  49 #include <mono/metadata/gc-internals.h>
  50 #include <mono/metadata/coree.h>
  51 #include <mono/metadata/attach.h>
  52 #include "mono/utils/mono-counters.h"
  53 #include "mono/utils/mono-hwcap.h"
  54 #include "mono/utils/mono-logger-internals.h"
  55
  56 #include "mini.h"
  57 #include "jit.h"
  58 #include "aot-compiler.h"
  59
  60 #include <string.h>
  61 #include <ctype.h>
  62 #include <locale.h>
  63 #include "version.h"
  64 #include "debugger-agent.h"
  65 #if TARGET_OSX
  66 #   include <sys/resource.h>
  67 #endif
  68
  69 static FILE *mini_stats_fd;
  70
  71 static void mini_usage (void);
  72
  73 #ifdef HOST_WIN32
  74 /* Need this to determine whether to detach console */
  75 #include <mono/metadata/cil-coff.h>
  76 /* This turns off command line globbing under win32 */
  77 int _CRT_glob = 0;
  78 #endif
  79
  80 typedef void (*OptFunc) (const char *p);
  81
  82 #undef OPTFLAG
  83 #ifdef HAVE_ARRAY_ELEM_INIT
  84 #define MSGSTRFIELD(line) MSGSTRFIELD1(line)
  85 #define MSGSTRFIELD1(line) str##line
  86
  87 static const struct msgstr_t {
  88 #define OPTFLAG(id,shift,name,desc) char MSGSTRFIELD(__LINE__) [sizeof (name) + sizeof (desc)];
  89 #include "optflags-def.h"
  90 #undef OPTFLAG
  91 } opstr = {
  92 #define OPTFLAG(id,shift,name,desc) name "\0" desc,
  93 #include "optflags-def.h"
  94 #undef OPTFLAG
  95 };
  96 static const gint16 opt_names [] = {
  97 #define OPTFLAG(id,shift,name,desc) [(shift)] = offsetof (struct msgstr_t, MSGSTRFIELD(__LINE__)),
  98 #include "optflags-def.h"
  99 #undef OPTFLAG
 100 };
 101
 102 #define optflag_get_name(id) ((const char*)&opstr + opt_names [(id)])
 103 #define optflag_get_desc(id) (optflag_get_name(id) + 1 + strlen (optflag_get_name(id)))
 104
 105 #else /* !HAVE_ARRAY_ELEM_INIT */
 106 typedef struct {
 107         const char* name;
 108         const char* desc;
 109 } OptName;
 110
 111 #define OPTFLAG(id,shift,name,desc) {name,desc},
 112 static const OptName
 113 opt_names [] = {
 114 #include "optflags-def.h"
 115         {NULL, NULL}
 116 };
 117 #define optflag_get_name(id) (opt_names [(id)].name)
 118 #define optflag_get_desc(id) (opt_names [(id)].desc)
 119
 120 #endif
 121
 122 static const OptFunc
 123 opt_funcs [sizeof (int) * 8] = {
 124         NULL
 125 };
 126
 127 #ifdef __native_client_codegen__
 128 extern gint8 nacl_align_byte;
 129 #endif
 130 #ifdef __native_client__
 131 extern char *nacl_mono_path;
 132 #endif
 133
 134 #define DEFAULT_OPTIMIZATIONS ( \
 135         MONO_OPT_PEEPHOLE |     \
 136         MONO_OPT_CFOLD |        \
 137         MONO_OPT_INLINE |       \
 138         MONO_OPT_CONSPROP |     \
 139         MONO_OPT_COPYPROP |     \
 140         MONO_OPT_DEADCE |       \
 141         MONO_OPT_BRANCH |       \
 142         MONO_OPT_LINEARS |      \
 143         MONO_OPT_INTRINS |  \
 144         MONO_OPT_LOOP |  \
 145         MONO_OPT_EXCEPTION |  \
 146     MONO_OPT_CMOV |  \
 147         MONO_OPT_GSHARED |      \
 148         MONO_OPT_SIMD | \
 149         MONO_OPT_ALIAS_ANALYSIS | \
 150         MONO_OPT_AOT)
 151
 152 #define EXCLUDED_FROM_ALL (MONO_OPT_SHARED | MONO_OPT_PRECOMP | MONO_OPT_UNSAFE | MONO_OPT_GSHAREDVT | MONO_OPT_FLOAT32)
 153
 154 static guint32
 155 parse_optimizations (guint32 opt, const char* p, gboolean cpu_opts)
 156 {
 157         guint32 exclude = 0;
 158         const char *n;
 159         int i, invert, len;
 160
 161         /* Initialize the hwcap module if necessary. */
 162         mono_hwcap_init ();
 163
 164         /* call out to cpu detection code here that sets the defaults ... */
 165         if (cpu_opts) {
 166                 opt |= mono_arch_cpu_optimizations (&exclude);
 167                 opt &= ~exclude;
 168         }
 169         if (!p)
 170                 return opt;
 171
 172         while (*p) {
 173                 if (*p == '-') {
 174                         p++;
 175                         invert = TRUE;
 176                 } else {
 177                         invert = FALSE;
 178                 }
 179                 for (i = 0; i < G_N_ELEMENTS (opt_names) && optflag_get_name (i); ++i) {
 180                         n = optflag_get_name (i);
 181                         len = strlen (n);
 182                         if (strncmp (p, n, len) == 0) {
 183                                 if (invert)
 184                                         opt &= ~ (1 << i);
 185                                 else
 186                                         opt |= 1 << i;
 187                                 p += len;
 188                                 if (*p == ',') {
 189                                         p++;
 190                                         break;
 191                                 } else if (*p == '=') {
 192                                         p++;
 193                                         if (opt_funcs [i])
 194                                                 opt_funcs [i] (p);
 195                                         while (*p && *p++ != ',');
 196                                         break;
 197                                 }
 198                                 /* error out */
 199                                 break;
 200                         }
 201                 }
 202                 if (i == G_N_ELEMENTS (opt_names) || !optflag_get_name (i)) {
 203                         if (strncmp (p, "all", 3) == 0) {
 204                                 if (invert)
 205                                         opt = 0;
 206                                 else
 207                                         opt = ~(EXCLUDED_FROM_ALL | exclude);
 208                                 p += 3;
 209                                 if (*p == ',')
 210                                         p++;
 211                         } else {
 212                                 fprintf (stderr, "Invalid optimization name `%s'\n", p);
 213                                 exit (1);
 214                         }
 215                 }
 216         }
 217         return opt;
 218 }
 219
 220 static gboolean
 221 parse_debug_options (const char* p)
 222 {
 223         MonoDebugOptions *opt = mini_get_debug_options ();
 224
 225         do {
 226                 if (!*p) {
 227                         fprintf (stderr, "Syntax error; expected debug option name\n");
 228                         return FALSE;
 229                 }
 230
 231                 if (!strncmp (p, "casts", 5)) {
 232                         opt->better_cast_details = TRUE;
 233                         p += 5;
 234                 } else if (!strncmp (p, "mdb-optimizations", 17)) {
 235                         opt->mdb_optimizations = TRUE;
 236                         p += 17;
 237                 } else if (!strncmp (p, "gdb", 3)) {
 238                         opt->gdb = TRUE;
 239                         p += 3;
 240                 } else {
 241                         fprintf (stderr, "Invalid debug option `%s', use --help-debug for details\n", p);
 242                         return FALSE;
 243                 }
 244
 245                 if (*p == ',') {
 246                         p++;
 247                         if (!*p) {
 248                                 fprintf (stderr, "Syntax error; expected debug option name\n");
 249                                 return FALSE;
 250                         }
 251                 }
 252         } while (*p);
 253
 254         return TRUE;
 255 }
 256
 257 typedef struct {
 258         const char name [6];
 259         const char desc [18];
 260         MonoGraphOptions value;
 261 } GraphName;
 262
 263 static const GraphName
 264 graph_names [] = {
 265         {"cfg",      "Control Flow",                            MONO_GRAPH_CFG},
 266         {"dtree",    "Dominator Tree",                          MONO_GRAPH_DTREE},
 267         {"code",     "CFG showing code",                        MONO_GRAPH_CFG_CODE},
 268         {"ssa",      "CFG after SSA",                           MONO_GRAPH_CFG_SSA},
 269         {"optc",     "CFG after IR opts",                       MONO_GRAPH_CFG_OPTCODE}
 270 };
 271
 272 static MonoGraphOptions
 273 mono_parse_graph_options (const char* p)
 274 {
 275         const char *n;
 276         int i, len;
 277
 278         for (i = 0; i < G_N_ELEMENTS (graph_names); ++i) {
 279                 n = graph_names [i].name;
 280                 len = strlen (n);
 281                 if (strncmp (p, n, len) == 0)
 282                         return graph_names [i].value;
 283         }
 284
 285         fprintf (stderr, "Invalid graph name provided: %s\n", p);
 286         exit (1);
 287 }
 288
 289 int
 290 mono_parse_default_optimizations (const char* p)
 291 {
 292         guint32 opt;
 293
 294         opt = parse_optimizations (DEFAULT_OPTIMIZATIONS, p, TRUE);
 295         return opt;
 296 }
 297
 298 char*
 299 mono_opt_descr (guint32 flags) {
 300         GString *str = g_string_new ("");
 301         int i, need_comma;
 302
 303         need_comma = 0;
 304         for (i = 0; i < G_N_ELEMENTS (opt_names); ++i) {
 305                 if (flags & (1 << i) && optflag_get_name (i)) {
 306                         if (need_comma)
 307                                 g_string_append_c (str, ',');
 308                         g_string_append (str, optflag_get_name (i));
 309                         need_comma = 1;
 310                 }
 311         }
 312         return g_string_free (str, FALSE);
 313 }
 314
 315 static const guint32
 316 opt_sets [] = {
 317        0,
 318        MONO_OPT_PEEPHOLE,
 319        MONO_OPT_BRANCH,
 320        MONO_OPT_CFOLD,
 321        MONO_OPT_FCMOV,
 322        MONO_OPT_ALIAS_ANALYSIS,
 323 #ifdef MONO_ARCH_SIMD_INTRINSICS
 324        MONO_OPT_SIMD,
 325        MONO_OPT_SSE2,
 326        MONO_OPT_SIMD | MONO_OPT_SSE2,
 327 #endif
 328        MONO_OPT_BRANCH | MONO_OPT_PEEPHOLE | MONO_OPT_INTRINS,
 329        MONO_OPT_BRANCH | MONO_OPT_PEEPHOLE | MONO_OPT_INTRINS | MONO_OPT_ALIAS_ANALYSIS,
 330        MONO_OPT_BRANCH | MONO_OPT_PEEPHOLE | MONO_OPT_LINEARS,
 331        MONO_OPT_BRANCH | MONO_OPT_PEEPHOLE | MONO_OPT_LINEARS | MONO_OPT_COPYPROP,
 332        MONO_OPT_BRANCH | MONO_OPT_PEEPHOLE | MONO_OPT_LINEARS | MONO_OPT_CFOLD,
 333        MONO_OPT_BRANCH | MONO_OPT_PEEPHOLE | MONO_OPT_LINEARS | MONO_OPT_COPYPROP | MONO_OPT_CONSPROP | MONO_OPT_DEADCE,
 334        MONO_OPT_BRANCH | MONO_OPT_PEEPHOLE | MONO_OPT_LINEARS | MONO_OPT_COPYPROP | MONO_OPT_CONSPROP | MONO_OPT_DEADCE | MONO_OPT_ALIAS_ANALYSIS,
 335        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,
 336        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_TAILC,
 337        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,
 338        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,
 339        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,
 340        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,
 341        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,
 342        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,
 343        DEFAULT_OPTIMIZATIONS,
 344 };
 345
 346 typedef int (*TestMethod) (void);
 347
 348 #if 0
 349 static void
 350 domain_dump_native_code (MonoDomain *domain) {
 351         // need to poke into the domain, move to metadata/domain.c
 352         // need to empty jit_info_table and code_mp
 353 }
 354 #endif
 355
 356 static void
 357 mini_regression_step (MonoImage *image, int verbose, int *total_run, int *total,
 358                 guint32 opt_flags,
 359                 GTimer *timer, MonoDomain *domain)
 360 {
 361         int result, expected, failed, cfailed, run, code_size;
 362         TestMethod func;
 363         double elapsed, comp_time, start_time;
 364         char *n;
 365         int i;
 366
 367         mono_set_defaults (verbose, opt_flags);
 368         n = mono_opt_descr (opt_flags);
 369         g_print ("Test run: image=%s, opts=%s\n", mono_image_get_filename (image), n);
 370         g_free (n);
 371         cfailed = failed = run = code_size = 0;
 372         comp_time = elapsed = 0.0;
 373
 374         /* fixme: ugly hack - delete all previously compiled methods */
 375         if (domain_jit_info (domain)) {
 376                 g_hash_table_destroy (domain_jit_info (domain)->jit_trampoline_hash);
 377                 domain_jit_info (domain)->jit_trampoline_hash = g_hash_table_new (mono_aligned_addr_hash, NULL);
 378                 mono_internal_hash_table_destroy (&(domain->jit_code_hash));
 379                 mono_jit_code_hash_init (&(domain->jit_code_hash));
 380         }
 381
 382         g_timer_start (timer);
 383         if (mini_stats_fd)
 384                 fprintf (mini_stats_fd, "[");
 385         for (i = 0; i < mono_image_get_table_rows (image, MONO_TABLE_METHOD); ++i) {
 386                 MonoError error;
 387                 MonoMethod *method = mono_get_method_checked (image, MONO_TOKEN_METHOD_DEF | (i + 1), NULL, NULL, &error);
 388                 if (!method) {
 389                         mono_error_cleanup (&error); /* FIXME don't swallow the error */
 390                         continue;
 391                 }
 392                 if (strncmp (method->name, "test_", 5) == 0) {
 393                         MonoCompile *cfg;
 394
 395                         expected = atoi (method->name + 5);
 396                         run++;
 397                         start_time = g_timer_elapsed (timer, NULL);
 398                         comp_time -= start_time;
 399                         cfg = mini_method_compile (method, mono_get_optimizations_for_method (method, opt_flags), mono_get_root_domain (), JIT_FLAG_RUN_CCTORS, 0, -1);
 400                         comp_time += g_timer_elapsed (timer, NULL);
 401                         if (cfg->exception_type == MONO_EXCEPTION_NONE) {
 402                                 if (verbose >= 2)
 403                                         g_print ("Running '%s' ...\n", method->name);
 404 #ifdef MONO_USE_AOT_COMPILER
 405                                 if ((func = (TestMethod)mono_aot_get_method (mono_get_root_domain (), method)))
 406                                         ;
 407                                 else
 408 #endif
 409                                         func = (TestMethod)(gpointer)cfg->native_code;
 410                                 func = (TestMethod)mono_create_ftnptr (mono_get_root_domain (), func);
 411                                 result = func ();
 412                                 if (result != expected) {
 413                                         failed++;
 414                                         g_print ("Test '%s' failed result (got %d, expected %d).\n", method->name, result, expected);
 415                                 }
 416                                 code_size += cfg->code_len;
 417                                 mono_destroy_compile (cfg);
 418
 419                         } else {
 420                                 cfailed++;
 421                                 g_print ("Test '%s' failed compilation.\n", method->name);
 422                         }
 423                         if (mini_stats_fd)
 424                                 fprintf (mini_stats_fd, "%f, ",
 425                                                 g_timer_elapsed (timer, NULL) - start_time);
 426                 }
 427         }
 428         if (mini_stats_fd)
 429                 fprintf (mini_stats_fd, "],\n");
 430         g_timer_stop (timer);
 431         elapsed = g_timer_elapsed (timer, NULL);
 432         if (failed > 0 || cfailed > 0){
 433                 g_print ("Results: total tests: %d, failed: %d, cfailed: %d (pass: %.2f%%)\n",
 434                                 run, failed, cfailed, 100.0*(run-failed-cfailed)/run);
 435         } else {
 436                 g_print ("Results: total tests: %d, all pass \n",  run);
 437         }
 438
 439         g_print ("Elapsed time: %f secs (%f, %f), Code size: %d\n\n", elapsed,
 440                         elapsed - comp_time, comp_time, code_size);
 441         *total += failed + cfailed;
 442         *total_run += run;
 443 }
 444
 445 static int
 446 mini_regression (MonoImage *image, int verbose, int *total_run)
 447 {
 448         guint32 i, opt;
 449         MonoMethod *method;
 450         char *n;
 451         GTimer *timer = g_timer_new ();
 452         MonoDomain *domain = mono_domain_get ();
 453         guint32 exclude = 0;
 454         int total;
 455
 456         /* Note: mono_hwcap_init () called in mono_init () before we get here. */
 457         mono_arch_cpu_optimizations (&exclude);
 458
 459         if (mini_stats_fd) {
 460                 fprintf (mini_stats_fd, "$stattitle = \'Mono Benchmark Results (various optimizations)\';\n");
 461
 462                 fprintf (mini_stats_fd, "$graph->set_legend(qw(");
 463                 for (opt = 0; opt < G_N_ELEMENTS (opt_sets); opt++) {
 464                         guint32 opt_flags = opt_sets [opt];
 465                         n = mono_opt_descr (opt_flags);
 466                         if (!n [0])
 467                                 n = (char *)"none";
 468                         if (opt)
 469                                 fprintf (mini_stats_fd, " ");
 470                         fprintf (mini_stats_fd, "%s", n);
 471
 472
 473                 }
 474                 fprintf (mini_stats_fd, "));\n");
 475
 476                 fprintf (mini_stats_fd, "@data = (\n");
 477                 fprintf (mini_stats_fd, "[");
 478         }
 479
 480         /* load the metadata */
 481         for (i = 0; i < mono_image_get_table_rows (image, MONO_TABLE_METHOD); ++i) {
 482                 MonoError error;
 483                 method = mono_get_method_checked (image, MONO_TOKEN_METHOD_DEF | (i + 1), NULL, NULL, &error);
 484                 if (!method) {
 485                         mono_error_cleanup (&error);
 486                         continue;
 487                 }
 488                 mono_class_init (method->klass);
 489
 490                 if (!strncmp (method->name, "test_", 5) && mini_stats_fd) {
 491                         fprintf (mini_stats_fd, "\"%s\",", method->name);
 492                 }
 493         }
 494         if (mini_stats_fd)
 495                 fprintf (mini_stats_fd, "],\n");
 496
 497
 498         total = 0;
 499         *total_run = 0;
 500         if (mono_do_single_method_regression) {
 501                 GSList *iter;
 502
 503                 mini_regression_step (image, verbose, total_run, &total,
 504                                 0,
 505                                 timer, domain);
 506                 if (total)
 507                         return total;
 508                 g_print ("Single method regression: %d methods\n", g_slist_length (mono_single_method_list));
 509
 510                 for (iter = mono_single_method_list; iter; iter = g_slist_next (iter)) {
 511                         char *method_name;
 512
 513                         mono_current_single_method = (MonoMethod *)iter->data;
 514
 515                         method_name = mono_method_full_name (mono_current_single_method, TRUE);
 516                         g_print ("Current single method: %s\n", method_name);
 517                         g_free (method_name);
 518
 519                         mini_regression_step (image, verbose, total_run, &total,
 520                                         0,
 521                                         timer, domain);
 522                         if (total)
 523                                 return total;
 524                 }
 525         } else {
 526                 for (opt = 0; opt < G_N_ELEMENTS (opt_sets); ++opt) {
 527                         mini_regression_step (image, verbose, total_run, &total,
 528                                         opt_sets [opt] & ~exclude,
 529                                         timer, domain);
 530                 }
 531         }
 532
 533         if (mini_stats_fd) {
 534                 fprintf (mini_stats_fd, ");\n");
 535                 fflush (mini_stats_fd);
 536         }
 537
 538         g_timer_destroy (timer);
 539         return total;
 540 }
 541
 542 static int
 543 mini_regression_list (int verbose, int count, char *images [])
 544 {
 545         int i, total, total_run, run;
 546         MonoAssembly *ass;
 547
 548         total_run =  total = 0;
 549         for (i = 0; i < count; ++i) {
 550                 ass = mono_assembly_open (images [i], NULL);
 551                 if (!ass) {
 552                         g_warning ("failed to load assembly: %s", images [i]);
 553                         continue;
 554                 }
 555                 total += mini_regression (mono_assembly_get_image (ass), verbose, &run);
 556                 total_run += run;
 557         }
 558         if (total > 0){
 559                 g_print ("Overall results: tests: %d, failed: %d, opt combinations: %d (pass: %.2f%%)\n",
 560                          total_run, total, (int)G_N_ELEMENTS (opt_sets), 100.0*(total_run-total)/total_run);
 561         } else {
 562                 g_print ("Overall results: tests: %d, 100%% pass, opt combinations: %d\n",
 563                          total_run, (int)G_N_ELEMENTS (opt_sets));
 564         }
 565
 566         return total;
 567 }
 568
 569 #ifdef MONO_JIT_INFO_TABLE_TEST
 570 typedef struct _JitInfoData
 571 {
 572         guint start;
 573         guint length;
 574         MonoJitInfo *ji;
 575         struct _JitInfoData *next;
 576 } JitInfoData;
 577
 578 typedef struct
 579 {
 580         guint start;
 581         guint length;
 582         int num_datas;
 583         JitInfoData *data;
 584 } Region;
 585
 586 typedef struct
 587 {
 588         int num_datas;
 589         int num_regions;
 590         Region *regions;
 591         int num_frees;
 592         JitInfoData *frees;
 593 } ThreadData;
 594
 595 static int num_threads;
 596 static ThreadData *thread_datas;
 597 static MonoDomain *test_domain;
 598
 599 static JitInfoData*
 600 alloc_random_data (Region *region)
 601 {
 602         JitInfoData **data;
 603         JitInfoData *prev;
 604         guint prev_end;
 605         guint next_start;
 606         guint max_len;
 607         JitInfoData *d;
 608         int num_retries = 0;
 609         int pos, i;
 610
 611  restart:
 612         prev = NULL;
 613         data = &region->data;
 614         pos = random () % (region->num_datas + 1);
 615         i = 0;
 616         while (*data != NULL) {
 617                 if (i++ == pos)
 618                         break;
 619                 prev = *data;
 620                 data = &(*data)->next;
 621         }
 622
 623         if (prev == NULL)
 624                 g_assert (*data == region->data);
 625         else
 626                 g_assert (prev->next == *data);
 627
 628         if (prev == NULL)
 629                 prev_end = region->start;
 630         else
 631                 prev_end = prev->start + prev->length;
 632
 633         if (*data == NULL)
 634                 next_start = region->start + region->length;
 635         else
 636                 next_start = (*data)->start;
 637
 638         g_assert (prev_end <= next_start);
 639
 640         max_len = next_start - prev_end;
 641         if (max_len < 128) {
 642                 if (++num_retries >= 10)
 643                         return NULL;
 644                 goto restart;
 645         }
 646         if (max_len > 1024)
 647                 max_len = 1024;
 648
 649         d = g_new0 (JitInfoData, 1);
 650         d->start = prev_end + random () % (max_len / 2);
 651         d->length = random () % MIN (max_len, next_start - d->start) + 1;
 652
 653         g_assert (d->start >= prev_end && d->start + d->length <= next_start);
 654
 655         d->ji = g_new0 (MonoJitInfo, 1);
 656         d->ji->d.method = (MonoMethod*) 0xABadBabe;
 657         d->ji->code_start = (gpointer)(gulong) d->start;
 658         d->ji->code_size = d->length;
 659         d->ji->cas_inited = 1;  /* marks an allocated jit info */
 660
 661         d->next = *data;
 662         *data = d;
 663
 664         ++region->num_datas;
 665
 666         return d;
 667 }
 668
 669 static JitInfoData**
 670 choose_random_data (Region *region)
 671 {
 672         int n;
 673         int i;
 674         JitInfoData **d;
 675
 676         g_assert (region->num_datas > 0);
 677
 678         n = random () % region->num_datas;
 679
 680         for (d = &region->data, i = 0;
 681              i < n;
 682              d = &(*d)->next, ++i)
 683                 ;
 684
 685         return d;
 686 }
 687
 688 static Region*
 689 choose_random_region (ThreadData *td)
 690 {
 691         return &td->regions [random () % td->num_regions];
 692 }
 693
 694 static ThreadData*
 695 choose_random_thread (void)
 696 {
 697         return &thread_datas [random () % num_threads];
 698 }
 699
 700 static void
 701 free_jit_info_data (ThreadData *td, JitInfoData *free)
 702 {
 703         free->next = td->frees;
 704         td->frees = free;
 705
 706         if (++td->num_frees >= 1000) {
 707                 int i;
 708
 709                 for (i = 0; i < 500; ++i)
 710                         free = free->next;
 711
 712                 while (free->next != NULL) {
 713                         JitInfoData *next = free->next->next;
 714
 715                         //g_free (free->next->ji);
 716                         g_free (free->next);
 717                         free->next = next;
 718
 719                         --td->num_frees;
 720                 }
 721         }
 722 }
 723
 724 #define NUM_THREADS             8
 725 #define REGIONS_PER_THREAD      10
 726 #define REGION_SIZE             0x10000
 727
 728 #define MAX_ADDR                (REGION_SIZE * REGIONS_PER_THREAD * NUM_THREADS)
 729
 730 #define MODE_ALLOC      1
 731 #define MODE_FREE       2
 732
 733 static void
 734 test_thread_func (ThreadData *td)
 735 {
 736         int mode = MODE_ALLOC;
 737         int i = 0;
 738         gulong lookup_successes = 0, lookup_failures = 0;
 739         MonoDomain *domain = test_domain;
 740         int thread_num = (int)(td - thread_datas);
 741         gboolean modify_thread = thread_num < NUM_THREADS / 2; /* only half of the threads modify the table */
 742
 743         for (;;) {
 744                 int alloc;
 745                 int lookup = 1;
 746
 747                 if (td->num_datas == 0) {
 748                         lookup = 0;
 749                         alloc = 1;
 750                 } else if (modify_thread && random () % 1000 < 5) {
 751                         lookup = 0;
 752                         if (mode == MODE_ALLOC)
 753                                 alloc = (random () % 100) < 70;
 754                         else if (mode == MODE_FREE)
 755                                 alloc = (random () % 100) < 30;
 756                 }
 757
 758                 if (lookup) {
 759                         /* modify threads sometimes look up their own jit infos */
 760                         if (modify_thread && random () % 10 < 5) {
 761                                 Region *region = choose_random_region (td);
 762
 763                                 if (region->num_datas > 0) {
 764                                         JitInfoData **data = choose_random_data (region);
 765                                         guint pos = (*data)->start + random () % (*data)->length;
 766                                         MonoJitInfo *ji;
 767
 768                                         ji = mono_jit_info_table_find (domain, (char*)(gulong) pos);
 769
 770                                         g_assert (ji->cas_inited);
 771                                         g_assert ((*data)->ji == ji);
 772                                 }
 773                         } else {
 774                                 int pos = random () % MAX_ADDR;
 775                                 char *addr = (char*)(gulong) pos;
 776                                 MonoJitInfo *ji;
 777
 778                                 ji = mono_jit_info_table_find (domain, addr);
 779
 780                                 /*
 781                                  * FIXME: We are actually not allowed
 782                                  * to do this.  By the time we examine
 783                                  * the ji another thread might already
 784                                  * have removed it.
 785                                  */
 786                                 if (ji != NULL) {
 787                                         g_assert (addr >= (char*)ji->code_start && addr < (char*)ji->code_start + ji->code_size);
 788                                         ++lookup_successes;
 789                                 } else
 790                                         ++lookup_failures;
 791                         }
 792                 } else if (alloc) {
 793                         JitInfoData *data = alloc_random_data (choose_random_region (td));
 794
 795                         if (data != NULL) {
 796                                 mono_jit_info_table_add (domain, data->ji);
 797
 798                                 ++td->num_datas;
 799                         }
 800                 } else {
 801                         Region *region = choose_random_region (td);
 802
 803                         if (region->num_datas > 0) {
 804                                 JitInfoData **data = choose_random_data (region);
 805                                 JitInfoData *free;
 806
 807                                 mono_jit_info_table_remove (domain, (*data)->ji);
 808
 809                                 //(*data)->ji->cas_inited = 0; /* marks a free jit info */
 810
 811                                 free = *data;
 812                                 *data = (*data)->next;
 813
 814                                 free_jit_info_data (td, free);
 815
 816                                 --region->num_datas;
 817                                 --td->num_datas;
 818                         }
 819                 }
 820
 821                 if (++i % 100000 == 0) {
 822                         int j;
 823                         g_print ("num datas %d (%ld - %ld): %d", (int)(td - thread_datas),
 824                                  lookup_successes, lookup_failures, td->num_datas);
 825                         for (j = 0; j < td->num_regions; ++j)
 826                                 g_print ("  %d", td->regions [j].num_datas);
 827                         g_print ("\n");
 828                 }
 829
 830                 if (td->num_datas < 100)
 831                         mode = MODE_ALLOC;
 832                 else if (td->num_datas > 2000)
 833                         mode = MODE_FREE;
 834         }
 835 }
 836
 837 /*
 838 static void
 839 small_id_thread_func (gpointer arg)
 840 {
 841         MonoThread *thread = mono_thread_current ();
 842         MonoThreadHazardPointers *hp = mono_hazard_pointer_get ();
 843
 844         g_print ("my small id is %d\n", (int)thread->small_id);
 845         mono_hazard_pointer_clear (hp, 1);
 846         sleep (3);
 847         g_print ("done %d\n", (int)thread->small_id);
 848 }
 849 */
 850
 851 static void
 852 jit_info_table_test (MonoDomain *domain)
 853 {
 854         int i;
 855
 856         g_print ("testing jit_info_table\n");
 857
 858         num_threads = NUM_THREADS;
 859         thread_datas = g_new0 (ThreadData, num_threads);
 860
 861         for (i = 0; i < num_threads; ++i) {
 862                 int j;
 863
 864                 thread_datas [i].num_regions = REGIONS_PER_THREAD;
 865                 thread_datas [i].regions = g_new0 (Region, REGIONS_PER_THREAD);
 866
 867                 for (j = 0; j < REGIONS_PER_THREAD; ++j) {
 868                         thread_datas [i].regions [j].start = (num_threads * j + i) * REGION_SIZE;
 869                         thread_datas [i].regions [j].length = REGION_SIZE;
 870                 }
 871         }
 872
 873         test_domain = domain;
 874
 875         /*
 876         for (i = 0; i < 72; ++i)
 877                 mono_thread_create (domain, small_id_thread_func, NULL);
 878
 879         sleep (2);
 880         */
 881
 882         for (i = 0; i < num_threads; ++i)
 883                 mono_thread_create (domain, test_thread_func, &thread_datas [i]);
 884 }
 885 #endif
 886
 887 enum {
 888         DO_BENCH,
 889         DO_REGRESSION,
 890         DO_SINGLE_METHOD_REGRESSION,
 891         DO_COMPILE,
 892         DO_EXEC,
 893         DO_DRAW,
 894         DO_DEBUGGER
 895 };
 896
 897 typedef struct CompileAllThreadArgs {
 898         MonoAssembly *ass;
 899         int verbose;
 900         guint32 opts;
 901         guint32 recompilation_times;
 902 } CompileAllThreadArgs;
 903
 904 static void
 905 compile_all_methods_thread_main_inner (CompileAllThreadArgs *args)
 906 {
 907         MonoAssembly *ass = args->ass;
 908         int verbose = args->verbose;
 909         MonoImage *image = mono_assembly_get_image (ass);
 910         MonoMethod *method;
 911         MonoCompile *cfg;
 912         int i, count = 0, fail_count = 0;
 913
 914         for (i = 0; i < mono_image_get_table_rows (image, MONO_TABLE_METHOD); ++i) {
 915                 MonoError error;
 916                 guint32 token = MONO_TOKEN_METHOD_DEF | (i + 1);
 917                 MonoMethodSignature *sig;
 918
 919                 if (mono_metadata_has_generic_params (image, token))
 920                         continue;
 921
 922                 method = mono_get_method_checked (image, token, NULL, NULL, &error);
 923                 if (!method) {
 924                         mono_error_cleanup (&error); /* FIXME don't swallow the error */
 925                         continue;
 926                 }
 927                 if ((method->iflags & METHOD_IMPL_ATTRIBUTE_INTERNAL_CALL) ||
 928                     (method->flags & METHOD_ATTRIBUTE_PINVOKE_IMPL) ||
 929                     (method->iflags & METHOD_IMPL_ATTRIBUTE_RUNTIME) ||
 930                     (method->flags & METHOD_ATTRIBUTE_ABSTRACT))
 931                         continue;
 932
 933                 if (method->klass->generic_container)
 934                         continue;
 935                 sig = mono_method_signature (method);
 936                 if (!sig) {
 937                         char * desc = mono_method_full_name (method, TRUE);
 938                         g_print ("Could not retrieve method signature for %s\n", desc);
 939                         g_free (desc);
 940                         fail_count ++;
 941                         continue;
 942                 }
 943
 944                 if (sig->has_type_parameters)
 945                         continue;
 946
 947                 count++;
 948                 if (verbose) {
 949                         char * desc = mono_method_full_name (method, TRUE);
 950                         g_print ("Compiling %d %s\n", count, desc);
 951                         g_free (desc);
 952                 }
 953                 cfg = mini_method_compile (method, mono_get_optimizations_for_method (method, args->opts), mono_get_root_domain (), (JitFlags)0, 0, -1);
 954                 if (cfg->exception_type != MONO_EXCEPTION_NONE) {
 955                         printf ("Compilation of %s failed with exception '%s':\n", mono_method_full_name (cfg->method, TRUE), cfg->exception_message);
 956                         fail_count ++;
 957                 }
 958                 mono_destroy_compile (cfg);
 959         }
 960
 961         if (fail_count)
 962                 exit (1);
 963 }
 964
 965 static void
 966 compile_all_methods_thread_main (CompileAllThreadArgs *args)
 967 {
 968         guint32 i;
 969         for (i = 0; i < args->recompilation_times; ++i)
 970                 compile_all_methods_thread_main_inner (args);
 971 }
 972
 973 static void
 974 compile_all_methods (MonoAssembly *ass, int verbose, guint32 opts, guint32 recompilation_times)
 975 {
 976         CompileAllThreadArgs args;
 977
 978         args.ass = ass;
 979         args.verbose = verbose;
 980         args.opts = opts;
 981         args.recompilation_times = recompilation_times;
 982
 983         /*
 984          * Need to create a mono thread since compilation might trigger
 985          * running of managed code.
 986          */
 987         mono_thread_create (mono_domain_get (), compile_all_methods_thread_main, &args);
 988
 989         mono_thread_manage ();
 990 }
 991
 992 /**
 993  * mono_jit_exec:
 994  * @assembly: reference to an assembly
 995  * @argc: argument count
 996  * @argv: argument vector
 997  *
 998  * Start execution of a program.
 999  */
1000 int
1001 mono_jit_exec (MonoDomain *domain, MonoAssembly *assembly, int argc, char *argv[])
1002 {
1003         MonoError error;
1004         MonoImage *image = mono_assembly_get_image (assembly);
1005         MonoMethod *method;
1006         guint32 entry = mono_image_get_entry_point (image);
1007
1008         if (!entry) {
1009                 g_print ("Assembly '%s' doesn't have an entry point.\n", mono_image_get_filename (image));
1010                 /* FIXME: remove this silly requirement. */
1011                 mono_environment_exitcode_set (1);
1012                 return 1;
1013         }
1014
1015         method = mono_get_method_checked (image, entry, NULL, NULL, &error);
1016         if (method == NULL){
1017                 g_print ("The entry point method could not be loaded due to %s\n", mono_error_get_message (&error));
1018                 mono_error_cleanup (&error);
1019                 mono_environment_exitcode_set (1);
1020                 return 1;
1021         }
1022
1023         if (mono_llvm_only) {
1024                 MonoObject *exc;
1025                 int res;
1026
1027                 res = mono_runtime_run_main (method, argc, argv, &exc);
1028                 if (exc) {
1029                         mono_unhandled_exception (exc);
1030                         mono_invoke_unhandled_exception_hook (exc);
1031                         return 1;
1032                 }
1033                 return res;
1034         } else {
1035                 return mono_runtime_run_main (method, argc, argv, NULL);
1036         }
1037 }
1038
1039 typedef struct
1040 {
1041         MonoDomain *domain;
1042         const char *file;
1043         int argc;
1044         char **argv;
1045         guint32 opts;
1046         char *aot_options;
1047 } MainThreadArgs;
1048
1049 static void main_thread_handler (gpointer user_data)
1050 {
1051         MainThreadArgs *main_args = (MainThreadArgs *)user_data;
1052         MonoAssembly *assembly;
1053
1054         if (mono_compile_aot) {
1055                 int i, res;
1056
1057                 /* Treat the other arguments as assemblies to compile too */
1058                 for (i = 0; i < main_args->argc; ++i) {
1059                         assembly = mono_domain_assembly_open (main_args->domain, main_args->argv [i]);
1060                         if (!assembly) {
1061                                 fprintf (stderr, "Can not open image %s\n", main_args->argv [i]);
1062                                 exit (1);
1063                         }
1064                         /* Check that the assembly loaded matches the filename */
1065                         {
1066                                 MonoImageOpenStatus status;
1067                                 MonoImage *img;
1068
1069                                 img = mono_image_open (main_args->argv [i], &status);
1070                                 if (img && strcmp (img->name, assembly->image->name)) {
1071                                         fprintf (stderr, "Error: Loaded assembly '%s' doesn't match original file name '%s'. Set MONO_PATH to the assembly's location.\n", assembly->image->name, img->name);
1072                                         exit (1);
1073                                 }
1074                         }
1075                         res = mono_compile_assembly (assembly, main_args->opts, main_args->aot_options);
1076                         if (res != 0) {
1077                                 fprintf (stderr, "AOT of image %s failed.\n", main_args->argv [i]);
1078                                 exit (1);
1079                         }
1080                 }
1081         } else {
1082                 assembly = mono_domain_assembly_open (main_args->domain, main_args->file);
1083                 if (!assembly){
1084                         fprintf (stderr, "Can not open image %s\n", main_args->file);
1085                         exit (1);
1086                 }
1087
1088                 /*
1089                  * This must be done in a thread managed by mono since it can invoke
1090                  * managed code.
1091                  */
1092                 if (main_args->opts & MONO_OPT_PRECOMP)
1093                         mono_precompile_assemblies ();
1094
1095                 mono_jit_exec (main_args->domain, assembly, main_args->argc, main_args->argv);
1096         }
1097 }
1098
1099 static int
1100 load_agent (MonoDomain *domain, char *desc)
1101 {
1102         MonoError error;
1103         char* col = strchr (desc, ':');
1104         char *agent, *args;
1105         MonoAssembly *agent_assembly;
1106         MonoImage *image;
1107         MonoMethod *method;
1108         guint32 entry;
1109         MonoArray *main_args;
1110         gpointer pa [1];
1111         MonoImageOpenStatus open_status;
1112
1113         if (col) {
1114                 agent = (char *)g_memdup (desc, col - desc + 1);
1115                 agent [col - desc] = '\0';
1116                 args = col + 1;
1117         } else {
1118                 agent = g_strdup (desc);
1119                 args = NULL;
1120         }
1121
1122         agent_assembly = mono_assembly_open (agent, &open_status);
1123         if (!agent_assembly) {
1124                 fprintf (stderr, "Cannot open agent assembly '%s': %s.\n", agent, mono_image_strerror (open_status));
1125                 g_free (agent);
1126                 return 2;
1127         }
1128
1129         /*
1130          * Can't use mono_jit_exec (), as it sets things which might confuse the
1131          * real Main method.
1132          */
1133         image = mono_assembly_get_image (agent_assembly);
1134         entry = mono_image_get_entry_point (image);
1135         if (!entry) {
1136                 g_print ("Assembly '%s' doesn't have an entry point.\n", mono_image_get_filename (image));
1137                 g_free (agent);
1138                 return 1;
1139         }
1140
1141         method = mono_get_method_checked (image, entry, NULL, NULL, &error);
1142         if (method == NULL){
1143                 g_print ("The entry point method of assembly '%s' could not be loaded due to %s\n", agent, &error);
1144                 mono_error_cleanup (&error);
1145                 g_free (agent);
1146                 return 1;
1147         }
1148
1149         mono_thread_set_main (mono_thread_current ());
1150
1151         if (args) {
1152                 main_args = (MonoArray*)mono_array_new (domain, mono_defaults.string_class, 1);
1153                 mono_array_set (main_args, MonoString*, 0, mono_string_new (domain, args));
1154         } else {
1155                 main_args = (MonoArray*)mono_array_new (domain, mono_defaults.string_class, 0);
1156         }
1157
1158         g_free (agent);
1159
1160         pa [0] = main_args;
1161         /* Pass NULL as 'exc' so unhandled exceptions abort the runtime */
1162         mono_runtime_invoke_checked (method, NULL, pa, &error);
1163         mono_error_raise_exception (&error); /* FIXME don't raise here */
1164
1165         return 0;
1166 }
1167
1168 static void
1169 mini_usage_jitdeveloper (void)
1170 {
1171         int i;
1172
1173         fprintf (stdout,
1174                  "Runtime and JIT debugging options:\n"
1175                  "    --breakonex            Inserts a breakpoint on exceptions\n"
1176                  "    --break METHOD         Inserts a breakpoint at METHOD entry\n"
1177                  "    --break-at-bb METHOD N Inserts a breakpoint in METHOD at BB N\n"
1178                  "    --compile METHOD       Just compile METHOD in assembly\n"
1179                  "    --compile-all=N        Compiles all the methods in the assembly multiple times (default: 1)\n"
1180                  "    --ncompile N           Number of times to compile METHOD (default: 1)\n"
1181                  "    --print-vtable         Print the vtable of all used classes\n"
1182                  "    --regression           Runs the regression test contained in the assembly\n"
1183                  "    --single-method=OPTS   Runs regressions with only one method optimized with OPTS at any time\n"
1184                  "    --statfile FILE        Sets the stat file to FILE\n"
1185                  "    --stats                Print statistics about the JIT operations\n"
1186                  "    --wapi=hps|semdel|seminfo IO-layer maintenance\n"
1187                  "    --inject-async-exc METHOD OFFSET Inject an asynchronous exception at METHOD\n"
1188                  "    --verify-all           Run the verifier on all assemblies and methods\n"
1189                  "    --full-aot             Avoid JITting any code\n"
1190                  "    --llvmonly             Use LLVM compiled code only\n"
1191                  "    --agent=ASSEMBLY[:ARG] Loads the specific agent assembly and executes its Main method with the given argument before loading the main assembly.\n"
1192                  "    --no-x86-stack-align   Don't align stack on x86\n"
1193                  "\n"
1194                  "The options supported by MONO_DEBUG can also be passed on the command line.\n"
1195                  "\n"
1196                  "Other options:\n"
1197                  "    --graph[=TYPE] METHOD  Draws a graph of the specified method:\n");
1198
1199         for (i = 0; i < G_N_ELEMENTS (graph_names); ++i) {
1200                 fprintf (stdout, "                           %-10s %s\n", graph_names [i].name, graph_names [i].desc);
1201         }
1202 }
1203
1204 static void
1205 mini_usage_list_opt (void)
1206 {
1207         int i;
1208
1209         for (i = 0; i < G_N_ELEMENTS (opt_names); ++i)
1210                 fprintf (stdout, "                           %-10s %s\n", optflag_get_name (i), optflag_get_desc (i));
1211 }
1212
1213 static void
1214 mini_usage (void)
1215 {
1216         fprintf (stdout,
1217                 "Usage is: mono [options] program [program-options]\n"
1218                 "\n"
1219                 "Development:\n"
1220                 "    --aot[=<options>]      Compiles the assembly to native code\n"
1221                 "    --debug[=<options>]    Enable debugging support, use --help-debug for details\n"
1222                 "    --debugger-agent=options Enable the debugger agent\n"
1223                 "    --profile[=profiler]   Runs in profiling mode with the specified profiler module\n"
1224                 "    --trace[=EXPR]         Enable tracing, use --help-trace for details\n"
1225                 "    --jitmap               Output a jit method map to /tmp/perf-PID.map\n"
1226                 "    --help-devel           Shows more options available to developers\n"
1227 #ifdef __native_client_codegen__
1228                 "    --nacl-align-mask-off  Turn off Native Client 32-byte alignment mask (for debug only)\n"
1229 #endif
1230                 "\n"
1231                 "Runtime:\n"
1232                 "    --config FILE          Loads FILE as the Mono config\n"
1233                 "    --verbose, -v          Increases the verbosity level\n"
1234                 "    --help, -h             Show usage information\n"
1235                 "    --version, -V          Show version information\n"
1236                 "    --runtime=VERSION      Use the VERSION runtime, instead of autodetecting\n"
1237                 "    --optimize=OPT         Turns on or off a specific optimization\n"
1238                 "                           Use --list-opt to get a list of optimizations\n"
1239 #ifndef DISABLE_SECURITY
1240                 "    --security[=mode]      Turns on the unsupported security manager (off by default)\n"
1241                 "                           mode is one of cas, core-clr, verifiable or validil\n"
1242 #endif
1243                 "    --attach=OPTIONS       Pass OPTIONS to the attach agent in the runtime.\n"
1244                 "                           Currently the only supported option is 'disable'.\n"
1245                 "    --llvm, --nollvm       Controls whenever the runtime uses LLVM to compile code.\n"
1246                 "    --gc=[sgen,boehm]      Select SGen or Boehm GC (runs mono or mono-sgen)\n"
1247 #ifdef TARGET_OSX
1248                 "    --arch=[32,64]         Select architecture (runs mono32 or mono64)\n"
1249 #endif
1250 #ifdef HOST_WIN32
1251                 "    --mixed-mode           Enable mixed-mode image support.\n"
1252 #endif
1253           );
1254 }
1255
1256 static void
1257 mini_trace_usage (void)
1258 {
1259         fprintf (stdout,
1260                  "Tracing options:\n"
1261                  "   --trace[=EXPR]        Trace every call, optional EXPR controls the scope\n"
1262                  "\n"
1263                  "EXPR is composed of:\n"
1264                  "    all                  All assemblies\n"
1265                  "    none                 No assemblies\n"
1266                  "    program              Entry point assembly\n"
1267                  "    assembly             Specifies an assembly\n"
1268                  "    wrapper              All wrappers bridging native and managed code\n"
1269                  "    M:Type:Method        Specifies a method\n"
1270                  "    N:Namespace          Specifies a namespace\n"
1271                  "    T:Type               Specifies a type\n"
1272                  "    E:Type               Specifies stack traces for an exception type\n"
1273                  "    EXPR                 Includes expression\n"
1274                  "    -EXPR                Excludes expression\n"
1275                  "    EXPR,EXPR            Multiple expressions\n"
1276                  "    disabled             Don't print any output until toggled via SIGUSR2\n");
1277 }
1278
1279 static void
1280 mini_debug_usage (void)
1281 {
1282         fprintf (stdout,
1283                  "Debugging options:\n"
1284                  "   --debug[=OPTIONS]     Enable debugging support, optional OPTIONS is a comma\n"
1285                  "                         separated list of options\n"
1286                  "\n"
1287                  "OPTIONS is composed of:\n"
1288                  "    casts                Enable more detailed InvalidCastException messages.\n"
1289                  "    mdb-optimizations    Disable some JIT optimizations which are normally\n"
1290                  "                         disabled when running inside the debugger.\n"
1291                  "                         This is useful if you plan to attach to the running\n"
1292                  "                         process with the debugger.\n");
1293 }
1294
1295 #if defined(MONO_ARCH_ARCHITECTURE)
1296 /* Redefine MONO_ARCHITECTURE to include more information */
1297 #undef MONO_ARCHITECTURE
1298 #define MONO_ARCHITECTURE MONO_ARCH_ARCHITECTURE
1299 #endif
1300
1301 static const char info[] =
1302 #ifdef HAVE_KW_THREAD
1303         "\tTLS:           __thread\n"
1304 #else
1305         "\tTLS:           normal\n"
1306 #endif /* HAVE_KW_THREAD */
1307 #ifdef MONO_ARCH_SIGSEGV_ON_ALTSTACK
1308     "\tSIGSEGV:       altstack\n"
1309 #else
1310     "\tSIGSEGV:       normal\n"
1311 #endif
1312 #ifdef HAVE_EPOLL
1313     "\tNotifications: epoll\n"
1314 #elif defined(HAVE_KQUEUE)
1315     "\tNotification:  kqueue\n"
1316 #else
1317     "\tNotification:  Thread + polling\n"
1318 #endif
1319         "\tArchitecture:  " MONO_ARCHITECTURE "\n"
1320         "\tDisabled:      " DISABLED_FEATURES "\n"
1321         "\tMisc:          "
1322 #ifdef MONO_SMALL_CONFIG
1323         "smallconfig "
1324 #endif
1325 #ifdef MONO_BIG_ARRAYS
1326         "bigarrays "
1327 #endif
1328 #if defined(MONO_ARCH_SOFT_DEBUG_SUPPORTED) && !defined(DISABLE_SOFT_DEBUG)
1329         "softdebug "
1330 #endif
1331                 "\n"
1332 #ifdef MONO_ARCH_LLVM_SUPPORTED
1333 #ifdef ENABLE_LLVM
1334         "\tLLVM:          yes(" LLVM_VERSION ")\n"
1335 #else
1336         "\tLLVM:          supported, not enabled.\n"
1337 #endif
1338 #endif
1339         "";
1340
1341 #ifndef MONO_ARCH_AOT_SUPPORTED
1342 #define error_if_aot_unsupported() do {fprintf (stderr, "AOT compilation is not supported on this platform.\n"); exit (1);} while (0)
1343 #else
1344 #define error_if_aot_unsupported()
1345 #endif
1346
1347 #ifdef HOST_WIN32
1348 BOOL APIENTRY DllMain (HMODULE module_handle, DWORD reason, LPVOID reserved)
1349 {
1350         if (!mono_gc_dllmain (module_handle, reason, reserved))
1351                 return FALSE;
1352
1353         switch (reason)
1354         {
1355         case DLL_PROCESS_ATTACH:
1356                 mono_install_runtime_load (mini_init);
1357                 break;
1358         case DLL_PROCESS_DETACH:
1359                 if (coree_module_handle)
1360                         FreeLibrary (coree_module_handle);
1361                 break;
1362         case DLL_THREAD_DETACH:
1363                 mono_thread_info_detach ();
1364                 break;
1365
1366         }
1367         return TRUE;
1368 }
1369 #endif
1370
1371 static gboolean enable_debugging;
1372
1373 /*
1374  * mono_jit_parse_options:
1375  *
1376  *   Process the command line options in ARGV as done by the runtime executable.
1377  * This should be called before mono_jit_init ().
1378  */
1379 void
1380 mono_jit_parse_options (int argc, char * argv[])
1381 {
1382         int i;
1383         char *trace_options = NULL;
1384         int mini_verbose = 0;
1385         guint32 opt;
1386
1387         /*
1388          * Some options have no effect here, since they influence the behavior of
1389          * mono_main ().
1390          */
1391
1392         opt = mono_parse_default_optimizations (NULL);
1393
1394         /* FIXME: Avoid code duplication */
1395         for (i = 0; i < argc; ++i) {
1396                 if (argv [i] [0] != '-')
1397                         break;
1398                 if (strncmp (argv [i], "--debugger-agent=", 17) == 0) {
1399                         MonoDebugOptions *opt = mini_get_debug_options ();
1400
1401                         mono_debugger_agent_parse_options (argv [i] + 17);
1402                         opt->mdb_optimizations = TRUE;
1403                         enable_debugging = TRUE;
1404                 } else if (!strcmp (argv [i], "--soft-breakpoints")) {
1405                         MonoDebugOptions *opt = mini_get_debug_options ();
1406
1407                         opt->soft_breakpoints = TRUE;
1408                         opt->explicit_null_checks = TRUE;
1409                 } else if (strncmp (argv [i], "--optimize=", 11) == 0) {
1410                         opt = parse_optimizations (opt, argv [i] + 11, TRUE);
1411                         mono_set_optimizations (opt);
1412                 } else if (strncmp (argv [i], "-O=", 3) == 0) {
1413                         opt = parse_optimizations (opt, argv [i] + 3, TRUE);
1414                         mono_set_optimizations (opt);
1415                 } else if (strcmp (argv [i], "--trace") == 0) {
1416                         trace_options = (char*)"";
1417                 } else if (strncmp (argv [i], "--trace=", 8) == 0) {
1418                         trace_options = &argv [i][8];
1419                 } else if (strcmp (argv [i], "--verbose") == 0 || strcmp (argv [i], "-v") == 0) {
1420                         mini_verbose++;
1421                 } else if (strcmp (argv [i], "--breakonex") == 0) {
1422                         MonoDebugOptions *opt = mini_get_debug_options ();
1423
1424                         opt->break_on_exc = TRUE;
1425                 } else if (strcmp (argv [i], "--stats") == 0) {
1426                         mono_counters_enable (-1);
1427                         mono_stats.enabled = TRUE;
1428                         mono_jit_stats.enabled = TRUE;
1429                 } else if (strcmp (argv [i], "--break") == 0) {
1430                         if (i+1 >= argc){
1431                                 fprintf (stderr, "Missing method name in --break command line option\n");
1432                                 exit (1);
1433                         }
1434
1435                         if (!mono_debugger_insert_breakpoint (argv [++i], FALSE))
1436                                 fprintf (stderr, "Error: invalid method name '%s'\n", argv [i]);
1437                 } else if (strcmp (argv [i], "--llvm") == 0) {
1438 #ifndef MONO_ARCH_LLVM_SUPPORTED
1439                         fprintf (stderr, "Mono Warning: --llvm not supported on this platform.\n");
1440 #elif !defined(ENABLE_LLVM)
1441                         fprintf (stderr, "Mono Warning: --llvm not enabled in this runtime.\n");
1442 #else
1443                         mono_use_llvm = TRUE;
1444 #endif
1445                 } else if (argv [i][0] == '-' && argv [i][1] == '-' && mini_parse_debug_option (argv [i] + 2)) {
1446                 } else {
1447                         fprintf (stderr, "Unsupported command line option: '%s'\n", argv [i]);
1448                         exit (1);
1449                 }
1450         }
1451
1452         if (trace_options != NULL) {
1453                 /*
1454                  * Need to call this before mini_init () so we can trace methods
1455                  * compiled there too.
1456                  */
1457                 mono_jit_trace_calls = mono_trace_parse_options (trace_options);
1458                 if (mono_jit_trace_calls == NULL)
1459                         exit (1);
1460         }
1461
1462         if (mini_verbose)
1463                 mono_set_verbose_level (mini_verbose);
1464 }
1465
1466 static void
1467 mono_set_use_smp (int use_smp)
1468 {
1469 #if HAVE_SCHED_SETAFFINITY
1470         if (!use_smp) {
1471                 unsigned long proc_mask = 1;
1472 #ifdef GLIBC_BEFORE_2_3_4_SCHED_SETAFFINITY
1473                 sched_setaffinity (getpid(), (gpointer)&proc_mask);
1474 #else
1475                 sched_setaffinity (getpid(), sizeof (unsigned long), (const cpu_set_t *)&proc_mask);
1476 #endif
1477         }
1478 #endif
1479 }
1480
1481 static void
1482 switch_gc (char* argv[], const char* target_gc)
1483 {
1484         GString *path;
1485
1486         if (!strcmp (mono_gc_get_gc_name (), target_gc)) {
1487                 return;
1488         }
1489
1490         path = g_string_new (argv [0]);
1491
1492         /*Running mono without any argument*/
1493         if (strstr (argv [0], "-sgen"))
1494                 g_string_truncate (path, path->len - 5);
1495         else if (strstr (argv [0], "-boehm"))
1496                 g_string_truncate (path, path->len - 6);
1497
1498         g_string_append_c (path, '-');
1499         g_string_append (path, target_gc);
1500
1501 #ifdef HAVE_EXECVP
1502         execvp (path->str, argv);
1503 #else
1504         fprintf (stderr, "Error: --gc=<NAME> option not supported on this platform.\n");
1505 #endif
1506 }
1507
1508 #ifdef TARGET_OSX
1509
1510 /*
1511  * tries to increase the minimum number of files, if the number is below 1024
1512  */
1513 static void
1514 darwin_change_default_file_handles ()
1515 {
1516         struct rlimit limit;
1517
1518         if (getrlimit (RLIMIT_NOFILE, &limit) == 0){
1519                 if (limit.rlim_cur < 1024){
1520                         limit.rlim_cur = MAX(1024,limit.rlim_cur);
1521                         setrlimit (RLIMIT_NOFILE, &limit);
1522                 }
1523         }
1524 }
1525
1526 static void
1527 switch_arch (char* argv[], const char* target_arch)
1528 {
1529         GString *path;
1530         gsize arch_offset;
1531
1532         if ((strcmp (target_arch, "32") == 0 && strcmp (MONO_ARCHITECTURE, "x86") == 0) ||
1533                 (strcmp (target_arch, "64") == 0 && strcmp (MONO_ARCHITECTURE, "amd64") == 0)) {
1534                 return; /* matching arch loaded */
1535         }
1536
1537         path = g_string_new (argv [0]);
1538         arch_offset = path->len -2; /* last two characters */
1539
1540         /* Remove arch suffix if present */
1541         if (strstr (&path->str[arch_offset], "32") || strstr (&path->str[arch_offset], "64")) {
1542                 g_string_truncate (path, arch_offset);
1543         }
1544
1545         g_string_append (path, target_arch);
1546
1547         if (execvp (path->str, argv) < 0) {
1548                 fprintf (stderr, "Error: --arch=%s Failed to switch to '%s'.\n", target_arch, path->str);
1549                 exit (1);
1550         }
1551 }
1552
1553 #endif
1554 /**
1555  * mono_main:
1556  * @argc: number of arguments in the argv array
1557  * @argv: array of strings containing the startup arguments
1558  *
1559  * Launches the Mono JIT engine and parses all the command line options
1560  * in the same way that the mono command line VM would.
1561  */
1562 int
1563 mono_main (int argc, char* argv[])
1564 {
1565         MainThreadArgs main_args;
1566         MonoAssembly *assembly;
1567         MonoMethodDesc *desc;
1568         MonoMethod *method;
1569         MonoCompile *cfg;
1570         MonoDomain *domain;
1571         MonoImageOpenStatus open_status;
1572         const char* aname, *mname = NULL;
1573         char *config_file = NULL;
1574         int i, count = 1;
1575         guint32 opt, action = DO_EXEC, recompilation_times = 1;
1576         MonoGraphOptions mono_graph_options = (MonoGraphOptions)0;
1577         int mini_verbose = 0;
1578         gboolean enable_profile = FALSE;
1579         char *trace_options = NULL;
1580         char *profile_options = NULL;
1581         char *aot_options = NULL;
1582         char *forced_version = NULL;
1583         GPtrArray *agents = NULL;
1584         char *attach_options = NULL;
1585 #ifdef MONO_JIT_INFO_TABLE_TEST
1586         int test_jit_info_table = FALSE;
1587 #endif
1588 #ifdef HOST_WIN32
1589         int mixed_mode = FALSE;
1590 #endif
1591 #ifdef __native_client__
1592         gboolean nacl_null_checks_off = FALSE;
1593 #endif
1594
1595 #ifdef MOONLIGHT
1596 #ifndef HOST_WIN32
1597         /* stdout defaults to block buffering if it's not writing to a terminal, which
1598          * happens with our test harness: we redirect stdout to capture it. Force line
1599          * buffering in all cases. */
1600         setlinebuf (stdout);
1601 #endif
1602 #endif
1603
1604         setlocale (LC_ALL, "");
1605
1606 #if TARGET_OSX
1607         darwin_change_default_file_handles ();
1608 #endif
1609
1610         if (g_getenv ("MONO_NO_SMP"))
1611                 mono_set_use_smp (FALSE);
1612
1613         g_log_set_always_fatal (G_LOG_LEVEL_ERROR);
1614         g_log_set_fatal_mask (G_LOG_DOMAIN, G_LOG_LEVEL_ERROR);
1615
1616         opt = mono_parse_default_optimizations (NULL);
1617
1618         for (i = 1; i < argc; ++i) {
1619                 if (argv [i] [0] != '-')
1620                         break;
1621                 if (strcmp (argv [i], "--regression") == 0) {
1622                         action = DO_REGRESSION;
1623                 } else if (strncmp (argv [i], "--single-method=", 16) == 0) {
1624                         char *full_opts = g_strdup_printf ("-all,%s", argv [i] + 16);
1625                         action = DO_SINGLE_METHOD_REGRESSION;
1626                         mono_single_method_regression_opt = parse_optimizations (opt, full_opts, TRUE);
1627                         g_free (full_opts);
1628                 } else if (strcmp (argv [i], "--verbose") == 0 || strcmp (argv [i], "-v") == 0) {
1629                         mini_verbose++;
1630                 } else if (strcmp (argv [i], "--version") == 0 || strcmp (argv [i], "-V") == 0) {
1631                         char *build = mono_get_runtime_build_info ();
1632                         char *gc_descr;
1633
1634                         g_print ("Mono JIT compiler version %s\nCopyright (C) 2002-2014 Novell, Inc, Xamarin Inc and Contributors. www.mono-project.com\n", build);
1635                         g_free (build);
1636                         g_print (info);
1637                         gc_descr = mono_gc_get_description ();
1638                         g_print ("\tGC:            %s\n", gc_descr);
1639                         g_free (gc_descr);
1640                         if (mini_verbose) {
1641                                 const char *cerror;
1642                                 const char *clibpath;
1643                                 mono_init ("mono");
1644                                 cerror = mono_check_corlib_version ();
1645                                 clibpath = mono_defaults.corlib? mono_image_get_filename (mono_defaults.corlib): "unknown";
1646                                 if (cerror) {
1647                                         g_print ("The currently installed mscorlib doesn't match this runtime version.\n");
1648                                         g_print ("The error is: %s\n", cerror);
1649                                         g_print ("mscorlib.dll loaded at: %s\n", clibpath);
1650                                         return 1;
1651                                 }
1652                         }
1653                         return 0;
1654                 } else if (strcmp (argv [i], "--help") == 0 || strcmp (argv [i], "-h") == 0) {
1655                         mini_usage ();
1656                         return 0;
1657                 } else if (strcmp (argv [i], "--help-trace") == 0){
1658                         mini_trace_usage ();
1659                         return 0;
1660                 } else if (strcmp (argv [i], "--help-devel") == 0){
1661                         mini_usage_jitdeveloper ();
1662                         return 0;
1663                 } else if (strcmp (argv [i], "--help-debug") == 0){
1664                         mini_debug_usage ();
1665                         return 0;
1666                 } else if (strcmp (argv [i], "--list-opt") == 0){
1667                         mini_usage_list_opt ();
1668                         return 0;
1669                 } else if (strncmp (argv [i], "--statfile", 10) == 0) {
1670                         if (i + 1 >= argc){
1671                                 fprintf (stderr, "error: --statfile requires a filename argument\n");
1672                                 return 1;
1673                         }
1674                         mini_stats_fd = fopen (argv [++i], "w+");
1675                 } else if (strncmp (argv [i], "--optimize=", 11) == 0) {
1676                         opt = parse_optimizations (opt, argv [i] + 11, TRUE);
1677                 } else if (strncmp (argv [i], "-O=", 3) == 0) {
1678                         opt = parse_optimizations (opt, argv [i] + 3, TRUE);
1679                 } else if (strncmp (argv [i], "--bisect=", 9) == 0) {
1680                         char *param = argv [i] + 9;
1681                         char *sep = strchr (param, ':');
1682                         if (!sep) {
1683                                 fprintf (stderr, "Error: --bisect requires OPT:FILENAME\n");
1684                                 return 1;
1685                         }
1686                         char *opt_string = g_strndup (param, sep - param);
1687                         guint32 opt = parse_optimizations (0, opt_string, FALSE);
1688                         g_free (opt_string);
1689                         mono_set_bisect_methods (opt, sep + 1);
1690                 } else if (strcmp (argv [i], "--gc=sgen") == 0) {
1691                         switch_gc (argv, "sgen");
1692                 } else if (strcmp (argv [i], "--gc=boehm") == 0) {
1693                         switch_gc (argv, "boehm");
1694                 }
1695 #ifdef TARGET_OSX
1696                 else if (strcmp (argv [i], "--arch=32") == 0) {
1697                         switch_arch (argv, "32");
1698                 } else if (strcmp (argv [i], "--arch=64") == 0) {
1699                         switch_arch (argv, "64");
1700                 }
1701 #endif
1702                 else if (strcmp (argv [i], "--config") == 0) {
1703                         if (i +1 >= argc){
1704                                 fprintf (stderr, "error: --config requires a filename argument\n");
1705                                 return 1;
1706                         }
1707                         config_file = argv [++i];
1708 #ifdef HOST_WIN32
1709                 } else if (strcmp (argv [i], "--mixed-mode") == 0) {
1710                         mixed_mode = TRUE;
1711 #endif
1712                 } else if (strcmp (argv [i], "--ncompile") == 0) {
1713                         if (i + 1 >= argc){
1714                                 fprintf (stderr, "error: --ncompile requires an argument\n");
1715                                 return 1;
1716                         }
1717                         count = atoi (argv [++i]);
1718                         action = DO_BENCH;
1719                 } else if (strcmp (argv [i], "--trace") == 0) {
1720                         trace_options = (char*)"";
1721                 } else if (strncmp (argv [i], "--trace=", 8) == 0) {
1722                         trace_options = &argv [i][8];
1723                 } else if (strcmp (argv [i], "--breakonex") == 0) {
1724                         MonoDebugOptions *opt = mini_get_debug_options ();
1725
1726                         opt->break_on_exc = TRUE;
1727                 } else if (strcmp (argv [i], "--break") == 0) {
1728                         if (i+1 >= argc){
1729                                 fprintf (stderr, "Missing method name in --break command line option\n");
1730                                 return 1;
1731                         }
1732
1733                         if (!mono_debugger_insert_breakpoint (argv [++i], FALSE))
1734                                 fprintf (stderr, "Error: invalid method name '%s'\n", argv [i]);
1735                 } else if (strcmp (argv [i], "--break-at-bb") == 0) {
1736                         if (i + 2 >= argc) {
1737                                 fprintf (stderr, "Missing method name or bb num in --break-at-bb command line option.");
1738                                 return 1;
1739                         }
1740                         mono_break_at_bb_method = mono_method_desc_new (argv [++i], TRUE);
1741                         if (mono_break_at_bb_method == NULL) {
1742                                 fprintf (stderr, "Method name is in a bad format in --break-at-bb command line option.");
1743                                 return 1;
1744                         }
1745                         mono_break_at_bb_bb_num = atoi (argv [++i]);
1746                 } else if (strcmp (argv [i], "--inject-async-exc") == 0) {
1747                         if (i + 2 >= argc) {
1748                                 fprintf (stderr, "Missing method name or position in --inject-async-exc command line option\n");
1749                                 return 1;
1750                         }
1751                         mono_inject_async_exc_method = mono_method_desc_new (argv [++i], TRUE);
1752                         if (mono_inject_async_exc_method == NULL) {
1753                                 fprintf (stderr, "Method name is in a bad format in --inject-async-exc command line option\n");
1754                                 return 1;
1755                         }
1756                         mono_inject_async_exc_pos = atoi (argv [++i]);
1757                 } else if (strcmp (argv [i], "--verify-all") == 0) {
1758                         mono_verifier_enable_verify_all ();
1759                 } else if (strcmp (argv [i], "--full-aot") == 0) {
1760                         mono_aot_only = TRUE;
1761                 } else if (strcmp (argv [i], "--llvmonly") == 0) {
1762                         mono_aot_only = TRUE;
1763                         mono_llvm_only = TRUE;
1764                 } else if (strcmp (argv [i], "--print-vtable") == 0) {
1765                         mono_print_vtable = TRUE;
1766                 } else if (strcmp (argv [i], "--stats") == 0) {
1767                         mono_counters_enable (-1);
1768                         mono_stats.enabled = TRUE;
1769                         mono_jit_stats.enabled = TRUE;
1770 #ifndef DISABLE_AOT
1771                 } else if (strcmp (argv [i], "--aot") == 0) {
1772                         error_if_aot_unsupported ();
1773                         mono_compile_aot = TRUE;
1774                 } else if (strncmp (argv [i], "--aot=", 6) == 0) {
1775                         error_if_aot_unsupported ();
1776                         mono_compile_aot = TRUE;
1777                         aot_options = &argv [i][6];
1778 #endif
1779                 } else if (strncmp (argv [i], "--compile-all=", 14) == 0) {
1780                         action = DO_COMPILE;
1781                         recompilation_times = atoi (argv [i] + 14);
1782                 } else if (strcmp (argv [i], "--compile-all") == 0) {
1783                         action = DO_COMPILE;
1784                 } else if (strncmp (argv [i], "--runtime=", 10) == 0) {
1785                         forced_version = &argv [i][10];
1786                 } else if (strcmp (argv [i], "--jitmap") == 0) {
1787                         mono_enable_jit_map ();
1788                 } else if (strcmp (argv [i], "--profile") == 0) {
1789                         enable_profile = TRUE;
1790                         profile_options = NULL;
1791                 } else if (strncmp (argv [i], "--profile=", 10) == 0) {
1792                         enable_profile = TRUE;
1793                         profile_options = argv [i] + 10;
1794                 } else if (strncmp (argv [i], "--agent=", 8) == 0) {
1795                         if (agents == NULL)
1796                                 agents = g_ptr_array_new ();
1797                         g_ptr_array_add (agents, argv [i] + 8);
1798                 } else if (strncmp (argv [i], "--attach=", 9) == 0) {
1799                         attach_options = argv [i] + 9;
1800                 } else if (strcmp (argv [i], "--compile") == 0) {
1801                         if (i + 1 >= argc){
1802                                 fprintf (stderr, "error: --compile option requires a method name argument\n");
1803                                 return 1;
1804                         }
1805
1806                         mname = argv [++i];
1807                         action = DO_BENCH;
1808                 } else if (strncmp (argv [i], "--graph=", 8) == 0) {
1809                         if (i + 1 >= argc){
1810                                 fprintf (stderr, "error: --graph option requires a method name argument\n");
1811                                 return 1;
1812                         }
1813
1814                         mono_graph_options = mono_parse_graph_options (argv [i] + 8);
1815                         mname = argv [++i];
1816                         action = DO_DRAW;
1817                 } else if (strcmp (argv [i], "--graph") == 0) {
1818                         if (i + 1 >= argc){
1819                                 fprintf (stderr, "error: --graph option requires a method name argument\n");
1820                                 return 1;
1821                         }
1822
1823                         mname = argv [++i];
1824                         mono_graph_options = MONO_GRAPH_CFG;
1825                         action = DO_DRAW;
1826                 } else if (strcmp (argv [i], "--debug") == 0) {
1827                         enable_debugging = TRUE;
1828                 } else if (strncmp (argv [i], "--debug=", 8) == 0) {
1829                         enable_debugging = TRUE;
1830                         if (!parse_debug_options (argv [i] + 8))
1831                                 return 1;
1832                 } else if (strncmp (argv [i], "--debugger-agent=", 17) == 0) {
1833                         MonoDebugOptions *opt = mini_get_debug_options ();
1834
1835                         mono_debugger_agent_parse_options (argv [i] + 17);
1836                         opt->mdb_optimizations = TRUE;
1837                         enable_debugging = TRUE;
1838                 } else if (strcmp (argv [i], "--security") == 0) {
1839 #ifndef DISABLE_SECURITY
1840                         mono_verifier_set_mode (MONO_VERIFIER_MODE_VERIFIABLE);
1841 #else
1842                         fprintf (stderr, "error: --security: not compiled with security manager support");
1843                         return 1;
1844 #endif
1845                 } else if (strncmp (argv [i], "--security=", 11) == 0) {
1846                         /* Note: validil, and verifiable need to be
1847                            accepted even if DISABLE_SECURITY is defined. */
1848
1849                         if (strcmp (argv [i] + 11, "core-clr") == 0) {
1850 #ifndef DISABLE_SECURITY
1851                                 mono_verifier_set_mode (MONO_VERIFIER_MODE_VERIFIABLE);
1852                                 mono_security_set_mode (MONO_SECURITY_MODE_CORE_CLR);
1853 #else
1854                                 fprintf (stderr, "error: --security: not compiled with CoreCLR support");
1855                                 return 1;
1856 #endif
1857                         } else if (strcmp (argv [i] + 11, "core-clr-test") == 0) {
1858 #ifndef DISABLE_SECURITY
1859                                 /* fixme should we enable verifiable code here?*/
1860                                 mono_security_set_mode (MONO_SECURITY_MODE_CORE_CLR);
1861                                 mono_security_core_clr_test = TRUE;
1862 #else
1863                                 fprintf (stderr, "error: --security: not compiled with CoreCLR support");
1864                                 return 1;
1865 #endif
1866                         } else if (strcmp (argv [i] + 11, "cas") == 0) {
1867 #ifndef DISABLE_SECURITY
1868                                 fprintf (stderr, "warning: --security=cas not supported.");
1869 #else
1870                                 fprintf (stderr, "error: --security: not compiled with CAS support");
1871                                 return 1;
1872 #endif
1873                         } else if (strcmp (argv [i] + 11, "validil") == 0) {
1874                                 mono_verifier_set_mode (MONO_VERIFIER_MODE_VALID);
1875                         } else if (strcmp (argv [i] + 11, "verifiable") == 0) {
1876                                 mono_verifier_set_mode (MONO_VERIFIER_MODE_VERIFIABLE);
1877                         } else {
1878                                 fprintf (stderr, "error: --security= option has invalid argument (cas, core-clr, verifiable or validil)\n");
1879                                 return 1;
1880                         }
1881                 } else if (strcmp (argv [i], "--desktop") == 0) {
1882                         mono_gc_set_desktop_mode ();
1883                         /* Put more desktop-specific optimizations here */
1884                 } else if (strcmp (argv [i], "--server") == 0){
1885                         mono_config_set_server_mode (TRUE);
1886                         /* Put more server-specific optimizations here */
1887                 } else if (strcmp (argv [i], "--inside-mdb") == 0) {
1888                         action = DO_DEBUGGER;
1889                 } else if (strncmp (argv [i], "--wapi=", 7) == 0) {
1890                         fprintf (stderr, "--wapi= option no longer supported\n.");
1891                         return 1;
1892                 } else if (strcmp (argv [i], "--no-x86-stack-align") == 0) {
1893                         mono_do_x86_stack_align = FALSE;
1894 #ifdef MONO_JIT_INFO_TABLE_TEST
1895                 } else if (strcmp (argv [i], "--test-jit-info-table") == 0) {
1896                         test_jit_info_table = TRUE;
1897 #endif
1898                 } else if (strcmp (argv [i], "--llvm") == 0) {
1899 #ifndef MONO_ARCH_LLVM_SUPPORTED
1900                         fprintf (stderr, "Mono Warning: --llvm not supported on this platform.\n");
1901 #elif !defined(ENABLE_LLVM)
1902                         fprintf (stderr, "Mono Warning: --llvm not enabled in this runtime.\n");
1903 #else
1904                         mono_use_llvm = TRUE;
1905 #endif
1906                 } else if (strcmp (argv [i], "--nollvm") == 0){
1907                         mono_use_llvm = FALSE;
1908 #ifdef __native_client_codegen__
1909                 } else if (strcmp (argv [i], "--nacl-align-mask-off") == 0){
1910                         nacl_align_byte = -1; /* 0xff */
1911 #endif
1912 #ifdef __native_client__
1913                 } else if (strcmp (argv [i], "--nacl-mono-path") == 0){
1914                         nacl_mono_path = g_strdup(argv[++i]);
1915                 } else if (strcmp (argv [i], "--nacl-null-checks-off") == 0){
1916                         nacl_null_checks_off = TRUE;
1917 #endif
1918                 } else if (argv [i][0] == '-' && argv [i][1] == '-' && mini_parse_debug_option (argv [i] + 2)) {
1919                 } else {
1920                         fprintf (stderr, "Unknown command line option: '%s'\n", argv [i]);
1921                         return 1;
1922                 }
1923         }
1924
1925 #ifdef __native_client_codegen__
1926         if (g_getenv ("MONO_NACL_ALIGN_MASK_OFF"))
1927         {
1928                 nacl_align_byte = -1; /* 0xff */
1929         }
1930         if (!nacl_null_checks_off) {
1931                 MonoDebugOptions *opt = mini_get_debug_options ();
1932                 opt->explicit_null_checks = TRUE;
1933         }
1934 #endif
1935
1936 #ifdef DISABLE_HW_TRAPS
1937         // Signal handlers not available
1938         {
1939                 MonoDebugOptions *opt = mini_get_debug_options ();
1940                 opt->explicit_null_checks = TRUE;
1941         }
1942 #endif
1943
1944         if (!argv [i]) {
1945                 mini_usage ();
1946                 return 1;
1947         }
1948
1949 #if !defined(HOST_WIN32) && defined(HAVE_UNISTD_H)
1950         /*
1951          * If we are not embedded, use the mono runtime executable to run managed exe's.
1952          */
1953         {
1954                 char *runtime_path;
1955
1956                 runtime_path = wapi_process_get_path (getpid ());
1957                 if (runtime_path) {
1958                         wapi_process_set_cli_launcher (runtime_path);
1959                         g_free (runtime_path);
1960                 }
1961         }
1962 #endif
1963
1964         if (g_getenv ("MONO_XDEBUG"))
1965                 enable_debugging = TRUE;
1966
1967 #ifdef MONO_CROSS_COMPILE
1968        if (!mono_compile_aot) {
1969                    fprintf (stderr, "This mono runtime is compiled for cross-compiling. Only the --aot option is supported.\n");
1970                    exit (1);
1971        }
1972 #if SIZEOF_VOID_P == 8 && (defined(TARGET_ARM) || defined(TARGET_X86))
1973        fprintf (stderr, "Can't cross-compile on 64-bit platforms to 32-bit architecture.\n");
1974        exit (1);
1975 #elif SIZEOF_VOID_P == 4 && (defined(TARGET_ARM64) || defined(TARGET_AMD64))
1976        fprintf (stderr, "Can't cross-compile on 32-bit platforms to 64-bit architecture.\n");
1977        exit (1);
1978 #endif
1979 #endif
1980
1981         if (mono_compile_aot || action == DO_EXEC || action == DO_DEBUGGER) {
1982                 g_set_prgname (argv[i]);
1983         }
1984
1985         mono_counters_init ();
1986
1987         /* Set rootdir before loading config */
1988         mono_set_rootdir ();
1989
1990         /*
1991          * We only set the native name of the thread since MS.NET leaves the
1992          * managed thread name for the main thread as null.
1993          */
1994         mono_thread_info_set_name (mono_native_thread_id_get (), "Main");
1995
1996         if (enable_profile) {
1997                 mono_profiler_load (profile_options);
1998                 mono_profiler_thread_name (mono_native_thread_id_get (), "Main");
1999         }
2000
2001         mono_attach_parse_options (attach_options);
2002
2003         if (trace_options != NULL){
2004                 /*
2005                  * Need to call this before mini_init () so we can trace methods
2006                  * compiled there too.
2007                  */
2008                 mono_jit_trace_calls = mono_trace_parse_options (trace_options);
2009                 if (mono_jit_trace_calls == NULL)
2010                         exit (1);
2011         }
2012
2013 #ifdef DISABLE_JIT
2014         if (!mono_aot_only) {
2015                 fprintf (stderr, "This runtime has been configured with --enable-minimal=jit, so the --full-aot command line option is required.\n");
2016                 exit (1);
2017         }
2018 #endif
2019
2020         if (action == DO_DEBUGGER) {
2021                 enable_debugging = TRUE;
2022                 g_print ("The Mono Debugger is no longer supported.\n");
2023                 return 1;
2024         } else if (enable_debugging)
2025                 mono_debug_init (MONO_DEBUG_FORMAT_MONO);
2026
2027 #ifdef HOST_WIN32
2028         if (mixed_mode)
2029                 mono_load_coree (argv [i]);
2030 #endif
2031
2032         /* Parse gac loading options before loading assemblies. */
2033         if (mono_compile_aot || action == DO_EXEC || action == DO_DEBUGGER) {
2034                 mono_config_parse (config_file);
2035         }
2036
2037         mono_set_defaults (mini_verbose, opt);
2038         domain = mini_init (argv [i], forced_version);
2039
2040         mono_gc_set_stack_end (&domain);
2041
2042         if (agents) {
2043                 int i;
2044
2045                 for (i = 0; i < agents->len; ++i) {
2046                         int res = load_agent (domain, (char*)g_ptr_array_index (agents, i));
2047                         if (res) {
2048                                 g_ptr_array_free (agents, TRUE);
2049                                 mini_cleanup (domain);
2050                                 return 1;
2051                         }
2052                 }
2053
2054                 g_ptr_array_free (agents, TRUE);
2055         }
2056
2057         switch (action) {
2058         case DO_SINGLE_METHOD_REGRESSION:
2059                 mono_do_single_method_regression = TRUE;
2060         case DO_REGRESSION:
2061                 if (mini_regression_list (mini_verbose, argc -i, argv + i)) {
2062                         g_print ("Regression ERRORS!\n");
2063                         mini_cleanup (domain);
2064                         return 1;
2065                 }
2066                 mini_cleanup (domain);
2067                 return 0;
2068         case DO_BENCH:
2069                 if (argc - i != 1 || mname == NULL) {
2070                         g_print ("Usage: mini --ncompile num --compile method assembly\n");
2071                         mini_cleanup (domain);
2072                         return 1;
2073                 }
2074                 aname = argv [i];
2075                 break;
2076         case DO_COMPILE:
2077                 if (argc - i != 1) {
2078                         mini_usage ();
2079                         mini_cleanup (domain);
2080                         return 1;
2081                 }
2082                 aname = argv [i];
2083                 break;
2084         case DO_DRAW:
2085                 if (argc - i != 1 || mname == NULL) {
2086                         mini_usage ();
2087                         mini_cleanup (domain);
2088                         return 1;
2089                 }
2090                 aname = argv [i];
2091                 break;
2092         default:
2093                 if (argc - i < 1) {
2094                         mini_usage ();
2095                         mini_cleanup (domain);
2096                         return 1;
2097                 }
2098                 aname = argv [i];
2099                 break;
2100         }
2101
2102 #ifdef MONO_JIT_INFO_TABLE_TEST
2103         if (test_jit_info_table)
2104                 jit_info_table_test (domain);
2105 #endif
2106
2107         assembly = mono_assembly_open (aname, &open_status);
2108         if (!assembly) {
2109                 fprintf (stderr, "Cannot open assembly '%s': %s.\n", aname, mono_image_strerror (open_status));
2110                 mini_cleanup (domain);
2111                 return 2;
2112         }
2113
2114         if (trace_options != NULL)
2115                 mono_trace_set_assembly (assembly);
2116
2117         if (mono_compile_aot || action == DO_EXEC) {
2118                 const char *error;
2119
2120                 //mono_set_rootdir ();
2121
2122                 error = mono_check_corlib_version ();
2123                 if (error) {
2124                         fprintf (stderr, "Corlib not in sync with this runtime: %s\n", error);
2125                         fprintf (stderr, "Loaded from: %s\n",
2126                                 mono_defaults.corlib? mono_image_get_filename (mono_defaults.corlib): "unknown");
2127                         fprintf (stderr, "Download a newer corlib or a newer runtime at http://www.mono-project.com/download.\n");
2128                         exit (1);
2129                 }
2130
2131 #ifdef HOST_WIN32
2132                 /* Detach console when executing IMAGE_SUBSYSTEM_WINDOWS_GUI on win32 */
2133                 if (!enable_debugging && !mono_compile_aot && ((MonoCLIImageInfo*)(mono_assembly_get_image (assembly)->image_info))->cli_header.nt.pe_subsys_required == IMAGE_SUBSYSTEM_WINDOWS_GUI)
2134                         FreeConsole ();
2135 #endif
2136
2137                 main_args.domain = domain;
2138                 main_args.file = aname;
2139                 main_args.argc = argc - i;
2140                 main_args.argv = argv + i;
2141                 main_args.opts = opt;
2142                 main_args.aot_options = aot_options;
2143 #if RUN_IN_SUBTHREAD
2144                 mono_runtime_exec_managed_code (domain, main_thread_handler, &main_args);
2145 #else
2146                 main_thread_handler (&main_args);
2147                 mono_thread_manage ();
2148 #endif
2149
2150                 mini_cleanup (domain);
2151
2152                 /* Look up return value from System.Environment.ExitCode */
2153                 i = mono_environment_exitcode_get ();
2154                 return i;
2155         } else if (action == DO_COMPILE) {
2156                 compile_all_methods (assembly, mini_verbose, opt, recompilation_times);
2157                 mini_cleanup (domain);
2158                 return 0;
2159         } else if (action == DO_DEBUGGER) {
2160                 return 1;
2161         }
2162         desc = mono_method_desc_new (mname, 0);
2163         if (!desc) {
2164                 g_print ("Invalid method name %s\n", mname);
2165                 mini_cleanup (domain);
2166                 return 3;
2167         }
2168         method = mono_method_desc_search_in_image (desc, mono_assembly_get_image (assembly));
2169         if (!method) {
2170                 g_print ("Cannot find method %s\n", mname);
2171                 mini_cleanup (domain);
2172                 return 3;
2173         }
2174
2175 #ifndef DISABLE_JIT
2176         if (action == DO_DRAW) {
2177                 int part = 0;
2178
2179                 switch (mono_graph_options) {
2180                 case MONO_GRAPH_DTREE:
2181                         part = 1;
2182                         opt |= MONO_OPT_LOOP;
2183                         break;
2184                 case MONO_GRAPH_CFG_CODE:
2185                         part = 1;
2186                         break;
2187                 case MONO_GRAPH_CFG_SSA:
2188                         part = 2;
2189                         break;
2190                 case MONO_GRAPH_CFG_OPTCODE:
2191                         part = 3;
2192                         break;
2193                 default:
2194                         break;
2195                 }
2196
2197                 if ((method->iflags & METHOD_IMPL_ATTRIBUTE_INTERNAL_CALL) ||
2198                         (method->flags & METHOD_ATTRIBUTE_PINVOKE_IMPL)) {
2199                         MonoMethod *nm;
2200                         nm = mono_marshal_get_native_wrapper (method, TRUE, FALSE);
2201                         cfg = mini_method_compile (nm, opt, mono_get_root_domain (), (JitFlags)0, part, -1);
2202                 }
2203                 else
2204                         cfg = mini_method_compile (method, opt, mono_get_root_domain (), (JitFlags)0, part, -1);
2205                 if ((mono_graph_options & MONO_GRAPH_CFG_SSA) && !(cfg->comp_done & MONO_COMP_SSA)) {
2206                         g_warning ("no SSA info available (use -O=deadce)");
2207                         return 1;
2208                 }
2209                 mono_draw_graph (cfg, mono_graph_options);
2210                 mono_destroy_compile (cfg);
2211
2212         } else if (action == DO_BENCH) {
2213                 if (mini_stats_fd) {
2214                         const char *n;
2215                         double no_opt_time = 0.0;
2216                         GTimer *timer = g_timer_new ();
2217                         fprintf (mini_stats_fd, "$stattitle = \'Compilations times for %s\';\n",
2218                                  mono_method_full_name (method, TRUE));
2219                         fprintf (mini_stats_fd, "@data = (\n");
2220                         fprintf (mini_stats_fd, "[");
2221                         for (i = 0; i < G_N_ELEMENTS (opt_sets); i++) {
2222                                 opt = opt_sets [i];
2223                                 n = mono_opt_descr (opt);
2224                                 if (!n [0])
2225                                         n = "none";
2226                                 fprintf (mini_stats_fd, "\"%s\",", n);
2227                         }
2228                         fprintf (mini_stats_fd, "],\n[");
2229
2230                         for (i = 0; i < G_N_ELEMENTS (opt_sets); i++) {
2231                                 int j;
2232                                 double elapsed;
2233                                 opt = opt_sets [i];
2234                                 g_timer_start (timer);
2235                                 for (j = 0; j < count; ++j) {
2236                                         cfg = mini_method_compile (method, opt, mono_get_root_domain (), (JitFlags)0, 0, -1);
2237                                         mono_destroy_compile (cfg);
2238                                 }
2239                                 g_timer_stop (timer);
2240                                 elapsed = g_timer_elapsed (timer, NULL);
2241                                 if (!opt)
2242                                         no_opt_time = elapsed;
2243                                 fprintf (mini_stats_fd, "%f, ", elapsed);
2244                         }
2245                         fprintf (mini_stats_fd, "]");
2246                         if (no_opt_time > 0.0) {
2247                                 fprintf (mini_stats_fd, ", \n[");
2248                                 for (i = 0; i < G_N_ELEMENTS (opt_sets); i++)
2249                                         fprintf (mini_stats_fd, "%f,", no_opt_time);
2250                                 fprintf (mini_stats_fd, "]");
2251                         }
2252                         fprintf (mini_stats_fd, ");\n");
2253                 } else {
2254                         for (i = 0; i < count; ++i) {
2255                                 if ((method->iflags & METHOD_IMPL_ATTRIBUTE_INTERNAL_CALL) ||
2256                                         (method->flags & METHOD_ATTRIBUTE_PINVOKE_IMPL))
2257                                         method = mono_marshal_get_native_wrapper (method, TRUE, FALSE);
2258
2259                                 cfg = mini_method_compile (method, opt, mono_get_root_domain (), (JitFlags)0, 0, -1);
2260                                 mono_destroy_compile (cfg);
2261                         }
2262                 }
2263         } else {
2264                 cfg = mini_method_compile (method, opt, mono_get_root_domain (), (JitFlags)0, 0, -1);
2265                 mono_destroy_compile (cfg);
2266         }
2267 #endif
2268
2269         mini_cleanup (domain);
2270         return 0;
2271 }
2272
2273 MonoDomain *
2274 mono_jit_init (const char *file)
2275 {
2276         return mini_init (file, NULL);
2277 }
2278
2279 /**
2280  * mono_jit_init_version:
2281  * @domain_name: the name of the root domain
2282  * @runtime_version: the version of the runtime to load
2283  *
2284  * Use this version when you want to force a particular runtime
2285  * version to be used.  By default Mono will pick the runtime that is
2286  * referenced by the initial assembly (specified in @file), this
2287  * routine allows programmers to specify the actual runtime to be used
2288  * as the initial runtime is inherited by all future assemblies loaded
2289  * (since Mono does not support having more than one mscorlib runtime
2290  * loaded at once).
2291  *
2292  * The @runtime_version can be one of these strings: "v4.0.30319" for
2293  * desktop, "mobile" for mobile or "moonlight" for Silverlight compat.
2294  * If an unrecognized string is input, the vm will default to desktop.
2295  *
2296  * Returns: the MonoDomain representing the domain where the assembly
2297  * was loaded.
2298  */
2299 MonoDomain *
2300 mono_jit_init_version (const char *domain_name, const char *runtime_version)
2301 {
2302         return mini_init (domain_name, runtime_version);
2303 }
2304
2305 void
2306 mono_jit_cleanup (MonoDomain *domain)
2307 {
2308         mono_thread_manage ();
2309
2310         mini_cleanup (domain);
2311 }
2312
2313 void
2314 mono_jit_set_aot_only (gboolean val)
2315 {
2316         mono_aot_only = val;
2317 }
2318
2319 void
2320 mono_jit_set_aot_mode (MonoAotMode mode)
2321 {
2322         mono_aot_mode = mode;
2323         if (mono_aot_mode == MONO_AOT_MODE_LLVMONLY) {
2324                 mono_aot_only = TRUE;
2325                 mono_llvm_only = TRUE;
2326         }
2327 }
2328
2329 /**
2330  * mono_jit_set_trace_options:
2331  * @options: string representing the trace options
2332  *
2333  * Set the options of the tracing engine. This function can be called before initializing
2334  * the mono runtime. See the --trace mono(1) manpage for the options format.
2335  *
2336  * Returns: #TRUE if the options where parsed and set correctly, #FALSE otherwise.
2337  */
2338 gboolean
2339 mono_jit_set_trace_options (const char* options)
2340 {
2341         MonoTraceSpec *trace_opt = mono_trace_parse_options (options);
2342         if (trace_opt == NULL)
2343                 return FALSE;
2344         mono_jit_trace_calls = trace_opt;
2345         return TRUE;
2346 }
2347
2348 /**
2349  * mono_set_signal_chaining:
2350  *
2351  *   Enable/disable signal chaining. This should be called before mono_jit_init ().
2352  * If signal chaining is enabled, the runtime saves the original signal handlers before
2353  * installing its own handlers, and calls the original ones in the following cases:
2354  * - a SIGSEGV/SIGABRT signal received while executing native (i.e. not JITted) code.
2355  * - SIGPROF
2356  * - SIGFPE
2357  * - SIGQUIT
2358  * - SIGUSR2
2359  * Signal chaining only works on POSIX platforms.
2360  */
2361 void
2362 mono_set_signal_chaining (gboolean chain_signals)
2363 {
2364         mono_do_signal_chaining = chain_signals;
2365 }
2366
2367 /**
2368  * mono_set_crash_chaining:
2369  *
2370  * Enable/disable crash chaining due to signals. When a fatal signal is delivered and
2371  * Mono doesn't know how to handle it, it will invoke the crash handler. If chrash chaining
2372  * is enabled, it will first print its crash information and then try to chain with the native handler.
2373  */
2374 void
2375 mono_set_crash_chaining (gboolean chain_crashes)
2376 {
2377         mono_do_crash_chaining = chain_crashes;
2378 }
2379
2380 /**
2381  * mono_parse_options_from:
2382  * @options: string containing strings
2383  * @ref_argc: pointer to the argc variable that might be updated
2384  * @ref_argv: pointer to the argv string vector variable that might be updated
2385  *
2386  * This function parses the contents of the `MONO_ENV_OPTIONS`
2387  * environment variable as if they were parsed by a command shell
2388  * splitting the contents by spaces into different elements of the
2389  * @argv vector.  This method supports quoting with both the " and '
2390  * characters.  Inside quoting, spaces and tabs are significant,
2391  * otherwise, they are considered argument separators.
2392  *
2393  * The \ character can be used to escape the next character which will
2394  * be added to the current element verbatim.  Typically this is used
2395  * inside quotes.   If the quotes are not balanced, this method
2396  *
2397  * If the environment variable is empty, no changes are made
2398  * to the values pointed by @ref_argc and @ref_argv.
2399  *
2400  * Otherwise the @ref_argv is modified to point to a new array that contains
2401  * all the previous elements contained in the vector, plus the values parsed.
2402  * The @argc is updated to match the new number of parameters.
2403  *
2404  * Returns: The value NULL is returned on success, otherwise a g_strdup allocated
2405  * string is returned (this is an alias to malloc under normal circumstances) that
2406  * contains the error message that happened during parsing.
2407  */
2408 char *
2409 mono_parse_options_from (const char *options, int *ref_argc, char **ref_argv [])
2410 {
2411         int argc = *ref_argc;
2412         char **argv = *ref_argv;
2413         GPtrArray *array = g_ptr_array_new ();
2414         GString *buffer = g_string_new ("");
2415         const char *p;
2416         unsigned i;
2417         gboolean in_quotes = FALSE;
2418         char quote_char = '\0';
2419
2420         if (options == NULL)
2421                 return NULL;
2422
2423         for (p = options; *p; p++){
2424                 switch (*p){
2425                 case ' ': case '\t':
2426                         if (!in_quotes) {
2427                                 if (buffer->len != 0){
2428                                         g_ptr_array_add (array, g_strdup (buffer->str));
2429                                         g_string_truncate (buffer, 0);
2430                                 }
2431                         } else {
2432                                 g_string_append_c (buffer, *p);
2433                         }
2434                         break;
2435                 case '\\':
2436                         if (p [1]){
2437                                 g_string_append_c (buffer, p [1]);
2438                                 p++;
2439                         }
2440                         break;
2441                 case '\'':
2442                 case '"':
2443                         if (in_quotes) {
2444                                 if (quote_char == *p)
2445                                         in_quotes = FALSE;
2446                                 else
2447                                         g_string_append_c (buffer, *p);
2448                         } else {
2449                                 in_quotes = TRUE;
2450                                 quote_char = *p;
2451                         }
2452                         break;
2453                 default:
2454                         g_string_append_c (buffer, *p);
2455                         break;
2456                 }
2457         }
2458         if (in_quotes)
2459                 return g_strdup_printf ("Unmatched quotes in value: [%s]\n", options);
2460
2461         if (buffer->len != 0)
2462                 g_ptr_array_add (array, g_strdup (buffer->str));
2463         g_string_free (buffer, TRUE);
2464
2465         if (array->len > 0){
2466                 int new_argc = array->len + argc;
2467                 char **new_argv = g_new (char *, new_argc + 1);
2468                 int j;
2469
2470                 new_argv [0] = argv [0];
2471
2472                 /* First the environment variable settings, to allow the command line options to override */
2473                 for (i = 0; i < array->len; i++)
2474                         new_argv [i+1] = (char *)g_ptr_array_index (array, i);
2475                 i++;
2476                 for (j = 1; j < argc; j++)
2477                         new_argv [i++] = argv [j];
2478                 new_argv [i] = NULL;
2479
2480                 *ref_argc = new_argc;
2481                 *ref_argv = new_argv;
2482         }
2483         g_ptr_array_free (array, TRUE);
2484         return NULL;
2485 }
2486
2487 /**
2488  * mono_parse_env_options:
2489  * @ref_argc: pointer to the argc variable that might be updated
2490  * @ref_argv: pointer to the argv string vector variable that might be updated
2491  *
2492  * This function parses the contents of the `MONO_ENV_OPTIONS`
2493  * environment variable as if they were parsed by a command shell
2494  * splitting the contents by spaces into different elements of the
2495  * @argv vector.  This method supports quoting with both the " and '
2496  * characters.  Inside quoting, spaces and tabs are significant,
2497  * otherwise, they are considered argument separators.
2498  *
2499  * The \ character can be used to escape the next character which will
2500  * be added to the current element verbatim.  Typically this is used
2501  * inside quotes.   If the quotes are not balanced, this method
2502  *
2503  * If the environment variable is empty, no changes are made
2504  * to the values pointed by @ref_argc and @ref_argv.
2505  *
2506  * Otherwise the @ref_argv is modified to point to a new array that contains
2507  * all the previous elements contained in the vector, plus the values parsed.
2508  * The @argc is updated to match the new number of parameters.
2509  *
2510  * If there is an error parsing, this method will terminate the process by
2511  * calling exit(1).
2512  *
2513  * An alternative to this method that allows an arbitrary string to be parsed
2514  * and does not exit on error is the `api:mono_parse_options_from`.
2515  */
2516 void
2517 mono_parse_env_options (int *ref_argc, char **ref_argv [])
2518 {
2519         char *ret;
2520
2521         const char *env_options = g_getenv ("MONO_ENV_OPTIONS");
2522         if (env_options == NULL)
2523                 return;
2524         ret = mono_parse_options_from (env_options, ref_argc, ref_argv);
2525         if (ret == NULL)
2526                 return;
2527         fprintf (stderr, "%s", ret);
2528         exit (1);
2529 }
2530