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.
18 #include <mono/metadata/debug-helpers.h>
19 #include <mono/metadata/assembly.h>
22 static MonoTraceSpec trace_spec;
25 mono_trace_eval (MonoMethod *method)
30 for (i = 0; i < trace_spec.len; i++){
31 MonoTraceOperation *op = &trace_spec.ops [i];
35 case MONO_TRACEOP_ALL:
37 case MONO_TRACEOP_PROGRAM:
38 if (trace_spec.assembly && (method->klass->image == mono_assembly_get_image (trace_spec.assembly)))
40 case MONO_TRACEOP_METHOD:
41 if (mono_method_desc_full_match ((MonoMethodDesc *) op->data, method))
43 case MONO_TRACEOP_CLASS:
44 if (strcmp (method->klass->name_space, op->data) == 0)
45 if (strcmp (method->klass->name, op->data2) == 0)
48 case MONO_TRACEOP_ASSEMBLY:
49 if (strcmp (mono_image_get_name (method->klass->image), op->data) == 0)
51 case MONO_TRACEOP_NAMESPACE:
52 if (strcmp (method->klass->name_space, op->data) == 0)
64 static int is_filenamechar (char p)
66 if (p >= 'A' && p <= 'Z')
68 if (p >= 'a' && p <= 'z')
70 if (p >= '0' && p <= '9')
72 if (p == '.' || p == ':' || p == '_' || p == '-')
80 static void get_string (void)
83 while (is_filenamechar (*input)){
88 value = g_malloc (input - start + 1);
89 strncpy (value, start, input-start);
90 value [input-start] = 0;
110 if (input [0] == '\0') {
113 if (input [0] == 'M' && input [1] == ':'){
118 if (input [0] == 'N' && input [1] == ':'){
121 return TOKEN_NAMESPACE;
123 if (input [0] == 'T' && input [1] == ':'){
128 if (is_filenamechar (*input)){
130 if (strcmp (value, "all") == 0)
132 if (strcmp (value, "program") == 0)
133 return TOKEN_PROGRAM;
134 if (strcmp (value, "disabled") == 0)
135 return TOKEN_DISABLED;
140 return TOKEN_EXCLUDE;
144 return TOKEN_SEPARATOR;
147 fprintf (stderr, "Syntax error at or around '%s'\n", input);
161 int token = get_token ();
162 if (token == TOKEN_EXCLUDE){
163 token = get_spec (last);
164 if (token == TOKEN_EXCLUDE){
165 fprintf (stderr, "Expecting an expression");
168 if (token == TOKEN_ERROR)
170 trace_spec.ops [(*last)-1].exclude = 1;
171 return TOKEN_SEPARATOR;
173 if (token == TOKEN_END || token == TOKEN_SEPARATOR || token == TOKEN_ERROR)
176 if (token == TOKEN_METHOD){
177 MonoMethodDesc *desc = mono_method_desc_new (value, TRUE);
179 fprintf (stderr, "Invalid method name: %s\n", value);
182 trace_spec.ops [*last].op = MONO_TRACEOP_METHOD;
183 trace_spec.ops [*last].data = desc;
184 } else if (token == TOKEN_ALL)
185 trace_spec.ops [*last].op = MONO_TRACEOP_ALL;
186 else if (token == TOKEN_PROGRAM)
187 trace_spec.ops [*last].op = MONO_TRACEOP_PROGRAM;
188 else if (token == TOKEN_NAMESPACE){
189 trace_spec.ops [*last].op = MONO_TRACEOP_NAMESPACE;
190 trace_spec.ops [*last].data = g_strdup (value);
191 } else if (token == TOKEN_CLASS){
192 char *p = strrchr (value, '.');
195 trace_spec.ops [*last].data = g_strdup (value);
196 trace_spec.ops [*last].data2 = g_strdup (p);
199 trace_spec.ops [*last].data = g_strdup ("");
200 trace_spec.ops [*last].data2 = g_strdup (value);
202 trace_spec.ops [*last].op = MONO_TRACEOP_CLASS;
203 } else if (token == TOKEN_STRING){
204 trace_spec.ops [*last].op = MONO_TRACEOP_ASSEMBLY;
205 trace_spec.ops [*last].data = g_strdup (value);
206 } else if (token == TOKEN_DISABLED) {
207 trace_spec.enabled = FALSE;
209 fprintf (stderr, "Syntax error in trace option specification\n");
213 return TOKEN_SEPARATOR;
217 mono_trace_parse_options (const char *options)
219 char *p = (char*)options;
224 trace_spec.enabled = TRUE;
227 trace_spec.ops = g_new0 (MonoTraceOperation, 1);
228 trace_spec.ops [0].op = MONO_TRACEOP_ALL;
232 for (p = (char*)options; *p != 0; p++)
236 trace_spec.ops = g_new0 (MonoTraceOperation, size);
238 input = (char*)options;
241 while ((token = (get_spec (&last_used))) != TOKEN_END){
242 if (token == TOKEN_ERROR)
244 if (token == TOKEN_SEPARATOR)
247 trace_spec.len = last_used;
253 mono_trace_set_assembly (MonoAssembly *assembly)
255 trace_spec.assembly = assembly;
258 static int indent_level = 0;
260 static void indent (int diff) {
263 indent_level += diff;
265 printf ("[%d] ", indent_level);
267 indent_level += diff;
271 string_to_utf8 (MonoString *s)
274 GError *error = NULL;
279 return g_strdup ("");
281 as = g_utf16_to_utf8 (mono_string_chars (s), s->length, NULL, NULL, &error);
283 /* Happens with StringBuilders */
284 g_error_free (error);
285 return g_strdup ("<INVALID UTF8>");
292 mono_trace_enter_method (MonoMethod *method, char *ebp)
297 MonoJitArgumentInfo *arg_info;
298 MonoMethodSignature *sig;
301 if (!trace_spec.enabled)
304 fname = mono_method_full_name (method, TRUE);
306 printf ("ENTER: %s(", fname);
310 printf (") ip: %p\n", __builtin_return_address (1));
314 sig = mono_method_signature (method);
316 arg_info = alloca (sizeof (MonoJitArgumentInfo) * (sig->param_count + 1));
318 mono_arch_get_argument_info (sig, sig->param_count, arg_info);
320 if (MONO_TYPE_ISSTRUCT (mono_method_signature (method)->ret)) {
321 g_assert (!mono_method_signature (method)->ret->byref);
323 printf ("VALUERET:%p, ", *((gpointer *)(ebp + 8)));
326 if (mono_method_signature (method)->hasthis) {
327 gpointer *this = (gpointer *)(ebp + arg_info [0].offset);
328 if (method->klass->valuetype) {
329 printf ("value:%p, ", *this);
331 o = *((MonoObject **)this);
334 class = o->vtable->klass;
336 if (class == mono_defaults.string_class) {
337 MonoString *s = (MonoString*)o;
338 char *as = string_to_utf8 (s);
340 printf ("this:[STRING:%p:%s], ", o, as);
343 printf ("this:%p[%s.%s %s], ", o, class->name_space, class->name, o->vtable->domain->friendly_name);
346 printf ("this:NULL, ");
350 for (i = 0; i < mono_method_signature (method)->param_count; ++i) {
351 gpointer *cpos = (gpointer *)(ebp + arg_info [i + 1].offset);
352 int size = arg_info [i + 1].size;
354 MonoType *type = mono_method_signature (method)->params [i];
357 printf ("[BYREF:%p], ", *cpos);
358 } else switch (mono_type_get_underlying_type (type)->type) {
362 printf ("%p, ", *((gpointer **)(cpos)));
364 case MONO_TYPE_BOOLEAN:
368 printf ("%d, ", *((gint8 *)(cpos)));
372 printf ("%d, ", *((gint16 *)(cpos)));
376 printf ("%d, ", *((int *)(cpos)));
378 case MONO_TYPE_STRING: {
379 MonoString *s = *((MonoString **)cpos);
383 g_assert (((MonoObject *)s)->vtable->klass == mono_defaults.string_class);
384 as = string_to_utf8 (s);
386 printf ("[STRING:%p:%s], ", s, as);
389 printf ("[STRING:null], ");
392 case MONO_TYPE_CLASS:
393 case MONO_TYPE_OBJECT: {
394 o = *((MonoObject **)cpos);
396 class = o->vtable->klass;
398 if (class == mono_defaults.string_class) {
399 char *as = string_to_utf8 ((MonoString*)o);
401 printf ("[STRING:%p:%s], ", o, as);
403 } else if (class == mono_defaults.int32_class) {
404 printf ("[INT32:%p:%d], ", o, *(gint32 *)((char *)o + sizeof (MonoObject)));
405 } else if (class == mono_defaults.monotype_class) {
406 printf ("[TYPE:%s], ", mono_type_full_name (((MonoReflectionType*)o)->type));
408 printf ("[%s.%s:%p], ", class->name_space, class->name, o);
410 printf ("%p, ", *((gpointer *)(cpos)));
415 case MONO_TYPE_FNPTR:
416 case MONO_TYPE_ARRAY:
417 case MONO_TYPE_SZARRAY:
418 printf ("%p, ", *((gpointer *)(cpos)));
422 printf ("0x%016llx, ", (long long)*((gint64 *)(cpos)));
425 printf ("%f, ", *((float *)(cpos)));
428 printf ("%f, ", *((double *)(cpos)));
430 case MONO_TYPE_VALUETYPE:
432 for (j = 0; j < size; j++)
433 printf ("%02x,", *((guint8*)cpos +j));
446 mono_trace_leave_method (MonoMethod *method, ...)
452 if (!trace_spec.enabled)
455 va_start(ap, method);
457 fname = mono_method_full_name (method, TRUE);
459 printf ("LEAVE: %s", fname);
462 type = mono_method_signature (method)->ret;
465 switch (type->type) {
468 case MONO_TYPE_BOOLEAN: {
469 int eax = va_arg (ap, int);
471 printf ("TRUE:%d", eax);
486 int eax = va_arg (ap, int);
487 printf ("result=%d", eax);
490 case MONO_TYPE_STRING: {
491 MonoString *s = va_arg (ap, MonoString *);
496 g_assert (((MonoObject *)s)->vtable->klass == mono_defaults.string_class);
497 as = string_to_utf8 (s);
498 printf ("[STRING:%p:%s]", s, as);
501 printf ("[STRING:null], ");
504 case MONO_TYPE_CLASS:
505 case MONO_TYPE_OBJECT: {
506 MonoObject *o = va_arg (ap, MonoObject *);
509 if (o->vtable->klass == mono_defaults.boolean_class) {
510 printf ("[BOOLEAN:%p:%d]", o, *((guint8 *)o + sizeof (MonoObject)));
511 } else if (o->vtable->klass == mono_defaults.int32_class) {
512 printf ("[INT32:%p:%d]", o, *((gint32 *)((char *)o + sizeof (MonoObject))));
513 } else if (o->vtable->klass == mono_defaults.int64_class) {
514 printf ("[INT64:%p:%lld]", o, (long long)*((gint64 *)((char *)o + sizeof (MonoObject))));
516 printf ("[%s.%s:%p]", o->vtable->klass->name_space, o->vtable->klass->name, o);
518 printf ("[OBJECT:%p]", o);
523 case MONO_TYPE_FNPTR:
524 case MONO_TYPE_ARRAY:
525 case MONO_TYPE_SZARRAY: {
526 gpointer p = va_arg (ap, gpointer);
527 printf ("result=%p", p);
531 gint64 l = va_arg (ap, gint64);
532 printf ("lresult=0x%16llx", (long long)l);
536 gint64 l = va_arg (ap, gint64);
537 printf ("lresult=0x%16llx", (long long)l);
542 double f = va_arg (ap, double);
543 printf ("FP=%f\n", f);
546 case MONO_TYPE_VALUETYPE:
547 if (type->data.klass->enumtype) {
548 type = type->data.klass->enum_basetype;
551 guint8 *p = va_arg (ap, gpointer);
553 size = mono_type_size (type, &align);
555 for (j = 0; p && j < size; j++)
556 printf ("%02x,", p [j]);
561 printf ("(unknown return type %x)", mono_method_signature (method)->ret->type);
564 //printf (" ip: %p\n", __builtin_return_address (1));
570 mono_trace_enable (gboolean enable)
572 trace_spec.enabled = enable;
576 mono_trace_is_enabled ()
578 return trace_spec.enabled;