From: Christoph Mallon <christoph.mallon@gmx.de>
Date: Thu, 22 Nov 2012 16:47:59 +0000 (+0100)
Subject: verifier: Check that Div has a num mode, not a data mode.
X-Git-Url: http://nsz.repo.hu/git/?a=commitdiff_plain;h=e54d8b0aab01346d1c0e5d81e3db1b18ddcc87f7;p=libfirm

verifier: Check that Div has a num mode, not a data mode.
---

diff --git a/ir/ir/irverify.c b/ir/ir/irverify.c
index 50f50f2a2..06c7c5c05 100644
--- a/ir/ir/irverify.c
+++ b/ir/ir/irverify.c
@@ -1214,10 +1214,10 @@ static int verify_node_Div(const ir_node *n)
 	ir_mode *op3mode = get_irn_mode(get_Div_right(n));
 
 	ASSERT_AND_RET(
-		/* Div: BB x M x data x data --> M x X x data */
+		/* Div: BB x M x num x num --> M x X x num */
 		op1mode == mode_M &&
 		op2mode == op3mode &&
-		mode_is_data(op2mode) &&
+		mode_is_num(op2mode) &&
 		mymode == mode_T,
 		"Div node", 0
 		);