From 7790404a56951fe20ab78b11ab6d1a3f6942bfb8 Mon Sep 17 00:00:00 2001 From: Christoph Mallon Date: Thu, 20 Dec 2007 08:24:42 +0000 Subject: [PATCH] Assert that only float Cmps have unordered Projs. [r17028] --- ir/ir/irvrfy.c | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/ir/ir/irvrfy.c b/ir/ir/irvrfy.c index f674c1571..e6cc6321c 100644 --- a/ir/ir/irvrfy.c +++ b/ir/ir/irvrfy.c @@ -545,6 +545,11 @@ static int verify_node_Proj_Cmp(ir_node *n, ir_node *p) { "wrong Proj from Cmp", 0, show_proj_failure(p); ); + ASSERT_AND_RET_DBG( + (mode_is_float(get_irn_mode(get_Cmp_left(n))) || !(proj & pn_Cmp_Uo)), + "unordered Proj for non-float Cmp", 0, + show_proj_failure(p); + ); return 1; } -- 2.20.1