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:
24 *** set_a(e:int): void
40 type *owner, *class_prima, *class_langint;
41 type *proc_main, *proc_set, *proc_c;
43 entity *proc_main_e, *proc_set_e, *proc_c_e, *a_e;
45 ir_graph *main_irg, *set_a_irg, *c_irg;
46 ir_node *c2, *c5, *obj_o, *obj_size, *proc_ptr, *call, *x;
47 ir_node *self, *par1, *a_ptr;
54 set_opt_constant_folding(1);
56 set_opt_dead_node_elimination(1);
58 /* make basic type information for primitive type int.*/
59 prim_t_int = new_type_primitive(id_from_str ("int", 3), mode_i);
62 printf(" Hier %s\n", get_mode_name(get_type_mode(prim_t_int)));
64 /* first build procedure main */
65 printf("\nCreating an IR graph: OO_PROGRAM_EXAMPLE...\n");
66 owner = get_glob_type();
67 proc_main = new_type_method(id_from_str("main", 4), 0, 1);
68 set_method_res_type(proc_main, 0, prim_t_int);
70 proc_main_e = new_entity (owner, id_from_str ("main", 4), proc_main);
71 main_irg = new_ir_graph (proc_main_e, 4);
72 /* Remark that this irg is the main routine of the program. */
73 set_irp_main_irg(main_irg);
75 /* There is only one block in main, it contains the constants and the calls. */
76 c2 = new_Const (mode_i, tarval_from_long (mode_i, 2));
77 c5 = new_Const (mode_i, tarval_from_long (mode_i, 5));
79 /* allocate the defined object and generate the type information */
80 class_prima = new_type_class(id_from_str ("PRIMA", 5));
81 obj_size = new_SymConst((type_or_id_p)class_prima, size);
82 obj_o = new_Alloc(get_store(), obj_size, class_prima, heap_alloc);
83 set_store(new_Proj(obj_o, mode_M, 0)); /* make the changed memory visible */
84 obj_o = new_Proj(obj_o, mode_p, 1); /* remember the pointer to the object */
85 /* we need type information for pointers to the class: */
86 class_p_ptr = new_type_pointer (id_from_str ("class_prima_ptr", 15),
89 /* get the pointer to the procedure from the class type */
90 proc_set = new_type_method(id_from_str("set_a", 5), 2, 0);
91 set_method_param_type(proc_set, 0, class_p_ptr);
92 set_method_param_type(proc_set, 1, prim_t_int);
93 proc_set_e = new_entity(class_prima, id_from_str ("set_a", 5), proc_set);
94 proc_ptr = new_simpleSel(get_store(), /* The memory the object is allocated in */
95 obj_o, /* The pointer to the object */
96 proc_set_e ); /* The feature to select */
98 /* call procedure set_a, first built array with parameters */
103 call = new_Call(get_store(), proc_ptr, 2, in, proc_set);
105 /* make the change to memory visible */
106 set_store(new_Proj(call, mode_M, 0));
108 /* get the pointer to the procedure from the class type */
109 proc_c = new_type_method(id_from_str("c", 1 ), 2, 1);
110 set_method_param_type(proc_c, 0, class_p_ptr);
111 set_method_param_type(proc_c, 1, prim_t_int);
112 set_method_res_type(proc_c, 0, prim_t_int);
113 proc_c_e = new_entity(class_prima, id_from_str ("c", 1), proc_c);
114 proc_ptr = new_simpleSel(get_store(), obj_o, proc_c_e);
116 /* call procedure c, first built array with parameters */
121 call = new_Call(get_store(), proc_ptr, 2, in, proc_c);
123 /* make the change to memory visible */
124 set_store(new_Proj(call, mode_M, 0));
126 /* return the results of procedure main */
129 /* Select the result tuple from the call, then the proper
130 result from the tuple. */
131 in[0] = new_Proj(new_Proj(call, mode_T, 1), mode_I, 0);
133 x = new_Return (get_store (), 1, in);
135 mature_block (get_irg_current_block(main_irg));
137 /* complete the end_block */
138 add_in_edge (get_irg_end_block(main_irg), x);
139 mature_block (get_irg_end_block(main_irg));
143 /****************************************************************************/
145 printf("Creating IR graph for set_a: \n");
147 set_a_irg = new_ir_graph (proc_set_e, 4);
149 /* get the procedure parameter */
150 self = new_Proj(get_irg_args(set_a_irg), mode_p, 0);
151 par1 = new_Proj(get_irg_args(set_a_irg), mode_I, 1);
152 /* Create and select the entity to set */
153 class_langint = new_type_class(id_from_str ("Int", 3));
154 a_e = new_entity(class_prima, id_from_str ("a", 1),
156 a_ptr = new_simpleSel(get_store(), self, a_e);
157 /* perform the assignment */
158 set_store(new_Proj(new_Store(get_store(), a_ptr, par1), mode_M, 0));
161 x = new_Return (get_store (), 0, NULL);
162 mature_block (get_irg_current_block(set_a_irg));
164 /* complete the end_block */
165 add_in_edge (get_irg_end_block(set_a_irg), x);
166 mature_block (get_irg_end_block(set_a_irg));
170 /****************************************************************************/
172 printf("Creating IR graph for c: \n");
174 c_irg = new_ir_graph (proc_c_e, 4);
176 /* get the procedure parameter */
177 self = new_Proj(get_irg_args(c_irg), mode_p, 0);
178 par1 = new_Proj(get_irg_args(c_irg), mode_I, 1);
180 /* Select the entity and load the value */
181 a_ptr = new_simpleSel(get_store(), self, a_e);
182 a_val = new_Load(get_store(), a_ptr);
183 set_store(new_Proj(a_val, mode_M, 0));
184 a_val = new_Proj(a_val, mode_I, 1);
186 /* return the result */
189 in[0] = new_Add(par1, a_val, mode_I);
191 x = new_Return (get_store (), 1, in);
193 mature_block (get_irg_current_block(c_irg));
195 /* complete the end_block */
196 add_in_edge (get_irg_end_block(c_irg), x);
197 mature_block (get_irg_end_block(c_irg));
199 /* verify the graph */
202 printf("Optimizing ...\n");
203 for (i = 0; i < get_irp_n_irgs(); i++) {
204 local_optimize_graph(get_irp_irg(i));
205 dead_node_elimination(get_irp_irg(i));
207 /****************************************************************************/
209 printf("Dumping graphs of all procedures.\n");
211 dump_all_ir_graphs(dump_ir_block_graph);
212 dump_all_ir_graphs(dump_type_graph);
215 printf("Use xvcg to view these graphs:\n");
216 printf("/ben/goetz/bin/xvcg GRAPHNAME\n\n");