2 * Copyright (C) 1995-2008 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 code selection (transform FIRM into TEMPLATE FIRM)
28 #include "irgraph_t.h"
37 #include "../benode_t.h"
38 #include "bearch_TEMPLATE_t.h"
40 #include "TEMPLATE_nodes_attr.h"
41 #include "TEMPLATE_transform.h"
42 #include "TEMPLATE_new_nodes.h"
43 #include "TEMPLATE_map_regs.h"
45 #include "gen_TEMPLATE_regalloc_if.h"
47 extern ir_op *get_op_Mulh(void);
51 /****************************************************************************************************
53 * | | | | / _| | | (_)
54 * _ __ ___ __| | ___ | |_ _ __ __ _ _ __ ___| |_ ___ _ __ _ __ ___ __ _| |_ _ ___ _ __
55 * | '_ \ / _ \ / _` |/ _ \ | __| '__/ _` | '_ \/ __| _/ _ \| '__| '_ ` _ \ / _` | __| |/ _ \| '_ \
56 * | | | | (_) | (_| | __/ | |_| | | (_| | | | \__ \ || (_) | | | | | | | | (_| | |_| | (_) | | | |
57 * |_| |_|\___/ \__,_|\___| \__|_| \__,_|_| |_|___/_| \___/|_| |_| |_| |_|\__,_|\__|_|\___/|_| |_|
59 ****************************************************************************************************/
62 * Creates an TEMPLATE Add.
64 * @param env The transformation environment
65 * @param op1 first operator
66 * @param op2 second operator
67 * @return the created TEMPLATE Add node
69 static ir_node *gen_Add(TEMPLATE_transform_env_t *env, ir_node *op1, ir_node *op2) {
70 return new_bd_TEMPLATE_Add(env->dbg, env->block, op1, op2, env->mode);
76 * Creates an TEMPLATE Mul.
78 * @param dbg firm node dbg
79 * @param block the block the new node should belong to
80 * @param op1 first operator
81 * @param op2 second operator
82 * @param mode node mode
83 * @return the created TEMPLATE Mul node
85 static ir_node *gen_Mul(TEMPLATE_transform_env_t *env, ir_node *op1, ir_node *op2) {
86 if (mode_is_float(env->mode)) {
87 return new_bd_TEMPLATE_fMul(env->dbg, env->block, op1, op2, env->mode);
90 return new_bd_TEMPLATE_Mul(env->dbg, env->block, op1, op2, env->mode);
97 * Creates an TEMPLATE And.
99 * @param dbg firm node dbg
100 * @param block the block the new node should belong to
101 * @param op1 first operator
102 * @param op2 second operator
103 * @param mode node mode
104 * @return the created TEMPLATE And node
106 static ir_node *gen_And(TEMPLATE_transform_env_t *env, ir_node *op1, ir_node *op2) {
107 return new_bd_TEMPLATE_And(env->dbg, env->block, op1, op2, env->mode);
113 * Creates an TEMPLATE Or.
115 * @param dbg firm node dbg
116 * @param block the block the new node should belong to
117 * @param op1 first operator
118 * @param op2 second operator
119 * @param mode node mode
120 * @return the created TEMPLATE Or node
122 static ir_node *gen_Or(TEMPLATE_transform_env_t *env, ir_node *op1, ir_node *op2) {
123 return new_bd_TEMPLATE_Or(env->dbg, env->block, op1, op2, env->mode);
129 * Creates an TEMPLATE Eor.
131 * @param dbg firm node dbg
132 * @param block the block the new node should belong to
133 * @param op1 first operator
134 * @param op2 second operator
135 * @param mode node mode
136 * @return the created TEMPLATE Eor node
138 static ir_node *gen_Eor(TEMPLATE_transform_env_t *env, ir_node *op1, ir_node *op2) {
139 return new_bd_TEMPLATE_Eor(env->dbg, env->block, op1, op2, env->mode);
145 * Creates an TEMPLATE Sub.
147 * @param dbg firm node dbg
148 * @param block the block the new node should belong to
149 * @param op1 first operator
150 * @param op2 second operator
151 * @param mode node mode
152 * @return the created TEMPLATE Sub node
154 static ir_node *gen_Sub(TEMPLATE_transform_env_t *env, ir_node *op1, ir_node *op2) {
155 if (mode_is_float(env->mode)) {
156 return new_bd_TEMPLATE_fSub(env->dbg, env->block, op1, op2, env->mode);
159 return new_bd_TEMPLATE_Sub(env->dbg, env->block, op1, op2, env->mode);
166 * Creates an TEMPLATE floating Div.
168 * @param dbg firm node dbg
169 * @param block the block the new node should belong to
170 * @param op1 first operator
171 * @param op2 second operator
172 * @param mode node mode
173 * @return the created TEMPLATE fDiv node
175 static ir_node *gen_Quot(TEMPLATE_transform_env_t *env, ir_node *op1, ir_node *op2) {
176 return new_bd_TEMPLATE_fDiv(env->dbg, env->block, op1, op2, env->mode);
182 * Creates an TEMPLATE Shl.
184 * @param dbg firm node dbg
185 * @param block the block the new node should belong to
186 * @param op1 first operator
187 * @param op2 second operator
188 * @param mode node mode
189 * @return the created TEMPLATE Shl node
191 static ir_node *gen_Shl(TEMPLATE_transform_env_t *env, ir_node *op1, ir_node *op2) {
192 return new_bd_TEMPLATE_Shl(env->dbg, env->block, op1, op2, env->mode);
198 * Creates an TEMPLATE Shr.
200 * @param dbg firm node dbg
201 * @param block the block the new node should belong to
202 * @param op1 first operator
203 * @param op2 second operator
204 * @param mode node mode
205 * @return the created TEMPLATE Shr node
207 static ir_node *gen_Shr(TEMPLATE_transform_env_t *env, ir_node *op1, ir_node *op2) {
208 return new_bd_TEMPLATE_Shr(env->dbg, env->block, op1, op2, env->mode);
214 * Transforms a Minus node.
216 * @param mod the debug module
217 * @param block the block the new node should belong to
218 * @param node the ir Minus node
220 * @param mode node mode
221 * @return the created TEMPLATE Minus node
223 static ir_node *gen_Minus(TEMPLATE_transform_env_t *env, ir_node *op) {
224 if (mode_is_float(env->mode)) {
225 return new_bd_TEMPLATE_fMinus(env->dbg, env->block, op, env->mode);
227 return new_bd_TEMPLATE_Minus(env->dbg, env->block, op, env->mode);
233 * Transforms a Not node.
235 * @param mod the debug module
236 * @param block the block the new node should belong to
237 * @param node the ir Not node
239 * @param mode node mode
240 * @return the created TEMPLATE Not node
242 static ir_node *gen_Not(TEMPLATE_transform_env_t *env, ir_node *op) {
243 return new_bd_TEMPLATE_Not(env->dbg, env->block, op, env->mode);
251 * @param mod the debug module
252 * @param block the block the new node should belong to
253 * @param node the ir Load node
254 * @param mode node mode
255 * @return the created TEMPLATE Load node
257 static ir_node *gen_Load(TEMPLATE_transform_env_t *env) {
258 ir_node *node = env->irn;
260 if (mode_is_float(env->mode)) {
261 return new_bd_TEMPLATE_fLoad(env->dbg, env->block, get_Load_ptr(node), get_Load_mem(node), env->mode);
263 return new_bd_TEMPLATE_Load(env->dbg, env->block, get_Load_ptr(node), get_Load_mem(node), env->mode);
269 * Transforms a Store.
271 * @param mod the debug module
272 * @param block the block the new node should belong to
273 * @param node the ir Store node
274 * @param mode node mode
275 * @return the created TEMPLATE Store node
277 static ir_node *gen_Store(TEMPLATE_transform_env_t *env) {
278 ir_node *node = env->irn;
280 if (mode_is_float(env->mode)) {
281 return new_bd_TEMPLATE_fStore(env->dbg, env->block, get_Store_ptr(node), get_Store_value(node), get_Store_mem(node), env->mode);
283 return new_bd_TEMPLATE_Store(env->dbg, env->block, get_Store_ptr(node), get_Store_value(node), get_Store_mem(node), env->mode);
288 /*********************************************************
291 * _ __ ___ __ _ _ _ __ __| |_ __ ___ _____ _ __
292 * | '_ ` _ \ / _` | | '_ \ / _` | '__| \ \ / / _ \ '__|
293 * | | | | | | (_| | | | | | | (_| | | | |\ V / __/ |
294 * |_| |_| |_|\__,_|_|_| |_| \__,_|_| |_| \_/ \___|_|
296 *********************************************************/
301 * Transforms the given firm node (and maybe some other related nodes)
302 * into one or more assembler nodes.
304 * @param node the firm node
305 * @param env the debug module
307 void TEMPLATE_transform_node(ir_node *node, void *env) {
309 TEMPLATE_code_gen_t *cgenv = (TEMPLATE_code_gen_t *)env;
311 ir_opcode code = get_irn_opcode(node);
312 ir_node *asm_node = NULL;
313 TEMPLATE_transform_env_t tenv;
319 tenv.block = get_nodes_block(node);
320 tenv.dbg = get_irn_dbg_info(node);
321 tenv.irg = current_ir_graph;
324 tenv.mod = cgenv->mod;
326 tenv.mode = get_irn_mode(node);
328 #define UNOP(a) case iro_##a: asm_node = gen_##a(&tenv, get_##a##_op(node)); break
329 #define BINOP(a) case iro_##a: asm_node = gen_##a(&tenv, get_##a##_left(node), get_##a##_right(node)); break
330 #define GEN(a) case iro_##a: asm_node = gen_##a(&tenv); break
331 #define IGN(a) case iro_##a: break
332 #define BAD(a) case iro_##a: goto bad
334 DBG((tenv.mod, LEVEL_1, "check %+F ... ", node));
355 /* TODO: implement these nodes */
370 /* You probably don't need to handle the following nodes */
401 if (get_irn_op(node) == get_op_Max() ||
402 get_irn_op(node) == get_op_Min() ||
405 /* TODO: implement */
410 fprintf(stderr, "Not implemented: %s\n", get_irn_opname(node));
415 exchange(node, asm_node);
416 DB((tenv.mod, LEVEL_1, "created node %+F[%p]\n", asm_node, asm_node));
419 DB((tenv.mod, LEVEL_1, "ignored\n"));