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