nsz Git - libfirm/blob - firmjni/auxilliary/Heapanal.c

   1 /* -*- c -*- */
   2
   3 # include "Heapanal.h"
   4
   5 # include "firm.h"
   6 # include "irsimpletype.h"
   7 # include "src/heapanal.h"
   8 # include "src/interprete.h"
   9
  10 /*  boilerplate stuff: */
  11 #include "libfirm/irvrfy.h"
  12 #include "libfirm/trvrfy.h"
  13 #include "libfirm/irdump.h"
  14
  15
  16 /*  I/O: */
  17 # include <stdio.h>
  18
  19 /*
  20  * Class:     firmjni_Heapanal
  21  * Method:    initAnal
  22  * Signature: ()V
  23  */
  24 void Java_firmjni_Heapanal_initAnal (JNIEnv *env, jclass clazz)
  25 {
  26   /*  from interprete.c:  */
  27   init_interprete ();
  28 }
  29
  30 /*
  31  * Class:     firmjni_Heapanal
  32  * Method:    deInitAnal
  33  * Signature: ()V
  34  */
  35 void Java_firmjni_Heapanal_deInitAnal (JNIEnv *env, jclass clazz)
  36 {
  37   free_interprete ();
  38 }
  39
  40 /*
  41  * Class:     firmjni_Heapanal
  42  * Method:    analHeap
  43  * Signature: (I)V
  44  */
  45 void Java_firmjni_Heapanal_analHeap__I (JNIEnv *env, jclass clazz, jint fMethod)
  46 {
  47   ha_analyse_heap((entity *) fMethod, 0);
  48 }
  49
  50 /*
  51  * Class:     firmjni_Heapanal
  52  * Method:    analHeap
  53  * Signature: ()V
  54  */
  55 void Java_firmjni_Heapanal_analHeap__ (JNIEnv *env, jclass clazz)
  56 {
  57   int n_graphs;
  58   int i;
  59
  60   fprintf (stdout, "Hello, Heap!\n");
  61
  62   fprintf (stdout, "Ajacs Boilerplate:\n");
  63   {
  64     entity **free_methods = 0;
  65     int arr_len = 0;
  66
  67     /* replace static constant fields by constants
  68        @@@ This corrects some code that is invalid Firm!!!
  69        Execute before irg_vrfy(). */
  70     /* ??? */
  71     /*  opt_load_const_static(); */
  72
  73     /* dump graphs as they come out of the front end */
  74     dump_file_suffix = "-fe";
  75     dump_all_types ();
  76     dump_class_hierarchy (true);
  77     dump_all_ir_graphs(dump_ir_block_graph);
  78     dump_all_ir_graphs(dump_ir_block_graph_w_types);
  79     dump_all_ir_graphs(dump_cfg);
  80
  81     /* verify constructed graphs */
  82     for (i = 0; i < get_irp_n_irgs(); i++)
  83       irg_vrfy(get_irp_irg(i));
  84
  85     /* verify something */
  86     tr_vrfy();
  87
  88
  89     /*
  90      * test loop construction intraprocedural
  91      */
  92     for (i = 0; i < get_irp_n_irgs(); i++) {
  93       construct_backedges(get_irp_irg(i));
  94
  95       if (1) {
  96         dump_loop_information();
  97         dump_file_suffix = "-1.2-intra-loop";
  98         dump_ir_block_graph(get_irp_irg(i));
  99         dont_dump_loop_information();
 100         dump_loop_tree(get_irp_irg(i), "-1.2-intra");
 101       }
 102     }
 103
 104     DDMG (get_irp_main_irg ());
 105     assert(get_irp_main_irg());
 106     assert(get_irg_ent(get_irp_main_irg()));
 107
 108
 109     /** Do interprocedural optimizations **/
 110     /* Analysis that builds the call graph and finds the free methods,
 111        i.e. methods that are dereferenced.
 112        Optimizes polymorphic calls.*/
 113     cgana(&arr_len, &free_methods);
 114     /* Remove methods that are never called. */
 115     /*  gc_irgs(arr_len, free_methods); */
 116     /* Build the interprocedural dataflow representation */
 117     cg_construct(arr_len, free_methods);
 118
 119     /* Test construction of interprocedural loop information */
 120     /*  construct_ip_backedges(); */
 121
 122     dump_loop_information();
 123     dump_file_suffix = "-1.2-inter-loop";
 124     dump_all_cg_block_graph();
 125     dont_dump_loop_information();
 126     dump_loop_tree(get_irp_main_irg(), "-1.2-inter");
 127
 128
 129     fprintf (stdout, "HA:\n");
 130     DDMG (get_irp_main_irg ());
 131
 132     set_max_chi_height(8);  /* change ad lib */
 133     set_initial_context_depth(4);   /* change as needed */
 134     ha_analyse_heap(get_irg_ent(get_irp_main_irg()), 1);
 135
 136     /* Remove the interprocedural dataflow representation */
 137     free(free_methods);
 138     cg_destruct();
 139
 140     /* verify optimized graphs */
 141     for (i = 0; i < get_irp_n_irgs(); i++) {
 142       irg_vrfy(get_irp_irg(i));
 143     }
 144
 145     tr_vrfy();
 146
 147   }
 148
 149   set_opt_dump_abstvals (1);
 150
 151   /* ToDo:  Dump ??? */
 152
 153   fprintf (stdout, "Bye,   Heap!\n");
 154 }
 155
 156
 157
 158 /*
 159  * $Log$
 160  * Revision 1.2  2004/04/29 13:59:11  liekweg
 161  * Removed C++-Style comments --flo
 162  *
 163  * Revision 1.1  2004/04/29 12:11:36  liekweg
 164  * Moved ... to aux --flo
 165  *
 166  * Revision 1.1  2004/04/27 12:41:31  liekweg
 167  * Fixed ir/ana/irouts.c ir/ir/ircons.h ir/ir/irdump.c --flo
 168  * Added aux/Heapanal.c aux/Heapanal.java --flo
 169  *
 170  */