gcc/testsuite/gcc.dg/tree-ssa/vrp62.c

   1 /* { dg-do run } */
   2 /* { dg-options "-O2 -fno-tree-ccp -fno-tree-dominator-opts" } */
   3
   4 /* Tests generated via  */
   5
   6 #if 0
   7 #include <stdio.h>
   8 int main(int argc, char **argv)
   9 {
  10   int amin, amax, bmin, bmax, a, b;
  11   int testno = 0;
  12   int min = atoi (argv[1]);
  13   int max = atoi (argv[2]);
  14   char op = argv[3][0];
  15   printf ("/* Testing range [%d, %d] with operator %c.  */\n", min, max, op);
  16   printf ("extern void abort (void);\n");
  17   for (amin = min; amin <= max; ++amin)
  18     for (amax = amin; amax <= max; ++amax)
  19       for (bmin = min; bmin <= max; ++bmin)
  20         for (bmax = bmin; bmax <= max; ++bmax)
  21           {
  22             ++testno;
  23             printf ("int test%d (int a, int b)\n"
  24                     "{\n"
  25                     "  if (a >= %d && a <= %d && b >= %d && b <= %d)\n"
  26                     "   {\n"
  27                     "      int x = a %c b;\n"
  28                     "      if (0\n", testno, amin, amax, bmin, bmax, op);
  29             for (a = amin; a <= amax; ++a)
  30               for (b = bmin; b <= bmax; ++b)
  31                 printf ("|| x == (%d %c %d)\n", a, op, b);
  32             printf ("         ) return 0;\n"
  33                     "      abort ();\n"
  34                     "   }\n"
  35                     "  return 0;\n"
  36                     "}\n");
  37           }
  38   printf ("int main()\n"
  39           "{\n"
  40           "  int a, b;\n"
  41           "  for (a = %d; a <= %d; ++a)\n"
  42           "    for (b = %d; b <= %d; ++b)\n"
  43           "      {\n", min, max, min, max);
  44   for (; testno > 0; --testno)
  45     printf ("      test%d (a, b);\n", testno);
  46   printf ("      }\n"
  47           "  return 0;\n"
  48           "}\n");
  49   return 0;
  50 }
  51 #endif
  52
  53 extern void abort (void);
  54
  55 int test381 (int a, int b)
  56 {
  57   if (a >= -3 && a <= -1 && b >= -2 && b <= 3)
  58     {
  59       int x = a | b;
  60       if (x == (-3 | -2)
  61           || x == (-3 | -1)
  62           || x == (-3 | 0)
  63           || x == (-3 | 1)
  64           || x == (-3 | 2)
  65           || x == (-3 | 3)
  66           || x == (-2 | -2)
  67           || x == (-2 | -1)
  68           || x == (-2 | 0)
  69           || x == (-2 | 1)
  70           || x == (-2 | 2)
  71           || x == (-2 | 3)
  72           || x == (-1 | -2)
  73           || x == (-1 | -1)
  74           || x == (-1 | 0)
  75           || x == (-1 | 1)
  76           || x == (-1 | 2)
  77           || x == (-1 | 3))
  78         return 0;
  79       abort ();
  80     }
  81   return 0;
  82 }
  83
  84 int test900 (int a, int b)
  85 {
  86   if (a >= -1 && a <= 2 && b >= 3 && b <= 3)
  87     {
  88       int x = a & b;
  89       if (x == (-1 & 3)
  90           || x == (0 & 3)
  91           || x == (1 & 3)
  92           || x == (2 & 3))
  93         return 0;
  94       abort ();
  95     }
  96   return 0;
  97 }
  98
  99 int main()
 100 {
 101   int a, b;
 102   for (a = -4; a < 4; ++a)
 103     for (b = -4; b < 4; ++b)
 104       {
 105         test381 (a, b);
 106         test900 (a, b);
 107       }
 108
 109   return 0;
 110 }