more test added

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

diff --git a/ir/be/test/localopts.c b/ir/be/test/localopts.c
index f9e4bf4..6a10aad 100644 (file)
--- a/ir/be/test/localopts.c
+++ b/ir/be/test/localopts.c
@@ -43,6 +43,62 @@ int sub3(int x, int y)
        return -x - y;
 }
 
+int sub4(int x) {
+       return 6 - ~x;
+}
+
+int cmp1(int x, int y) {
+       return -x == -y;
+}
+
+int cmp2(int x, int y) {
+       return -x != -y;
+}
+
+int cmp3(int x, int y) {
+       return ~x == ~y;
+}
+
+int cmp4(int x, int y) {
+       return ~x != ~y;
+}
+
+int cmp5(int x, int y, int z) {
+       return x + z == z + y;
+}
+
+int cmp6(int x, int y, int z) {
+       return x + z != y + z;
+}
+
+int cmp7(int x, int y, int z) {
+       return x - z == y - z;
+}
+
+int cmp8(int x, int y, int z) {
+       return z -x != z - y;
+}
+
+int cmp9(int x) {
+       return -x == 3;
+}
+
+int cmp10(int x) {
+       return -x != 3;
+}
+
+int and1(int a, int b) {
+       return (a|b)&a;
+}
+
+int and2(int a, int b) {
+       return (a|b) & ~(a&b);
+}
+
+int add1(int x) {
+       return x + ~x;
+}
+
 int main(void)
 {
 #define TU(func,x,expect) \
@@ -60,4 +116,18 @@ int main(void)
        TB(sub1, 23, 17, -691);
        TB(sub2, 42, 17, 59);
        TB(sub3, 42, 17, -59);
+       TU(sub4, 42, 49);
+       TB(cmp1, 42, 17, 0);
+       TB(cmp2, 42, 17, 1);
+       TB(cmp3, 42, 17, 0);
+       TB(cmp4, 42, 17, 1);
+       TT(cmp5, 42, 17, -4, 0);
+       TT(cmp6, 42, 17, -4, 1);
+       TT(cmp7, 42, 17, -4, 0);
+       TT(cmp8, 42, 17, -4, 1);
+       TU(cmp9, -3, 1);
+       TU(cmp10, -3, 0);
+       TB(and1, 42, 17, 42);
+       TB(and2, 42, 17, 42^17);
+       TU(add1, -3, -1);
 }