libFirm
|
Dumps information so it can be visualised. More...
Modules | |
Convenience Interface |
Typedefs | |
typedef int(* | dump_node_vcgattr_func )(FILE *out, const ir_node *node, const ir_node *local) |
This hook is called to dump the vcg attributes of a node to a file. | |
typedef int(* | dump_edge_vcgattr_func )(FILE *out, const ir_node *node, int to) |
This hook is called to dump the vcg attributes of an edge to a file. | |
typedef void(* | dump_node_edge_func )(FILE *out, const ir_node *node) |
This hook allows dumping of additional edges (it is called outside a node: {} environment) | |
typedef void( | dump_node_info_cb_t )(void *data, FILE *out, const ir_node *n) |
A node info dumper callback. |
Functions | |
void | dump_ir_graph_file (FILE *out, ir_graph *graph) |
Dumps all Firm nodes of a single graph for a single procedure in standard xvcg format. | |
void | dump_cfg (FILE *out, ir_graph *graph) |
Dump the control flow graph of a procedure. | |
void | dump_callgraph (FILE *out) |
Dump the call graph. | |
void | dump_typegraph (FILE *out) |
Dumps all type information. | |
void | dump_class_hierarchy (FILE *out) |
Dumps the class hierarchy with or without entities. | |
void | dump_loop_tree (FILE *out, ir_graph *graph) |
Dump a standalone loop tree, which contains the loop nodes and the firm nodes belonging to one loop packed together in one subgraph. | |
void | dump_callgraph_loop_tree (FILE *out) |
Dumps the loop tree over the call graph. | |
void | dump_types_as_text (FILE *out) |
Dump type information as text. | |
void | dump_globals_as_text (FILE *out) |
Dumps all global variables as text. | |
void | dump_loop (FILE *out, ir_loop *loop) |
Dumps the firm nodes in the sub-loop-tree of loop to a vcg file. | |
void | dump_graph_as_text (FILE *out, ir_graph *graph) |
Write the graph and all its attributes to the file passed. | |
void | dump_entity_to_file (FILE *out, ir_entity *entity) |
Write the entity and all its attributes to the passed file. | |
void | dump_type_to_file (FILE *out, ir_type *type) |
Write the type and all its attributes to the file passed. | |
void | ir_set_dump_verbosity (ir_dump_verbosity_t verbosity) |
override currently set text dump flags with new ones | |
ir_dump_verbosity_t | ir_get_dump_verbosity (void) |
return currently set text dump flags | |
void | ir_set_dump_flags (ir_dump_flags_t flags) |
override currently set dump flags with new ones | |
void | ir_add_dump_flags (ir_dump_flags_t flags) |
add flags to the currently set dump flags | |
void | ir_remove_dump_flags (ir_dump_flags_t flags) |
disable certain dump flags | |
ir_dump_flags_t | ir_get_dump_flags (void) |
return currently set dump flags | |
void | set_dump_node_vcgattr_hook (dump_node_vcgattr_func hook) |
Sets the node_vcgattr hook. | |
void | set_dump_edge_vcgattr_hook (dump_edge_vcgattr_func hook) |
Sets the edge_vcgattr hook. | |
void | set_dump_node_edge_hook (dump_node_edge_func func) |
Sets the hook to be called to dump additional edges to a node. | |
dump_node_edge_func | get_dump_node_edge_hook (void) |
Returns the additional edge dump hook. | |
void | set_dump_block_edge_hook (dump_node_edge_func func) |
Sets the hook to be called to dump additional edges to a block. | |
dump_node_edge_func | get_dump_block_edge_hook (void) |
Returns the additional block edge dump hook. | |
void * | dump_add_node_info_callback (dump_node_info_cb_t *cb, void *data) |
Adds a new node info dumper callback. | |
void | dump_remove_node_info_callback (void *handle) |
Remove a previously added info dumper callback. |
Dumps information so it can be visualised.
The dump format of most functions is vcg. This is a text based graph representation. Some use the original format, but most generate an extended format that is only read by some special versions of xvcg or by the commercialized version now calles aiSee.
A test version of aiSee is available at http://www.absint.de/aisee/download/index.htm.
We have developed an own advanced viewer called ycomp: http://www.info.uni-karlsruhe.de/software/ycomp/
typedef int(* dump_edge_vcgattr_func)(FILE *out, const ir_node *node, int to) |
typedef void(* dump_node_edge_func)(FILE *out, const ir_node *node) |
typedef void( dump_node_info_cb_t)(void *data, FILE *out, const ir_node *n) |
enum ir_dump_flags_t |
A bitset indicating various options that affect what information is dumped and how exactly it is dumped.
This affects the dumpers that produce vcg graphs.
ir_dump_flag_blocks_as_subgraphs |
dump basic blocks as subgraphs which contain the nodes in the block |
ir_dump_flag_with_typegraph |
dump (parts of) typegraph along with nodes |
ir_dump_flag_disable_edge_labels |
Sets the vcg flag "display_edge_labels" to no. This is necessary as xvcg and aisee both fail to display graphs with self-edges if these edges have labels. |
ir_dump_flag_consts_local |
If set constants will be replicated for every use. In non blocked view edges from constant to block are skipped. Vcg then layouts the graphs more compact, this makes them better readable. |
ir_dump_flag_idx_label |
if set node idx will be added to node labels |
ir_dump_flag_number_label |
if set node number will be added to node labels |
ir_dump_flag_keepalive_edges |
show keepalive edges from the end node |
ir_dump_flag_out_edges |
dump out edges |
ir_dump_flag_dominance |
if set dumps edges from blocks to their immediate dominator |
ir_dump_flag_loops |
If set the dumper dumps loop nodes and edges from these nodes to the contained ir nodes. |
ir_dump_flag_back_edges |
if set (and backedge info is computed) dump backedges |
ir_dump_flag_analysed_types |
dump type info from ana/irtypeinfo.h in the node labels |
ir_dump_flag_iredges |
dump backedges from iredges.h |
ir_dump_flag_node_addresses |
write node addresses into the vcg info |
ir_dump_flag_all_anchors |
dump all anchor nodes, even the unused ones |
ir_dump_flag_show_marks |
dumps marked blocks with an asterisk in the label |
ir_dump_flag_no_entity_values |
turns of dumping of constant entity values in typegraphs |
ir_dump_flag_ld_names |
dumps ld_names of entities instead of their names |
ir_dump_flag_entities_in_hierarchy |
dump entities in class hierarchies |
enum ir_dump_verbosity_t |
Verbosity for text dumpers.
void* dump_add_node_info_callback | ( | dump_node_info_cb_t * | cb, |
void * | data | ||
) |
Adds a new node info dumper callback.
It is possible to add an unlimited number of callbacks. The callbacks are called at the end of the default info dumper.
cb | the callback function to be called |
data | a context parameter |
void dump_callgraph | ( | FILE * | out | ) |
Dump the call graph.
out | Output stream the callgraph is written to |
void dump_callgraph_loop_tree | ( | FILE * | out | ) |
Dumps the loop tree over the call graph.
out | Output stream |
void dump_cfg | ( | FILE * | out, |
ir_graph * | graph | ||
) |
Dump the control flow graph of a procedure.
graph | The firm graph whose CFG shall be dumped. |
out | Output stream the CFG is written to |
Dumps the control flow graph of a procedure in standard xvcg format.
void dump_class_hierarchy | ( | FILE * | out | ) |
Dumps the class hierarchy with or without entities.
out | Output stream |
Does not dump the global type. Dumps a node for all classes and the sub/supertype relations. If entities is set to true also dumps the entities of classes, but without any additional information as the entities type. The overwrites relation is dumped along with the entities.
void dump_entity_to_file | ( | FILE * | out, |
ir_entity * | entity | ||
) |
Write the entity and all its attributes to the passed file.
void dump_globals_as_text | ( | FILE * | out | ) |
Dumps all global variables as text.
out | Output stream |
Dumps a text representation of the entities in the global type.
void dump_graph_as_text | ( | FILE * | out, |
ir_graph * | graph | ||
) |
Write the graph and all its attributes to the file passed.
Does not write the nodes.
void dump_ir_graph_file | ( | FILE * | out, |
ir_graph * | graph | ||
) |
Dumps all Firm nodes of a single graph for a single procedure in standard xvcg format.
graph | The firm graph to be dumped. |
out | Output stream the graph is written to |
void dump_loop | ( | FILE * | out, |
ir_loop * | loop | ||
) |
Dumps the firm nodes in the sub-loop-tree of loop to a vcg file.
out | Output stream |
loop | Dump the loop tree for this loop. |
void dump_loop_tree | ( | FILE * | out, |
ir_graph * | graph | ||
) |
Dump a standalone loop tree, which contains the loop nodes and the firm nodes belonging to one loop packed together in one subgraph.
out | Output stream |
graph | Dump the loop tree for this graph. |
void dump_remove_node_info_callback | ( | void * | handle | ) |
Remove a previously added info dumper callback.
handle | the callback handle returned from dump_add_node_info_callback() |
void dump_type_to_file | ( | FILE * | out, |
ir_type * | type | ||
) |
Write the type and all its attributes to the file passed.
void dump_typegraph | ( | FILE * | out | ) |
Dumps all type information.
out | Output stream the typegraph is written to |
Dumps all type information that is somehow reachable in standard vcg format.
void dump_types_as_text | ( | FILE * | out | ) |
Dump type information as text.
Often type graphs are unhandy in their vcg representation. The text dumper represents the information for a single type more compact, but the relations between the types only implicitly. Dumps only 'real' types, i.e., those in the type list. Does not dump the global type nor frame types or the like.
dump_node_edge_func get_dump_block_edge_hook | ( | void | ) |
Returns the additional block edge dump hook.
dump_node_edge_func get_dump_node_edge_hook | ( | void | ) |
Returns the additional edge dump hook.
void ir_add_dump_flags | ( | ir_dump_flags_t | flags | ) |
add flags to the currently set dump flags
ir_dump_flags_t ir_get_dump_flags | ( | void | ) |
return currently set dump flags
ir_dump_verbosity_t ir_get_dump_verbosity | ( | void | ) |
return currently set text dump flags
void ir_remove_dump_flags | ( | ir_dump_flags_t | flags | ) |
disable certain dump flags
void ir_set_dump_flags | ( | ir_dump_flags_t | flags | ) |
override currently set dump flags with new ones
void ir_set_dump_verbosity | ( | ir_dump_verbosity_t | verbosity | ) |
override currently set text dump flags with new ones
void set_dump_block_edge_hook | ( | dump_node_edge_func | func | ) |
Sets the hook to be called to dump additional edges to a block.
func | The hook to be called. |
void set_dump_edge_vcgattr_hook | ( | dump_edge_vcgattr_func | hook | ) |
Sets the edge_vcgattr hook.
void set_dump_node_edge_hook | ( | dump_node_edge_func | func | ) |
Sets the hook to be called to dump additional edges to a node.
func | The hook to be called. |
void set_dump_node_vcgattr_hook | ( | dump_node_vcgattr_func | hook | ) |
Sets the node_vcgattr hook.