benode_t.h 17.8 KB
Newer Older
Christian Würdig's avatar
Christian Würdig committed
1
/*
Michael Beck's avatar
Michael Beck committed
2
 * Copyright (C) 1995-2008 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.
 */

Sebastian Hack's avatar
Sebastian Hack committed
20
/**
Christian Würdig's avatar
Christian Würdig committed
21
22
23
24
25
 * @file
 * @brief       Backend node support for generic backend nodes.
 * @author      Sebastian Hack
 * @date        17.05.2005
 * @version     $Id$
Sebastian Hack's avatar
Sebastian Hack committed
26
 *
Christian Würdig's avatar
Christian Würdig committed
27
28
 * Backend node support for generic backend nodes.
 * This file provides Perm, Copy, Spill and Reload nodes.
Sebastian Hack's avatar
Sebastian Hack committed
29
 */
Christian Würdig's avatar
Christian Würdig committed
30
31
#ifndef FIRM_BE_BENODE_T_H
#define FIRM_BE_BENODE_T_H
32

33
34
#include <limits.h>

35
#include "firm_types.h"
Sebastian Hack's avatar
Sebastian Hack committed
36
#include "irnode.h"
Christian Würdig's avatar
Christian Würdig committed
37
#include "bearch.h"
Sebastian Hack's avatar
Sebastian Hack committed
38

39
40
#define BE_OUT_POS(p) (-((p) + 1))

41
42
43
44
45
46
/**
 * The benode op's.  Must be available to register emitter function.
 */
extern ir_op *op_be_Spill;
extern ir_op *op_be_Reload;
extern ir_op *op_be_Perm;
Matthias Braun's avatar
Matthias Braun committed
47
extern ir_op *op_be_MemPerm;
48
49
extern ir_op *op_be_Copy;
extern ir_op *op_be_Keep;
Michael Beck's avatar
Michael Beck committed
50
extern ir_op *op_be_CopyKeep;
51
52
53
extern ir_op *op_be_Call;
extern ir_op *op_be_Return;
extern ir_op *op_be_IncSP;
Sebastian Hack's avatar
Sebastian Hack committed
54
extern ir_op *op_be_AddSP;
Michael Beck's avatar
Michael Beck committed
55
extern ir_op *op_be_SubSP;
56
57
extern ir_op *op_be_RegParams;
extern ir_op *op_be_FrameAddr;
58
extern ir_op *op_be_Barrier;
Michael Beck's avatar
Michael Beck committed
59
extern ir_op *op_be_Unwind;
60

Sebastian Hack's avatar
Sebastian Hack committed
61
typedef enum {
62
	beo_NoBeOp = -1,
Sebastian Hack's avatar
Sebastian Hack committed
63
64
65
	beo_Spill,
	beo_Reload,
	beo_Perm,
Matthias Braun's avatar
Matthias Braun committed
66
	beo_MemPerm,
Sebastian Hack's avatar
Sebastian Hack committed
67
68
	beo_Copy,
	beo_Keep,
Sebastian Hack's avatar
Sebastian Hack committed
69
	beo_CopyKeep,
Sebastian Hack's avatar
Sebastian Hack committed
70
	beo_Call,
Sebastian Hack's avatar
Sebastian Hack committed
71
	beo_Return,
Sebastian Hack's avatar
Sebastian Hack committed
72
	beo_AddSP,
Michael Beck's avatar
Michael Beck committed
73
	beo_SubSP,
Sebastian Hack's avatar
Sebastian Hack committed
74
	beo_IncSP,
Sebastian Hack's avatar
Sebastian Hack committed
75
	beo_RegParams,
76
	beo_FrameAddr,
77
	beo_Barrier,
Michael Beck's avatar
Michael Beck committed
78
	beo_Unwind,
Sebastian Hack's avatar
Sebastian Hack committed
79
80
	beo_Last
} be_opcode_t;
81

Sebastian Hack's avatar
Sebastian Hack committed
82
/** Not used yet. */
83
84
85
86
87
88
typedef enum {
	be_frame_flag_spill = 1,
	be_frame_flag_local = 2,
	be_frame_flag_arg   = 4
} be_frame_flag_t;

Sebastian Hack's avatar
Sebastian Hack committed
89
90
91
92
/**
 * A "symbolic constant" for the size of the stack frame to use with IncSP nodes.
 * It gets back-patched to the real size as soon it is known.
 */
93
94
#define BE_STACK_FRAME_SIZE_EXPAND INT_MAX
#define BE_STACK_FRAME_SIZE_SHRINK INT_MIN
Sebastian Hack's avatar
Sebastian Hack committed
95

96
97
98
99
100
/**
 * Determines if irn is a be_node.
 */
int is_be_node(const ir_node *irn);

101
102
103
/**
 * Create all BE specific opcodes.
 */
Sebastian Hack's avatar
Sebastian Hack committed
104
void be_node_init(void);
105

106
107
108
/**
 * Position numbers for the be_Spill inputs.
 */
109
enum {
110
111
	be_pos_Spill_frame = 0,
	be_pos_Spill_val   = 1
112
};
113
114
115
116

/**
 * Make a new Spill node.
 */
117
118
ir_node *be_new_Spill(const arch_register_class_t *cls, const arch_register_class_t *cls_frame,
	ir_graph *irg, ir_node *bl, ir_node *frame, ir_node *to_spill);
119

120
121
122
/**
 * Position numbers for the be_Reload inputs.
 */
123
enum {
124
125
	be_pos_Reload_frame = 0,
	be_pos_Reload_mem   = 1
126
};
127
128
129
130

/**
 * Make a new Reload node.
 */
131
132
ir_node *be_new_Reload(const arch_register_class_t *cls, const arch_register_class_t *cls_frame,
	ir_graph *irg, ir_node *bl, ir_node *frame, ir_node *mem, ir_mode *mode);
133

134
135
136
/**
 * Position numbers for the be_Copy inputs.
 */
137
enum {
138
	be_pos_Copy_op = 0
139
};
140
141
142
143

/**
 * Make a new Copy node.
 */
Sebastian Hack's avatar
Sebastian Hack committed
144
ir_node *be_new_Copy(const arch_register_class_t *cls, ir_graph *irg, ir_node *block, ir_node *in);
145
/** Returns the Copy Argument. */
146
ir_node *be_get_Copy_op(const ir_node *cpy);
147
148
/** Sets the Copy Argument. */
void be_set_Copy_op(ir_node *cpy, ir_node *op);
149

150
151
152
/**
 * Make a new Perm node.
 */
Sebastian Hack's avatar
Sebastian Hack committed
153
ir_node *be_new_Perm(const arch_register_class_t *cls, ir_graph *irg, ir_node *bl, int arity, ir_node *in[]);
154
155
156
157
158
159
160
161
162
163
164
165
166
167

/**
 * Reduce a Perm.
 * Basically, we provide a map to remap the Perm's arguments. If an entry in the
 * map is -1, the argument gets deleted.
 * This function takes care, that the register data and the input array reflects
 * the changes described by the map.
 * This is needed by the Perm optimization/movement in belower.c, see push_through_perm().
 * @param perm     The perm node.
 * @param new_size The new number of arguments (must be smaller or equal to the current one).
 * @param map      A map assigning each operand a new index (or -1 to indicate deletion).
 */
void be_Perm_reduce(ir_node *perm, int new_size, int *map);

168
169
170
/**
 * Create a new MemPerm node.
 */
Matthias Braun's avatar
Matthias Braun committed
171
ir_node *be_new_MemPerm(const arch_env_t *arch_env, ir_graph *irg, ir_node *bl, int n, ir_node *in[]);
Sebastian Hack's avatar
Sebastian Hack committed
172
ir_node *be_new_Keep(const arch_register_class_t *cls, ir_graph *irg, ir_node *bl, int arity, ir_node *in[]);
Sebastian Hack's avatar
Sebastian Hack committed
173

174
175
void be_Keep_add_node(ir_node *keep, const arch_register_class_t *cls, ir_node *node);

176
177
178
179
180
181
182
/**
 * Position numbers for the be_FrameAddr inputs
 */
enum {
	be_pos_FrameAddr_ptr = 0
};

Michael Beck's avatar
Michael Beck committed
183
/** Create a new FrameAddr node. */
184
ir_node *be_new_FrameAddr(const arch_register_class_t *cls_frame, ir_graph *irg, ir_node *bl, ir_node *frame, ir_entity *ent);
185

Michael Beck's avatar
Michael Beck committed
186
/** Return the frame input of a FrameAddr node. */
Matthias Braun's avatar
Matthias Braun committed
187
188
189
ir_node *be_get_FrameAddr_frame(const ir_node *node);

ir_entity *be_get_FrameAddr_entity(const ir_node *node);
Michael Beck's avatar
Michael Beck committed
190

191
192
193
/**
 * Position numbers for the be_AddSP inputs
 */
Sebastian Hack's avatar
Sebastian Hack committed
194
195
196
197
198
199
enum {
	be_pos_AddSP_old_sp = 0,
	be_pos_AddSP_size   = 1,
	be_pos_AddSP_last   = 2
};

Sebastian Hack's avatar
Sebastian Hack committed
200
enum {
201
202
203
204
	pn_be_AddSP_sp   = 0,
	pn_be_AddSP_res  = 1,
	pn_be_AddSP_M    = 2,
	pn_be_AddSP_last = 3
Sebastian Hack's avatar
Sebastian Hack committed
205
206
};

Sebastian Hack's avatar
Sebastian Hack committed
207
208
209
210
211
212
213
214
215
216
217
218
219
/**
 * Make a new AddSP node.
 * An AddSP node expresses an increase of the stack pointer in the direction the stack
 * grows. In contrast to IncSP, the amount of bytes the stack pointer is grown, is not
 * given by a constant but an ordinary Firm node.
 * @param sp     The stack pointer register.
 * @param irg    The graph.
 * @param bl     The block.
 * @param old_sp The node representing the old stack pointer value.
 * @param sz     The node expressing the size by which the stack pointer shall be grown.
 * @return       A new AddSP node.
 */
ir_node *be_new_AddSP(const arch_register_t *sp, ir_graph *irg, ir_node *bl, ir_node *old_sp, ir_node *sz);
Sebastian Hack's avatar
Sebastian Hack committed
220

Michael Beck's avatar
Michael Beck committed
221
222
223
224
225
226
227
228
229
230
/**
 * Position numbers for the be_SubSP inputs
 */
enum {
	be_pos_SubSP_old_sp = 0,
	be_pos_SubSP_size   = 1,
	be_pos_SubSP_last   = 2
};

enum {
231
	pn_be_SubSP_sp   = 0,
Michael Beck's avatar
Michael Beck committed
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
	pn_be_SubSP_M    = 1,
	pn_be_SubSP_last = 2
};

/**
 * Make a new SubSP node.
 * A SubSP node expresses a decrease of the stack pointer in the direction the stack
 * grows. In contrast to IncSP, the amount of bytes the stack pointer is grown, is not
 * given by a constant but an ordinary Firm node.
 * @param sp     The stack pointer register.
 * @param irg    The graph.
 * @param bl     The block.
 * @param old_sp The node representing the old stack pointer value.
 * @param sz     The node expressing the size by which the stack pointer shall be grown.
 * @return       A new DecSP node.
 */
ir_node *be_new_SubSP(const arch_register_t *sp, ir_graph *irg, ir_node *bl, ir_node *old_sp, ir_node *sz);

Sebastian Hack's avatar
Sebastian Hack committed
250
251
/**
 * Make a stack pointer increase/decrease node.
Sebastian Hack's avatar
Sebastian Hack committed
252
 * @param sp     The stack pointer register.
Sebastian Hack's avatar
Sebastian Hack committed
253
254
255
 * @param irg    The graph to insert the node to.
 * @param bl     The block to insert the node into.
 * @param old_sp The node defining the former stack pointer.
256
 * @param amount The mount of bytes the stack shall be expanded/shrinked (see set_IncSP_offset)
Sebastian Hack's avatar
Sebastian Hack committed
257
258
259
260
261
 * @param dir    The direction in which the stack pointer shall be modified:
 *               Along the stack's growing direction or against.
 * @return       A new stack pointer increment/decrement node.
 * @note         This node sets a register constraint to the @p sp register on its output.
 */
Sebastian Hack's avatar
Sebastian Hack committed
262
ir_node *be_new_IncSP(const arch_register_t *sp, ir_graph *irg, ir_node *bl, ir_node *old_sp, int offset);
Sebastian Hack's avatar
Sebastian Hack committed
263

Michael Beck's avatar
BugFix:    
Michael Beck committed
264
265
/** Returns the previous node that computes the stack pointer. */
ir_node *be_get_IncSP_pred(ir_node *incsp);
Sebastian Hack's avatar
Sebastian Hack committed
266

267
/** Sets the previous node that computes the stack pointer. */
268
void     be_set_IncSP_pred(ir_node *incsp, ir_node *pred);
269

270
271
272
273
274
275
276
/**
 * Sets a new offset to a IncSP node.
 * A positive offset means expanding the stack, a negative offset shrinking
 * an offset is == BE_STACK_FRAME_SIZE will be replaced by the real size of the
 * stackframe in the fix_stack_offsets phase.
 */
void     be_set_IncSP_offset(ir_node *irn, int offset);
Michael Beck's avatar
BugFix:    
Michael Beck committed
277
278

/** Gets the offset from a IncSP node. */
279
int be_get_IncSP_offset(const ir_node *irn);
Sebastian Hack's avatar
Sebastian Hack committed
280

281
/** Gets the call entity or NULL if this is no static call. */
282
ir_entity  *be_Call_get_entity(const ir_node *call);
283
/** Sets the call entity. */
284
void     be_Call_set_entity(ir_node *call, ir_entity *ent);
285
286
287
288
/** Gets the call type. */
ir_type *be_Call_get_type(ir_node *call);
/** Sets the call type. */
void     be_Call_set_type(ir_node *call, ir_type *call_tp);
289

Matthias Braun's avatar
Matthias Braun committed
290
291
292
293
void     be_Call_set_pop(ir_node *call, unsigned pop);

unsigned be_Call_get_pop(const ir_node *call);

294
295
296
/**
 * Position numbers for the be_Call inputs.
 */
297
enum {
298
299
300
301
	be_pos_Call_mem       = 0,  /**< memory input of a be_Call node */
	be_pos_Call_sp        = 1,  /**< stack pointer input of a be_Call node */
	be_pos_Call_ptr       = 2,  /**< call pointer input of a be_Call node */
	be_pos_Call_first_arg = 3   /**< first argument input of a be_Call node */
302
303
};

304
305
306
307
308
/**
 * Projection numbers for result of be_Call node: use for Proj nodes!
 */
typedef enum {
	pn_be_Call_M_regular = pn_Call_M_regular,  /**< The memory result of a be_Call. */
Matthias Braun's avatar
Matthias Braun committed
309
310
	pn_be_Call_sp        = pn_Call_max,
	pn_be_Call_first_res                      /**< The first result proj number of a be_Call. */
311
312
313
} pn_be_Call;

/**
Michael Beck's avatar
Michael Beck committed
314
315
316
317
318
319
320
321
322
323
324
325
 * Construct a new be_Call.
 *
 * @param dbg      debug info
 * @param irg      the graph where the call is placed
 * @param bl       the block where the call is placed
 * @param mem      the memory input of the call
 * @param sp       the stack pointer input of the call
 * @param ptr      the address of the called function, if immediate call set to sp
 * @param n_outs   the number of outcoming values from this call
 * @param n        the number of (register) inputs of this call
 * @param in       the (register) inputs of this call
 * @param call_tp  the call type of this call
326
327
328
329
330
 */
ir_node *be_new_Call(dbg_info *dbg, ir_graph *irg, ir_node *bl, ir_node *mem, ir_node *sp, ir_node *ptr,
                     int n_outs, int n, ir_node *in[], ir_type *call_tp);

/**
331
332
333
334
335
336
337
338
339
340
 * Position numbers for the be_Return inputs.
 */
enum {
	be_pos_Return_mem  = 0,     /**< memory input of a be_Return node */
	be_pos_Return_sp   = 1,     /**< stack pointer input of a be_Return node */
	be_pos_Return_val  = 2,     /**< first "real" return value if any */
};

/**
 * Construct a new be_Return.
Michael Beck's avatar
Michael Beck committed
341
342
 *
 * @param dbg    debug info
343
344
345
346
 * @param irg    the graph where the new node will be placed
 * @param bl     the block where the new node will be placed
 * @param n_res  number of "real" results
 * @param n      number of inputs
347
 * @param pop    pop number of bytes on return
348
349
 * @param in     input array
 */
350
ir_node *be_new_Return(dbg_info *dbg, ir_graph *irg, ir_node *bl, int n_res, unsigned pop, int n, ir_node *in[]);
351
352

/** Returns the number of real returns values */
353
354
int be_Return_get_n_rets(const ir_node *ret);

Michael Beck's avatar
Michael Beck committed
355
356
357
358
359
/**
 * Return the number of bytes that should be popped from stack when executing the Return.
 *
 * @param ret  the be_Return node
 */
360
unsigned be_Return_get_pop(const ir_node *ret);
361

362
363
364
/** appends a node to the return node, returns the position of the node */
int be_Return_append_node(ir_node *ret, ir_node *node);

Sebastian Hack's avatar
Sebastian Hack committed
365
ir_node *be_new_RegParams(ir_graph *irg, ir_node *bl, int n_out);
Sebastian Hack's avatar
Sebastian Hack committed
366

367
ir_node *be_new_Barrier(ir_graph *irg, ir_node *bl, int n, ir_node *in[]);
Sebastian Hack's avatar
Sebastian Hack committed
368

369
370
371
372
373
374
375
376
377
378
/**
 * Appends a node to a barrier, returns the result proj of the node
 */
ir_node *be_Barrier_append_node(ir_node *barrier, ir_node *node);

/**
 * Appends a register out requirement to a RegParams node
 *
 * @returns the proj node for the new register
 */
379
380
ir_node *be_RegParams_append_out_reg(ir_node *regparams,
                                     const arch_env_t *arch_env,
381
382
                                     const arch_register_t *reg);

Sebastian Hack's avatar
Sebastian Hack committed
383
/**
384
 * Make a spill node.
Sebastian Hack's avatar
Sebastian Hack committed
385
386
387
388
389
390
 *
 * @param arch_env  The architecture environment.
 * @param irn       The node to be spilled.
 * @param spill_ctx The context in which the spill is introduced (This is mostly == irn up to the case of Phis).
 * @return          The new spill node.
 */
391
ir_node *be_spill(const arch_env_t *arch_env, ir_node *block, ir_node *irn);
Sebastian Hack's avatar
Sebastian Hack committed
392
393
394
395
396
397
398
399
400
401
402
403

/**
 * Make a reload and insert it into the schedule.
 *
 * @param arch_env The architecture environment.
 * @param cls      The register class of the reloaded value.
 * @param insert   The node in the schedule in front of which the reload is inserted.
 * @param mode     The mode of the original (spilled) value.
 * @param spill    The spill node corresponding to this reload.
 * @return         A freshly made reload.
 */
ir_node *be_reload(const arch_env_t *arch_env, const arch_register_class_t *cls, ir_node *insert, ir_mode *mode, ir_node *spill);
Sebastian Hack's avatar
Sebastian Hack committed
404

Sebastian Hack's avatar
Sebastian Hack committed
405
406
407
enum {
	be_pos_CopyKeep_op = 0
};
Sebastian Hack's avatar
Sebastian Hack committed
408
409
ir_node *be_new_CopyKeep(const arch_register_class_t *cls, ir_graph *irg, ir_node *bl, ir_node *src, int n, ir_node *in_keep[], ir_mode *mode);
ir_node *be_new_CopyKeep_single(const arch_register_class_t *cls, ir_graph *irg, ir_node *bl, ir_node *src, ir_node *keep, ir_mode *mode);
410
411
ir_node *be_get_CopyKeep_op(const ir_node *cpy);
void be_set_CopyKeep_op(ir_node *cpy, ir_node *op);
Sebastian Hack's avatar
Sebastian Hack committed
412

Michael Beck's avatar
Michael Beck committed
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
/**
 * Position numbers for the be_Unwind inputs.
 */
enum {
	be_pos_Unwind_mem  = 0,     /**< memory input of a be_Unwind node */
	be_pos_Unwind_sp   = 1,     /**< stack pointer input of a be_Unwind node */
};

/**
 * Construct a new be_Unwind.
 *
 * @param dbg    debug info
 * @param irg    the graph where the new node will be placed
 * @param bl     the block where the new node will be placed
 * @param mem    the memory input
 * @param sp     the stack pointer input
 */
ir_node *be_new_Unwind(dbg_info *dbg, ir_graph *irg, ir_node *bl, ir_node *mem, ir_node *sp);

ir_node *be_get_Unwind_mem(const ir_node *irn);
ir_node *be_get_Unwind_sp(const ir_node *irn);

Sebastian Hack's avatar
Sebastian Hack committed
435
436
437
438
439
/**
 * Get the backend opcode of a backend node.
 * @param irn The node.
 * @return The backend opcode.
 */
Sebastian Hack's avatar
Sebastian Hack committed
440
441
be_opcode_t be_get_irn_opcode(const ir_node *irn);

442
443
444
445
int be_is_Spill(const ir_node *irn);
int be_is_Reload(const ir_node *irn);
int be_is_Copy(const ir_node *irn);
int be_is_Perm(const ir_node *irn);
Matthias Braun's avatar
Matthias Braun committed
446
int be_is_MemPerm(const ir_node *irn);
Sebastian Hack's avatar
Sebastian Hack committed
447
int be_is_Keep(const ir_node *irn);
Sebastian Hack's avatar
Sebastian Hack committed
448
int be_is_CopyKeep(const ir_node *irn);
Sebastian Hack's avatar
Sebastian Hack committed
449
int be_is_Call(const ir_node *irn);
450
int be_is_Return(const ir_node *irn);
Sebastian Hack's avatar
Sebastian Hack committed
451
int be_is_IncSP(const ir_node *irn);
Sebastian Hack's avatar
Sebastian Hack committed
452
int be_is_AddSP(const ir_node *irn);
453
int be_is_SubSP(const ir_node *irn);
Sebastian Hack's avatar
Sebastian Hack committed
454
int be_is_RegParams(const ir_node *irn);
Christian Würdig's avatar
Christian Würdig committed
455
int be_is_FrameAddr(const ir_node *irn);
456
int be_is_Barrier(const ir_node *irn);
Michael Beck's avatar
Michael Beck committed
457
int be_is_Unwind(const ir_node *irn);
Sebastian Hack's avatar
Sebastian Hack committed
458

459
/**
Michael Beck's avatar
Michael Beck committed
460
 * Returns the frame entity of a be node.
461
 * Try to avoid this function and better call arch_get_frame_entity!
462
 *
Michael Beck's avatar
Michael Beck committed
463
 * @return the frame entity used by the be node
464
 */
465
466
467
468
469
470
ir_entity *be_get_frame_entity(const ir_node *irn);

/**
 * Returns the frame offset of this node.
 */
int be_get_frame_offset(const ir_node *irn);
471
472

ir_node* be_get_Reload_mem(const ir_node *irn);
473
ir_node *be_get_Reload_frame(const ir_node *irn);
474
ir_node* be_get_Spill_val(const ir_node *irn);
475
ir_node *be_get_Spill_frame(const ir_node *irn);
476

477
478
void be_set_MemPerm_in_entity(const ir_node *irn, int n, ir_entity* ent);
ir_entity *be_get_MemPerm_in_entity(const ir_node *irn, int n);
Matthias Braun's avatar
Matthias Braun committed
479

480
481
void be_set_MemPerm_out_entity(const ir_node *irn, int n, ir_entity* ent);
ir_entity *be_get_MemPerm_out_entity(const ir_node *irn, int n);
482

483
484
int be_get_MemPerm_entity_arity(const ir_node *irn);

Sebastian Hack's avatar
Sebastian Hack committed
485
486
487
488
489
490
491
/**
 * Impose a register constraint on a backend node.
 * @param irn The node.
 * @param pos The position of the argument/result. Results range from -1..-m and arguments form 0..n
 * @param reg The register which is admissible for that node, argument/result and position.
 */
void be_set_constr_single_reg(ir_node *irn, int pos, const arch_register_t *reg);
492

493
/**
494
495
496
497
498
499
 * Impose register constraints on a backend node.
 * The register subsets given by the limited function in @p req are copied to the backend node.
 * This requires that the constraint type of the @p req is arch_register_req_type_limited.
 * @param irn The backend node.
 * @param pos The position (@see be_set_constr_single_reg()).
 * @param req The register requirements which shall be transferred.
500
 */
501
void be_set_constr_limited(ir_node *irn, int pos, const arch_register_req_t *req);
502

Sebastian Hack's avatar
Sebastian Hack committed
503
504
505
506
507
508
/**
 * Set the flags of a node.
 * @param irn The node itself.
 * @param pos The position (0..n) for arguments, (-1..-m) for results.
 * @param flags The flags to set for that node and position.
 */
Sebastian Hack's avatar
Sebastian Hack committed
509
510
void be_node_set_flags(ir_node *irn, int pos, arch_irn_flags_t flags);

511
512
void be_node_add_flags(ir_node *irn, int pos, arch_irn_flags_t flags);

Sebastian Hack's avatar
Sebastian Hack committed
513
514
515
516
517
518
/**
 * Set the register class of a node.
 * @param irn The node itself.
 * @param pos The position (0..n) for arguments, (-1..-m) for results.
 * @param flags The register class to set for that node and position.
 */
Sebastian Hack's avatar
Sebastian Hack committed
519
520
void be_node_set_reg_class(ir_node *irn, int pos, const arch_register_class_t *cls);

Christian Würdig's avatar
Christian Würdig committed
521
522
523
524
525
526
527
528
/**
 * Set the register requirement type of a node.
 * @param irn The node itself.
 * @param pos The position (0..n) for arguments, (-1..-m) for results.
 * @param flags The register requirement type to set for that node and position.
 */
void be_node_set_req_type(ir_node *irn, int pos, arch_register_req_type_t type);

529
/**
Sebastian Hack's avatar
Sebastian Hack committed
530
531
532
 * Make a new phi handler.
 * @param env The architecture environment.
 * @return A new phi handler.
533
 */
Sebastian Hack's avatar
Sebastian Hack committed
534
arch_irn_handler_t *be_phi_handler_new(const arch_env_t *arch_env);
Sebastian Hack's avatar
Sebastian Hack committed
535

Sebastian Hack's avatar
Sebastian Hack committed
536
537
538
539
540
541
542
543
544
545
546
547
/**
 * Free a phi handler.
 * @param handler The handler to free.
 */
void be_phi_handler_free(arch_irn_handler_t *handler);

/**
 * Reset the register data in the phi handler.
 * This should be called on each new graph and deletes the register information of the current graph.
 */
void be_phi_handler_reset(arch_irn_handler_t *handler);

548
549
550
551
552
553
/**
 * Set the register requirements for a phi node.
 */
void be_set_phi_reg_req(const arch_env_t *arch_env, ir_node *phi,
                        const arch_register_req_t *req);

554
555
556
557
558
559
/*
 * Set flags for a phi node
 */
void be_set_phi_flags(const arch_env_t *arch_env, ir_node *phi,
                      arch_irn_flags_t flags);

Sebastian Hack's avatar
Sebastian Hack committed
560
561
562
563
/**
 * irn handler for common be nodes.
 */
extern const arch_irn_handler_t be_node_irn_handler;
Sebastian Hack's avatar
Sebastian Hack committed
564

Christian Würdig's avatar
Christian Würdig committed
565
#endif /* FIRM_BE_BENODE_T_H */