gcc/testsuite/gcc.dg/torture/addifle.c

   1 /* { dg-do run } */
   2
   3 typedef int int_t;
   4
   5 __attribute__ ((noinline)) int_t
   6 addifle (double w, double x, int_t y, int_t z)
   7 {
   8   return w <= x ? y + z : y;
   9 }
  10
  11 int
  12 main (void)
  13 {
  14   if (addifle (-1.0, -1.0, 12, 23) != 35)
  15     return 1;
  16   if (addifle (-1.0, 3.0, 12, 23) != 35)
  17     return 1;
  18   if (addifle (1.0, 3.0, 12, 23) != 35)
  19     return 1;
  20   if (addifle (3.0, 3.0, 12, 23) != 35)
  21     return 1;
  22   if (addifle (5.0, 3.0, 12, 23) != 12)
  23     return 1;
  24   if (addifle (3.0, -1.0, 12, 23) != 12)
  25     return 1;
  26   if (addifle (3.0, 1.0, 12, 23) != 12)
  27     return 1;
  28   if (addifle (3.0, 5.0, 12, 23) != 35)
  29     return 1;
  30   return 0;
  31 }