gcc/testsuite/gcc.target/i386/pr32065-2.c

   1 /* { dg-do run } */
   2 /* { dg-require-effective-target dfp } */
   3 /* { dg-options "-Os -msse -std=gnu99" } */
   4
   5 extern void abort (void);
   6
   7 int main()
   8 {
   9   if (7.999999999999999999999999999999999E6144dl + 3.0E6144dl
  10       != __builtin_infd32 ())
  11     abort ();
  12
  13   return 0;
  14 }