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 ir_node **find_irg_args (ir_graph *graph)
  74 {
  75   type *tp = get_entity_type (get_irg_entity (graph));
  76   const int n_args = get_method_n_params (tp);
  77   ir_node **args = (ir_node**) xmalloc (sizeof (ir_node*) * (n_args+1));
  78   ir_node *arg = get_irg_args (graph);
  79   find_irg_args_env_t *arg_env =
  80     (find_irg_args_env_t*) xmalloc (sizeof (find_irg_args_env_t));
  81
  82   arg_env->args = args;
  83   arg_env->arg  = arg;
  84
  85   /* or use get_irg_end ?!? */
  86   {
  87     ir_graph *save = get_current_ir_graph ();
  88     set_current_ir_graph (graph);
  89     irg_walk (get_irg_end (graph), find_irg_arg, NULL, arg_env);
  90     set_current_ir_graph (save);
  91   }
  92
  93   free (arg_env);
  94
  95   args [n_args] = NULL;
  96
  97   return (args);
  98 }
  99
 100 /* Get the entity of a ptr */
 101 entity *get_ptr_ent (ir_node *ptr)
 102 {
 103   entity *ent = NULL;
 104   const opcode ptr_op = get_irn_opcode (ptr);
 105   switch (ptr_op) {
 106   case (iro_Cast): {
 107     ent = get_ptr_ent (get_Cast_op (ptr));
 108   } break;
 109   case (iro_Sel): {
 110     ent = get_Sel_entity (ptr);
 111   } break;
 112
 113   case (iro_SymConst): {
 114     ent = get_SymConst_entity (ptr);
 115   } break;
 116
 117   default: {
 118     fprintf (stderr, "%s: no ent for ptr=%s[%ld]\n",
 119              __FUNCTION__,
 120              get_op_name (get_irn_op (ptr)),
 121              get_irn_node_nr (ptr));
 122     assert (0);
 123   }
 124   }
 125
 126   return (ent);
 127 }
 128
 129 /* Check whether the load of the given ptr is a dummy */
 130 int is_dummy_load_ptr (ir_node *ptr)
 131 {
 132   const opcode ptr_op = get_irn_opcode (ptr);
 133
 134   switch (ptr_op) {
 135   case (iro_Cast): {
 136     return (is_dummy_load_ptr (get_Cast_op (ptr)));
 137   } break;
 138   case (iro_Sel):
 139   case (iro_SymConst): {
 140     return (FALSE);
 141   } break;
 142
 143   default: {
 144     return (TRUE);
 145   }
 146   }
 147 }
 148
 149
 150
 151 \f
 152 /*
 153   $Log$
 154   Revision 1.9  2004/12/02 16:17:51  beck
 155   fixed config.h include
 156
 157   Revision 1.8  2004/11/26 15:59:14  liekweg
 158   recognize dummy loads
 159
 160   Revision 1.7  2004/11/24 14:53:56  liekweg
 161   Bugfixes
 162
 163   Revision 1.6  2004/11/18 16:37:07  liekweg
 164   rewrite
 165
 166
 167 */