2 * trace.c: Tracing facilities for the Mono Runtime.
5 * Paolo Molaro (lupus@ximian.com)
6 * Dietmar Maurer (dietmar@ximian.com)
8 * (C) 2002 Ximian, Inc.
16 #include <mono/metadata/debug-helpers.h>
17 #include <mono/metadata/assembly.h>
20 static MonoTraceSpec trace_spec;
23 mono_trace_eval (MonoMethod *method)
28 for (i = 0; i < trace_spec.len; i++){
29 MonoTraceOperation *op = &trace_spec.ops [i];
33 case MONO_TRACEOP_ALL:
35 case MONO_TRACEOP_PROGRAM:
36 if (trace_spec.assembly && (method->klass->image == mono_assembly_get_image (trace_spec.assembly)))
38 case MONO_TRACEOP_METHOD:
39 if (mono_method_desc_full_match ((MonoMethodDesc *) op->data, method))
41 case MONO_TRACEOP_CLASS:
42 if (strcmp (method->klass->name_space, op->data) == 0)
43 if (strcmp (method->klass->name, op->data2) == 0)
46 case MONO_TRACEOP_ASSEMBLY:
47 if (strcmp (mono_image_get_name (method->klass->image), op->data) == 0)
49 case MONO_TRACEOP_NAMESPACE:
50 if (strcmp (method->klass->name_space, op->data) == 0)
62 static int is_filenamechar (char p)
64 if (p >= 'A' && p <= 'Z')
66 if (p >= 'a' && p <= 'z')
68 if (p >= '0' && p <= '9')
70 if (p == '.' || p == ':' || p == '_')
78 static void get_string (void)
81 while (is_filenamechar (*input)){
86 value = g_malloc (input - start + 1);
87 strncpy (value, start, input-start);
88 value [input-start] = 0;
108 if (input [0] == '\0') {
111 if (input [0] == 'M' && input [1] == ':'){
116 if (input [0] == 'N' && input [1] == ':'){
119 return TOKEN_NAMESPACE;
121 if (input [0] == 'T' && input [1] == ':'){
126 if (is_filenamechar (*input)){
128 if (strcmp (value, "all") == 0)
130 if (strcmp (value, "program") == 0)
131 return TOKEN_PROGRAM;
132 if (strcmp (value, "disabled") == 0)
133 return TOKEN_DISABLED;
138 return TOKEN_EXCLUDE;
142 return TOKEN_SEPARATOR;
145 fprintf (stderr, "Syntax error at or around '%s'\n", input);
159 int token = get_token ();
160 if (token == TOKEN_EXCLUDE){
161 token = get_spec (last);
162 if (token == TOKEN_EXCLUDE){
163 fprintf (stderr, "Expecting an expression");
166 if (token == TOKEN_ERROR)
168 trace_spec.ops [(*last)-1].exclude = 1;
169 return TOKEN_SEPARATOR;
171 if (token == TOKEN_END || token == TOKEN_SEPARATOR || token == TOKEN_ERROR)
174 if (token == TOKEN_METHOD){
175 MonoMethodDesc *desc = mono_method_desc_new (value, TRUE);
177 fprintf (stderr, "Invalid method name: %s\n", value);
180 trace_spec.ops [*last].op = MONO_TRACEOP_METHOD;
181 trace_spec.ops [*last].data = desc;
182 } else if (token == TOKEN_ALL)
183 trace_spec.ops [*last].op = MONO_TRACEOP_ALL;
184 else if (token == TOKEN_PROGRAM)
185 trace_spec.ops [*last].op = MONO_TRACEOP_PROGRAM;
186 else if (token == TOKEN_NAMESPACE){
187 trace_spec.ops [*last].op = MONO_TRACEOP_NAMESPACE;
188 trace_spec.ops [*last].data = g_strdup (value);
189 } else if (token == TOKEN_CLASS){
190 char *p = strrchr (value, '.');
193 trace_spec.ops [*last].data = g_strdup (value);
194 trace_spec.ops [*last].data2 = g_strdup (p);
197 trace_spec.ops [*last].data = g_strdup ("");
198 trace_spec.ops [*last].data2 = g_strdup (value);
200 trace_spec.ops [*last].op = MONO_TRACEOP_CLASS;
201 } else if (token == TOKEN_STRING){
202 trace_spec.ops [*last].op = MONO_TRACEOP_ASSEMBLY;
203 trace_spec.ops [*last].data = g_strdup (value);
204 } else if (token == TOKEN_DISABLED) {
205 trace_spec.enabled = FALSE;
207 fprintf (stderr, "Syntax error in trace option specification\n");
211 return TOKEN_SEPARATOR;
215 mono_trace_parse_options (char *options)
222 trace_spec.enabled = TRUE;
225 trace_spec.ops = g_new0 (MonoTraceOperation, 1);
226 trace_spec.ops [0].op = MONO_TRACEOP_ALL;
230 for (p = options; *p != 0; p++)
234 trace_spec.ops = g_new0 (MonoTraceOperation, size);
239 while ((token = (get_spec (&last_used))) != TOKEN_END){
240 if (token == TOKEN_ERROR)
242 if (token == TOKEN_SEPARATOR)
245 trace_spec.len = last_used;
251 mono_trace_set_assembly (MonoAssembly *assembly)
253 trace_spec.assembly = assembly;
256 static int indent_level = 0;
258 static void indent (int diff) {
261 indent_level += diff;
267 indent_level += diff;
271 mono_trace_enter_method (MonoMethod *method, char *ebp)
276 MonoJitArgumentInfo *arg_info;
277 MonoMethodSignature *sig;
280 if (!trace_spec.enabled)
283 fname = mono_method_full_name (method, TRUE);
285 printf ("ENTER: %s(", fname);
289 printf (") ip: %p\n", __builtin_return_address (1));
292 if ((GPOINTER_TO_INT (ebp) & (MONO_ARCH_FRAME_ALIGNMENT - 1)) != 0) {
293 g_error ("unaligned stack detected (%p)", ebp);
296 sig = mono_method_signature (method);
298 arg_info = alloca (sizeof (MonoJitArgumentInfo) * (sig->param_count + 1));
300 mono_arch_get_argument_info (sig, sig->param_count, arg_info);
302 if (MONO_TYPE_ISSTRUCT (mono_method_signature (method)->ret)) {
303 g_assert (!mono_method_signature (method)->ret->byref);
305 printf ("VALUERET:%p, ", *((gpointer *)(ebp + 8)));
308 if (mono_method_signature (method)->hasthis) {
309 gpointer *this = (gpointer *)(ebp + arg_info [0].offset);
310 if (method->klass->valuetype) {
311 printf ("value:%p, ", *this);
313 o = *((MonoObject **)this);
316 class = o->vtable->klass;
318 if (class == mono_defaults.string_class) {
319 printf ("this:[STRING:%p:%s], ", o, mono_string_to_utf8 ((MonoString *)o));
321 printf ("this:%p[%s.%s %s], ", o, class->name_space, class->name, o->vtable->domain->friendly_name);
324 printf ("this:NULL, ");
328 for (i = 0; i < mono_method_signature (method)->param_count; ++i) {
329 gpointer *cpos = (gpointer *)(ebp + arg_info [i + 1].offset);
330 int size = arg_info [i + 1].size;
332 MonoType *type = mono_method_signature (method)->params [i];
335 printf ("[BYREF:%p], ", *cpos);
336 } else switch (mono_type_get_underlying_type (type)->type) {
340 printf ("%p, ", *((gpointer **)(cpos)));
342 case MONO_TYPE_BOOLEAN:
346 printf ("%d, ", *((gint8 *)(cpos)));
350 printf ("%d, ", *((gint16 *)(cpos)));
354 printf ("%d, ", *((int *)(cpos)));
356 case MONO_TYPE_STRING: {
357 MonoString *s = *((MonoString **)cpos);
359 g_assert (((MonoObject *)s)->vtable->klass == mono_defaults.string_class);
360 printf ("[STRING:%p:%s], ", s, mono_string_to_utf8 (s));
362 printf ("[STRING:null], ");
365 case MONO_TYPE_CLASS:
366 case MONO_TYPE_OBJECT: {
367 o = *((MonoObject **)cpos);
369 class = o->vtable->klass;
371 if (class == mono_defaults.string_class) {
372 printf ("[STRING:%p:%s], ", o, mono_string_to_utf8 ((MonoString *)o));
373 } else if (class == mono_defaults.int32_class) {
374 printf ("[INT32:%p:%d], ", o, *(gint32 *)((char *)o + sizeof (MonoObject)));
376 printf ("[%s.%s:%p], ", class->name_space, class->name, o);
378 printf ("%p, ", *((gpointer *)(cpos)));
383 case MONO_TYPE_FNPTR:
384 case MONO_TYPE_ARRAY:
385 case MONO_TYPE_SZARRAY:
386 printf ("%p, ", *((gpointer *)(cpos)));
390 printf ("0x%016llx, ", (long long)*((gint64 *)(cpos)));
393 printf ("%f, ", *((float *)(cpos)));
396 printf ("%f, ", *((double *)(cpos)));
398 case MONO_TYPE_VALUETYPE:
400 for (j = 0; j < size; j++)
401 printf ("%02x,", *((guint8*)cpos +j));
413 mono_trace_leave_method (MonoMethod *method, ...)
419 if (!trace_spec.enabled)
422 va_start(ap, method);
424 fname = mono_method_full_name (method, TRUE);
426 printf ("LEAVE: %s", fname);
429 type = mono_method_signature (method)->ret;
432 switch (type->type) {
435 case MONO_TYPE_BOOLEAN: {
436 int eax = va_arg (ap, int);
438 printf ("TRUE:%d", eax);
453 int eax = va_arg (ap, int);
454 printf ("result=%d", eax);
457 case MONO_TYPE_STRING: {
458 MonoString *s = va_arg (ap, MonoString *);
461 g_assert (((MonoObject *)s)->vtable->klass == mono_defaults.string_class);
462 printf ("[STRING:%p:%s]", s, mono_string_to_utf8 (s));
464 printf ("[STRING:null], ");
467 case MONO_TYPE_CLASS:
468 case MONO_TYPE_OBJECT: {
469 MonoObject *o = va_arg (ap, MonoObject *);
472 if (o->vtable->klass == mono_defaults.boolean_class) {
473 printf ("[BOOLEAN:%p:%d]", o, *((guint8 *)o + sizeof (MonoObject)));
474 } else if (o->vtable->klass == mono_defaults.int32_class) {
475 printf ("[INT32:%p:%d]", o, *((gint32 *)((char *)o + sizeof (MonoObject))));
476 } else if (o->vtable->klass == mono_defaults.int64_class) {
477 printf ("[INT64:%p:%lld]", o, (long long)*((gint64 *)((char *)o + sizeof (MonoObject))));
479 printf ("[%s.%s:%p]", o->vtable->klass->name_space, o->vtable->klass->name, o);
481 printf ("[OBJECT:%p]", o);
486 case MONO_TYPE_FNPTR:
487 case MONO_TYPE_ARRAY:
488 case MONO_TYPE_SZARRAY: {
489 gpointer p = va_arg (ap, gpointer);
490 printf ("result=%p", p);
494 gint64 l = va_arg (ap, gint64);
495 printf ("lresult=0x%16llx", (long long)l);
499 gint64 l = va_arg (ap, gint64);
500 printf ("lresult=0x%16llx", (long long)l);
505 double f = va_arg (ap, double);
506 printf ("FP=%f\n", f);
509 case MONO_TYPE_VALUETYPE:
510 if (type->data.klass->enumtype) {
511 type = type->data.klass->enum_basetype;
514 guint8 *p = va_arg (ap, gpointer);
516 size = mono_type_size (type, &align);
518 for (j = 0; p && j < size; j++)
519 printf ("%02x,", p [j]);
524 printf ("(unknown return type %x)", mono_method_signature (method)->ret->type);
527 //printf (" ip: %p\n", __builtin_return_address (1));
532 mono_trace_enable (gboolean enable)
534 trace_spec.enabled = enable;
538 mono_trace_is_enabled ()
540 return trace_spec.enabled;