From: Christian Würdig <chriswue@ipd.info.uni-karlsruhe.de>
Date: Thu, 1 Jun 2006 12:21:51 +0000 (+0000)
Subject: use verify options from chordal env
X-Git-Url: http://nsz.repo.hu/git/?a=commitdiff_plain;h=00e69787dd9b5ecaf1308f219343cec33a69188c;p=libfirm

use verify options from chordal env
---

diff --git a/ir/be/bespillmorgan.c b/ir/be/bespillmorgan.c
index 069c4cf34..b7cf66c57 100644
--- a/ir/be/bespillmorgan.c
+++ b/ir/be/bespillmorgan.c
@@ -480,7 +480,10 @@ void be_spill_morgan(const be_chordal_env_t *chordal_env) {
 	reduce_register_pressure_in_loop(&env, get_irg_loop(env.irg), 0);
 
 	be_insert_spills_reloads(env.senv);
-	assert(be_verify_schedule(env.irg));
+	if (chordal_env->opts->vrfy_option == BE_CH_VRFY_WARN)
+		be_verify_schedule(env.irg);
+	else if (chordal_env->opts->vrfy_option == BE_CH_VRFY_ASSERT)
+		assert(be_verify_schedule(env.irg));
 
 	// cleanup
 	be_end_uses(env.uses);