/** An option to dump ld_names instead of names. */
static int dump_ld_name = 1;
/** Compiler options to dump analysis information in dump_ir_graph */
-int dump_out_edge_flag = 0;
+static int dump_out_edge_flag = 0;
+static int dump_loop_information_flag = 0;
+static int dump_backedge_information_flag = 1;
+static int dump_const_local = 0;
+/** An option to dump all graph anchors */
+static int dump_anchors = 0;
+
int dump_dominator_information_flag = 0;
-int dump_loop_information_flag = 0;
-int dump_backedge_information_flag = 1;
-int dump_const_local = 0;
int opt_dump_analysed_type_info = 1;
int opt_dump_pointer_values_to_info = 0; /* default off: for test compares!! */
dump_edge_vcgattr_hook = hook;
}
-INLINE int get_opt_dump_const_local(void) {
+int get_opt_dump_const_local(void) {
if (!dump_out_edge_flag && !dump_loop_information_flag)
return dump_const_local;
else
dump_ld_name = flag;
}
+void dump_all_anchors(int flag) {
+ dump_anchors = flag;
+}
+
/* -------------- some extended helper functions ----------------- */
/**
(get_irg_pinned(current_ir_graph) == op_pin_state_floats));
}
+/**
+ * Walker that visits the anchors
+ */
+static void ird_walk_graph(ir_graph *irg, irg_walk_func *pre, irg_walk_func *post, void *env) {
+ irg_walk_graph(irg, pre, post, env);
+
+ if (dump_anchors) {
+ int i;
+
+ for (i = anchor_max - 1; i >= 0; --i) {
+ ir_node *n = irg->anchors[i];
+
+ if (n) {
+ /* reset the visit flag: will be increase in the walker */
+ set_irg_visited(irg, get_irg_visited(irg) - 1);
+ irg_walk(n, pre, post, env);
+ }
+ }
+ }
+}
+
/**
* Walker, allocates an array for all blocks and puts it's nodes non-floating nodes into this array.
*/
for (i = get_irp_n_irgs() - 1; i >= 0; --i)
ird_set_irg_link(get_irp_irg(i), NULL);
- irg_walk_graph(current_ir_graph, clear_link, collect_node, current_ir_graph);
+ ird_walk_graph(current_ir_graph, clear_link, collect_node, current_ir_graph);
/* Collect also EndReg and EndExcept. We do not want to change the walker. */
set_interprocedural_view(0);
ir_extblk **extbb_list;
} list_tuple;
-/** Construct lists to walk ir extended block-wise.
+/** Construct lists to walk IR extended block-wise.
* Free the lists in the tuple with DEL_ARR_F().
+ * Sets the irg link field to NULL in all
+ * graphs not visited.
*/
static list_tuple *construct_extblock_lists(ir_graph *irg) {
ir_node **blk_list = construct_block_lists(irg);
lists->blk_list = NEW_ARR_F(ir_node *, 0);
lists->extbb_list = NEW_ARR_F(ir_extblk *, 0);
+ inc_irg_block_visited(irg);
for (i = ARR_LEN(blk_list) - 1; i >= 0; --i) {
ir_extblk *ext;
else
ARR_APP1(ir_node *, lists->blk_list, blk_list[i]);
}
+ DEL_ARR_F(blk_list);
current_ir_graph = rem;
- DEL_ARR_F(blk_list);
ird_set_irg_link(irg, lists);
return lists;
}
case iro_Phi:
print_vcg_color(F, ird_color_green);
break;
+ case iro_Mux:
+ case iro_Psi:
+ print_vcg_color(F, ird_color_gold);
+ break;
case iro_Const:
case iro_Proj:
case iro_Filter:
case iro_Block:
fprintf (F, CF_EDGE_ATTR);
break;
- case iro_Start: break;
+ case iro_Start: break;
case iro_End:
if (to >= 0) {
if (get_irn_mode(get_End_keepalive(from, to)) == mode_BB)
fprintf (F, INTER_MEM_EDGE_ATTR);
}
break;
- case iro_EndReg:
- case iro_EndExcept:
- case iro_Jmp:
- case iro_Break:
- case iro_Cond:
- print_data_edge_vcgattr(F, from, to);
- break;
- case iro_Return:
- case iro_Raise:
- if (to == 0)
- print_mem_edge_vcgattr(F, from, to);
- else
- print_data_edge_vcgattr(F, from, to);
- break;
- case iro_Const:
- case iro_SymConst:
- print_data_edge_vcgattr(F, from, to);
- break;
- case iro_Sel:
- case iro_Call:
- if (to == 0)
- print_mem_edge_vcgattr(F, from, to);
- else
- print_data_edge_vcgattr(F, from, to);
- break;
- case iro_CallBegin:
- case iro_Add:
- case iro_Sub:
- case iro_Minus:
- case iro_Mul:
- print_data_edge_vcgattr(F, from, to);
- break;
- case iro_Quot:
- case iro_DivMod:
- case iro_Div:
- case iro_Mod:
- if (to == 0)
- print_mem_edge_vcgattr(F, from, to);
- else
- print_data_edge_vcgattr(F, from, to);
- break;
- case iro_Abs:
- case iro_And:
- case iro_Or:
- case iro_Eor:
- case iro_Shl:
- case iro_Shr:
- case iro_Shrs:
- case iro_Rot:
- case iro_Cmp:
- case iro_Conv:
- print_data_edge_vcgattr(F, from, to);
- break;
- case iro_Phi:
- if (get_irn_modecode(from) == irm_M)
- fprintf (F, INTER_MEM_EDGE_ATTR);
- else
- print_data_edge_vcgattr(F, from, to);
- break;
- case iro_Load:
- case iro_Store:
- case iro_Alloc:
- case iro_Free:
- if (to == 0)
- print_mem_edge_vcgattr(F, from, to);
- else
- print_data_edge_vcgattr(F, from, to);
- break;
- case iro_Sync:
- print_mem_edge_vcgattr(F, from, to);
- break;
- case iro_Tuple: break;
- case iro_Proj:
- case iro_Filter:
- switch (get_irn_modecode(from)) {
- case irm_X:
- fprintf (F, CF_EDGE_ATTR);
- break;
- case irm_M:
- fprintf (F, INTER_MEM_EDGE_ATTR);
- break;
- default:
- print_data_edge_vcgattr(F, from, to);
- break;
+ default:
+ if (is_Proj(from)) {
+ if (get_irn_mode(from) == mode_M)
+ print_mem_edge_vcgattr(F, from, to);
+ else if (get_irn_mode(from) == mode_X)
+ fprintf(F, CF_EDGE_ATTR);
+ else
+ print_data_edge_vcgattr(F, from, to);
}
- break;
- case iro_Bad: break;
- case iro_Unknown: break;
- case iro_Id:
- switch (get_irn_modecode(from)) {
- case irm_M:
- fprintf (F, INTRA_MEM_EDGE_ATTR);
- break;
- case irm_X:
+ else if (get_irn_mode(get_irn_n(from, to)) == mode_M)
+ print_mem_edge_vcgattr(F, from, to);
+ else if (get_irn_mode(get_irn_n(from, to)) == mode_X)
fprintf (F, CF_EDGE_ATTR);
- break;
- default:
+ else
print_data_edge_vcgattr(F, from, to);
- break;
- } break;
- default:
- ;
}
}
ir_extblk **arr = ird_get_irg_link(irg);
current_ir_graph = irg;
- compute_extbb(irg);
for (i = ARR_LEN(arr) - 1; i >= 0; --i) {
ir_extblk *extbb = arr[i];
ir_node *leader = get_extbb_leader(extbb);
/* walk over the graph */
/* dump_whole_node must be called in post visiting predecessors */
- irg_walk(get_irg_end(irg), NULL, dump_whole_node, f);
+ ird_walk_graph(irg, NULL, dump_whole_node, f);
/* dump the out edges in a separate walk */
if ((dump_out_edge_flag) && (get_irg_outs_state(irg) != outs_none)) {
if (!is_filtered_dump_name(get_entity_ident(get_irg_entity(irg))))
return;
- compute_extbb(irg);
+ if (get_irg_extblk_state(irg) != extblk_valid)
+ compute_extbb(irg);
if (get_interprocedural_view()) suffix1 = "-ip";
else suffix1 = "";
projects / libfirm / blobdiff