2005-01-31 Zoltan Varga <vargaz@freemail.hu>
[mono.git] / mono / monograph / monograph.c
index 37c3094f0c8a0c9fef6a9550d67bba41921ff175..11f220226c193c838a00db9c566a7dacbf49038f 100644 (file)
@@ -1,11 +1,10 @@
 #include <glib.h>
 #include <string.h>
-#include "mono/metadata/class.h"
+#include "mono/metadata/class-internals.h"
 #include "mono/metadata/assembly.h"
 #include "mono/metadata/tokentype.h"
 #include "mono/metadata/opcodes.h"
 #include "mono/metadata/tabledefs.h"
-#include "mono/metadata/cil-coff.h" /* MonoCLIImageInfo */
 #include "mono/metadata/mono-endian.h"
 #include "mono/metadata/appdomain.h" /* mono_init */
 #include "mono/metadata/debug-helpers.h"
@@ -14,7 +13,7 @@ static FILE *output;
 static int include_namespace = 0;
 static int max_depth = 6;
 static int verbose = 0;
-static char *graph_properties = "\tnode [fontsize=8.0]\n\tedge [len=2,color=red]\n";
+static const char *graph_properties = "\tnode [fontsize=8.0]\n\tedge [len=2,color=red]\n";
 
 static void
 output_type_edge (MonoClass *first, MonoClass *second) {
@@ -26,22 +25,22 @@ output_type_edge (MonoClass *first, MonoClass *second) {
 
 static void
 print_subtypes (MonoImage *image, MonoClass *class, int depth) {
-       int i, index;
+       int i, token;
        MonoTableInfo *t;
        MonoClass *child;
 
        if (depth++ > max_depth)
                return;
 
-       t = &image->tables [MONO_TABLE_TYPEDEF];
+       t = mono_image_get_table_info (image, MONO_TABLE_TYPEDEF);
        
-       index = mono_metadata_token_index (class->type_token);
-       index <<= TYPEDEFORREF_BITS;
-       index |= TYPEDEFORREF_TYPEDEF;
+       token = mono_metadata_token_index (class->type_token);
+       token <<= MONO_TYPEDEFORREF_BITS;
+       token |= MONO_TYPEDEFORREF_TYPEDEF;
 
        /* use a subgraph? */
-       for (i = 0; i < t->rows; ++i) {
-               if (index == mono_metadata_decode_row_col (t, i, MONO_TYPEDEF_EXTENDS)) {
+       for (i = 0; i < mono_table_info_get_rows (t); ++i) {
+               if (token == mono_metadata_decode_row_col (t, i, MONO_TYPEDEF_EXTENDS)) {
                        child = mono_class_get (image, MONO_TOKEN_TYPE_DEF | (i + 1));
                        output_type_edge (class, child);
                        print_subtypes (image, child, depth);
@@ -50,11 +49,11 @@ print_subtypes (MonoImage *image, MonoClass *class, int depth) {
 }
 
 static void
-type_graph (MonoImage *image, char* cname) {
+type_graph (MonoImage *image, const char* cname) {
        MonoClass *class;
        MonoClass *parent;
        MonoClass *child;
-       char *name_space;
+       const char *name_space;
        char *p;
        int depth = 0;
 
@@ -68,8 +67,10 @@ type_graph (MonoImage *image, char* cname) {
                name_space = "";
        }
        class = mono_class_from_name (image, name_space, cname);
-       if (!class)
-               g_error ("class %s.%s not found", name_space, cname);
+       if (!class) {
+               g_print ("class %s.%s not found\n", name_space, cname);
+               exit (1);
+       }
        fprintf (output, "digraph blah {\n");
        fprintf (output, "%s", graph_properties);
        child = class;
@@ -83,14 +84,14 @@ type_graph (MonoImage *image, char* cname) {
 }
 
 static void
-interface_graph (MonoImage *image, char* cname) {
+interface_graph (MonoImage *image, const char* cname) {
        MonoClass *class;
        MonoClass *child;
-       char *name_space;
+       const char *name_space;
        char *p;
        guint32 cols [MONO_INTERFACEIMPL_SIZE];
-       guint32 index, i, count = 0;
-       MonoTableInfo *intf = &image->tables [MONO_TABLE_INTERFACEIMPL];
+       guint32 token, i, count = 0;
+       MonoTableInfo *intf = mono_image_get_table_info (image, MONO_TABLE_INTERFACEIMPL);
 
        cname = g_strdup (cname);
        p = strrchr (cname, '.');
@@ -102,19 +103,21 @@ interface_graph (MonoImage *image, char* cname) {
                name_space = "";
        }
        class = mono_class_from_name (image, name_space, cname);
-       if (!class)
-               g_error ("interface %s.%s not found", name_space, cname);
+       if (!class) {
+               g_print ("interface %s.%s not found\n", name_space, cname);
+               exit (1);
+       }
        /* chek if it's really an interface... */
        fprintf (output, "digraph interface {\n");
        fprintf (output, "%s", graph_properties);
        /* TODO: handle inetrface defined in one image and class defined in another. */
-       index = mono_metadata_token_index (class->type_token);
-       index <<= TYPEDEFORREF_BITS;
-       index |= TYPEDEFORREF_TYPEDEF;
-       for (i = 0; i < intf->rows; ++i) {
+       token = mono_metadata_token_index (class->type_token);
+       token <<= MONO_TYPEDEFORREF_BITS;
+       token |= MONO_TYPEDEFORREF_TYPEDEF;
+       for (i = 0; i < mono_table_info_get_rows (intf); ++i) {
                mono_metadata_decode_row (intf, i, cols, MONO_INTERFACEIMPL_SIZE);
                /*g_print ("index: %d [%d implements %d]\n", index, cols [MONO_INTERFACEIMPL_CLASS], cols [MONO_INTERFACEIMPL_INTERFACE]);*/
-               if (index == cols [MONO_INTERFACEIMPL_INTERFACE]) {
+               if (token == cols [MONO_INTERFACEIMPL_INTERFACE]) {
                        child = mono_class_get (image, MONO_TOKEN_TYPE_DEF | cols [MONO_INTERFACEIMPL_CLASS]);
                        output_type_edge (class, child);
                        count++;
@@ -126,6 +129,344 @@ interface_graph (MonoImage *image, char* cname) {
 
 }
 
+static int back_branch_waste = 0;
+static int branch_waste = 0;
+static int var_waste = 0;
+static int int_waste = 0;
+static int nop_waste = 0;
+static int has_exceptions = 0;
+static int num_exceptions = 0;
+static int max_exceptions = 0;
+static int has_locals = 0;
+static int num_locals = 0;
+static int max_locals = 0;
+static int has_args = 0;
+static int num_args = 0;
+static int max_args = 0;
+static int has_maxstack = 0;
+static int num_maxstack = 0;
+static int max_maxstack = 0;
+static int has_code = 0;
+static int num_code = 0;
+static int max_code = 0;
+static int has_branch = 0;
+static int num_branch = 0;
+static int max_branch = 0;
+static int has_condbranch = 0;
+static int num_condbranch = 0;
+static int max_condbranch = 0;
+static int has_calls = 0;
+static int num_calls = 0;
+static int max_calls = 0;
+static int has_throw = 0;
+static int num_throw = 0;
+static int max_throw = 0;
+static int has_switch = 0;
+static int num_switch = 0;
+static int max_switch = 0;
+static int cast_sealed = 0;
+static int cast_iface = 0;
+static int total_cast = 0;
+static int nonvirt_callvirt = 0;
+static int total_callvirt = 0;
+
+static void
+method_stats (MonoMethod *method) {
+       const MonoOpcode *opcode;
+       MonoMethodHeader *header;
+       const unsigned char *ip;
+       int i, n;
+       int local_branch = 0, local_condbranch = 0, local_throw = 0, local_calls = 0;
+       gint64 l;
+
+       if (method->iflags & (METHOD_IMPL_ATTRIBUTE_INTERNAL_CALL | METHOD_IMPL_ATTRIBUTE_RUNTIME))
+               return;
+       if (method->flags & (METHOD_ATTRIBUTE_PINVOKE_IMPL | METHOD_ATTRIBUTE_ABSTRACT))
+               return;
+
+       header = mono_method_get_header (method);
+       if (header->num_clauses)
+               has_exceptions++;
+       num_exceptions += header->num_clauses;
+       if (max_exceptions < header->num_clauses)
+               max_exceptions = header->num_clauses;
+       if (header->num_locals)
+               has_locals++;
+       num_locals += header->num_locals;
+       if (max_locals < header->num_locals)
+               max_locals = header->num_locals;
+
+       if (max_maxstack < header->max_stack)
+               max_maxstack = header->max_stack;
+       num_maxstack += header->max_stack;
+       if (header->max_stack != 8) /* just a guess */
+               has_maxstack++;
+
+       n = method->signature->hasthis + method->signature->param_count;
+       if (max_args < n)
+               max_args = n;
+       num_args += n;
+       if (n)
+               has_args++;
+
+       has_code++;
+       if (max_code < header->code_size)
+               max_code = header->code_size;
+       num_code += header->code_size;
+
+       ip = header->code;
+
+       while (ip < (header->code + header->code_size)) {
+               if (*ip == 0xfe) {
+                       ++ip;
+                       i = *ip + 256;
+               } else {
+                       i = *ip;
+               }
+
+               opcode = &mono_opcodes [i];
+
+               switch (opcode->argument) {
+               case MonoInlineNone:
+                       if (i == MONO_CEE_NOP)
+                               nop_waste++;
+                       ++ip;
+                       break;
+               case MonoInlineI:
+                       n = read32 (ip + 1);
+                       if (n >= -1 && n <= 8) {
+                               int_waste += 4;
+                               g_print ("%s %d\n", mono_opcode_name (i), n);
+                       } else if (n < 128 && n >= -128) {
+                               int_waste += 3;
+                               g_print ("%s %d\n", mono_opcode_name (i), n);
+                       }
+                       ip += 5;
+                       break;
+               case MonoInlineType:
+                       if (i == MONO_CEE_CASTCLASS || i == MONO_CEE_ISINST) {
+                               guint32 token = read32 (ip + 1);
+                               MonoClass *k = mono_class_get (method->klass->image, token);
+                               if (k && k->flags & TYPE_ATTRIBUTE_SEALED)
+                                       cast_sealed++;
+                               if (k && k->flags & TYPE_ATTRIBUTE_INTERFACE)
+                                       cast_iface++;
+                               total_cast++;
+                       }
+                       ip += 5;
+                       break;
+               case MonoInlineField:
+               case MonoInlineTok:
+               case MonoInlineString:
+               case MonoInlineSig:
+               case MonoShortInlineR:
+                       ip += 5;
+                       break;
+               case MonoInlineBrTarget:
+                       n = read32 (ip + 1);
+                       if (n < 128 && n >= -128) {
+                               branch_waste += 3;
+                               if (n < 0)
+                                       back_branch_waste += 3;
+                       }
+                       ip += 5;
+                       break;
+               case MonoInlineVar:
+                       n = read16 (ip + 1);
+                       if (n < 256) {
+                               if (n < 4) {
+                                       switch (i) {
+                                       case MONO_CEE_LDARG:
+                                       case MONO_CEE_LDLOC:
+                                       case MONO_CEE_STLOC:
+                                               var_waste += 3;
+                                               g_print ("%s %d\n", mono_opcode_name (i), n);
+                                               break;
+                                       default:
+                                               var_waste += 2;
+                                               g_print ("%s %d\n", mono_opcode_name (i), n);
+                                               break;
+                                       }
+                               } else {
+                                       var_waste += 2;
+                                       g_print ("%s %d\n", mono_opcode_name (i), n);
+                               }
+                       }
+                       ip += 3;
+                       break;
+               case MonoShortInlineVar:
+                       if ((signed char)ip [1] < 4 && (signed char)ip [1] >= 0) {
+                               switch (i) {
+                               case MONO_CEE_LDARG_S:
+                               case MONO_CEE_LDLOC_S:
+                               case MONO_CEE_STLOC_S:
+                                       var_waste++;
+                                       g_print ("%s %d\n", mono_opcode_name (i), (signed char)ip [1]);
+                                       break;
+                               default:
+                                       break;
+                               }
+                       }
+                       ip += 2;
+                       break;
+               case MonoShortInlineI:
+                       if ((signed char)ip [1] <= 8 && (signed char)ip [1] >= -1) {
+                               g_print ("%s %d\n", mono_opcode_name (i), (signed char)ip [1]);
+                               int_waste ++;
+                       }
+                       ip += 2;
+                       break;
+               case MonoShortInlineBrTarget:
+                       ip += 2;
+                       break;
+               case MonoInlineSwitch: {
+                       gint32 n;
+                       ++ip;
+                       n = read32 (ip);
+                       ip += 4;
+                       ip += 4 * n;
+                       num_switch += n;
+                       has_switch++;
+                       if (max_switch < n)
+                               max_switch = n;
+                       break;
+               }
+               case MonoInlineR:
+                       ip += 9;
+                       break;
+               case MonoInlineI8:
+                       l = read64 (ip + 1);
+                       /* should load and convert */
+                       if (l >= -1 && l <= 8) {
+                               int_waste += 7;
+                       } else if (l < 128 && l >= -128) {
+                               int_waste += 6;
+                       } else if (l <= 2147483647 && l >= (-2147483647 -1)) {
+                               int_waste += 3;
+                       }
+                       ip += 9;
+                       break;
+               case MonoInlineMethod:
+                       if (i == MONO_CEE_CALLVIRT) {
+                               MonoMethod *cm = mono_get_method (method->klass->image, read32 (ip + 1), NULL);
+                               if (cm && !(cm->flags & METHOD_ATTRIBUTE_VIRTUAL))
+                                       nonvirt_callvirt++;
+                               total_callvirt++;
+                       }
+                       ip += 5;
+                       break;
+               default:
+                       g_assert_not_reached ();
+               }
+
+               switch (opcode->flow_type) {
+               case MONO_FLOW_BRANCH:
+                       local_branch++;
+                       break;
+               case MONO_FLOW_COND_BRANCH:
+                       local_condbranch++;
+                       break;
+               case MONO_FLOW_CALL:
+                       local_calls++;
+                       break;
+               case MONO_FLOW_ERROR:
+                       local_throw++;
+                       break;
+               }
+       }
+       
+       if (local_branch)
+               has_branch++;
+       if (max_branch < local_branch)
+               max_branch = local_branch;
+       num_branch += local_branch;
+
+       if (local_condbranch)
+               has_condbranch++;
+       if (max_condbranch < local_condbranch)
+               max_condbranch = local_condbranch;
+       num_condbranch += local_condbranch;
+
+       if (local_calls)
+               has_calls++;
+       if (max_calls < local_calls)
+               max_calls = local_calls;
+       num_calls += local_calls;
+
+       if (local_throw)
+               has_throw++;
+       if (max_throw < local_throw)
+               max_throw = local_throw;
+       num_throw += local_throw;
+
+       return;
+}
+
+static int num_pdepth = 0;
+static int max_pdepth = 0;
+static int num_ifaces = 0;
+
+static void
+type_stats (MonoClass *klass) {
+       MonoClass *parent;
+       int depth = 0;
+
+       if (klass->flags & TYPE_ATTRIBUTE_INTERFACE) {
+               num_ifaces++;
+               return;
+       }
+       parent = klass->parent;
+       while (parent) {
+               depth++;
+               parent = parent->parent;
+       }
+       num_pdepth += depth;
+       if (max_pdepth < depth)
+               max_pdepth = depth;
+}
+
+static void
+stats (MonoImage *image, const char *name) {
+       int i, num_methods, num_types;
+       MonoMethod *method;
+       MonoClass *klass;
+       
+       num_methods = mono_image_get_table_rows (image, MONO_TABLE_METHOD);
+       for (i = 0; i < num_methods; ++i) {
+               method = mono_get_method (image, MONO_TOKEN_METHOD_DEF | (i + 1), NULL);
+               method_stats (method);
+       }
+       num_types = mono_image_get_table_rows (image, MONO_TABLE_TYPEDEF);
+       for (i = 0; i < num_types; ++i) {
+               klass = mono_class_get (image, MONO_TOKEN_TYPE_DEF | (i + 1));
+               type_stats (klass);
+       }
+
+       g_print ("Methods and code stats:\n");
+       g_print ("back branch waste: %d\n", back_branch_waste);
+       g_print ("branch waste: %d\n", branch_waste);
+       g_print ("var waste: %d\n", var_waste);
+       g_print ("int waste: %d\n", int_waste);
+       g_print ("nop waste: %d\n", nop_waste);
+       g_print ("has exceptions: %d/%d, total: %d, max: %d, mean: %f\n", has_exceptions, num_methods, num_exceptions, max_exceptions, num_exceptions/(double)has_exceptions);
+       g_print ("has locals: %d/%d, total: %d, max: %d, mean: %f\n", has_locals, num_methods, num_locals, max_locals, num_locals/(double)has_locals);
+       g_print ("has args: %d/%d, total: %d, max: %d, mean: %f\n", has_args, num_methods, num_args, max_args, num_args/(double)has_args);
+       g_print ("has maxstack: %d/%d, total: %d, max: %d, mean: %f\n", has_maxstack, num_methods, num_maxstack, max_maxstack, num_maxstack/(double)i);
+       g_print ("has code: %d/%d, total: %d, max: %d, mean: %f\n", has_code, num_methods, num_code, max_code, num_code/(double)has_code);
+       g_print ("has branch: %d/%d, total: %d, max: %d, mean: %f\n", has_branch, num_methods, num_branch, max_branch, num_branch/(double)has_branch);
+       g_print ("has condbranch: %d/%d, total: %d, max: %d, mean: %f\n", has_condbranch, num_methods, num_condbranch, max_condbranch, num_condbranch/(double)has_condbranch);
+       g_print ("has switch: %d/%d, total: %d, max: %d, mean: %f\n", has_switch, num_methods, num_switch, max_switch, num_switch/(double)has_switch);
+       g_print ("has calls: %d/%d, total: %d, max: %d, mean: %f\n", has_calls, num_methods, num_calls, max_calls, num_calls/(double)has_calls);
+       g_print ("has throw: %d/%d, total: %d, max: %d, mean: %f\n", has_throw, num_methods, num_throw, max_throw, num_throw/(double)has_throw);
+       g_print ("sealed type cast: %d/%d\n", cast_sealed, total_cast);
+       g_print ("interface type cast: %d/%d\n", cast_iface, total_cast);
+       g_print ("non virtual callvirt: %d/%d\n", nonvirt_callvirt, total_callvirt);
+       
+       g_print ("\nType stats:\n");
+       g_print ("interface types: %d/%d\n", num_ifaces, num_types);
+       g_print ("parent depth: max: %d, mean: %d\n", max_pdepth, num_pdepth/(num_types - num_ifaces));
+}
+
 static char *
 get_signature (MonoMethod *method) {
        GString *res;
@@ -187,7 +528,7 @@ print_method (MonoMethod *method, int depth) {
        if (method->flags & (METHOD_ATTRIBUTE_PINVOKE_IMPL | METHOD_ATTRIBUTE_ABSTRACT))
                return;
 
-       header = ((MonoMethodNormal *)method)->header;
+       header = mono_method_get_header (method);
        ip = header->code;
 
        hash = g_hash_table_new (g_direct_hash, g_direct_equal);
@@ -260,24 +601,30 @@ print_method (MonoMethod *method, int depth) {
 }
 
 static void
-method_graph (MonoImage *image, char *name) {
+method_graph (MonoImage *image, const char *name) {
        int depth = 0;
        MonoMethod *method = NULL;
        
        if (!name) {
-               method = mono_get_method (image, ((MonoCLIImageInfo*)image->image_info)->cli_cli_header.ch_entry_point, NULL);
-               if (!method)
-                       g_error ("Cannot find entry point");
+               guint32 token = mono_image_get_entry_point (image);
+               if (!token || !(method = mono_get_method (image, token, NULL))) {
+                       g_print ("Cannot find entry point in %s: specify an explict method name.\n", mono_image_get_filename (image));
+                       exit (1);
+               }
        } else {
                /* search the method */
                MonoMethodDesc *desc;
 
                desc = mono_method_desc_new (name, include_namespace);
-               if (!desc)
-                       g_error ("Invalid method name %s", name);
+               if (!desc) {
+                       g_print ("Invalid method name %s\n", name);
+                       exit (1);
+               }
                method = mono_method_desc_search_in_image (desc, image);
-               if (!method)
-                       g_error ("Cannot find method %s", name);
+               if (!method) {
+                       g_print ("Cannot find method %s\n", name);
+                       exit (1);
+               }
        }
        fprintf (output, "digraph blah {\n");
        fprintf (output, "%s", graph_properties);
@@ -308,10 +655,10 @@ link_bblock (MonoBasicBlock *from, MonoBasicBlock* to)
 }
 
 static int
-compare_bblock (void *a, void *b)
+compare_bblock (const void *a, const void *b)
 {
-       MonoBasicBlock **ab = a;
-       MonoBasicBlock **bb = b;
+       MonoBasicBlock * const *ab = a;
+       MonoBasicBlock * const *bb = b;
 
        return (*ab)->cil_code - (*bb)->cil_code;
 }
@@ -346,7 +693,8 @@ mono_method_find_bblocks (MonoMethodHeader *header)
        while (ip < end) {
                start = ip;
                if ((target = g_hash_table_lookup (table, ip)) && target != bb) {
-                       link_bblock (bb, target);
+                       if (!block_end)
+                               link_bblock (bb, target);
                        bb = target;
                        block_end = FALSE;
                }
@@ -434,11 +782,11 @@ mono_method_find_bblocks (MonoMethodHeader *header)
                        break;
                case MonoInlineSwitch: {
                        gint32 n;
-                       char *itarget, *st;
+                       const char *itarget, *st;
                        ++ip;
                        n = read32 (ip);
                        ip += 4;
-                       st = (char*)ip + 4 * n;
+                       st = (const char*)ip + 4 * n;
 
                        for (i = 0; i < n; i++) {
                                itarget = st + read32 (ip);
@@ -447,7 +795,7 @@ mono_method_find_bblocks (MonoMethodHeader *header)
                                        target = g_new0 (MonoBasicBlock, 1);
                                        target->cil_code = itarget;
                                        g_ptr_array_add (result, target);
-                                       g_hash_table_insert (table, itarget, target);
+                                       g_hash_table_insert (table, (gpointer) itarget, target);
                                }
                                link_bblock (bb, target);
                        }
@@ -526,7 +874,7 @@ print_method_cfg (MonoMethod *method) {
        int i, dfn;
        char *code;
 
-       header = ((MonoMethodNormal*)method)->header;
+       header = mono_method_get_header (method);
        bblocks = mono_method_find_bblocks (header);
        for (i = 0; i < bblocks->len; ++i) {
                bb = (MonoBasicBlock*)g_ptr_array_index (bblocks, i);
@@ -547,7 +895,7 @@ print_method_cfg (MonoMethod *method) {
                        fprintf (output, "\tB%p -> B%p\n", bb, target);
                }
        }
-#if 0
+#if 1
        for (i = 0; i < bblocks->len; ++i) {
                bb = (MonoBasicBlock*)g_ptr_array_index (bblocks, i);
                bb->dfn = 0;
@@ -564,24 +912,30 @@ print_method_cfg (MonoMethod *method) {
  * TODO: change to create the DF tree, dominance relation etc.
  */
 static void
-method_cfg (MonoImage *image, char *name) {
+method_cfg (MonoImage *image, const char *name) {
        MonoMethod *method = NULL;
-       static char *cfg_graph_properties = "\tnode [fontsize=8.0]\n\tedge [len=1.5,color=red]\n";
+       const static char *cfg_graph_properties = "\tnode [fontsize=8.0]\n\tedge [len=1.5,color=red]\n";
        
        if (!name) {
-               method = mono_get_method (image, ((MonoCLIImageInfo*)image->image_info)->cli_cli_header.ch_entry_point, NULL);
-               if (!method)
-                       g_error ("Cannot find entry point");
+               guint32 token = mono_image_get_entry_point (image);
+               if (!token || !(method = mono_get_method (image, token, NULL))) {
+                       g_print ("Cannot find entry point in %s: specify an explict method name.\n", mono_image_get_filename (image));
+                       exit (1);
+               }
        } else {
                /* search the method */
                MonoMethodDesc *desc;
 
                desc = mono_method_desc_new (name, include_namespace);
-               if (!desc)
-                       g_error ("Invalid method name %s", name);
+               if (!desc) {
+                       g_print ("Invalid method name %s\n", name);
+                       exit (1);
+               }
                method = mono_method_desc_search_in_image (desc, image);
-               if (!method)
-                       g_error ("Cannot find method %s", name);
+               if (!method) {
+                       g_print ("Cannot find method %s\n", name);
+                       exit (1);
+               }
        }
        fprintf (output, "digraph blah {\n");
        fprintf (output, "%s", cfg_graph_properties);
@@ -592,25 +946,30 @@ method_cfg (MonoImage *image, char *name) {
 }
 
 static void
-usage () {
-       printf ("monograph 0.1 Copyright (c) 2002 Ximian, Inc\n");
+usage (void) {
+       printf ("monograph 0.2 Copyright (c) 2002 Ximian, Inc\n");
        printf ("Create call graph or type hierarchy information from CIL assemblies.\n");
-       printf ("Usage: monograph [options] [assembly [typename|methodname]]\n");
+       printf ("Usage: monograph [options] [assembly [typename|methodname]]\n\n");
        printf ("Valid options are:\n");
        printf ("\t-c|--call             output call graph instead of type hierarchy\n");
        printf ("\t-C|--control-flow     output control flow of methodname\n");
+       printf ("\t--stats               output some statistics about the assembly\n");
        printf ("\t-d|--depth num        max depth recursion (default: 6)\n");
        printf ("\t-o|--output filename  write graph to file filename (default: stdout)\n");
        printf ("\t-f|--fullname         include namespace in type and method names\n");
        printf ("\t-n|--neato            invoke neato directly\n");
-       printf ("\t-v|--verbose          verbose operation\n");
-       printf ("The default assembly is corlib.dll. The default method for\n");
-       printf ("the --call option is the entrypoint.\n");
+       printf ("\t-v|--verbose          verbose operation\n\n");
+       printf ("The default assembly is mscorlib.dll. The default method for\n");
+       printf ("the --call and --control-flow options is the entrypoint.\n\n");
        printf ("When the --neato option is used the output type info is taken\n");
-       printf ("from the output filename extension.\n");
+       printf ("from the output filename extension. You need the graphviz package\n");
+       printf ("installed to be able to use this option and build bitmap files.\n");
+       printf ("Without --neato, monograph will create .dot files, a description\n");
+       printf ("file for a graph.\n\n");
        printf ("Sample runs:\n");
-       printf ("\tmonograph -n -o vt.png corlib.dll System.ValueType\n");
+       printf ("\tmonograph -n -o vt.png mscorlib.dll System.ValueType\n");
        printf ("\tmonograph -n -o expr.png mcs.exe Mono.CSharp.Expression\n");
+       printf ("\tmonograph -n -o cfg.png -C mcs.exe Driver:Main\n");
        printf ("\tmonograph -d 3 -n -o callgraph.png -c mis.exe\n");
        exit (1);
 }
@@ -619,7 +978,8 @@ enum {
        GRAPH_TYPES,
        GRAPH_CALL,
        GRAPH_INTERFACE,
-       GRAPH_CONTROL_FLOW
+       GRAPH_CONTROL_FLOW,
+       GRAPH_STATS
 };
 
 /*
@@ -639,8 +999,9 @@ enum {
 int
 main (int argc, char *argv[]) {
        MonoAssembly *assembly;
-       char *cname = NULL;
-       char *aname = NULL;
+       MonoImage *image;
+       const char *cname = NULL;
+       const char *aname = NULL;
        char *outputfile = NULL;
        int graphtype = GRAPH_TYPES;
        int callneato = 0;
@@ -658,6 +1019,8 @@ main (int argc, char *argv[]) {
                        graphtype = GRAPH_CONTROL_FLOW;
                } else if (strcmp (argv [i], "--interface") == 0 || strcmp (argv [i], "-i") == 0) {
                        graphtype = GRAPH_INTERFACE;
+               } else if (strcmp (argv [i], "--stats") == 0) {
+                       graphtype = GRAPH_STATS;
                } else if (strcmp (argv [i], "--fullname") == 0 || strcmp (argv [i], "-f") == 0) {
                        include_namespace = 1;
                } else if (strcmp (argv [i], "--neato") == 0 || strcmp (argv [i], "-n") == 0) {
@@ -682,13 +1045,15 @@ main (int argc, char *argv[]) {
        if (argc > i + 1)
                cname = argv [i + 1];
        if (!aname)
-               aname = "corlib.dll";
+               aname = "mscorlib";
        if (!cname && (graphtype == GRAPH_TYPES))
                cname = "System.Object";
 
-       assembly = mono_assembly_open (aname, NULL, NULL);
-       if (!assembly)
-               g_error ("cannot open assembly %s", aname);
+       assembly = mono_assembly_open (aname, NULL);
+       if (!assembly) {
+               g_print ("cannot open assembly %s\n", aname);
+               exit (1);
+       }
 
        if (callneato) {
                GString *command = g_string_new ("neato");
@@ -701,29 +1066,37 @@ main (int argc, char *argv[]) {
                if (type)
                        g_string_sprintfa (command, " -T%s", type + 1);
                output = popen (command->str, "w");
-               if (!output)
-                       g_error ("Cannot run neato");
+               if (!output) {
+                       g_print ("Cannot run neato: you may need to install the graphviz package.\n");
+                       exit (1);
+               }
        } else if (outputfile) {
                output = fopen (outputfile, "w");
-               if (!output)
-                       g_error ("Cannot open file: %s", outputfile);
+               if (!output) {
+                       g_print ("Cannot open file: %s\n", outputfile);
+                       exit (1);
+               }
        }
        /* if it looks like a method name, we want a callgraph. */
        if (cname && strchr (cname, ':') && graphtype == GRAPH_TYPES)
                graphtype = GRAPH_CALL;
 
+       image = mono_assembly_get_image (assembly);
        switch (graphtype) {
        case GRAPH_TYPES:
-               type_graph (assembly->image, cname);
+               type_graph (image, cname);
                break;
        case GRAPH_CALL:
-               method_graph (assembly->image, cname);
+               method_graph (image, cname);
                break;
        case GRAPH_INTERFACE:
-               interface_graph (assembly->image, cname);
+               interface_graph (image, cname);
                break;
        case GRAPH_CONTROL_FLOW:
-               method_cfg (assembly->image, cname);
+               method_cfg (image, cname);
+               break;
+       case GRAPH_STATS:
+               stats (image, cname);
                break;
        default:
                g_error ("wrong graph type");