nsz Git - libfirm/blob - ir/lower/lower_copyb.c

   1 /*
   2  * Copyright (C) 1995-2007 University of Karlsruhe.  All right reserved.
   3  *
   4  * This file is part of libFirm.
   5  *
   6  * This file may be distributed and/or modified under the terms of the
   7  * GNU General Public License version 2 as published by the Free Software
   8  * Foundation and appearing in the file LICENSE.GPL included in the
   9  * packaging of this file.
  10  *
  11  * Licensees holding valid libFirm Professional Edition licenses may use
  12  * this file in accordance with the libFirm Commercial License.
  13  * Agreement provided with the Software.
  14  *
  15  * This file is provided AS IS with NO WARRANTY OF ANY KIND, INCLUDING THE
  16  * WARRANTY OF DESIGN, MERCHANTABILITY AND FITNESS FOR A PARTICULAR
  17  * PURPOSE.
  18  */
  19
  20 /**
  21  * @file
  22  * @brief   Lower small CopyB nodes into a series of Load/store
  23  * @author  Michael Beck, Matthias Braun
  24  * @version $Id$
  25  */
  26 #include "config.h"
  27
  28 #include "adt/list.h"
  29 #include "ircons.h"
  30 #include "lowering.h"
  31 #include "irprog_t.h"
  32 #include "irgwalk.h"
  33 #include "irnode_t.h"
  34 #include "type_t.h"
  35 #include "irtools.h"
  36 #include "irgmod.h"
  37 #include "error.h"
  38
  39 typedef struct entry entry_t;
  40 struct entry {
  41         struct list_head list;
  42         ir_node *copyb;
  43 };
  44
  45 typedef struct walk_env {
  46         unsigned         max_size;
  47         struct obstack   obst;              /**< the obstack where data is allocated on */
  48         struct list_head list;              /**< the list of copyb nodes */
  49 } walk_env_t;
  50
  51 static ir_mode *get_ir_mode(unsigned bytes)
  52 {
  53         switch (bytes) {
  54         case 1:  return mode_Bu;
  55         case 2:  return mode_Hu;
  56         case 4:  return mode_Iu;
  57         case 8:  return mode_Lu;
  58         case 16: return mode_LLu;
  59         default:
  60                 panic("unexpected mode size requested in copyb lowering");
  61         }
  62 }
  63
  64 /**
  65  * lower a CopyB node.
  66  */
  67 static void lower_copyb_nodes(ir_node *irn, unsigned mode_bytes) {
  68         ir_graph        *irg = current_ir_graph;
  69         unsigned         size;
  70         unsigned         offset;
  71         ir_mode         *mode;
  72         ir_mode         *addr_mode;
  73         ir_node         *mem;
  74         ir_node         *addr_src;
  75         ir_node         *addr_dst;
  76         ir_node         *block;
  77         ir_type         *tp;
  78
  79         addr_src  = get_CopyB_src(irn);
  80         addr_dst  = get_CopyB_dst(irn);
  81         mem       = get_CopyB_mem(irn);
  82         addr_mode = get_irn_mode(addr_src);
  83         block     = get_nodes_block(irn);
  84
  85         tp   = get_CopyB_type(irn);
  86         size = get_type_size_bytes(tp);
  87
  88         offset     = 0;
  89         while (offset < size) {
  90                 mode = get_ir_mode(mode_bytes);
  91                 for (; offset + mode_bytes <= size; offset += mode_bytes) {
  92                         /* construct offset */
  93                         ir_node *addr_const;
  94                         ir_node *add;
  95                         ir_node *load;
  96                         ir_node *load_res;
  97                         ir_node *load_mem;
  98                         ir_node *store;
  99                         ir_node *store_mem;
 100
 101                         addr_const = new_r_Const_long(irg, mode_Iu, offset);
 102                         add        = new_r_Add(block, addr_src, addr_const, addr_mode);
 103
 104                         load     = new_r_Load(block, mem, add, mode, 0);
 105                         load_res = new_r_Proj(block, load, mode, pn_Load_res);
 106                         load_mem = new_r_Proj(block, load, mode_M, pn_Load_M);
 107
 108                         addr_const = new_r_Const_long(irg, mode_Iu, offset);
 109                         add        = new_r_Add(block, addr_dst, addr_const, addr_mode);
 110
 111                         store     = new_r_Store(block, load_mem, add, load_res, 0);
 112                         store_mem = new_r_Proj(block, store, mode_M, pn_Store_M);
 113
 114                         mem = store_mem;
 115                 }
 116
 117                 mode_bytes /= 2;
 118         }
 119
 120         turn_into_tuple(irn, pn_CopyB_max);
 121         set_Tuple_pred(irn, pn_CopyB_M,         mem);
 122         set_Tuple_pred(irn, pn_CopyB_X_regular, get_irg_bad(irg));
 123         set_Tuple_pred(irn, pn_CopyB_X_except,  get_irg_bad(irg));
 124 }
 125
 126 /**
 127  * Post-Walker: find small CopyB nodes.
 128  */
 129 static void find_copyb_nodes(ir_node *irn, void *ctx) {
 130         walk_env_t *env = ctx;
 131         ir_type    *tp;
 132         unsigned   size;
 133         entry_t    *entry;
 134
 135         if (is_Proj(irn)) {
 136                 ir_node *pred = get_Proj_pred(irn);
 137
 138                 if (is_CopyB(pred) && get_Proj_proj(irn) != pn_CopyB_M_regular) {
 139                         /* found an exception Proj: remove it from the list again */
 140                         entry = get_irn_link(pred);
 141                         list_del(&entry->list);
 142                 }
 143                 return;
 144         }
 145
 146         if (! is_CopyB(irn))
 147                 return;
 148
 149         tp = get_CopyB_type(irn);
 150         if (get_type_state(tp) != layout_fixed)
 151                 return;
 152
 153         size = get_type_size_bytes(tp);
 154         if (size > env->max_size)
 155                 return;
 156
 157         /* ok, link it in */
 158         entry = OALLOC(&env->obst, entry_t);
 159         entry->copyb = irn;
 160         INIT_LIST_HEAD(&entry->list);
 161         set_irn_link(irn, entry);
 162         list_add_tail(&entry->list, &env->list);
 163 }
 164
 165 void lower_CopyB(ir_graph *irg, unsigned max_size, unsigned native_mode_bytes)
 166 {
 167         walk_env_t env;
 168         entry_t  *entry;
 169         ir_graph *rem = current_ir_graph;
 170
 171         current_ir_graph = irg;
 172
 173         obstack_init(&env.obst);
 174         env.max_size = max_size;
 175         INIT_LIST_HEAD(&env.list);
 176         irg_walk_graph(irg, NULL, find_copyb_nodes, &env);
 177
 178         list_for_each_entry(entry_t, entry, &env.list, list) {
 179                 lower_copyb_nodes(entry->copyb, native_mode_bytes);
 180         }
 181
 182         obstack_free(&env.obst, NULL);
 183         current_ir_graph = rem;
 184 }