From: Michael Beck <beck@ipd.info.uni-karlsruhe.de>
Date: Tue, 27 Jul 2004 11:36:32 +0000 (+0000)
Subject: Fixed Proj(Cond(mode_int))
X-Git-Url: http://nsz.repo.hu/git/?a=commitdiff_plain;h=94b7b0779b2ec19539b5380e77125dbda9280504;p=libfirm

Fixed Proj(Cond(mode_int))

[r3614]
---

diff --git a/ir/ir/irvrfy.c b/ir/ir/irvrfy.c
index 141137898..ac88693e8 100644
--- a/ir/ir/irvrfy.c
+++ b/ir/ir/irvrfy.c
@@ -258,9 +258,12 @@ vrfy_Proj_proj(ir_node *p, ir_graph *irg) {
 
     case iro_Cond:
       ASSERT_AND_RET_DBG(
-        (proj >= 0 && mode == mode_X),
-    "wrong Proj from Cond", 0,
-    show_proj_failure(p);
+	(
+          (proj >= 0 && mode == mode_X && get_irn_mode(get_Cond_selector(pred)) == mode_b) ||	/* compare */
+	  (mode == mode_X && mode_is_int(get_irn_mode(get_Cond_selector(pred))))		/* switch */
+	),
+        "wrong Proj from Cond", 0,
+        show_proj_failure(p);
       );
       break;