tag for irloop datastructure
[libfirm] / testprograms / three_cfpred_example.c
index 201ad7a..971b325 100644 (file)
@@ -7,7 +7,9 @@
 */
 
 # include <stdio.h>
+# include <string.h>
 
+# include "irvrfy.h"
 # include "irdump.h"
 # include "firm.h"
 
 
 int main(int argc, char **argv)
 {
+  type     *prim_t_int;
   ir_graph *irg;          /* this variable contains the irgraph */
-  type_class *owner;      /* the class in which this method is defined */
-  type_method *proc_main; /* type information for the method main */
+  type *owner;      /* the class in which this method is defined */
+  type *proc_main; /* type information for the method main */
   entity *ent;            /* represents this method as entity of owner */
   ir_node *c1, *c2, *cond, *f, *t, *endBlock, *Block1, *jmp,
           *scndCondBlock, *Block2, *Block3, *x;
@@ -60,6 +63,9 @@ int main(int argc, char **argv)
 
   set_optimize(1);
 
+  /*** Make basic type information for primitive type int. ***/
+  prim_t_int = new_type_primitive(id_from_str ("int", 3), mode_i);
+
   /* 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
    * all functions as methods in this file.
@@ -73,10 +79,12 @@ int main(int argc, char **argv)
   owner = get_glob_type();
   proc_main = new_type_method(id_from_str(METHODNAME, strlen(METHODNAME)),
                              NRARGS, NRES);
-  /** @@@ setting of arg/res types misses **/
-  ent = new_entity ((type *)owner,
+  set_method_param_type(proc_main, 0, prim_t_int);
+  set_method_res_type(proc_main, 0, prim_t_int);
+
+  ent = new_entity (owner,
                     id_from_str (METHODNAME, strlen(METHODNAME)),
-                    (type *)proc_main);
+                    proc_main);
 
 #define NUM_OF_LOCAL_VARS 2
 
@@ -141,11 +149,12 @@ int main(int argc, char **argv)
   add_in_edge (get_irg_end_block(irg), x);
   mature_block (get_irg_end_block(irg));
 
-  printf("Optimizing ...\n");
-  dead_node_elimination(irg);
-
   /* verify the graph */
   irg_vrfy(irg);
+  finalize_cons (irg);
+
+  printf("Optimizing ...\n");
+  dead_node_elimination(irg);
 
   printf("Dumping the graph and a control flow graph.\n");
   dump_ir_block_graph (irg);