From: Michael Beck <mm.beck@gmx.net>
Date: Tue, 3 May 2011 14:25:52 +0000 (+0200)
Subject: Amend combo fix.
X-Git-Url: http://nsz.repo.hu/git/?a=commitdiff_plain;h=8fa62f7ac1fc2272ff8a64c673cfb2f4b4b98971;p=libfirm

Amend combo fix.

One more condition is needed to ensure monotony.
---

diff --git a/ir/opt/combo.c b/ir/opt/combo.c
index b930563ad..ad3d38511 100644
--- a/ir/opt/combo.c
+++ b/ir/opt/combo.c
@@ -2262,7 +2262,9 @@ static void compute_Cmp(node_t *node)
 		   this breaks AND we get from the argument partitions a different
 		   result, ensure monotony by fall to bottom.
 		   This happens because initially all nodes are in the same partition ... */
-		if (node->type.tv != tv && is_constant_type(node->type))
+		if (node->type.tv == tarval_bottom)
+			tv = tarval_bottom;
+		else if (node->type.tv != tv && is_constant_type(node->type))
 			tv = tarval_bottom;
 		node->type.tv = tv;
 	} else {