b983a2f129b7fd40cbc6d9c2f3d41acbf6bc590f
[libfirm] / ir / ana2 / pto_util.c
1 /* -*- c -*- */
2
3 /*
4    Project:     libFIRM
5    File name:   ir/ana/pto_util.c
6    Purpose:     Utilitites for PTO
7    Author:      Florian
8    Modified by:
9    Created:     Sat Nov 13 19:35:27 CET 2004
10    CVS-ID:      $Id$
11    Copyright:   (c) 1999-2004 Universität Karlsruhe
12    Licence:     This file is protected by the GPL -  GNU GENERAL PUBLIC LICENSE.
13 */
14
15 #ifdef HAVE_CONFIG_H
16 # include "config.h"
17 #endif
18
19 /*
20  pto_util: Utilitites for PTO
21 */
22
23 # include "pto_util.h"
24
25 # include "irnode_t.h"
26 # include "irgwalk.h"
27 # include "xmalloc.h"
28
29 # include "pto_debug.h"
30
31 /* Local Defines: */
32 # ifndef TRUE
33 #  define TRUE 1
34 #  define FALSE 0
35 # endif /* not defined TRUE */
36
37 /* Local Data Types: */
38 /* Environment for find_irg_args */
39 typedef struct find_irg_args_env {
40   ir_node **args;
41   ir_node *arg;
42 } find_irg_args_env_t;
43
44
45 /* Local Variables: */
46
47 /* Local Prototypes: */
48
49 /* ===================================================
50    Local Implementation:
51    =================================================== */
52 /* Helper for find_irg_args */
53 static void find_irg_arg (ir_node *node, void *env)
54 {
55   find_irg_args_env_t *arg_env = (find_irg_args_env_t*) env;
56
57   if (iro_Proj == get_irn_opcode (node)) {
58     if (arg_env->arg == get_Proj_pred (node)) {
59       long n = get_Proj_proj (node);
60
61       assert (! arg_env->args [n]);
62
63       arg_env->args [n] = node;
64     }
65   }
66 }
67
68 /* ===================================================
69    Exported Implementation:
70    =================================================== */
71 /* Find the arguments of a graph. For a method that has n args, the
72   result array has 'n+1' entries, the last of which is written NULL.
73   Note that not all entries in [0..n-1] will be populated all the time.
74 */
75 ir_node **find_irg_args (ir_graph *graph)
76 {
77   type *tp = get_entity_type (get_irg_entity (graph));
78   const int n_args = get_method_n_params (tp);
79   ir_node **args = (ir_node**) xmalloc (sizeof (ir_node*) * (n_args+1));
80   ir_node *arg = get_irg_args (graph);
81   find_irg_args_env_t *arg_env =
82     (find_irg_args_env_t*) xmalloc (sizeof (find_irg_args_env_t));
83
84   arg_env->args = args;
85   arg_env->arg  = arg;
86
87   {
88     ir_graph *save = get_current_ir_graph ();
89
90     set_current_ir_graph (graph);
91     irg_walk (get_irg_end (graph), find_irg_arg, NULL, arg_env);
92     set_current_ir_graph (save);
93   }
94
95   memset (arg_env, 0x00, sizeof (find_irg_args_env_t));
96   free (arg_env);
97
98   args [n_args] = NULL;
99
100   return (args);
101 }
102
103 /* Get the entity of a ptr */
104 entity *get_ptr_ent (ir_node *ptr)
105 {
106   entity *ent = NULL;
107   const opcode ptr_op = get_irn_opcode (ptr);
108   switch (ptr_op) {
109   case (iro_Cast): {
110     ent = get_ptr_ent (get_Cast_op (ptr));
111   } break;
112   case (iro_Sel): {
113     ent = get_Sel_entity (ptr);
114   } break;
115
116   case (iro_SymConst): {
117     ent = get_SymConst_entity (ptr);
118   } break;
119
120   default: {
121     fprintf (stderr, "get_ptr_ent: no ent for ptr=%s[%ld]\n",
122              get_op_name (get_irn_op (ptr)),
123              get_irn_node_nr (ptr));
124     assert (0);
125   }
126   }
127
128   return (ent);
129 }
130
131 /* Check whether the load of the given ptr is a dummy */
132 int is_dummy_load_ptr (ir_node *ptr)
133 {
134   const opcode ptr_op = get_irn_opcode (ptr);
135
136   switch (ptr_op) {
137   case (iro_Cast): {
138     return (is_dummy_load_ptr (get_Cast_op (ptr)));
139   } break;
140   case (iro_Sel):
141   case (iro_SymConst): {
142     return (FALSE);
143   } break;
144
145   default: {
146     return (TRUE);
147   }
148   }
149 }
150
151 \f
152 /*
153   $Log$
154   Revision 1.12  2004/12/21 15:53:12  beck
155   removed GNUC constructs
156
157   Revision 1.11  2004/12/20 17:34:35  liekweg
158   fix recursion handling
159
160   Revision 1.10  2004/12/06 12:55:06  liekweg
161   actually iterate
162
163   Revision 1.9  2004/12/02 16:17:51  beck
164   fixed config.h include
165
166   Revision 1.8  2004/11/26 15:59:14  liekweg
167   recognize dummy loads
168
169   Revision 1.7  2004/11/24 14:53:56  liekweg
170   Bugfixes
171
172   Revision 1.6  2004/11/18 16:37:07  liekweg
173   rewrite
174
175
176 */