Initial revision
[libfirm] / testprograms / empty.c
1 /* Copyright (C) 1998 - 2000 by Universitaet Karlsruhe
2 ** All rights reserved.
3 **
4 ** Authors: Christian Schaefer, Goetz Lindenmaier
5 **
6 ** testprogram.
7 */
8
9 #include <stdio.h>
10
11 # include "irdump.h"
12 # include "firm.h"
13
14 /*
15  * das leere FIRM Programm
16  */
17
18 /**
19 ***  This file constructs the ir for the following pseudo-program:
20 ***
21 ***  main() {
22 ***    return;
23 ***  }
24 **/
25
26 int main(int argc, char **argv)
27 {
28   ir_graph *irg;          /* this variable contains the irgraph */
29   type_class *owner;      /* the class in which this method is defined */
30   type_method *proc_main; /* typeinformation for the method main */
31   entity *ent;            /* represents this method as entity of owner */
32   ir_node *x;
33
34   printf("creating an IR graph: EMPTY...\n");
35
36   /* init library */
37   init_firm ();
38
39   /* FIRM was designed for oo languages where all methods belong to a class.
40    * For imperative languages like C we view a file as a large class containing
41    * all functions as methods in this file.
42    * Therefore we define a class "empty" according to the file name
43    * with a method main as an entity.
44    */
45 #define CLASSNAME "EMPTY"
46 #define METHODNAME "main"
47 #define NRARGS 0
48 #define NRES 0
49
50   owner = new_type_class (id_from_str (CLASSNAME, strlen(CLASSNAME)));
51   proc_main = new_type_method(id_from_str(METHODNAME, strlen(METHODNAME)),
52                               NRARGS, NRES);
53   ent = new_entity ((type *)owner,
54                     id_from_str (METHODNAME, strlen(METHODNAME)),
55                     (type *)proc_main);
56
57   /* Generates the basic graph for the method represented by entity ent, that
58    * is, generates start and end blocks and nodes and a first, initial block.
59    * The constructor needs to know how many local variables the method has.
60    */
61 #define NUM_OF_LOCAL_VARS 0
62
63   irg = new_ir_graph (ent, NUM_OF_LOCAL_VARS);
64
65
66   /* The constructor new_ir_graph() generated a region to place nodes in.
67    * This region is accessible via the attribut current_block of irg and
68    * it is not matured.
69    * Generate the return node into this region. The Return node is needed to
70    * return at least the store. */
71   {
72     ir_node *in[0]; /* this is the array containing the return parameters */
73     x = new_Return (get_store(), 0, in);
74   }
75   /* Now generate all instructions for this block and all its predecessor blocks
76    * so we can mature it. */
77   mature_block (irg->current_block);
78
79   /* This adds the in edge of the end block which originates at the return statement.
80    * The return node passes controlflow to the end block.  */
81   add_in_edge (irg->end_block, x);
82   /* Now we can mature the end block as all it's predecessors are known. */
83   mature_block (irg->end_block);
84
85   printf("\nDone building the graph.  Dumping it.\n");
86   dump_ir_block_graph (irg);
87
88   printf("use xvcg to view this graph:\n");
89   printf("/ben/trapp/bin/i486/xvcg GRAPHNAME\n");
90
91   return (0);
92
93
94 }