nsz Git - libfirm/blob - 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 cmp1(int x, int y) {
  47         return -x == -y;
  48 }
  49
  50 int cmp2(int x, int y) {
  51         return -x != -y;
  52 }
  53
  54 int cmp3(int x, int y) {
  55         return ~x == ~y;
  56 }
  57
  58 int cmp4(int x, int y) {
  59         return ~x != ~y;
  60 }
  61
  62 int cmp5(int x, int y, int z) {
  63         return x + z == z + y;
  64 }
  65
  66 int cmp6(int x, int y, int z) {
  67         return x + z != y + z;
  68 }
  69
  70 int cmp7(int x, int y, int z) {
  71         return x - z == y - z;
  72 }
  73
  74 int cmp8(int x, int y, int z) {
  75         return z -x != z - y;
  76 }
  77
  78 int cmp9(int x) {
  79         return -x == 3;
  80 }
  81
  82 int cmp10(int x) {
  83         return -x != 3;
  84 }
  85
  86 int main(void)
  87 {
  88 #define TU(func,x,expect) \
  89         printf("%s(%d) = %d (should be %d)\n", #func, x, func(x), expect);
  90 #define TB(func,x,y,expect) \
  91         printf("%s(%d,%d) = %d (should be %d)\n", #func, x, y, func(x,y), expect);
  92 #define TT(func,x,y,z,expect) \
  93         printf("%s(%d,%d,%d) = %d (should be %d)\n", #func, x, y, z, func(x,y,z), expect);
  94
  95         TU(mul0, 3, -126);
  96         TB(mul1, 20, 3, 60);
  97         TT(mul2, 9, 2, 5, 27);
  98         TT(mul3, 5, 2, 9, 27);
  99         TT(sub0, 42, 17, 59, 84);
 100         TB(sub1, 23, 17, -691);
 101         TB(sub2, 42, 17, 59);
 102         TB(sub3, 42, 17, -59);
 103         TB(cmp1, 42, 17, 0);
 104         TB(cmp2, 42, 17, 1);
 105         TB(cmp3, 42, 17, 0);
 106         TB(cmp4, 42, 17, 1);
 107         TT(cmp5, 42, 17, -4, 0);
 108         TT(cmp6, 42, 17, -4, 1);
 109         TT(cmp7, 42, 17, -4, 0);
 110         TT(cmp8, 42, 17, -4, 1);
 111         TU(cmp9, -3, 1);
 112         TU(cmp10, -3, 0);
 113 }