From: Matthias Braun <matze@braunis.de>
Date: Wed, 2 Mar 2011 09:56:31 +0000 (+0100)
Subject: keeps behind a series of phis are fine
X-Git-Url: http://nsz.repo.hu/git/?a=commitdiff_plain;h=f4069627a10d7c5d0ae49f184117cf6e23bfada0;p=libfirm

keeps behind a series of phis are fine
---

diff --git a/ir/be/beverify.c b/ir/be/beverify.c
index a443aea4b..95630b199 100644
--- a/ir/be/beverify.c
+++ b/ir/be/beverify.c
@@ -254,21 +254,28 @@ static void verify_schedule_walker(ir_node *block, void *data)
 		}
 
 		if (be_is_Keep(node) || be_is_CopyKeep(node)) {
-			/* at least 1 of the keep arguments has to be it schedule
+			/* at least 1 of the keep arguments has to be its schedule
 			 * predecessor */
 			int      arity   = get_irn_arity(node);
-			int      problem = 1;
+			bool     found   = false;
 			ir_node *prev    = sched_prev(node);
 			while (be_is_Keep(prev) || be_is_CopyKeep(prev))
 				prev = sched_prev(prev);
 
-			for (i = 0; i < arity; ++i) {
-				ir_node *in = get_irn_n(node, i);
-				in = skip_Proj(in);
-				if (in == prev)
-					problem = 0;
+			while (true) {
+				for (i = 0; i < arity; ++i) {
+					ir_node *in = get_irn_n(node, i);
+					in = skip_Proj(in);
+					if (in == prev)
+						found = true;
+				}
+				if (found)
+					break;
+				prev = sched_prev(prev);
+				if (!is_Phi(prev))
+					break;
 			}
-			if (problem) {
+			if (!found) {
 				ir_fprintf(stderr, "%+F not scheduled after its pred node in block %+F (%s)\n",
 				           node, block, get_irg_dump_name(env->irg));
 				env->problem_found = 1;