nsz Git - libfirm/blob - testprograms/dead_loop_example.c

   1 /*
   2  * Project:     libFIRM
   3  * File name:   testprograms/irr_loop_example.c
   4  * Purpose:     Test Phi construction with irregular control flow.
   5  * Author:      Christian Schaefer, Goetz Lindenmaier
   6  * Modified by:
   7  * Created:
   8  * CVS-ID:      $Id$
   9  * Copyright:   (c) 1999-2003 Universität Karlsruhe
  10  * Licence:     This file protected by GPL -  GNU GENERAL PUBLIC LICENSE.
  11  */
  12
  13 # include <stdio.h>
  14 # include <string.h>
  15
  16 # include "irvrfy.h"
  17 # include "irdump.h"
  18 # include "firm.h"
  19
  20 /**
  21  *  This file constructs a control flow with an unreachable
  22  *  loop _and_ an unreachable endless loop.  This looks like:
  23  *
  24  *    LoopBlock2                          LoopBlock2'
  25  *     |    /|\                            |    /|\
  26  *     |     |                             |     |
  27  *    \|/    |                            \|/    |
  28  *    LoopBlock1    StartBlock            LoopBlock1'
  29  *        \              /
  30  *         \            /
  31  *         _\|        |/_
  32  *          ReturnBlock
  33  *              |
  34  *              |
  35  *             \|/
  36  *           nextBlock
  37  *
  38  *
  39  **/
  40
  41 int main(int argc, char **argv)
  42 {
  43   ir_graph *irg;        /* this variable contains the irgraph */
  44   type     *prim_t_int;
  45   type     *owner;      /* the class in which this method is defined */
  46   type     *proc_main;  /* typeinformation for the method main */
  47   entity   *ent;        /* represents this method as entity of owner */
  48   ir_node  *returnBlock, *loopBlock1, *loopBlock2, *x, *c1, *c2, *t, *f;
  49
  50
  51   /* init library */
  52   init_firm (NULL);
  53   //set_opt_normalize(0);
  54   set_opt_constant_folding (0);  /* so that the stupid tests are not optimized. */
  55   set_opt_cse(1);
  56   set_opt_dead_node_elimination(1);
  57
  58   /* FIRM was designed for oo languages where all methods belong to a class.
  59    * For imperative languages like C we view a file as a large class containing
  60    * all functions as methods in this file.
  61    * Therefore we define a class "empty" according to the file name
  62    * with a method main as an entity.
  63    */
  64 #define CLASSNAME "DEAD_LOOP"
  65 #define METHODNAME "main"
  66 #define NRARGS 1
  67 #define NRES 0
  68   printf("\nCreating an IR graph: %s...\n", CLASSNAME);
  69
  70   prim_t_int = new_type_primitive(id_from_str ("int", 3), mode_Is);
  71
  72   owner = new_type_class (new_id_from_str (CLASSNAME));
  73   proc_main = new_type_method(new_id_from_str(METHODNAME), NRARGS, NRES);
  74   set_method_param_type(proc_main, 0, prim_t_int);
  75   ent = new_entity (owner, new_id_from_str (METHODNAME), proc_main);
  76   get_entity_ld_name(ent); /* To enforce name mangling for vcg graph name */
  77
  78 #define NUM_OF_LOCAL_VARS 0
  79
  80   irg = new_ir_graph (ent, NUM_OF_LOCAL_VARS);
  81
  82   returnBlock = get_irg_current_block(irg);
  83
  84 #if 1
  85   /* Make the unreachable loop */
  86   loopBlock1 = new_immBlock();
  87   loopBlock2 = new_immBlock();
  88   x = new_Jmp();
  89   add_in_edge(loopBlock1, x);
  90   mature_block(loopBlock1);
  91
  92   switch_block(loopBlock1);
  93   c1 = new_Const (mode_Is, new_tarval_from_long (1, mode_Is));
  94   c2 = new_Proj(get_irg_args(irg), mode_Is, 0);
  95   x =  new_Cond(new_Proj(new_Cmp(c1, c2), mode_b, Eq));
  96   f = new_Proj(x, mode_X, 0);
  97   t = new_Proj(x, mode_X, 1);
  98   add_in_edge(loopBlock2, t);
  99   add_in_edge(returnBlock, f);
 100   mature_block(loopBlock2);
 101 #endif
 102
 103 #if 0
 104   /* Make the unreachable, endless loop */
 105   loopBlock1 = new_immBlock();
 106   loopBlock2 = new_immBlock();
 107   x = new_Jmp();
 108   add_in_edge(loopBlock1, x);
 109   mature_block(loopBlock1);
 110
 111   switch_block(loopBlock1);
 112   x = new_Jmp();
 113   add_in_edge(loopBlock2, x);
 114   add_End_keepalive(get_irg_end(irg), x);
 115   mature_block(loopBlock2);
 116 #endif
 117
 118   /* Make the return block */
 119   switch_block(returnBlock);
 120   x = new_Return (get_store(), 0, NULL);
 121   mature_block (get_irg_current_block(irg));
 122
 123   add_in_edge (get_irg_end_block(irg), x);
 124   mature_block (get_irg_end_block(irg));
 125
 126   finalize_cons (irg);
 127
 128   printf("Optimizing ...\n");
 129   dead_node_elimination(irg);
 130
 131   /* verify the graph */
 132   irg_vrfy(irg);
 133
 134   printf("Dumping the graph and a control flow graph.\n");
 135   turn_off_edge_labels();
 136   dump_keepalive_edges(1);
 137   dump_consts_local(1);
 138   dump_ir_block_graph (irg);
 139   dump_cfg (irg);
 140
 141   printf("Running analyses.\n");
 142   compute_outs(irg);
 143   compute_doms(irg);
 144   construct_backedges(irg);
 145
 146   printf("Dumping the graph with analyses information.\n");
 147   dump_file_suffix = "-ana";
 148
 149   dump_out_edges();
 150   dump_dominator_information();
 151   dump_loop_information();
 152   dump_backedge_information(1);
 153
 154   dump_ir_block_graph (irg);
 155   dump_cfg (irg);
 156   dump_loop_tree(irg, dump_file_suffix);
 157
 158   printf("Use xvcg to view these graphs:\n");
 159   printf("/ben/goetz/bin/xvcg GRAPHNAME\n\n");
 160
 161   return (0);
 162 }