More local optimisation tests.
[libfirm] / ir / be / test / localopts.c
1 /*$ -fno-inline $*/
2 #include <stdio.h>
3
4 #define CONST 42
5
6 int mul0(int x)
7 {
8         return -x * CONST;
9 }
10
11 int mul1(int x, int y)
12 {
13         return -x * -y;
14 }
15
16 int mul2(int x, int y, int z)
17 {
18         return -x * (y - z);
19 }
20
21 int mul3(int x, int y, int z)
22 {
23         return (x - y) * z;
24 }
25
26 int sub0(int x, int y, int z)
27 {
28         return x - (y - z);
29 }
30
31 int sub1(int x, int y)
32 {
33         return x - (y * CONST);
34 }
35
36 int sub2(int x, int y)
37 {
38         return x - -y;
39 }
40
41 int sub3(int x, int y)
42 {
43         return -x - y;
44 }
45
46 int main(void)
47 {
48 #define TU(func,x,expect) \
49         printf("%s(%d) = %d (should be %d)\n", #func, x, func(x), expect);
50 #define TB(func,x,y,expect) \
51         printf("%s(%d,%d) = %d (should be %d)\n", #func, x, y, func(x,y), expect);
52 #define TT(func,x,y,z,expect) \
53         printf("%s(%d,%d,%d) = %d (should be %d)\n", #func, x, y, z, func(x,y,z), expect);
54
55         TU(mul0, 3, -126);
56         TB(mul1, 20, 3, 60);
57         TT(mul2, 9, 2, 5, 27);
58         TT(mul3, 5, 2, 9, 27);
59         TT(sub0, 42, 17, 59, 84);
60         TB(sub1, 23, 17, -691);
61         TB(sub2, 42, 17, 59);
62         TB(sub3, 42, 17, -59);
63 }