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