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

   1 /* { dg-do run } */
   2 /* { dg-require-effective-target dfp } */
   3 /* { dg-require-effective-target sse } */
   4 /* { dg-options "-Os -msse -std=gnu99" } */
   5
   6 #include "sse-check.h"
   7
   8 extern void abort (void);
   9
  10 static void
  11 sse_test (void)
  12 {
  13   if (7.999999999999999999999999999999999E6144dl + 3.0E6144dl
  14       != __builtin_infd32 ())
  15     abort ();
  16 }