1 /* Copyright (C) 1998 - 2000 by Universitaet Karlsruhe
2 ** All rights reserved.
4 ** Authors: Goetz Lindenmaier
12 /** This file constructs the IR for the following program:
37 #define OPTIMIZE_NODE 0
42 type_primitive *prim_t_int;
43 type_class *owner, *class_prima, *class_langint;
44 type_method *proc_main, *proc_set, *proc_c;
45 type_pointer *class_p_ptr;
46 entity *proc_main_e, *proc_set_e, *proc_c_e, *a_e;
48 ir_graph *main_irg, *set_a_irg, *c_irg;
49 ir_node *c2, *c5, *obj_o, *obj_size, *proc_ptr, *call, *x;
50 ir_node *self, *par1, *a_ptr;
55 set_opt_constant_folding(0);
58 /* make basic type information for primitive type int.*/
59 prim_t_int = new_type_primitive(id_from_str ("int", 3), mode_i);
61 /* first build procedure main */
62 printf("creating an IR graph: OO_PROGRAM_EXAMPLE...\n");
63 owner = new_type_class (id_from_str ("OO_PROGRAM_EXAMPLE", 18));
64 proc_main = new_type_method(id_from_str("main", 4), 0, 1);
65 set_method_res_type(proc_main, 0, (type *)prim_t_int);
67 proc_main_e = new_entity ((type *)owner, id_from_str ("main", 4),
69 main_irg = new_ir_graph (proc_main_e, 4);
71 /* There is only one block in main, it contains the constants and the calls. */
72 c2 = new_Const (mode_i, tarval_from_long (mode_i, 2));
73 c5 = new_Const (mode_i, tarval_from_long (mode_i, 5));
75 /* allocate the defined object and generate the type information */
76 class_prima = new_type_class(id_from_str ("PRIMA", 5));
77 obj_size = new_SymConst((type *)class_prima, size);
78 obj_o = new_Alloc(get_store(), obj_size, (type *)class_prima, heap_alloc);
79 set_store(new_Proj(obj_o, mode_M, 0)); /* make the changed memory visible */
80 obj_o = new_Proj(obj_o, mode_p, 1); /* remember the pointer to the object */
81 /* we need type information for pointers to the class: */
82 class_p_ptr = new_type_pointer (id_from_str ("class_prima_ptr", 15),
85 /* get the pointer to the procedure from the class type */
86 proc_set = new_type_method(id_from_str("set_a", 5), 2, 0);
87 set_method_param_type(proc_set, 0, (type *)class_p_ptr);
88 set_method_param_type(proc_set, 1, (type *)prim_t_int);
89 proc_set_e = new_entity((type *)class_prima, id_from_str ("set_a", 5),
91 proc_ptr = new_simpleSel(get_store(), /* The memory the object is allocated in */
92 obj_o, /* The pointer to the object */
93 proc_set_e ); /* The feature to select */
95 /* call procedure set_a, first built array with parameters */
100 call = new_Call(get_store(), proc_ptr, 2, in, proc_set);
102 /* make the change to memory visible */
103 set_store(new_Proj(call, mode_M, 0));
105 /* get the pointer to the procedure from the class type */
106 proc_c = new_type_method(id_from_str("c", 1 ), 2, 1);
107 set_method_param_type(proc_c, 0, (type *)class_p_ptr);
108 set_method_param_type(proc_c, 1, (type *)prim_t_int);
109 set_method_res_type(proc_c, 0, (type *)prim_t_int);
110 proc_c_e = new_entity((type *)class_prima, id_from_str ("c", 1),
112 proc_ptr = new_simpleSel(get_store(), obj_o, proc_c_e);
114 /* call procedure c, first built array with parameters */
119 call = new_Call(get_store(), proc_ptr, 2, in, proc_c);
121 /* make the change to memory visible */
122 set_store(new_Proj(call, mode_M, 0));
124 /* return the results of procedure main */
127 /* Select the result tuple from the call, then the proper
128 result from the tuple. */
129 in[0] = new_Proj(new_Proj(call, mode_T, 1), mode_I, 0);
131 x = new_Return (get_store (), 1, in);
133 mature_block (main_irg->current_block);
135 /* complete the end_block */
136 add_in_edge (main_irg->end_block, x);
137 mature_block (main_irg->end_block);
139 printf("\nDone building the graph.\n");
140 printf("Dumping the graph and a type graph.\n");
141 dump_ir_block_graph (main_irg);
142 dump_type_graph(main_irg);
144 /****************************************************************************/
146 printf("\ncreating IR graph for set_a: \n");
148 set_a_irg = new_ir_graph (proc_set_e, 4);
150 /* get the procedure parameter */
151 self = new_Proj(set_a_irg->args, mode_p, 0);
152 par1 = new_Proj(set_a_irg->args, mode_I, 1);
153 /* Create and select the entity to set */
154 class_langint = new_type_class(id_from_str ("Int", 3));
155 a_e = new_entity((type *)class_prima, id_from_str ("a", 1),
156 (type*)class_langint);
157 a_ptr = new_simpleSel(get_store(), self, a_e);
158 /* perform the assignment */
159 set_store(new_Proj(new_Store(get_store(), a_ptr, par1), mode_M, 0));
162 x = new_Return (get_store (), 0, NULL);
163 mature_block (set_a_irg->current_block);
165 /* complete the end_block */
166 add_in_edge (set_a_irg->end_block, x);
167 mature_block (set_a_irg->end_block);
169 printf("\nDone building the graph.\n");
170 printf("Dumping the graph and a type graph.\n");
171 dump_ir_block_graph (set_a_irg);
172 dump_type_graph(set_a_irg);
174 /****************************************************************************/
176 printf("\ncreating IR graph for c: \n");
178 c_irg = new_ir_graph (proc_c_e, 4);
180 /* get the procedure parameter */
181 self = new_Proj(c_irg->args, mode_p, 0);
182 par1 = new_Proj(c_irg->args, mode_I, 1);
184 /* Select the entity and load the value */
185 a_ptr = new_simpleSel(get_store(), self, a_e);
186 a_val = new_Load(get_store(), a_ptr);
187 set_store(new_Proj(a_val, mode_M, 0));
188 a_val = new_Proj(a_val, mode_I, 1);
190 /* return the result */
193 in[0] = new_Add(par1, a_val, mode_I);
195 x = new_Return (get_store (), 1, in);
197 mature_block (c_irg->current_block);
199 /* complete the end_block */
200 add_in_edge (c_irg->end_block, x);
201 mature_block (c_irg->end_block);
203 printf("\nDone building the graph.\n");
204 printf("Dumping the graph and a type graph.\n");
205 dump_ir_block_graph (c_irg);
206 dump_type_graph(c_irg);
208 /****************************************************************************/
210 printf("\nuse xvcg to view these graphs:\n");
211 printf("/ben/trapp/bin/i486/xvcg GRAPHNAME\n");