arm_transform.c 61.9 KB
Newer Older
Christian Würdig's avatar
Christian Würdig committed
1
/*
Michael Beck's avatar
Michael Beck committed
2
 * Copyright (C) 1995-2010 University of Karlsruhe.  All right reserved.
Christian Würdig's avatar
Christian Würdig committed
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
 *
 * This file is part of libFirm.
 *
 * This file may be distributed and/or modified under the terms of the
 * GNU General Public License version 2 as published by the Free Software
 * Foundation and appearing in the file LICENSE.GPL included in the
 * packaging of this file.
 *
 * Licensees holding valid libFirm Professional Edition licenses may use
 * this file in accordance with the libFirm Commercial License.
 * Agreement provided with the Software.
 *
 * This file is provided AS IS with NO WARRANTY OF ANY KIND, INCLUDING THE
 * WARRANTY OF DESIGN, MERCHANTABILITY AND FITNESS FOR A PARTICULAR
 * PURPOSE.
 */

20
21
/**
 * @file
Michael Beck's avatar
Michael Beck committed
22
 * @brief   The codegenerator (transform FIRM into arm FIRM)
23
 * @author  Matthias Braun, Oliver Richter, Tobias Gneist, Michael Beck
24
 */
25
26
27
28
29
30
31
32
#include "config.h"

#include "irnode_t.h"
#include "irgraph_t.h"
#include "irmode_t.h"
#include "irgmod.h"
#include "iredges.h"
#include "ircons.h"
Michael Beck's avatar
Michael Beck committed
33
#include "irprintf.h"
34
35
36
#include "dbginfo.h"
#include "iropt_t.h"
#include "debug.h"
Michael Beck's avatar
Michael Beck committed
37
#include "error.h"
38
#include "util.h"
39

40
41
42
43
44
45
#include "benode.h"
#include "beirg.h"
#include "beutil.h"
#include "betranshlp.h"
#include "beabihelper.h"
#include "beabi.h"
46

47
#include "bearch_arm_t.h"
48
49
#include "arm_nodes_attr.h"
#include "arm_transform.h"
50
#include "arm_optimize.h"
51
52
#include "arm_new_nodes.h"
#include "arm_map_regs.h"
53
#include "arm_cconv.h"
54
55
56
57
58

#include "gen_arm_regalloc_if.h"

#include <limits.h>

59
DEBUG_ONLY(static firm_dbg_module_t *dbg = NULL;)
Michael Beck's avatar
Michael Beck committed
60

61
static const arch_register_t *sp_reg = &arm_registers[REG_SP];
62
static ir_mode               *mode_gp;
63
static ir_mode               *mode_fp;
64
static beabi_helper_env_t    *abihelper;
65
static be_stackorder_t       *stackorder;
66
static calling_convention_t  *cconv = NULL;
67
static arm_isa_t             *isa;
68
69
70

static pmap                  *node_to_stack;

71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
static const arch_register_t *const callee_saves[] = {
	&arm_registers[REG_R4],
	&arm_registers[REG_R5],
	&arm_registers[REG_R6],
	&arm_registers[REG_R7],
	&arm_registers[REG_R8],
	&arm_registers[REG_R9],
	&arm_registers[REG_R10],
	&arm_registers[REG_R11],
	&arm_registers[REG_LR],
};

static const arch_register_t *const caller_saves[] = {
	&arm_registers[REG_R0],
	&arm_registers[REG_R1],
	&arm_registers[REG_R2],
	&arm_registers[REG_R3],
	&arm_registers[REG_LR],

	&arm_registers[REG_F0],
	&arm_registers[REG_F1],
	&arm_registers[REG_F2],
	&arm_registers[REG_F3],
	&arm_registers[REG_F4],
	&arm_registers[REG_F5],
	&arm_registers[REG_F6],
	&arm_registers[REG_F7],
};

100
static bool mode_needs_gp_reg(ir_mode *mode)
101
{
102
	return mode_is_int(mode) || mode_is_reference(mode);
103
104
}

Michael Beck's avatar
Michael Beck committed
105
/**
106
 * create firm graph for a constant
Michael Beck's avatar
Michael Beck committed
107
 */
108
109
110
static ir_node *create_const_graph_value(dbg_info *dbgi, ir_node *block,
                                         unsigned int value)
{
111
	ir_node *result;
112
	arm_vals v, vn;
Michael Beck's avatar
Michael Beck committed
113
	int cnt;
114

115
116
117
118
119
120
	/* We only have 8 bit immediates. So we possibly have to combine several
	 * operations to construct the desired value.
	 *
	 * we can either create the value by adding bits to 0 or by removing bits
	 * from an register with all bits set. Try which alternative needs fewer
	 * operations */
121
122
	arm_gen_vals_from_word(value, &v);
	arm_gen_vals_from_word(~value, &vn);
Michael Beck's avatar
Michael Beck committed
123
124
125

	if (vn.ops < v.ops) {
		/* remove bits */
126
		result = new_bd_arm_Mvn_imm(dbgi, block, vn.values[0], vn.rors[0]);
Michael Beck's avatar
Michael Beck committed
127
128

		for (cnt = 1; cnt < vn.ops; ++cnt) {
129
130
			result = new_bd_arm_Bic_imm(dbgi, block, result,
			                            vn.values[cnt], vn.rors[cnt]);
131
		}
132
	} else {
Michael Beck's avatar
Michael Beck committed
133
		/* add bits */
134
		result = new_bd_arm_Mov_imm(dbgi, block, v.values[0], v.rors[0]);
Michael Beck's avatar
Michael Beck committed
135
136

		for (cnt = 1; cnt < v.ops; ++cnt) {
137
138
			result = new_bd_arm_Or_imm(dbgi, block, result,
			                           v.values[cnt], v.rors[cnt]);
Michael Beck's avatar
Michael Beck committed
139
		}
140
141
142
143
	}
	return result;
}

144
145
146
147
148
/**
 * Create a DAG constructing a given Const.
 *
 * @param irn  a Firm const
 */
149
150
static ir_node *create_const_graph(ir_node *irn, ir_node *block)
{
Matthias Braun's avatar
Matthias Braun committed
151
152
153
	ir_tarval *tv   = get_Const_tarval(irn);
	ir_mode   *mode = get_tarval_mode(tv);
	unsigned   value;
154
155
156
157
158
159
160

	if (mode_is_reference(mode)) {
		/* ARM is 32bit, so we can safely convert a reference tarval into Iu */
		assert(get_mode_size_bits(mode) == get_mode_size_bits(mode_Iu));
		tv = tarval_convert_to(tv, mode_Iu);
	}
	value = get_tarval_long(tv);
161
	return create_const_graph_value(get_irn_dbg_info(irn), block, value);
162
163
}

Michael Beck's avatar
Michael Beck committed
164
/**
Michael Beck's avatar
Michael Beck committed
165
166
167
168
169
170
 * Create an And that will zero out upper bits.
 *
 * @param dbgi     debug info
 * @param block    the basic block
 * @param op       the original node
 * param src_bits  number of lower bits that will remain
Michael Beck's avatar
Michael Beck committed
171
 */
172
173
174
175
176
177
178
179
180
181
182
183
static ir_node *gen_zero_extension(dbg_info *dbgi, ir_node *block, ir_node *op,
                                   int src_bits)
{
	if (src_bits == 8) {
		return new_bd_arm_And_imm(dbgi, block, op, 0xFF, 0);
	} else if (src_bits == 16) {
		ir_node *lshift = new_bd_arm_Mov_reg_shift_imm(dbgi, block, op, ARM_SHF_LSL_IMM, 16);
		ir_node *rshift = new_bd_arm_Mov_reg_shift_imm(dbgi, block, lshift, ARM_SHF_LSR_IMM, 16);
		return rshift;
	} else {
		panic("zero extension only supported for 8 and 16 bits");
	}
184
185
}

Michael Beck's avatar
Michael Beck committed
186
187
188
/**
 * Generate code for a sign extension.
 */
189
190
191
192
193
194
static ir_node *gen_sign_extension(dbg_info *dbgi, ir_node *block, ir_node *op,
                                   int src_bits)
{
	int shift_width = 32 - src_bits;
	ir_node *lshift_node = new_bd_arm_Mov_reg_shift_imm(dbgi, block, op, ARM_SHF_LSL_IMM, shift_width);
	ir_node *rshift_node = new_bd_arm_Mov_reg_shift_imm(dbgi, block, lshift_node, ARM_SHF_ASR_IMM, shift_width);
195
196
197
	return rshift_node;
}

198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
static ir_node *gen_extension(dbg_info *dbgi, ir_node *block, ir_node *op,
                              ir_mode *orig_mode)
{
	int bits = get_mode_size_bits(orig_mode);
	if (bits == 32)
		return op;

	if (mode_is_signed(orig_mode)) {
		return gen_sign_extension(dbgi, block, op, bits);
	} else {
		return gen_zero_extension(dbgi, block, op, bits);
	}
}

/**
 * returns true if it is assured, that the upper bits of a node are "clean"
 * which means for a 16 or 8 bit value, that the upper bits in the register
 * are 0 for unsigned and a copy of the last significant bit for signed
 * numbers.
 */
static bool upper_bits_clean(ir_node *transformed_node, ir_mode *mode)
{
	(void) transformed_node;
	(void) mode;
	/* TODO */
	return false;
}

Michael Beck's avatar
Michael Beck committed
226
227
228
/**
 * Transforms a Conv node.
 *
229
 * @return The created ia32 Conv node
Michael Beck's avatar
Michael Beck committed
230
 */
231
232
static ir_node *gen_Conv(ir_node *node)
{
233
234
235
236
237
238
239
240
241
242
243
	ir_node  *block    = be_transform_node(get_nodes_block(node));
	ir_node  *op       = get_Conv_op(node);
	ir_node  *new_op   = be_transform_node(op);
	ir_mode  *src_mode = get_irn_mode(op);
	ir_mode  *dst_mode = get_irn_mode(node);
	dbg_info *dbg      = get_irn_dbg_info(node);

	if (src_mode == dst_mode)
		return new_op;

	if (mode_is_float(src_mode) || mode_is_float(dst_mode)) {
244
		if (USE_FPA(isa)) {
245
246
			if (mode_is_float(src_mode)) {
				if (mode_is_float(dst_mode)) {
Michael Beck's avatar
Michael Beck committed
247
					/* from float to float */
248
					return new_bd_arm_Mvf(dbg, block, new_op, dst_mode);
249
				} else {
Michael Beck's avatar
Michael Beck committed
250
					/* from float to int */
251
					panic("TODO");
Michael Beck's avatar
Michael Beck committed
252
				}
253
			} else {
Michael Beck's avatar
Michael Beck committed
254
				/* from int to float */
255
256
257
258
259
				if (!mode_is_signed(src_mode)) {
					panic("TODO");
				} else {
					return new_bd_arm_FltX(dbg, block, new_op, dst_mode);
				}
Michael Beck's avatar
Michael Beck committed
260
			}
261
		} else if (USE_VFP(isa)) {
262
			panic("VFP not supported yet");
263
		} else {
264
			panic("Softfloat not supported yet");
Michael Beck's avatar
Michael Beck committed
265
		}
266
	} else { /* complete in gp registers */
267
268
		int src_bits = get_mode_size_bits(src_mode);
		int dst_bits = get_mode_size_bits(dst_mode);
Michael Beck's avatar
Michael Beck committed
269
270
		int min_bits;
		ir_mode *min_mode;
271

Michael Beck's avatar
Michael Beck committed
272
		if (src_bits == dst_bits) {
Michael Beck's avatar
Michael Beck committed
273
			/* kill unnecessary conv */
Michael Beck's avatar
Michael Beck committed
274
			return new_op;
275
276
277
278
279
		}

		if (src_bits < dst_bits) {
			min_bits = src_bits;
			min_mode = src_mode;
Michael Beck's avatar
Michael Beck committed
280
		} else {
281
282
283
284
285
286
287
288
289
290
291
292
			min_bits = dst_bits;
			min_mode = dst_mode;
		}

		if (upper_bits_clean(new_op, min_mode)) {
			return new_op;
		}

		if (mode_is_signed(min_mode)) {
			return gen_sign_extension(dbg, block, new_op, min_bits);
		} else {
			return gen_zero_extension(dbg, block, new_op, min_bits);
293
294
295
296
		}
	}
}

297
298
299
300
301
302
303
typedef struct {
	unsigned char  imm_8;
	unsigned char  rot;
} arm_immediate_t;

static bool try_encode_as_immediate(const ir_node *node, arm_immediate_t *res)
{
Michael Beck's avatar
Michael Beck committed
304
	unsigned val, low_pos, high_pos;
305
306
307

	if (!is_Const(node))
		return false;
Michael Beck's avatar
Michael Beck committed
308

309
	val = get_tarval_long(get_Const_tarval(node));
Michael Beck's avatar
Michael Beck committed
310

311
312
313
314
315
316
317
318
319
	if (val == 0) {
		res->imm_8 = 0;
		res->rot   = 0;
		return true;
	}
	if (val <= 0xff) {
		res->imm_8 = val;
		res->rot   = 0;
		return true;
Michael Beck's avatar
Michael Beck committed
320
	}
321
322
323
324
325
326
327
	/* arm allows to use to rotate an 8bit immediate value by a multiple of 2
	   (= 0, 2, 4, 6, ...).
	   So we determine the smallest even position with a bit set
	   and the highest even position with no bit set anymore.
	   If the difference between these 2 is <= 8, then we can encode the value
	   as immediate.
	 */
Michael Beck's avatar
Michael Beck committed
328
329
	low_pos  = ntz(val) & ~1u;
	high_pos = (32-nlz(val)+1) & ~1u;
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348

	if (high_pos - low_pos <= 8) {
		res->imm_8 = val >> low_pos;
		res->rot   = 32 - low_pos;
		return true;
	}

	if (high_pos > 24) {
		res->rot = 34 - high_pos;
		val      = val >> (32-res->rot) | val << (res->rot);
		if (val <= 0xff) {
			res->imm_8 = val;
			return true;
		}
	}

	return false;
}

349
static bool is_downconv(const ir_node *node)
350
351
352
353
354
{
	ir_mode *src_mode;
	ir_mode *dest_mode;

	if (!is_Conv(node))
355
		return false;
356
357
358
359
360

	/* we only want to skip the conv when we're the only user
	 * (not optimal but for now...)
	 */
	if (get_irn_n_edges(node) > 1)
361
		return false;
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379

	src_mode  = get_irn_mode(get_Conv_op(node));
	dest_mode = get_irn_mode(node);
	return
		mode_needs_gp_reg(src_mode)  &&
		mode_needs_gp_reg(dest_mode) &&
		get_mode_size_bits(dest_mode) <= get_mode_size_bits(src_mode);
}

static ir_node *arm_skip_downconv(ir_node *node)
{
	while (is_downconv(node))
		node = get_Conv_op(node);
	return node;
}

typedef enum {
	MATCH_NONE         = 0,
Michael Beck's avatar
Michael Beck committed
380
	MATCH_COMMUTATIVE  = 1 << 0,  /**< commutative node */
Michael Beck's avatar
Michael Beck committed
381
382
383
	MATCH_REVERSE      = 1 << 1,  /**< support reverse opcode */
	MATCH_SIZE_NEUTRAL = 1 << 2,
	MATCH_SKIP_NOT     = 1 << 3,  /**< skip Not on ONE input */
384
} match_flags_t;
385
ENUM_BITSET(match_flags_t)
386

Michael Beck's avatar
Michael Beck committed
387
388
389
390
391
392
393
394
395
396
397
398
399
/**
 * possible binop constructors.
 */
typedef struct arm_binop_factory_t {
	/** normal reg op reg operation. */
	ir_node *(*new_binop_reg)(dbg_info *dbgi, ir_node *block, ir_node *op1, ir_node *op2);
	/** normal reg op imm operation. */
	ir_node *(*new_binop_imm)(dbg_info *dbgi, ir_node *block, ir_node *op1, unsigned char imm8, unsigned char imm_rot);
	/** barrel shifter reg op (reg shift reg operation. */
	ir_node *(*new_binop_reg_shift_reg)(dbg_info *dbgi, ir_node *block, ir_node *left, ir_node *right, ir_node *shift, arm_shift_modifier_t shift_modifier);
	/** barrel shifter reg op (reg shift imm operation. */
	ir_node *(*new_binop_reg_shift_imm)(dbg_info *dbgi, ir_node *block, ir_node *left, ir_node *right, arm_shift_modifier_t shift_modifier, unsigned shift_immediate);
} arm_binop_factory_t;
400
401

static ir_node *gen_int_binop(ir_node *node, match_flags_t flags,
Michael Beck's avatar
Michael Beck committed
402
		const arm_binop_factory_t *factory)
403
404
405
406
407
408
409
410
411
{
	ir_node  *block   = be_transform_node(get_nodes_block(node));
	ir_node  *op1     = get_binop_left(node);
	ir_node  *new_op1;
	ir_node  *op2     = get_binop_right(node);
	ir_node  *new_op2;
	dbg_info *dbgi    = get_irn_dbg_info(node);
	arm_immediate_t imm;

Michael Beck's avatar
Michael Beck committed
412
413
414
415
416
417
418
419
	if (flags & MATCH_SKIP_NOT) {
		if (is_Not(op1))
			op1 = get_Not_op(op1);
		else if (is_Not(op2))
			op2 = get_Not_op(op2);
		else
			panic("cannot execute MATCH_SKIP_NOT");
	}
420
421
422
423
424
425
426
427
	if (flags & MATCH_SIZE_NEUTRAL) {
		op1 = arm_skip_downconv(op1);
		op2 = arm_skip_downconv(op2);
	} else {
		assert(get_mode_size_bits(get_irn_mode(node)) == 32);
	}

	if (try_encode_as_immediate(op2, &imm)) {
428
		new_op1 = be_transform_node(op1);
Michael Beck's avatar
Michael Beck committed
429
		return factory->new_binop_imm(dbgi, block, new_op1, imm.imm_8, imm.rot);
430
431
	}
	new_op2 = be_transform_node(op2);
Michael Beck's avatar
Michael Beck committed
432
433
434
435
436
    if ((flags & (MATCH_COMMUTATIVE|MATCH_REVERSE)) && try_encode_as_immediate(op1, &imm)) {
		if (flags & MATCH_REVERSE)
			return factory[1].new_binop_imm(dbgi, block, new_op2, imm.imm_8, imm.rot);
		else
			return factory[0].new_binop_imm(dbgi, block, new_op2, imm.imm_8, imm.rot);
437
438
439
	}
	new_op1 = be_transform_node(op1);

Michael Beck's avatar
Michael Beck committed
440
441
442
443
444
445
446
447
448
449
450
	/* check if we can fold in a Mov */
	if (is_arm_Mov(new_op2)) {
		const arm_shifter_operand_t *attr = get_arm_shifter_operand_attr_const(new_op2);

		switch (attr->shift_modifier) {
		case ARM_SHF_IMM:
		case ARM_SHF_ASR_IMM:
		case ARM_SHF_LSL_IMM:
		case ARM_SHF_LSR_IMM:
		case ARM_SHF_ROR_IMM:
			if (factory->new_binop_reg_shift_imm) {
Michael Beck's avatar
Michael Beck committed
451
				ir_node *mov_op = get_irn_n(new_op2, 0);
Michael Beck's avatar
Michael Beck committed
452
453
454
455
456
457
458
459
460
461
				return factory->new_binop_reg_shift_imm(dbgi, block, new_op1, mov_op,
					attr->shift_modifier, attr->shift_immediate);
			}
			break;

		case ARM_SHF_ASR_REG:
		case ARM_SHF_LSL_REG:
		case ARM_SHF_LSR_REG:
		case ARM_SHF_ROR_REG:
			if (factory->new_binop_reg_shift_reg) {
Michael Beck's avatar
Michael Beck committed
462
463
				ir_node *mov_op  = get_irn_n(new_op2, 0);
				ir_node *mov_sft = get_irn_n(new_op2, 1);
Michael Beck's avatar
Michael Beck committed
464
465
466
467
				return factory->new_binop_reg_shift_reg(dbgi, block, new_op1, mov_op, mov_sft,
					attr->shift_modifier);
			}
			break;
Matthias Braun's avatar
Matthias Braun committed
468
469
470
471
472
		case ARM_SHF_REG:
		case ARM_SHF_RRX:
			break;
		case ARM_SHF_INVALID:
			panic("invalid shift");
Michael Beck's avatar
Michael Beck committed
473
474
		}
	}
Michael Beck's avatar
Michael Beck committed
475
	if ((flags & (MATCH_COMMUTATIVE|MATCH_REVERSE)) && is_arm_Mov(new_op1)) {
Michael Beck's avatar
Michael Beck committed
476
		const arm_shifter_operand_t *attr = get_arm_shifter_operand_attr_const(new_op1);
Michael Beck's avatar
Michael Beck committed
477
		int idx = flags & MATCH_REVERSE ? 1 : 0;
Michael Beck's avatar
Michael Beck committed
478
479

		switch (attr->shift_modifier) {
Matthias Braun's avatar
Matthias Braun committed
480
		ir_node *mov_op, *mov_sft;
Michael Beck's avatar
Michael Beck committed
481
482
483
484
485
486

		case ARM_SHF_IMM:
		case ARM_SHF_ASR_IMM:
		case ARM_SHF_LSL_IMM:
		case ARM_SHF_LSR_IMM:
		case ARM_SHF_ROR_IMM:
Michael Beck's avatar
Michael Beck committed
487
			if (factory[idx].new_binop_reg_shift_imm) {
Michael Beck's avatar
Michael Beck committed
488
				mov_op = get_irn_n(new_op1, 0);
Michael Beck's avatar
Michael Beck committed
489
				return factory[idx].new_binop_reg_shift_imm(dbgi, block, new_op2, mov_op,
Michael Beck's avatar
Michael Beck committed
490
491
492
493
494
495
496
497
					attr->shift_modifier, attr->shift_immediate);
			}
			break;

		case ARM_SHF_ASR_REG:
		case ARM_SHF_LSL_REG:
		case ARM_SHF_LSR_REG:
		case ARM_SHF_ROR_REG:
Michael Beck's avatar
Michael Beck committed
498
			if (factory[idx].new_binop_reg_shift_reg) {
Michael Beck's avatar
Michael Beck committed
499
500
				mov_op  = get_irn_n(new_op1, 0);
				mov_sft = get_irn_n(new_op1, 1);
Michael Beck's avatar
Michael Beck committed
501
				return factory[idx].new_binop_reg_shift_reg(dbgi, block, new_op2, mov_op, mov_sft,
Michael Beck's avatar
Michael Beck committed
502
503
504
					attr->shift_modifier);
			}
			break;
Matthias Braun's avatar
Matthias Braun committed
505
506
507
508
509
510

		case ARM_SHF_REG:
		case ARM_SHF_RRX:
			break;
		case ARM_SHF_INVALID:
			panic("invalid shift");
Michael Beck's avatar
Michael Beck committed
511
512
513
		}
	}
	return factory->new_binop_reg(dbgi, block, new_op1, new_op2);
Michael Beck's avatar
Michael Beck committed
514
}
515
516

/**
517
 * Creates an ARM Add.
518
519
520
 *
 * @return the created arm Add node
 */
521
522
static ir_node *gen_Add(ir_node *node)
{
Michael Beck's avatar
Michael Beck committed
523
524
525
526
527
528
529
530
	static const arm_binop_factory_t add_factory = {
		new_bd_arm_Add_reg,
		new_bd_arm_Add_imm,
		new_bd_arm_Add_reg_shift_reg,
		new_bd_arm_Add_reg_shift_imm
	};

	ir_mode *mode = get_irn_mode(node);
Michael Beck's avatar
Michael Beck committed
531

532
	if (mode_is_float(mode)) {
533
534
535
536
537
538
		ir_node  *block   = be_transform_node(get_nodes_block(node));
		ir_node  *op1     = get_Add_left(node);
		ir_node  *op2     = get_Add_right(node);
		dbg_info *dbgi    = get_irn_dbg_info(node);
		ir_node  *new_op1 = be_transform_node(op1);
		ir_node  *new_op2 = be_transform_node(op2);
539
		if (USE_FPA(isa)) {
540
			return new_bd_arm_Adf(dbgi, block, new_op1, new_op2, mode);
541
		} else if (USE_VFP(isa)) {
542
			panic("VFP not supported yet");
543
		} else {
544
			panic("Softfloat not supported yet");
545
546
		}
	} else {
547
#if 0
Michael Beck's avatar
Michael Beck committed
548
		/* check for MLA */
Michael Beck's avatar
Michael Beck committed
549
		if (is_arm_Mul(new_op1) && get_irn_n_edges(op1) == 1) {
550
			new_op3 = new_op2;
Michael Beck's avatar
Michael Beck committed
551
552
			new_op2 = get_irn_n(new_op1, 1);
			new_op1 = get_irn_n(new_op1, 0);
Michael Beck's avatar
Michael Beck committed
553

554
			return new_bd_arm_Mla(dbgi, block, new_op1, new_op2, new_op3);
Michael Beck's avatar
Michael Beck committed
555
		}
Michael Beck's avatar
Michael Beck committed
556
		if (is_arm_Mul(new_op2) && get_irn_n_edges(op2) == 1) {
557
558
559
			new_op3 = new_op1;
			new_op1 = get_irn_n(new_op2, 0);
			new_op2 = get_irn_n(new_op2, 1);
Michael Beck's avatar
Michael Beck committed
560

561
			return new_bd_arm_Mla(dbgi, block, new_op1, new_op2, new_op3);
Michael Beck's avatar
Michael Beck committed
562
		}
563
#endif
564

Michael Beck's avatar
Michael Beck committed
565
		return gen_int_binop(node, MATCH_COMMUTATIVE | MATCH_SIZE_NEUTRAL, &add_factory);
Michael Beck's avatar
Michael Beck committed
566
567
	}
}
568
569

/**
570
 * Creates an ARM Mul.
571
572
573
 *
 * @return the created arm Mul node
 */
574
575
static ir_node *gen_Mul(ir_node *node)
{
576
577
578
579
580
581
582
	ir_node  *block   = be_transform_node(get_nodes_block(node));
	ir_node  *op1     = get_Mul_left(node);
	ir_node  *new_op1 = be_transform_node(op1);
	ir_node  *op2     = get_Mul_right(node);
	ir_node  *new_op2 = be_transform_node(op2);
	ir_mode  *mode    = get_irn_mode(node);
	dbg_info *dbg     = get_irn_dbg_info(node);
Michael Beck's avatar
Michael Beck committed
583

584
	if (mode_is_float(mode)) {
585
		if (USE_FPA(isa)) {
586
			return new_bd_arm_Muf(dbg, block, new_op1, new_op2, mode);
587
		} else if (USE_VFP(isa)) {
588
			panic("VFP not supported yet");
589
		} else {
590
			panic("Softfloat not supported yet");
Michael Beck's avatar
Michael Beck committed
591
		}
592
	}
593
	assert(mode_is_data(mode));
594
	return new_bd_arm_Mul(dbg, block, new_op1, new_op2);
595
596
}

597
static ir_node *gen_Div(ir_node *node)
598
{
599
	ir_node  *block   = be_transform_node(get_nodes_block(node));
600
	ir_node  *op1     = get_Div_left(node);
601
	ir_node  *new_op1 = be_transform_node(op1);
602
	ir_node  *op2     = get_Div_right(node);
603
	ir_node  *new_op2 = be_transform_node(op2);
604
	ir_mode  *mode    = get_Div_resmode(node);
605
	dbg_info *dbg     = get_irn_dbg_info(node);
Michael Beck's avatar
Michael Beck committed
606

607
608
	/* integer division should be replaced by builtin call */
	assert(mode_is_float(mode));
609

610
	if (USE_FPA(isa)) {
611
		return new_bd_arm_Dvf(dbg, block, new_op1, new_op2, mode);
612
	} else if (USE_VFP(isa)) {
613
		panic("VFP not supported yet");
614
	} else {
615
		panic("Softfloat not supported yet");
Michael Beck's avatar
Michael Beck committed
616
	}
Michael Beck's avatar
Michael Beck committed
617
618
}

619
620
static ir_node *gen_And(ir_node *node)
{
Michael Beck's avatar
Michael Beck committed
621
622
623
624
625
626
	static const arm_binop_factory_t and_factory = {
		new_bd_arm_And_reg,
		new_bd_arm_And_imm,
		new_bd_arm_And_reg_shift_reg,
		new_bd_arm_And_reg_shift_imm
	};
Michael Beck's avatar
Michael Beck committed
627
628
629
630
631
632
633
634
635
636
637
638
639
640
641
	static const arm_binop_factory_t bic_factory = {
		new_bd_arm_Bic_reg,
		new_bd_arm_Bic_imm,
		new_bd_arm_Bic_reg_shift_reg,
		new_bd_arm_Bic_reg_shift_imm
	};

	/* check for and not */
	ir_node *left  = get_And_left(node);
	ir_node *right = get_And_right(node);

	if (is_Not(left) || is_Not(right)) {
		return gen_int_binop(node, MATCH_COMMUTATIVE | MATCH_SIZE_NEUTRAL | MATCH_SKIP_NOT,
			&bic_factory);
	}
Michael Beck's avatar
Michael Beck committed
642
643

	return gen_int_binop(node, MATCH_COMMUTATIVE | MATCH_SIZE_NEUTRAL, &and_factory);
644
}
645

646
647
static ir_node *gen_Or(ir_node *node)
{
Michael Beck's avatar
Michael Beck committed
648
649
650
651
652
653
654
655
	static const arm_binop_factory_t or_factory = {
		new_bd_arm_Or_reg,
		new_bd_arm_Or_imm,
		new_bd_arm_Or_reg_shift_reg,
		new_bd_arm_Or_reg_shift_imm
	};

	return gen_int_binop(node, MATCH_COMMUTATIVE | MATCH_SIZE_NEUTRAL, &or_factory);
656
}
657

658
659
static ir_node *gen_Eor(ir_node *node)
{
Michael Beck's avatar
Michael Beck committed
660
661
662
663
664
665
666
667
	static const arm_binop_factory_t eor_factory = {
		new_bd_arm_Eor_reg,
		new_bd_arm_Eor_imm,
		new_bd_arm_Eor_reg_shift_reg,
		new_bd_arm_Eor_reg_shift_imm
	};

	return gen_int_binop(node, MATCH_COMMUTATIVE | MATCH_SIZE_NEUTRAL, &eor_factory);
668
}
669

670
671
static ir_node *gen_Sub(ir_node *node)
{
Michael Beck's avatar
Michael Beck committed
672
673
674
675
676
677
678
679
680
681
682
683
684
	static const arm_binop_factory_t sub_rsb_factory[2] = {
		{
			new_bd_arm_Sub_reg,
			new_bd_arm_Sub_imm,
			new_bd_arm_Sub_reg_shift_reg,
			new_bd_arm_Sub_reg_shift_imm
		},
		{
			new_bd_arm_Rsb_reg,
			new_bd_arm_Rsb_imm,
			new_bd_arm_Rsb_reg_shift_reg,
			new_bd_arm_Rsb_reg_shift_imm
		}
Michael Beck's avatar
Michael Beck committed
685
686
	};

687
688
689
690
	ir_node  *block   = be_transform_node(get_nodes_block(node));
	ir_node  *op1     = get_Sub_left(node);
	ir_node  *new_op1 = be_transform_node(op1);
	ir_node  *op2     = get_Sub_right(node);
Michael Beck's avatar
Michael Beck committed
691
	ir_node  *new_op2 = be_transform_node(op2);
692
	ir_mode  *mode    = get_irn_mode(node);
693
	dbg_info *dbgi    = get_irn_dbg_info(node);
Michael Beck's avatar
Michael Beck committed
694

695
	if (mode_is_float(mode)) {
696
		if (USE_FPA(isa)) {
697
			return new_bd_arm_Suf(dbgi, block, new_op1, new_op2, mode);
698
		} else if (USE_VFP(isa)) {
699
			panic("VFP not supported yet");
700
		} else {
701
			panic("Softfloat not supported yet");
Michael Beck's avatar
Michael Beck committed
702
		}
703
	} else {
Michael Beck's avatar
Michael Beck committed
704
		return gen_int_binop(node, MATCH_SIZE_NEUTRAL | MATCH_REVERSE, sub_rsb_factory);
Michael Beck's avatar
Michael Beck committed
705
	}
706
}
Michael Beck's avatar
Michael Beck committed
707

Michael Beck's avatar
Michael Beck committed
708
709
710
711
/**
 * Checks if a given value can be used as an immediate for the given
 * ARM shift mode.
 */
712
713
714
715
716
717
718
719
720
721
static bool can_use_shift_constant(unsigned int val,
                                   arm_shift_modifier_t modifier)
{
	if (val <= 31)
		return true;
	if (val == 32 && modifier != ARM_SHF_LSL_REG && modifier != ARM_SHF_ROR_REG)
		return true;
	return false;
}

Michael Beck's avatar
Michael Beck committed
722
723
724
725
726
727
728
/**
 * generate an ARM shift instruction.
 *
 * @param node            the node
 * @param flags           matching flags
 * @param shift_modifier  initial encoding of the desired shift operation
 */
729
static ir_node *make_shift(ir_node *node, match_flags_t flags,
730
		arm_shift_modifier_t shift_modifier)
731
{
732
733
734
735
	ir_node  *block = be_transform_node(get_nodes_block(node));
	ir_node  *op1   = get_binop_left(node);
	ir_node  *op2   = get_binop_right(node);
	dbg_info *dbgi  = get_irn_dbg_info(node);
736
	ir_mode  *mode  = get_irn_mode(node);
737
738
739
	ir_node  *new_op1;
	ir_node  *new_op2;

740
741
742
	if (get_mode_modulo_shift(mode) != 32)
		panic("modulo shift!=32 not supported by arm backend");

743
744
745
	if (flags & MATCH_SIZE_NEUTRAL) {
		op1 = arm_skip_downconv(op1);
		op2 = arm_skip_downconv(op2);
746
	}
747

748
	new_op1 = be_transform_node(op1);
749
	if (is_Const(op2)) {
Matthias Braun's avatar
Matthias Braun committed
750
		ir_tarval   *tv  = get_Const_tarval(op2);
751
752
753
754
755
756
757
758
759
760
761
762
763
764
765
		unsigned int val = get_tarval_long(tv);
		assert(tarval_is_long(tv));
		if (can_use_shift_constant(val, shift_modifier)) {
			switch (shift_modifier) {
			case ARM_SHF_LSL_REG: shift_modifier = ARM_SHF_LSL_IMM; break;
			case ARM_SHF_LSR_REG: shift_modifier = ARM_SHF_LSR_IMM; break;
			case ARM_SHF_ASR_REG: shift_modifier = ARM_SHF_ASR_IMM; break;
			case ARM_SHF_ROR_REG: shift_modifier = ARM_SHF_ROR_IMM; break;
			default: panic("unexpected shift modifier");
			}
			return new_bd_arm_Mov_reg_shift_imm(dbgi, block, new_op1,
			                                    shift_modifier, val);
		}
	}

766
	new_op2 = be_transform_node(op2);
767
768
	return new_bd_arm_Mov_reg_shift_reg(dbgi, block, new_op1, new_op2,
	                                    shift_modifier);
769
770
}

771
772
773
static ir_node *gen_Shl(ir_node *node)
{
	return make_shift(node, MATCH_SIZE_NEUTRAL, ARM_SHF_LSL_REG);
774
775
}

776
777
778
static ir_node *gen_Shr(ir_node *node)
{
	return make_shift(node, MATCH_NONE, ARM_SHF_LSR_REG);
779
780
}

781
782
783
static ir_node *gen_Shrs(ir_node *node)
{
	return make_shift(node, MATCH_NONE, ARM_SHF_ASR_REG);
784
785
}

786
787
static ir_node *gen_Ror(ir_node *node, ir_node *op1, ir_node *op2)
{
Michael Beck's avatar
Michael Beck committed
788
789
	ir_node  *block   = be_transform_node(get_nodes_block(node));
	ir_node  *new_op1 = be_transform_node(op1);
790
	dbg_info *dbgi    = get_irn_dbg_info(node);
Michael Beck's avatar
Michael Beck committed
791
792
	ir_node  *new_op2 = be_transform_node(op2);

793
794
	return new_bd_arm_Mov_reg_shift_reg(dbgi, block, new_op1, new_op2,
	                                    ARM_SHF_ROR_REG);
Michael Beck's avatar
Michael Beck committed
795
796
}

797
798
static ir_node *gen_Rol(ir_node *node, ir_node *op1, ir_node *op2)
{
Michael Beck's avatar
Michael Beck committed
799
800
	ir_node  *block   = be_transform_node(get_nodes_block(node));
	ir_node  *new_op1 = be_transform_node(op1);
801
	dbg_info *dbgi    = get_irn_dbg_info(node);
Michael Beck's avatar
Michael Beck committed
802
803
	ir_node  *new_op2 = be_transform_node(op2);

804
	/* Note: there is no Rol on arm, we have to use Ror */
805
806
807
	new_op2 = new_bd_arm_Rsb_imm(dbgi, block, new_op2, 32, 0);
	return new_bd_arm_Mov_reg_shift_reg(dbgi, block, new_op1, new_op2,
	                                    ARM_SHF_ROR_REG);
Michael Beck's avatar
Michael Beck committed
808
809
}

810
811
static ir_node *gen_Rotl(ir_node *node)
{
Michael Beck's avatar
Michael Beck committed
812
813
814
815
816
817
818
819
820
	ir_node *rotate = NULL;
	ir_node *op1    = get_Rotl_left(node);
	ir_node *op2    = get_Rotl_right(node);

	/* Firm has only RotL, so we are looking for a right (op2)
	   operand "-e+mode_size_bits" (it's an already modified "mode_size_bits-e",
	   that means we can create a RotR. */

	if (is_Add(op2)) {
Michael Beck's avatar
Michael Beck committed
821
		ir_node *right = get_Add_right(op2);
Michael Beck's avatar
Michael Beck committed
822
		if (is_Const(right)) {
Matthias Braun's avatar
Matthias Braun committed
823
824
825
826
			ir_tarval *tv   = get_Const_tarval(right);
			ir_mode   *mode = get_irn_mode(node);
			long       bits = get_mode_size_bits(mode);
			ir_node   *left = get_Add_left(op2);
Michael Beck's avatar
Michael Beck committed
827
828

			if (is_Minus(left) &&
Michael Beck's avatar
Michael Beck committed
829
			    tarval_is_long(tv)          &&
Michael Beck's avatar
Michael Beck committed
830
831
832
833
			    get_tarval_long(tv) == bits &&
			    bits                == 32)
				rotate = gen_Ror(node, op1, get_Minus_op(left));
		}
Michael Beck's avatar
Michael Beck committed
834
835
836
	} else if (is_Sub(op2)) {
		ir_node *left = get_Sub_left(op2);
		if (is_Const(left)) {
Matthias Braun's avatar
Matthias Braun committed
837
838
839
840
			ir_tarval *tv   = get_Const_tarval(left);
			ir_mode   *mode = get_irn_mode(node);
			long       bits = get_mode_size_bits(mode);
			ir_node   *right = get_Sub_right(op2);
Michael Beck's avatar
Michael Beck committed
841
842
843
844
845
846

			if (tarval_is_long(tv)          &&
			    get_tarval_long(tv) == bits &&
			    bits                == 32)
				rotate = gen_Ror(node, op1, right);
		}
847
	} else if (is_Const(op2)) {
Matthias Braun's avatar
Matthias Braun committed
848
849
850
		ir_tarval *tv   = get_Const_tarval(op2);
		ir_mode   *mode = get_irn_mode(node);
		long       bits = get_mode_size_bits(mode);
Michael Beck's avatar
Michael Beck committed
851

852
853
854
855
		if (tarval_is_long(tv) && bits == 32) {
			ir_node  *block   = be_transform_node(get_nodes_block(node));
			ir_node  *new_op1 = be_transform_node(op1);
			dbg_info *dbgi    = get_irn_dbg_info(node);
856

857
858
859
			bits = (bits - get_tarval_long(tv)) & 31;
			rotate = new_bd_arm_Mov_reg_shift_imm(dbgi, block, new_op1, ARM_SHF_ROR_IMM, bits);
		}
Michael Beck's avatar
Michael Beck committed
860
861
862
863
864
865
866
867
868
	}

	if (rotate == NULL) {
		rotate = gen_Rol(node, op1, op2);
	}

	return rotate;
}

869
870
static ir_node *gen_Not(ir_node *node)
{
871
872
873
	ir_node  *block   = be_transform_node(get_nodes_block(node));
	ir_node  *op      = get_Not_op(node);
	ir_node  *new_op  = be_transform_node(op);
874
	dbg_info *dbgi    = get_irn_dbg_info(node);
Michael Beck's avatar
Michael Beck committed
875

Michael Beck's avatar
Michael Beck committed
876
877
878
879
880
	/* check if we can fold in a Mov */
	if (is_arm_Mov(new_op)) {
		const arm_shifter_operand_t *attr = get_arm_shifter_operand_attr_const(new_op);

		switch (attr->shift_modifier) {
Matthias Braun's avatar
Matthias Braun committed
881
		ir_node *mov_op, *mov_sft;
Michael Beck's avatar
Michael Beck committed
882
883
884
885
886
887
888
889
890
891
892
893
894
895
896
897
898
899

		case ARM_SHF_IMM:
		case ARM_SHF_ASR_IMM:
		case ARM_SHF_LSL_IMM:
		case ARM_SHF_LSR_IMM:
		case ARM_SHF_ROR_IMM:
			mov_op = get_irn_n(new_op, 0);
			return new_bd_arm_Mvn_reg_shift_imm(dbgi, block, mov_op,
				attr->shift_modifier, attr->shift_immediate);

		case ARM_SHF_ASR_REG:
		case ARM_SHF_LSL_REG:
		case ARM_SHF_LSR_REG:
		case ARM_SHF_ROR_REG:
			mov_op  = get_irn_n(new_op, 0);
			mov_sft = get_irn_n(new_op, 1);
			return new_bd_arm_Mvn_reg_shift_reg(dbgi, block, mov_op, mov_sft,
				attr->shift_modifier);
Matthias Braun's avatar
Matthias Braun committed
900
901
902
903
904
905

		case ARM_SHF_REG:
		case ARM_SHF_RRX:
			break;
		case ARM_SHF_INVALID:
			panic("invalid shift");
Michael Beck's avatar
Michael Beck committed
906
907
		}
	}
908
909

	return new_bd_arm_Mvn_reg(dbgi, block, new_op);
910
911
}

912
913
static ir_node *gen_Minus(ir_node *node)
{
914
915
916
	ir_node  *block   = be_transform_node(get_nodes_block(node));
	ir_node  *op      = get_Minus_op(node);
	ir_node  *new_op  = be_transform_node(op);
917
	dbg_info *dbgi    = get_irn_dbg_info(node);
918
	ir_mode  *mode    = get_irn_mode(node);
Michael Beck's avatar
Michael Beck committed
919

920
	if (mode_is_float(mode)) {
921
		if (USE_FPA(isa)) {
922
			return new_bd_arm_Mvf(dbgi, block, op, mode);
923
		} else if (USE_VFP(isa)) {
924
			panic("VFP not supported yet");
925
		} else {
926
			panic("Softfloat not supported yet");
Michael Beck's avatar
Michael Beck committed
927
		}
928
	}
929
	assert(mode_is_data(mode));
930
	return new_bd_arm_Rsb_imm(dbgi, block, new_op, 0, 0);
931
932
}

933
934
static ir_node *gen_Load(ir_node *node)
{
Michael Beck's avatar
Michael Beck committed
935
936
937
938
939
940
	ir_node  *block    = be_transform_node(get_nodes_block(node));
	ir_node  *ptr      = get_Load_ptr(node);
	ir_node  *new_ptr  = be_transform_node(ptr);
	ir_node  *mem      = get_Load_mem(node);
	ir_node  *new_mem  = be_transform_node(mem);
	ir_mode  *mode     = get_Load_mode(node);
941
	dbg_info *dbgi      = get_irn_dbg_info(node);
Michael Beck's avatar
Michael Beck committed
942
	ir_node  *new_load = NULL;
943

944
945
946
	if (get_Load_unaligned(node) == align_non_aligned)
		panic("arm: unaligned Loads not supported yet");

Michael Beck's avatar
Michael Beck committed
947
	if (mode_is_float(mode)) {
948
		if (USE_FPA(isa)) {
949
950
			new_load = new_bd_arm_Ldf(dbgi, block, new_ptr, new_mem, mode,
			                          NULL, 0, 0, false);
951
		} else if (USE_VFP(isa)) {
952
			panic("VFP not supported yet");
953
		} else {
954
			panic("Softfloat not supported yet");
Michael Beck's avatar
Michael Beck committed
955
		}
956
	} else {
957
		assert(mode_is_data(mode) && "unsupported mode for Load");
958

959
		new_load = new_bd_arm_Ldr(dbgi, block, new_ptr, new_mem, mode, NULL, 0, 0, false);
960
	}
Michael Beck's avatar
Michael Beck committed
961
	set_irn_pinned(new_load, get_irn_pinned(node));
962
963
964
965

	/* check for special case: the loaded value might not be used */
	if (be_get_Proj_for_pn(node, pn_Load_res) == NULL) {
		/* add a result proj and a Keep to produce a pseudo use */
966
		ir_node *proj = new_r_Proj(new_load, mode_Iu, pn_arm_Ldr_res);
967
		be_new_Keep(block, 1, &proj);
968
969
	}

Michael Beck's avatar
Michael Beck committed
970
	return new_load;
971
972
}

973
974
static ir_node *gen_Store(ir_node *node)
{
Michael Beck's avatar
Michael Beck committed
975
976
977
978
979
980
981
982
	ir_node  *block    = be_transform_node(get_nodes_block(node));
	ir_node  *ptr      = get_Store_ptr(node);
	ir_node  *new_ptr  = be_transform_node(ptr);
	ir_node  *mem      = get_Store_mem(node);
	ir_node  *new_mem  = be_transform_node(mem);
	ir_node  *val      = get_Store_value(node);
	ir_node  *new_val  = be_transform_node(val);
	ir_mode  *mode     = get_irn_mode(val);
983
	dbg_info *dbgi     = get_irn_dbg_info(node);
Michael Beck's avatar
Michael Beck committed
984
	ir_node *new_store = NULL;
985

986
987
988
	if (get_Store_unaligned(node) == align_non_aligned)
		panic("arm: unaligned Stores not supported yet");

Michael Beck's avatar
Michael Beck committed
989
	if (mode_is_float(mode)) {
990
		if (USE_FPA(isa)) {
991
992
			new_store = new_bd_arm_Stf(dbgi, block, new_ptr, new_val,
			                           new_mem, mode, NULL, 0, 0, false);
993
		} else if (USE_VFP(isa)) {
994
			panic("VFP not supported yet");
Michael Beck's avatar
Michael Beck committed
995
		} else {
996
			panic("Softfloat not supported yet");
Michael Beck's avatar
Michael Beck committed
997
998
		}
	} else {
999
		assert(mode_is_data(mode) && "unsupported mode for Store");
1000
1001
		new_store = new_bd_arm_Str(dbgi, block, new_ptr, new_val, new_mem, mode,
		                           NULL, 0, 0, false);
1002
	}
Michael Beck's avatar
Michael Beck committed
1003
1004
	set_irn_pinned(new_store, get_irn_pinned(node));
	return new_store;
1005
1006
}

1007
1008
1009
1010
1011
1012
1013
1014
1015
static ir_node *gen_Jmp(ir_node *node)
{
	ir_node  *block     = get_nodes_block(node);
	ir_node  *new_block = be_transform_node(block);
	dbg_info *dbgi      = get_irn_dbg_info(node);

	return new_bd_arm_Jmp(dbgi, new_block);
}

Matthias Braun's avatar
Matthias Braun committed
1016
static ir_node *gen_Switch(ir_node *node)
1017
{
Matthias Braun's avatar
Matthias Braun committed
1018
1019
1020
1021
1022
1023
1024
1025
	ir_graph              *irg      = get_irn_irg(node);
	ir_node               *block    = be_transform_node(get_nodes_block(node));
	ir_node               *selector = get_Switch_selector(node);
	dbg_info              *dbgi     = get_irn_dbg_info(node);
	ir_node               *new_op   = be_transform_node(selector);
	ir_mode               *mode     = get_irn_mode(selector);
	const ir_switch_table *table    = get_Switch_table(node);
	unsigned               n_outs   = get_Switch_n_outs(node);
1026

Matthias Braun's avatar
Matthias Braun committed
1027
	table = ir_switch_table_duplicate(irg, table);
1028

Matthias Braun's avatar
Matthias Braun committed
1029
1030
	/* switch with smaller modes not implemented yet */
	assert(get_mode_size_bits(mode) == 32);
1031

Matthias Braun's avatar
Matthias Braun committed
1032
	return new_bd_arm_SwitchJmp(dbgi, block, new_op, n_outs, table);
1033
1034
1035
1036
1037
1038
1039
1040
1041
1042
1043
1044
1045
1046
}

static ir_node *gen_Cmp(ir_node *node)
{
	ir_node  *block    = be_transform_node(get_nodes_block(node));
	ir_node  *op1      = get_Cmp_left(node);
	ir_node  *op2      = get_Cmp_right(node);
	ir_mode  *cmp_mode = get_irn_mode(op1);
	dbg_info *dbgi     = get_irn_dbg_info(node);
	ir_node  *new_op1;
	ir_node  *new_op2;
	bool      is_unsigned;

	if (mode_is_float(cmp_mode)) {
1047
1048
1049
1050
1051
		/* TODO: this is broken... */
		new_op1 = be_transform_node(op1);
		new_op2 = be_transform_node(op2);

		return new_bd_arm_Cmfe(dbgi, block, new_op1, new_op2, false);
1052
	}
1053

1054
1055
1056
	assert(get_irn_mode(op2) == cmp_mode);
	is_unsigned = !mode_is_signed(cmp_mode);

Michael Beck's avatar
Michael Beck committed
1057
	/* integer compare, TODO: use shifter_op in all its combinations */
1058
1059
1060
1061
1062
1063
	new_op1 = be_transform_node(op1);
	new_op1 = gen_extension(dbgi, block, new_op1, cmp_mode);
	new_op2 = be_transform_node(op2);
	new_op2 = gen_extension(dbgi, block, new_op2, cmp_mode);
	return new_bd_arm_Cmp_reg(dbgi, block, new_op1, new_op2, false,
	                          is_unsigned);
1064
1065
}

1066
1067
static ir_node *gen_Cond(ir_node *node)
{
Matthias Braun's avatar