Some more boolopt tests.

[libfirm] / ir / be / test / boolopts.c

diff --git a/ir/be/test/boolopts.c b/ir/be/test/boolopts.c
index 5fd7165..db20d25 100644 (file)
--- 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);