3 * File name: ir/arch/modeconv.c
4 * Purpose: integer mode conversion
8 * Copyright: (c) 1998-2004 Universität Karlsruhe
9 * Licence: This file protected by GPL - GNU GENERAL PUBLIC LICENSE.
15 * Contains the mode conversion for architectures that did not support lesser
16 * integer modes. Converts all Op(mode_l) into Op(mode) operations by adding
17 * conversions were needed. These Conv operations must be implemented in the backend
18 * as bit-reducing ops.
25 # include "irnode_t.h"
26 # include "irgraph_t.h"
27 # include "irmode_t.h"
29 # include "ircons_t.h"
32 # include "iropt_dbg.h"
33 # include "irflag_t.h"
35 # include "modeconv.h"
36 # include "firmstat.h"
38 typedef struct _walker_t {
40 ir_mode *s_mode; /**< signed mode */
41 ir_mode *u_mode; /**< unsigned mode */
46 * Add a Conv node where needed on output
48 static ir_node *fix_irn_output(ir_node *node, ir_mode *mode)
50 switch (get_irn_opcode(node)) {
54 ir_node *block = get_nodes_block(node);
56 if (get_irn_mode(node) != mode)
57 return new_r_Conv(current_ir_graph, block, node, mode);
67 * Add a Conv node where needed on input
69 static ir_node *fix_irn_input(opcode code, ir_node *block, ir_node *pred, ir_mode *mode)
80 ir_mode *p_mode = get_irn_mode(pred);
82 if (p_mode != mode && mode_is_int(p_mode))
83 return new_r_Conv(current_ir_graph, block, pred, mode);
92 * fix the mode of the operations if possible
94 static void fix_mode(ir_node *n, ir_mode *mode)
96 opcode code = get_irn_opcode(n);
98 if (code == iro_Proj) {
99 code = get_irn_opcode(get_Proj_pred(n));
110 set_irn_mode(n, mode);
115 * walker for the mode conversion
117 static void do_mode_conv(ir_node *n, void *env)
119 walker_t *wenv = env;
120 ir_mode *mode = get_irn_mode(n);
124 /* save the old mode, we need this info later */
125 set_irn_link(n, mode);
127 /* special case: fix the Return */
128 if (get_irn_op(n) == op_Return) {
129 entity *ent = get_irg_entity(current_ir_graph);
130 type *mt = get_entity_type(ent);
131 int i, n_ress = get_method_n_ress(mt);
133 mode = mode_is_signed(mode) ? wenv->s_mode : wenv->u_mode;
134 block = get_nodes_block(n);
135 for (i = 0; i < n_ress; ++i) {
136 ir_node *pred = get_irn_n(n, i + 1);
137 type *rt = get_method_res_type(mt, i);
139 if (is_atomic_type(rt)) {
140 mode = get_type_mode(rt);
142 if (mode != get_irn_mode(pred)) {
143 pred = fix_irn_input(iro_Return, block, pred, mode);
145 set_irn_n(n, i + 1, pred);
153 /* convert only integer modes with less than 'bits' bits */
154 if (mode_is_int(mode) && get_mode_size_bits(mode) < wenv->bits && get_irn_op(n) != op_Conv) {
155 mode = mode_is_signed(mode) ? wenv->s_mode : wenv->u_mode;
157 code = get_irn_opcode(n);
159 if (code == iro_Conv) {
160 /* formally, the was a convert from modeA to modeB here.
161 * So, the expression before the conv must have modeA. */
162 ir_node *pred = get_Conv_op(n);
163 ir_mode *modeA = get_irn_link(pred);
165 if (get_irn_node_nr(n) == 171)
168 if (modeA != get_irn_mode(pred)) {
169 pred = new_r_Conv(current_ir_graph, get_nodes_block(pred), pred, modeA);
170 set_Conv_op(n, pred);
173 else if (code == iro_Proj) {
174 /* special case for Proj: we must fix it's pred */
175 ir_node *oper = get_Proj_pred(n);
176 int i, arity = get_irn_arity(oper);
178 code = get_irn_opcode(oper);
179 block = get_nodes_block(oper);
181 for (i = 0; i < arity; ++i) {
182 ir_node *pred = get_irn_n(oper, i);
184 pred = fix_irn_input(code, block, pred, mode);
186 set_irn_n(oper, i, pred);
191 int i, arity = get_irn_arity(n);
193 block = get_nodes_block(n);
194 for (i = 0; i < arity; ++i) {
195 ir_node *pred = get_irn_n(n, i);
197 pred = fix_irn_output(pred, mode);
198 pred = fix_irn_input(code, block, pred, mode);
200 set_irn_n(n, i, pred);
208 if (get_irn_op(n) == op_Conv) {
209 /* formally, the was a convert from modeA to modeB here.
210 * So, the expression before the conv must have modeA. */
211 ir_node *pred = get_Conv_op(n);
212 ir_mode *modeA = get_irn_link(pred);
214 if (modeA != get_irn_mode(pred)) {
215 pred = new_r_Conv(current_ir_graph, get_nodes_block(pred), pred, modeA);
216 set_Conv_op(n, pred);
219 /* old conv may now get useless */
220 if (get_irn_mode(n) == get_irn_mode(pred)) {
221 exchange(n, get_Conv_op(n));
228 * do the integer mode conversion
230 void arch_mode_conversion(ir_graph *irg, ir_mode *mode)
234 assert(get_irg_phase_state(irg) != phase_building);
236 assert(mode_is_int(mode));
238 env.s_mode = mode_is_signed(mode) ? mode: find_signed_mode(mode) ;
239 env.u_mode = mode_is_signed(mode) ? find_unsigned_mode(mode) : mode;
240 env.bits = get_mode_size_bits(mode);
243 assert(env.s_mode && env.u_mode && "Cpould not find modes");
245 irg_walk_graph(irg, NULL, do_mode_conv, &env);
247 /* Handle graph state */
249 if (get_irg_outs_state(current_ir_graph) == outs_consistent)
250 set_irg_outs_inconsistent(current_ir_graph);