sdcc/support/regression/tests/gcc-torture-execute-pr87290.c

   1 /*
   2    pr87290.c from the execute part of the gcc torture tests.
   3  */
   4
   5 #include <testfwk.h>
   6
   7 /* PR middle-end/87290 */
   8
   9 int c;
  10
  11 void
  12 f0 (void)
  13 {
  14   c++;
  15 }
  16
  17 int
  18 f1 (int x)
  19 {
  20   return x % 16 == 13;
  21 }
  22
  23 int
  24 f2 (int x)
  25 {
  26   return x % 16 == -13;
  27 }
  28
  29 void
  30 f3 (int x)
  31 {
  32   if (x % 16 == 13)
  33     f0 ();
  34 }
  35
  36 void
  37 f4 (int x)
  38 {
  39   if (x % 16 == -13)
  40     f0 ();
  41 }
  42
  43 void
  44 testTortureExecute (void)
  45 {
  46   int i, j;
  47   for (i = -30; i < 30; i++)
  48     {
  49       if (f1 (13 + i * 16) != (i >= 0) || f2 (-13 + i * 16) != (i <= 0))
  50         ASSERT (0);
  51       f3 (13 + i * 16);
  52       if (c != (i >= 0))
  53         ASSERT (0);
  54       f4 (-13 + i * 16);
  55       if (c != 1 + (i == 0))
  56         ASSERT (0);
  57       for (j = 1; j < 16; j++)
  58         {
  59           if (f1 (13 + i * 16 + j) || f2 (-13 + i * 16 + j))
  60             ASSERT (0);
  61           f3 (13 + i * 16 + j);
  62           f4 (-13 + i * 16 + j);
  63         }
  64       if (c != 1 + (i == 0))
  65         ASSERT (0);
  66       c = 0;
  67     }
  68   return;
  69 }