removed debug output
[libfirm] / testprograms / irr_cf_example.c
index 345e4a3..3ba3420 100644 (file)
@@ -6,8 +6,10 @@
 ** testprogram.
 */
 
-#include <stdio.h>
+# include <stdio.h>
+# include <string.h>
 
+# include "irvrfy.h"
 # include "irdump.h"
 # include "firm.h"
 
 
 int main(int argc, char **argv)
 {
-  ir_graph *irg;          /* this variable contains the irgraph */
-  type_class *owner;      /* the class in which this method is defined */
-  type_method *proc_main; /* typeinformation for the method main */
-  entity *ent;            /* represents this method as entity of owner */
-  ir_node *expr, *c1, *c2, *cond, *f, *t, *jmp, *x;
+  ir_graph *irg;        /* this variable contains the irgraph */
+  type     *owner;      /* the class in which this method is defined */
+  type     *proc_main;  /* typeinformation for the method main */
+  entity   *ent;        /* represents this method as entity of owner */
+  ir_node  *expr, *c1, *c2, *cond, *f, *t, *jmp, *x;
 
-  printf("creating an IR graph: IRR_CF...\n");
+  printf("\nCreating an IR graph: IRR_CF...\n");
 
   /* init library */
   init_firm ();
+  set_opt_constant_folding(0); /* so that stupid test are not evaluated. */
 
   /* FIRM was designed for oo languages where all methods belong to a class.
    * For imperative languages like C we view a file as a large class containing
@@ -86,53 +89,56 @@ int main(int argc, char **argv)
   cond = new_Cond(new_Proj(new_Cmp(expr, c1), mode_b, Eq));
   f = new_Proj(cond, mode_X, 0);
   t = new_Proj(cond, mode_X, 1);
-  mature_block(irg->current_block);
+  mature_block(get_irg_current_block(irg));
 
-  new_Block();
-  add_in_edge(irg->current_block, t);
+  new_immBlock();
+  add_in_edge(get_irg_current_block(irg), t);
   jmp = new_Jmp();
-  mature_block(irg->current_block);
+  mature_block(get_irg_current_block(irg));
 
-  new_Block();
-  add_in_edge(irg->current_block, f);
+  new_immBlock();
+  add_in_edge(get_irg_current_block(irg), f);
   cond = new_Cond(new_Proj(new_Cmp(expr, c2), mode_b, Eq));
   f = new_Proj(cond, mode_X, 0);
   t = new_Proj(cond, mode_X, 1);
-  mature_block(irg->current_block);
+  mature_block(get_irg_current_block(irg));
 
-  new_Block();
-  add_in_edge(irg->current_block, t);
-  add_in_edge(irg->current_block, jmp);
+  new_immBlock();
+  add_in_edge(get_irg_current_block(irg), t);
+  add_in_edge(get_irg_current_block(irg), jmp);
   jmp = new_Jmp();
-  mature_block(irg->current_block);
+  mature_block(get_irg_current_block(irg));
 
-  new_Block();
-  add_in_edge(irg->current_block, f);
+  new_immBlock();
+  add_in_edge(get_irg_current_block(irg), f);
   t = new_Jmp();
-  mature_block(irg->current_block);
+  mature_block(get_irg_current_block(irg));
 
-  new_Block();
-  add_in_edge(irg->current_block, t);
-  add_in_edge(irg->current_block, jmp);
+  new_immBlock();
+  add_in_edge(get_irg_current_block(irg), t);
+  add_in_edge(get_irg_current_block(irg), jmp);
   {
     ir_node *in[0]; /* this is the array containing the return parameters */
     x = new_Return (get_store(), 0, in);
   }
-  mature_block (irg->current_block);
+  mature_block (get_irg_current_block(irg));
 
-  add_in_edge (irg->end_block, x);
-  mature_block (irg->end_block);
+  add_in_edge (get_irg_end_block(irg), x);
+  mature_block (get_irg_end_block(irg));
+
+  finalize_cons (irg);
+
+  printf("Optimizing ...\n");
+  dead_node_elimination(irg);
 
   /* verify the graph */
   irg_vrfy(irg);
 
-  printf("\nDone building the graph.\n");
   printf("Dumping the graph and a control flow graph.\n");
   dump_ir_block_graph (irg);
   dump_cfg (irg);
-
-  printf("use xvcg to view these graphs:\n");
-  printf("/ben/goetz/bin/xvcg GRAPHNAME\n");
+  printf("Use xvcg to view these graphs:\n");
+  printf("/ben/goetz/bin/xvcg GRAPHNAME\n\n");
 
   return (0);
 }