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 sse_test(void)11sse_test (void) 12 { 13 if (7.999999999999999999999999999999999E6144dl + 3.0E6144dl 14 != __builtin_infd32 ()) 15 abort (); 16 } 17