2 * Copyright (C) 1995-2007 University of Karlsruhe. All right reserved.
4 * This file is part of libFirm.
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.
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.
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
22 * @brief Lower small CopyB nodes into a series of Load/store
23 * @author Michael Beck, Matthias Braun
39 typedef struct entry entry_t;
41 struct list_head list;
45 typedef struct walk_env {
47 struct obstack obst; /**< the obstack where data is allocated on */
48 struct list_head list; /**< the list of copyb nodes */
51 static ir_mode *get_ir_mode(unsigned 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;
60 panic("unexpected mode size requested in copyb lowering");
67 static void lower_copyb_nodes(ir_node *irn, unsigned mode_bytes) {
68 ir_graph *irg = current_ir_graph;
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);
85 tp = get_CopyB_type(irn);
86 size = get_type_size_bytes(tp);
89 while (offset < size) {
90 mode = get_ir_mode(mode_bytes);
91 for (; offset + mode_bytes <= size; offset += mode_bytes) {
92 /* construct offset */
101 addr_const = new_r_Const_long(irg, mode_Iu, offset);
102 add = new_r_Add(block, addr_src, addr_const, addr_mode);
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);
108 addr_const = new_r_Const_long(irg, mode_Iu, offset);
109 add = new_r_Add(block, addr_dst, addr_const, addr_mode);
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);
120 turn_into_tuple(irn, pn_CopyB_max);
121 set_Tuple_pred(irn, pn_CopyB_M_regular, 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 set_Tuple_pred(irn, pn_CopyB_M_except, get_irg_bad(irg));
128 * Post-Walker: find small CopyB nodes.
130 static void find_copyb_nodes(ir_node *irn, void *ctx) {
131 walk_env_t *env = ctx;
137 ir_node *pred = get_Proj_pred(irn);
139 if (is_CopyB(pred) && get_Proj_proj(irn) != pn_CopyB_M_regular) {
140 /* found an exception Proj: remove it from the list again */
141 entry = get_irn_link(pred);
142 list_del(&entry->list);
150 tp = get_CopyB_type(irn);
151 if (get_type_state(tp) != layout_fixed)
154 size = get_type_size_bytes(tp);
155 if (size > env->max_size)
159 entry = obstack_alloc(&env->obst, sizeof(*entry));
161 INIT_LIST_HEAD(&entry->list);
162 set_irn_link(irn, entry);
163 list_add_tail(&entry->list, &env->list);
166 void lower_CopyB(ir_graph *irg, unsigned max_size, unsigned native_mode_bytes)
170 ir_graph *rem = current_ir_graph;
172 current_ir_graph = irg;
174 obstack_init(&env.obst);
175 env.max_size = max_size;
176 INIT_LIST_HEAD(&env.list);
177 irg_walk_graph(irg, NULL, find_copyb_nodes, &env);
179 list_for_each_entry(entry_t, entry, &env.list, list) {
180 lower_copyb_nodes(entry->copyb, native_mode_bytes);
183 obstack_free(&env.obst, NULL);
184 current_ir_graph = rem;