X-Git-Url: http://nsz.repo.hu/git/?a=blobdiff_plain;f=ir%2Fir%2Firgopt.c;h=256296c8b31cf288f77055d4a9a461ffc6acb03c;hb=eb47aca33f2f8c414409f3695e73277b47442334;hp=499269eddb7d8554ca3d42a0ec60328bf7467da2;hpb=65daf5bc390b02d68581f4c431dbdbfaae11b88f;p=libfirm

diff --git a/ir/ir/irgopt.c b/ir/ir/irgopt.c
index 499269edd..256296c8b 100644
--- a/ir/ir/irgopt.c
+++ b/ir/ir/irgopt.c
@@ -181,16 +181,21 @@ int optimize_graph_df(ir_graph *irg)
 	current_ir_graph = irg;
 
 	state = edges_assure(irg);
-
-	if (get_opt_global_cse())
-		set_irg_pinned(irg, op_pin_state_floats);
-	set_irg_state(irg, IR_GRAPH_STATE_BAD_BLOCK);
+	assure_doms(irg);
 
 	/* Clean the value_table in irg for the CSE. */
 	new_identities(irg);
 
-	if (get_irg_dom_state(irg) == dom_consistent)
-		irg_block_walk_graph(irg, NULL, kill_dead_blocks, NULL);
+	if (get_opt_global_cse()) {
+		set_irg_pinned(irg, op_pin_state_floats);
+	}
+
+	/* The following enables unreachable code elimination (=Blocks may be
+	 * Bad). We cannot enable it in global_cse nodes since we can't
+	 * determine a nodes block there and therefore can't remove all code
+	 * in unreachable blocks */
+	set_irg_state(irg, IR_GRAPH_STATE_BAD_BLOCK);
+	irg_block_walk_graph(irg, NULL, kill_dead_blocks, NULL);
 
 	/* invalidate info */
 	set_irg_outs_inconsistent(irg);
@@ -209,8 +214,7 @@ int optimize_graph_df(ir_graph *irg)
 	/* finish the wait queue */
 	while (! pdeq_empty(waitq)) {
 		ir_node *n = (ir_node*)pdeq_getl(waitq);
-		if (! is_Bad(n))
-			opt_walker(n, waitq);
+		opt_walker(n, waitq);
 	}
 
 	del_pdeq(waitq);