gcc/testsuite/gcc.dg/torture/addlfne.c

   1 /* { dg-do run } */
   2
   3 typedef long int_t;
   4
   5 __attribute__ ((noinline)) int_t
   6 addlfne (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 (addlfne (-1.0, -1.0, 12L, 23L) != 12L)
  15     return 1;
  16   if (addlfne (-1.0, 3.0, 12L, 23L) != 35L)
  17     return 1;
  18   if (addlfne (1.0, 3.0, 12L, 23L) != 35L)
  19     return 1;
  20   if (addlfne (3.0, 3.0, 12L, 23L) != 12L)
  21     return 1;
  22   if (addlfne (5.0, 3.0, 12L, 23L) != 35L)
  23     return 1;
  24   if (addlfne (3.0, -1.0, 12L, 23L) != 35L)
  25     return 1;
  26   if (addlfne (3.0, 1.0, 12L, 23L) != 35L)
  27     return 1;
  28   if (addlfne (3.0, 5.0, 12L, 23L) != 35L)
  29     return 1;
  30   return 0;
  31 }