gcc/testsuite/gcc.c-torture/execute/pr43385.c

   1 /* PR c/43385 */
   2
   3 extern void abort (void);
   4
   5 int e;
   6
   7 __attribute__((noinline)) void
   8 foo (int x, int y)
   9 {
  10   if (__builtin_expect (x, 0) && y != 0)
  11     e++;
  12 }
  13
  14 __attribute__((noinline)) int
  15 bar (int x, int y)
  16 {
  17   if (__builtin_expect (x, 0) && y != 0)
  18     return 1;
  19   else
  20     return 0;
  21 }
  22
  23 int
  24 main (void)
  25 {
  26   int z = 0;
  27   asm ("" : "+r" (z));
  28   foo (z + 2, z + 1);
  29   if (e != 1)
  30     abort ();
  31   foo (z + 2, z);
  32   if (e != 1)
  33     abort ();
  34   foo (z + 1, z + 1);
  35   if (e != 2)
  36     abort ();
  37   foo (z + 1, z);
  38   if (e != 2)
  39     abort ();
  40   foo (z, z + 1);
  41   if (e != 2)
  42     abort ();
  43   foo (z, z);
  44   if (e != 2)
  45     abort ();
  46   if (bar (z + 2, z + 1) != 1)
  47     abort ();
  48   if (bar (z + 2, z) != 0)
  49     abort ();
  50   if (bar (z + 1, z + 1) != 1)
  51     abort ();
  52   if (bar (z + 1, z) != 0)
  53     abort ();
  54   if (bar (z, z + 1) != 0)
  55     abort ();
  56   if (bar (z, z) != 0)
  57     abort ();
  58   return 0;
  59 }