nsz Git - libfirm/blob - 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 = xmalloc (sizeof(*args) * (n_args+1));
  80   ir_node *arg = get_irg_args (graph);
  81   find_irg_args_env_t *arg_env = xmalloc(sizeof(*arg_env));
  82
  83   arg_env->args = args;
  84   arg_env->arg  = arg;
  85
  86   {
  87     ir_graph *save = get_current_ir_graph ();
  88
  89     set_current_ir_graph (graph);
  90     irg_walk (get_irg_end (graph), find_irg_arg, NULL, arg_env);
  91     set_current_ir_graph (save);
  92   }
  93
  94   memset (arg_env, 0x00, sizeof (find_irg_args_env_t));
  95   free (arg_env);
  96
  97   args [n_args] = NULL;
  98
  99   return (args);
 100 }
 101
 102 /* Get the entity of a ptr */
 103 entity *get_ptr_ent (ir_node *ptr)
 104 {
 105   entity *ent = NULL;
 106   const opcode ptr_op = get_irn_opcode (ptr);
 107   switch (ptr_op) {
 108   case (iro_Cast): {
 109     ent = get_ptr_ent (get_Cast_op (ptr));
 110   } break;
 111   case (iro_Sel): {
 112     ent = get_Sel_entity (ptr);
 113   } break;
 114
 115   case (iro_SymConst): {
 116     ent = get_SymConst_entity (ptr);
 117   } break;
 118
 119   default: {
 120     fprintf (stderr, "get_ptr_ent: no ent for ptr=%s[%ld]\n",
 121              get_op_name (get_irn_op (ptr)),
 122              get_irn_node_nr (ptr));
 123     assert (0);
 124   }
 125   }
 126
 127   return (ent);
 128 }
 129
 130 /* Check whether the load of the given ptr is a dummy */
 131 int is_dummy_load_ptr (ir_node *ptr)
 132 {
 133   const opcode ptr_op = get_irn_opcode (ptr);
 134
 135   switch (ptr_op) {
 136   case (iro_Cast): {
 137     return (is_dummy_load_ptr (get_Cast_op (ptr)));
 138   } break;
 139   case (iro_Sel):
 140   case (iro_SymConst): {
 141     return (FALSE);
 142   } break;
 143
 144   default: {
 145     return (TRUE);
 146   }
 147   }
 148 }
 149
 150 \f
 151 /*
 152   $Log$
 153   Revision 1.13  2004/12/22 14:43:14  beck
 154   made allocations C-like
 155
 156   Revision 1.12  2004/12/21 15:53:12  beck
 157   removed GNUC constructs
 158
 159   Revision 1.11  2004/12/20 17:34:35  liekweg
 160   fix recursion handling
 161
 162   Revision 1.10  2004/12/06 12:55:06  liekweg
 163   actually iterate
 164
 165   Revision 1.9  2004/12/02 16:17:51  beck
 166   fixed config.h include
 167
 168   Revision 1.8  2004/11/26 15:59:14  liekweg
 169   recognize dummy loads
 170
 171   Revision 1.7  2004/11/24 14:53:56  liekweg
 172   Bugfixes
 173
 174   Revision 1.6  2004/11/18 16:37:07  liekweg
 175   rewrite
 176
 177
 178 */