From e54d8b0aab01346d1c0e5d81e3db1b18ddcc87f7 Mon Sep 17 00:00:00 2001 From: Christoph Mallon Date: Thu, 22 Nov 2012 17:47:59 +0100 Subject: [PATCH] verifier: Check that Div has a num mode, not a data mode. --- ir/ir/irverify.c | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) 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 ); -- 2.20.1