From: Sebastian Hack <hack@ipd.info.uni-karlsruhe.de>
Date: Thu, 7 Sep 2006 19:54:31 +0000 (+0000)
Subject: CO solvers indicate if they produced an optimal solution
X-Git-Url: http://nsz.repo.hu/git/?a=commitdiff_plain;h=af8cd2b0c442dd1ad1a7a53b3e36e010a6952cec;p=libfirm

CO solvers indicate if they produced an optimal solution
---

diff --git a/ir/be/becopyopt.c b/ir/be/becopyopt.c
index 32fb8e655..de059f3f2 100644
--- a/ir/be/becopyopt.c
+++ b/ir/be/becopyopt.c
@@ -1371,6 +1371,7 @@ void co_driver(be_chordal_env_t *cenv)
 	co_complete_stats_t before, after;
 	copy_opt_t *co;
 	co_algo_t  *algo_func;
+	int was_optimal = 0;
 
 	if(algo < 0 || algo >= CO_ALGO_LAST)
 		return;
@@ -1404,7 +1405,8 @@ void co_driver(be_chordal_env_t *cenv)
 	}
 
 	algo_func = algos[algo];
-	algo_func(co);
+	was_optimal = algo_func(co);
+	be_stat_ev("co_optimal", was_optimal);
 
 	if(dump_flags & DUMP_AFTER) {
 		FILE *f = be_chordal_open(cenv, "", "-after.dot");