From: Christoph Mallon <christoph.mallon@gmx.de>
Date: Sat, 25 Aug 2007 06:50:59 +0000 (+0000)
Subject: Some more boolopt tests.
X-Git-Url: http://nsz.repo.hu/git/?a=commitdiff_plain;h=7b71c0bebe3c21ae2bfe11ebaa0ade64e3e39cdb;p=libfirm

Some more boolopt tests.

[r15600]
---

diff --git a/ir/be/test/boolopts.c b/ir/be/test/boolopts.c
index 5fd7165e1..db20d254b 100644
--- a/ir/be/test/boolopts.c
+++ b/ir/be/test/boolopts.c
@@ -37,6 +37,22 @@ int g3(int a, int b, int z)
 	return (a | z) & (b | z);
 }
 
+int imp(int a, int b)
+{
+	/* logical implication */
+	return (a < b) <= (a <= b);
+}
+
+int eq(int a, int b)
+{
+	return (a < b) == (a <= b);
+}
+
+int neq(int a, int b)
+{
+	return (a < b) != (a <= b);
+}
+
 int af(int a)
 {
 	return (a ? 1 : 0) && !a;
@@ -123,6 +139,21 @@ int main()
 	BOP(g2, 0, 0, 0);
 	BOP(g2, 12345, 54321, 1);
 
+	BOP(imp, UINT_MAX, UINT_MAX, 1);
+	BOP(imp, 0, 0, 1);
+	BOP(imp, 12345, 54321, 1);
+	BOP(imp, 42, 23, 1);
+
+	BOP(eq, UINT_MAX, UINT_MAX, 0);
+	BOP(eq, 0, 0, 0);
+	BOP(eq, 12345, 54321, 1);
+	BOP(eq, 42, 23, 1);
+
+	BOP(neq, UINT_MAX, UINT_MAX, 1);
+	BOP(neq, 0, 0, 1);
+	BOP(neq, 12345, 54321, 0);
+	BOP(neq, 42, 23, 0);
+
 	TOP(g3, 1, 2, 3, 3);
 	TOP(g3, -1, -2, -3, -1);
 	TOP(g3, INT_MIN, INT_MIN, -1, -1);