cleanup comments in public headers
[libfirm] / include / libfirm / irnode.h
1 /*
2  * Copyright (C) 1995-2008 University of Karlsruhe.  All right reserved.
3  *
4  * This file is part of libFirm.
5  *
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.
10  *
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.
14  *
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
17  * PURPOSE.
18  */
19
20 /**
21  * @file
22  * @brief   Representation of an intermediate operation.
23  * @author  Martin Trapp, Christian Schaefer, Goetz Lindenmaier, Michael Beck
24  * @version $Id$
25  */
26 #ifndef FIRM_IR_IRNODE_H
27 #define FIRM_IR_IRNODE_H
28
29 #include <stddef.h>
30
31 #include "firm_common.h"
32 #include "typerep.h"
33 #include "irop.h"
34 #include "irmode.h"
35 #include "begin.h"
36 #include "nodeops.h"
37
38 /**
39  * @defgroup ir_node Declarations of an ir node.
40  *
41  * The type definition of ir_node is also in irgraph.h to resolve
42  *  recursion between irnode.h and irgraph.h
43  *
44  * ir_node - a datatype representing a Firm node
45  *
46  *  The common fields are:
47  *
48  *  - arity     - The number of predecessors in the Firm graph.
49  *  - in        - A list with the predecessors in the Firm graph.  There are
50  *                routines to access individual elements and to obtain the
51  *                array.  The method returning the array should not be used.
52  *  - mode      - The mode of the node.  There are routines to get the mode
53  *                but also to access the mode's fields directly.
54  *  - opcode    - The opcode of the node. There are routines to get the opcode
55  *                but also to access the opcode's fields directly.
56  *  - node_nr   - A unique number for the node.  Available only if debugging
57  *                is turned on.
58  * @{
59  */
60
61 /**
62  * Checks whether a pointer points to a ir node. This is guessed by looking
63  * at the few bytes of the thing. Most things used in firm have a firm_kind
64  * attribute there. This function might falsely return true though for things
65  * without a firm_kind at the beginning.
66  *
67  * @param thing   an arbitrary pointer
68  * @return        non-zero if the thing is a ir mode, else zero
69  */
70 FIRM_API int is_ir_node(const void *thing);
71
72 /**
73  * Returns the number of predecessors without the block predecessor.
74  *
75  * @param node   the IR-node
76  */
77 FIRM_API int get_irn_arity(const ir_node *node);
78
79 /**
80  * Get the n-th predecessor of a node.
81  * This function removes Id predecessors.
82  */
83 FIRM_API ir_node *get_irn_n(const ir_node *node, int n);
84
85 /**
86  * Replaces the old in array by a new one that will contain the ins given in
87  * the parameters. Conserves the block predecessor. It copies the array passed.
88  * This function is necessary to adjust in arrays of blocks, calls and phis.
89  * Assumes that current_ir_graph is set to the graph containing "node".
90  * "in" must contain all predecessors except the block that are required for
91  * the nodes opcode. */
92 FIRM_API void set_irn_in(ir_node *node, int arity, ir_node *in[]);
93
94 /**
95  * Add a artificial dependency to the node.
96  * The dependency is only inserted if it is not there already.
97  * This is only allowed in phase_backend!
98  *
99  * @param node The node.
100  * @param dep  The dependency target.
101  *
102  * @return The index in the array (get_irn_dep with that index returns @p dep).
103  */
104 FIRM_API int add_irn_dep(ir_node *node, ir_node *dep);
105
106 /**
107  * Copy all dependencies from a node to another.
108  * This is only allowed in phase_backend!
109  *
110  * @param tgt The node which should be enriched.
111  * @param src The node whose dependencies shall be copied.
112  */
113 FIRM_API void add_irn_deps(ir_node *tgt, ir_node *src);
114
115 /**
116  * Get the length of the dependency array.
117  * @param node The node.
118  * @return The length of the dependency array or 0 if it has not yet been allocated.
119  */
120 FIRM_API int get_irn_deps(const ir_node *node);
121
122 /**
123  * Get an entry of the dependency array.
124  * @param node The node.
125  * @param pos  The position.
126  * @return The node at that position.
127  */
128 FIRM_API ir_node *get_irn_dep(const ir_node *node, int pos);
129
130 /**
131  * Set an entry of the dependency array.
132  * @param node The node.
133  * @param pos  The position.
134  * @param dep  The dependency target.
135  */
136 FIRM_API void set_irn_dep(ir_node *node, int pos, ir_node *dep);
137
138 /** Replace the n-th predecessor of a node with a new one. */
139 FIRM_API void set_irn_n(ir_node *node, int n, ir_node *in);
140 /**
141  * Appends a new predecessor to a node. This only works for nodes with
142  * variable arity!
143  * @returns   the number of the new input
144  */
145 FIRM_API int add_irn_n(ir_node *node, ir_node *in);
146 /** Remove predecessor i from Sync n */
147 FIRM_API void del_Sync_n(ir_node *n, int i);
148 /** Sets the mode struct of node.  */
149 FIRM_API void set_irn_mode(ir_node *node, ir_mode *mode);
150 /** Gets the mode struct of a node.  */
151 FIRM_API ir_mode *get_irn_mode(const ir_node *node);
152 /** Gets the opcode struct of the node. */
153 FIRM_API ir_op *get_irn_op(const ir_node *node);
154 /** Sets the opcode struct of the node. */
155 FIRM_API void set_irn_op(ir_node *node, ir_op *op);
156 /** Gets the opcode-enum of the node. */
157 FIRM_API unsigned get_irn_opcode(const ir_node *node);
158 /** Get the string representation of the opcode. */
159 FIRM_API const char *get_irn_opname(const ir_node *node);
160 /** Get the ident for a string representation of the opcode. */
161 FIRM_API ident *get_irn_opident(const ir_node *node);
162 /** If arg is an argument of the node, returns its position, -1 otherwise */
163 FIRM_API int get_irn_pred_pos(ir_node *node, ir_node *arg);
164 /** Gets the visited counter of a node. */
165 FIRM_API ir_visited_t get_irn_visited(const ir_node *node);
166 /** Sets the visited counter of a node. */
167 FIRM_API void set_irn_visited(ir_node *node, ir_visited_t visited);
168 /** Sets visited to get_irg_visited(current_ir_graph). */
169 FIRM_API void mark_irn_visited(ir_node *node);
170 /** Returns 1 if visited >= get_irg_visited(current_ir_graph). */
171 FIRM_API int irn_visited(const ir_node *node);
172 /** Returns 1 if visited >= get_irg_visited(current_ir_graph). Marks the node
173  * visited, if it was not. */
174 FIRM_API int irn_visited_else_mark(ir_node *node);
175
176 /**
177  * Sets the link of a node.
178  * Only allowed if the graph is NOT in phase_building.
179  */
180 FIRM_API void set_irn_link(ir_node *node, void *link);
181
182 /** Returns the link of a node.  */
183 FIRM_API void *get_irn_link(const ir_node *node);
184
185 /** Returns the ir_graph this node belongs to. */
186 FIRM_API ir_graph *get_irn_irg(const ir_node *node);
187
188 /** Outputs a unique number for this node if libFIRM is compiled for
189    debugging, (configure with --enable-debug) else returns address
190    of node cast to long. */
191 FIRM_API long get_irn_node_nr(const ir_node *node);
192
193 /** Returns the pinned state of a node.
194  *
195  *  Returns whether the node _always_ must be pinned.
196  *  I.e., the node is not floating after global cse.
197  *
198  * @returns Either state op_pin_state_pinned or op_pin_state_floats.
199  */
200 FIRM_API op_pin_state get_irn_pinned(const ir_node *node);
201
202 /** Set pin state for nodes with op pin state op_pin_state_exc_pinned */
203 FIRM_API void set_irn_pinned(ir_node *node, op_pin_state state);
204
205 /** Returns whether the node is currently pinned.
206  *
207  * If get_irn_pinned returns op_pin_state_floats and the graph the
208  * node belongs to is in state op_poin_state_floats then this function
209  * returns 'floats', else 'pinned'.
210  */
211 FIRM_API op_pin_state is_irn_pinned_in_irg(const ir_node *node);
212
213 /**
214  * IR node constructor.
215  * Create a new IR node in irg, with an op, mode, arity and
216  * some incoming IR nodes.
217  * This constructor is used in every specific IR node constructor.
218  *
219  * @param db    Debug info.
220  * @param irg   IR-graph on with this new node should be constructed.
221  * @param block The block the new node belongs to
222  * @param op    The opcode of the new node.
223  * @param mode  The mode of the new node.
224  * @param arity The arity of the new node, <0 if can be changed dynamically.
225  * @param in    An array of arity predecessor nodes.
226  */
227 FIRM_API ir_node *new_ir_node(dbg_info *db, ir_graph *irg, ir_node *block,
228                               ir_op *op, ir_mode *mode,
229                               int arity, ir_node *const *in);
230
231 /**
232  * Return the block the node belongs to.  This is only
233  * possible for pinned nodes or if the graph is in pinned state.
234  * Otherwise the block may be incorrect.  This condition is
235  * now checked by an assertion.
236  *
237  * This works for all except Block.  It can return Blocks or the Bad node.
238  *
239  * To express the difference to access routines that work for all
240  * nodes we use infix "nodes" and do not name this function
241  * get_irn_block(). */
242 FIRM_API ir_node *get_nodes_block(const ir_node *node);
243
244 /** Sets the Block of a node. */
245 FIRM_API void set_nodes_block(ir_node *node, ir_node *block);
246
247 /** Test whether arbitrary node is frame pointer.
248  *
249  * Test whether arbitrary node is frame pointer, i.e. Proj(pn_Start_P_frame_base)
250  * from Start.  If so returns frame type, else Null. */
251 FIRM_API ir_type *is_frame_pointer(const ir_node *n);
252
253 /** Return the number of control flow predecessors of a block. */
254 FIRM_API int get_Block_n_cfgpreds(const ir_node *block);
255 /** Return the control flow predecessor of a block at a given position. */
256 FIRM_API ir_node *get_Block_cfgpred(const ir_node *block, int pos);
257 /** Set the control flow predecessor of a block at a given position. */
258 FIRM_API void set_Block_cfgpred(ir_node *block, int pos, ir_node *pred);
259
260 /**
261  * Return the position of the predecessor block pred in the inputs
262  * of the block block.
263  *
264  * @param block  the block
265  * @param pred   a predecessor block of block
266  *
267  * @return the position of pred in block or -1
268  *
269  * @note When using the old extended basic block form for blocks
270  * with exception exists, a predecessor block might have more
271  * than one position. In that case it is not specified, with is returned.
272  */
273 FIRM_API int get_Block_cfgpred_pos(const ir_node *block, const ir_node *pred);
274
275 /** Get the predecessor block.
276  *
277  *  Returns the block corresponding to the predecessor pos of block.
278  *
279  *  There are several ambiguities we resolve with this function:
280  *  - The direct predecessor can be a Proj, which is not pinned.
281  *    We walk from the predecessor to the next pinned node
282  *    (skip_Proj) and return the block that node is in.
283  *  - If we encounter the Bad node, this function does not return
284  *    Start block, but the Bad node.
285  */
286 FIRM_API ir_node *get_Block_cfgpred_block(const ir_node *node, int pos);
287
288 /** Return the matured flag of a block */
289 FIRM_API int get_Block_matured(const ir_node *block);
290 /** set the matured flag of a block. */
291 FIRM_API void set_Block_matured(ir_node *block, int matured);
292
293 /** A visited flag only for block nodes.
294  *  @see also: get_irn_visited() inc_irg_visited() inc_irg_block_visited()*/
295 FIRM_API ir_visited_t get_Block_block_visited(const ir_node *block);
296 /** set block visited flag */
297 FIRM_API void set_Block_block_visited(ir_node *block, ir_visited_t visit);
298
299 /** mark a block as visited by setting its visited counter */
300 FIRM_API void mark_Block_block_visited(ir_node *node);
301 /** returns 1 if a block is marked as visited */
302 FIRM_API int Block_block_visited(const ir_node *node);
303
304 /** Returns the extended basic block a block belongs to. */
305 FIRM_API ir_extblk *get_Block_extbb(const ir_node *block);
306 /** Sets the extended basic block a block belongs to. */
307 FIRM_API void set_Block_extbb(ir_node *block, ir_extblk *extblk);
308 /** Returns the ir_graph this Block belongs to. */
309 FIRM_API ir_graph *get_Block_irg(const ir_node *block);
310 /** Returns non-zero if the block has an entity assigned */
311 FIRM_API int has_Block_entity(const ir_node *block);
312 /** Returns the entity for a Block */
313 FIRM_API ir_entity *get_Block_entity(const ir_node *block);
314 /** Returns the entity for a Block (creating it if necessary) */
315 FIRM_API ir_entity *create_Block_entity(ir_node *block);
316 /** Set a new entity for a block */
317 FIRM_API void set_Block_entity(ir_node *block, ir_entity *entity);
318 /** Gets the head of the Phi list for this block. */
319 FIRM_API ir_node *get_Block_phis(const ir_node *block);
320 /** Sets the head of the Phi list for this block. */
321 FIRM_API void set_Block_phis(ir_node *block, ir_node *phi);
322 /** Add a Phi node to the list of Block Phi's. */
323 FIRM_API void add_Block_phi(ir_node *block, ir_node *phi);
324 /** Get the Block mark (single bit). */
325 FIRM_API unsigned get_Block_mark(const ir_node *block);
326 /** Set the Block mark (single bit). */
327 FIRM_API void set_Block_mark(ir_node *block, unsigned mark);
328
329 /** Return the number of Keep alive node. */
330 FIRM_API int get_End_n_keepalives(const ir_node *end);
331 /** Return the Keep alive node a position pos. */
332 FIRM_API ir_node *get_End_keepalive(const ir_node *end, int pos);
333 /** Keep alive dedicated nodes.  These must be either PhiM or Block nodes. */
334 FIRM_API void add_End_keepalive(ir_node *end, ir_node *ka);
335 /** Set the Keep alive node at position pos. */
336 FIRM_API void set_End_keepalive(ir_node *end, int pos, ir_node *ka);
337
338 /**
339  * Set new keep-alives.
340  * Beware: This might be an expensive operation if dynamic edges are enabled,
341  * so avoid it in the backend.
342  */
343 FIRM_API void set_End_keepalives(ir_node *end, int n, ir_node *in[]);
344
345 /** Remove irn from the keep-alive set. */
346 FIRM_API void remove_End_keepalive(ir_node *end, ir_node *irn);
347
348 /** Remove Bads, NoMem and doublets from the keep-alive set. */
349 FIRM_API void remove_End_Bads_and_doublets(ir_node *end);
350
351 /** Some parts of the End node are allocated separately -- their memory
352    is not recovered by dead_node_elimination if a End node is dead.
353    free_End() frees these data structures. */
354 FIRM_API void free_End(ir_node *end);
355
356 FIRM_API ir_node **get_Return_res_arr(ir_node *node);
357 FIRM_API size_t    get_Return_n_ress(const ir_node *node);
358 FIRM_API ir_node  *get_Return_res(const ir_node *node, int pos);
359 FIRM_API void      set_Return_res(ir_node *node, int pos, ir_node *res);
360
361 /** Return non-zero if the given Const node represents the 0 constant. */
362 FIRM_API int is_Const_null(const ir_node *node);
363
364 /** Return non-zero if the given Const node represents the 1 constant. */
365 FIRM_API int is_Const_one(const ir_node *node);
366
367 /** Return non-zero if the given Const node represents the constant with all bits set. */
368 FIRM_API int is_Const_all_one(const ir_node *node);
369
370 /** Returns true if a node is a Conv node with strict attribute set. */
371 FIRM_API int is_strictConv(const ir_node *node);
372
373 /** Returns true if node is a SymConst node with kind symconst_addr_ent. */
374 FIRM_API int is_SymConst_addr_ent(const ir_node *node);
375
376 /** Returns non-zero if s symconst kind has a type attribute */
377 #define SYMCONST_HAS_TYPE(kind) ((kind) <= symconst_type_align)
378
379 /** Returns non-zero if s symconst kind has an entity attribute */
380 #define SYMCONST_HAS_ENT(kind) ((kind) == symconst_addr_ent || (kind) == symconst_ofs_ent)
381
382 /** Returns non-zero if s symconst kind has an enum_const attribute */
383 #define SYMCONST_HAS_ENUM(kind) ((kind) == symconst_enum_const)
384
385 /** Get the kind of the SymConst. */
386 FIRM_API symconst_kind get_SymConst_kind(const ir_node *node);
387 /** Set the kind of the SymConst. */
388 FIRM_API void          set_SymConst_kind(ir_node *node, symconst_kind num);
389
390 /** Only to access SymConst of kind type_tag or size.  Else assertion: */
391 FIRM_API ir_type  *get_SymConst_type(const ir_node *node);
392 FIRM_API void     set_SymConst_type(ir_node *node, ir_type *tp);
393
394 /** Only to access SymConst of kind addr_ent.  Else assertion: */
395 FIRM_API ir_entity *get_SymConst_entity(const ir_node *node);
396 FIRM_API void       set_SymConst_entity(ir_node *node, ir_entity *ent);
397
398 /** Only to access SymConst of kind symconst_enum_const.  Else assertion: */
399 FIRM_API ir_enum_const *get_SymConst_enum(const ir_node *node);
400 FIRM_API void           set_SymConst_enum(ir_node *node, ir_enum_const *ec);
401
402 FIRM_API union symconst_symbol get_SymConst_symbol(const ir_node *node);
403 FIRM_API void                  set_SymConst_symbol(ir_node *node,
404                                                    union symconst_symbol sym);
405
406 FIRM_API ir_node   **get_Sel_index_arr(ir_node *node);
407 FIRM_API int        get_Sel_n_indexs(const ir_node *node);
408 FIRM_API ir_node   *get_Sel_index(const ir_node *node, int pos);
409 FIRM_API void       set_Sel_index(ir_node *node, int pos, ir_node *index);
410
411 FIRM_API ir_node **get_Call_param_arr(ir_node *node);
412 /** Gets the number of parameters of a call. */
413 FIRM_API size_t   get_Call_n_params(const ir_node *node);
414 /** Gets the call parameter at position pos. */
415 FIRM_API ir_node *get_Call_param(const ir_node *node, int pos);
416 /** Sets the call parameter at position pos. */
417 FIRM_API void     set_Call_param(ir_node *node, int pos, ir_node *param);
418
419 /** Set, get and remove the callee information for a Call node.
420  *
421  *  The callee information lists all method entities that can be called
422  *  from this node.  If the address expression can not be analyzed fully,
423  *  e.g., as entities can be called that are not in the compilation unit,
424  *  the array contains the unknown_entity.  The array contains only entities
425  *  with peculiarity_existent, but with all kinds of visibility.  The entities
426  *  not necessarily contain an irg.
427  *
428  *  The array is only accessible if callee information is valid.  See flag
429  *  in graph.
430  *
431  *  The memory allocated for the array is managed automatically, i.e., it must
432  *  not be freed if the Call node is removed from the graph.
433  *
434  *  @param node A Call node.
435  */
436 FIRM_API int        Call_has_callees(const ir_node *node);
437 FIRM_API size_t     get_Call_n_callees(const ir_node *node);
438 FIRM_API ir_entity *get_Call_callee(const ir_node *node, size_t pos);
439
440 /** Set the full callee array.
441  *
442  *  The passed array is copied. Assumes current_ir_graph set properly! */
443 FIRM_API void set_Call_callee_arr(ir_node *node, size_t n, ir_entity **arr);
444 FIRM_API void remove_Call_callee_arr(ir_node *node);
445
446 FIRM_API ir_node         **get_Builtin_param_arr(ir_node *node);
447 /** Gets the number of parameters of a Builtin. */
448 FIRM_API int             get_Builtin_n_params(const ir_node *node);
449 /** Gets the Builtin parameter at position pos. */
450 FIRM_API ir_node         *get_Builtin_param(const ir_node *node, int pos);
451 /** Sets the Builtin parameter at position pos. */
452 FIRM_API void            set_Builtin_param(ir_node *node, int pos, ir_node *param);
453 /** Returns a human readable string for the ir_builtin_kind. */
454 FIRM_API const char *get_builtin_kind_name(ir_builtin_kind kind);
455
456 FIRM_API int      is_unop(const ir_node *node);
457 FIRM_API ir_node *get_unop_op(const ir_node *node);
458 FIRM_API void     set_unop_op(ir_node *node, ir_node *op);
459 FIRM_API int      is_binop(const ir_node *node);
460 FIRM_API ir_node *get_binop_left(const ir_node *node);
461 FIRM_API void     set_binop_left(ir_node *node, ir_node *left);
462 FIRM_API ir_node *get_binop_right(const ir_node *node);
463 FIRM_API void     set_binop_right(ir_node *node, ir_node *right);
464
465 /**
466  * Test wether a node is the X_except Proj of a fragile operation
467  */
468 FIRM_API int      is_x_except_Proj(const ir_node *node);
469
470 /**
471  * Test wether a node is the X_regular Proj of a fragile operation
472  */
473 FIRM_API int      is_x_regular_Proj(const ir_node *node);
474
475 /**
476  * Set throws exception attribute of a fragile node
477  * @p throws_exception must be 0 or 1
478  */
479 FIRM_API void     ir_set_throws_exception(ir_node *node, int throws_exception);
480
481 /**
482  * Returns throws_exception attribute of a fragile node
483  */
484 FIRM_API int      ir_throws_exception(const ir_node *node);
485
486 /** returns the name of an ir_relation */
487 FIRM_API const char *get_relation_string(ir_relation relation);
488
489 /** Calculates the negated (Complement(R)) relation, i.e. "<" --> ">=" */
490 FIRM_API ir_relation get_negated_relation(ir_relation relation);
491
492 /** Calculates the inversed (R^-1) relation, i.e., "<" --> ">" */
493 FIRM_API ir_relation get_inversed_relation(ir_relation relation);
494
495 /** Checks for upcast.
496  *
497  * Returns true if the Cast node casts a class type to a super type.
498  * Works also for pointers to classes (recursively).
499  *
500  * Needs typeinfo calculated.
501  */
502 FIRM_API int is_Cast_upcast(ir_node *node);
503
504 /** Checks for downcast.
505  *
506  * Returns true if the Cast node casts a class type to a sub type.
507  * Works also for pointers to classes (recursively).
508  *
509  * Needs typeinfo calculated.
510  */
511 FIRM_API int is_Cast_downcast(ir_node *node);
512
513 /** Returns true if irg in phase phase_building and the Phi has zero
514    predecessors. It's a Phi0 then. */
515 FIRM_API int       is_Phi0(const ir_node *n);
516 FIRM_API ir_node **get_Phi_preds_arr(ir_node *node);
517 FIRM_API int       get_Phi_n_preds(const ir_node *node);
518 FIRM_API ir_node  *get_Phi_pred(const ir_node *node, int pos);
519 FIRM_API void      set_Phi_pred(ir_node *node, int pos, ir_node *pred);
520 /**
521  * Returns the next element of a block phi list.
522  */
523 FIRM_API ir_node  *get_Phi_next(const ir_node *phi);
524 /**
525  * Sets the next link of a block Phi list.
526  */
527 FIRM_API void      set_Phi_next(ir_node *phi, ir_node *next);
528
529 /** Return true if parameter is a memory operation.
530  *
531  *  A memory operation is an operation that changes the
532  *  memory.  I.e., a Load or a Store operation.
533  */
534 FIRM_API int      is_memop(const ir_node *node);
535 FIRM_API ir_node *get_memop_mem(const ir_node *node);
536 FIRM_API void     set_memop_mem(ir_node *node, ir_node *mem);
537 FIRM_API ir_node *get_memop_ptr(const ir_node *node);
538 FIRM_API void     set_memop_ptr(ir_node *node, ir_node *ptr);
539
540 FIRM_API ir_node **get_Sync_preds_arr(ir_node *node);
541 FIRM_API int       get_Sync_n_preds(const ir_node *node);
542 FIRM_API ir_node  *get_Sync_pred(const ir_node *node, int pos);
543 FIRM_API void      set_Sync_pred(ir_node *node, int pos, ir_node *pred);
544 FIRM_API void      add_Sync_pred(ir_node *node, ir_node *pred);
545
546 /**
547  * Returns non-zero if a node is a routine parameter.
548  *
549  * @param node  the Proj node to test
550  */
551 FIRM_API int is_arg_Proj(const ir_node *node);
552
553 FIRM_API ir_node **get_Tuple_preds_arr(ir_node *node);
554 FIRM_API int       get_Tuple_n_preds(const ir_node *node);
555 FIRM_API ir_node  *get_Tuple_pred(const ir_node *node, int pos);
556 FIRM_API void      set_Tuple_pred(ir_node *node, int pos, ir_node *pred);
557
558 /** Return the number of input constraints for an ASM node. */
559 FIRM_API int get_ASM_n_input_constraints(const ir_node *node);
560 /** Return the number of output constraints for an ASM node.  */
561 FIRM_API int get_ASM_n_output_constraints(const ir_node *node);
562 /** Return the number of clobbered registers for an ASM node.  */
563 FIRM_API int get_ASM_n_clobbers(const ir_node *node);
564
565 /** Returns operand of node if node is a Proj. */
566 FIRM_API ir_node *skip_Proj(ir_node *node);
567 /** Returns operand of node if node is a Proj. */
568 FIRM_API const ir_node *skip_Proj_const(const ir_node *node);
569 /** Returns operand of node if node is a Id. */
570 FIRM_API ir_node *skip_Id(ir_node *node);
571 /** Returns corresponding operand of Tuple if node is a Proj from a Tuple. */
572 FIRM_API ir_node *skip_Tuple(ir_node *node);
573 /** Returns operand of node if node is a Cast. */
574 FIRM_API ir_node *skip_Cast(ir_node *node);
575 FIRM_API const ir_node *skip_Cast_const(const ir_node *node);
576 /** Returns operand of node if node is a Pin. */
577 FIRM_API ir_node *skip_Pin(ir_node *node);
578 /** Returns operand of node if node is a Confirm */
579 FIRM_API ir_node *skip_Confirm(ir_node *node);
580 /** Skip all high-level Operations (including Cast, Confirm). */
581 FIRM_API ir_node *skip_HighLevel_ops(ir_node *node);
582 /** Returns true if the operation manipulates control flow */
583 FIRM_API int is_cfop(const ir_node *node);
584 /** returns true if the operation jumps to an unknown destination.
585  * See irop_flag_unknown_jump for a detailed explanation */
586 FIRM_API int is_unknown_jump(const ir_node *node);
587
588 /**
589  * Returns true if the operation can change the control flow because
590  * of an exception: Call, Div, Mod, Load, Store, Alloc,
591  * Bad. Raise is not fragile, but a unconditional jump.
592  */
593 FIRM_API int is_fragile_op(const ir_node *node);
594 /** Returns the memory operand of fragile operations. */
595 FIRM_API ir_node *get_fragile_op_mem(ir_node *node);
596
597 /** Returns true if the operation is a forking control flow
598  *  operation: Cond. */
599 FIRM_API int is_irn_forking(const ir_node *node);
600
601 /**
602  * Copies attributes stored in the old node to a new node.
603  * Assumes both have the same opcode and sufficient size.
604  *
605  * @param irg       The irg of the new_node (get_irn_irg on it might not work
606  *                  yet)
607  * @param old_node  the node where the attributes are copied from
608  * @param new_node  node the attributes get copies to.
609  *
610  * This copies all essential information to the new node. It does not copy
611  * temporal or calculated information like visited flags or results of dominance
612  * or loop calculations
613  */
614 FIRM_API void copy_node_attr(ir_graph *irg, const ir_node *old_node, ir_node *new_node);
615
616 /** Return the type attribute of a node n (SymConst, Call, Alloc, Free,
617  *  Cast) or NULL.*/
618 FIRM_API ir_type *get_irn_type_attr(ir_node *n);
619
620 /** Return the entity attribute of a node n (SymConst, Sel) or NULL. */
621 FIRM_API ir_entity *get_irn_entity_attr(ir_node *n);
622
623 /** Returns non-zero for constant-like nodes. */
624 FIRM_API int is_irn_constlike(const ir_node *node);
625
626 /**
627  * Returns non-zero for nodes that are allowed to have keep-alives and
628  * are neither Block nor PhiM.
629  */
630 FIRM_API int is_irn_keep(const ir_node *node);
631
632 /**
633  * Returns non-zero for nodes that are always placed in the start block.
634  */
635 FIRM_API int is_irn_start_block_placed(const ir_node *node);
636
637 /**
638  * Returns non-zero for nodes that are machine operations.
639  */
640 FIRM_API int is_irn_machine_op(const ir_node *node);
641
642 /**
643  * Returns non-zero for nodes that are machine operands.
644  */
645 FIRM_API int is_irn_machine_operand(const ir_node *node);
646
647 /**
648  * Returns non-zero for nodes that have the n'th user machine flag set.
649  */
650 FIRM_API int is_irn_machine_user(const ir_node *node, unsigned n);
651
652 /**
653  * Returns non-zero for nodes that are CSE neutral to its users.
654  */
655 FIRM_API int is_irn_cse_neutral(const ir_node *node);
656
657 /** Gets the string representation of the jump prediction. */
658 FIRM_API const char *get_cond_jmp_predicate_name(cond_jmp_predicate pred);
659
660 /** Checks whether a node represents a global address. */
661 FIRM_API int is_Global(const ir_node *node);
662
663 /** Returns the entity of a global address. */
664 FIRM_API ir_entity *get_Global_entity(const ir_node *node);
665
666 /**
667  * Access custom node data.
668  * The data must have been registered with
669  * register_additional_node_data() before.
670  * @param node The ir node to get the data from.
671  * @param type The type of the data you registered.
672  * @param off The value returned by register_additional_node_data().
673  * @return A pointer of type @p type.
674  */
675 #define get_irn_data(node,type,off) \
676   (assert(off > 0 && "Invalid node data offset"), (type *) ((char *) (node) - (off)))
677
678 /**
679  * Get the pointer to the node some custom data belongs to.
680  * @param data The pointer to the custom data.
681  * @param off The number as returned by register_additional_node_data().
682  * @return A pointer to the ir node the custom data belongs to.
683  */
684 #define get_irn_data_base(data,off) \
685   (assert(off > 0 && "Invalid node data offset"), (ir_node *) ((char *) (data) + (off)))
686
687 /**
688  * Request additional data to be allocated with an ir node.
689  * @param size The size of the additional data required.
690  * @return A positive number, if the operation was successful, which
691  * must be passed to the access macro get_irn_data(), 0 if the
692  * registration failed.
693  */
694 FIRM_API unsigned firm_register_additional_node_data(unsigned size);
695
696 /**
697  * Return a pointer to the node attributes.
698  * Needed for user-defined nodes.
699  */
700 FIRM_API void *get_irn_generic_attr(ir_node *node);
701 FIRM_API const void *get_irn_generic_attr_const(const ir_node *node);
702
703 /**
704  * Returns the unique node index for the node in its graph.
705  * This index is used to access phase information for this node.
706  */
707 FIRM_API unsigned get_irn_idx(const ir_node *node);
708
709 /**
710  * Sets the debug information of a node.
711  *
712  * @param n   The node.
713  * @param db  The debug info.
714  */
715 FIRM_API void set_irn_dbg_info(ir_node *n, dbg_info *db);
716
717 /**
718  * Returns the debug information of an node.
719  *
720  * @param n   The node.
721  */
722 FIRM_API dbg_info *get_irn_dbg_info(const ir_node *n);
723
724 /**
725  * Calculate a hash value of a node. Only inputs, mode and opcode are used.
726  *
727  * @param node  the node to hash
728  */
729 FIRM_API unsigned firm_default_hash(const ir_node *node);
730
731 /**
732  * returns a descriptive name of a node (containing type+number)
733  */
734 FIRM_API const char *gdb_node_helper(void *firm_object);
735
736 /*@}*/
737
738 #include "end.h"
739
740 #endif