X-Git-Url: http://nsz.repo.hu/git/?a=blobdiff_plain;f=ir%2Fbe%2Fbemain.c;h=42dd4fe9482d2a331282ac3503e2aa7888ae720e;hb=280c4d16974000891b33915c811143d24d82bec7;hp=b51635c604520992fd4e05f6ade3c8692aac4fe0;hpb=64ec822dc68789e420b7415bef9448ae15fbb3ac;p=libfirm

diff --git a/ir/be/bemain.c b/ir/be/bemain.c
index b51635c60..42dd4fe94 100644
--- a/ir/be/bemain.c
+++ b/ir/be/bemain.c
@@ -37,7 +37,6 @@
 #include "execfreq.h"
 
 #include "bearch.h"
-
 #include "be_t.h"
 #include "bemodule.h"
 #include "beutil.h"
@@ -61,7 +60,6 @@
 #include "bestat.h"
 #include "beverify.h"
 #include "beprofile.h"
-#include "beblocksched.h"
 #include "be_dbgout.h"
 
 #ifdef WITH_ILP
@@ -220,7 +218,6 @@ const backend_params *be_init(void)
 {
 	be_opt_register();
 	be_init_modules();
-	phi_class_init();
 
 	if (isa_if->get_params)
 		return isa_if->get_params();
@@ -319,6 +316,8 @@ static void initialize_birg(be_irg_t *birg, ir_graph *irg, be_main_env_t *env)
 
 	/* reset the phi handler. */
 	be_phi_handler_reset(env->phi_handler);
+
+	set_irg_phase_state(irg, phase_backend);
 }
 
 #ifdef WITH_LIBCORE
@@ -374,6 +373,7 @@ static void be_main_loop(FILE *file_handle, const char *cup_name)
 	static const char suffix[] = ".prof";
 	be_irg_t *birgs;
 	unsigned num_birgs;
+	ir_graph **irg_list, **backend_irg_list;
 
 	be_ra_timer_t *ra_timer;
 
@@ -408,16 +408,24 @@ static void be_main_loop(FILE *file_handle, const char *cup_name)
 	be_dbg_so(env.db_handle, cup_name);
 	be_dbg_types(env.db_handle);
 
+	/* backend may provide an ordered list of irgs where code should be generated for */
+	irg_list = NEW_ARR_F(ir_graph *, 0);
+	backend_irg_list = arch_isa_get_backend_irg_list(isa, irg_list);
+
 	/* we might need 1 birg more for instrumentation constructor */
-	num_birgs = get_irp_n_irgs();
+	num_birgs = backend_irg_list ? ARR_LEN(backend_irg_list) : get_irp_n_irgs();
 	birgs     = alloca(sizeof(birgs[0]) * (num_birgs + 1));
 
 	/* First: initialize all birgs */
-	for(i = 0; i < get_irp_n_irgs(); ++i) {
-		ir_graph *irg = get_irp_irg(i);
-
+	for(i = 0; i < num_birgs; ++i) {
+		ir_graph *irg = backend_irg_list ? backend_irg_list[i] : get_irp_irg(i);
 		initialize_birg(&birgs[i], irg, &env);
 	}
+	/* TODO: DEL_ARR_F(irg_list) will break, if list was modified by Backend ?!?! */
+	if (backend_irg_list)
+		DEL_ARR_F(backend_irg_list);
+	else
+		DEL_ARR_F(irg_list);
 
 	/*
 		Get the filename for the profiling data.
@@ -443,7 +451,7 @@ static void be_main_loop(FILE *file_handle, const char *cup_name)
 
 	/* For all graphs */
 	for (i = 0; i < num_birgs; ++i) {
-		be_irg_t *birg = & birgs[i];
+		be_irg_t *birg = &birgs[i];
 		ir_graph *irg  = birg->irg;
 		optimization_state_t state;
 		const arch_code_generator_if_t *cg_if;
@@ -486,15 +494,6 @@ static void be_main_loop(FILE *file_handle, const char *cup_name)
 		}
 		BE_TIMER_POP(t_verify);
 
-		/**
-		 * Create execution frequencies from profile data or estimate some
-		 */
-		if (be_profile_has_data()) {
-			birg->exec_freq = be_create_execfreqs_from_profile(irg);
-		} else {
-			birg->exec_freq = compute_execfreq(irg, 10);
-		}
-
 		BE_TIMER_ONLY(num_nodes_b = get_num_reachable_nodes(irg));
 
 		/* Get the code generator interface. */
@@ -517,6 +516,15 @@ static void be_main_loop(FILE *file_handle, const char *cup_name)
 		dump(DUMP_ABI, irg, "-abi", dump_ir_block_graph);
 		be_do_stat_nodes(irg, "02 Abi");
 
+		if (be_options.vrfy_option == BE_VRFY_WARN) {
+			be_check_dominance(irg);
+			be_verify_out_edges(irg);
+		}
+		else if (be_options.vrfy_option == BE_VRFY_ASSERT) {
+			assert(be_verify_out_edges(irg));
+			assert(be_check_dominance(irg) && "Dominance verification failed");
+		}
+
 		/* generate code */
 		BE_TIMER_PUSH(t_codegen);
 		arch_code_generator_prepare_graph(birg->cg);
@@ -524,19 +532,28 @@ static void be_main_loop(FILE *file_handle, const char *cup_name)
 
 		be_do_stat_nodes(irg, "03 Prepare");
 
-		/*
-			Since the code generator made a lot of new nodes and skipped
-			a lot of old ones, we should do dead node elimination here.
-			Note that this requires disabling the edges here.
-		*/
-		edges_deactivate(irg);
-		//dead_node_elimination(irg);
-		edges_activate(irg);
-
 		/* Compute loop nesting information (for weighting copies) */
 		dump(DUMP_PREPARED, irg, "-prepared", dump_ir_block_graph);
 		BE_TIMER_ONLY(num_nodes_r = get_num_reachable_nodes(irg));
 
+		if (be_options.vrfy_option == BE_VRFY_WARN) {
+			be_check_dominance(irg);
+			be_verify_out_edges(irg);
+		}
+		else if (be_options.vrfy_option == BE_VRFY_ASSERT) {
+			assert(be_verify_out_edges(irg));
+			assert(be_check_dominance(irg) && "Dominance verification failed");
+		}
+
+		/**
+		 * Create execution frequencies from profile data or estimate some
+		 */
+		if (be_profile_has_data()) {
+			birg->exec_freq = be_create_execfreqs_from_profile(irg);
+		} else {
+			birg->exec_freq = compute_execfreq(irg, 10);
+		}
+
 		/* let backend prepare scheduling */
 		BE_TIMER_PUSH(t_codegen);
 		arch_code_generator_before_sched(birg->cg);
@@ -638,6 +655,8 @@ static void be_main_loop(FILE *file_handle, const char *cup_name)
 		be_abi_fix_stack_bias(birg->abi);
 		BE_TIMER_POP(t_abi);
 
+		dump(DUMP_SCHED, irg, "-fix_stack_after_ra", dump_ir_block_graph_sched);
+
 		BE_TIMER_PUSH(t_finish);
 		arch_code_generator_finish(birg->cg);
 		BE_TIMER_POP(t_finish);
@@ -668,7 +687,7 @@ static void be_main_loop(FILE *file_handle, const char *cup_name)
 		arch_code_generator_done(birg->cg);
 		BE_TIMER_POP(t_emit);
 
-		dump(DUMP_FINAL, irg, "-end", dump_ir_extblock_graph_sched);
+		dump(DUMP_FINAL, irg, "-end", dump_ir_block_graph_sched);
 
 		BE_TIMER_PUSH(t_abi);
 		be_abi_free(birg->abi);