Rework linkage types in firm.
[libfirm] / include / libfirm / irdump.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   Write vcg representation of firm to file.
23  * @author  Martin Trapp, Christian Schaefer, Goetz Lindenmaier, Hubert Schmidt
24  * @version $Id$
25  * @brief
26  *  Dump routines for the ir graph and all type information.
27  *
28  *  The dump format of most functions is vcg.  This is a text based graph
29  *  representation. Some use the original format,
30  *  but most generate an extended format that is only read by some special
31  *  versions of xvcg or by the comercialized version now calles aiSee.
32  *  A test version of aiSee is available at
33  *   http://www.absint.de/aisee/download/index.htm.
34  *
35  *  We have developed an own advanced viewer called ycomp:
36  *    http://www.info.uni-karlsruhe.de/software.php/id=6&lang=en
37  *
38  *  Most routines use the name of the passed entity as the name of the
39  *  file dumped to.
40  */
41 #ifndef FIRM_IR_IRDUMP_H
42 #define FIRM_IR_IRDUMP_H
43
44 #include <stdio.h>
45
46 #include "firm_types.h"
47
48 /**
49  * Symbolic names for the different dumping colors.
50  */
51 typedef enum ird_color_t {
52         ird_color_prog_background,
53         ird_color_block_background,
54         ird_color_dead_block_background,
55         ird_color_block_inout,
56         ird_color_default_node,
57         ird_color_phi,
58         ird_color_memory,
59         ird_color_controlflow,
60         ird_color_const,
61         ird_color_anchor,
62         ird_color_proj,
63         ird_color_uses_memory,
64         ird_color_error,
65         ird_color_entity,
66         ird_color_count
67 } ird_color_t;
68
69 /**
70  * Edge kinds.
71  */
72 typedef enum {
73         data_edge           = 0x01,   /**< A data edge between two basic blocks. */
74         block_edge          = 0x02,   /**< An edge from a node to its basic block. */
75         cf_edge             = 0x03,   /**< A regularly control flow edge. */
76         exc_cf_edge         = 0x04,   /**< An exceptional control flow edge. */
77         mem_edge            = 0x05,   /**< A memory edge. */
78         dominator_edge      = 0x06,   /**< A dominator edge from a block to its immediate dominator. */
79         node2type_edge      = 0x07,   /**< An edge from an IR node to a type. */
80
81         ent_type_edge       = 0x11,   /**< An edge from an entity to its type. */
82         ent_own_edge        = 0x12,   /**< An edge from an entity to its owner type. */
83         ent_overwrites_edge = 0x13,   /**< An edge from an entity to the entity it overwrites. */
84         ent_value_edge      = 0x14,   /**< An edge from an entity to its value entity. */
85         ent_corr_edge       = 0x15,   /**< An edge from an entity to the member entity its initializes. */
86
87         meth_par_edge       = 0x21,   /**< An edge from a method type to one of its parameter types. */
88         meth_res_edge       = 0x22,   /**< An edge from a method type to one of its result types. */
89         type_super_edge     = 0x23,   /**< An edge from a class type to its super/basis type. */
90         union_edge          = 0x24,   /**< An edge from a union type to its member types. */
91         ptr_pts_to_edge     = 0x25,   /**< An edge from a pointer type to its points-to type. */
92         arr_elt_type_edge   = 0x26,   /**< An edge from an array type to its element type. */
93         arr_ent_edge        = 0x27,   /**< An edge from a array type to its element entity. */
94         type_member_edge    = 0x28,   /**< An edge from a compound type to its member entities. */
95
96         /* additional flags */
97         intra_edge          = 0,      /**< Intra edge flag: edge do not cross basic block boundaries */
98         inter_edge          = 0x40,   /**< Inter edge flag: edge cross basic block boundaries */
99         back_edge           = 0x80    /**< Backwards edge flag. */
100 } edge_kind;
101
102 /* **************************************************************************** */
103 /*                                 GRAPH DUMPERS                                */
104 /* **************************************************************************** */
105
106 /**
107  * This hook is called to insert some special nodes into dumped graph
108  */
109 typedef int (*DUMP_IR_GRAPH_FUNC)(FILE *F, ir_graph *irg);
110 /**
111  * This hook is called to dump the vcg attributes of a node to a file.
112  * If this function returns zero, the default attributes are added, else
113  * removed.
114  */
115 typedef int (*DUMP_NODE_VCGATTR_FUNC)(FILE *F, ir_node *node, ir_node *local);
116 /**
117  * This hook is called to dump the vcg attributes of an edge to a file.
118  * If this function returns zero, the default attributes are added, else
119  * removed.
120  */
121 typedef int (*DUMP_EDGE_VCGATTR_FUNC)(FILE *F, ir_node *node, int to);
122
123 /** Set the ir graph dump hook. */
124 void set_dump_ir_graph_hook(DUMP_IR_GRAPH_FUNC hook);
125 /** Set the node_vcgattr hook. */
126 void set_dump_node_vcgattr_hook(DUMP_NODE_VCGATTR_FUNC hook);
127 /** Set the edge_vcgattr hook. */
128 void set_dump_edge_vcgattr_hook(DUMP_EDGE_VCGATTR_FUNC hook);
129
130 typedef int (*DUMP_NODE_EDGE_FUNC)(FILE *f, ir_node *node);
131
132 /**
133  * Set the hook to be called to dump additional edges to a node.
134  * @param func The hook to be called.
135  */
136 void set_dump_node_edge_hook(DUMP_NODE_EDGE_FUNC func);
137
138 /**
139  * Get the additional edge dump hook.
140  * @return The current additional edge dump hook.]
141  */
142 DUMP_NODE_EDGE_FUNC get_dump_node_edge_hook(void);
143
144 /**
145  * Set the hook to be called to dump additional edges to a block.
146  * @param func The hook to be called.
147  */
148 void set_dump_block_edge_hook(DUMP_NODE_EDGE_FUNC func);
149
150 /**
151  * Get the additional block edge dump hook.
152  * @return The current additional block edge dump hook.
153  */
154 DUMP_NODE_EDGE_FUNC get_dump_block_edge_hook(void);
155
156 /** Dump a firm graph.
157  *
158  *  @param irg     The firm graph to be dumped.
159  *  @param suffix  A suffix for the file name.
160  *
161  *  @return
162  *     A file containing the firm graph in vcg format.
163  *
164  *  Dumps all Firm nodes of a single graph for a single procedure in
165  *  standard xvcg format.  Dumps the graph to a file.  The file name
166  *  is constructed from the name of the entity describing the
167  *  procedure (irg->entity) and the ending -pure<-ip>.vcg.  Eventually
168  *  overwrites existing files.  Visits all nodes in
169  *  interprocedural_view.
170  *
171  * @see turn_off_edge_labels()
172  */
173 void dump_ir_graph(ir_graph *irg, const char *suffix);
174 void dump_ir_graph_file(ir_graph *irg, FILE *out);
175
176 /** Dump a firm graph without explicit block nodes.
177  *
178  *  @param irg     The firm graph to be dumped.
179  *  @param suffix  A suffix for the file name.
180  *
181  *  @return
182  *     A file containing the firm graph in vcg format.
183  *
184  *  Dumps all Firm nodes of a single graph for a single procedure in
185  *  extended xvcg format.
186  *  Dumps the graph to a file.  The file name is constructed from the
187  *  name of the entity describing the procedure (irg->entity) and the
188  *  ending <-ip>.vcg.  Eventually overwrites existing files.  Dumps several
189  *  procedures in boxes if interprocedural_view.
190  *
191  * @see turn_off_edge_labels()
192  */
193 void dump_ir_block_graph(ir_graph *irg, const char *suffix);
194 void dump_ir_block_graph_file(ir_graph *irg, FILE *out);
195
196 /** Dump a firm graph without explicit block nodes but grouped in extended blocks.
197  *
198  *  @param irg   The firm graph to be dumped.
199  *
200  *  @return
201  *     A file containing the firm graph in vcg format.
202  *
203  *  Dumps all Firm nodes of a single graph for a single procedure in
204  *  extended xvcg format.
205  *  Dumps the graph to a file.  The file name is constructed from the
206  *  name of the entity describing the procedure (irg->entity) and the
207  *  ending <-ip>.vcg.  Eventually overwrites existing files.  Dumps several
208  *  procedures in boxes if interprocedural_view.
209  *
210  * @see turn_off_edge_labels()
211  */
212 void dump_ir_extblock_graph(ir_graph *irg, const char *suffix);
213 void dump_ir_extblock_graph_file(ir_graph *irg, FILE *out);
214
215 /** Dumps all graphs in interprocedural view to a file named All_graphs\<suffix\>.vcg.
216  *
217  * @param suffix  A suffix for the file name.
218  */
219 void dump_all_cg_block_graph(const char *suffix);
220
221 /** Dumps a firm graph and  all the type information needed for Calls,
222  *  Sels, ... in this graph.
223  *
224  *  @param irg     The firm graph to be dumped with its type information.
225  *  @param suffix  A suffix for the file name.
226  *
227  *  @return
228  *      A file containing the firm graph and the type information of the firm graph in vcg format.
229  *
230  *  Dumps the graph to a file.  The file name is constructed from the
231  *  name of the entity describing the procedure (irg->entity) and the
232  *  ending -all.vcg.  Eventually overwrites existing files.
233  *
234  * @see turn_off_edge_labels()
235  */
236 void dump_ir_graph_w_types(ir_graph *irg, const char *suffix);
237 void dump_ir_graph_w_types_file(ir_graph *irg, FILE *out);
238
239 /** Dumps a firm graph and  all the type information needed for Calls,
240  *  Sels, ... in this graph.
241  *
242  *  @param irg     The firm graph to be dumped with its type information.
243  *  @param suffix  A suffix for the file name.
244  *
245  *  @return
246  *      A file containing the firm graph and the type information of the firm graph in vcg format.
247  *
248  *  The graph is in blocked format.
249  *  Dumps the graph to a file.  The file name is constructed from the
250  *  name of the entity describing the procedure (irg->entity) and the
251  *  ending -all.vcg.  Eventually overwrites existing files.
252  *
253  * @see turn_off_edge_labels()
254  */
255 void dump_ir_block_graph_w_types(ir_graph *irg, const char *suffix);
256
257 /** The type of a dump function that is called for each graph.
258  *
259  *  @param irg     current visited graph
260  *  @param suffix  A suffix for the file name.
261  */
262 typedef void dump_graph_func(ir_graph *irg, const char *suffix);
263
264 /**
265  * A walker that calls a dumper for each graph.
266  *
267  * @param dump_graph    The dumper to be used for dumping.
268  * @param suffix        A suffix for the file name.
269  *
270  * @return
271  *      Whatever the dumper creates.
272  *
273  *  Walks over all firm graphs and  calls a dumper for each graph.
274  *  The following dumpers can be passed as arguments:
275  *   - dump_ir_graph()
276  *   - dump_ir_block_graph()
277  *   - dump_cfg()
278  *   - dump_type_graph()
279  *   - dump_ir_graph_w_types()
280  *
281  * @see turn_off_edge_labels()
282  */
283 void dump_all_ir_graphs(dump_graph_func *dump_graph, const char *suffix);
284
285 /**
286  * Creates an ir_prog pass for dump_all_ir_graphs().
287  *
288  * @param name          the name of this pass or NULL
289  * @param dump_graph    The dumper to be used for dumping.
290  * @param suffix        A suffix for the file name.
291  *
292  * @return  the newly created ir_prog pass
293  */
294 ir_prog_pass_t *dump_all_ir_graph_pass(
295         const char *name, dump_graph_func *dump_graph, const char *suffix);
296
297 /**
298  * Dump the control flow graph of a procedure.
299  *
300  * @param irg     The firm graph whose CFG shall be dumped.
301  * @param suffix  A suffix for the file name.
302  *
303  * @return
304  *      A file containing the CFG in vcg format.
305  *
306  * Dumps the control flow graph of a procedure in standard xvcg format.
307  * Dumps the graph to a file.  The file name is constructed from the
308  * name of the entity describing the procedure (irg->entity) and the
309  * ending -cfg.vcg.  Eventually overwrites existing files.
310  *
311  * @see turn_off_edge_labels()
312  */
313 void dump_cfg(ir_graph *irg, const char *suffix);
314
315 /**
316  * Dump a node and its predecessors forming a subgraph to a vcg file.
317  *
318  * @param root   The node serving as root for the subgraph.
319  * @param depth  Dump nodes on paths starting at root with length depth.
320  * @param suffix A suffix for the file name.
321  *
322  * Dumps the graph to a file.  The file name is constructed from the
323  * name of the entity describing the procedure the passed node is
324  * in, suffix and the ending -subg_\<nr\>.vcg.  nr is a unique number
325  * for each graph dumped. Eventually overwrites existing files.
326  *
327  * @return
328  *      A file containing the subgraph in vcg format.
329  */
330 void dump_subgraph(ir_node *root, int depth, const char *suffix);
331
332 /* **************************************************************************** */
333 /*                              CALLGRAPH DUMPERS                               */
334 /* **************************************************************************** */
335
336
337 /** Dump the call graph.
338  *
339  * Dumps the callgraph to a file "Callgraph"\<suffix\>".vcg".
340  *
341  * @param suffix A suffix for the file name.
342  *
343  * @see dump_callgraph_loop_tree(const char *suffix)
344  */
345 void dump_callgraph(const char *suffix);
346
347 /* **************************************************************************** */
348 /*                              TYPEGRAPH DUMPERS                               */
349 /* **************************************************************************** */
350
351 /**
352  * Dumps all the type information needed for Calls, Sels, ... in this graph.
353  * Does not dump the graph!
354  *
355  * @param irg    The firm graph whose type information is to be dumped.
356  * @param suffix A suffix for the file name.
357  *
358  * @return
359  *      A file containing the type information of the firm graph in vcg format.
360  *
361  *  Dumps this graph to a file.  The file name is constructed from the
362  *  name of the entity describing the procedure (irg->entity) and the
363  *  ending -type.vcg.  Eventually overwrites existing files.
364  *
365  * @see turn_off_edge_labels()
366  */
367 void dump_type_graph(ir_graph *irg, const char *suffix);
368
369 /**
370  * Dumps all type information.
371  *
372  * @param suffix A suffix for the file name.
373  *
374  * @return
375  *      A file containing all type information for the program in standard
376  *      vcg format.
377  *
378  * Dumps all type information that is somehow reachable in standard vcg
379  * format.
380  * Dumps the graph to a file named All_types.vcg.
381  *
382  * @see turn_off_edge_labels()
383  */
384 void dump_all_types(const char *suffix);
385
386 /**
387  * Dumps the class hierarchy with or without entities.
388  *
389  * @param entities    Flag whether to dump the entities.
390  * @param suffix      A suffix for the file name.
391  *
392  * @return
393  *      A file containing the class hierarchy tree for the program in standard
394  *      vcg format.
395  *
396  * Does not dump the global type.
397  * Dumps a node for all classes and the sub/supertype relations.  If
398  * entities is set to true also dumps the entities of classes, but without
399  * any additional information as the entities type.  The overwrites relation
400  * is dumped along with the entities.
401  * Dumps to a file class_hierarchy.vcg
402  */
403 void dump_class_hierarchy(int entities, const char *suffix);
404
405 /* **************************************************************************** */
406 /*                              LOOPTREE DUMPERS                                */
407 /* **************************************************************************** */
408
409 /**
410  * Dump a standalone loop tree, which contains the loop nodes and the firm nodes
411  * belonging to one loop packed together in one subgraph.  Dumps to file
412  * \<name of irg\>\<suffix\>-looptree.vcg
413  * Turns on edge labels by default.
414  *
415  * Implementing this dumper was stimulated by Florian Liekwegs similar dumper.
416  *
417  * @param irg     Dump the loop tree for this graph.
418  * @param suffix  A suffix for the file name.
419  */
420 void dump_loop_tree(ir_graph *irg, const char *suffix);
421
422 /** Dumps the firm nodes in the sub-loop-tree of loop to a graph.
423  *
424  * Dumps the loop nodes if dump_loop_information() is set.
425  * The name of the file is loop_<loop_nr>\<suffix\>.vcg.
426  *
427  * @param l       Dump the loop tree for this loop.
428  * @param suffix  A suffix for the file name.
429  */
430 void dump_loop(ir_loop *l, const char *suffix);
431
432 /** Dumps the loop tree over the call graph.
433  *
434  * See for yourself what you can use this for.
435  * The filename is "Callgraph_looptree\<suffix\>.vcg".
436  *
437  * @param suffix  A suffix for the file name.
438  */
439 void dump_callgraph_loop_tree(const char *suffix);
440
441
442 /* **************************************************************************** */
443 /*                                TEXT DUMPERS                                  */
444 /* **************************************************************************** */
445
446
447 /** Write the irnode and all its attributes to the file passed.
448  * */
449 int dump_irnode_to_file(FILE *f, ir_node *n);
450
451 /** Write the irnode and all its attributes to stdout.
452  *  */
453 void dump_irnode(ir_node *n);
454
455 /** Write the graph and all its attributes to the file passed.
456  *  Does not write the nodes.
457  * */
458 void dump_graph_to_file(FILE *F, ir_graph *irg);
459
460 /** Write the graph and all its attributes to stdout.
461  *  Does not write the nodes.
462  *  */
463 void dump_graph(ir_graph *g);
464
465
466 /** Dump graph information as text.
467  *
468  *  Often graphs are unhandy in their vcg representation.  The text
469  *  dumper represents the information for the firm nodes more compact,
470  *  but the relations between the nodes only implicitly.
471  *
472  *  The file name is the graph name (get_entity_name()), appended by
473  *  \<suffix\>.txt.
474  */
475 void dump_graph_as_text(ir_graph *irg, const char *suffix);
476
477
478 /** Verbosity for text dumpers */
479 typedef enum {
480         dump_verbosity_onlynames         = 0x00000001,   /**< Only dump names. Turns off all other
481                                                               flags up to 0x00010000. */
482         dump_verbosity_fields            = 0x00000002,   /**< Dump types and fields (like a type declaration). */
483         dump_verbosity_methods           = 0x00000004,   /**< Dump types and methods (like a type declaration). */
484         dump_verbosity_nostatic          = 0x00000040,   /**< Dump types and dynamic allocated fields (like a
485                                                               type declaration). This excludes methods and
486                                                               static, polymorphic fields. */
487         dump_verbosity_typeattrs         = 0x00000008,   /**< Dump all type attributes. */
488         dump_verbosity_entattrs          = 0x00000010,   /**< Dump all entity attributes. */
489         dump_verbosity_entconsts         = 0x00000020,   /**< Dump entity constants. */
490
491         dump_verbosity_accessStats       = 0x00000100,   /**< Dump entity access statistics. */
492
493         dump_verbosity_noClassTypes      = 0x00001000,   /**< Dump no class       types. */
494         dump_verbosity_noStructTypes     = 0x00002000,   /**< Dump no struct      types. */
495         dump_verbosity_noUnionTypes      = 0x00004000,   /**< Dump no union       types. */
496         dump_verbosity_noArrayTypes      = 0x00008000,   /**< Dump no array       types. */
497         dump_verbosity_noPointerTypes    = 0x00010000,   /**< Dump no pointer     types. */
498         dump_verbosity_noMethodTypes     = 0x00020000,   /**< Dump no method      types. */
499         dump_verbosity_noPrimitiveTypes  = 0x00040000,   /**< Dump no primitive   types .*/
500         dump_verbosity_noEnumerationTypes= 0x00080000,   /**< Dump no enumeration types. */
501
502         dump_verbosity_onlyClassTypes     = 0x000FE000,  /**< Dump only class     types. */
503         dump_verbosity_onlyStructTypes    = 0x000FD000,  /**< Dump only struct    types. */
504         dump_verbosity_onlyUnionTypes     = 0x000FB000,  /**< Dump only union     types. */
505         dump_verbosity_onlyArrayTypes     = 0x000F7000,  /**< Dump only array     types. */
506         dump_verbosity_onlyPointerTypes   = 0x000EF000,  /**< Dump only pointer   types. */
507         dump_verbosity_onlyMethodTypes    = 0x000DF000,  /**< Dump only method    types. */
508         dump_verbosity_onlyPrimitiveTypes = 0x000BF000,  /**< Dump only primitive types. */
509         dump_verbosity_onlyEnumerationTypes=0x0007F000,  /**< Dump only enumeration types. */
510
511         dump_verbosity_max                = 0x4FF00FBE   /**< Turn on all verbosity.
512                                                               Do not turn on negative flags!
513                                                               @@@ Because of a bug in gcc 3.2 we can not set the
514                                                               first two bits. */
515 } dump_verbosity;
516
517
518 /** Write the entity and all its attributes to the passed file.
519  *  */
520 void    dump_entity_to_file(FILE *F, ir_entity *ent, unsigned verbosity);
521
522 /** Write the entity and all its attributes to the stdout.
523  *
524  *  Calls dump_entity_to_file().  */
525 void    dump_entity(ir_entity *ent);
526
527 /** Write the type and all its attributes to the file passed.
528  * */
529 void    dump_type_to_file(FILE *f, ir_type *tp, dump_verbosity verbosity);
530
531 /** Write the type and all its attributes to stdout.
532  *  */
533 void    dump_type(ir_type *tp);
534
535
536 /** Dump type information as text.
537  *
538  *  Often type graphs are unhandy in their vcg representation.  The text
539  *  dumper represents the information for a single type more compact, but
540  *  the relations between the types only implicitly.
541  *  Dumps only 'real' types, i.e., those in the type list.  Does not dump
542  *  the global type nor frame types or the like.
543  *
544  *  The file name is the program name (get_irp_name()), or 'TextTypes'
545  *  if the program name is not set, appended by \<suffix\>-types.txt.
546  *  For verbosity see the documentation of the verbosity flags above.
547  */
548 void dump_types_as_text(unsigned verbosity, const char *suffix);
549
550 /** Dumps all global variables as text.
551  *
552  * @param suffix  A suffix for the file name.
553  *
554  * Dumps a text representation of the entities in the global type.
555  *
556  * The file name is the program name (get_irp_name()), or 'TextTypes'
557  * if the program name is not set, appended by \<suffix\>-globals.txt.
558  * For verbosity see the documentation of the verbosity flags above.
559  */
560 void dump_globals_as_text(unsigned verbosity, const char *suffix);
561
562 /* **************************************************************************** */
563 /*                                    FLAGS                                     */
564 /* **************************************************************************** */
565
566 /** Set a prefix filter for output functions.
567  *
568  * All graph dumpers check this name.  If the name is != "" and
569  * not a prefix of the graph to be dumped, the dumper does not
570  * dump the graph.
571  *
572  * @param name The prefix of the name (not the ld_name) of the method
573  *              entity to be dumped.
574  */
575 void   only_dump_method_with_name(ident *name);
576
577 /** Returns the prefix filter set with only_dump_method_with_name(). */
578 ident *get_dump_file_filter_ident(void);
579
580 /** Returns true if dump file filter is not set, or if it is a
581  *  prefix of name. */
582 int is_filtered_dump_name(ident *name);
583
584 /** Sets the vcg flag "display_edge_labels" to no.
585  *
586  * This is necessary as xvcg and aisee both fail to display graphs
587  * with self-edges if these edges have labels.
588  */
589 void turn_off_edge_labels(void);
590
591 /**
592  * If set to non-zero constants will be replicated for every use. In non
593  * blocked view edges from constant to block are skipped.  Vcg then
594  * layouts the graphs more compact, this makes them better readable.
595  * The flag is automatically and temporarily set to false if other
596  * edges are dumped, as outs, loop, ...
597  * Default setting: false.
598  */
599 void dump_consts_local(int flag);
600
601 /**
602  * if set to non-zero node idx will be added to node labels
603  */
604 void dump_node_idx_label(int flag);
605
606 /**  Turns off dumping the values of constant entities. Makes type graphs
607  *   better readable.
608  */
609 void dump_constant_entity_values(int flag);
610
611 /**  Turns on dumping the edges from the End node to nodes to be kept
612  *   alive.
613  */
614 void dump_keepalive_edges(int flag);
615 int get_opt_dump_keepalive_edges(void);
616
617 /** Turns on dumping the out edges starting from the Start block in
618  *  dump_ir_graph.
619  *
620  *  To test the consistency of the out data structure.
621  */
622 void dump_out_edges(int flag);
623
624 /** If this flag is set the dumper dumps edges to immediate dominator in cfg.
625  */
626 void dump_dominator_information(int flag);
627
628 /** If this flag is set the dumper dumps loop nodes and edges from
629  *  these nodes to the contained ir nodes.
630  *
631  *  If the loops are interprocedural nodes can be missing.
632  */
633 void dump_loop_information(int flag);
634
635 /** If set and backedge info is computed, backedges are dumped dashed
636  *  and as vcg 'backedge' construct.
637  *
638  *  Default: set.
639  */
640 void dump_backedge_information(int flag);
641
642 /** Dump the information of type field specified in ana/irtypeinfo.h.
643  *
644  *  If the flag is set, the type name is output in [] in the node label,
645  *  else it is output as info.
646  */
647 void set_opt_dump_analysed_type_info(int flag);
648
649 /** Write the address of a node into the vcg info.
650  *
651  *  This is off per default for automatic comparisons of
652  *  vcg graphs -- these will differ in the pointer values!
653  */
654 void dump_pointer_values_to_info(int flag);
655
656 /** Dumps ld_names of entities instead of there names.
657  *
658  * This option is on per default.
659  */
660 void dump_ld_names(int flag);
661
662 /** Dumps all graph anchor nodes, even if they
663  * are dead.
664  *
665  * This option is off per default.
666  */
667 void dump_all_anchors(int flag);
668
669 /** Dumps a MacroBlock edge from every Block to its
670  * MacroBlock header.
671  *
672  * This option is off per default.
673  */
674 void dump_macroblock_edges(int flag);
675
676 /** Dumps a marked blocks with a asterisk in the title.
677  *
678  * This option is off per default.
679  */
680 void dump_block_marker_in_title(int flag);
681
682 /** A node info dumper callback. */
683 typedef void (dump_node_info_cb_t)(void *data, FILE *f, const ir_node *n);
684
685 /**
686  * Adds a new node info dumper callback. It is possible to add an unlimited
687  * number of callbacks. The callbacks are called at the end of the default
688  * info dumper.
689  *
690  * @param cb    the callback function to be called
691  * @param data  a context parameter
692  *
693  * @return A callback handle.
694  *
695  * @note This functionality is only available, if Firm hooks are enabled (default).
696  */
697 void *dump_add_node_info_callback(dump_node_info_cb_t *cb, void *data);
698
699 /**
700  * Remove a previously added info dumper callback.
701  *
702  * @param handle  the callback handle returned from dump_add_node_info_callback()
703  */
704 void dump_remv_node_info_callback(void *handle);
705
706 #endif