Moved ProviderCollectionTest.cs from System assembly to System.Configuration.
[mono.git] / 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  */
11
12 #include <config.h>
13 #include <signal.h>
14 #if HAVE_SCHED_SETAFFINITY
15 #include <sched.h>
16 #endif
17 #ifdef HAVE_UNISTD_H
18 #include <unistd.h>
19 #endif
20
21 #include <mono/metadata/assembly.h>
22 #include <mono/metadata/loader.h>
23 #include <mono/metadata/tabledefs.h>
24 #include <mono/metadata/class.h>
25 #include <mono/metadata/object.h>
26 #include <mono/metadata/exception.h>
27 #include <mono/metadata/opcodes.h>
28 #include <mono/metadata/mono-endian.h>
29 #include <mono/metadata/tokentype.h>
30 #include <mono/metadata/tabledefs.h>
31 #include <mono/metadata/threads.h>
32 #include <mono/metadata/marshal.h>
33 #include <mono/metadata/socket-io.h>
34 #include <mono/metadata/appdomain.h>
35 #include <mono/metadata/debug-helpers.h>
36 #include <mono/io-layer/io-layer.h>
37 #include "mono/metadata/profiler.h"
38 #include <mono/metadata/profiler-private.h>
39 #include <mono/metadata/mono-config.h>
40 #include <mono/metadata/environment.h>
41 #include <mono/metadata/verify.h>
42 #include <mono/metadata/verify-internals.h>
43 #include <mono/metadata/mono-debug.h>
44 #include <mono/metadata/security-manager.h>
45 #include <mono/metadata/security-core-clr.h>
46 #include <mono/metadata/gc-internal.h>
47 #include <mono/metadata/coree.h>
48 #include "mono/utils/mono-counters.h"
49 #include <mono/os/gc_wrapper.h>
50
51 #include "mini.h"
52 #include "jit.h"
53 #include <string.h>
54 #include <ctype.h>
55 #include "inssel.h"
56 #include <locale.h>
57 #include "version.h"
58
59 static FILE *mini_stats_fd = NULL;
60
61 static void mini_usage (void);
62
63 #ifdef PLATFORM_WIN32
64 /* Need this to determine whether to detach console */
65 #include <mono/metadata/cil-coff.h>
66 /* This turns off command line globbing under win32 */
67 int _CRT_glob = 0;
68 #endif
69
70 typedef void (*OptFunc) (const char *p);
71
72 #undef OPTFLAG
73 #ifdef HAVE_ARRAY_ELEM_INIT
74 #define MSGSTRFIELD(line) MSGSTRFIELD1(line)
75 #define MSGSTRFIELD1(line) str##line
76
77 static const struct msgstr_t {
78 #define OPTFLAG(id,shift,name,desc) char MSGSTRFIELD(__LINE__) [sizeof (name) + sizeof (desc)];
79 #include "optflags-def.h"
80 #undef OPTFLAG
81 } opstr = {
82 #define OPTFLAG(id,shift,name,desc) name "\0" desc,
83 #include "optflags-def.h"
84 #undef OPTFLAG
85 };
86 static const gint16 opt_names [] = {
87 #define OPTFLAG(id,shift,name,desc) [(shift)] = offsetof (struct msgstr_t, MSGSTRFIELD(__LINE__)),
88 #include "optflags-def.h"
89 #undef OPTFLAG
90 };
91
92 #define optflag_get_name(id) ((const char*)&opstr + opt_names [(id)])
93 #define optflag_get_desc(id) (optflag_get_name(id) + 1 + strlen (optflag_get_name(id)))
94
95 #else /* !HAVE_ARRAY_ELEM_INIT */
96 typedef struct {
97         const char* name;
98         const char* desc;
99 } OptName;
100
101 #define OPTFLAG(id,shift,name,desc) {name,desc},
102 static const OptName 
103 opt_names [] = {
104 #include "optflags-def.h"
105         {NULL, NULL}
106 };
107 #define optflag_get_name(id) (opt_names [(id)].name)
108 #define optflag_get_desc(id) (opt_names [(id)].desc)
109
110 #endif
111
112 static const OptFunc
113 opt_funcs [sizeof (int) * 8] = {
114         NULL
115 };
116
117 #define DEFAULT_OPTIMIZATIONS ( \
118         MONO_OPT_PEEPHOLE |     \
119         MONO_OPT_CFOLD |        \
120         MONO_OPT_INLINE |       \
121         MONO_OPT_CONSPROP |     \
122         MONO_OPT_COPYPROP |     \
123         MONO_OPT_TREEPROP |     \
124         MONO_OPT_DEADCE |       \
125         MONO_OPT_BRANCH |       \
126         MONO_OPT_LINEARS |      \
127         MONO_OPT_INTRINS |  \
128         MONO_OPT_LOOP |  \
129         MONO_OPT_EXCEPTION |  \
130     MONO_OPT_CMOV |  \
131         MONO_OPT_GSHARED |      \
132         MONO_OPT_AOT)
133
134 #define EXCLUDED_FROM_ALL (MONO_OPT_SHARED | MONO_OPT_PRECOMP)
135
136 static guint32
137 parse_optimizations (const char* p)
138 {
139         /* the default value */
140         guint32 opt = DEFAULT_OPTIMIZATIONS;
141         guint32 exclude = 0;
142         const char *n;
143         int i, invert, len;
144
145         /* call out to cpu detection code here that sets the defaults ... */
146         opt |= mono_arch_cpu_optimizazions (&exclude);
147         opt &= ~exclude;
148         if (!p)
149                 return opt;
150
151         while (*p) {
152                 if (*p == '-') {
153                         p++;
154                         invert = TRUE;
155                 } else {
156                         invert = FALSE;
157                 }
158                 for (i = 0; i < G_N_ELEMENTS (opt_names) && optflag_get_name (i); ++i) {
159                         n = optflag_get_name (i);
160                         len = strlen (n);
161                         if (strncmp (p, n, len) == 0) {
162                                 if (invert)
163                                         opt &= ~ (1 << i);
164                                 else
165                                         opt |= 1 << i;
166                                 p += len;
167                                 if (*p == ',') {
168                                         p++;
169                                         break;
170                                 } else if (*p == '=') {
171                                         p++;
172                                         if (opt_funcs [i])
173                                                 opt_funcs [i] (p);
174                                         while (*p && *p++ != ',');
175                                         break;
176                                 }
177                                 /* error out */
178                                 break;
179                         }
180                 }
181                 if (i == G_N_ELEMENTS (opt_names) || !optflag_get_name (i)) {
182                         if (strncmp (p, "all", 3) == 0) {
183                                 if (invert)
184                                         opt = 0;
185                                 else
186                                         opt = ~(EXCLUDED_FROM_ALL | exclude);
187                                 p += 3;
188                                 if (*p == ',')
189                                         p++;
190                         } else {
191                                 fprintf (stderr, "Invalid optimization name `%s'\n", p);
192                                 exit (1);
193                         }
194                 }
195         }
196         return opt;
197 }
198
199 static gboolean
200 parse_debug_options (const char* p)
201 {
202         MonoDebugOptions *opt = mini_get_debug_options ();
203
204         do {
205                 if (!*p) {
206                         fprintf (stderr, "Syntax error; expected debug option name\n");
207                         return FALSE;
208                 }
209
210                 if (!strncmp (p, "casts", 5)) {
211                         opt->better_cast_details = TRUE;
212                         p += 5;
213                 } else if (!strncmp (p, "mdb-optimizations", 17)) {
214                         opt->mdb_optimizations = TRUE;
215                         p += 17;
216                 } else {
217                         fprintf (stderr, "Invalid debug option `%s', use --help-debug for details\n", p);
218                         return FALSE;
219                 }
220
221                 if (*p == ',') {
222                         p++;
223                         if (!*p) {
224                                 fprintf (stderr, "Syntax error; expected debug option name\n");
225                                 return FALSE;
226                         }
227                 }
228         } while (*p);
229
230         return TRUE;
231 }
232
233 typedef struct {
234         const char name [6];
235         const char desc [18];
236         MonoGraphOptions value;
237 } GraphName;
238
239 static const GraphName 
240 graph_names [] = {
241         {"cfg",      "Control Flow",                            MONO_GRAPH_CFG},
242         {"dtree",    "Dominator Tree",                          MONO_GRAPH_DTREE},
243         {"code",     "CFG showing code",                        MONO_GRAPH_CFG_CODE},
244         {"ssa",      "CFG after SSA",                           MONO_GRAPH_CFG_SSA},
245         {"optc",     "CFG after IR opts",                       MONO_GRAPH_CFG_OPTCODE}
246 };
247
248 static MonoGraphOptions
249 mono_parse_graph_options (const char* p)
250 {
251         const char *n;
252         int i, len;
253
254         for (i = 0; i < G_N_ELEMENTS (graph_names); ++i) {
255                 n = graph_names [i].name;
256                 len = strlen (n);
257                 if (strncmp (p, n, len) == 0)
258                         return graph_names [i].value;
259         }
260
261         fprintf (stderr, "Invalid graph name provided: %s\n", p);
262         exit (1);
263 }
264
265 int
266 mono_parse_default_optimizations (const char* p)
267 {
268         guint32 opt;
269
270         opt = parse_optimizations (p);
271         return opt;
272 }
273
274 static char*
275 opt_descr (guint32 flags) {
276         GString *str = g_string_new ("");
277         int i, need_comma;
278
279         need_comma = 0;
280         for (i = 0; i < G_N_ELEMENTS (opt_names); ++i) {
281                 if (flags & (1 << i)) {
282                         if (need_comma)
283                                 g_string_append_c (str, ',');
284                         g_string_append (str, optflag_get_name (i));
285                         need_comma = 1;
286                 }
287         }
288         return g_string_free (str, FALSE);
289 }
290
291 static const guint32
292 opt_sets [] = {
293        0,
294        MONO_OPT_PEEPHOLE,
295        MONO_OPT_BRANCH,
296        MONO_OPT_CFOLD,
297        MONO_OPT_FCMOV,
298        MONO_OPT_BRANCH | MONO_OPT_PEEPHOLE | MONO_OPT_INTRINS,
299        MONO_OPT_BRANCH | MONO_OPT_PEEPHOLE | MONO_OPT_LINEARS,
300        MONO_OPT_BRANCH | MONO_OPT_PEEPHOLE | MONO_OPT_LINEARS | MONO_OPT_COPYPROP,
301        MONO_OPT_BRANCH | MONO_OPT_PEEPHOLE | MONO_OPT_LINEARS | MONO_OPT_CFOLD,
302        MONO_OPT_BRANCH | MONO_OPT_PEEPHOLE | MONO_OPT_LINEARS | MONO_OPT_COPYPROP | MONO_OPT_CONSPROP | MONO_OPT_DEADCE,
303        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,
304        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,
305        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,
306        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,
307        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,
308        MONO_OPT_BRANCH | MONO_OPT_PEEPHOLE | MONO_OPT_LINEARS | MONO_OPT_COPYPROP | MONO_OPT_CONSPROP | MONO_OPT_DEADCE | MONO_OPT_LOOP | MONO_OPT_INLINE | MONO_OPT_INTRINS | MONO_OPT_EXCEPTION | MONO_OPT_ABCREM | MONO_OPT_SSAPRE,
309        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,
310        MONO_OPT_BRANCH | MONO_OPT_PEEPHOLE | MONO_OPT_LINEARS | MONO_OPT_COPYPROP | MONO_OPT_CONSPROP | MONO_OPT_DEADCE | MONO_OPT_LOOP | MONO_OPT_INLINE | MONO_OPT_INTRINS | MONO_OPT_TREEPROP,
311        MONO_OPT_BRANCH | MONO_OPT_PEEPHOLE | MONO_OPT_LINEARS | MONO_OPT_COPYPROP | MONO_OPT_CONSPROP | MONO_OPT_DEADCE | MONO_OPT_LOOP | MONO_OPT_INLINE | MONO_OPT_INTRINS | MONO_OPT_SSAPRE,
312        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
313 };
314
315 typedef int (*TestMethod) (void);
316
317 #if 0
318 static void
319 domain_dump_native_code (MonoDomain *domain) {
320         // need to poke into the domain, move to metadata/domain.c
321         // need to empty jit_info_table and code_mp
322 }
323 #endif
324
325 static int
326 mini_regression (MonoImage *image, int verbose, int *total_run) {
327         guint32 i, opt, opt_flags;
328         MonoMethod *method;
329         MonoCompile *cfg;
330         char *n;
331         int result, expected, failed, cfailed, run, code_size, total;
332         TestMethod func;
333         GTimer *timer = g_timer_new ();
334
335         if (mini_stats_fd) {
336                 fprintf (mini_stats_fd, "$stattitle = \'Mono Benchmark Results (various optimizations)\';\n");
337
338                 fprintf (mini_stats_fd, "$graph->set_legend(qw(");
339                 for (opt = 0; opt < G_N_ELEMENTS (opt_sets); opt++) {
340                         opt_flags = opt_sets [opt];
341                         n = opt_descr (opt_flags);
342                         if (!n [0])
343                                 n = (char *)"none";
344                         if (opt)
345                                 fprintf (mini_stats_fd, " ");
346                         fprintf (mini_stats_fd, "%s", n);
347                 
348
349                 }
350                 fprintf (mini_stats_fd, "));\n");
351
352                 fprintf (mini_stats_fd, "@data = (\n");
353                 fprintf (mini_stats_fd, "[");
354         }
355
356         /* load the metadata */
357         for (i = 0; i < mono_image_get_table_rows (image, MONO_TABLE_METHOD); ++i) {
358                 method = mono_get_method (image, MONO_TOKEN_METHOD_DEF | (i + 1), NULL);
359                 mono_class_init (method->klass);
360
361                 if (!strncmp (method->name, "test_", 5) && mini_stats_fd) {
362                         fprintf (mini_stats_fd, "\"%s\",", method->name);
363                 }
364         }
365         if (mini_stats_fd)
366                 fprintf (mini_stats_fd, "],\n");
367
368
369         total = 0;
370         *total_run = 0;
371         for (opt = 0; opt < G_N_ELEMENTS (opt_sets); ++opt) {
372                 double elapsed, comp_time, start_time;
373
374                 opt_flags = opt_sets [opt];
375                 mono_set_defaults (verbose, opt_flags);
376                 n = opt_descr (opt_flags);
377                 g_print ("Test run: image=%s, opts=%s\n", mono_image_get_filename (image), n);
378                 g_free (n);
379                 cfailed = failed = run = code_size = 0;
380                 comp_time = elapsed = 0.0;
381
382                 /* fixme: ugly hack - delete all previously compiled methods */
383                 g_hash_table_destroy (mono_domain_get ()->jit_trampoline_hash);
384                 mono_domain_get ()->jit_trampoline_hash = g_hash_table_new (mono_aligned_addr_hash, NULL);
385                 mono_internal_hash_table_destroy (&(mono_domain_get ()->jit_code_hash));
386                 mono_jit_code_hash_init (&(mono_domain_get ()->jit_code_hash));
387
388                 g_timer_start (timer);
389                 if (mini_stats_fd)
390                         fprintf (mini_stats_fd, "[");
391                 for (i = 0; i < mono_image_get_table_rows (image, MONO_TABLE_METHOD); ++i) {
392                         method = mono_get_method (image, MONO_TOKEN_METHOD_DEF | (i + 1), NULL);
393                         if (strncmp (method->name, "test_", 5) == 0) {
394                                 expected = atoi (method->name + 5);
395                                 run++;
396                                 start_time = g_timer_elapsed (timer, NULL);
397                                 comp_time -= start_time; 
398                                 cfg = mini_method_compile (method, opt_flags, mono_get_root_domain (), TRUE, FALSE, 0);
399                                 comp_time += g_timer_elapsed (timer, NULL);
400                                 if (cfg->exception_type == MONO_EXCEPTION_NONE) {
401                                         if (verbose >= 2)
402                                                 g_print ("Running '%s' ...\n", method->name);
403 #ifdef MONO_USE_AOT_COMPILER
404                                         if ((func = mono_aot_get_method (mono_get_root_domain (), method)))
405                                                 ;
406                                         else
407 #endif
408                                                 func = (TestMethod)(gpointer)cfg->native_code;
409                                         func = (TestMethod)mono_create_ftnptr (mono_get_root_domain (), func);
410                                         result = func ();
411                                         if (result != expected) {
412                                                 failed++;
413                                                 g_print ("Test '%s' failed result (got %d, expected %d).\n", method->name, result, expected);
414                                         }
415                                         code_size += cfg->code_len;
416                                         mono_destroy_compile (cfg);
417
418                                 } else {
419                                         cfailed++;
420                                         if (verbose)
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         if (mini_stats_fd) {
446                 fprintf (mini_stats_fd, ");\n");
447                 fflush (mini_stats_fd);
448         }
449
450         g_timer_destroy (timer);
451         return total;
452 }
453
454 static int
455 mini_regression_list (int verbose, int count, char *images [])
456 {
457         int i, total, total_run, run;
458         MonoAssembly *ass;
459         
460         total_run =  total = 0;
461         for (i = 0; i < count; ++i) {
462                 ass = mono_assembly_open (images [i], NULL);
463                 if (!ass) {
464                         g_warning ("failed to load assembly: %s", images [i]);
465                         continue;
466                 }
467                 total += mini_regression (mono_assembly_get_image (ass), verbose, &run);
468                 total_run += run;
469         }
470         if (total > 0){
471                 g_print ("Overall results: tests: %d, failed: %d, opt combinations: %d (pass: %.2f%%)\n", 
472                          total_run, total, (int)G_N_ELEMENTS (opt_sets), 100.0*(total_run-total)/total_run);
473         } else {
474                 g_print ("Overall results: tests: %d, 100%% pass, opt combinations: %d\n", 
475                          total_run, (int)G_N_ELEMENTS (opt_sets));
476         }
477         
478         return total;
479 }
480
481 #ifdef MONO_JIT_INFO_TABLE_TEST
482 typedef struct _JitInfoData
483 {
484         guint start;
485         guint length;
486         MonoJitInfo *ji;
487         struct _JitInfoData *next;
488 } JitInfoData;
489
490 typedef struct
491 {
492         guint start;
493         guint length;
494         int num_datas;
495         JitInfoData *data;
496 } Region;
497
498 typedef struct
499 {
500         int num_datas;
501         int num_regions;
502         Region *regions;
503         int num_frees;
504         JitInfoData *frees;
505 } ThreadData;
506
507 static int num_threads;
508 static ThreadData *thread_datas;
509 static MonoDomain *test_domain;
510
511 static JitInfoData*
512 alloc_random_data (Region *region)
513 {
514         JitInfoData **data;
515         JitInfoData *prev;
516         guint prev_end;
517         guint next_start;
518         guint max_len;
519         JitInfoData *d;
520         int num_retries = 0;
521         int pos, i;
522
523  restart:
524         prev = NULL;
525         data = &region->data;
526         pos = random () % (region->num_datas + 1);
527         i = 0;
528         while (*data != NULL) {
529                 if (i++ == pos)
530                         break;
531                 prev = *data;
532                 data = &(*data)->next;
533         }
534
535         if (prev == NULL)
536                 g_assert (*data == region->data);
537         else
538                 g_assert (prev->next == *data);
539
540         if (prev == NULL)
541                 prev_end = region->start;
542         else
543                 prev_end = prev->start + prev->length;
544
545         if (*data == NULL)
546                 next_start = region->start + region->length;
547         else
548                 next_start = (*data)->start;
549
550         g_assert (prev_end <= next_start);
551
552         max_len = next_start - prev_end;
553         if (max_len < 128) {
554                 if (++num_retries >= 10)
555                         return NULL;
556                 goto restart;
557         }
558         if (max_len > 1024)
559                 max_len = 1024;
560
561         d = g_new0 (JitInfoData, 1);
562         d->start = prev_end + random () % (max_len / 2);
563         d->length = random () % MIN (max_len, next_start - d->start) + 1;
564
565         g_assert (d->start >= prev_end && d->start + d->length <= next_start);
566
567         d->ji = g_new0 (MonoJitInfo, 1);
568         d->ji->method = (MonoMethod*) 0xABadBabe;
569         d->ji->code_start = (gpointer)(gulong) d->start;
570         d->ji->code_size = d->length;
571         d->ji->cas_inited = 1;  /* marks an allocated jit info */
572
573         d->next = *data;
574         *data = d;
575
576         ++region->num_datas;
577
578         return d;
579 }
580
581 static JitInfoData**
582 choose_random_data (Region *region)
583 {
584         int n;
585         int i;
586         JitInfoData **d;
587
588         g_assert (region->num_datas > 0);
589
590         n = random () % region->num_datas;
591
592         for (d = &region->data, i = 0;
593              i < n;
594              d = &(*d)->next, ++i)
595                 ;
596
597         return d;
598 }
599
600 static Region*
601 choose_random_region (ThreadData *td)
602 {
603         return &td->regions [random () % td->num_regions];
604 }
605
606 static ThreadData*
607 choose_random_thread (void)
608 {
609         return &thread_datas [random () % num_threads];
610 }
611
612 static void
613 free_jit_info_data (ThreadData *td, JitInfoData *free)
614 {
615         free->next = td->frees;
616         td->frees = free;
617
618         if (++td->num_frees >= 1000) {
619                 int i;
620
621                 for (i = 0; i < 500; ++i)
622                         free = free->next;
623
624                 while (free->next != NULL) {
625                         JitInfoData *next = free->next->next;
626
627                         //g_free (free->next->ji);
628                         g_free (free->next);
629                         free->next = next;
630
631                         --td->num_frees;
632                 }
633         }
634 }
635
636 #define NUM_THREADS             8
637 #define REGIONS_PER_THREAD      10
638 #define REGION_SIZE             0x10000
639
640 #define MAX_ADDR                (REGION_SIZE * REGIONS_PER_THREAD * NUM_THREADS)
641
642 #define MODE_ALLOC      1
643 #define MODE_FREE       2
644
645 static void
646 test_thread_func (ThreadData *td)
647 {
648         int mode = MODE_ALLOC;
649         int i = 0;
650         gulong lookup_successes = 0, lookup_failures = 0;
651         MonoDomain *domain = test_domain;
652         int thread_num = (int)(td - thread_datas);
653         gboolean modify_thread = thread_num < NUM_THREADS / 2; /* only half of the threads modify the table */
654
655         for (;;) {
656                 int alloc;
657                 int lookup = 1;
658
659                 if (td->num_datas == 0) {
660                         lookup = 0;
661                         alloc = 1;
662                 } else if (modify_thread && random () % 1000 < 5) {
663                         lookup = 0;
664                         if (mode == MODE_ALLOC)
665                                 alloc = (random () % 100) < 70;
666                         else if (mode == MODE_FREE)
667                                 alloc = (random () % 100) < 30;
668                 }
669
670                 if (lookup) {
671                         /* modify threads sometimes look up their own jit infos */
672                         if (modify_thread && random () % 10 < 5) {
673                                 Region *region = choose_random_region (td);
674
675                                 if (region->num_datas > 0) {
676                                         JitInfoData **data = choose_random_data (region);
677                                         guint pos = (*data)->start + random () % (*data)->length;
678                                         MonoJitInfo *ji;
679
680                                         ji = mono_jit_info_table_find (domain, (char*)(gulong) pos);
681
682                                         g_assert (ji->cas_inited);
683                                         g_assert ((*data)->ji == ji);
684                                 }
685                         } else {
686                                 int pos = random () % MAX_ADDR;
687                                 char *addr = (char*)(gulong) pos;
688                                 MonoJitInfo *ji;
689
690                                 ji = mono_jit_info_table_find (domain, addr);
691
692                                 /*
693                                  * FIXME: We are actually not allowed
694                                  * to do this.  By the time we examine
695                                  * the ji another thread might already
696                                  * have removed it.
697                                  */
698                                 if (ji != NULL) {
699                                         g_assert (addr >= (char*)ji->code_start && addr < (char*)ji->code_start + ji->code_size);
700                                         ++lookup_successes;
701                                 } else
702                                         ++lookup_failures;
703                         }
704                 } else if (alloc) {
705                         JitInfoData *data = alloc_random_data (choose_random_region (td));
706
707                         if (data != NULL) {
708                                 mono_jit_info_table_add (domain, data->ji);
709
710                                 ++td->num_datas;
711                         }
712                 } else {
713                         Region *region = choose_random_region (td);
714
715                         if (region->num_datas > 0) {
716                                 JitInfoData **data = choose_random_data (region);
717                                 JitInfoData *free;
718
719                                 mono_jit_info_table_remove (domain, (*data)->ji);
720
721                                 //(*data)->ji->cas_inited = 0; /* marks a free jit info */
722
723                                 free = *data;
724                                 *data = (*data)->next;
725
726                                 free_jit_info_data (td, free);
727
728                                 --region->num_datas;
729                                 --td->num_datas;
730                         }
731                 }
732
733                 if (++i % 100000 == 0) {
734                         int j;
735                         g_print ("num datas %d (%ld - %ld): %d", (int)(td - thread_datas),
736                                  lookup_successes, lookup_failures, td->num_datas);
737                         for (j = 0; j < td->num_regions; ++j)
738                                 g_print ("  %d", td->regions [j].num_datas);
739                         g_print ("\n");
740                 }
741
742                 if (td->num_datas < 100)
743                         mode = MODE_ALLOC;
744                 else if (td->num_datas > 2000)
745                         mode = MODE_FREE;
746         }
747 }
748
749 /*
750 static void
751 small_id_thread_func (gpointer arg)
752 {
753         MonoThread *thread = mono_thread_current ();
754         MonoThreadHazardPointers *hp = mono_hazard_pointer_get ();
755
756         g_print ("my small id is %d\n", (int)thread->small_id);
757         mono_hazard_pointer_clear (hp, 1);
758         sleep (3);
759         g_print ("done %d\n", (int)thread->small_id);
760 }
761 */
762
763 static void
764 jit_info_table_test (MonoDomain *domain)
765 {
766         int i;
767
768         g_print ("testing jit_info_table\n");
769
770         num_threads = NUM_THREADS;
771         thread_datas = g_new0 (ThreadData, num_threads);
772
773         for (i = 0; i < num_threads; ++i) {
774                 int j;
775
776                 thread_datas [i].num_regions = REGIONS_PER_THREAD;
777                 thread_datas [i].regions = g_new0 (Region, REGIONS_PER_THREAD);
778
779                 for (j = 0; j < REGIONS_PER_THREAD; ++j) {
780                         thread_datas [i].regions [j].start = (num_threads * j + i) * REGION_SIZE;
781                         thread_datas [i].regions [j].length = REGION_SIZE;
782                 }
783         }
784
785         test_domain = domain;
786
787         /*
788         for (i = 0; i < 72; ++i)
789                 mono_thread_create (domain, small_id_thread_func, NULL);
790
791         sleep (2);
792         */
793
794         for (i = 0; i < num_threads; ++i)
795                 mono_thread_create (domain, test_thread_func, &thread_datas [i]);
796 }
797 #endif
798
799 enum {
800         DO_BENCH,
801         DO_REGRESSION,
802         DO_COMPILE,
803         DO_EXEC,
804         DO_DRAW,
805         DO_DEBUGGER
806 };
807
808 typedef struct CompileAllThreadArgs {
809         MonoAssembly *ass;
810         int verbose;
811         guint32 opts;
812 } CompileAllThreadArgs;
813
814 static void
815 compile_all_methods_thread_main (CompileAllThreadArgs *args)
816 {
817         MonoAssembly *ass = args->ass;
818         int verbose = args->verbose;
819         MonoImage *image = mono_assembly_get_image (ass);
820         MonoMethod *method;
821         MonoCompile *cfg;
822         int i, count = 0, fail_count = 0;
823
824         for (i = 0; i < mono_image_get_table_rows (image, MONO_TABLE_METHOD); ++i) {
825                 guint32 token = MONO_TOKEN_METHOD_DEF | (i + 1);
826                 MonoMethodSignature *sig;
827
828                 if (mono_metadata_has_generic_params (image, token))
829                         continue;
830
831                 method = mono_get_method (image, token, NULL);
832                 if ((method->iflags & METHOD_IMPL_ATTRIBUTE_INTERNAL_CALL) ||
833                     (method->flags & METHOD_ATTRIBUTE_PINVOKE_IMPL) ||
834                     (method->iflags & METHOD_IMPL_ATTRIBUTE_RUNTIME) ||
835                     (method->flags & METHOD_ATTRIBUTE_ABSTRACT))
836                         continue;
837
838                 if (method->klass->generic_container)
839                         continue;
840                 sig = mono_method_signature (method);
841                 if (sig->has_type_parameters)
842                         continue;
843
844                 count++;
845                 if (verbose) {
846                         char * desc = mono_method_full_name (method, TRUE);
847                         g_print ("Compiling %d %s\n", count, desc);
848                         g_free (desc);
849                 }
850                 cfg = mini_method_compile (method, args->opts, mono_get_root_domain (), FALSE, FALSE, 0);
851                 if (cfg->exception_type != MONO_EXCEPTION_NONE) {
852                         printf ("Compilation of %s failed with exception '%s':\n", mono_method_full_name (cfg->method, TRUE), cfg->exception_message);
853                         fail_count ++;
854                 }
855                 mono_destroy_compile (cfg);
856         }
857
858         if (fail_count)
859                 exit (1);
860 }
861
862 static void
863 compile_all_methods (MonoAssembly *ass, int verbose, guint32 opts)
864 {
865         CompileAllThreadArgs args;
866
867         args.ass = ass;
868         args.verbose = verbose;
869         args.opts = opts;
870
871         /* 
872          * Need to create a mono thread since compilation might trigger
873          * running of managed code.
874          */
875         mono_thread_create (mono_domain_get (), compile_all_methods_thread_main, &args);
876
877         mono_thread_manage ();
878 }
879
880 /**
881  * mono_jit_exec:
882  * @assembly: reference to an assembly
883  * @argc: argument count
884  * @argv: argument vector
885  *
886  * Start execution of a program.
887  */
888 int 
889 mono_jit_exec (MonoDomain *domain, MonoAssembly *assembly, int argc, char *argv[])
890 {
891         MonoImage *image = mono_assembly_get_image (assembly);
892         MonoMethod *method;
893         guint32 entry = mono_image_get_entry_point (image);
894
895         if (!entry) {
896                 g_print ("Assembly '%s' doesn't have an entry point.\n", mono_image_get_filename (image));
897                 /* FIXME: remove this silly requirement. */
898                 mono_environment_exitcode_set (1);
899                 return 1;
900         }
901
902         method = mono_get_method (image, entry, NULL);
903         if (method == NULL){
904                 g_print ("The entry point method could not be loaded\n");
905                 mono_environment_exitcode_set (1);
906                 return 1;
907         }
908         
909         return mono_runtime_run_main (method, argc, argv, NULL);
910 }
911
912 typedef struct 
913 {
914         MonoDomain *domain;
915         const char *file;
916         int argc;
917         char **argv;
918         guint32 opts;
919         char *aot_options;
920 } MainThreadArgs;
921
922 static void main_thread_handler (gpointer user_data)
923 {
924         MainThreadArgs *main_args = user_data;
925         MonoAssembly *assembly;
926
927         if (mono_compile_aot) {
928                 int i, res;
929
930                 /* Treat the other arguments as assemblies to compile too */
931                 for (i = 0; i < main_args->argc; ++i) {
932                         assembly = mono_domain_assembly_open (main_args->domain, main_args->argv [i]);
933                         if (!assembly) {
934                                 fprintf (stderr, "Can not open image %s\n", main_args->argv [i]);
935                                 exit (1);
936                         }
937                         res = mono_compile_assembly (assembly, main_args->opts, main_args->aot_options);
938                         if (res != 0) {
939                                 fprintf (stderr, "AOT of image %s failed.\n", main_args->argv [i]);
940                                 exit (1);
941                         }
942                 }
943         } else {
944                 assembly = mono_domain_assembly_open (main_args->domain, main_args->file);
945                 if (!assembly){
946                         fprintf (stderr, "Can not open image %s\n", main_args->file);
947                         exit (1);
948                 }
949
950                 /* 
951                  * This must be done in a thread managed by mono since it can invoke
952                  * managed code.
953                  */
954                 if (main_args->opts & MONO_OPT_PRECOMP)
955                         mono_precompile_assemblies ();
956
957                 mono_jit_exec (main_args->domain, assembly, main_args->argc, main_args->argv);
958         }
959 }
960
961 static int
962 load_agent (MonoDomain *domain, char *desc)
963 {
964         char* col = strchr (desc, ':'); 
965         char *agent, *args;
966         MonoAssembly *agent_assembly;
967         MonoImage *image;
968         MonoMethod *method;
969         guint32 entry;
970         MonoArray *main_args;
971         gpointer pa [1];
972         MonoImageOpenStatus open_status;
973
974         if (col) {
975                 agent = g_memdup (desc, col - desc + 1);
976                 agent [col - desc] = '\0';
977                 args = col + 1;
978         } else {
979                 agent = g_strdup (desc);
980                 args = NULL;
981         }
982
983         agent_assembly = mono_assembly_open (agent, &open_status);
984         if (!agent_assembly) {
985                 fprintf (stderr, "Cannot open agent assembly '%s': %s.\n", agent, mono_image_strerror (open_status));
986                 g_free (agent);
987                 return 2;
988         }
989
990         /* 
991          * Can't use mono_jit_exec (), as it sets things which might confuse the
992          * real Main method.
993          */
994         image = mono_assembly_get_image (agent_assembly);
995         entry = mono_image_get_entry_point (image);
996         if (!entry) {
997                 g_print ("Assembly '%s' doesn't have an entry point.\n", mono_image_get_filename (image));
998                 g_free (agent);
999                 return 1;
1000         }
1001
1002         method = mono_get_method (image, entry, NULL);
1003         if (method == NULL){
1004                 g_print ("The entry point method of assembly '%s' could not be loaded\n", agent);
1005                 g_free (agent);
1006                 return 1;
1007         }
1008         
1009         mono_thread_set_main (mono_thread_current ());
1010
1011         if (args) {
1012                 main_args = (MonoArray*)mono_array_new (domain, mono_defaults.string_class, 1);
1013                 mono_array_set (main_args, MonoString*, 0, mono_string_new (domain, args));
1014         } else {
1015                 main_args = (MonoArray*)mono_array_new (domain, mono_defaults.string_class, 0);
1016         }
1017
1018         g_free (agent);
1019
1020         pa [0] = main_args;
1021         /* Pass NULL as 'exc' so unhandled exceptions abort the runtime */
1022         mono_runtime_invoke (method, NULL, pa, NULL);
1023
1024         return 0;
1025 }
1026
1027 static void
1028 mini_usage_jitdeveloper (void)
1029 {
1030         int i;
1031         
1032         fprintf (stdout,
1033                  "Runtime and JIT debugging options:\n"
1034                  "    --breakonex            Inserts a breakpoint on exceptions\n"
1035                  "    --break METHOD         Inserts a breakpoint at METHOD entry\n"
1036                  "    --break-at-bb METHOD N Inserts a breakpoint in METHOD at BB N\n"
1037                  "    --compile METHOD       Just compile METHOD in assembly\n"
1038                  "    --compile-all          Compiles all the methods in the assembly\n"
1039                  "    --ncompile N           Number of times to compile METHOD (default: 1)\n"
1040                  "    --print-vtable         Print the vtable of all used classes\n"
1041                  "    --regression           Runs the regression test contained in the assembly\n"
1042                  "    --statfile FILE        Sets the stat file to FILE\n"
1043                  "    --stats                Print statistics about the JIT operations\n"
1044                  "    --wapi=hps|semdel|seminfo IO-layer maintenance\n"
1045                  "    --inject-async-exc METHOD OFFSET Inject an asynchronous exception at METHOD\n"
1046                  "    --verify-all           Run the verifier on all methods\n"
1047                  "    --full-aot             Avoid JITting any code\n"
1048                  "    --agent=ASSEMBLY[:ARG] Loads the specific agent assembly and executes its Main method with the given argument before loading the main assembly.\n"
1049                  "\n"
1050                  "Other options:\n" 
1051                  "    --graph[=TYPE] METHOD  Draws a graph of the specified method:\n");
1052         
1053         for (i = 0; i < G_N_ELEMENTS (graph_names); ++i) {
1054                 fprintf (stdout, "                           %-10s %s\n", graph_names [i].name, graph_names [i].desc);
1055         }
1056 }
1057
1058 static void
1059 mini_usage_list_opt (void)
1060 {
1061         int i;
1062         
1063         for (i = 0; i < G_N_ELEMENTS (opt_names); ++i)
1064                 fprintf (stdout, "                           %-10s %s\n", optflag_get_name (i), optflag_get_desc (i));
1065 }
1066
1067 static void
1068 mini_usage (void)
1069 {
1070         fprintf (stdout,
1071                 "Usage is: mono [options] program [program-options]\n"
1072                 "\n"
1073                 "Development:\n"
1074                 "    --aot                  Compiles the assembly to native code\n"
1075                 "    --debug[=<options>]    Enable debugging support, use --help-debug for details\n"
1076                 "    --profile[=profiler]   Runs in profiling mode with the specified profiler module\n"
1077                 "    --trace[=EXPR]         Enable tracing, use --help-trace for details\n"
1078                 "    --help-devel           Shows more options available to developers\n"
1079                 "\n"
1080                 "Runtime:\n"
1081                 "    --config FILE          Loads FILE as the Mono config\n"
1082                 "    --verbose, -v          Increases the verbosity level\n"
1083                 "    --help, -h             Show usage information\n"
1084                 "    --version, -V          Show version information\n"
1085                 "    --runtime=VERSION      Use the VERSION runtime, instead of autodetecting\n"
1086                 "    --optimize=OPT         Turns on or off a specific optimization\n"
1087                 "                           Use --list-opt to get a list of optimizations\n"
1088                 "    --security[=mode]      Turns on the unsupported security manager (off by default)\n"
1089                 "                           mode is one of cas, core-clr, verifiable or validil\n");
1090 }
1091
1092 static void
1093 mini_trace_usage (void)
1094 {
1095         fprintf (stdout,
1096                  "Tracing options:\n"
1097                  "   --trace[=EXPR]        Trace every call, optional EXPR controls the scope\n"
1098                  "\n"
1099                  "EXPR is composed of:\n"
1100                  "    all                  All assemblies\n"
1101                  "    none                 No assemblies\n"
1102                  "    program              Entry point assembly\n"
1103                  "    assembly             Specifies an assembly\n"
1104                  "    M:Type:Method        Specifies a method\n"
1105                  "    N:Namespace          Specifies a namespace\n"
1106                  "    T:Type               Specifies a type\n"
1107                  "    +EXPR                Includes expression\n"
1108                  "    -EXPR                Excludes expression\n"
1109                  "    disabled             Don't print any output until toggled via SIGUSR2\n");
1110 }
1111
1112 static void
1113 mini_debug_usage (void)
1114 {
1115         fprintf (stdout,
1116                  "Debugging options:\n"
1117                  "   --debug[=OPTIONS]     Enable debugging support, optional OPTIONS is a comma\n"
1118                  "                         separated list of options\n"
1119                  "\n"
1120                  "OPTIONS is composed of:\n"
1121                  "    casts                Enable more detailed InvalidCastException messages.\n"
1122                  "    mdb-optimizations    Disable some JIT optimizations which are normally\n"
1123                  "                         disabled when running inside the debugger.\n"
1124                  "                         This is useful if you plan to attach to the running\n"
1125                  "                         process with the debugger.\n");
1126 }
1127
1128 #if defined(__arm__) && defined(__ARM_EABI__)
1129 /* Redefine ARCHITECTURE to include more information */
1130 #undef ARCHITECTURE
1131 #if G_BYTE_ORDER == G_LITTLE_ENDIAN
1132 #define ARCHITECTURE "armel"
1133 #else
1134 #define ARCHITECTURE "armeb"
1135 #endif
1136 #endif
1137
1138 static const char info[] =
1139 #ifdef HAVE_KW_THREAD
1140         "\tTLS:           __thread\n"
1141 #else
1142         "\tTLS:           normal\n"
1143 #endif /* HAVE_KW_THREAD */
1144         "\tGC:            " USED_GC_NAME "\n"
1145 #ifdef MONO_ARCH_SIGSEGV_ON_ALTSTACK
1146     "\tSIGSEGV:       altstack\n"
1147 #else
1148     "\tSIGSEGV:       normal\n"
1149 #endif
1150 #ifdef HAVE_EPOLL
1151     "\tNotifications: epoll\n"
1152 #else
1153     "\tNotification:  Thread + polling\n"
1154 #endif
1155         "\tArchitecture:  " ARCHITECTURE "\n"
1156         "\tDisabled:      " DISABLED_FEATURES "\n"
1157         "";
1158
1159 #ifndef MONO_ARCH_AOT_SUPPORTED
1160 #define error_if_aot_unsupported() do {fprintf (stderr, "AOT compilation is not supported on this platform.\n"); exit (1);} while (0)
1161 #else
1162 #define error_if_aot_unsupported()
1163 #endif
1164
1165 #ifdef PLATFORM_WIN32
1166 BOOL APIENTRY DllMain (HMODULE module_handle, DWORD reason, LPVOID reserved)
1167 {
1168         if (!GC_DllMain (module_handle, reason, reserved))
1169                 return FALSE;
1170
1171         switch (reason)
1172         {
1173         case DLL_PROCESS_ATTACH:
1174                 mono_install_runtime_load (mini_init);
1175                 break;
1176         case DLL_PROCESS_DETACH:
1177                 if (coree_module_handle)
1178                         FreeLibrary (coree_module_handle);
1179                 break;
1180         }
1181         return TRUE;
1182 }
1183 #endif
1184
1185 int
1186 mono_main (int argc, char* argv[])
1187 {
1188         MainThreadArgs main_args;
1189         MonoAssembly *assembly;
1190         MonoMethodDesc *desc;
1191         MonoMethod *method;
1192         MonoCompile *cfg;
1193         MonoDomain *domain;
1194         MonoImageOpenStatus open_status;
1195         const char* aname, *mname = NULL;
1196         char *config_file = NULL;
1197         int i, count = 1;
1198         int enable_debugging = FALSE;
1199         guint32 opt, action = DO_EXEC;
1200         MonoGraphOptions mono_graph_options = 0;
1201         int mini_verbose = 0;
1202         gboolean enable_profile = FALSE;
1203         char *trace_options = NULL;
1204         char *profile_options = NULL;
1205         char *aot_options = NULL;
1206         char *forced_version = NULL;
1207         GPtrArray *agents = NULL;
1208 #ifdef MONO_JIT_INFO_TABLE_TEST
1209         int test_jit_info_table = FALSE;
1210 #endif
1211
1212         setlocale (LC_ALL, "");
1213
1214 #if HAVE_SCHED_SETAFFINITY
1215         if (getenv ("MONO_NO_SMP")) {
1216                 unsigned long proc_mask = 1;
1217                 sched_setaffinity (getpid(), sizeof (unsigned long), (gpointer)&proc_mask);
1218         }
1219 #endif
1220         if (!g_thread_supported ())
1221                 g_thread_init (NULL);
1222
1223         if (mono_running_on_valgrind () && getenv ("MONO_VALGRIND_LEAK_CHECK")) {
1224                 GMemVTable mem_vtable;
1225
1226                 /* 
1227                  * Instruct glib to use the system allocation functions so valgrind
1228                  * can track the memory allocated by the g_... functions.
1229                  */
1230                 memset (&mem_vtable, 0, sizeof (mem_vtable));
1231                 mem_vtable.malloc = malloc;
1232                 mem_vtable.realloc = realloc;
1233                 mem_vtable.free = free;
1234                 mem_vtable.calloc = calloc;
1235
1236                 g_mem_set_vtable (&mem_vtable);
1237         }
1238
1239         g_log_set_always_fatal (G_LOG_LEVEL_ERROR);
1240         g_log_set_fatal_mask (G_LOG_DOMAIN, G_LOG_LEVEL_ERROR);
1241
1242         opt = parse_optimizations (NULL);
1243
1244         for (i = 1; i < argc; ++i) {
1245                 if (argv [i] [0] != '-')
1246                         break;
1247                 if (strcmp (argv [i], "--regression") == 0) {
1248                         action = DO_REGRESSION;
1249                 } else if (strcmp (argv [i], "--verbose") == 0 || strcmp (argv [i], "-v") == 0) {
1250                         mini_verbose++;
1251                 } else if (strcmp (argv [i], "--version") == 0 || strcmp (argv [i], "-V") == 0) {
1252                         g_print ("Mono JIT compiler version %s (%s)\nCopyright (C) 2002-2008 Novell, Inc and Contributors. www.mono-project.com\n", VERSION, FULL_VERSION);
1253                         g_print (info);
1254                         if (mini_verbose) {
1255                                 const char *cerror;
1256                                 const char *clibpath;
1257                                 mono_init ("mono");
1258                                 cerror = mono_check_corlib_version ();
1259                                 clibpath = mono_defaults.corlib? mono_image_get_filename (mono_defaults.corlib): "unknown";
1260                                 if (cerror) {
1261                                         g_print ("The currently installed mscorlib doesn't match this runtime version.\n");
1262                                         g_print ("The error is: %s\n", cerror);
1263                                         g_print ("mscorlib.dll loaded at: %s\n", clibpath);
1264                                         return 1;
1265                                 }
1266                         }
1267                         return 0;
1268                 } else if (strcmp (argv [i], "--help") == 0 || strcmp (argv [i], "-h") == 0) {
1269                         mini_usage ();
1270                         return 0;
1271                 } else if (strcmp (argv [i], "--help-trace") == 0){
1272                         mini_trace_usage ();
1273                         return 0;
1274                 } else if (strcmp (argv [i], "--help-devel") == 0){
1275                         mini_usage_jitdeveloper ();
1276                         return 0;
1277                 } else if (strcmp (argv [i], "--help-debug") == 0){
1278                         mini_debug_usage ();
1279                         return 0;
1280                 } else if (strcmp (argv [i], "--list-opt") == 0){
1281                         mini_usage_list_opt ();
1282                         return 0;
1283                 } else if (strncmp (argv [i], "--statfile", 10) == 0) {
1284                         if (i + 1 >= argc){
1285                                 fprintf (stderr, "error: --statfile requires a filename argument\n");
1286                                 return 1;
1287                         }
1288                         mini_stats_fd = fopen (argv [++i], "w+");
1289                 } else if (strncmp (argv [i], "--optimize=", 11) == 0) {
1290                         opt = parse_optimizations (argv [i] + 11);
1291                 } else if (strncmp (argv [i], "-O=", 3) == 0) {
1292                         opt = parse_optimizations (argv [i] + 3);
1293                 } else if (strcmp (argv [i], "--config") == 0) {
1294                         if (i +1 >= argc){
1295                                 fprintf (stderr, "error: --config requires a filename argument\n");
1296                                 return 1;
1297                         }
1298                         config_file = argv [++i];
1299                 } else if (strcmp (argv [i], "--ncompile") == 0) {
1300                         if (i + 1 >= argc){
1301                                 fprintf (stderr, "error: --ncompile requires an argument\n");
1302                                 return 1;
1303                         }
1304                         count = atoi (argv [++i]);
1305                         action = DO_BENCH;
1306                 } else if (strcmp (argv [i], "--trace") == 0) {
1307                         trace_options = (char*)"";
1308                 } else if (strncmp (argv [i], "--trace=", 8) == 0) {
1309                         trace_options = &argv [i][8];
1310                 } else if (strcmp (argv [i], "--breakonex") == 0) {
1311                         mono_break_on_exc = TRUE;
1312                 } else if (strcmp (argv [i], "--break") == 0) {
1313                         if (i+1 >= argc){
1314                                 fprintf (stderr, "Missing method name in --break command line option\n");
1315                                 return 1;
1316                         }
1317                         
1318                         if (!mono_debugger_insert_breakpoint (argv [++i], FALSE))
1319                                 fprintf (stderr, "Error: invalid method name '%s'\n", argv [i]);
1320                 } else if (strcmp (argv [i], "--break-at-bb") == 0) {
1321                         if (i + 2 >= argc) {
1322                                 fprintf (stderr, "Missing method name or bb num in --break-at-bb command line option.");
1323                                 return 1;
1324                         }
1325                         mono_break_at_bb_method = mono_method_desc_new (argv [++i], TRUE);
1326                         if (mono_break_at_bb_method == NULL) {
1327                                 fprintf (stderr, "Method name is in a bad format in --break-at-bb command line option.");
1328                                 return 1;
1329                         }
1330                         mono_break_at_bb_bb_num = atoi (argv [++i]);
1331                 } else if (strcmp (argv [i], "--inject-async-exc") == 0) {
1332                         if (i + 2 >= argc) {
1333                                 fprintf (stderr, "Missing method name or position in --inject-async-exc command line option\n");
1334                                 return 1;
1335                         }
1336                         mono_inject_async_exc_method = mono_method_desc_new (argv [++i], TRUE);
1337                         if (mono_inject_async_exc_method == NULL) {
1338                                 fprintf (stderr, "Method name is in a bad format in --inject-async-exc command line option\n");
1339                                 return 1;
1340                         }
1341                         mono_inject_async_exc_pos = atoi (argv [++i]);
1342                 } else if (strcmp (argv [i], "--verify-all") == 0) {
1343                         mono_verifier_enable_verify_all ();
1344                 } else if (strcmp (argv [i], "--full-aot") == 0) {
1345                         mono_aot_only = TRUE;
1346                 } else if (strcmp (argv [i], "--print-vtable") == 0) {
1347                         mono_print_vtable = TRUE;
1348                 } else if (strcmp (argv [i], "--stats") == 0) {
1349                         mono_counters_enable (-1);
1350                         mono_stats.enabled = TRUE;
1351                         mono_jit_stats.enabled = TRUE;
1352 #ifndef DISABLE_AOT
1353                 } else if (strcmp (argv [i], "--aot") == 0) {
1354                         error_if_aot_unsupported ();
1355                         mono_compile_aot = TRUE;
1356                 } else if (strncmp (argv [i], "--aot=", 6) == 0) {
1357                         error_if_aot_unsupported ();
1358                         mono_compile_aot = TRUE;
1359                         aot_options = &argv [i][6];
1360 #endif
1361                 } else if (strcmp (argv [i], "--compile-all") == 0) {
1362                         action = DO_COMPILE;
1363                 } else if (strncmp (argv [i], "--runtime=", 10) == 0) {
1364                         forced_version = &argv [i][10];
1365                 } else if (strcmp (argv [i], "--profile") == 0) {
1366                         enable_profile = TRUE;
1367                         profile_options = NULL;
1368                 } else if (strncmp (argv [i], "--profile=", 10) == 0) {
1369                         enable_profile = TRUE;
1370                         profile_options = argv [i] + 10;
1371                 } else if (strncmp (argv [i], "--agent=", 8) == 0) {
1372                         if (agents == NULL)
1373                                 agents = g_ptr_array_new ();
1374                         g_ptr_array_add (agents, argv [i] + 8);
1375                 } else if (strcmp (argv [i], "--compile") == 0) {
1376                         if (i + 1 >= argc){
1377                                 fprintf (stderr, "error: --compile option requires a method name argument\n");
1378                                 return 1;
1379                         }
1380                         
1381                         mname = argv [++i];
1382                         action = DO_BENCH;
1383                 } else if (strncmp (argv [i], "--graph=", 8) == 0) {
1384                         if (i + 1 >= argc){
1385                                 fprintf (stderr, "error: --graph option requires a method name argument\n");
1386                                 return 1;
1387                         }
1388                         
1389                         mono_graph_options = mono_parse_graph_options (argv [i] + 8);
1390                         mname = argv [++i];
1391                         action = DO_DRAW;
1392                 } else if (strcmp (argv [i], "--graph") == 0) {
1393                         if (i + 1 >= argc){
1394                                 fprintf (stderr, "error: --graph option requires a method name argument\n");
1395                                 return 1;
1396                         }
1397                         
1398                         mname = argv [++i];
1399                         mono_graph_options = MONO_GRAPH_CFG;
1400                         action = DO_DRAW;
1401                 } else if (strcmp (argv [i], "--debug") == 0) {
1402                         enable_debugging = TRUE;
1403                 } else if (strncmp (argv [i], "--debug=", 8) == 0) {
1404                         enable_debugging = TRUE;
1405                         if (!parse_debug_options (argv [i] + 8))
1406                                 return 1;
1407                 } else if (strcmp (argv [i], "--security") == 0) {
1408                         mono_verifier_set_mode (MONO_VERIFIER_MODE_VERIFIABLE);
1409                         mono_security_set_mode (MONO_SECURITY_MODE_CAS);
1410                         mono_activate_security_manager ();
1411                 } else if (strncmp (argv [i], "--security=", 11) == 0) {
1412                         if (strcmp (argv [i] + 11, "temporary-smcs-hack") == 0) {
1413                                 mono_security_set_mode (MONO_SECURITY_MODE_SMCS_HACK);
1414                         } else if (strcmp (argv [i] + 11, "core-clr") == 0) {
1415                                 mono_verifier_set_mode (MONO_VERIFIER_MODE_VERIFIABLE);
1416                                 mono_security_set_mode (MONO_SECURITY_MODE_CORE_CLR);
1417                         } else if (strcmp (argv [i] + 11, "core-clr-test") == 0) {
1418                                 /* fixme should we enable verifiable code here?*/
1419                                 mono_security_set_mode (MONO_SECURITY_MODE_CORE_CLR);
1420                                 mono_security_core_clr_test = TRUE;
1421                         } else if (strcmp (argv [i] + 11, "cas") == 0){
1422                                 mono_verifier_set_mode (MONO_VERIFIER_MODE_VERIFIABLE);
1423                                 mono_security_set_mode (MONO_SECURITY_MODE_CAS);
1424                                 mono_activate_security_manager ();
1425                         } else  if (strcmp (argv [i] + 11, "validil") == 0) {
1426                                 mono_verifier_set_mode (MONO_VERIFIER_MODE_VALID);
1427                         } else  if (strcmp (argv [i] + 11, "verifiable") == 0) {
1428                                 mono_verifier_set_mode (MONO_VERIFIER_MODE_VERIFIABLE);
1429                         } else  {
1430                                 fprintf (stderr, "error: --security= option has invalid argument (cas, core-clr, verifiable or validil)\n");
1431                                 return 1;
1432                         }
1433                 } else if (strcmp (argv [i], "--desktop") == 0) {
1434 #if defined (HAVE_BOEHM_GC)
1435                         GC_dont_expand = 1;
1436 #endif
1437                         /* Put desktop-specific optimizations here */
1438                 } else if (strcmp (argv [i], "--server") == 0){
1439                         /* Put server-specific optimizations here */
1440                 } else if (strcmp (argv [i], "--inside-mdb") == 0) {
1441                         action = DO_DEBUGGER;
1442                 } else if (strncmp (argv [i], "--wapi=", 7) == 0) {
1443                         if (strcmp (argv [i] + 7, "hps") == 0) {
1444                                 return mini_wapi_hps (argc - i, argv + i);
1445                         } else if (strcmp (argv [i] + 7, "semdel") == 0) {
1446                                 return mini_wapi_semdel (argc - i, argv + i);
1447                         } else if (strcmp (argv [i] + 7, "seminfo") == 0) {
1448                                 return mini_wapi_seminfo (argc - i, argv + i);
1449                         } else {
1450                                 fprintf (stderr, "Invalid --wapi suboption: '%s'\n", argv [i]);
1451                                 return 1;
1452                         }
1453 #ifdef MONO_JIT_INFO_TABLE_TEST
1454                 } else if (strcmp (argv [i], "--test-jit-info-table") == 0) {
1455                         test_jit_info_table = TRUE;
1456 #endif
1457                 } else {
1458                         fprintf (stderr, "Unknown command line option: '%s'\n", argv [i]);
1459                         return 1;
1460                 }
1461         }
1462
1463         if (!argv [i]) {
1464                 mini_usage ();
1465                 return 1;
1466         }
1467
1468         if ((action == DO_EXEC) && mono_debug_using_mono_debugger ())
1469                 action = DO_DEBUGGER;
1470
1471         if (mono_compile_aot || action == DO_EXEC || action == DO_DEBUGGER) {
1472                 g_set_prgname (argv[i]);
1473         }
1474
1475         if (enable_profile) {
1476                 /* Needed because of TLS accesses in mono_profiler_load () */
1477                 mono_gc_base_init ();
1478                 mono_profiler_load (profile_options);
1479         }
1480
1481         if (trace_options != NULL){
1482                 /* 
1483                  * Need to call this before mini_init () so we can trace methods 
1484                  * compiled there too.
1485                  */
1486                 mono_jit_trace_calls = mono_trace_parse_options (trace_options);
1487                 if (mono_jit_trace_calls == NULL)
1488                         exit (1);
1489         }
1490
1491 #ifdef DISABLE_JIT
1492         if (!mono_aot_only) {
1493                 fprintf (stderr, "This runtime has been configured with --enable-minimal=jit, so the --full-aot command line option is required.\n");
1494                 exit (1);
1495         }
1496 #endif
1497
1498         if (action == DO_DEBUGGER) {
1499                 enable_debugging = TRUE;
1500
1501 #ifdef MONO_DEBUGGER_SUPPORTED
1502                 mono_debug_init (MONO_DEBUG_FORMAT_DEBUGGER);
1503                 mono_debugger_init ();
1504 #else
1505                 g_print ("The Mono Debugger is not supported on this platform.\n");
1506                 return 1;
1507 #endif
1508         } else if (enable_debugging)
1509                 mono_debug_init (MONO_DEBUG_FORMAT_MONO);
1510
1511         mono_set_defaults (mini_verbose, opt);
1512         mono_setup_vtable_in_class_init = FALSE;
1513         domain = mini_init (argv [i], forced_version);
1514
1515         if (agents) {
1516                 int i;
1517
1518                 for (i = 0; i < agents->len; ++i) {
1519                         int res = load_agent (domain, (char*)g_ptr_array_index (agents, i));
1520                         if (res) {
1521                                 g_ptr_array_free (agents, TRUE);
1522                                 mini_cleanup (domain);
1523                                 return 1;
1524                         }
1525                 }
1526
1527                 g_ptr_array_free (agents, TRUE);
1528         }
1529         
1530         switch (action) {
1531         case DO_REGRESSION:
1532                 if (mini_regression_list (mini_verbose, argc -i, argv + i)) {
1533                         g_print ("Regression ERRORS!\n");
1534                         mini_cleanup (domain);
1535                         return 1;
1536                 }
1537                 mini_cleanup (domain);
1538                 return 0;
1539         case DO_BENCH:
1540                 if (argc - i != 1 || mname == NULL) {
1541                         g_print ("Usage: mini --ncompile num --compile method assembly\n");
1542                         mini_cleanup (domain);
1543                         return 1;
1544                 }
1545                 aname = argv [i];
1546                 break;
1547         case DO_COMPILE:
1548                 if (argc - i != 1) {
1549                         mini_usage ();
1550                         mini_cleanup (domain);
1551                         return 1;
1552                 }
1553                 aname = argv [i];
1554                 break;
1555         case DO_DRAW:
1556                 if (argc - i != 1 || mname == NULL) {
1557                         mini_usage ();
1558                         mini_cleanup (domain);
1559                         return 1;
1560                 }
1561                 aname = argv [i];
1562                 break;
1563         default:
1564                 if (argc - i < 1) {
1565                         mini_usage ();
1566                         mini_cleanup (domain);
1567                         return 1;
1568                 }
1569                 aname = argv [i];
1570                 break;
1571         }
1572
1573         /* Parse gac loading options before loading assemblies. */
1574         if (mono_compile_aot || action == DO_EXEC || action == DO_DEBUGGER) {
1575                 mono_config_parse (config_file);
1576         }
1577
1578 #ifdef MONO_JIT_INFO_TABLE_TEST
1579         if (test_jit_info_table)
1580                 jit_info_table_test (domain);
1581 #endif
1582
1583         assembly = mono_assembly_open (aname, &open_status);
1584         if (!assembly) {
1585                 fprintf (stderr, "Cannot open assembly '%s': %s.\n", aname, mono_image_strerror (open_status));
1586                 mini_cleanup (domain);
1587                 return 2;
1588         }
1589
1590         if (trace_options != NULL)
1591                 mono_trace_set_assembly (assembly);
1592
1593         if (mono_compile_aot || action == DO_EXEC) {
1594                 const char *error;
1595
1596                 //mono_set_rootdir ();
1597
1598                 error = mono_check_corlib_version ();
1599                 if (error) {
1600                         fprintf (stderr, "Corlib not in sync with this runtime: %s\n", error);
1601                         fprintf (stderr, "Loaded from: %s\n",
1602                                 mono_defaults.corlib? mono_image_get_filename (mono_defaults.corlib): "unknown");
1603                         fprintf (stderr, "Download a newer corlib or a newer runtime at http://www.go-mono.com/daily.\n");
1604                         exit (1);
1605                 }
1606
1607 #ifdef PLATFORM_WIN32
1608                 /* Detach console when executing IMAGE_SUBSYSTEM_WINDOWS_GUI on win32 */
1609                 if (!enable_debugging && !mono_compile_aot && ((MonoCLIImageInfo*)(mono_assembly_get_image (assembly)->image_info))->cli_header.nt.pe_subsys_required == IMAGE_SUBSYSTEM_WINDOWS_GUI)
1610                         FreeConsole ();
1611 #endif
1612
1613                 main_args.domain = domain;
1614                 main_args.file = aname;         
1615                 main_args.argc = argc - i;
1616                 main_args.argv = argv + i;
1617                 main_args.opts = opt;
1618                 main_args.aot_options = aot_options;
1619 #if RUN_IN_SUBTHREAD
1620                 mono_runtime_exec_managed_code (domain, main_thread_handler, &main_args);
1621 #else
1622                 main_thread_handler (&main_args);
1623                 mono_thread_manage ();
1624 #endif
1625                 mini_cleanup (domain);
1626
1627                 /* Look up return value from System.Environment.ExitCode */
1628                 i = mono_environment_exitcode_get ();
1629                 return i;
1630         } else if (action == DO_COMPILE) {
1631                 compile_all_methods (assembly, mini_verbose, opt);
1632                 mini_cleanup (domain);
1633                 return 0;
1634         } else if (action == DO_DEBUGGER) {
1635 #ifdef MONO_DEBUGGER_SUPPORTED
1636                 const char *error;
1637
1638                 error = mono_check_corlib_version ();
1639                 if (error) {
1640                         fprintf (stderr, "Corlib not in sync with this runtime: %s\n", error);
1641                         fprintf (stderr, "Download a newer corlib or a newer runtime at http://www.go-mono.com/daily.\n");
1642                         exit (1);
1643                 }
1644
1645                 mono_debugger_main (domain, assembly, argc - i, argv + i);
1646                 mini_cleanup (domain);
1647                 return 0;
1648 #else
1649                 return 1;
1650 #endif
1651         }
1652         desc = mono_method_desc_new (mname, 0);
1653         if (!desc) {
1654                 g_print ("Invalid method name %s\n", mname);
1655                 mini_cleanup (domain);
1656                 return 3;
1657         }
1658         method = mono_method_desc_search_in_image (desc, mono_assembly_get_image (assembly));
1659         if (!method) {
1660                 g_print ("Cannot find method %s\n", mname);
1661                 mini_cleanup (domain);
1662                 return 3;
1663         }
1664
1665         if (action == DO_DRAW) {
1666                 int part = 0;
1667
1668                 switch (mono_graph_options) {
1669                 case MONO_GRAPH_DTREE:
1670                         part = 1;
1671                         opt |= MONO_OPT_LOOP;
1672                         break;
1673                 case MONO_GRAPH_CFG_CODE:
1674                         part = 1;
1675                         break;
1676                 case MONO_GRAPH_CFG_SSA:
1677                         part = 2;
1678                         break;
1679                 case MONO_GRAPH_CFG_OPTCODE:
1680                         part = 3;
1681                         break;
1682                 default:
1683                         break;
1684                 }
1685
1686                 if ((method->iflags & METHOD_IMPL_ATTRIBUTE_INTERNAL_CALL) ||
1687                         (method->flags & METHOD_ATTRIBUTE_PINVOKE_IMPL)) {
1688                         MonoMethod *nm;
1689                         nm = mono_marshal_get_native_wrapper (method, TRUE, FALSE);
1690                         cfg = mini_method_compile (nm, opt, mono_get_root_domain (), FALSE, FALSE, part);
1691                 }
1692                 else
1693                         cfg = mini_method_compile (method, opt, mono_get_root_domain (), FALSE, FALSE, part);
1694                 if ((mono_graph_options & MONO_GRAPH_CFG_SSA) && !(cfg->comp_done & MONO_COMP_SSA)) {
1695                         g_warning ("no SSA info available (use -O=deadce)");
1696                         return 1;
1697                 }
1698                 mono_draw_graph (cfg, mono_graph_options);
1699                 mono_destroy_compile (cfg);
1700
1701         } else if (action == DO_BENCH) {
1702                 if (mini_stats_fd) {
1703                         const char *n;
1704                         double no_opt_time = 0.0;
1705                         GTimer *timer = g_timer_new ();
1706                         fprintf (mini_stats_fd, "$stattitle = \'Compilations times for %s\';\n", 
1707                                  mono_method_full_name (method, TRUE));
1708                         fprintf (mini_stats_fd, "@data = (\n");
1709                         fprintf (mini_stats_fd, "[");
1710                         for (i = 0; i < G_N_ELEMENTS (opt_sets); i++) {
1711                                 opt = opt_sets [i];
1712                                 n = opt_descr (opt);
1713                                 if (!n [0])
1714                                         n = "none";
1715                                 fprintf (mini_stats_fd, "\"%s\",", n);
1716                         }
1717                         fprintf (mini_stats_fd, "],\n[");
1718
1719                         for (i = 0; i < G_N_ELEMENTS (opt_sets); i++) {
1720                                 int j;
1721                                 double elapsed;
1722                                 opt = opt_sets [i];
1723                                 g_timer_start (timer);
1724                                 for (j = 0; j < count; ++j) {
1725                                         cfg = mini_method_compile (method, opt, mono_get_root_domain (), FALSE, FALSE, 0);
1726                                         mono_destroy_compile (cfg);
1727                                 }
1728                                 g_timer_stop (timer);
1729                                 elapsed = g_timer_elapsed (timer, NULL);
1730                                 if (!opt)
1731                                         no_opt_time = elapsed;
1732                                 fprintf (mini_stats_fd, "%f, ", elapsed);
1733                         }
1734                         fprintf (mini_stats_fd, "]");
1735                         if (no_opt_time > 0.0) {
1736                                 fprintf (mini_stats_fd, ", \n[");
1737                                 for (i = 0; i < G_N_ELEMENTS (opt_sets); i++) 
1738                                         fprintf (mini_stats_fd, "%f,", no_opt_time);
1739                                 fprintf (mini_stats_fd, "]");
1740                         }
1741                         fprintf (mini_stats_fd, ");\n");
1742                 } else {
1743                         for (i = 0; i < count; ++i) {
1744                                 if ((method->iflags & METHOD_IMPL_ATTRIBUTE_INTERNAL_CALL) ||
1745                                         (method->flags & METHOD_ATTRIBUTE_PINVOKE_IMPL))
1746                                         method = mono_marshal_get_native_wrapper (method, TRUE, FALSE);
1747
1748                                 cfg = mini_method_compile (method, opt, mono_get_root_domain (), FALSE, FALSE, 0);
1749                                 mono_destroy_compile (cfg);
1750                         }
1751                 }
1752         } else {
1753                 cfg = mini_method_compile (method, opt, mono_get_root_domain (), FALSE, FALSE, 0);
1754                 mono_destroy_compile (cfg);
1755         }
1756
1757         mini_cleanup (domain);
1758         return 0;
1759 }
1760
1761 MonoDomain * 
1762 mono_jit_init (const char *file)
1763 {
1764         return mini_init (file, NULL);
1765 }
1766
1767 /**
1768  * mono_jit_init_version:
1769  * @domain_name: the name of the root domain
1770  * @runtime_version: the version of the runtime to load
1771  *
1772  * Use this version when you want to force a particular runtime
1773  * version to be used.  By default Mono will pick the runtime that is
1774  * referenced by the initial assembly (specified in @file), this
1775  * routine allows programmers to specify the actual runtime to be used
1776  * as the initial runtime is inherited by all future assemblies loaded
1777  * (since Mono does not support having more than one mscorlib runtime
1778  * loaded at once).
1779  *
1780  * The @runtime_version can be one of these strings: "v1.1.4322" for
1781  * the 1.1 runtime or "v2.0.50727"  for the 2.0 runtime. 
1782  *
1783  * Returns: the MonoDomain representing the domain where the assembly
1784  * was loaded.
1785  */
1786 MonoDomain * 
1787 mono_jit_init_version (const char *domain_name, const char *runtime_version)
1788 {
1789         return mini_init (domain_name, runtime_version);
1790 }
1791
1792 void        
1793 mono_jit_cleanup (MonoDomain *domain)
1794 {
1795         mini_cleanup (domain);
1796 }
1797
1798 /**
1799  * mono_jit_set_trace_options:
1800  * @options: string representing the trace options
1801  *
1802  * Set the options of the tracing engine. This function can be called before initializing
1803  * the mono runtime. See the --trace mono(1) manpage for the options format.
1804  *
1805  * Returns: #TRUE if the options where parsed and set correctly, #FALSE otherwise.
1806  */
1807 gboolean
1808 mono_jit_set_trace_options (const char* options)
1809 {
1810         MonoTraceSpec *trace_opt = mono_trace_parse_options (options);
1811         if (trace_opt == NULL)
1812                 return FALSE;
1813         mono_jit_trace_calls = trace_opt;
1814         return TRUE;
1815 }
1816