From cd5cc255334e414d2390101b600ce1734368d86e Mon Sep 17 00:00:00 2001
From: Christoph Mallon <christoph.mallon@gmx.de>
Date: Fri, 9 Nov 2007 11:28:18 +0000
Subject: [PATCH] Add crude tests for bool simplifications.

[r16494]
---
 ir/be/test/boolsimplify.c | 69 +++++++++++++++++++++++++++++++++++++++
 1 file changed, 69 insertions(+)
 create mode 100644 ir/be/test/boolsimplify.c

diff --git a/ir/be/test/boolsimplify.c b/ir/be/test/boolsimplify.c
new file mode 100644
index 000000000..cd7481d2c
--- /dev/null
+++ b/ir/be/test/boolsimplify.c
@@ -0,0 +1,69 @@
+int range0(int a)
+{
+	return 0 <= a && a < 10;
+}
+
+int range1(int a)
+{
+	return 1 <= a && a < 10;
+}
+
+int test_lt_and_lt(int a)
+{
+	return a < 5 && a < 10;
+}
+
+int test_lt_and_eq(int a)
+{
+	return a < 5 && a == 10;
+}
+
+int test_lt_and_gt(int a)
+{
+	return a < 5 && a > 10;
+}
+
+int test_eq_and_lt(int a)
+{
+	return a == 5 && a < 10;
+}
+
+int test_eq_and_eq(int a)
+{
+	return a == 5 && a == 10;
+}
+
+int test_eq_and_gt(int a)
+{
+	return a == 5 && a > 10;
+}
+
+int test_ge_and_lt(int a)
+{
+	return a >= 5 && a < 6;
+}
+
+int test_gt_and_lt(int a)
+{
+	return a > 5 && a < 6;
+}
+
+int test_lt_or_lt(int a)
+{
+	return a < 5 || a < 10;
+}
+
+int test_lt_or_eq(int a)
+{
+	return a < 5 || a == 5;
+}
+
+int test_ne_or_ne(int a)
+{
+	return a != 5 || a != 10;
+}
+
+int main(void)
+{
+	return 0;
+}
-- 
2.20.1